Metrics for ab-angle->ABCF B

analyze1.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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)

sample43.6s (98.4%)

Results

2.5s	4578×	0	valid-rival
881.0ms	4544×	0	valid-sollya
7.8s	3599×	1	valid-rival
2.0s	3537×	1	valid-sollya
310.0ms	62×	1	exit-sollya
780.0ms	53×	3	valid-rival
260.0ms	52×	3	exit-sollya
170.0ms	34×	0	exit-sollya
257.0ms	26×	2	valid-rival
125.0ms	25×	2	exit-sollya
26.0ms	1×	3	valid-sollya
39.0ms	1×	2	valid-sollya

Bogosity

preprocess474.0ms (1.1%)

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)

Iter	Nodes	Cost
0	66	967
1	164	935
2	510	935
3	1758	935
4	5257	935

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)

eval1.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune4.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	57.1%	(.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)))))

Status

Accuracy

Program

57.1%

(*.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)

simplify34.0ms (0.1%)

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)

Iter	Nodes	Cost
0	23	85
1	29	85
2	34	85
3	36	85
4	37	85

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)

preprocess199.0ms (0.4%)

Remove

(negabs angle)

(abs b)

(abs a)

Compiler

Compiled 416 to 256 computations (38.5% saved)

ab-angle->ABCF B

analyze1.0ms (0%)

sample43.6s (98.4%)

preprocess474.0ms (1.1%)

eval1.0ms (0%)

prune4.0ms (0%)

simplify34.0ms (0.1%)

soundness2.0ms (0%)

preprocess199.0ms (0.4%)

end0.0ms (0%)

Profiling