Hi,
I was wondering what is a complexity limits of the trigonometric
identities which maxima can simplify.
I tried first, the following:
trigsimp ( (sin(a)^6 + cos(a)^6 + 3*sin(a)^2 * cos(a)^2) );
We get 1 here.
Now that:
trigsimp ( (sin(2*a) + sin(5*a) - sin(3*a)) / (cos(a) + 1 - 2*sin(2*a)^2) );
We just get extracted minus:
-(sin(5*a)-sin(3*a)+sin(2*a))/(2*sin(2*a)^2-cos(a)-1)
Only after bringing it to:
trigsimp ( (2*sin(a) * cos(a) + 2*cos(4*a) * sin(a)) / (cos(a) + cos(4*a)) );
by hand, it gives 2sin(a)
Is that correct, or any tricks can applied to unleash max of maxima
Regards. --jukarimov