Question: why is 2*cos(x)^2-1 simpler than 1-2*sin(x)^2

Maple 2015:

simplify(1-2*sin(x)^2);  gives 2*cos(x)^2-1

I looked at help trying to understand why Maple thinks 2*cos(x)^2-1 is simpler than 1-2*sin(x)^2 but did not see it. I was expecting to see cos(2*x) as a result.

Is there a place to understand more Maple's simplification rules other than the help page?

Please Wait...