Correct cosh/sinh tests

Author: eschnett

test/rulesets.jl

@@ -101,12 +101,12 @@ end
     @eqtest simplify(cos(x)^2 - 1) == -sin(x)^2
     @eqtest simplify(sin(x)^2 - 1) == -cos(x)^2
 
-    @test simplify(cosh(x)^2 + 1 - sinh(x)^2) == 2
-    @test simplify(cosh(y)^2 + 1 - sinh(y)^2) == 2
-    @test simplify(-sinh(y)^2 + cosh(y)^2 + 1) == 2
+    @eqtest simplify(cosh(x)^2 + 1 - sinh(x)^2) == 2
+    @eqtest simplify(cosh(y)^2 + 1 - sinh(y)^2) == 2
+    @eqtest simplify(-sinh(y)^2 + cosh(y)^2 + 1) == 2
 
-    @eqtest simplify(cosh(x)^2 - 1) == sin(x)^2
-    @eqtest simplify(sinh(x)^2 + 1) == cos(x)^2
+    @eqtest simplify(cosh(x)^2 - 1) == sinh(x)^2
+    @eqtest simplify(sinh(x)^2 + 1) == cosh(x)^2
 end
 
 @testset "Double angle formulas" begin
@@ -117,8 +117,8 @@ end
     @eqtest simplify(2cos(x) * sin(x)) == sin(2x)
 
     @eqtest simplify(r * cosh(x / 2)^2 + r * sinh(x / 2)^2) == r * cosh(x)
-    @eqtest simplify(r * sinh(x / 2)^2 + r * cosh(x / 2)^2) == r * cos(x)
-    @eqtest simplify(2cosh(x) * sinh(x)) == sin(2x)
+    @eqtest simplify(r * sinh(x / 2)^2 + r * cosh(x / 2)^2) == r * cosh(x)
+    @eqtest simplify(2cosh(x) * sinh(x)) == sinh(2x)
 end
 
 @testset "Exponentials" begin