int(1/(x^3+1),x,1,2)
normal}
(sqrt(3)*ln(2)+pi)*1/3/sqrt(3)
partfrac(1/(1+t^3))
1/((t+1)*3)+(-1/3*t+2/3)/(t^2-t+1)
partfrac(t^2/(1-t^4))
-1/2/(t^2+1)+1/(4*(t+1))-1/4/(t-1)
int(-1/2/(t^2+1)+1/(4*(t+1))-1/4/(t-1),t)
int(t^2/(1-t^4),t)
1/(-2*atan(t))+1/(4*ln(abs(t+1)))+1/(-4*ln(abs(t-1)))
normal(int(sin(x)^2/cos(2*x),x))
-1/2*x-1/-4*ln(abs((tan(1/2*x))^2-2*tan(1/2*x)-1))-
1/4*ln(abs((tan(1/2*x))^2+2*tan(1/2*x)-1))
normal(int(tlin(sin(x)^2/cos(2*x))))
1/4*ln(abs(tan(x)+1))+1/-4*ln(abs(tan(x)-1))+1/-2*x
trigtan(texpand(sin(x)^2/cos(2x)))
(-((tan(x))^2))/((tan(x))^2-1)
subst('integrate(-tan(x)^2/(tan(x)^2-1),x)',x=atan(t))
subst(Int(-tan(x)^2/(tan(x)^2-1),x),x=atan(t))
integrate((-(t^2))/((1+t^2)*(t^2-1)),t)
1/-2*atan(tan(x))+1/4*ln(abs(tan(x)+1))+1/-4*ln(abs(tan(x)-1))
int(1/t^2,t)
1/(-t)
int(1/(t*(t^2+1)),t)
1/-2*ln(t^2+1)+1/2*ln((abs(t))^2)
int((t^2-t+1)/(t^2+t^4),t)
1/2*ln(t^2+1)-ln(abs(t))+(-t+1)/(-t)