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 22 computations (18.5% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.0ms

Operation ival-mult, time spent: 0.0ms, 0.0% of total-time

Operation ival-cos, time spent: 0.0ms, 0.0% of total-time

Operation ival-div, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

Operation ival-sin, time spent: 0.0ms, 0.0% of total-time

Operation ival-pi, time spent: 0.0ms, 0.0% of total-time

Operation ival-sub, time spent: 0.0ms, 0.0% of total-time

Operation ival-pow, time spent: 0.0ms, 0.0% of total-time

sample3.2s (4%)

Results

744.0ms	3606×	0	valid
880.0ms	1890×	1	valid
947.0ms	1570×	1	infinite
241.0ms	1127×	0	infinite
140.0ms	45×	4	valid
21.0ms	13×	3	valid
3.0ms	4×	2	valid
0.0ms	1×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 2.1s

Operation ival-mult, time spent: 464.0ms, 22.0% of total-time

Operation ival-sub, time spent: 431.0ms, 20.0% of total-time

Operation ival-sin, time spent: 414.0ms, 19.0% of total-time

Operation ival-cos, time spent: 282.0ms, 13.0% of total-time

Operation ival-pow, time spent: 232.0ms, 11.0% of total-time

Operation ival-div, time spent: 197.0ms, 9.0% of total-time

Operation const, time spent: 59.0ms, 3.0% of total-time

Operation ival-pi, time spent: 55.0ms, 3.0% of total-time

Bogosity

preprocess2.7s (3.3%)

Algorithm

1×	egg-herbie

Rules

1004×	`distribute-lft-in`
984×	`distribute-rgt-in`
948×	`fma-def`
926×	`distribute-lft-neg-in`
896×	`distribute-lft-neg-out`

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
256	-	256	(2.6078338147440503e-168 5.957010308090131e-41 6.740668535616461e-298)	`(PI.f64)`
0	-	0	-	`b`
0	-	0	-	`(pow.f64 b 2)`
0	-	0	-	`(/.f64 angle 180)`
0	-	0	-	`(-.f64 (pow.f64 b 2) (pow.f64 a 2))`
0	-	0	-	`(*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))`
0	-	0	-	`(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))`
0	-	0	-	`(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))`
0	-	0	-	`angle`
0	-	0	-	`(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))`
0	-	0	-	`180`
0	-	0	-	`(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))`
0	-	0	-	`(*.f64 (PI.f64) (/.f64 angle 180))`
0	-	0	-	`a`
0	-	0	-	`(pow.f64 a 2)`
0	-	0	-	`2`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	66	967
1	176	967
2	550	935
3	1962	935
4	6217	935

Stop Event

1×	node limit

Calls

Call 1

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

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

Symmetry

(abs a)

(abs b)

(negabs angle)

Compiler

Compiled 208 to 151 computations (27.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 2.1s

Operation ival-sin, time spent: 761.0ms, 36.0% of total-time

Operation ival-mult, time spent: 337.0ms, 16.0% of total-time

Operation ival-cos, time spent: 279.0ms, 13.0% of total-time

Operation ival-sub, time spent: 251.0ms, 12.0% of total-time

Operation ival-pow, time spent: 233.0ms, 11.0% of total-time

Operation ival-div, time spent: 203.0ms, 9.0% of total-time

Operation const, time spent: 60.0ms, 3.0% of total-time

Operation ival-pi, time spent: 19.0ms, 1.0% of total-time

eval1.0ms (0%)

Compiler: Compiled 72 to 55 computations (23.6% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	58.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 26 to 21 computations (19.2% saved)

localize1.3s (1.6%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	3.1%	(PI.f64)

Compiler

Compiled 91 to 65 computations (28.6% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.1s

Operation ival-sin, time spent: 391.0ms, 36.0% of total-time

Operation ival-mult, time spent: 168.0ms, 16.0% of total-time

Operation ival-cos, time spent: 135.0ms, 13.0% of total-time

Operation ival-pow, time spent: 120.0ms, 11.0% of total-time

Operation ival-sub, time spent: 117.0ms, 11.0% of total-time

Operation ival-div, time spent: 104.0ms, 10.0% of total-time

Operation const, time spent: 30.0ms, 3.0% of total-time

Operation ival-pi, time spent: 8.0ms, 1.0% of total-time

series0.0ms (0%)

Counts: 1 → 0

rewrite195.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1294×	`prod-diff`
922×	`log-prod`
737×	`log1p-expm1-u`
737×	`expm1-log1p-u`
564×	`fma-def`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	3
1	24	3
2	234	3
3	2380	3

Stop Event

1×	node limit

Counts

1 → 63

Calls

Call 1

Inputs
(PI.f64)

Outputs
(+.f64 (PI.f64) 0)
(+.f64 (+.f64 (PI.f64) 1) -1)
(+.f64 0 (PI.f64))
(+.f64 (.f64 2 (.f64 1/3 (PI.f64))) (*.f64 1/3 (PI.f64)))
(+.f64 (.f64 1/3 (PI.f64)) (.f64 2 (*.f64 1/3 (PI.f64))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 1/2 (PI.f64)))
(-.f64 (+.f64 (PI.f64) 1) 1)
(-.f64 (+.f64 (PI.f64) 1) (log.f64 (E.f64)))
(-.f64 (log1p.f64 (pow.f64 (expm1.f64 (PI.f64)) 3)) (log.f64 (+.f64 1 (-.f64 (pow.f64 (expm1.f64 (PI.f64)) 2) (expm1.f64 (PI.f64))))))
(-.f64 (log.f64 (pow.f64 (E.f64) (+.f64 (PI.f64) 1))) (log.f64 (E.f64)))
(-.f64 (log.f64 (-.f64 1 (pow.f64 (expm1.f64 (PI.f64)) 2))) (log.f64 (-.f64 1 (expm1.f64 (PI.f64)))))
(*.f64 (PI.f64) 1)
(*.f64 (PI.f64) (log.f64 (E.f64)))
(*.f64 1 (PI.f64))
(*.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (PI.f64)) 2))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))
(*.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (PI.f64)))
(.f64 2 (.f64 1/2 (PI.f64)))
(.f64 1/3 (.f64 3 (PI.f64)))
(.f64 3 (.f64 1/3 (PI.f64)))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2) (.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) (pow.f64 (cbrt.f64 (PI.f64)) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) (log.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2) (cbrt.f64 (PI.f64))))
(.f64 (pow.f64 (PI.f64) 1/6) (.f64 (pow.f64 (PI.f64) 1/6) (pow.f64 (cbrt.f64 (PI.f64)) 2)))
(*.f64 (pow.f64 (PI.f64) 1/6) (log.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (pow.f64 (PI.f64) 1/6))))
(*.f64 (pow.f64 (PI.f64) 1/6) (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))))
(*.f64 (pow.f64 (PI.f64) 1/4) (sqrt.f64 (pow.f64 (PI.f64) 3/2)))
(.f64 (pow.f64 (PI.f64) 1/4) (.f64 (pow.f64 (PI.f64) 1/4) (sqrt.f64 (PI.f64))))
(*.f64 (pow.f64 (PI.f64) 1/4) (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (PI.f64))) (pow.f64 (PI.f64) 1/4))))
(*.f64 (log.f64 (E.f64)) (PI.f64))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (pow.f64 (PI.f64) 1/6))
(*.f64 (pow.f64 1 1/3) (PI.f64))
(*.f64 (pow.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4) 2) 1/3) (cbrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) 5/2) 1/3) (pow.f64 (PI.f64) 1/6))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4) 2)) (cbrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) 5/2)) (pow.f64 (PI.f64) 1/6))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (pow.f64 (PI.f64) 1/4)) (pow.f64 (PI.f64) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (PI.f64) 3/2)) (pow.f64 (PI.f64) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 5)) (pow.f64 (PI.f64) 1/6))
(.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4))) (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2))
(.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2)) (cbrt.f64 (cbrt.f64 (PI.f64))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (pow.f64 (PI.f64) 1/6)) (pow.f64 (PI.f64) 1/6))
(/.f64 (-.f64 (pow.f64 (+.f64 (PI.f64) 1) 3) 1) (fma.f64 (+.f64 (PI.f64) 1) (+.f64 (PI.f64) 1) (+.f64 1 (+.f64 (PI.f64) 1))))
(/.f64 (fma.f64 (+.f64 (PI.f64) 1) (+.f64 (PI.f64) 1) -1) (+.f64 (+.f64 (PI.f64) 1) 1))
(pow.f64 (PI.f64) 1)
(pow.f64 (cbrt.f64 (PI.f64)) 3)
(pow.f64 (pow.f64 (PI.f64) 2) 1/2)
(pow.f64 (pow.f64 (PI.f64) 3) 1/3)
(pow.f64 (sqrt.f64 (PI.f64)) 2)
(pow.f64 (E.f64) (log.f64 (PI.f64)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (PI.f64)))) (sqrt.f64 (log.f64 (PI.f64))))
(sqrt.f64 (pow.f64 (PI.f64) 2))
(fabs.f64 (PI.f64))
(log.f64 (exp.f64 (PI.f64)))
(cbrt.f64 (pow.f64 (PI.f64) 3))
(expm1.f64 (log1p.f64 (PI.f64)))
(exp.f64 (log.f64 (PI.f64)))
(log1p.f64 (expm1.f64 (PI.f64)))
(fma.f64 1 (+.f64 (PI.f64) 1) -1)
(fma.f64 (+.f64 (PI.f64) 1) 1 -1)
(fma.f64 (*.f64 (cbrt.f64 (+.f64 (PI.f64) 1)) (cbrt.f64 (+.f64 (PI.f64) 1))) (cbrt.f64 (+.f64 (PI.f64) 1)) -1)
(fma.f64 (sqrt.f64 (+.f64 (PI.f64) 1)) (sqrt.f64 (+.f64 (PI.f64) 1)) -1)

simplify76.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1654×	`log-prod`
1012×	`associate-+l+`
978×	`associate-+r+`
514×	`unswap-sqr`
446×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	160	801
1	359	761
2	1415	745
3	6903	745

Stop Event

1×	node limit

Counts

63 → 85

Calls

Call 1

Inputs
(+.f64 (PI.f64) 0)
(+.f64 (+.f64 (PI.f64) 1) -1)
(+.f64 0 (PI.f64))
(+.f64 (.f64 2 (.f64 1/3 (PI.f64))) (*.f64 1/3 (PI.f64)))
(+.f64 (.f64 1/3 (PI.f64)) (.f64 2 (*.f64 1/3 (PI.f64))))
(+.f64 (.f64 1/2 (PI.f64)) (.f64 1/2 (PI.f64)))
(-.f64 (+.f64 (PI.f64) 1) 1)
(-.f64 (+.f64 (PI.f64) 1) (log.f64 (E.f64)))
(-.f64 (log1p.f64 (pow.f64 (expm1.f64 (PI.f64)) 3)) (log.f64 (+.f64 1 (-.f64 (pow.f64 (expm1.f64 (PI.f64)) 2) (expm1.f64 (PI.f64))))))
(-.f64 (log.f64 (pow.f64 (E.f64) (+.f64 (PI.f64) 1))) (log.f64 (E.f64)))
(-.f64 (log.f64 (-.f64 1 (pow.f64 (expm1.f64 (PI.f64)) 2))) (log.f64 (-.f64 1 (expm1.f64 (PI.f64)))))
(*.f64 (PI.f64) 1)
(*.f64 (PI.f64) (log.f64 (E.f64)))
(*.f64 1 (PI.f64))
(*.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (PI.f64)) 2))
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))
(*.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (PI.f64)))
(.f64 2 (.f64 1/2 (PI.f64)))
(.f64 1/3 (.f64 3 (PI.f64)))
(.f64 3 (.f64 1/3 (PI.f64)))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2) (.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) (pow.f64 (cbrt.f64 (PI.f64)) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) (log.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2) (cbrt.f64 (PI.f64))))
(.f64 (pow.f64 (PI.f64) 1/6) (.f64 (pow.f64 (PI.f64) 1/6) (pow.f64 (cbrt.f64 (PI.f64)) 2)))
(*.f64 (pow.f64 (PI.f64) 1/6) (log.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (pow.f64 (PI.f64) 1/6))))
(*.f64 (pow.f64 (PI.f64) 1/6) (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))))
(*.f64 (pow.f64 (PI.f64) 1/4) (sqrt.f64 (pow.f64 (PI.f64) 3/2)))
(.f64 (pow.f64 (PI.f64) 1/4) (.f64 (pow.f64 (PI.f64) 1/4) (sqrt.f64 (PI.f64))))
(*.f64 (pow.f64 (PI.f64) 1/4) (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (PI.f64))) (pow.f64 (PI.f64) 1/4))))
(*.f64 (log.f64 (E.f64)) (PI.f64))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (pow.f64 (PI.f64) 1/6))
(*.f64 (pow.f64 1 1/3) (PI.f64))
(*.f64 (pow.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4) 2) 1/3) (cbrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (pow.f64 (pow.f64 (PI.f64) 5/2) 1/3) (pow.f64 (PI.f64) 1/6))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4) 2)) (cbrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) 5/2)) (pow.f64 (PI.f64) 1/6))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (pow.f64 (PI.f64) 1/4)) (pow.f64 (PI.f64) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (PI.f64) 3/2)) (pow.f64 (PI.f64) 1/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 5)) (pow.f64 (PI.f64) 1/6))
(.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4))) (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2))
(.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2)) (cbrt.f64 (cbrt.f64 (PI.f64))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (pow.f64 (PI.f64) 1/6)) (pow.f64 (PI.f64) 1/6))
(/.f64 (-.f64 (pow.f64 (+.f64 (PI.f64) 1) 3) 1) (fma.f64 (+.f64 (PI.f64) 1) (+.f64 (PI.f64) 1) (+.f64 1 (+.f64 (PI.f64) 1))))
(/.f64 (fma.f64 (+.f64 (PI.f64) 1) (+.f64 (PI.f64) 1) -1) (+.f64 (+.f64 (PI.f64) 1) 1))
(pow.f64 (PI.f64) 1)
(pow.f64 (cbrt.f64 (PI.f64)) 3)
(pow.f64 (pow.f64 (PI.f64) 2) 1/2)
(pow.f64 (pow.f64 (PI.f64) 3) 1/3)
(pow.f64 (sqrt.f64 (PI.f64)) 2)
(pow.f64 (E.f64) (log.f64 (PI.f64)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (PI.f64)))) (sqrt.f64 (log.f64 (PI.f64))))
(sqrt.f64 (pow.f64 (PI.f64) 2))
(fabs.f64 (PI.f64))
(log.f64 (exp.f64 (PI.f64)))
(cbrt.f64 (pow.f64 (PI.f64) 3))
(expm1.f64 (log1p.f64 (PI.f64)))
(exp.f64 (log.f64 (PI.f64)))
(log1p.f64 (expm1.f64 (PI.f64)))
(fma.f64 1 (+.f64 (PI.f64) 1) -1)
(fma.f64 (+.f64 (PI.f64) 1) 1 -1)
(fma.f64 (*.f64 (cbrt.f64 (+.f64 (PI.f64) 1)) (cbrt.f64 (+.f64 (PI.f64) 1))) (cbrt.f64 (+.f64 (PI.f64) 1)) -1)
(fma.f64 (sqrt.f64 (+.f64 (PI.f64) 1)) (sqrt.f64 (+.f64 (PI.f64) 1)) -1)

Outputs
(+.f64 (PI.f64) 0)
(PI.f64)
(+.f64 (+.f64 (PI.f64) 1) -1)
(PI.f64)
(+.f64 0 (PI.f64))
(PI.f64)
(+.f64 (.f64 2 (.f64 1/3 (PI.f64))) (*.f64 1/3 (PI.f64)))
(PI.f64)
(+.f64 (.f64 1/3 (PI.f64)) (.f64 2 (*.f64 1/3 (PI.f64))))
(PI.f64)
(+.f64 (.f64 1/2 (PI.f64)) (.f64 1/2 (PI.f64)))
(PI.f64)
(-.f64 (+.f64 (PI.f64) 1) 1)
(PI.f64)
(-.f64 (+.f64 (PI.f64) 1) (log.f64 (E.f64)))
(PI.f64)
(-.f64 (log1p.f64 (pow.f64 (expm1.f64 (PI.f64)) 3)) (log.f64 (+.f64 1 (-.f64 (pow.f64 (expm1.f64 (PI.f64)) 2) (expm1.f64 (PI.f64))))))
(-.f64 (log1p.f64 (pow.f64 (expm1.f64 (PI.f64)) 3)) (log1p.f64 (-.f64 (pow.f64 (expm1.f64 (PI.f64)) 2) (expm1.f64 (PI.f64)))))
(-.f64 (log1p.f64 (pow.f64 (expm1.f64 (PI.f64)) 3)) (log1p.f64 (*.f64 (expm1.f64 (PI.f64)) (+.f64 -1 (expm1.f64 (PI.f64))))))
(-.f64 (log.f64 (pow.f64 (E.f64) (+.f64 (PI.f64) 1))) (log.f64 (E.f64)))
(PI.f64)
(-.f64 (log.f64 (-.f64 1 (pow.f64 (expm1.f64 (PI.f64)) 2))) (log.f64 (-.f64 1 (expm1.f64 (PI.f64)))))
(-.f64 (log1p.f64 (neg.f64 (pow.f64 (expm1.f64 (PI.f64)) 2))) (log1p.f64 (neg.f64 (expm1.f64 (PI.f64)))))
(*.f64 (PI.f64) 1)
(PI.f64)
(*.f64 (PI.f64) (log.f64 (E.f64)))
(PI.f64)
(*.f64 1 (PI.f64))
(PI.f64)
(*.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (PI.f64)) 2))
(PI.f64)
(*.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))
(PI.f64)
(*.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 (PI.f64)))
(PI.f64)
(.f64 2 (.f64 1/2 (PI.f64)))
(PI.f64)
(.f64 1/3 (.f64 3 (PI.f64)))
(PI.f64)
(.f64 3 (.f64 1/3 (PI.f64)))
(PI.f64)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2) (.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) (pow.f64 (cbrt.f64 (PI.f64)) 2)))
(PI.f64)
(*.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) (log.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2))))
(PI.f64)
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2) (cbrt.f64 (PI.f64))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4)) (.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2)))
(.f64 (cbrt.f64 (PI.f64)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4))))
(.f64 (pow.f64 (PI.f64) 1/6) (.f64 (pow.f64 (PI.f64) 1/6) (pow.f64 (cbrt.f64 (PI.f64)) 2)))
(PI.f64)
(*.f64 (pow.f64 (PI.f64) 1/6) (log.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2)) (pow.f64 (PI.f64) 1/6))))
(PI.f64)
(*.f64 (pow.f64 (PI.f64) 1/6) (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (PI.f64))) (cbrt.f64 (PI.f64)))))
(.f64 (pow.f64 (PI.f64) 1/6) (.f64 (cbrt.f64 (PI.f64)) (log.f64 (exp.f64 (sqrt.f64 (PI.f64))))))
(.f64 (cbrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (pow.f64 (PI.f64) 1/6)))
(*.f64 (pow.f64 (PI.f64) 1/4) (sqrt.f64 (pow.f64 (PI.f64) 3/2)))
(*.f64 (pow.f64 (PI.f64) 1/4) (fabs.f64 (pow.f64 (PI.f64) 3/4)))
(*.f64 (pow.f64 (PI.f64) 1/4) (pow.f64 (PI.f64) 3/4))
(.f64 (pow.f64 (PI.f64) 1/4) (.f64 (pow.f64 (PI.f64) 1/4) (sqrt.f64 (PI.f64))))
(PI.f64)
(*.f64 (pow.f64 (PI.f64) 1/4) (log.f64 (pow.f64 (exp.f64 (sqrt.f64 (PI.f64))) (pow.f64 (PI.f64) 1/4))))
(PI.f64)
(*.f64 (log.f64 (E.f64)) (PI.f64))
(PI.f64)
(.f64 (.f64 (sqrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (pow.f64 (PI.f64) 1/6))
(.f64 (pow.f64 (PI.f64) 1/6) (.f64 (cbrt.f64 (PI.f64)) (log.f64 (exp.f64 (sqrt.f64 (PI.f64))))))
(.f64 (cbrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (pow.f64 (PI.f64) 1/6)))
(*.f64 (pow.f64 1 1/3) (PI.f64))
(PI.f64)
(*.f64 (pow.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4) 2) 1/3) (cbrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 8)))
(*.f64 (pow.f64 (pow.f64 (PI.f64) 5/2) 1/3) (pow.f64 (PI.f64) 1/6))
(*.f64 (pow.f64 (PI.f64) 1/6) (cbrt.f64 (pow.f64 (PI.f64) 5/2)))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4) 2)) (cbrt.f64 (cbrt.f64 (PI.f64))))
(*.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 8)))
(*.f64 (cbrt.f64 (pow.f64 (PI.f64) 5/2)) (pow.f64 (PI.f64) 1/6))
(*.f64 (pow.f64 (PI.f64) 1/6) (cbrt.f64 (pow.f64 (PI.f64) 5/2)))
(.f64 (.f64 (sqrt.f64 (PI.f64)) (pow.f64 (PI.f64) 1/4)) (pow.f64 (PI.f64) 1/4))
(PI.f64)
(*.f64 (sqrt.f64 (pow.f64 (PI.f64) 3/2)) (pow.f64 (PI.f64) 1/4))
(*.f64 (pow.f64 (PI.f64) 1/4) (sqrt.f64 (pow.f64 (PI.f64) 3/2)))
(*.f64 (pow.f64 (PI.f64) 1/4) (fabs.f64 (pow.f64 (PI.f64) 3/4)))
(*.f64 (pow.f64 (PI.f64) 1/4) (pow.f64 (PI.f64) 3/4))
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 5)) (pow.f64 (PI.f64) 1/6))
(*.f64 (pow.f64 (PI.f64) 1/6) (sqrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 5)))
(*.f64 (pow.f64 (PI.f64) 1/6) (fabs.f64 (pow.f64 (cbrt.f64 (PI.f64)) 5/2)))
(*.f64 (pow.f64 (PI.f64) 1/6) (pow.f64 (cbrt.f64 (PI.f64)) 5/2))
(.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4))) (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4)) (.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2)))
(.f64 (cbrt.f64 (PI.f64)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (PI.f64)) 4))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 2)) (cbrt.f64 (cbrt.f64 (PI.f64))))
(PI.f64)
(.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (pow.f64 (PI.f64) 1/6)) (pow.f64 (PI.f64) 1/6))
(PI.f64)
(/.f64 (-.f64 (pow.f64 (+.f64 (PI.f64) 1) 3) 1) (fma.f64 (+.f64 (PI.f64) 1) (+.f64 (PI.f64) 1) (+.f64 1 (+.f64 (PI.f64) 1))))
(/.f64 (+.f64 (pow.f64 (+.f64 (PI.f64) 1) 3) -1) (fma.f64 (+.f64 (PI.f64) 1) (+.f64 (PI.f64) 1) (+.f64 (PI.f64) 2)))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 (PI.f64) 1) 3)) (fma.f64 (+.f64 (PI.f64) 1) (+.f64 (PI.f64) 1) (+.f64 (PI.f64) 2)))
(/.f64 (+.f64 -1 (pow.f64 (+.f64 (PI.f64) 1) 3)) (+.f64 1 (*.f64 (+.f64 (PI.f64) 1) (+.f64 (PI.f64) 2))))
(/.f64 (fma.f64 (+.f64 (PI.f64) 1) (+.f64 (PI.f64) 1) -1) (+.f64 (+.f64 (PI.f64) 1) 1))
(/.f64 (fma.f64 (+.f64 (PI.f64) 1) (+.f64 (PI.f64) 1) -1) (+.f64 (PI.f64) 2))
(/.f64 (*.f64 (+.f64 (PI.f64) 2) (PI.f64)) (+.f64 (PI.f64) 2))
(/.f64 (+.f64 (PI.f64) 2) (/.f64 (+.f64 (PI.f64) 2) (PI.f64)))
(pow.f64 (PI.f64) 1)
(PI.f64)
(pow.f64 (cbrt.f64 (PI.f64)) 3)
(PI.f64)
(pow.f64 (pow.f64 (PI.f64) 2) 1/2)
(PI.f64)
(pow.f64 (pow.f64 (PI.f64) 3) 1/3)
(PI.f64)
(pow.f64 (sqrt.f64 (PI.f64)) 2)
(PI.f64)
(pow.f64 (E.f64) (log.f64 (PI.f64)))
(PI.f64)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (PI.f64)))) (sqrt.f64 (log.f64 (PI.f64))))
(sqrt.f64 (pow.f64 (PI.f64) 2))
(PI.f64)
(fabs.f64 (PI.f64))
(PI.f64)
(log.f64 (exp.f64 (PI.f64)))
(PI.f64)
(cbrt.f64 (pow.f64 (PI.f64) 3))
(PI.f64)
(expm1.f64 (log1p.f64 (PI.f64)))
(PI.f64)
(exp.f64 (log.f64 (PI.f64)))
(PI.f64)
(log1p.f64 (expm1.f64 (PI.f64)))
(PI.f64)
(fma.f64 1 (+.f64 (PI.f64) 1) -1)
(PI.f64)
(fma.f64 (+.f64 (PI.f64) 1) 1 -1)
(PI.f64)
(fma.f64 (*.f64 (cbrt.f64 (+.f64 (PI.f64) 1)) (cbrt.f64 (+.f64 (PI.f64) 1))) (cbrt.f64 (+.f64 (PI.f64) 1)) -1)
(PI.f64)
(fma.f64 (sqrt.f64 (+.f64 (PI.f64) 1)) (sqrt.f64 (+.f64 (PI.f64) 1)) -1)
(PI.f64)

eval92.0ms (0.1%)

Compiler: Compiled 5225 to 3810 computations (27.1% saved)

prune38.0ms (0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	162	8	170
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	162	9	171

Accuracy

66.7%

Counts

171 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	57.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
▶	55.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
▶	55.6%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
▶	58.2%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	56.4%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	54.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
	55.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
▶	57.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	58.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 526 to 421 computations (20% saved)

localize12.7s (15.8%)

Localize:

Found 5 expressions with local error:

New	Accuracy	Program
	3.1%	(PI.f64)
	3.1%	(PI.f64)
	3.1%	(PI.f64)
	3.1%	(PI.f64)
	3.1%	(PI.f64)

Compiler

Compiled 618 to 409 computations (33.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 11.3s

Operation ival-pow, time spent: 3.2s, 28.0% of total-time

Operation ival-exp, time spent: 2.2s, 19.0% of total-time

Operation ival-sin, time spent: 1.9s, 17.0% of total-time

Operation ival-mult, time spent: 1.1s, 10.0% of total-time

Operation ival-cos, time spent: 686.0ms, 6.0% of total-time

Operation ival-sub, time spent: 597.0ms, 5.0% of total-time

Operation ival-div, time spent: 592.0ms, 5.0% of total-time

Operation ival-log, time spent: 447.0ms, 4.0% of total-time

Operation ival-cbrt, time spent: 323.0ms, 3.0% of total-time

Operation const, time spent: 191.0ms, 2.0% of total-time

Operation ival-sqrt, time spent: 35.0ms, 0.0% of total-time

Operation ival-pi, time spent: 9.0ms, 0.0% of total-time

eval3.7s (4.6%)

Compiler: Compiled 183438 to 131669 computations (28.2% saved)

prune729.0ms (0.9%)

Pruning

29 alts after pruning (23 fresh and 6 done)

	Pruned	Kept	Total
New	5080	20	5100
Fresh	0	3	3
Picked	0	5	5
Done	0	1	1
Total	5080	29	5109

Accuracy

67.2%

Counts

5109 → 29

Alt Table

Click to see full alt table

Status	Accuracy	Program
	56.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))) 2) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	54.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	55.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
	54.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
▶	58.2%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	57.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.7%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
▶	56.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	55.4%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	57.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
	56.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
	55.4%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	55.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	56.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	56.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	56.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
▶	55.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (*.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
	56.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	55.6%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	56.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	55.5%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
▶	54.6%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
	56.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	58.2%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
▶	56.4%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	54.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
	55.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
✓	57.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	58.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 1844 to 1465 computations (20.6% saved)

localize15.4s (19.1%)

Localize:

Found 5 expressions with local error:

New	Accuracy	Program
	3.1%	(PI.f64)
	3.1%	(PI.f64)
	3.1%	(PI.f64)
	3.1%	(PI.f64)
	3.1%	(PI.f64)

Compiler

Compiled 703 to 463 computations (34.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 14.1s

Operation ival-pow, time spent: 3.7s, 26.0% of total-time

Operation ival-sin, time spent: 2.3s, 16.0% of total-time

Operation ival-exp, time spent: 2.2s, 16.0% of total-time

Operation ival-log, time spent: 2.1s, 15.0% of total-time

Operation ival-mult, time spent: 1.1s, 8.0% of total-time

Operation ival-cos, time spent: 708.0ms, 5.0% of total-time

Operation ival-sub, time spent: 631.0ms, 4.0% of total-time

Operation ival-div, time spent: 597.0ms, 4.0% of total-time

Operation ival-cbrt, time spent: 495.0ms, 4.0% of total-time

Operation const, time spent: 220.0ms, 2.0% of total-time

Operation ival-sqrt, time spent: 34.0ms, 0.0% of total-time

Operation ival-pi, time spent: 9.0ms, 0.0% of total-time

eval5.3s (6.5%)

Compiler: Compiled 237598 to 170304 computations (28.3% saved)

prune1.1s (1.3%)

Pruning

36 alts after pruning (25 fresh and 11 done)

	Pruned	Kept	Total
New	5943	7	5950
Fresh	0	18	18
Picked	0	5	5
Done	0	6	6
Total	5943	36	5979

Accuracy

67.3%

Counts

5979 → 36

Alt Table

Click to see full alt table

Status	Accuracy	Program
	57.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))) 2) (/.f64 angle 180)))) (cos.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
	56.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))) 2) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	54.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	55.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
	54.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
✓	58.2%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	57.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.7%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	54.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	54.2%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2)))) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
✓	56.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	55.4%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	57.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
▶	56.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
▶	55.4%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	55.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	54.4%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (*.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
	56.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
▶	56.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	56.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
▶	57.4%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
✓	55.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (*.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
	56.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	55.6%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	56.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	55.5%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
	56.8%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
✓	54.6%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
	56.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	58.2%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	54.8%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))) 2) (/.f64 angle 180))))
✓	56.4%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	54.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
▶	55.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
✓	57.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	58.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 2264 to 1794 computations (20.8% saved)

localize24.6s (30.7%)

Localize:

Found 5 expressions with local error:

New	Accuracy	Program
	3.1%	(PI.f64)
	3.1%	(PI.f64)
	3.1%	(PI.f64)
	3.1%	(PI.f64)
	3.1%	(PI.f64)

Compiler

Compiled 867 to 512 computations (40.9% saved)

Precisions

Click to see histograms. Total time spent on operations: 23.2s

Operation ival-pow, time spent: 10.1s, 44.0% of total-time

Operation ival-exp, time spent: 6.7s, 29.0% of total-time

Operation ival-sin, time spent: 1.9s, 8.0% of total-time

Operation ival-mult, time spent: 1.3s, 5.0% of total-time

Operation ival-cos, time spent: 724.0ms, 3.0% of total-time

Operation ival-div, time spent: 678.0ms, 3.0% of total-time

Operation ival-sub, time spent: 615.0ms, 3.0% of total-time

Operation ival-log, time spent: 487.0ms, 2.0% of total-time

Operation ival-cbrt, time spent: 380.0ms, 2.0% of total-time

Operation const, time spent: 243.0ms, 1.0% of total-time

Operation ival-sqrt, time spent: 32.0ms, 0.0% of total-time

Operation ival-pi, time spent: 9.0ms, 0.0% of total-time

eval7.2s (9%)

Compiler: Compiled 339543 to 232534 computations (31.5% saved)

prune1.7s (2.2%)

Pruning

40 alts after pruning (24 fresh and 16 done)

	Pruned	Kept	Total
New	7644	6	7650
Fresh	2	18	20
Picked	0	5	5
Done	0	11	11
Total	7646	40	7686

Accuracy

67.4%

Counts

7686 → 40

Alt Table

Click to see full alt table

Status	Accuracy	Program
	57.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))) 2) (/.f64 angle 180)))) (cos.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
	56.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))) 2) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	54.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	55.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
	54.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
✓	58.2%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	57.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	56.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
	55.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
	52.7%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	56.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	55.4%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	57.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
✓	56.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
✓	55.4%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	55.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	54.6%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	56.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
	54.4%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (*.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
	56.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	55.4%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))) 2) (/.f64 angle 180))))
✓	56.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	56.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
✓	57.4%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
✓	55.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (*.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
	56.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	55.6%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	56.3%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	55.5%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
	56.8%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
✓	54.6%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
	56.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	58.2%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	54.8%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))) 2) (/.f64 angle 180))))
✓	56.4%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	54.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
	58.7%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
✓	55.1%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
✓	57.0%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	58.9%	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 2942 to 2184 computations (25.8% saved)

regimes335.0ms (0.4%)

Accuracy

Total -8.4b remaining (-32%)

Threshold costs -8.4b (-32%)

Counts

42 → 1

Calls

Call 1

Inputs
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))) 2) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))) 2) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (*.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))) 2) (/.f64 angle 180)))) (cos.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))) 2) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2)))) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (pow.f64 (sqrt.f64 (PI.f64)) 2))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (*.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180)))) (cos.f64 (.f64 (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))

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

Calls

10 calls:

56.0ms	(/.f64 angle 180)
55.0ms	b
54.0ms	angle
54.0ms	a
54.0ms	(*.f64 (PI.f64) (/.f64 angle 180))

Results

Accuracy	Segments	Branch
61.0%	3	`a`
61.1%	3	`b`
60.9%	3	`angle`
58.9%	1	`(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))`
58.9%	1	`(*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))`
58.9%	1	`(-.f64 (pow.f64 b 2) (pow.f64 a 2))`
58.9%	1	`(pow.f64 b 2)`
58.9%	1	`(pow.f64 a 2)`
60.9%	3	`(*.f64 (PI.f64) (/.f64 angle 180))`
60.9%	3	`(/.f64 angle 180)`

Compiler

Compiled 86 to 70 computations (18.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative`
4×	`sub-neg`
4×	`+-commutative`
2×	`neg-mul-1`
2×	`neg-sub0`

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×	fuel
1×	saturated

Calls

Call 1

Inputs
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

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

Compiler

Compiled 26 to 21 computations (19.2% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess45.0ms (0.1%)

Remove

(negabs angle)

(abs b)

(abs a)

Compiler

Compiled 416 to 336 computations (19.2% saved)

analyze1.0ms (0%)

sample3.2s (4%)

preprocess2.7s (3.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize1.3s (1.6%)

series0.0ms (0%)

rewrite195.0ms (0.2%)

simplify76.0ms (0.1%)

eval92.0ms (0.1%)

prune38.0ms (0%)

localize12.7s (15.8%)

eval3.7s (4.6%)

prune729.0ms (0.9%)

localize15.4s (19.1%)

eval5.3s (6.5%)

prune1.1s (1.3%)

localize24.6s (30.7%)

eval7.2s (9%)

prune1.7s (2.2%)

regimes335.0ms (0.4%)

simplify3.0ms (0%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess45.0ms (0.1%)

Profiling