ab-angle->ABCF B

Time bar (total: 33.2s)

analyze2.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 27 to 17 computations (37% saved)

sample32.9s (99%)

Results
878.0ms4580×0valid-sollya
1.9s4580×0valid-rival
2.1s3533×1valid-sollya
5.1s3533×1valid-rival
6.0ms1×3valid-rival
23.0ms1×3valid-sollya
Bogosity

preprocess203.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
487×distribute-lft-in
477×distribute-rgt-in
443×distribute-lft-neg-out
379×*-commutative
361×distribute-rgt-neg-out
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
066967
1164935
2510935
31758935
45257935
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 (neg.f64 a) #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 (neg.f64 b) #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64)))))
(neg.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 (neg.f64 a) #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(neg.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 (neg.f64 b) #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(neg.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 angle #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 angle #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64)))))
Outputs
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(*.f64 #s(literal 2 binary64) (*.f64 (*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))))
(*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(*.f64 #s(literal 2 binary64) (*.f64 (*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))))
(*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 (neg.f64 a) #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(*.f64 #s(literal 2 binary64) (*.f64 (*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))))
(*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 (neg.f64 b) #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(*.f64 #s(literal 2 binary64) (*.f64 (*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))))
(*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64)))))
(*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64))))))
(*.f64 #s(literal 2 binary64) (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #s(literal 2 binary64))))))
(*.f64 #s(literal 2 binary64) (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal -1/180 binary64)))))))
(neg.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 (neg.f64 a) #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64)))))
(*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64))))))
(*.f64 #s(literal 2 binary64) (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #s(literal 2 binary64))))))
(*.f64 #s(literal 2 binary64) (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal -1/180 binary64)))))))
(neg.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 (neg.f64 b) #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64)))))
(*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64))))))
(*.f64 #s(literal 2 binary64) (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #s(literal 2 binary64))))))
(*.f64 #s(literal 2 binary64) (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal -1/180 binary64)))))))
(neg.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(*.f64 #s(literal 2 binary64) (*.f64 (*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))))
(*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64)))))
(*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal -180 binary64))))))
(*.f64 #s(literal 2 binary64) (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (-.f64 (pow.f64 a #s(literal 2 binary64)) (pow.f64 b #s(literal 2 binary64))))))
(*.f64 #s(literal 2 binary64) (*.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (sin.f64 (*.f64 (PI.f64) (*.f64 angle #s(literal -1/180 binary64)))))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 angle #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64)))))
(*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 angle #s(literal 2 binary64)))) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))))
(*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64)))) (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 angle #s(literal 2 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))))
(*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 angle #s(literal 2 binary64))) (*.f64 (*.f64 #s(literal 2 binary64) (cos.f64 (*.f64 a (/.f64 (PI.f64) #s(literal 180 binary64))))) (sin.f64 (*.f64 a (/.f64 (PI.f64) #s(literal 180 binary64))))))
(*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 angle #s(literal 2 binary64))) (*.f64 (sin.f64 (*.f64 a (/.f64 (PI.f64) #s(literal 180 binary64)))) (cos.f64 (*.f64 a (/.f64 (PI.f64) #s(literal 180 binary64)))))))
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 angle #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64)))))
(*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 angle #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))))
(*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64)))) (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 angle #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))))
(*.f64 (-.f64 (pow.f64 angle #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (*.f64 (*.f64 #s(literal 2 binary64) (sin.f64 (*.f64 b (/.f64 (PI.f64) #s(literal 180 binary64))))) (cos.f64 (*.f64 b (/.f64 (PI.f64) #s(literal 180 binary64))))))
(*.f64 (-.f64 (pow.f64 angle #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (*.f64 (sin.f64 (*.f64 b (/.f64 (PI.f64) #s(literal 180 binary64)))) (cos.f64 (*.f64 b (/.f64 (PI.f64) #s(literal 180 binary64)))))))
Symmetry

(abs a)

(abs b)

(negabs angle)

Compiler

Compiled 26 to 16 computations (38.5% saved)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune3.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
48.3%
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
Compiler

Compiled 52 to 32 computations (38.5% saved)

simplify6.0ms (0%)

Algorithm
1×egg-herbie
Rules
5×*-commutative
2×sub-neg
2×+-commutative
1×neg-sub0
1×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02385
12985
23485
33685
43785
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))
Outputs
(*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))))

soundness2.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 26 to 16 computations (38.5% saved)

preprocess114.0ms (0.3%)

Remove

(negabs angle)

(abs b)

(abs a)

Compiler

Compiled 416 to 256 computations (38.5% saved)

end0.0ms (0%)

Profiling

Loading profile data...