JuliaSymbolics / SymbolicUtils.jl

Symbolic expressions, rewriting and simplification
https://docs.sciml.ai/SymbolicUtils/stable/
Other
523 stars 99 forks source link

simplify fails on "-sin(x)^2 - cos(x)^2" #577

Open Azercoco opened 5 months ago

Azercoco commented 5 months ago

Test code :

using Symbolics

@variables x::Real

println(simplify(sin(x)^2 + cos(x)^2))
println(simplify(-sin(x)^2 - cos(x)^2))

Output :

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

Expected :

1
-1