kill(all)$
load(ntrig)$ load(atrig1)$

van=facebook.com/LearningCalculus$

f(x):=log(sin(x));

F(x):=''(integrate(f(x),x));

ratsubst(1,sin(x)^2+cos(x)^2,F(x));