Metrics for ab-angle->ABCF A

analyze0.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 50 to 32 computations (36% saved)

sample6.2s (92.2%)

Results

546.0ms	4617×	0	valid-sollya
460.0ms	4617×	0	valid-rival-baseline
479.0ms	4617×	0	valid-rival
1.1s	3639×	1	valid-rival-baseline
1.3s	3639×	1	valid-sollya
1.2s	3639×	1	valid-rival

Bogosity

preprocess488.0ms (7.2%)

Algorithm

1×	egg-herbie

Rules

1559×	`fma-define`
656×	`unsub-neg`
631×	`fma-neg`
450×	`distribute-lft-neg-in`
434×	`distribute-rgt-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	66	893
1	135	881
2	378	881
3	1237	881
4	2150	881
5	3307	881
6	4582	881
7	5256	881
8	5589	881
9	5784	881
10	5873	881
11	5951	881
12	7196	881
13	7425	881
14	7529	881
15	7558	881
16	7590	881
17	7590	881
18	7590	881
19	7590	881
20	7600	881

Stop Event

1×

saturated

Calls

Call 1

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

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

Symmetry

(abs a)

(abs b)

(abs angle)

Compiler

Compiled 24 to 15 computations (37.5% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	74.6%	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)))

Status

Accuracy

Program

74.6%

(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)))

Compiler

Compiled 48 to 30 computations (37.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative`
1×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	79
1	26	79

Stop Event

1×

saturated

Calls

Call 1

Inputs

(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)))

Outputs

(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)))

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 24 to 15 computations (37.5% saved)

preprocess40.0ms (0.6%)

Remove

(abs angle)

(abs b)

(abs a)

Compiler

Compiled 384 to 240 computations (37.5% saved)

ab-angle->ABCF A

analyze0.0ms (0%)

sample6.2s (92.2%)

preprocess488.0ms (7.2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0%)

soundness0.0ms (0%)

preprocess40.0ms (0.6%)

end0.0ms (0%)

Profiling