Question: simplify sqrt(1-cos(x)^2) to sqrt(sin(x)^2) ?

I do not remember if this came up before. And this is all done in code, without looking at the screen.

Given sqrt(1-cos(x)^2), Maple's simplify does not return sqrt(sin(x)^2), instead it returns ugly result csgn(sin(x))*sin(x) which is correct ofcourse, but why not just return sqrt(sin(x)^2)?  As sqrt(sin(x)^2) is much easier to read than csgn(sin(x))*sin(x).

length of sqrt(1-cos(x)^2) is 29 and length of sqrt(sin(x)^2) is 21.

What Maple simplify seems to do is simplify sqrt(1-cos(x)^2) to sqrt(sin(x)^2) internally, but instead of stopping there, it keeps going and "simplifies" sqrt(sin(x)^2)  to csgn(sin(x))*sin(x).

How to make it stop at sqrt(sin(x)^2)?

Again, this is done in code. Not interactive. code uses simplify() command on most things. 

interface(version)

`Standard Worksheet Interface, Maple 2025.2, Windows 10, November 11 2025 Build ID 1971053`

A:=sqrt(1-cos(x)^2)

(1-cos(x)^2)^(1/2)

B:=sqrt(sin(x)^2)

(sin(x)^2)^(1/2)

length(A)

29

length(B)

21

simplify(A)

csgn(sin(x))*sin(x)

simplify(A,trig)

csgn(sin(x))*sin(x)

simplify(A,size)

(1-cos(x)^2)^(1/2)

simplify(A) assuming x>0 and x<Pi

sin(x)

 

 

Download simplify_dec_3_2025.mw

That other system does it better

Is it possible to make simplify do the same in Maple? 

Please Wait...