Metrics for ab-angle->ABCF C

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 16 computations (36% saved)

sample33.2s (97.5%)

Results

2.5s	4590×	0	valid-rival
923.0ms	4558×	0	valid-sollya
9.0s	3666×	1	valid-rival
2.3s	3609×	1	valid-sollya
285.0ms	57×	1	exit-sollya
160.0ms	32×	0	exit-sollya

Bogosity

preprocess774.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1584×	`fma-define`
658×	`unsub-neg`
631×	`fma-neg`
446×	`distribute-lft-neg-in`
437×	`distribute-rgt-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	66	893
1	135	881
2	374	881
3	1216	881
4	2123	881
5	3249	881
6	4619	881
7	5293	881
8	5630	881
9	5825	881
10	5916	881
11	5994	881
12	7239	881
13	7468	881
14	7572	881
15	7601	881
16	7633	881
17	7633	881
18	7633	881
19	7633	881
20	7643	881

Stop Event

1×

saturated

Calls

Call 1

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

Outputs
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 (neg.f64 a) (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 (neg.f64 b) (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(neg.f64 (+.f64 (pow.f64 (.f64 (neg.f64 a) (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))))
(neg.f64 (+.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (neg.f64 a)) #s(literal 2 binary64))))
(-.f64 (neg.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(-.f64 (neg.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(-.f64 (neg.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64))) (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(neg.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 (neg.f64 b) (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))))
(neg.f64 (+.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (neg.f64 a)) #s(literal 2 binary64))))
(-.f64 (neg.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(-.f64 (neg.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(-.f64 (neg.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64))) (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(neg.f64 (+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 (neg.f64 angle) #s(literal 180 binary64))))) #s(literal 2 binary64))))
(neg.f64 (+.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) (neg.f64 a)) #s(literal 2 binary64))))
(-.f64 (neg.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(-.f64 (neg.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(-.f64 (neg.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64))) (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 b (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (.f64 angle #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 angle (cos.f64 (.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 angle (cos.f64 (.f64 a (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 a (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 angle (cos.f64 (.f64 a (.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 b (sin.f64 (.f64 a (.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 angle (sin.f64 (.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))) #s(literal 2 binary64)))
(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (.f64 b #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (.f64 angle (sin.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)

prune2.0ms (0%)

Alt Table

Click to see full alt table

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

Status

Accuracy

Program

79.0%

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

Compiler

Compiled 48 to 30 computations (37.5% saved)

simplify4.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 (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) #s(literal 2 binary64)))

Outputs

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

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 24 to 15 computations (37.5% saved)

preprocess82.0ms (0.2%)

Remove

(abs angle)

(abs b)

(abs a)

Compiler

Compiled 384 to 240 computations (37.5% saved)

ab-angle->ABCF C

analyze1.0ms (0%)

sample33.2s (97.5%)

preprocess774.0ms (2.3%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify4.0ms (0%)

soundness1.0ms (0%)

preprocess82.0ms (0.2%)

end0.0ms (0%)

Profiling