kill(all)$

van=facebook.com/LearningCalculus%;

f(x):=cos(3*x)+sin(x)$

g(x):=sin(3*x)+cos(x)$

h(x):=f(x)/g(x)$ h(x)$

m(x):=log(abs(sin(x)+cos(x)))$

A:'integrate(h(x),x) = m(x)+c;

B:'integrate(h(x),x) = trigsimp(integrate(h(x),x))+c;

     Equivalent to showing that:

rhs(A) = rhs(B);