I'm on the latest v6.55. ```julia using Symbolics @variables a simplify(sin(a)^2+cos(a)^2) # simplifies to 1 simplify(-(sin(a)^2+cos(a)^2) ) # does not simplify to -1 ```