Metrics for Maksimov and Kolovsky, Equation (4)

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
100%	99.8%	0%	0.2%	0%	0%	0%	1

Compiler

Compiled 20 to 15 computations (25% saved)

Precisions

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

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

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

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

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

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

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

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

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

sample2.0s (19.8%)

Results

737.0ms	4161×	256	infinite
529.0ms	2868×	256	valid
199.0ms	605×	512	valid
351.0ms	601×	1024	valid
16.0ms	20×	2048	valid
0.0ms	1×	256	valid

Precisions

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

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

Operation ival-exp, time spent: 266.0ms, 27.0% of total-time

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

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

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

Operation ival-add, time spent: 60.0ms, 6.0% of total-time

Operation ival-neg, time spent: 56.0ms, 6.0% of total-time

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

Bogosity

preprocess430.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

1266×	`times-frac`
1146×	`unsub-neg`
1110×	`fma-neg`
860×	`fma-define`
768×	`distribute-lft-in`

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
111	0	-	-	`(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))`
0	130	(9.070778309342505e-131 2.4461170620444928e+289 8.735466080345113e+60 2.6649616870208717e-238)	-	`(cos.f64 (/.f64 K 2))`
0	0	-	-	`(/.f64 K 2)`
0	0	-	-	`(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))`
0	0	-	-	`l`
0	0	-	-	`(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))`
0	0	-	-	`(exp.f64 l)`
0	1	(2.744603300774883e-124 422.77791823815073 1.0227804603625282e+123 -1.913421017579633e+51)	-	`(exp.f64 (neg.f64 l))`
0	0	-	-	`(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)`
0	0	-	-	`J`
0	0	-	-	`U`
0	0	-	-	`(neg.f64 l)`
0	0	-	-	`K`
0	0	-	-	`2`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	75	960
1	184	956
2	502	944
3	1750	944
4	5797	944

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 (neg.f64 J) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 (neg.f64 l)) (exp.f64 (neg.f64 (neg.f64 l))))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 (neg.f64 K) 2))) U)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) (neg.f64 U))
(neg.f64 (+.f64 (.f64 (.f64 (neg.f64 J) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U))
(neg.f64 (+.f64 (.f64 (.f64 J (-.f64 (exp.f64 (neg.f64 l)) (exp.f64 (neg.f64 (neg.f64 l))))) (cos.f64 (/.f64 K 2))) U))
(neg.f64 (+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 (neg.f64 K) 2))) U))
(neg.f64 (+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) (neg.f64 U)))
(+.f64 (.f64 (.f64 l (-.f64 (exp.f64 J) (exp.f64 (neg.f64 J)))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 K (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 J 2))) U)
(+.f64 (.f64 (.f64 U (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) J)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 K) (exp.f64 (neg.f64 K)))) (cos.f64 (/.f64 l 2))) U)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 U) (exp.f64 (neg.f64 U)))) (cos.f64 (/.f64 K 2))) l)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 U 2))) K)

Outputs
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) U)
(fma.f64 J (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) U)
(fma.f64 J (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 (neg.f64 J) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
(fma.f64 (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (neg.f64 J)) (cos.f64 (/.f64 K 2)) U)
(-.f64 U (.f64 (.f64 (cos.f64 (/.f64 K 2)) J) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))))
(fma.f64 (-.f64 (exp.f64 (neg.f64 l)) (exp.f64 l)) (*.f64 J (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 (neg.f64 l)) (exp.f64 (neg.f64 (neg.f64 l))))) (cos.f64 (/.f64 K 2))) U)
(fma.f64 (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (neg.f64 J)) (cos.f64 (/.f64 K 2)) U)
(-.f64 U (.f64 (.f64 (cos.f64 (/.f64 K 2)) J) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))))
(fma.f64 (-.f64 (exp.f64 (neg.f64 l)) (exp.f64 l)) (*.f64 J (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 (neg.f64 K) 2))) U)
(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) U)
(fma.f64 J (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) (neg.f64 U))
(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) (neg.f64 U))
(-.f64 (.f64 (.f64 (cos.f64 (/.f64 K 2)) J) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) U)
(neg.f64 (fma.f64 (-.f64 (exp.f64 (neg.f64 l)) (exp.f64 l)) (*.f64 J (cos.f64 (/.f64 K 2))) U))
(-.f64 (.f64 J (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2)))) U)
(neg.f64 (+.f64 (.f64 (.f64 (neg.f64 J) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U))
(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) (neg.f64 U))
(-.f64 (.f64 (.f64 (cos.f64 (/.f64 K 2)) J) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) U)
(neg.f64 (fma.f64 (-.f64 (exp.f64 (neg.f64 l)) (exp.f64 l)) (*.f64 J (cos.f64 (/.f64 K 2))) U))
(-.f64 (.f64 J (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2)))) U)
(neg.f64 (+.f64 (.f64 (.f64 J (-.f64 (exp.f64 (neg.f64 l)) (exp.f64 (neg.f64 (neg.f64 l))))) (cos.f64 (/.f64 K 2))) U))
(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) (neg.f64 U))
(-.f64 (.f64 (.f64 (cos.f64 (/.f64 K 2)) J) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) U)
(neg.f64 (fma.f64 (-.f64 (exp.f64 (neg.f64 l)) (exp.f64 l)) (*.f64 J (cos.f64 (/.f64 K 2))) U))
(-.f64 (.f64 J (.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2)))) U)
(neg.f64 (+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 (neg.f64 K) 2))) U))
(neg.f64 (fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 (neg.f64 K) 2)) U))
(neg.f64 (fma.f64 J (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2))) U))
(neg.f64 (+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) (neg.f64 U)))
(fma.f64 (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (neg.f64 J)) (cos.f64 (/.f64 K 2)) U)
(-.f64 U (.f64 (.f64 (cos.f64 (/.f64 K 2)) J) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))))
(fma.f64 (-.f64 (exp.f64 (neg.f64 l)) (exp.f64 l)) (*.f64 J (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 l (-.f64 (exp.f64 J) (exp.f64 (neg.f64 J)))) (cos.f64 (/.f64 K 2))) U)
(fma.f64 (*.f64 l (-.f64 (exp.f64 J) (exp.f64 (neg.f64 J)))) (cos.f64 (/.f64 K 2)) U)
(fma.f64 l (*.f64 (cos.f64 (/.f64 K 2)) (-.f64 (exp.f64 J) (exp.f64 (neg.f64 J)))) U)
(+.f64 (.f64 (.f64 K (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 J 2))) U)
(fma.f64 (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) K) (cos.f64 (/.f64 J 2)) U)
(fma.f64 K (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 J 2))) U)
(fma.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 K (cos.f64 (/.f64 J 2))) U)
(fma.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (.f64 K (cos.f64 (.f64 J 1/2))) U)
(+.f64 (.f64 (.f64 U (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) J)
(fma.f64 (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) U) (cos.f64 (/.f64 K 2)) J)
(fma.f64 (cos.f64 (/.f64 K 2)) (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) U) J)
(fma.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 (cos.f64 (/.f64 K 2)) U) J)
(fma.f64 U (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2))) J)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 K) (exp.f64 (neg.f64 K)))) (cos.f64 (/.f64 l 2))) U)
(fma.f64 (*.f64 J (-.f64 (exp.f64 K) (exp.f64 (neg.f64 K)))) (cos.f64 (/.f64 l 2)) U)
(fma.f64 J (*.f64 (-.f64 (exp.f64 K) (exp.f64 (neg.f64 K))) (cos.f64 (/.f64 l 2))) U)
(fma.f64 (-.f64 (exp.f64 K) (exp.f64 (neg.f64 K))) (.f64 J (cos.f64 (.f64 l -1/2))) U)
(fma.f64 (-.f64 (exp.f64 K) (exp.f64 (neg.f64 K))) (.f64 J (cos.f64 (.f64 l 1/2))) U)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 U) (exp.f64 (neg.f64 U)))) (cos.f64 (/.f64 K 2))) l)
(fma.f64 (*.f64 J (-.f64 (exp.f64 U) (exp.f64 (neg.f64 U)))) (cos.f64 (/.f64 K 2)) l)
(fma.f64 (cos.f64 (/.f64 K 2)) (*.f64 J (-.f64 (exp.f64 U) (exp.f64 (neg.f64 U)))) l)
(fma.f64 J (*.f64 (cos.f64 (/.f64 K 2)) (-.f64 (exp.f64 U) (exp.f64 (neg.f64 U)))) l)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 U 2))) K)
(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 U 2)) K)
(fma.f64 J (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 U 2))) K)
(fma.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (.f64 J (cos.f64 (.f64 U 1/2))) K)

Symmetry

(abs K)

Compiler

Compiled 151 to 64 computations (57.6% saved)

Precisions

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

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

Operation ival-exp, time spent: 38.0ms, 22.0% of total-time

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

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

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

Operation ival-add, time spent: 5.0ms, 3.0% of total-time

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

Operation ival-neg, time spent: 4.0ms, 2.0% of total-time

eval1.0ms (0%)

Compiler: Compiled 32 to 18 computations (43.8% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	90.5%	(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)

Compiler

Compiled 19 to 14 computations (26.3% saved)

localize197.0ms (2%)

Localize:

Found 4 expressions with local error:

New	Accuracy	Program
✓	100.0%	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
✓	100.0%	(cos.f64 (/.f64 K 2))
✓	99.9%	(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))
✓	59.5%	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 66 to 25 computations (62.1% saved)

Precisions

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

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

Operation ival-exp, time spent: 23.0ms, 26.0% of total-time

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

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

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

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

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

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

series82.0ms (0.8%)

Counts

4 → 64

Calls

21 calls:

Time	Variable		Point	Expression
59.0ms	K	@	-inf	(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))
2.0ms	J	@	0	(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))
2.0ms	l	@	0	(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))
2.0ms	J	@	-inf	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
2.0ms	l	@	inf	(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))

rewrite226.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

210×	`associate-r`
140×	`associate-l`
108×	`add-exp-log`
108×	`add-log-exp`
108×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	56
1	247	56
2	3815	56

Stop Event

1×

unsound

Counts

4 → 50

Calls

Call 1

Inputs
(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))
(cos.f64 (/.f64 K 2))
(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))

Outputs
-4
-2
-1/2
0
1/4
1/2
3/2
2
4
6
8
-4
-2
-1/2
0
1/4
1/2
3/2
2
4
6
8
(+.f64 -4 (.f64 -4 (cos.f64 (.f64 -4 (*.f64 -4 K)))))
(-.f64 (exp.f64 (log1p.f64 (cos.f64 (*.f64 -4 K)))) -3)
(.f64 (cos.f64 (.f64 -4 K)) (cos.f64 (*.f64 -4 K)))
(.f64 (cos.f64 (.f64 -4 K)) -3)
(.f64 -3 (cos.f64 (.f64 -4 K)))
(/.f64 (+.f64 (cos.f64 (+.f64 (.f64 -4 K) (.f64 -4 K))) (cos.f64 (-.f64 (.f64 -4 K) (.f64 -4 K)))) -4)
(pow.f64 (cos.f64 (*.f64 -4 K)) -4)
(pow.f64 (cos.f64 (*.f64 -4 K)) -3)
(sqrt.f64 (cos.f64 (*.f64 -4 K)))
(fabs.f64 (cos.f64 (*.f64 -4 K)))
(log.f64 (exp.f64 (cos.f64 (*.f64 -4 K))))
(log.f64 (+.f64 -3 (expm1.f64 (cos.f64 (*.f64 -4 K)))))
(cbrt.f64 (cos.f64 (*.f64 -4 K)))
(expm1.f64 (log1p.f64 (cos.f64 (*.f64 -4 K))))
(log1p.f64 (expm1.f64 (cos.f64 (*.f64 -4 K))))
(exp.f64 (log.f64 (cos.f64 (*.f64 -4 K))))
(exp.f64 (.f64 (log.f64 (cos.f64 (.f64 -4 K))) -3))
-4
-2
-1/2
0
1/4
1/2
3/2
2
4
6
8

eval67.0ms (0.7%)

Compiler: Compiled 1739 to 923 computations (46.9% saved)

prune41.0ms (0.4%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	98	16	114
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	98	17	115

Accuracy

100.0%

Counts

115 → 17

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	90.5%	(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
▶	83.6%	(+.f64 (.f64 (.f64 J (.f64 l (+.f64 2 (.f64 1/3 (pow.f64 l 2))))) (cos.f64 (/.f64 K 2))) U)
▶	62.2%	(+.f64 (.f64 (.f64 J (*.f64 2 l)) (cos.f64 (/.f64 K 2))) U)
	25.3%	(+.f64 (.f64 (.f64 J 8) (cos.f64 (/.f64 K 2))) U)
	25.4%	(+.f64 (.f64 (.f64 J 1/4) (cos.f64 (/.f64 K 2))) U)
▶	25.4%	(+.f64 (.f64 (.f64 J -1/2) (cos.f64 (/.f64 K 2))) U)
	25.3%	(+.f64 (.f64 (.f64 J -4) (cos.f64 (/.f64 K 2))) U)
	80.6%	(+.f64 (.f64 l (+.f64 (.f64 1/3 (.f64 J (.f64 (pow.f64 l 2) (cos.f64 (.f64 1/2 K))))) (.f64 2 (.f64 J (cos.f64 (.f64 1/2 K)))))) U)
	77.7%	(+.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) U)
	21.1%	(+.f64 (*.f64 8 (cos.f64 (/.f64 K 2))) U)
	62.2%	(+.f64 (.f64 2 (.f64 J (.f64 l (cos.f64 (.f64 1/2 K))))) U)
	21.2%	(+.f64 (*.f64 -1/2 (cos.f64 (/.f64 K 2))) U)
▶	21.0%	(+.f64 8 U)
	21.0%	(+.f64 1/4 U)
	35.2%	(+.f64 0 U)
	21.3%	(+.f64 -1/2 U)
▶	21.2%	(+.f64 -4 U)

Compiler

Compiled 443 to 348 computations (21.4% saved)

localize348.0ms (3.5%)

Localize:

Found 9 expressions with local error:

New	Accuracy	Program
✓	100.0%	(cos.f64 (/.f64 K 2))
✓	99.8%	(.f64 (.f64 J (*.f64 2 l)) (cos.f64 (/.f64 K 2)))
✓	100.0%	(+.f64 (.f64 (.f64 J -1/2) (cos.f64 (/.f64 K 2))) U)
✓	100.0%	(cos.f64 (/.f64 K 2))
✓	99.8%	(.f64 (.f64 J -1/2) (cos.f64 (/.f64 K 2)))
✓	99.9%	(.f64 l (+.f64 2 (.f64 1/3 (pow.f64 l 2))))
✓	99.8%	(.f64 (.f64 J (.f64 l (+.f64 2 (.f64 1/3 (pow.f64 l 2))))) (cos.f64 (/.f64 K 2)))
✓	99.7%	(*.f64 1/3 (pow.f64 l 2))
✓	95.2%	(.f64 J (.f64 l (+.f64 2 (*.f64 1/3 (pow.f64 l 2)))))

Compiler

Compiled 172 to 118 computations (31.4% saved)

Precisions

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

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

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

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

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

Operation ival-add, time spent: 15.0ms, 7.0% of total-time

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

series56.0ms (0.6%)

Counts

9 → 177

Calls

51 calls:

Time	Variable		Point	Expression
4.0ms	K	@	0	(.f64 (.f64 J (.f64 l (+.f64 2 (.f64 1/3 (pow.f64 l 2))))) (cos.f64 (/.f64 K 2)))
3.0ms	l	@	inf	(.f64 (.f64 J (.f64 l (+.f64 2 (.f64 1/3 (pow.f64 l 2))))) (cos.f64 (/.f64 K 2)))
2.0ms	l	@	inf	(.f64 (.f64 J (*.f64 2 l)) (cos.f64 (/.f64 K 2)))
2.0ms	K	@	inf	(.f64 (.f64 J -1/2) (cos.f64 (/.f64 K 2)))
2.0ms	J	@	0	(.f64 J (.f64 l (+.f64 2 (*.f64 1/3 (pow.f64 l 2)))))

rewrite204.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

1190×	`log1p-expm1-u`
484×	`associate-r`
399×	`expm1-log1p-u`
334×	`associate-l`
194×	`cbrt-prod`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	29	275
1	418	263
2	5580	263

Stop Event

1×	node limit

Counts

9 → 182

Calls

Call 1

Inputs
(.f64 J (.f64 l (+.f64 2 (*.f64 1/3 (pow.f64 l 2)))))
(*.f64 1/3 (pow.f64 l 2))
(.f64 (.f64 J (.f64 l (+.f64 2 (.f64 1/3 (pow.f64 l 2))))) (cos.f64 (/.f64 K 2)))
(.f64 l (+.f64 2 (.f64 1/3 (pow.f64 l 2))))
(.f64 (.f64 J -1/2) (cos.f64 (/.f64 K 2)))
(cos.f64 (/.f64 K 2))
(+.f64 (.f64 (.f64 J -1/2) (cos.f64 (/.f64 K 2))) U)
(.f64 (.f64 J (*.f64 2 l)) (cos.f64 (/.f64 K 2)))
(cos.f64 (/.f64 K 2))

Outputs
(+.f64 (.f64 J (.f64 l 2)) (.f64 J (.f64 1/3 (pow.f64 l 3))))
(+.f64 (.f64 J (.f64 l 2)) (.f64 (.f64 J l) (*.f64 1/3 (pow.f64 l 2))))
(+.f64 (.f64 J (.f64 l 2)) (.f64 (.f64 1/3 (pow.f64 l 3)) J))
(+.f64 (.f64 J (.f64 l 2)) (.f64 (.f64 1/3 (pow.f64 l 2)) (*.f64 J l)))
(+.f64 (.f64 (.f64 J l) (.f64 1/3 (pow.f64 l 2))) (.f64 J (*.f64 l 2)))
(+.f64 (.f64 (.f64 1/3 (pow.f64 l 2)) (.f64 J l)) (.f64 J (*.f64 l 2)))
(-.f64 (exp.f64 (log1p.f64 (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 J l)))) 1)
(/.f64 (.f64 (.f64 J l) (+.f64 (.f64 (pow.f64 (pow.f64 l 2) 3) 1/27) 8)) (-.f64 (+.f64 4 (.f64 (pow.f64 l 4) 1/9)) (*.f64 2/3 (pow.f64 l 2))))
(/.f64 (.f64 (.f64 J l) (-.f64 4 (.f64 (pow.f64 l 4) 1/9))) (+.f64 2 (.f64 -1/3 (pow.f64 l 2))))
(pow.f64 (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 J l)) 1)
(pow.f64 (cbrt.f64 (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 J l))) 3)
(pow.f64 (pow.f64 (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 J l)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 J l))) 2)
(sqrt.f64 (pow.f64 (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 J l)) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 1/3 (pow.f64 l 2) 2)) l) J))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 J l)))))
(cbrt.f64 (pow.f64 (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 J l)) 3))
(cbrt.f64 (.f64 (pow.f64 J 3) (pow.f64 (.f64 l (fma.f64 1/3 (pow.f64 l 2) 2)) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 l (fma.f64 1/3 (pow.f64 l 2) 2)) 3) (pow.f64 J 3)))
(expm1.f64 (log1p.f64 (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 J l))))
(log1p.f64 (expm1.f64 (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 J l))))
(exp.f64 (log.f64 (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 J l))))
(exp.f64 (.f64 (log.f64 (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (*.f64 J l))) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/3 (pow.f64 l 2)))) 1)
(pow.f64 (*.f64 1/3 (pow.f64 l 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 1/3 (pow.f64 l 2))) 3)
(pow.f64 (*.f64 (pow.f64 (pow.f64 l 2) 3) 1/27) 1/3)
(pow.f64 (*.f64 l (sqrt.f64 1/3)) 2)
(sqrt.f64 (*.f64 (pow.f64 l 4) 1/9))
(log.f64 (pow.f64 (exp.f64 1/3) (pow.f64 l 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/3 (pow.f64 l 2)))))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 l 2) 3) 1/27))
(expm1.f64 (log1p.f64 (*.f64 1/3 (pow.f64 l 2))))
(log1p.f64 (expm1.f64 (*.f64 1/3 (pow.f64 l 2))))
(exp.f64 (log.f64 (*.f64 1/3 (pow.f64 l 2))))
(exp.f64 (.f64 (log.f64 (.f64 1/3 (pow.f64 l 2))) 1))
(-.f64 (exp.f64 (log1p.f64 (.f64 J (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 l (cos.f64 (.f64 K 1/2))))))) 1)
(pow.f64 (.f64 J (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 l (cos.f64 (.f64 K 1/2))))) 1)
(pow.f64 (cbrt.f64 (.f64 J (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 l (cos.f64 (.f64 K 1/2)))))) 3)
(pow.f64 (pow.f64 (.f64 J (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 l (cos.f64 (.f64 K 1/2))))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 J (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 l (cos.f64 (.f64 K 1/2)))))) 2)
(sqrt.f64 (pow.f64 (.f64 J (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 l (cos.f64 (.f64 K 1/2))))) 2))
(log.f64 (pow.f64 (pow.f64 (pow.f64 (exp.f64 (fma.f64 1/3 (pow.f64 l 2) 2)) l) J) (cos.f64 (*.f64 K 1/2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 J (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 l (cos.f64 (.f64 K 1/2))))))))
(cbrt.f64 (pow.f64 (.f64 J (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 l (cos.f64 (.f64 K 1/2))))) 3))
(cbrt.f64 (.f64 (pow.f64 (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 J l)) 3) (pow.f64 (cos.f64 (.f64 K 1/2)) 3)))
(cbrt.f64 (.f64 (pow.f64 (cos.f64 (.f64 K 1/2)) 3) (pow.f64 (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 J l)) 3)))
(expm1.f64 (log1p.f64 (.f64 J (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 l (cos.f64 (.f64 K 1/2)))))))
(log1p.f64 (expm1.f64 (.f64 J (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 l (cos.f64 (.f64 K 1/2)))))))
(exp.f64 (log.f64 (.f64 J (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 l (cos.f64 (.f64 K 1/2)))))))
(exp.f64 (.f64 (log.f64 (.f64 J (.f64 (fma.f64 1/3 (pow.f64 l 2) 2) (.f64 l (cos.f64 (*.f64 K 1/2)))))) 1))
(+.f64 (.f64 l 2) (.f64 1/3 (pow.f64 l 3)))
(+.f64 (.f64 l 2) (.f64 (*.f64 1/3 (pow.f64 l 3)) 1))
(+.f64 (.f64 1/3 (pow.f64 l 3)) (.f64 l 2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 l (fma.f64 1/3 (pow.f64 l 2) 2)))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 l 2) 3) (pow.f64 (.f64 1/3 (pow.f64 l 3)) 3)) (+.f64 (pow.f64 (.f64 l 2) 2) (-.f64 (.f64 (.f64 1/3 (pow.f64 l 3)) (.f64 1/3 (pow.f64 l 3))) (.f64 (.f64 l 2) (*.f64 1/3 (pow.f64 l 3))))))
(/.f64 (-.f64 (pow.f64 (.f64 l 2) 2) (.f64 (.f64 1/3 (pow.f64 l 3)) (.f64 1/3 (pow.f64 l 3)))) (-.f64 (.f64 l 2) (.f64 1/3 (pow.f64 l 3))))
(/.f64 (.f64 l (+.f64 (.f64 (pow.f64 (pow.f64 l 2) 3) 1/27) 8)) (-.f64 (+.f64 4 (.f64 (pow.f64 l 4) 1/9)) (.f64 2/3 (pow.f64 l 2))))
(/.f64 (.f64 l (-.f64 4 (.f64 (pow.f64 l 4) 1/9))) (+.f64 2 (*.f64 -1/3 (pow.f64 l 2))))
(/.f64 (.f64 (+.f64 (.f64 (pow.f64 (pow.f64 l 2) 3) 1/27) 8) l) (-.f64 (+.f64 4 (.f64 (pow.f64 l 4) 1/9)) (.f64 2/3 (pow.f64 l 2))))
(/.f64 (.f64 (-.f64 4 (.f64 (pow.f64 l 4) 1/9)) l) (+.f64 2 (*.f64 -1/3 (pow.f64 l 2))))
(pow.f64 (*.f64 l (fma.f64 1/3 (pow.f64 l 2) 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 l (fma.f64 1/3 (pow.f64 l 2) 2))) 3)
(pow.f64 (pow.f64 (*.f64 l (fma.f64 1/3 (pow.f64 l 2) 2)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 l (fma.f64 1/3 (pow.f64 l 2) 2))) 2)
(sqrt.f64 (pow.f64 (*.f64 l (fma.f64 1/3 (pow.f64 l 2) 2)) 2))
(log.f64 (pow.f64 (exp.f64 (fma.f64 1/3 (pow.f64 l 2) 2)) l))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 l (fma.f64 1/3 (pow.f64 l 2) 2)))))
(cbrt.f64 (pow.f64 (*.f64 l (fma.f64 1/3 (pow.f64 l 2) 2)) 3))
(cbrt.f64 (*.f64 (pow.f64 l 3) (pow.f64 (fma.f64 1/3 (pow.f64 l 2) 2) 3)))
(cbrt.f64 (*.f64 (pow.f64 (fma.f64 1/3 (pow.f64 l 2) 2) 3) (pow.f64 l 3)))
(expm1.f64 (log1p.f64 (*.f64 l (fma.f64 1/3 (pow.f64 l 2) 2))))
(log1p.f64 (expm1.f64 (*.f64 l (fma.f64 1/3 (pow.f64 l 2) 2))))
(exp.f64 (log.f64 (*.f64 l (fma.f64 1/3 (pow.f64 l 2) 2))))
(exp.f64 (.f64 (log.f64 (.f64 l (fma.f64 1/3 (pow.f64 l 2) 2))) 1))
(fma.f64 l 2 (*.f64 1/3 (pow.f64 l 3)))
(fma.f64 2 l (*.f64 1/3 (pow.f64 l 3)))
(fma.f64 1 (.f64 l 2) (.f64 1/3 (pow.f64 l 3)))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 l 2)) 2) (cbrt.f64 (.f64 l 2)) (*.f64 1/3 (pow.f64 l 3)))
(fma.f64 (sqrt.f64 (.f64 l 2)) (sqrt.f64 (.f64 l 2)) (*.f64 1/3 (pow.f64 l 3)))
(-.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2)))) 1)
(pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2)) 1)
(pow.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2))) 3)
(pow.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2))) 2)
(sqrt.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2)) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 J) -1/2) (cos.f64 (*.f64 K 1/2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2)))))
(cbrt.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2)) 3))
(expm1.f64 (log1p.f64 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2))))
(log1p.f64 (expm1.f64 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2))))
(exp.f64 (log.f64 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2))))
(exp.f64 (.f64 (log.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2))) 1))
(-.f64 (exp.f64 (log1p.f64 (cos.f64 (*.f64 K 1/2)))) 1)
(.f64 (cos.f64 (.f64 K 1/2)) 1)
(.f64 1 (cos.f64 (.f64 K 1/2)))
(.f64 (cbrt.f64 (cos.f64 (.f64 K 1/2))) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 K 1/2))) 2))
(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 K 1/2))) 2) (cbrt.f64 (cos.f64 (*.f64 K 1/2))))
(.f64 (sqrt.f64 (cos.f64 (.f64 K 1/2))) (sqrt.f64 (cos.f64 (*.f64 K 1/2))))
(pow.f64 (cos.f64 (*.f64 K 1/2)) 1)
(pow.f64 (cbrt.f64 (cos.f64 (*.f64 K 1/2))) 3)
(pow.f64 (pow.f64 (cos.f64 (*.f64 K 1/2)) 3) 1/3)
(pow.f64 (sqrt.f64 (cos.f64 (*.f64 K 1/2))) 2)
(sqrt.f64 (pow.f64 (cos.f64 (*.f64 K 1/2)) 2))
(log.f64 (exp.f64 (cos.f64 (*.f64 K 1/2))))
(log.f64 (+.f64 1 (expm1.f64 (cos.f64 (*.f64 K 1/2)))))
(cbrt.f64 (pow.f64 (cos.f64 (*.f64 K 1/2)) 3))
(expm1.f64 (log1p.f64 (cos.f64 (*.f64 K 1/2))))
(log1p.f64 (expm1.f64 (cos.f64 (*.f64 K 1/2))))
(exp.f64 (log.f64 (cos.f64 (*.f64 K 1/2))))
(exp.f64 (.f64 (log.f64 (cos.f64 (.f64 K 1/2))) 1))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U))) 1)
(-.f64 (/.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)) 2) (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) (neg.f64 U))) (/.f64 (pow.f64 U 2) (fma.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2) (neg.f64 U))))
(.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2) U) 1)
(.f64 1 (fma.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2) U))
(.f64 (cbrt.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U)) (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2) U)) 2))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U)) 2) (cbrt.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2) U)))
(.f64 (sqrt.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U)) (sqrt.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2) U)))
(.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)) 3) (pow.f64 U 3)) (/.f64 1 (+.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)) 2) (.f64 U (-.f64 U (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2)))))))
(.f64 (-.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)) 2) (pow.f64 U 2)) (/.f64 1 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) (neg.f64 U))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)) 2) (.f64 U (-.f64 U (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2))))) (+.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)) 3) (pow.f64 U 3))))
(/.f64 1 (/.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) (neg.f64 U)) (-.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2)) 2) (pow.f64 U 2))))
(/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)) 3) (pow.f64 U 3)) (+.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)) 2) (.f64 U (-.f64 U (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2))))))
(/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)) 3) (pow.f64 U 3)) (+.f64 (pow.f64 U 2) (-.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)) 2) (.f64 (cos.f64 (.f64 K 1/2)) (.f64 (.f64 J -1/2) U)))))
(/.f64 (-.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)) 2) (pow.f64 U 2)) (fma.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2) (neg.f64 U)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)) 3) (pow.f64 U 3))) (neg.f64 (+.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)) 2) (.f64 U (-.f64 U (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)) 2) (pow.f64 U 2))) (neg.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2) (neg.f64 U))))
(/.f64 (-.f64 (pow.f64 U 2) (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2)) 2)) (-.f64 U (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2))))
(pow.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U) 1)
(pow.f64 (cbrt.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U)) 3)
(pow.f64 (pow.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U)) 2)
(sqrt.f64 (pow.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U) 2))
(log.f64 (exp.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U))))
(cbrt.f64 (pow.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U) 3))
(expm1.f64 (log1p.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U)))
(log1p.f64 (expm1.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U)))
(exp.f64 (log.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U)))
(exp.f64 (.f64 (log.f64 (fma.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2) U)) 1))
(fma.f64 J (.f64 (cos.f64 (.f64 K 1/2)) -1/2) U)
(fma.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2) U)
(fma.f64 (.f64 J -1/2) (cos.f64 (.f64 K 1/2)) U)
(fma.f64 1 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2)) U)
(fma.f64 1 U (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2)))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2))) 2) (cbrt.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2))) U)
(fma.f64 (pow.f64 (cbrt.f64 U) 2) (cbrt.f64 U) (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2)))
(fma.f64 (sqrt.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2))) (sqrt.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J -1/2))) U)
(fma.f64 (sqrt.f64 U) (sqrt.f64 U) (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2)))
(-.f64 (exp.f64 (log1p.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J (.f64 l 2))))) 1)
(pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J (.f64 l 2))) 1)
(pow.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J (.f64 l 2)))) 3)
(pow.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J (.f64 l 2))) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J (.f64 l 2)))) 2)
(sqrt.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J (.f64 l 2))) 2))
(log.f64 (pow.f64 (pow.f64 (pow.f64 (exp.f64 l) 2) J) (cos.f64 (*.f64 K 1/2))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J (.f64 l 2))))))
(cbrt.f64 (pow.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J (.f64 l 2))) 3))
(cbrt.f64 (.f64 (pow.f64 (cos.f64 (.f64 K 1/2)) 3) (pow.f64 (.f64 J (.f64 l 2)) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 J (.f64 l 2)) 3) (pow.f64 (cos.f64 (.f64 K 1/2)) 3)))
(expm1.f64 (log1p.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J (.f64 l 2)))))
(log1p.f64 (expm1.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J (.f64 l 2)))))
(exp.f64 (log.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J (.f64 l 2)))))
(exp.f64 (.f64 (log.f64 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 J (*.f64 l 2)))) 1))
(-.f64 (exp.f64 (log1p.f64 (cos.f64 (*.f64 K 1/2)))) 1)
(.f64 (cos.f64 (.f64 K 1/2)) 1)
(.f64 1 (cos.f64 (.f64 K 1/2)))
(.f64 (cbrt.f64 (cos.f64 (.f64 K 1/2))) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 K 1/2))) 2))
(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 K 1/2))) 2) (cbrt.f64 (cos.f64 (*.f64 K 1/2))))
(.f64 (sqrt.f64 (cos.f64 (.f64 K 1/2))) (sqrt.f64 (cos.f64 (*.f64 K 1/2))))
(pow.f64 (cos.f64 (*.f64 K 1/2)) 1)
(pow.f64 (cbrt.f64 (cos.f64 (*.f64 K 1/2))) 3)
(pow.f64 (pow.f64 (cos.f64 (*.f64 K 1/2)) 3) 1/3)
(pow.f64 (sqrt.f64 (cos.f64 (*.f64 K 1/2))) 2)
(sqrt.f64 (pow.f64 (cos.f64 (*.f64 K 1/2)) 2))
(log.f64 (exp.f64 (cos.f64 (*.f64 K 1/2))))
(log.f64 (+.f64 1 (expm1.f64 (cos.f64 (*.f64 K 1/2)))))
(cbrt.f64 (pow.f64 (cos.f64 (*.f64 K 1/2)) 3))
(expm1.f64 (log1p.f64 (cos.f64 (*.f64 K 1/2))))
(log1p.f64 (expm1.f64 (cos.f64 (*.f64 K 1/2))))
(exp.f64 (log.f64 (cos.f64 (*.f64 K 1/2))))
(exp.f64 (.f64 (log.f64 (cos.f64 (.f64 K 1/2))) 1))

eval419.0ms (4.2%)

Compiler: Compiled 8164 to 5987 computations (26.7% saved)

prune73.0ms (0.7%)

Pruning

29 alts after pruning (25 fresh and 4 done)

	Pruned	Kept	Total
New	463	16	479
Fresh	2	9	11
Picked	2	3	5
Done	0	1	1
Total	467	29	496

Accuracy

100.0%

Counts

496 → 29

Alt Table

Click to see full alt table

Status	Accuracy	Program
	46.0%	(+.f64 (+.f64 (.f64 -1/4 (.f64 J (.f64 (pow.f64 K 2) l))) (.f64 2 (*.f64 J l))) U)
	26.9%	(+.f64 (+.f64 (.f64 -1/2 J) (.f64 1/16 (*.f64 J (pow.f64 K 2)))) U)
✓	90.5%	(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
	61.1%	(+.f64 (.f64 (.f64 J (.f64 l (+.f64 2 (.f64 1/3 (pow.f64 l 2))))) (+.f64 1 (*.f64 -1/8 (pow.f64 K 2)))) U)
	45.9%	(+.f64 (.f64 (.f64 J (.f64 2 l)) (pow.f64 (sqrt.f64 (cos.f64 (.f64 K 1/2))) 2)) U)
	49.5%	(+.f64 (.f64 (.f64 J (.f64 2 l)) (+.f64 1 (.f64 -1/8 (pow.f64 K 2)))) U)
	62.2%	(+.f64 (.f64 (.f64 J (.f64 2 l)) (log.f64 (exp.f64 (cos.f64 (.f64 K 1/2))))) U)
✓	62.2%	(+.f64 (.f64 (.f64 J (*.f64 2 l)) (cos.f64 (/.f64 K 2))) U)
▶	74.3%	(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) (cos.f64 (/.f64 K 2))) U)
	25.3%	(+.f64 (.f64 (.f64 J 8) (cos.f64 (/.f64 K 2))) U)
	25.4%	(+.f64 (.f64 (.f64 J 1/4) (cos.f64 (/.f64 K 2))) U)
	27.1%	(+.f64 (.f64 (.f64 J -1/2) (+.f64 1 (.f64 (pow.f64 K 2) (-.f64 (.f64 1/384 (pow.f64 K 2)) 1/8)))) U)
	25.3%	(+.f64 (.f64 (.f64 J -4) (cos.f64 (/.f64 K 2))) U)
▶	77.7%	(+.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) U)
	70.5%	(+.f64 (.f64 J (.f64 l (+.f64 2 (*.f64 1/3 (pow.f64 l 2))))) U)
	21.1%	(+.f64 (*.f64 8 (cos.f64 (/.f64 K 2))) U)
▶	62.2%	(+.f64 (.f64 2 (.f64 J (.f64 l (cos.f64 (.f64 1/2 K))))) U)
	53.7%	(+.f64 (.f64 2 (.f64 J l)) U)
▶	21.2%	(+.f64 (*.f64 -1/2 (cos.f64 (/.f64 K 2))) U)
	25.2%	(+.f64 (*.f64 -1/2 J) U)
	33.4%	(+.f64 (log1p.f64 (expm1.f64 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2)))) U)
✓	21.0%	(+.f64 8 U)
	21.0%	(+.f64 1/4 U)
	21.3%	(+.f64 -1/2 U)
✓	21.2%	(+.f64 -4 U)
	28.2%	(.f64 U (+.f64 1 (.f64 -1/2 (/.f64 (.f64 J (cos.f64 (.f64 1/2 K))) U))))
	25.0%	(.f64 J (+.f64 (.f64 -1/2 (cos.f64 (*.f64 1/2 K))) (/.f64 U J)))
	2.9%	(.f64 -1/2 (.f64 J (cos.f64 (*.f64 1/2 K))))
▶	35.2%	U

Compiler

Compiled 797 to 624 computations (21.7% saved)

localize496.0ms (5%)

Localize:

Found 11 expressions with local error:

New	Accuracy	Program
✓	100.0%	(cos.f64 (/.f64 K 2))
✓	99.9%	(.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) (cos.f64 (/.f64 K 2)))
✓	99.8%	(*.f64 1/3 (pow.f64 l 3))
✓	92.2%	(.f64 J (.f64 1/3 (pow.f64 l 3)))
✓	100.0%	(cos.f64 (*.f64 1/2 K))
✓	99.9%	(.f64 J (.f64 l (cos.f64 (*.f64 1/2 K))))
✓	99.8%	(.f64 l (cos.f64 (.f64 1/2 K)))
✓	100.0%	(cos.f64 (/.f64 K 2))
✓	100.0%	(+.f64 (*.f64 -1/2 (cos.f64 (/.f64 K 2))) U)
✓	100.0%	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
✓	59.5%	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Compiler

Compiled 169 to 98 computations (42% saved)

Precisions

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

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

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

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

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

Operation ival-exp, time spent: 18.0ms, 6.0% of total-time

Operation ival-add, time spent: 11.0ms, 4.0% of total-time

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

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

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

series56.0ms (0.6%)

Counts

11 → 136

Calls

57 calls:

Time	Variable		Point	Expression
7.0ms	J	@	0	(.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) (cos.f64 (/.f64 K 2)))
3.0ms	K	@	-inf	(.f64 l (cos.f64 (.f64 1/2 K)))
3.0ms	l	@	-inf	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
2.0ms	K	@	inf	(.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) (cos.f64 (/.f64 K 2)))
2.0ms	J	@	0	(.f64 J (.f64 1/3 (pow.f64 l 3)))

rewrite52.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

448×	`associate-r`
290×	`associate-l`
194×	`cbrt-prod`
191×	`log1p-expm1-u`
191×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	165
1	476	165
2	6976	165

Stop Event

1×

unsound

Counts

11 → 237

Calls

Call 1

Inputs
(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(+.f64 (*.f64 -1/2 (cos.f64 (/.f64 K 2))) U)
(cos.f64 (/.f64 K 2))
(.f64 l (cos.f64 (.f64 1/2 K)))
(.f64 J (.f64 l (cos.f64 (*.f64 1/2 K))))
(cos.f64 (*.f64 1/2 K))
(.f64 J (.f64 1/3 (pow.f64 l 3)))
(*.f64 1/3 (pow.f64 l 3))
(.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) (cos.f64 (/.f64 K 2)))
(cos.f64 (/.f64 K 2))

Outputs
-4
-3
-2
-1
-1/2
-1/8
0
1/9
1/4
1/3
1/2
3/4
1
3/2
2
3
4
6
8
9
27
-4
-3
-2
-1
-1/2
-1/8
0
1/9
1/4
1/3
1/2
3/4
1
3/2
2
3
4
6
8
9
27
(-.f64 -4 U)
(-.f64 U -4)
(-.f64 U U)
(*.f64 -4 U)
(*.f64 U -4)
(*.f64 U U)
(/.f64 -4 U)
(/.f64 U U)
(/.f64 (neg.f64 U) (neg.f64 U))
(pow.f64 U -4)
(sqrt.f64 U)
(fabs.f64 U)
(log.f64 (exp.f64 U))
(log.f64 (+.f64 -4 (expm1.f64 U)))
(log.f64 (/.f64 -4 (exp.f64 U)))
(cbrt.f64 U)
U
(expm1.f64 (log.f64 U))
(hypot.f64 -4 U)
(hypot.f64 U -4)
(log1p.f64 (expm1.f64 U))
(exp.f64 (log.f64 U))
(exp.f64 (*.f64 (log.f64 U) -4))
(fma.f64 -4 -4 U)
(fma.f64 -4 -4 (neg.f64 U))
(fma.f64 -4 U -4)
(fma.f64 U U -4)
(fma.f64 U U (neg.f64 U))
-4
-3
-2
-1
-1/2
-1/8
0
1/9
1/4
1/3
1/2
3/4
1
3/2
2
3
4
6
8
9
27
-4
-3
-2
-1
-1/2
-1/8
0
1/9
1/4
1/3
1/2
3/4
1
3/2
2
3
4
6
8
9
27
-4
-3
-2
-1
-1/2
-1/8
0
1/9
1/4
1/3
1/2
3/4
1
3/2
2
3
4
6
8
9
27
-4
-3
-2
-1
-1/2
-1/8
0
1/9
1/4
1/3
1/2
3/4
1
3/2
2
3
4
6
8
9
27
-4
-3
-2
-1
-1/2
-1/8
0
1/9
1/4
1/3
1/2
3/4
1
3/2
2
3
4
6
8
9
27
-4
-3
-2
-1
-1/2
-1/8
0
1/9
1/4
1/3
1/2
3/4
1
3/2
2
3
4
6
8
9
27
-4
-3
-2
-1
-1/2
-1/8
0
1/9
1/4
1/3
1/2
3/4
1
3/2
2
3
4
6
8
9
27
-4
-3
-2
-1
-1/2
-1/8
0
1/9
1/4
1/3
1/2
3/4
1
3/2
2
3
4
6
8
9
27

eval107.0ms (1.1%)

Compiler: Compiled 4021 to 2877 computations (28.5% saved)

prune88.0ms (0.9%)

Pruning

46 alts after pruning (40 fresh and 6 done)

	Pruned	Kept	Total
New	405	34	439
Fresh	14	6	20
Picked	2	3	5
Done	1	3	4
Total	422	46	468

Accuracy

100.0%

Counts

468 → 46

Alt Table

Click to see full alt table

Status	Accuracy	Program
	8.0%	(pow.f64 U -4)
	2.3%	(/.f64 -4 U)
	21.0%	(-.f64 (+.f64 U (*.f64 1/16 (pow.f64 K 2))) 1/2)
▶	26.9%	(+.f64 (+.f64 (.f64 -1/2 J) (.f64 1/16 (*.f64 J (pow.f64 K 2)))) U)
✓	90.5%	(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
	45.9%	(+.f64 (.f64 (.f64 J (.f64 2 l)) (pow.f64 (sqrt.f64 (cos.f64 (.f64 K 1/2))) 2)) U)
	62.2%	(+.f64 (.f64 (.f64 J (.f64 2 l)) (log.f64 (exp.f64 (cos.f64 (.f64 K 1/2))))) U)
✓	62.2%	(+.f64 (.f64 (.f64 J (*.f64 2 l)) (cos.f64 (/.f64 K 2))) U)
	57.8%	(+.f64 (.f64 (.f64 J (.f64 1/3 (pow.f64 l 3))) (+.f64 1 (.f64 -1/8 (pow.f64 K 2)))) U)
▶	65.9%	(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) 27) U)
	42.5%	(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) -4) U)
	27.1%	(+.f64 (.f64 (.f64 J -1/2) (+.f64 1 (.f64 (pow.f64 K 2) (-.f64 (.f64 1/384 (pow.f64 K 2)) 1/8)))) U)
✓	77.7%	(+.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) U)
	53.7%	(+.f64 (.f64 J (.f64 2 l)) U)
	25.4%	(+.f64 (*.f64 J 27) U)
	25.5%	(+.f64 (*.f64 J 1/9) U)
	25.3%	(+.f64 (*.f64 J -1/8) U)
▶	25.2%	(+.f64 (*.f64 J -4) U)
	21.0%	(+.f64 (*.f64 27 (cos.f64 (/.f64 K 2))) U)
✓	62.2%	(+.f64 (.f64 2 (.f64 J (.f64 l (cos.f64 (.f64 1/2 K))))) U)
	49.7%	(+.f64 (.f64 2 (.f64 J (*.f64 l 27))) U)
	50.3%	(+.f64 (.f64 2 (.f64 J (*.f64 l 3/4))) U)
	50.2%	(+.f64 (.f64 2 (.f64 J (*.f64 l 1/2))) U)
▶	50.1%	(+.f64 (.f64 2 (.f64 J (*.f64 l 1/3))) U)
	38.6%	(+.f64 (.f64 2 (.f64 J (*.f64 l -1/2))) U)
	38.7%	(+.f64 (.f64 2 (.f64 J (*.f64 l -1))) U)
	38.5%	(+.f64 (.f64 2 (.f64 J (*.f64 l -4))) U)
	25.4%	(+.f64 (.f64 2 (.f64 J 27)) U)
	25.2%	(+.f64 (.f64 2 (.f64 J -4)) U)
	21.0%	(+.f64 (*.f64 2 27) U)
	65.9%	(+.f64 (.f64 1/3 (.f64 J (pow.f64 l 3))) U)
	21.2%	(+.f64 (*.f64 -1/2 27) U)
	21.3%	(+.f64 (*.f64 -1/2 1/9) U)
	21.1%	(+.f64 (*.f64 -1/2 -1/8) U)
	21.0%	(+.f64 27 U)
	21.1%	(+.f64 1/9 U)
	21.3%	(+.f64 -1/8 U)
✓	21.2%	(+.f64 -4 U)
	28.2%	(.f64 U (+.f64 1 (.f64 -1/2 (/.f64 (.f64 J (cos.f64 (.f64 1/2 K))) U))))
	10.5%	(*.f64 U U)
▶	2.2%	(*.f64 U -4)
	25.0%	(.f64 J (+.f64 (.f64 -1/2 (cos.f64 (*.f64 1/2 K))) (/.f64 U J)))
	32.6%	(log1p.f64 (expm1.f64 U))
	7.1%	(log.f64 (/.f64 -4 (exp.f64 U)))
	3.0%	(exp.f64 (*.f64 (log.f64 U) -4))
✓	35.2%	U

Compiler

Compiled 1017 to 814 computations (20% saved)

localize228.0ms (2.3%)

Localize:

Found 11 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 (.f64 -1/2 J) (.f64 1/16 (*.f64 J (pow.f64 K 2))))
✓	100.0%	(+.f64 (+.f64 (.f64 -1/2 J) (.f64 1/16 (*.f64 J (pow.f64 K 2)))) U)
✓	99.7%	(.f64 1/16 (.f64 J (pow.f64 K 2)))
✓	89.1%	(*.f64 J (pow.f64 K 2))
✓	100.0%	(+.f64 (.f64 2 (.f64 J (*.f64 l 1/3))) U)
✓	100.0%	(.f64 2 (.f64 J (*.f64 l 1/3)))
✓	99.7%	(.f64 J (.f64 l 1/3))
✓	99.5%	(*.f64 l 1/3)
✓	99.8%	(.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) 27)
✓	99.8%	(*.f64 1/3 (pow.f64 l 3))
✓	92.2%	(.f64 J (.f64 1/3 (pow.f64 l 3)))

Compiler

Compiled 139 to 93 computations (33.1% saved)

Precisions

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

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

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

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

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

series51.0ms (0.5%)

Counts

11 → 201

Calls

66 calls:

Time	Variable		Point	Expression
2.0ms	J	@	0	(.f64 J (.f64 l 1/3))
2.0ms	K	@	-inf	(+.f64 (+.f64 (.f64 -1/2 J) (.f64 1/16 (*.f64 J (pow.f64 K 2)))) U)
1.0ms	U	@	inf	(+.f64 (.f64 2 (.f64 J (*.f64 l 1/3))) U)
1.0ms	J	@	0	(*.f64 J (pow.f64 K 2))
1.0ms	U	@	0	(+.f64 (+.f64 (.f64 -1/2 J) (.f64 1/16 (*.f64 J (pow.f64 K 2)))) U)

rewrite217.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1267×	`log1p-expm1-u`
460×	`associate-r`
357×	`expm1-log1p-u`
300×	`associate-l`
192×	`cbrt-prod`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	31	281
1	423	263
2	5817	263

Stop Event

1×	node limit

Counts

11 → 230

Calls

Call 1

Inputs
(.f64 J (.f64 1/3 (pow.f64 l 3)))
(*.f64 1/3 (pow.f64 l 3))
(.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) 27)
(*.f64 l 1/3)
(.f64 J (.f64 l 1/3))
(.f64 2 (.f64 J (*.f64 l 1/3)))
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/3))) U)
(*.f64 J (pow.f64 K 2))
(.f64 1/16 (.f64 J (pow.f64 K 2)))
(+.f64 (+.f64 (.f64 -1/2 J) (.f64 1/16 (*.f64 J (pow.f64 K 2)))) U)
(+.f64 (.f64 -1/2 J) (.f64 1/16 (*.f64 J (pow.f64 K 2))))

Outputs
(-.f64 (exp.f64 (log1p.f64 (.f64 J (.f64 1/3 (pow.f64 l 3))))) 1)
(pow.f64 (.f64 J (.f64 1/3 (pow.f64 l 3))) 1)
(pow.f64 (.f64 (cbrt.f64 (.f64 J 1/3)) l) 3)
(pow.f64 (pow.f64 (.f64 J (.f64 1/3 (pow.f64 l 3))) 3) 1/3)
(pow.f64 (.f64 (sqrt.f64 (.f64 J 1/3)) (pow.f64 l 3/2)) 2)
(sqrt.f64 (.f64 (.f64 (pow.f64 l 6) 1/9) (pow.f64 J 2)))
(log.f64 (pow.f64 (exp.f64 J) (*.f64 1/3 (pow.f64 l 3))))
(log.f64 (+.f64 1 (expm1.f64 (.f64 J (.f64 1/3 (pow.f64 l 3))))))
(cbrt.f64 (pow.f64 (.f64 J (.f64 1/3 (pow.f64 l 3))) 3))
(cbrt.f64 (.f64 (pow.f64 J 3) (pow.f64 (.f64 1/3 (pow.f64 l 3)) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 1/3 (pow.f64 l 3)) 3) (pow.f64 J 3)))
(expm1.f64 (log1p.f64 (.f64 J (.f64 1/3 (pow.f64 l 3)))))
(log1p.f64 (expm1.f64 (.f64 J (.f64 1/3 (pow.f64 l 3)))))
(exp.f64 (log.f64 (.f64 J (.f64 1/3 (pow.f64 l 3)))))
(exp.f64 (.f64 (log.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3)))) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/3 (pow.f64 l 3)))) 1)
(pow.f64 (*.f64 1/3 (pow.f64 l 3)) 1)
(pow.f64 (*.f64 l (cbrt.f64 1/3)) 3)
(pow.f64 (pow.f64 (*.f64 1/3 (pow.f64 l 3)) 3) 1/3)
(pow.f64 (*.f64 (pow.f64 l 3/2) (sqrt.f64 1/3)) 2)
(sqrt.f64 (*.f64 (pow.f64 l 6) 1/9))
(log.f64 (pow.f64 (exp.f64 1/3) (pow.f64 l 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/3 (pow.f64 l 3)))))
(cbrt.f64 (pow.f64 (*.f64 1/3 (pow.f64 l 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 1/3 (pow.f64 l 3))))
(log1p.f64 (expm1.f64 (*.f64 1/3 (pow.f64 l 3))))
(exp.f64 (log.f64 (*.f64 1/3 (pow.f64 l 3))))
(exp.f64 (.f64 (log.f64 (.f64 1/3 (pow.f64 l 3))) 1))
(-.f64 (exp.f64 (log1p.f64 (.f64 J (.f64 (pow.f64 l 3) 9)))) 1)
(pow.f64 (.f64 J (.f64 (pow.f64 l 3) 9)) 1)
(pow.f64 (cbrt.f64 (.f64 J (.f64 (pow.f64 l 3) 9))) 3)
(pow.f64 (pow.f64 (.f64 J (.f64 (pow.f64 l 3) 9)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 J (.f64 (pow.f64 l 3) 9))) 2)
(sqrt.f64 (pow.f64 (.f64 J (.f64 (pow.f64 l 3) 9)) 2))
(log.f64 (pow.f64 (exp.f64 J) (*.f64 (pow.f64 l 3) 9)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 J (.f64 (pow.f64 l 3) 9)))))
(cbrt.f64 (pow.f64 (.f64 J (.f64 (pow.f64 l 3) 9)) 3))
(expm1.f64 (log1p.f64 (.f64 J (.f64 (pow.f64 l 3) 9))))
(log1p.f64 (expm1.f64 (.f64 J (.f64 (pow.f64 l 3) 9))))
(exp.f64 (log.f64 (.f64 J (.f64 (pow.f64 l 3) 9))))
(exp.f64 (.f64 (log.f64 (.f64 J (*.f64 (pow.f64 l 3) 9))) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/3 l))) 1)
(pow.f64 (*.f64 1/3 l) 1)
(pow.f64 (cbrt.f64 (*.f64 1/3 l)) 3)
(pow.f64 (pow.f64 (*.f64 1/3 l) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 1/3 l)) 2)
(sqrt.f64 (*.f64 (pow.f64 l 2) 1/9))
(log.f64 (pow.f64 (exp.f64 1/3) l))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 1/3 l))))
(cbrt.f64 (pow.f64 (*.f64 1/3 l) 3))
(expm1.f64 (log1p.f64 (*.f64 1/3 l)))
(log1p.f64 (expm1.f64 (*.f64 1/3 l)))
(exp.f64 (log.f64 (*.f64 1/3 l)))
(exp.f64 (.f64 (log.f64 (.f64 1/3 l)) 1))
(-.f64 (exp.f64 (log1p.f64 (.f64 J (.f64 1/3 l)))) 1)
(pow.f64 (.f64 J (.f64 1/3 l)) 1)
(pow.f64 (cbrt.f64 (.f64 J (.f64 1/3 l))) 3)
(pow.f64 (pow.f64 (.f64 J (.f64 1/3 l)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 J (.f64 1/3 l))) 2)
(sqrt.f64 (pow.f64 (.f64 J (.f64 1/3 l)) 2))
(log.f64 (pow.f64 (exp.f64 J) (*.f64 1/3 l)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 J (.f64 1/3 l)))))
(cbrt.f64 (pow.f64 (.f64 J (.f64 1/3 l)) 3))
(cbrt.f64 (.f64 (pow.f64 J 3) (pow.f64 (.f64 1/3 l) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 1/3 l) 3) (pow.f64 J 3)))
(expm1.f64 (log1p.f64 (.f64 J (.f64 1/3 l))))
(log1p.f64 (expm1.f64 (.f64 J (.f64 1/3 l))))
(exp.f64 (log.f64 (.f64 J (.f64 1/3 l))))
(exp.f64 (.f64 (log.f64 (.f64 J (*.f64 1/3 l))) 1))
(-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 J l) 2/3))) 1)
(pow.f64 (.f64 (.f64 J l) 2/3) 1)
(pow.f64 (cbrt.f64 (.f64 (.f64 J l) 2/3)) 3)
(pow.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 (.f64 J l) 2/3)) 2)
(sqrt.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 2))
(log.f64 (exp.f64 (.f64 (.f64 J l) 2/3)))
(log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 J l) 2/3))))
(cbrt.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 3))
(expm1.f64 (log1p.f64 (.f64 (.f64 J l) 2/3)))
(log1p.f64 (expm1.f64 (.f64 (.f64 J l) 2/3)))
(exp.f64 (log.f64 (.f64 (.f64 J l) 2/3)))
(exp.f64 (.f64 (log.f64 (.f64 (*.f64 J l) 2/3)) 1))
(-.f64 (exp.f64 (log1p.f64 (+.f64 (.f64 (.f64 J l) 2/3) U))) 1)
(-.f64 (/.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 2) (-.f64 (.f64 (.f64 J l) 2/3) U)) (/.f64 (pow.f64 U 2) (-.f64 (.f64 (.f64 J l) 2/3) U)))
(.f64 (+.f64 (.f64 (*.f64 J l) 2/3) U) 1)
(.f64 1 (+.f64 (.f64 (*.f64 J l) 2/3) U))
(.f64 (cbrt.f64 (+.f64 (.f64 (.f64 J l) 2/3) U)) (pow.f64 (cbrt.f64 (+.f64 (.f64 (*.f64 J l) 2/3) U)) 2))
(.f64 (pow.f64 (cbrt.f64 (+.f64 (.f64 (.f64 J l) 2/3) U)) 2) (cbrt.f64 (+.f64 (.f64 (*.f64 J l) 2/3) U)))
(.f64 (sqrt.f64 (+.f64 (.f64 (.f64 J l) 2/3) U)) (sqrt.f64 (+.f64 (.f64 (*.f64 J l) 2/3) U)))
(.f64 (+.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 3) (pow.f64 U 3)) (/.f64 1 (+.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 2) (.f64 U (-.f64 U (.f64 (.f64 J l) 2/3))))))
(.f64 (-.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 2) (pow.f64 U 2)) (/.f64 1 (-.f64 (.f64 (*.f64 J l) 2/3) U)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 2) (.f64 U (-.f64 U (.f64 (.f64 J l) 2/3)))) (+.f64 (pow.f64 (.f64 (*.f64 J l) 2/3) 3) (pow.f64 U 3))))
(/.f64 1 (/.f64 (-.f64 (.f64 (.f64 J l) 2/3) U) (-.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 2) (pow.f64 U 2))))
(/.f64 (+.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 3) (pow.f64 U 3)) (+.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 2) (.f64 U (-.f64 U (.f64 (*.f64 J l) 2/3)))))
(/.f64 (+.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 3) (pow.f64 U 3)) (+.f64 (pow.f64 U 2) (-.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 2) (.f64 (.f64 (*.f64 J l) 2/3) U))))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 2) (pow.f64 U 2)) (-.f64 (.f64 (.f64 J l) 2/3) U))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 3) (pow.f64 U 3))) (neg.f64 (+.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 2) (.f64 U (-.f64 U (.f64 (*.f64 J l) 2/3))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (.f64 J l) 2/3) 2) (pow.f64 U 2))) (neg.f64 (-.f64 (.f64 (.f64 J l) 2/3) U)))
(/.f64 (-.f64 (pow.f64 U 2) (pow.f64 (.f64 (.f64 J l) 2/3) 2)) (-.f64 U (.f64 (.f64 J l) 2/3)))
(pow.f64 (+.f64 (.f64 (.f64 J l) 2/3) U) 1)
(pow.f64 (cbrt.f64 (+.f64 (.f64 (.f64 J l) 2/3) U)) 3)
(pow.f64 (pow.f64 (+.f64 (.f64 (.f64 J l) 2/3) U) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 (.f64 (.f64 J l) 2/3) U)) 2)
(sqrt.f64 (pow.f64 (+.f64 (.f64 (.f64 J l) 2/3) U) 2))
(log.f64 (exp.f64 (+.f64 (.f64 (.f64 J l) 2/3) U)))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 (.f64 (.f64 J l) 2/3) U))))
(cbrt.f64 (pow.f64 (+.f64 (.f64 (.f64 J l) 2/3) U) 3))
(expm1.f64 (log1p.f64 (+.f64 (.f64 (.f64 J l) 2/3) U)))
(log1p.f64 (expm1.f64 (+.f64 (.f64 (.f64 J l) 2/3) U)))
(exp.f64 (log.f64 (+.f64 (.f64 (.f64 J l) 2/3) U)))
(exp.f64 (.f64 (log.f64 (+.f64 (.f64 (*.f64 J l) 2/3) U)) 1))
(fma.f64 (.f64 J (.f64 1/3 l)) 2 U)
(fma.f64 2 (.f64 J (.f64 1/3 l)) U)
(fma.f64 1 (.f64 (.f64 J l) 2/3) U)
(fma.f64 1 U (.f64 (.f64 J l) 2/3))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 J l) 2/3)) 2) (cbrt.f64 (.f64 (.f64 J l) 2/3)) U)
(fma.f64 (pow.f64 (cbrt.f64 U) 2) (cbrt.f64 U) (.f64 (.f64 J l) 2/3))
(fma.f64 (sqrt.f64 (.f64 (.f64 J l) 2/3)) (sqrt.f64 (.f64 (.f64 J l) 2/3)) U)
(fma.f64 (sqrt.f64 U) (sqrt.f64 U) (.f64 (.f64 J l) 2/3))
(fma.f64 (.f64 J 2) (.f64 1/3 l) U)
(-.f64 (exp.f64 (log1p.f64 (*.f64 J (pow.f64 K 2)))) 1)
(pow.f64 (*.f64 J (pow.f64 K 2)) 1)
(pow.f64 (cbrt.f64 (*.f64 J (pow.f64 K 2))) 3)
(pow.f64 (pow.f64 (*.f64 J (pow.f64 K 2)) 3) 1/3)
(pow.f64 (*.f64 K (sqrt.f64 J)) 2)
(sqrt.f64 (*.f64 (pow.f64 K 4) (pow.f64 J 2)))
(log.f64 (pow.f64 (exp.f64 J) (pow.f64 K 2)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 J (pow.f64 K 2)))))
(cbrt.f64 (pow.f64 (*.f64 J (pow.f64 K 2)) 3))
(cbrt.f64 (*.f64 (pow.f64 J 3) (pow.f64 (pow.f64 K 2) 3)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 K 2) 3) (pow.f64 J 3)))
(expm1.f64 (log1p.f64 (*.f64 J (pow.f64 K 2))))
(log1p.f64 (expm1.f64 (*.f64 J (pow.f64 K 2))))
(exp.f64 (log.f64 (*.f64 J (pow.f64 K 2))))
(exp.f64 (.f64 (log.f64 (.f64 J (pow.f64 K 2))) 1))
(-.f64 (exp.f64 (log1p.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16)))) 1)
(pow.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16)) 1)
(pow.f64 (cbrt.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16))) 3)
(pow.f64 (.f64 (pow.f64 (.f64 J (pow.f64 K 2)) 3) 1/4096) 1/3)
(pow.f64 (.f64 (.f64 K (sqrt.f64 J)) 1/4) 2)
(sqrt.f64 (.f64 (.f64 (pow.f64 K 4) (pow.f64 J 2)) 1/256))
(log.f64 (pow.f64 (pow.f64 (exp.f64 J) (pow.f64 K 2)) 1/16))
(log.f64 (+.f64 1 (expm1.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16)))))
(cbrt.f64 (.f64 (pow.f64 (.f64 J (pow.f64 K 2)) 3) 1/4096))
(expm1.f64 (log1p.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16))))
(log1p.f64 (expm1.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16))))
(exp.f64 (log.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16))))
(exp.f64 (.f64 (log.f64 (.f64 J (*.f64 (pow.f64 K 2) 1/16))) 1))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U)))) 1)
(-.f64 (/.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 2) (-.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) U)) (/.f64 (pow.f64 U 2) (-.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) U)))
(.f64 (fma.f64 J -1/2 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 U)) 1)
(.f64 1 (fma.f64 J -1/2 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 U)))
(.f64 (cbrt.f64 (fma.f64 J -1/2 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 U))) (pow.f64 (cbrt.f64 (fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U))) 2))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 J -1/2 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 U))) 2) (cbrt.f64 (fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U))))
(.f64 (sqrt.f64 (fma.f64 J -1/2 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 U))) (sqrt.f64 (fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U))))
(.f64 (+.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 3) (pow.f64 U 3)) (/.f64 1 (+.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 2) (.f64 U (-.f64 U (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)))))))
(.f64 (-.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 2) (pow.f64 U 2)) (/.f64 1 (-.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (*.f64 J -1/2)) U)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 2) (.f64 U (-.f64 U (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))))) (+.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (*.f64 J -1/2)) 3) (pow.f64 U 3))))
(/.f64 1 (/.f64 (-.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) U) (-.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 2) (pow.f64 U 2))))
(/.f64 (+.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 3) (pow.f64 U 3)) (+.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 2) (.f64 U (-.f64 U (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (*.f64 J -1/2))))))
(/.f64 (+.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 3) (pow.f64 U 3)) (+.f64 (pow.f64 U 2) (-.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 2) (.f64 U (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (*.f64 J -1/2))))))
(/.f64 (-.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 2) (pow.f64 U 2)) (-.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) U))
(/.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 3) (pow.f64 U 3))) (neg.f64 (+.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 2) (.f64 U (-.f64 U (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (*.f64 J -1/2)))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 2) (pow.f64 U 2))) (neg.f64 (-.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) U)))
(/.f64 (+.f64 (.f64 (pow.f64 J 3) -1/8) (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 U) 3)) (+.f64 (.f64 (pow.f64 J 2) 1/4) (-.f64 (.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 U) (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 U)) (.f64 (.f64 J -1/2) (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U)))))
(/.f64 (-.f64 (pow.f64 U 2) (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 2)) (-.f64 U (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))))
(/.f64 (-.f64 (.f64 (pow.f64 J 2) 1/4) (.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 U) (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 U))) (-.f64 (.f64 J -1/2) (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 U)))
(pow.f64 (fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U)) 1)
(pow.f64 (cbrt.f64 (fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U))) 3)
(pow.f64 (pow.f64 (fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U)) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U))) 2)
(sqrt.f64 (pow.f64 (fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U)) 2))
(log.f64 (exp.f64 (fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U))))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U)))))
(cbrt.f64 (pow.f64 (fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U)) 3))
(expm1.f64 (log1p.f64 (fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U))))
(log1p.f64 (expm1.f64 (fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U))))
(exp.f64 (log.f64 (fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U))))
(exp.f64 (.f64 (log.f64 (fma.f64 J -1/2 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 U))) 1))
(fma.f64 J -1/2 (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U))
(fma.f64 -1/2 J (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U))
(fma.f64 1 U (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)))
(fma.f64 1 (.f64 J -1/2) (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 U))
(fma.f64 1 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) U)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))) 2) (cbrt.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))) U)
(fma.f64 (pow.f64 (cbrt.f64 (.f64 J -1/2)) 2) (cbrt.f64 (.f64 J -1/2)) (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U))
(fma.f64 (pow.f64 (cbrt.f64 U) 2) (cbrt.f64 U) (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)))
(fma.f64 (sqrt.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))) (sqrt.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))) U)
(fma.f64 (sqrt.f64 (.f64 J -1/2)) (sqrt.f64 (.f64 J -1/2)) (fma.f64 (*.f64 J (pow.f64 K 2)) 1/16 U))
(fma.f64 (sqrt.f64 U) (sqrt.f64 U) (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)))) 1)
(-.f64 (/.f64 (.f64 (pow.f64 J 2) 1/4) (-.f64 (.f64 J -1/2) (.f64 J (.f64 (pow.f64 K 2) 1/16)))) (/.f64 (.f64 (.f64 (pow.f64 K 4) (pow.f64 J 2)) 1/256) (-.f64 (.f64 J -1/2) (.f64 J (*.f64 (pow.f64 K 2) 1/16)))))
(.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (*.f64 J -1/2)) 1)
(.f64 1 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (*.f64 J -1/2)))
(.f64 (cbrt.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))) (pow.f64 (cbrt.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (*.f64 J -1/2))) 2))
(.f64 (pow.f64 (cbrt.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))) 2) (cbrt.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (*.f64 J -1/2))))
(.f64 (sqrt.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))) (sqrt.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (*.f64 J -1/2))))
(.f64 (+.f64 (.f64 (pow.f64 (.f64 J (pow.f64 K 2)) 3) 1/4096) (.f64 (pow.f64 J 3) -1/8)) (/.f64 1 (+.f64 (.f64 (pow.f64 J 2) 1/4) (.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16)) (-.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16)) (*.f64 J -1/2))))))
(.f64 (-.f64 (.f64 (pow.f64 J 2) 1/4) (.f64 (.f64 (pow.f64 K 4) (pow.f64 J 2)) 1/256)) (/.f64 1 (-.f64 (.f64 J -1/2) (.f64 J (*.f64 (pow.f64 K 2) 1/16)))))
(/.f64 1 (/.f64 (+.f64 (.f64 (pow.f64 J 2) 1/4) (.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16)) (-.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16)) (.f64 J -1/2)))) (+.f64 (.f64 (pow.f64 (.f64 J (pow.f64 K 2)) 3) 1/4096) (.f64 (pow.f64 J 3) -1/8))))
(/.f64 1 (/.f64 (-.f64 (.f64 J -1/2) (.f64 J (.f64 (pow.f64 K 2) 1/16))) (-.f64 (.f64 (pow.f64 J 2) 1/4) (.f64 (.f64 (pow.f64 K 4) (pow.f64 J 2)) 1/256))))
(/.f64 (+.f64 (.f64 (pow.f64 (.f64 J (pow.f64 K 2)) 3) 1/4096) (.f64 (pow.f64 J 3) -1/8)) (+.f64 (.f64 (pow.f64 J 2) 1/4) (.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16)) (-.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16)) (.f64 J -1/2)))))
(/.f64 (+.f64 (.f64 (pow.f64 (.f64 J (pow.f64 K 2)) 3) 1/4096) (.f64 (pow.f64 J 3) -1/8)) (+.f64 (.f64 (.f64 (pow.f64 K 4) (pow.f64 J 2)) 1/256) (-.f64 (.f64 (pow.f64 J 2) 1/4) (.f64 J (.f64 -1/2 (.f64 J (.f64 (pow.f64 K 2) 1/16)))))))
(/.f64 (-.f64 (.f64 (pow.f64 J 2) 1/4) (.f64 (.f64 (pow.f64 K 4) (pow.f64 J 2)) 1/256)) (-.f64 (.f64 J -1/2) (.f64 J (.f64 (pow.f64 K 2) 1/16))))
(/.f64 (neg.f64 (+.f64 (.f64 (pow.f64 (.f64 J (pow.f64 K 2)) 3) 1/4096) (.f64 (pow.f64 J 3) -1/8))) (neg.f64 (+.f64 (.f64 (pow.f64 J 2) 1/4) (.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16)) (-.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16)) (.f64 J -1/2))))))
(/.f64 (neg.f64 (-.f64 (.f64 (pow.f64 J 2) 1/4) (.f64 (.f64 (pow.f64 K 4) (pow.f64 J 2)) 1/256))) (neg.f64 (-.f64 (.f64 J -1/2) (.f64 J (.f64 (pow.f64 K 2) 1/16)))))
(/.f64 (-.f64 (.f64 (.f64 (pow.f64 K 4) (pow.f64 J 2)) 1/256) (.f64 (pow.f64 J 2) 1/4)) (-.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16)) (.f64 J -1/2)))
(pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 1)
(pow.f64 (cbrt.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))) 3)
(pow.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))) 2)
(sqrt.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 2))
(log.f64 (exp.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)))))
(cbrt.f64 (pow.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2)) 3))
(expm1.f64 (log1p.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))))
(log1p.f64 (expm1.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))))
(exp.f64 (log.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))))
(exp.f64 (.f64 (log.f64 (fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (*.f64 J -1/2))) 1))
(fma.f64 J -1/2 (.f64 J (.f64 (pow.f64 K 2) 1/16)))
(fma.f64 (.f64 J (pow.f64 K 2)) 1/16 (.f64 J -1/2))
(fma.f64 1/16 (.f64 J (pow.f64 K 2)) (.f64 J -1/2))
(fma.f64 -1/2 J (.f64 J (.f64 (pow.f64 K 2) 1/16)))
(fma.f64 1 (.f64 J (.f64 (pow.f64 K 2) 1/16)) (*.f64 J -1/2))
(fma.f64 1 (.f64 J -1/2) (.f64 J (*.f64 (pow.f64 K 2) 1/16)))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16))) 2) (cbrt.f64 (.f64 J (.f64 (pow.f64 K 2) 1/16))) (*.f64 J -1/2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 J -1/2)) 2) (cbrt.f64 (.f64 J -1/2)) (.f64 J (.f64 (pow.f64 K 2) 1/16)))
(fma.f64 (.f64 (.f64 K (sqrt.f64 J)) 1/4) (.f64 (.f64 K (sqrt.f64 J)) 1/4) (*.f64 J -1/2))
(fma.f64 (sqrt.f64 (.f64 J -1/2)) (sqrt.f64 (.f64 J -1/2)) (.f64 J (.f64 (pow.f64 K 2) 1/16)))
(fma.f64 (.f64 J 1/16) (pow.f64 K 2) (.f64 J -1/2))

eval129.0ms (1.3%)

Compiler: Compiled 5927 to 4058 computations (31.5% saved)

prune87.0ms (0.9%)

Pruning

45 alts after pruning (36 fresh and 9 done)

	Pruned	Kept	Total
New	425	6	431
Fresh	5	30	35
Picked	2	3	5
Done	0	6	6
Total	432	45	477

Accuracy

100.0%

Counts

477 → 45

Alt Table

Click to see full alt table

Status	Accuracy	Program
	8.0%	(pow.f64 U -4)
	2.3%	(/.f64 -4 U)
	21.0%	(-.f64 (+.f64 U (*.f64 1/16 (pow.f64 K 2))) 1/2)
✓	90.5%	(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
	45.9%	(+.f64 (.f64 (.f64 J (.f64 2 l)) (pow.f64 (sqrt.f64 (cos.f64 (.f64 K 1/2))) 2)) U)
	62.2%	(+.f64 (.f64 (.f64 J (.f64 2 l)) (log.f64 (exp.f64 (cos.f64 (.f64 K 1/2))))) U)
✓	62.2%	(+.f64 (.f64 (.f64 J (*.f64 2 l)) (cos.f64 (/.f64 K 2))) U)
	57.8%	(+.f64 (.f64 (.f64 J (.f64 1/3 (pow.f64 l 3))) (+.f64 1 (.f64 -1/8 (pow.f64 K 2)))) U)
✓	65.9%	(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) 27) U)
	42.5%	(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) -4) U)
	27.1%	(+.f64 (.f64 (.f64 J -1/2) (+.f64 1 (.f64 (pow.f64 K 2) (-.f64 (.f64 1/384 (pow.f64 K 2)) 1/8)))) U)
✓	77.7%	(+.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) U)
	53.7%	(+.f64 (.f64 J (.f64 2 l)) U)
	25.4%	(+.f64 (*.f64 J 27) U)
	25.5%	(+.f64 (*.f64 J 1/9) U)
✓	25.2%	(+.f64 (*.f64 J -4) U)
	21.0%	(+.f64 (*.f64 27 (cos.f64 (/.f64 K 2))) U)
	65.9%	(+.f64 (.f64 9 (.f64 J (pow.f64 l 3))) U)
✓	62.2%	(+.f64 (.f64 2 (.f64 J (.f64 l (cos.f64 (.f64 1/2 K))))) U)
	49.7%	(+.f64 (.f64 2 (.f64 J (*.f64 l 27))) U)
	50.3%	(+.f64 (.f64 2 (.f64 J (*.f64 l 3/4))) U)
	50.2%	(+.f64 (.f64 2 (.f64 J (*.f64 l 1/2))) U)
	38.6%	(+.f64 (.f64 2 (.f64 J (*.f64 l -1/2))) U)
	38.7%	(+.f64 (.f64 2 (.f64 J (*.f64 l -1))) U)
	38.5%	(+.f64 (.f64 2 (.f64 J (*.f64 l -4))) U)
	25.4%	(+.f64 (.f64 2 (.f64 J 27)) U)
	25.2%	(+.f64 (.f64 2 (.f64 J -4)) U)
	21.0%	(+.f64 (*.f64 2 27) U)
	21.2%	(+.f64 (*.f64 -1/2 27) U)
	21.1%	(+.f64 (*.f64 -1/2 -1/8) U)
	62.9%	(+.f64 (log1p.f64 (expm1.f64 (.f64 (.f64 J l) 2/3))) U)
	21.0%	(+.f64 27 U)
	21.1%	(+.f64 1/9 U)
	21.3%	(+.f64 -1/8 U)
✓	21.2%	(+.f64 -4 U)
	53.0%	(.f64 U (+.f64 1 (.f64 2/3 (/.f64 (*.f64 J l) U))))
	10.5%	(*.f64 U U)
✓	2.2%	(*.f64 U -4)
	49.7%	(.f64 J (+.f64 (.f64 2/3 l) (/.f64 U J)))
	17.7%	(.f64 2/3 (.f64 J l))
	11.9%	(.f64 1/16 (.f64 J (pow.f64 K 2)))
	32.6%	(log1p.f64 (expm1.f64 U))
	7.1%	(log.f64 (/.f64 -4 (exp.f64 U)))
	3.0%	(exp.f64 (*.f64 (log.f64 U) -4))
✓	35.2%	U

Compiler

Compiled 1166 to 854 computations (26.8% saved)

regimes514.0ms (5.2%)

Counts

73 → 3

Calls

Call 1

Inputs
U
(*.f64 U -4)
(*.f64 U U)
(+.f64 -4 U)
(+.f64 -1/2 U)
(+.f64 -1/8 U)
(+.f64 0 U)
(+.f64 1/9 U)
(+.f64 1/4 U)
(+.f64 8 U)
(+.f64 27 U)
(/.f64 -4 U)
(.f64 2/3 (.f64 J l))
(+.f64 (*.f64 -1/2 -1/8) U)
(+.f64 (*.f64 -1/2 1/9) U)
(+.f64 (*.f64 -1/2 27) U)
(+.f64 (*.f64 -1/2 J) U)
(+.f64 (*.f64 2 27) U)
(+.f64 (*.f64 J -4) U)
(+.f64 (*.f64 J -1/8) U)
(+.f64 (*.f64 J 1/9) U)
(+.f64 (*.f64 J 27) U)
(+.f64 (.f64 2 (.f64 J -4)) U)
(+.f64 (.f64 2 (.f64 J 27)) U)
(+.f64 (.f64 2 (.f64 J l)) U)
(+.f64 (.f64 J (.f64 2 l)) U)
(.f64 J (+.f64 (.f64 2/3 l) (/.f64 U J)))
(+.f64 (.f64 2 (.f64 J (*.f64 l -4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/3))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 3/4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 27))) U)
(.f64 U (+.f64 1 (.f64 2/3 (/.f64 (*.f64 J l) U))))
(pow.f64 U -4)
(.f64 1/16 (.f64 J (pow.f64 K 2)))
(.f64 -1/2 (.f64 J (cos.f64 (*.f64 1/2 K))))
(+.f64 (*.f64 -1/2 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 8 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 27 (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 1/3 (.f64 J (pow.f64 l 3))) U)
(+.f64 (.f64 9 (.f64 J (pow.f64 l 3))) U)
(-.f64 (+.f64 U (*.f64 1/16 (pow.f64 K 2))) 1/2)
(+.f64 (.f64 (.f64 J -4) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J -1/2) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J 1/4) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J 8) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) -4) U)
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) 27) U)
(.f64 J (+.f64 (.f64 -1/2 (cos.f64 (*.f64 1/2 K))) (/.f64 U J)))
(+.f64 (.f64 2 (.f64 J (.f64 l (cos.f64 (.f64 1/2 K))))) U)
(+.f64 (.f64 (.f64 J (*.f64 2 l)) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 J (.f64 l (+.f64 2 (*.f64 1/3 (pow.f64 l 2))))) U)
(+.f64 (+.f64 (.f64 -1/2 J) (.f64 1/16 (*.f64 J (pow.f64 K 2)))) U)
(.f64 U (+.f64 1 (.f64 -1/2 (/.f64 (.f64 J (cos.f64 (.f64 1/2 K))) U))))
(+.f64 (.f64 (.f64 J (.f64 2 l)) (+.f64 1 (.f64 -1/8 (pow.f64 K 2)))) U)
(+.f64 (+.f64 (.f64 -1/4 (.f64 J (.f64 (pow.f64 K 2) l))) (.f64 2 (*.f64 J l))) U)
(log1p.f64 (expm1.f64 U))
(exp.f64 (*.f64 (log.f64 U) -4))
(log.f64 (/.f64 -4 (exp.f64 U)))
(+.f64 (log1p.f64 (expm1.f64 (.f64 (.f64 J l) 2/3))) U)
(+.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) U)
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J (.f64 1/3 (pow.f64 l 3))) (+.f64 1 (.f64 -1/8 (pow.f64 K 2)))) U)
(+.f64 (.f64 (.f64 J (.f64 l (+.f64 2 (.f64 1/3 (pow.f64 l 2))))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J -1/2) (+.f64 1 (.f64 (pow.f64 K 2) (-.f64 (.f64 1/384 (pow.f64 K 2)) 1/8)))) U)
(+.f64 (.f64 (.f64 J (.f64 l (+.f64 2 (.f64 1/3 (pow.f64 l 2))))) (+.f64 1 (*.f64 -1/8 (pow.f64 K 2)))) U)
(+.f64 (log1p.f64 (expm1.f64 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2)))) U)
(+.f64 (.f64 (.f64 J (.f64 2 l)) (log.f64 (exp.f64 (cos.f64 (.f64 K 1/2))))) U)
(+.f64 (.f64 (.f64 J (.f64 2 l)) (pow.f64 (sqrt.f64 (cos.f64 (.f64 K 1/2))) 2)) U)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 l (+.f64 (.f64 1/3 (.f64 J (.f64 (pow.f64 l 2) (cos.f64 (.f64 1/2 K))))) (.f64 2 (.f64 J (cos.f64 (.f64 1/2 K)))))) U)

Outputs

(+.f64 (*.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)

(+.f64 (*.f64 (*.f64 J (*.f64 2 l)) (cos.f64 (/.f64 K 2))) U)

(+.f64 (*.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)

Calls

10 calls:

127.0ms	l
102.0ms	U
81.0ms	J
51.0ms	(/.f64 K 2)
48.0ms	(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)

Results

Accuracy	Segments	Branch
94.4%	2	`J`
100.0%	3	`l`
90.5%	1	`K`
93.4%	3	`U`
100.0%	3	`(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)`
100.0%	3	`(.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)))`
100.0%	3	`(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))`
100.0%	3	`(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))`
90.5%	1	`(cos.f64 (/.f64 K 2))`
90.5%	1	`(/.f64 K 2)`

Compiler

Compiled 93 to 73 computations (21.5% saved)

regimes590.0ms (5.9%)

Counts

71 → 5

Calls

Call 1

Inputs
U
(*.f64 U -4)
(*.f64 U U)
(+.f64 -4 U)
(+.f64 -1/2 U)
(+.f64 -1/8 U)
(+.f64 0 U)
(+.f64 1/9 U)
(+.f64 1/4 U)
(+.f64 8 U)
(+.f64 27 U)
(/.f64 -4 U)
(.f64 2/3 (.f64 J l))
(+.f64 (*.f64 -1/2 -1/8) U)
(+.f64 (*.f64 -1/2 1/9) U)
(+.f64 (*.f64 -1/2 27) U)
(+.f64 (*.f64 -1/2 J) U)
(+.f64 (*.f64 2 27) U)
(+.f64 (*.f64 J -4) U)
(+.f64 (*.f64 J -1/8) U)
(+.f64 (*.f64 J 1/9) U)
(+.f64 (*.f64 J 27) U)
(+.f64 (.f64 2 (.f64 J -4)) U)
(+.f64 (.f64 2 (.f64 J 27)) U)
(+.f64 (.f64 2 (.f64 J l)) U)
(+.f64 (.f64 J (.f64 2 l)) U)
(.f64 J (+.f64 (.f64 2/3 l) (/.f64 U J)))
(+.f64 (.f64 2 (.f64 J (*.f64 l -4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/3))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 3/4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 27))) U)
(.f64 U (+.f64 1 (.f64 2/3 (/.f64 (*.f64 J l) U))))
(pow.f64 U -4)
(.f64 1/16 (.f64 J (pow.f64 K 2)))
(.f64 -1/2 (.f64 J (cos.f64 (*.f64 1/2 K))))
(+.f64 (*.f64 -1/2 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 8 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 27 (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 1/3 (.f64 J (pow.f64 l 3))) U)
(+.f64 (.f64 9 (.f64 J (pow.f64 l 3))) U)
(-.f64 (+.f64 U (*.f64 1/16 (pow.f64 K 2))) 1/2)
(+.f64 (.f64 (.f64 J -4) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J -1/2) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J 1/4) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J 8) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) -4) U)
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) 27) U)
(.f64 J (+.f64 (.f64 -1/2 (cos.f64 (*.f64 1/2 K))) (/.f64 U J)))
(+.f64 (.f64 2 (.f64 J (.f64 l (cos.f64 (.f64 1/2 K))))) U)
(+.f64 (.f64 (.f64 J (*.f64 2 l)) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 J (.f64 l (+.f64 2 (*.f64 1/3 (pow.f64 l 2))))) U)
(+.f64 (+.f64 (.f64 -1/2 J) (.f64 1/16 (*.f64 J (pow.f64 K 2)))) U)
(.f64 U (+.f64 1 (.f64 -1/2 (/.f64 (.f64 J (cos.f64 (.f64 1/2 K))) U))))
(+.f64 (.f64 (.f64 J (.f64 2 l)) (+.f64 1 (.f64 -1/8 (pow.f64 K 2)))) U)
(+.f64 (+.f64 (.f64 -1/4 (.f64 J (.f64 (pow.f64 K 2) l))) (.f64 2 (*.f64 J l))) U)
(log1p.f64 (expm1.f64 U))
(exp.f64 (*.f64 (log.f64 U) -4))
(log.f64 (/.f64 -4 (exp.f64 U)))
(+.f64 (log1p.f64 (expm1.f64 (.f64 (.f64 J l) 2/3))) U)
(+.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) U)
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J (.f64 1/3 (pow.f64 l 3))) (+.f64 1 (.f64 -1/8 (pow.f64 K 2)))) U)
(+.f64 (.f64 (.f64 J (.f64 l (+.f64 2 (.f64 1/3 (pow.f64 l 2))))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J -1/2) (+.f64 1 (.f64 (pow.f64 K 2) (-.f64 (.f64 1/384 (pow.f64 K 2)) 1/8)))) U)
(+.f64 (.f64 (.f64 J (.f64 l (+.f64 2 (.f64 1/3 (pow.f64 l 2))))) (+.f64 1 (*.f64 -1/8 (pow.f64 K 2)))) U)
(+.f64 (log1p.f64 (expm1.f64 (.f64 (cos.f64 (.f64 K 1/2)) (*.f64 J -1/2)))) U)
(+.f64 (.f64 (.f64 J (.f64 2 l)) (log.f64 (exp.f64 (cos.f64 (.f64 K 1/2))))) U)
(+.f64 (.f64 (.f64 J (.f64 2 l)) (pow.f64 (sqrt.f64 (cos.f64 (.f64 K 1/2))) 2)) U)

Outputs
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) U)
(+.f64 (.f64 (.f64 J (*.f64 2 l)) (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) U)
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) (cos.f64 (/.f64 K 2))) U)

Calls

8 calls:

171.0ms	l
106.0ms	J
82.0ms	K
73.0ms	(/.f64 K 2)
72.0ms	U

Results

Accuracy	Segments	Branch
85.4%	2	`U`
89.5%	2	`(cos.f64 (/.f64 K 2))`
88.1%	2	`K`
88.1%	2	`(/.f64 K 2)`
89.0%	3	`J`
94.2%	5	`l`
86.9%	2	`(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))`
87.2%	3	`(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))`

Compiler

Compiled 57 to 46 computations (19.3% saved)

regimes741.0ms (7.5%)

Counts

63 → 2

Calls

Call 1

Inputs
U
(*.f64 U -4)
(*.f64 U U)
(+.f64 -4 U)
(+.f64 -1/2 U)
(+.f64 -1/8 U)
(+.f64 0 U)
(+.f64 1/9 U)
(+.f64 1/4 U)
(+.f64 8 U)
(+.f64 27 U)
(/.f64 -4 U)
(.f64 2/3 (.f64 J l))
(+.f64 (*.f64 -1/2 -1/8) U)
(+.f64 (*.f64 -1/2 1/9) U)
(+.f64 (*.f64 -1/2 27) U)
(+.f64 (*.f64 -1/2 J) U)
(+.f64 (*.f64 2 27) U)
(+.f64 (*.f64 J -4) U)
(+.f64 (*.f64 J -1/8) U)
(+.f64 (*.f64 J 1/9) U)
(+.f64 (*.f64 J 27) U)
(+.f64 (.f64 2 (.f64 J -4)) U)
(+.f64 (.f64 2 (.f64 J 27)) U)
(+.f64 (.f64 2 (.f64 J l)) U)
(+.f64 (.f64 J (.f64 2 l)) U)
(.f64 J (+.f64 (.f64 2/3 l) (/.f64 U J)))
(+.f64 (.f64 2 (.f64 J (*.f64 l -4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/3))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 3/4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 27))) U)
(.f64 U (+.f64 1 (.f64 2/3 (/.f64 (*.f64 J l) U))))
(pow.f64 U -4)
(.f64 1/16 (.f64 J (pow.f64 K 2)))
(.f64 -1/2 (.f64 J (cos.f64 (*.f64 1/2 K))))
(+.f64 (*.f64 -1/2 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 8 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 27 (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 1/3 (.f64 J (pow.f64 l 3))) U)
(+.f64 (.f64 9 (.f64 J (pow.f64 l 3))) U)
(-.f64 (+.f64 U (*.f64 1/16 (pow.f64 K 2))) 1/2)
(+.f64 (.f64 (.f64 J -4) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J -1/2) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J 1/4) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J 8) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) -4) U)
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) 27) U)
(.f64 J (+.f64 (.f64 -1/2 (cos.f64 (*.f64 1/2 K))) (/.f64 U J)))
(+.f64 (.f64 2 (.f64 J (.f64 l (cos.f64 (.f64 1/2 K))))) U)
(+.f64 (.f64 (.f64 J (*.f64 2 l)) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 J (.f64 l (+.f64 2 (*.f64 1/3 (pow.f64 l 2))))) U)
(+.f64 (+.f64 (.f64 -1/2 J) (.f64 1/16 (*.f64 J (pow.f64 K 2)))) U)
(.f64 U (+.f64 1 (.f64 -1/2 (/.f64 (.f64 J (cos.f64 (.f64 1/2 K))) U))))
(+.f64 (.f64 (.f64 J (.f64 2 l)) (+.f64 1 (.f64 -1/8 (pow.f64 K 2)))) U)
(+.f64 (+.f64 (.f64 -1/4 (.f64 J (.f64 (pow.f64 K 2) l))) (.f64 2 (*.f64 J l))) U)
(log1p.f64 (expm1.f64 U))
(exp.f64 (*.f64 (log.f64 U) -4))
(log.f64 (/.f64 -4 (exp.f64 U)))
(+.f64 (log1p.f64 (expm1.f64 (.f64 (.f64 J l) 2/3))) U)
(+.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) U)

Outputs
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) -4) U)
(+.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) U)

Calls

6 calls:

198.0ms	l
179.0ms	K
177.0ms	(/.f64 K 2)
124.0ms	J
48.0ms	(cos.f64 (/.f64 K 2))

Results

Accuracy	Segments	Branch
87.2%	3	`(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))`
84.8%	3	`J`
81.3%	5	`K`
81.3%	5	`(/.f64 K 2)`
86.1%	2	`(cos.f64 (/.f64 K 2))`
87.2%	3	`l`

Compiler

Compiled 42 to 34 computations (19% saved)

regimes514.0ms (5.2%)

Counts

62 → 2

Calls

Call 1

Inputs
U
(*.f64 U -4)
(*.f64 U U)
(+.f64 -4 U)
(+.f64 -1/2 U)
(+.f64 -1/8 U)
(+.f64 0 U)
(+.f64 1/9 U)
(+.f64 1/4 U)
(+.f64 8 U)
(+.f64 27 U)
(/.f64 -4 U)
(.f64 2/3 (.f64 J l))
(+.f64 (*.f64 -1/2 -1/8) U)
(+.f64 (*.f64 -1/2 1/9) U)
(+.f64 (*.f64 -1/2 27) U)
(+.f64 (*.f64 -1/2 J) U)
(+.f64 (*.f64 2 27) U)
(+.f64 (*.f64 J -4) U)
(+.f64 (*.f64 J -1/8) U)
(+.f64 (*.f64 J 1/9) U)
(+.f64 (*.f64 J 27) U)
(+.f64 (.f64 2 (.f64 J -4)) U)
(+.f64 (.f64 2 (.f64 J 27)) U)
(+.f64 (.f64 2 (.f64 J l)) U)
(+.f64 (.f64 J (.f64 2 l)) U)
(.f64 J (+.f64 (.f64 2/3 l) (/.f64 U J)))
(+.f64 (.f64 2 (.f64 J (*.f64 l -4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/3))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 3/4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 27))) U)
(.f64 U (+.f64 1 (.f64 2/3 (/.f64 (*.f64 J l) U))))
(pow.f64 U -4)
(.f64 1/16 (.f64 J (pow.f64 K 2)))
(.f64 -1/2 (.f64 J (cos.f64 (*.f64 1/2 K))))
(+.f64 (*.f64 -1/2 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 8 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 27 (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 1/3 (.f64 J (pow.f64 l 3))) U)
(+.f64 (.f64 9 (.f64 J (pow.f64 l 3))) U)
(-.f64 (+.f64 U (*.f64 1/16 (pow.f64 K 2))) 1/2)
(+.f64 (.f64 (.f64 J -4) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J -1/2) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J 1/4) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J 8) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) -4) U)
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) 27) U)
(.f64 J (+.f64 (.f64 -1/2 (cos.f64 (*.f64 1/2 K))) (/.f64 U J)))
(+.f64 (.f64 2 (.f64 J (.f64 l (cos.f64 (.f64 1/2 K))))) U)
(+.f64 (.f64 (.f64 J (*.f64 2 l)) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 J (.f64 l (+.f64 2 (*.f64 1/3 (pow.f64 l 2))))) U)
(+.f64 (+.f64 (.f64 -1/2 J) (.f64 1/16 (*.f64 J (pow.f64 K 2)))) U)
(.f64 U (+.f64 1 (.f64 -1/2 (/.f64 (.f64 J (cos.f64 (.f64 1/2 K))) U))))
(+.f64 (.f64 (.f64 J (.f64 2 l)) (+.f64 1 (.f64 -1/8 (pow.f64 K 2)))) U)
(+.f64 (+.f64 (.f64 -1/4 (.f64 J (.f64 (pow.f64 K 2) l))) (.f64 2 (*.f64 J l))) U)
(log1p.f64 (expm1.f64 U))
(exp.f64 (*.f64 (log.f64 U) -4))
(log.f64 (/.f64 -4 (exp.f64 U)))
(+.f64 (log1p.f64 (expm1.f64 (.f64 (.f64 J l) 2/3))) U)

Outputs
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) -4) U)
(+.f64 (.f64 J (.f64 l (+.f64 2 (*.f64 1/3 (pow.f64 l 2))))) U)

Calls

4 calls:

276.0ms	l
152.0ms	J
46.0ms	(cos.f64 (/.f64 K 2))
33.0ms	U

Results

Accuracy	Segments	Branch
76.4%	3	`J`
70.5%	1	`U`
80.0%	5	`l`
78.9%	2	`(cos.f64 (/.f64 K 2))`

Compiler

Compiled 23 to 19 computations (17.4% saved)

regimes340.0ms (3.4%)

Counts

53 → 2

Calls

Call 1

Inputs
U
(*.f64 U -4)
(*.f64 U U)
(+.f64 -4 U)
(+.f64 -1/2 U)
(+.f64 -1/8 U)
(+.f64 0 U)
(+.f64 1/9 U)
(+.f64 1/4 U)
(+.f64 8 U)
(+.f64 27 U)
(/.f64 -4 U)
(.f64 2/3 (.f64 J l))
(+.f64 (*.f64 -1/2 -1/8) U)
(+.f64 (*.f64 -1/2 1/9) U)
(+.f64 (*.f64 -1/2 27) U)
(+.f64 (*.f64 -1/2 J) U)
(+.f64 (*.f64 2 27) U)
(+.f64 (*.f64 J -4) U)
(+.f64 (*.f64 J -1/8) U)
(+.f64 (*.f64 J 1/9) U)
(+.f64 (*.f64 J 27) U)
(+.f64 (.f64 2 (.f64 J -4)) U)
(+.f64 (.f64 2 (.f64 J 27)) U)
(+.f64 (.f64 2 (.f64 J l)) U)
(+.f64 (.f64 J (.f64 2 l)) U)
(.f64 J (+.f64 (.f64 2/3 l) (/.f64 U J)))
(+.f64 (.f64 2 (.f64 J (*.f64 l -4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/3))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 3/4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 27))) U)
(.f64 U (+.f64 1 (.f64 2/3 (/.f64 (*.f64 J l) U))))
(pow.f64 U -4)
(.f64 1/16 (.f64 J (pow.f64 K 2)))
(.f64 -1/2 (.f64 J (cos.f64 (*.f64 1/2 K))))
(+.f64 (*.f64 -1/2 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 8 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 27 (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 1/3 (.f64 J (pow.f64 l 3))) U)
(+.f64 (.f64 9 (.f64 J (pow.f64 l 3))) U)
(-.f64 (+.f64 U (*.f64 1/16 (pow.f64 K 2))) 1/2)
(+.f64 (.f64 (.f64 J -4) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J -1/2) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J 1/4) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J 8) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) -4) U)
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) 27) U)
(.f64 J (+.f64 (.f64 -1/2 (cos.f64 (*.f64 1/2 K))) (/.f64 U J)))
(+.f64 (.f64 2 (.f64 J (.f64 l (cos.f64 (.f64 1/2 K))))) U)
(+.f64 (.f64 (.f64 J (*.f64 2 l)) (cos.f64 (/.f64 K 2))) U)

Outputs
(+.f64 (.f64 (.f64 J (*.f64 1/3 (pow.f64 l 3))) -4) U)
(+.f64 (.f64 9 (.f64 J (pow.f64 l 3))) U)

Calls

5 calls:

79.0ms	(/.f64 K 2)
73.0ms	J
73.0ms	l
72.0ms	K
39.0ms	(cos.f64 (/.f64 K 2))

Results

Accuracy	Segments	Branch
75.2%	3	`J`
75.4%	3	`l`
68.5%	2	`K`
68.5%	2	`(/.f64 K 2)`
74.3%	2	`(cos.f64 (/.f64 K 2))`

Compiler

Compiled 30 to 25 computations (16.7% saved)

regimes186.0ms (1.9%)

Counts

48 → 2

Calls

Call 1

Inputs
U
(*.f64 U -4)
(*.f64 U U)
(+.f64 -4 U)
(+.f64 -1/2 U)
(+.f64 -1/8 U)
(+.f64 0 U)
(+.f64 1/9 U)
(+.f64 1/4 U)
(+.f64 8 U)
(+.f64 27 U)
(/.f64 -4 U)
(.f64 2/3 (.f64 J l))
(+.f64 (*.f64 -1/2 -1/8) U)
(+.f64 (*.f64 -1/2 1/9) U)
(+.f64 (*.f64 -1/2 27) U)
(+.f64 (*.f64 -1/2 J) U)
(+.f64 (*.f64 2 27) U)
(+.f64 (*.f64 J -4) U)
(+.f64 (*.f64 J -1/8) U)
(+.f64 (*.f64 J 1/9) U)
(+.f64 (*.f64 J 27) U)
(+.f64 (.f64 2 (.f64 J -4)) U)
(+.f64 (.f64 2 (.f64 J 27)) U)
(+.f64 (.f64 2 (.f64 J l)) U)
(+.f64 (.f64 J (.f64 2 l)) U)
(.f64 J (+.f64 (.f64 2/3 l) (/.f64 U J)))
(+.f64 (.f64 2 (.f64 J (*.f64 l -4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/3))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 3/4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 27))) U)
(.f64 U (+.f64 1 (.f64 2/3 (/.f64 (*.f64 J l) U))))
(pow.f64 U -4)
(.f64 1/16 (.f64 J (pow.f64 K 2)))
(.f64 -1/2 (.f64 J (cos.f64 (*.f64 1/2 K))))
(+.f64 (*.f64 -1/2 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 8 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 27 (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 1/3 (.f64 J (pow.f64 l 3))) U)
(+.f64 (.f64 9 (.f64 J (pow.f64 l 3))) U)
(-.f64 (+.f64 U (*.f64 1/16 (pow.f64 K 2))) 1/2)
(+.f64 (.f64 (.f64 J -4) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J -1/2) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J 1/4) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 J 8) (cos.f64 (/.f64 K 2))) U)

Outputs
(+.f64 (.f64 2 (.f64 J (*.f64 l -1))) U)
(+.f64 (.f64 9 (.f64 J (pow.f64 l 3))) U)

Calls

4 calls:

69.0ms	l
46.0ms	J
38.0ms	(cos.f64 (/.f64 K 2))
29.0ms	U

Results

Accuracy	Segments	Branch
65.9%	1	`U`
67.7%	2	`J`
70.5%	3	`l`
70.3%	2	`(cos.f64 (/.f64 K 2))`

Compiler

Compiled 23 to 19 computations (17.4% saved)

regimes36.0ms (0.4%)

Counts

42 → 2

Calls

Call 1

Inputs
U
(*.f64 U -4)
(*.f64 U U)
(+.f64 -4 U)
(+.f64 -1/2 U)
(+.f64 -1/8 U)
(+.f64 0 U)
(+.f64 1/9 U)
(+.f64 1/4 U)
(+.f64 8 U)
(+.f64 27 U)
(/.f64 -4 U)
(.f64 2/3 (.f64 J l))
(+.f64 (*.f64 -1/2 -1/8) U)
(+.f64 (*.f64 -1/2 1/9) U)
(+.f64 (*.f64 -1/2 27) U)
(+.f64 (*.f64 -1/2 J) U)
(+.f64 (*.f64 2 27) U)
(+.f64 (*.f64 J -4) U)
(+.f64 (*.f64 J -1/8) U)
(+.f64 (*.f64 J 1/9) U)
(+.f64 (*.f64 J 27) U)
(+.f64 (.f64 2 (.f64 J -4)) U)
(+.f64 (.f64 2 (.f64 J 27)) U)
(+.f64 (.f64 2 (.f64 J l)) U)
(+.f64 (.f64 J (.f64 2 l)) U)
(.f64 J (+.f64 (.f64 2/3 l) (/.f64 U J)))
(+.f64 (.f64 2 (.f64 J (*.f64 l -4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/3))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 3/4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 27))) U)
(.f64 U (+.f64 1 (.f64 2/3 (/.f64 (*.f64 J l) U))))
(pow.f64 U -4)
(.f64 1/16 (.f64 J (pow.f64 K 2)))
(.f64 -1/2 (.f64 J (cos.f64 (*.f64 1/2 K))))
(+.f64 (*.f64 -1/2 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 8 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 27 (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 1/3 (.f64 J (pow.f64 l 3))) U)

Outputs
(+.f64 (.f64 2 (.f64 J (*.f64 l -1))) U)
(+.f64 (.f64 1/3 (.f64 J (pow.f64 l 3))) U)

Calls

1 calls:

33.0ms

(cos.f64 (/.f64 K 2))

Results

Accuracy	Segments	Branch
70.3%	2	`(cos.f64 (/.f64 K 2))`

Compiler

Compiled 8 to 7 computations (12.5% saved)

regimes326.0ms (3.3%)

Counts

41 → 3

Calls

Call 1

Inputs
U
(*.f64 U -4)
(*.f64 U U)
(+.f64 -4 U)
(+.f64 -1/2 U)
(+.f64 -1/8 U)
(+.f64 0 U)
(+.f64 1/9 U)
(+.f64 1/4 U)
(+.f64 8 U)
(+.f64 27 U)
(/.f64 -4 U)
(.f64 2/3 (.f64 J l))
(+.f64 (*.f64 -1/2 -1/8) U)
(+.f64 (*.f64 -1/2 1/9) U)
(+.f64 (*.f64 -1/2 27) U)
(+.f64 (*.f64 -1/2 J) U)
(+.f64 (*.f64 2 27) U)
(+.f64 (*.f64 J -4) U)
(+.f64 (*.f64 J -1/8) U)
(+.f64 (*.f64 J 1/9) U)
(+.f64 (*.f64 J 27) U)
(+.f64 (.f64 2 (.f64 J -4)) U)
(+.f64 (.f64 2 (.f64 J 27)) U)
(+.f64 (.f64 2 (.f64 J l)) U)
(+.f64 (.f64 J (.f64 2 l)) U)
(.f64 J (+.f64 (.f64 2/3 l) (/.f64 U J)))
(+.f64 (.f64 2 (.f64 J (*.f64 l -4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/3))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 3/4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 27))) U)
(.f64 U (+.f64 1 (.f64 2/3 (/.f64 (*.f64 J l) U))))
(pow.f64 U -4)
(.f64 1/16 (.f64 J (pow.f64 K 2)))
(.f64 -1/2 (.f64 J (cos.f64 (*.f64 1/2 K))))
(+.f64 (*.f64 -1/2 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 8 (cos.f64 (/.f64 K 2))) U)
(+.f64 (*.f64 27 (cos.f64 (/.f64 K 2))) U)

Outputs
(+.f64 (.f64 2 (.f64 J (*.f64 l -1))) U)
(.f64 U (+.f64 1 (.f64 2/3 (/.f64 (*.f64 J l) U))))
(+.f64 (.f64 2 (.f64 J l)) U)

Calls

6 calls:

92.0ms	(cos.f64 (/.f64 K 2))
66.0ms	l
57.0ms	U
42.0ms	(/.f64 K 2)
42.0ms	K

Results

Accuracy	Segments	Branch
55.8%	3	`U`
53.7%	1	`J`
55.2%	2	`K`
55.2%	2	`(/.f64 K 2)`
58.0%	3	`l`
59.6%	3	`(cos.f64 (/.f64 K 2))`

Compiler

Compiled 35 to 29 computations (17.1% saved)

regimes36.0ms (0.4%)

Counts

34 → 2

Calls

Call 1

Inputs
U
(*.f64 U -4)
(*.f64 U U)
(+.f64 -4 U)
(+.f64 -1/2 U)
(+.f64 -1/8 U)
(+.f64 0 U)
(+.f64 1/9 U)
(+.f64 1/4 U)
(+.f64 8 U)
(+.f64 27 U)
(/.f64 -4 U)
(.f64 2/3 (.f64 J l))
(+.f64 (*.f64 -1/2 -1/8) U)
(+.f64 (*.f64 -1/2 1/9) U)
(+.f64 (*.f64 -1/2 27) U)
(+.f64 (*.f64 -1/2 J) U)
(+.f64 (*.f64 2 27) U)
(+.f64 (*.f64 J -4) U)
(+.f64 (*.f64 J -1/8) U)
(+.f64 (*.f64 J 1/9) U)
(+.f64 (*.f64 J 27) U)
(+.f64 (.f64 2 (.f64 J -4)) U)
(+.f64 (.f64 2 (.f64 J 27)) U)
(+.f64 (.f64 2 (.f64 J l)) U)
(+.f64 (.f64 J (.f64 2 l)) U)
(.f64 J (+.f64 (.f64 2/3 l) (/.f64 U J)))
(+.f64 (.f64 2 (.f64 J (*.f64 l -4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l -1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/3))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 1/2))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 3/4))) U)
(+.f64 (.f64 2 (.f64 J (*.f64 l 27))) U)

Outputs
(.f64 J (+.f64 (.f64 2/3 l) (/.f64 U J)))
(+.f64 (.f64 2 (.f64 J l)) U)

Calls

1 calls:

33.0ms

Results

Accuracy	Segments	Branch
55.8%	2	`l`

Compiler

Compiled 5 to 4 computations (20% saved)

regimes71.0ms (0.7%)

Counts

26 → 1

Calls

Call 1

Inputs
U
(*.f64 U -4)
(*.f64 U U)
(+.f64 -4 U)
(+.f64 -1/2 U)
(+.f64 -1/8 U)
(+.f64 0 U)
(+.f64 1/9 U)
(+.f64 1/4 U)
(+.f64 8 U)
(+.f64 27 U)
(/.f64 -4 U)
(.f64 2/3 (.f64 J l))
(+.f64 (*.f64 -1/2 -1/8) U)
(+.f64 (*.f64 -1/2 1/9) U)
(+.f64 (*.f64 -1/2 27) U)
(+.f64 (*.f64 -1/2 J) U)
(+.f64 (*.f64 2 27) U)
(+.f64 (*.f64 J -4) U)
(+.f64 (*.f64 J -1/8) U)
(+.f64 (*.f64 J 1/9) U)
(+.f64 (*.f64 J 27) U)
(+.f64 (.f64 2 (.f64 J -4)) U)
(+.f64 (.f64 2 (.f64 J 27)) U)
(+.f64 (.f64 2 (.f64 J l)) U)
(+.f64 (.f64 J (.f64 2 l)) U)

Outputs
(+.f64 (.f64 2 (.f64 J l)) U)

Calls

2 calls:

54.0ms	l
15.0ms	K

Results

Accuracy	Segments	Branch
53.7%	1	`K`
55.4%	3	`l`

Compiler

Compiled 10 to 8 computations (20% saved)

regimes273.0ms (2.7%)

Counts

24 → 4

Calls

Call 1

Inputs
U
(*.f64 U -4)
(*.f64 U U)
(+.f64 -4 U)
(+.f64 -1/2 U)
(+.f64 -1/8 U)
(+.f64 0 U)
(+.f64 1/9 U)
(+.f64 1/4 U)
(+.f64 8 U)
(+.f64 27 U)
(/.f64 -4 U)
(.f64 2/3 (.f64 J l))
(+.f64 (*.f64 -1/2 -1/8) U)
(+.f64 (*.f64 -1/2 1/9) U)
(+.f64 (*.f64 -1/2 27) U)
(+.f64 (*.f64 -1/2 J) U)
(+.f64 (*.f64 2 27) U)
(+.f64 (*.f64 J -4) U)
(+.f64 (*.f64 J -1/8) U)
(+.f64 (*.f64 J 1/9) U)
(+.f64 (*.f64 J 27) U)
(+.f64 (.f64 2 (.f64 J -4)) U)
(+.f64 (.f64 2 (.f64 J 27)) U)

Outputs
(.f64 2/3 (.f64 J l))
(*.f64 U U)
U
(.f64 2/3 (.f64 J l))

Calls

4 calls:

162.0ms	l
37.0ms	J
36.0ms	K
36.0ms	U

Results

Accuracy	Segments	Branch
50.9%	4	`l`
37.0%	3	`U`
44.2%	3	`J`
36.8%	3	`K`

Compiler

Compiled 20 to 16 computations (20% saved)

regimes43.0ms (0.4%)

Counts

12 → 3

Calls

Call 1

Inputs
U
(*.f64 U -4)
(*.f64 U U)
(+.f64 -4 U)
(+.f64 -1/2 U)
(+.f64 -1/8 U)
(+.f64 0 U)
(+.f64 1/9 U)
(+.f64 1/4 U)
(+.f64 8 U)
(+.f64 27 U)
(/.f64 -4 U)

Outputs
(*.f64 U U)
U
(*.f64 U U)

Calls

2 calls:

34.0ms	l
8.0ms	J

Results

Accuracy	Segments	Branch
35.2%	1	`J`
42.7%	3	`l`

Compiler

Compiled 10 to 8 computations (20% saved)

regimes5.0ms (0%)

Accuracy

Total -21.8b remaining (-52.7%)

Threshold costs -21.8b (-52.7%)

Counts

2 → 1

Calls

Call 1

Inputs
U
(*.f64 U -4)

Outputs
U

Calls

1 calls:

4.0ms

Results

Accuracy	Segments	Branch
35.2%	1	`l`

Compiler

Compiled 5 to 4 computations (20% saved)

bsearch1.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	0.0	4.0749000559318932e+183
0.0ms	-9330972.324614836	-1.846531976557042e-5

Compiler

Compiled 26 to 20 computations (23.1% saved)

bsearch142.0ms (1.4%)

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
31.0ms	1.1894818746386637e+82	7.087010246841474e+89
38.0ms	3.226488573079394e-19	422.77791823815073
36.0ms	-16.048849782250443	-9.23265988263158e-6
37.0ms	-2.4334719713531508e+114	-1.7940257589552524e+94

Results

65.0ms	320×	256	valid
59.0ms	319×	256	infinite
0.0ms	1×	256	infinite

Compiler

Compiled 1346 to 1020 computations (24.2% saved)

Precisions

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

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

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

Operation ival-exp, time spent: 15.0ms, 23.0% of total-time

Operation ival-add, time spent: 6.0ms, 9.0% of total-time

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

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

Operation ival-neg, time spent: 3.0ms, 5.0% of total-time

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

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.020107041932475436	0.007782504757910163

Compiler

Compiled 26 to 20 computations (23.1% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.020107041932475436	0.007782504757910163

Compiler

Compiled 26 to 20 computations (23.1% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.020107041932475436	0.007782504757910163

Compiler

Compiled 26 to 20 computations (23.1% saved)

bsearch1.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.020107041932475436	0.007782504757910163

Compiler

Compiled 26 to 20 computations (23.1% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.020107041932475436	0.007782504757910163

Compiler

Compiled 26 to 20 computations (23.1% saved)

bsearch0.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	0.9942254384470766	0.9999999841116145
0.0ms	-0.12251069976476257	-0.11100824526718878

Compiler

Compiled 26 to 20 computations (23.1% saved)

bsearch27.0ms (0.3%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
27.0ms	-6.3473327412870115e-28	-9.603498847389745e-32

Results

23.0ms	127×	256	valid
0.0ms	1×	256	valid

Compiler

Compiled 234 to 172 computations (26.5% saved)

Precisions

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

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

Operation ival-exp, time spent: 3.0ms, 25.0% of total-time

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

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

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

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

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

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

bsearch81.0ms (0.8%)

Algorithm

3×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
27.0ms	7.037922632697493e-29	4.1627508968214735e-26
28.0ms	-9314.0430687063	-16.048849782250443
26.0ms	-1.3638901474754976e+63	-2.15833869631186e+60

Results

37.0ms	203×	256	infinite
35.0ms	180×	256	valid
0.0ms	1×	256	valid

Compiler

Compiled 410 to 324 computations (21% saved)

Precisions

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

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

Operation ival-exp, time spent: 8.0ms, 22.0% of total-time

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

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

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

Operation ival-add, time spent: 2.0ms, 6.0% of total-time

Operation ival-neg, time spent: 2.0ms, 6.0% of total-time

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

bsearch69.0ms (0.7%)

Algorithm

2×	binary-search

Stop Event

1×	fuel
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
33.0ms	4.1627508968214735e-26	1.6687326861547887e-20
28.0ms	-9314.0430687063	-16.048849782250443

Results

49.0ms	240×	256	valid
6.0ms	31×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 698 to 499 computations (28.5% saved)

Precisions

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

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

Operation ival-exp, time spent: 6.0ms, 24.0% of total-time

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

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

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

Operation ival-add, time spent: 2.0ms, 8.0% of total-time

Operation ival-neg, time spent: 1.0ms, 4.0% of total-time

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

soundness84.0ms (0.8%)

Rules

448×	`associate-r`
290×	`associate-l`
210×	`associate-r`
194×	`cbrt-prod`
191×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	165
1	476	165
2	6976	165
0	19	56
1	247	56
2	3815	56

Stop Event

1×	unsound
1×	unsound

end1.0ms (0%)

preprocess236.0ms (2.4%)

Remove: (abs K)
Compiler: Compiled 1194 to 684 computations (42.7% saved)

analyze0.0ms (0%)

sample2.0s (19.8%)

preprocess430.0ms (4.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize197.0ms (2%)

series82.0ms (0.8%)

rewrite226.0ms (2.3%)

eval67.0ms (0.7%)

prune41.0ms (0.4%)

localize348.0ms (3.5%)

series56.0ms (0.6%)

rewrite204.0ms (2%)

eval419.0ms (4.2%)

prune73.0ms (0.7%)

localize496.0ms (5%)

series56.0ms (0.6%)

rewrite52.0ms (0.5%)

eval107.0ms (1.1%)

prune88.0ms (0.9%)

localize228.0ms (2.3%)

series51.0ms (0.5%)

rewrite217.0ms (2.2%)

eval129.0ms (1.3%)

prune87.0ms (0.9%)

regimes514.0ms (5.2%)

regimes590.0ms (5.9%)

regimes741.0ms (7.5%)

regimes514.0ms (5.2%)

regimes340.0ms (3.4%)

regimes186.0ms (1.9%)

regimes36.0ms (0.4%)

regimes326.0ms (3.3%)

regimes36.0ms (0.4%)

regimes71.0ms (0.7%)

regimes273.0ms (2.7%)

regimes43.0ms (0.4%)

regimes5.0ms (0%)

bsearch1.0ms (0%)

bsearch142.0ms (1.4%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch1.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch27.0ms (0.3%)

bsearch81.0ms (0.8%)

bsearch69.0ms (0.7%)

soundness84.0ms (0.8%)

end1.0ms (0%)

preprocess236.0ms (2.4%)

Profiling