The MuPAD solver

NOTE THAT:
Of course, x 1/2 = y is not equivalent to x = y 2 . The solver can
sometimes single out those solutions with too small polar angle,
and sometimes not.
Remark:
You can skip this step using the option DontRewriteBySystem.
The Open Computer Algebra System 24