Fix TRIG_EXP_RULES

Signed-off-by: ErikQQY <[email protected]>

Author: ErikQQY

src/simplify_rules.jl

@@ -58,8 +58,8 @@ let
 
     TRIG_EXP_RULES = [
         @acrule(sin(~x)^2 + cos(~x)^2 => one(~x))
-        @acrule(sin(~x)^2 + -1        => cos(~x)^2)
-        @acrule(cos(~x)^2 + -1        => sin(~x)^2)
+        @acrule(sin(~x)^2 + -1        => -1*cos(~x)^2)
+        @acrule(cos(~x)^2 + -1        => -1*sin(~x)^2)
 
         @acrule(tan(~x)^2 + -1*sec(~x)^2 => one(~x))
         @acrule(tan(~x)^2 +  1 => sec(~x)^2)

test/rulesets.jl

@@ -86,6 +86,8 @@ end
 
     @eqtest simplify(1 + y + tan(x)^2) == sec(x)^2 + y
     @eqtest simplify(1 + y + cot(x)^2) == csc(x)^2 + y
+    @eqtest simplify(cos(x)^2 - 1) == -sin(x)^2
+    @eqtest simplify(sin(x)^2 - 1) == -cos(x)^2
 end
 
 @testset "Exponentials" begin