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.6s (5.5%)

Results

1.1s	3595×	0	valid
1.0s	1970×	1	valid
792.0ms	1521×	1	infinite
255.0ms	1094×	0	infinite
196.0ms	59×	4	valid
20.0ms	14×	3	valid
2.0ms	2×	2	valid
0.0ms	1×	0	infinite

Precisions

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

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

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

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

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

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

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

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

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

Bogosity

preprocess2.1s (3.2%)

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	(6.27854978537121e-134 6.577079224794107e+180 5.129489402775253e+216)	`(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: 1.6s

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

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

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

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

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

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

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

Operation ival-pi, time spent: 15.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
▶	53.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))))

Compiler

Compiled 26 to 21 computations (19.2% saved)

localize997.0ms (1.5%)

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: 816.0ms

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

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

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

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

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

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

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

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

series0.0ms (0%)

Counts: 1 → 0

rewrite195.0ms (0.3%)

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)

simplify75.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)

eval94.0ms (0.1%)

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

prune40.0ms (0.1%)

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

63.6%

Counts

171 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
	52.6%	(.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.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 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
▶	51.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 (PI.f64) (/.f64 angle 180))))
▶	53.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 (PI.f64) (/.f64 angle 180))))
	54.3%	(.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.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 (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 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))
▶	51.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 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	53.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))))

Compiler

Compiled 526 to 421 computations (20% saved)

localize10.4s (15.9%)

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 631 to 412 computations (34.7% saved)

Precisions

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

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

Operation ival-exp, time spent: 949.0ms, 11.0% of total-time

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

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

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

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

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

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

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

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

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

eval4.2s (6.5%)

Compiler: Compiled 201593 to 143594 computations (28.8% saved)

prune855.0ms (1.3%)

Pruning

26 alts after pruning (20 fresh and 6 done)

	Pruned	Kept	Total
New	5508	17	5525
Fresh	0	3	3
Picked	0	5	5
Done	0	1	1
Total	5508	26	5534

Accuracy

64.3%

Counts

5534 → 26

Alt Table

Click to see full alt table

Status	Accuracy	Program
	50.8%	(.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))))
	52.6%	(.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))))
	53.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 (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))))
▶	52.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 (PI.f64) (/.f64 angle 180))))
	54.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 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	54.5%	(.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))))
	52.6%	(.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))))
	53.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 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	52.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 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	54.7%	(.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))))
	52.8%	(.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))))
	52.0%	(.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))))
	54.0%	(.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))))
	54.2%	(.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))))
✓	51.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 (PI.f64) (/.f64 angle 180))))
	53.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 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	53.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 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
▶	53.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))))
▶	55.4%	(.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))))
✓	53.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 (PI.f64) (/.f64 angle 180))))
▶	54.3%	(.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.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 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
	53.2%	(.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))))
✓	54.6%	(.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))))
✓	51.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 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	53.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))))

Compiler

Compiled 1643 to 1304 computations (20.6% saved)

localize11.2s (17.2%)

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 698 to 460 computations (34.1% saved)

Precisions

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

Operation ival-pow, time spent: 3.4s, 34.0% of total-time

Operation ival-exp, time spent: 1.5s, 15.0% of total-time

Operation ival-log, time spent: 1.3s, 13.0% of total-time

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

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

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

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

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

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

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

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

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

eval4.8s (7.3%)

Compiler: Compiled 215618 to 156244 computations (27.5% saved)

prune853.0ms (1.3%)

Pruning

33 alts after pruning (22 fresh and 11 done)

	Pruned	Kept	Total
New	5517	8	5525
Fresh	1	14	15
Picked	0	5	5
Done	0	6	6
Total	5518	33	5551

Accuracy

64.4%

Counts

5551 → 33

Alt Table

Click to see full alt table

Status	Accuracy	Program
	53.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 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	52.5%	(.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))))
	50.8%	(.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))))
▶	52.6%	(.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))))
	53.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 (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.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 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	54.5%	(.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))))
✓	52.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 (PI.f64) (/.f64 angle 180))))
	54.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 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	54.5%	(.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))))
	52.6%	(.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))))
▶	53.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 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	52.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 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
▶	54.7%	(.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))))
	52.8%	(.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))))
▶	52.0%	(.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))))
	54.0%	(.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))))
▶	54.2%	(.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))))
✓	51.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 (PI.f64) (/.f64 angle 180))))
	53.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 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	51.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 (.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))))
✓	53.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))))
✓	55.4%	(.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))))
✓	53.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 (PI.f64) (/.f64 angle 180))))
	53.6%	(.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))))
✓	54.3%	(.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))))
	53.6%	(.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 (pow.f64 (sqrt.f64 (PI.f64)) 2))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
	52.3%	(.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 (pow.f64 (sqrt.f64 (PI.f64)) 2)))) (/.f64 angle 180))))
✓	54.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 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
	53.2%	(.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))))
✓	54.6%	(.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))))
✓	51.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 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	53.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))))

Compiler

Compiled 2018 to 1612 computations (20.1% saved)

localize16.6s (25.5%)

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 833 to 505 computations (39.4% saved)

Precisions

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

Operation ival-pow, time spent: 6.9s, 45.0% of total-time

Operation ival-exp, time spent: 3.8s, 25.0% of total-time

Operation ival-mult, time spent: 1.0s, 7.0% of total-time

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

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

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

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

Operation ival-log, time spent: 409.0ms, 3.0% of total-time

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

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

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

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

eval6.0s (9.2%)

Compiler: Compiled 289208 to 201549 computations (30.3% saved)

prune1.4s (2.1%)

Pruning

39 alts after pruning (23 fresh and 16 done)

	Pruned	Kept	Total
New	6794	6	6800
Fresh	0	17	17
Picked	0	5	5
Done	0	11	11
Total	6794	39	6833

Accuracy

64.5%

Counts

6833 → 39

Alt Table

Click to see full alt table

Status	Accuracy	Program
	52.3%	(.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))))
	53.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 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	52.5%	(.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))))
	50.8%	(.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))))
✓	52.6%	(.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.8%	(.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))))
	53.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 (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.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 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	54.5%	(.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))))
✓	52.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 (PI.f64) (/.f64 angle 180))))
	54.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 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	54.5%	(.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))))
	52.6%	(.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))))
✓	53.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 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	52.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 (PI.f64)))) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.8%	(.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))))
	53.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 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
	53.8%	(.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 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	54.7%	(.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))))
	52.8%	(.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))))
	53.2%	(.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 (pow.f64 (sqrt.f64 (PI.f64)) 2)))) (/.f64 angle 180))))
✓	52.0%	(.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))))
	54.0%	(.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))))
✓	54.2%	(.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))))
✓	51.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 (PI.f64) (/.f64 angle 180))))
	53.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 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))
	51.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 (.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))))
✓	53.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))))
✓	55.4%	(.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))))
✓	53.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 (PI.f64) (/.f64 angle 180))))
	53.6%	(.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))))
✓	54.3%	(.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))))
	53.6%	(.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 (pow.f64 (sqrt.f64 (PI.f64)) 2))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
	52.3%	(.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 (pow.f64 (sqrt.f64 (PI.f64)) 2)))) (/.f64 angle 180))))
✓	54.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 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))
	53.2%	(.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))))
✓	54.6%	(.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))))
✓	51.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 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))
✓	53.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))))

Compiler

Compiled 2807 to 2103 computations (25.1% saved)

regimes350.0ms (0.5%)

Counts

40 → 2

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 (.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 (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 (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 (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))))
(.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 (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 (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 (.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 (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 (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 (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 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64)))) (/.f64 angle 180))))

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

Outputs

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

Calls

10 calls:

63.0ms	b
50.0ms	a
48.0ms	(*.f64 (PI.f64) (/.f64 angle 180))
47.0ms	angle
46.0ms	(/.f64 angle 180)

Results

Accuracy	Segments	Branch
58.6%	3	`a`
58.9%	4	`b`
57.2%	2	`angle`
57.2%	2	`(.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))))`
55.4%	1	`(*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))`
55.4%	1	`(-.f64 (pow.f64 b 2) (pow.f64 a 2))`
57.9%	3	`(pow.f64 b 2)`
55.4%	1	`(pow.f64 a 2)`
57.2%	2	`(*.f64 (PI.f64) (/.f64 angle 180))`
57.2%	2	`(/.f64 angle 180)`

Compiler

Compiled 86 to 70 computations (18.6% saved)

regimes128.0ms (0.2%)

Counts

29 → 2

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

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

Outputs

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

Calls

4 calls:

36.0ms	(/.f64 angle 180)
36.0ms	(*.f64 (PI.f64) (/.f64 angle 180))
35.0ms	angle
15.0ms	(.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))))

Results

Accuracy	Segments	Branch
57.2%	2	`angle`
57.2%	2	`(*.f64 (PI.f64) (/.f64 angle 180))`
57.2%	2	`(/.f64 angle 180)`
57.0%	2	`(.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 44 to 36 computations (18.2% saved)

regimes137.0ms (0.2%)

Counts

23 → 2

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

Outputs
(.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 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))

Outputs

(*.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 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))

Calls

5 calls:

31.0ms	a
30.0ms	(/.f64 angle 180)
30.0ms	angle
29.0ms	(*.f64 (PI.f64) (/.f64 angle 180))
13.0ms	(.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))))

Results

Accuracy	Segments	Branch
57.0%	2	`(.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))))`
57.3%	3	`a`
58.2%	3	`angle`
58.2%	3	`(*.f64 (PI.f64) (/.f64 angle 180))`
58.2%	3	`(/.f64 angle 180)`

Compiler

Compiled 48 to 39 computations (18.8% saved)

regimes7.0ms (0%)

Counts

16 → 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 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64)))) 2) (/.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 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180))))

Calls

1 calls:

6.0ms

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

Results

Accuracy	Segments	Branch
55.4%	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))))`

Compiler

Compiled 26 to 21 computations (19.2% saved)

regimes36.0ms (0.1%)

Counts

7 → 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))))

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 (*.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (cbrt.f64 (PI.f64))) (/.f64 angle 180))))

Calls

8 calls:

5.0ms	(/.f64 angle 180)
5.0ms	(*.f64 (PI.f64) (/.f64 angle 180))
5.0ms	angle
5.0ms	(pow.f64 b 2)
4.0ms	(*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))

Results

Accuracy	Segments	Branch
54.6%	1	`(pow.f64 b 2)`
54.6%	1	`angle`
54.6%	1	`(*.f64 (PI.f64) (/.f64 angle 180))`
54.6%	1	`(/.f64 angle 180)`
54.6%	1	`(pow.f64 a 2)`
54.6%	1	`(*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))`
54.6%	1	`(-.f64 (pow.f64 b 2) (pow.f64 a 2))`
54.6%	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))))`

Compiler

Compiled 78 to 64 computations (17.9% saved)

regimes33.0ms (0%)

Counts

5 → 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))))

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 (pow.f64 (sqrt.f64 (PI.f64)) 2) (/.f64 angle 180))))

Calls

8 calls:

6.0ms	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
4.0ms	(*.f64 (PI.f64) (/.f64 angle 180))
4.0ms	(/.f64 angle 180)
4.0ms	angle
4.0ms	(.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))))

Results

Accuracy	Segments	Branch
54.3%	1	`(pow.f64 a 2)`
54.3%	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))))`
54.3%	1	`(*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))`
54.3%	1	`(-.f64 (pow.f64 b 2) (pow.f64 a 2))`
54.3%	1	`angle`
54.3%	1	`(*.f64 (PI.f64) (/.f64 angle 180))`
54.3%	1	`(/.f64 angle 180)`
54.3%	1	`(pow.f64 b 2)`

Compiler

Compiled 78 to 64 computations (17.9% saved)

regimes32.0ms (0%)

Accuracy

Total -3.5b remaining (-11.5%)

Threshold costs -3.5b (-11.5%)

Counts

2 → 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))))

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:

6.0ms	(.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))))
3.0ms	(*.f64 (PI.f64) (/.f64 angle 180))
3.0ms	(/.f64 angle 180)
3.0ms	a
3.0ms	b

Results

Accuracy	Segments	Branch
53.0%	1	`a`
53.0%	1	`b`
53.0%	1	`(pow.f64 a 2)`
53.0%	1	`(*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))`
53.0%	1	`(-.f64 (pow.f64 b 2) (pow.f64 a 2))`
53.0%	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))))`
53.0%	1	`(pow.f64 b 2)`
53.0%	1	`angle`
53.0%	1	`(*.f64 (PI.f64) (/.f64 angle 180))`
53.0%	1	`(/.f64 angle 180)`

Compiler

Compiled 86 to 70 computations (18.6% saved)

bsearch1.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.5228483420453033e+174	2.4267993826206174e+184

Compiler

Compiled 32 to 26 computations (18.8% saved)

bsearch276.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
276.0ms	8.318569622076867e+178	1.5465148845367457e+185

Results

192.0ms	74×	4	valid
58.0ms	43×	3	valid
3.0ms	12×	0	valid
6.0ms	8×	2	valid
3.0ms	6×	1	valid
3.0ms	1×	4	valid

Compiler

Compiled 660 to 491 computations (25.6% saved)

Precisions

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

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

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

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

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

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

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

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

bsearch1.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-2.2253832415194684e-42	-2.9932755335912756e-45

Compiler

Compiled 32 to 26 computations (18.8% saved)

simplify25.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	73	1358
1	96	1358
2	101	1358
3	103	1358
4	104	1358

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(if (<=.f64 (.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)))) 2000000000000000137915135073689165875359652196704874198187565661193312641284417509132373599233810570853199965858834917760600767800956522391407163437154734795519664771502702592) (.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 (.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)))))
(if (<=.f64 (/.f64 angle 180) 1400000000000000059016841683970568782372608797025019497096228435498395430943102808577053698175538881217491253565919762016361442207959349786976070336901171013227118409648384535166976) (.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 (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)))))
(if (<=.f64 (.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)))) -6277101735386681/3138550867693340381917894711603833208051177722232017256448) (.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 (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 (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 (.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 (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 (PI.f64) (/.f64 angle 180))))

Outputs
(if (<=.f64 (.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)))) 2000000000000000137915135073689165875359652196704874198187565661193312641284417509132373599233810570853199965858834917760600767800956522391407163437154734795519664771502702592) (.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 (.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)))))
(if (<=.f64 (.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)))) 2000000000000000137915135073689165875359652196704874198187565661193312641284417509132373599233810570853199965858834917760600767800956522391407163437154734795519664771502702592) (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (PI.f64)) 2))))) (cos.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (PI.f64)) 2))))) (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.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)))))))
(if (<=.f64 (/.f64 angle 180) 1400000000000000059016841683970568782372608797025019497096228435498395430943102808577053698175538881217491253565919762016361442207959349786976070336901171013227118409648384535166976) (.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 (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)))))
(if (<=.f64 (/.f64 angle 180) 1400000000000000059016841683970568782372608797025019497096228435498395430943102808577053698175538881217491253565919762016361442207959349786976070336901171013227118409648384535166976) (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (PI.f64)) 2))))) (cos.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (PI.f64)) 2))))) (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (PI.f64))) 2)) (cbrt.f64 (log.f64 (PI.f64))))))) (cos.f64 (.f64 (/.f64 angle 180) (pow.f64 (sqrt.f64 (PI.f64)) 2)))))
(if (<=.f64 (.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)))) -6277101735386681/3138550867693340381917894711603833208051177722232017256448) (.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 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))) (cos.f64 (*.f64 (cbrt.f64 (pow.f64 (PI.f64) 3)) (/.f64 angle 180)))))
(if (<=.f64 (.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)))) -6277101735386681/3138550867693340381917894711603833208051177722232017256448) (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (PI.f64)) 2))))) (cos.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (PI.f64)) 2))))) (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) (cbrt.f64 (pow.f64 (PI.f64) 3))))) (cos.f64 (*.f64 (/.f64 angle 180) (cbrt.f64 (pow.f64 (PI.f64) 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 (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 angle 180) (cbrt.f64 (pow.f64 (PI.f64) 3))))) (cos.f64 (*.f64 (/.f64 angle 180) (cbrt.f64 (pow.f64 (PI.f64) 3)))))
(.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 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (pow.f64 (cbrt.f64 (PI.f64)) 2)))))
(.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 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (/.f64 angle 180) (pow.f64 (sqrt.f64 (PI.f64)) 2))))
(.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 393 to 302 computations (23.2% saved)

soundness605.0ms (0.9%)

Rules

1294×	`prod-diff`
1294×	`prod-diff`
1294×	`prod-diff`
1294×	`prod-diff`
922×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit
1×	node limit
1×	node limit
1×	node limit

Compiler

Compiled 397 to 282 computations (29% saved)

end0.0ms (0%)

preprocess305.0ms (0.5%)

Remove

(abs b)

(abs a)

Compiler

Compiled 4882 to 3586 computations (26.5% saved)

analyze1.0ms (0%)

sample3.6s (5.5%)

preprocess2.1s (3.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize997.0ms (1.5%)

series0.0ms (0%)

rewrite195.0ms (0.3%)

simplify75.0ms (0.1%)

eval94.0ms (0.1%)

prune40.0ms (0.1%)

localize10.4s (15.9%)

eval4.2s (6.5%)

prune855.0ms (1.3%)

localize11.2s (17.2%)

eval4.8s (7.3%)

prune853.0ms (1.3%)

localize16.6s (25.5%)

eval6.0s (9.2%)

prune1.4s (2.1%)

regimes350.0ms (0.5%)

regimes128.0ms (0.2%)

regimes137.0ms (0.2%)

regimes7.0ms (0%)

regimes36.0ms (0.1%)

regimes33.0ms (0%)

regimes32.0ms (0%)

bsearch1.0ms (0%)

bsearch276.0ms (0.4%)

bsearch1.0ms (0%)

simplify25.0ms (0%)

soundness605.0ms (0.9%)

end0.0ms (0%)

preprocess305.0ms (0.5%)

Profiling