Metrics for ab-angle->ABCF A

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 25 to 20 computations (20% saved)

sample3.7s (89.3%)

Results

1.0s	1046×	body	1024	valid
900.0ms	890×	body	1024	infinite
679.0ms	3567×	body	256	valid
321.0ms	1691×	body	256	infinite
271.0ms	491×	body	512	valid
261.0ms	457×	body	512	infinite
169.0ms	114×	body	2048	valid

Bogosity

preprocess436.0ms (10.7%)

Algorithm

1×	egg-herbie

Rules

754×	`distribute-lft-neg-in`
668×	`fma-def`
526×	`distribute-rgt-neg-in`
489×	`associate-+r+`
458×	`distribute-lft-in`

Problems

114×	No Errors
74×	`(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))`
67×	`(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))`
1×	`(.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	66	893
1	161	881
2	478	881
3	1629	881
4	3077	881
5	6050	881

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 (neg.f64 a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 (neg.f64 b) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (neg.f64 angle) 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (neg.f64 angle) 180) (PI.f64)))) 2))
(neg.f64 (+.f64 (pow.f64 (.f64 (neg.f64 a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)))
(neg.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 (neg.f64 b) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)))
(neg.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (neg.f64 angle) 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (neg.f64 angle) 180) (PI.f64)))) 2)))
(+.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 angle (sin.f64 (.f64 (/.f64 a 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 a 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 b 180) (PI.f64)))) 2) (pow.f64 (.f64 angle (cos.f64 (.f64 (/.f64 b 180) (PI.f64)))) 2))

Outputs
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2))
(+.f64 (pow.f64 (.f64 (neg.f64 a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 (neg.f64 b) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (neg.f64 angle) 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (neg.f64 angle) 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2))
(neg.f64 (+.f64 (pow.f64 (.f64 (neg.f64 a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)))
(neg.f64 (+.f64 (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (neg.f64 a)) 2)))
(-.f64 (neg.f64 (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(-.f64 (neg.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2)) (pow.f64 (.f64 b (cos.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2))
(neg.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 (neg.f64 b) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)))
(neg.f64 (+.f64 (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (neg.f64 a)) 2)))
(-.f64 (neg.f64 (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(-.f64 (neg.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2)) (pow.f64 (.f64 b (cos.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2))
(neg.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (neg.f64 angle) 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (neg.f64 angle) 180) (PI.f64)))) 2)))
(neg.f64 (+.f64 (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (neg.f64 a)) 2)))
(-.f64 (neg.f64 (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(-.f64 (neg.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2)) (pow.f64 (.f64 b (cos.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2))
(+.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) b) 2) (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 (sin.f64 (.f64 angle (/.f64 (PI.f64) 180))) b) 2) (pow.f64 (.f64 a (cos.f64 (.f64 angle (/.f64 (PI.f64) 180)))) 2))
(+.f64 (pow.f64 (.f64 angle (sin.f64 (.f64 (/.f64 a 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 a 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 angle (sin.f64 (.f64 (PI.f64) (/.f64 a 180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (PI.f64) (/.f64 a 180)))) 2))
(+.f64 (pow.f64 (.f64 angle (sin.f64 (/.f64 a (/.f64 180 (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (/.f64 a (/.f64 180 (PI.f64))))) 2))
(+.f64 (pow.f64 (.f64 angle (sin.f64 (.f64 (/.f64 (PI.f64) 180) a))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (PI.f64) 180) a))) 2))
(+.f64 (pow.f64 (.f64 angle (sin.f64 (.f64 (PI.f64) (.f64 1/180 a)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (PI.f64) (.f64 1/180 a)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 b 180) (PI.f64)))) 2) (pow.f64 (.f64 angle (cos.f64 (.f64 (/.f64 b 180) (PI.f64)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 b 180)))) 2) (pow.f64 (.f64 angle (cos.f64 (.f64 (PI.f64) (/.f64 b 180)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (/.f64 (PI.f64) (/.f64 180 b)))) 2) (pow.f64 (.f64 angle (cos.f64 (/.f64 (PI.f64) (/.f64 180 b)))) 2))
(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (PI.f64) 180) b))) 2) (pow.f64 (.f64 angle (cos.f64 (.f64 (/.f64 (PI.f64) 180) b))) 2))

Symmetry

(abs a)

(abs b)

(abs angle)

Compiler

Compiled 87 to 59 computations (32.2% saved)

ab-angle->ABCF A

analyze1.0ms (0%)

sample3.7s (89.3%)

preprocess436.0ms (10.7%)

end0.0ms (0%)

Profiling