Details

analyze807.0ms (12.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4872	91
1	4872	91
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
12.5%	87.3%	0.2%	8
18.7%	81.1%	0.2%	9
22.6%	77.2%	0.2%	10
25%	74.9%	0.2%	11
39.4%	60.4%	0.2%	12
46.5%	53.2%	0.3%	13
48%	51.4%	0.6%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample25.0ms (0.4%)

Algorithm

1×

intervals

Results

14.0ms	256×	body	128	valid
1.0ms	21×	body	128	invalid

Compiler

Compiled 23 to 25 computations (-8.7% saved)

simplify83.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	1196	13
1	1196	13

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

5.8b

Counts

2 → 2

Compiler

Compiled 29 to 28 computations (3.4% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 2 (-.f64 y t))
0.2b	(/.f64 (/.f64 2 (-.f64 y t)) z)
5.9b	(*.f64 x (/.f64 (/.f64 2 (-.f64 y t)) z))

rewrite71.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

249×	`times-frac_binary64_12019`
180×	`add-sqr-sqrt_binary64_12035`
171×	`*-un-lft-identity_binary64_12013`
121×	`add-cube-cbrt_binary64_12048`
67×	`associate-r_binary64_11953`
25×	`difference-of-squares_binary64_11982` `distribute-lft-out--_binary64_11965`
24×	`associate-/l*_binary64_11958`
19×	`add-cbrt-cube_binary64_12049` `add-exp-log_binary64_12051`
16×	`associate-/r/_binary64_11959`
10×	`div-inv_binary64_12010`
8×	`associate-/r*_binary64_11957` `flip3--_binary64_12017` `flip--_binary64_11988`
7×	`div-exp_binary64_12064` `cbrt-undiv_binary64_12047`
5×	`pow1_binary64_12074`
3×	`add-log-exp_binary64_12052` `unswap-sqr_binary64_11981` `associate-l_binary64_11954` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062`
2×	`clear-num_binary64_12012` `frac-2neg_binary64_12024`
1×	`-commutative_binary64_11944` `pow-prod-down_binary64_12084` `associate-r/_binary64_11955` `associate-/l/_binary64_11960`

Counts

3 → 228

Calls

3 calls:

27.0ms	(*.f64 x (/.f64 (/.f64 2 (-.f64 y t)) z))
11.0ms	(/.f64 (/.f64 2 (-.f64 y t)) z)
6.0ms	(/.f64 2 (-.f64 y t))

series158.0ms (2.4%)

Counts

3 → 9

Calls

3 calls:

80.0ms	(*.f64 x (/.f64 (/.f64 2 (-.f64 y t)) z))
51.0ms	(/.f64 (/.f64 2 (-.f64 y t)) z)
28.0ms	(/.f64 2 (-.f64 y t))

simplify95.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

237 → 237

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5031	4394

prune464.0ms (7.1%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	224	13	237
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	225	14	239

Error

Counts

239 → 14

Compiler

Compiled 4561 to 2158 computations (52.7% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 y t))
0.6b	(cbrt.f64 (-.f64 y t))
0.6b	(cbrt.f64 (-.f64 y t))
1.3b	(.f64 x (/.f64 (/.f64 (sqrt.f64 2) (.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))

rewrite53.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-exp-log_binary64_12051`
29×	`times-frac_binary64_12019`
26×	`add-sqr-sqrt_binary64_12035`
23×	`add-cbrt-cube_binary64_12049`
22×	`associate-r_binary64_11953`
18×	`cbrt-div_binary64_12045` `*-un-lft-identity_binary64_12013`
15×	`cbrt-prod_binary64_12044`
12×	`add-cube-cbrt_binary64_12048` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062`
10×	`div-exp_binary64_12064` `cbrt-undiv_binary64_12047`
9×	`flip3--_binary64_12017` `flip--_binary64_11988`
8×	`associate-/r/_binary64_11959`
6×	`pow1_binary64_12074`
4×	`add-log-exp_binary64_12052` `unswap-sqr_binary64_11981` `sqrt-prod_binary64_12029` `frac-times_binary64_12023`
3×	`pow1/3_binary64_12095` `associate-l_binary64_11954` `difference-of-squares_binary64_11982` `distribute-lft-out--_binary64_11965` `associate-*r/_binary64_11955`
2×	`div-inv_binary64_12010` `associate-*l/_binary64_11956`
1×	`*-commutative_binary64_11944` `pow-prod-down_binary64_12084`

Counts

4 → 98

Calls

4 calls:

29.0ms	(.f64 x (/.f64 (/.f64 (sqrt.f64 2) (.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
4.0ms	(cbrt.f64 (-.f64 y t))
3.0ms	(cbrt.f64 (-.f64 y t))
3.0ms	(cbrt.f64 (-.f64 y t))

series590.0ms (9.1%)

Counts

4 → 12

Calls

4 calls:

260.0ms	(.f64 x (/.f64 (/.f64 (sqrt.f64 2) (.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))) (*.f64 (cbrt.f64 z) (cbrt.f64 z))))
120.0ms	(cbrt.f64 (-.f64 y t))
107.0ms	(cbrt.f64 (-.f64 y t))
103.0ms	(cbrt.f64 (-.f64 y t))

simplify71.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4989	2545
1	4989	2545

prune162.0ms (2.5%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	110	14	124

Error

Counts

124 → 14

Compiler

Compiled 4423 to 1856 computations (58% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (/.f64 2 (-.f64 y t)))
0.6b	(cbrt.f64 (/.f64 2 (-.f64 y t)))
0.6b	(cbrt.f64 (/.f64 2 (-.f64 y t)))
4.8b	(.f64 (.f64 x (*.f64 (cbrt.f64 (/.f64 2 (-.f64 y t))) (cbrt.f64 (/.f64 2 (-.f64 y t))))) (/.f64 (cbrt.f64 (/.f64 2 (-.f64 y t))) z))

rewrite89.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

162×	`times-frac_binary64_12019`
126×	`cbrt-prod_binary64_12044`
122×	`add-sqr-sqrt_binary64_12035` `*-un-lft-identity_binary64_12013`
86×	`add-cube-cbrt_binary64_12048`
76×	`associate-r_binary64_11953`
25×	`add-exp-log_binary64_12051`
18×	`add-cbrt-cube_binary64_12049` `difference-of-squares_binary64_11982` `distribute-lft-out--_binary64_11965`
13×	`pow1_binary64_12074`
12×	`associate-/r/_binary64_11959` `cbrt-unprod_binary64_12046` `prod-exp_binary64_12062`
11×	`cbrt-div_binary64_12045`
9×	`associate-*r/_binary64_11955`
7×	`div-inv_binary64_12010`
6×	`flip3--_binary64_12017` `pow-prod-down_binary64_12084` `flip--_binary64_11988`
5×	`associate-*l/_binary64_11956` `frac-times_binary64_12023`
4×	`add-log-exp_binary64_12052`
3×	`div-exp_binary64_12064` `pow1/3_binary64_12095` `cbrt-undiv_binary64_12047`
1×	`-commutative_binary64_11944` `associate-l*_binary64_11954`

Counts

4 → 197

Calls

4 calls:

42.0ms	(.f64 (.f64 x (*.f64 (cbrt.f64 (/.f64 2 (-.f64 y t))) (cbrt.f64 (/.f64 2 (-.f64 y t))))) (/.f64 (cbrt.f64 (/.f64 2 (-.f64 y t))) z))
9.0ms	(cbrt.f64 (/.f64 2 (-.f64 y t)))
6.0ms	(cbrt.f64 (/.f64 2 (-.f64 y t)))
6.0ms	(cbrt.f64 (/.f64 2 (-.f64 y t)))

series629.0ms (9.7%)

Counts

4 → 12

Calls

4 calls:

179.0ms	(.f64 (.f64 x (*.f64 (cbrt.f64 (/.f64 2 (-.f64 y t))) (cbrt.f64 (/.f64 2 (-.f64 y t))))) (/.f64 (cbrt.f64 (/.f64 2 (-.f64 y t))) z))
151.0ms	(cbrt.f64 (/.f64 2 (-.f64 y t)))
150.0ms	(cbrt.f64 (/.f64 2 (-.f64 y t)))
148.0ms	(cbrt.f64 (/.f64 2 (-.f64 y t)))

simplify133.0ms (2%)

Algorithm

1×	egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4950	5088
1	4950	5088

prune322.0ms (5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	208	1	209
Fresh	1	11	12
Picked	1	0	1
Done	0	1	1
Total	210	13	223

Error

Counts

223 → 13

Compiler

Compiled 6300 to 3560 computations (43.5% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (/.f64 2 (-.f64 y t)))
0.6b	(cbrt.f64 (-.f64 y t))
1.0b	(cbrt.f64 2)
5.1b	(/.f64 (.f64 (.f64 x (pow.f64 (cbrt.f64 (/.f64 2 (-.f64 y t))) 2)) (cbrt.f64 2)) (*.f64 z (cbrt.f64 (-.f64 y t))))

rewrite42.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-exp-log_binary64_12051`
29×	`cbrt-prod_binary64_12044`
23×	`add-sqr-sqrt_binary64_12035` `*-un-lft-identity_binary64_12013`
19×	`prod-exp_binary64_12062`
18×	`add-cbrt-cube_binary64_12049`
16×	`times-frac_binary64_12019`
15×	`add-cube-cbrt_binary64_12048`
10×	`div-exp_binary64_12064`
9×	`cbrt-unprod_binary64_12046`
6×	`cbrt-undiv_binary64_12047`
5×	`cbrt-div_binary64_12045`
4×	`associate-/r/_binary64_11959` `add-log-exp_binary64_12052` `pow1_binary64_12074` `difference-of-squares_binary64_11982` `distribute-lft-out--_binary64_11965`
3×	`flip3--_binary64_12017` `pow1/3_binary64_12095` `flip--_binary64_11988`
2×	`div-inv_binary64_12010` `pow-to-exp_binary64_12082` `pow-exp_binary64_12081` `associate-*r/_binary64_11955`
1×	`associate-/r_binary64_11957` `clear-num_binary64_12012` `frac-2neg_binary64_12024` `associate-/l_binary64_11958`

Counts

4 → 87

Calls

4 calls:

23.0ms	(/.f64 (.f64 (.f64 x (pow.f64 (cbrt.f64 (/.f64 2 (-.f64 y t))) 2)) (cbrt.f64 2)) (*.f64 z (cbrt.f64 (-.f64 y t))))
6.0ms	(cbrt.f64 (/.f64 2 (-.f64 y t)))
3.0ms	(cbrt.f64 (-.f64 y t))
1.0ms	(cbrt.f64 2)

series459.0ms (7.1%)

Counts

4 → 10

Calls

4 calls:

185.0ms	(/.f64 (.f64 (.f64 x (pow.f64 (cbrt.f64 (/.f64 2 (-.f64 y t))) 2)) (cbrt.f64 2)) (*.f64 z (cbrt.f64 (-.f64 y t))))
156.0ms	(cbrt.f64 (/.f64 2 (-.f64 y t)))
118.0ms	(cbrt.f64 (-.f64 y t))
0.0ms	(cbrt.f64 2)

simplify85.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4972	2038
1	4972	2038

prune113.0ms (1.7%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	97	13	110

Error

Counts

110 → 13

Compiler

Compiled 2464 to 1377 computations (44.1% saved)

regimes577.0ms (8.9%)

Accuracy

Total 1.8b remaining (99.6%)

Threshold costs 0b (0%)

Compiler

Compiled 5889 to 4677 computations (20.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	49
1	28	49

end0.0ms (0%)

sample1.4s (21.6%)

Algorithm

1×

intervals

Results

301.0ms	8000×	body	128	valid
26.0ms	722×	body	128	invalid

Compiler

Compiled 921 to 710 computations (22.9% saved)

Details

analyze807.0ms (12.4%)

sample25.0ms (0.4%)

simplify83.0ms (1.3%)

prune4.0ms (0.1%)

localize7.0ms (0.1%)

rewrite71.0ms (1.1%)

series158.0ms (2.4%)

simplify95.0ms (1.5%)

prune464.0ms (7.1%)

localize18.0ms (0.3%)

rewrite53.0ms (0.8%)

series590.0ms (9.1%)

simplify71.0ms (1.1%)

prune162.0ms (2.5%)

localize11.0ms (0.2%)

rewrite89.0ms (1.4%)

series629.0ms (9.7%)

simplify133.0ms (2%)

prune322.0ms (5%)

localize14.0ms (0.2%)

rewrite42.0ms (0.6%)

series459.0ms (7.1%)

simplify85.0ms (1.3%)

prune113.0ms (1.7%)

regimes577.0ms (8.9%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.4s (21.6%)

Profiling