From d42f5ece9cd0dff1e46f4aa9f95534d3d4314b3b Mon Sep 17 00:00:00 2001 From: JJponce0913 Date: Thu, 24 Oct 2024 01:58:57 -0600 Subject: [PATCH] small fix --- src/core/rules.rkt | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/src/core/rules.rkt b/src/core/rules.rkt index 84c5614ae..495cef870 100644 --- a/src/core/rules.rkt +++ b/src/core/rules.rkt @@ -660,11 +660,7 @@ [hang-m0-tan-rev (tan (/ (neg a) 2)) (/ (- 1 (cos a)) (neg (sin a)))] [hang-p0-tan-rev (tan (/ a 2)) (/ (- 1 (cos a)) (sin a))] [hang-0m-tan-rev (tan (/ (neg a) 2)) (/ (neg (sin a)) (+ 1 (cos a)))] - [hang-0p-tan-rev (tan (/ a 2)) (/ (sin a) (+ 1 (cos a)))]) - -(define-ruleset* trig-reduce-expressions-rev - (trigonometry simplify sound) - #:type ([a real] [b real] [x real]) + [hang-0p-tan-rev (tan (/ a 2)) (/ (sin a) (+ 1 (cos a)))] [tan-+PI-rev (tan x) (tan (+ x (PI)))] [cos-+PI/2-rev (neg (sin x)) (cos (+ x (/ (PI) 2)))] [sin-+PI/2-rev (cos x) (sin (+ x (/ (PI) 2)))]