Details

analyze1.0s (12.2%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4844	143
1	4844	143
0	5	5
1	5	5

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
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
13.2%	86.5%	0.2%	11
16.8%	83%	0.2%	12
22.7%	77.1%	0.2%	13
24.1%	74.7%	1.3%	14

Compiler

Compiled 10 to 10 computations (0% saved)

sample33.0ms (0.4%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
3.0ms	88×	body	128	invalid

Compiler

Compiled 19 to 24 computations (-26.3% saved)

simplify55.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	719	13
1	719	13

prune2.0ms (0%)

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

6.1b

Counts

2 → 1

Compiler

Compiled 18 to 18 computations (0% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 y (-.f64 z t))
7.0b	(/.f64 (*.f64 y (-.f64 z t)) a)

rewrite69.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`add-sqr-sqrt_binary64_11353`
10×	`*-un-lft-identity_binary64_11331`
9×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
8×	`add-cube-cbrt_binary64_11366`
6×	`cancel-sign-sub-inv_binary64_11297`
5×	`associate-r_binary64_11271`
4×	`pow1_binary64_11392` `associate-*r/_binary64_11273` `distribute-rgt-in_binary64_11281` `distribute-lft-in_binary64_11280`
3×	`times-frac_binary64_11337` `associate-/r_binary64_11275` `associate-l*_binary64_11272`
2×	`prod-exp_binary64_11380` `div-exp_binary64_11382` `add-log-exp_binary64_11370` `cbrt-undiv_binary64_11365` `cbrt-unprod_binary64_11364` `flip3--_binary64_11335` `associate-/l/_binary64_11278` `flip--_binary64_11306` `sub-neg_binary64_11324`
1×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `div-inv_binary64_11328` `associate-/l_binary64_11276` `pow-prod-down_binary64_11402` `unswap-sqr_binary64_11299` `difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283` `-commutative_binary64_11262`

Counts

2 → 53

Calls

2 calls:

8.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
7.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 816 to 265 computations (67.5% saved)

series319.0ms (3.7%)

Error

5.8b

Counts

2 → 33

Calls

2 calls:

207.0ms	(/.f64 (*.f64 y (-.f64 z t)) a)
96.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 885 to 575 computations (35% saved)

simplify58.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5376	836

prune65.0ms (0.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	79	7	86
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	7	87

Error

0.0b

Counts

87 → 7

Compiler

Compiled 1097 to 282 computations (74.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 a)
0.6b	(cbrt.f64 a)
0.6b	(cbrt.f64 a)
4.1b	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 z t) (cbrt.f64 a)))

rewrite124.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

54×	`add-sqr-sqrt_binary64_11353`
40×	`times-frac_binary64_11337`
38×	`*-un-lft-identity_binary64_11331`
34×	`associate-r_binary64_11271`
26×	`add-cube-cbrt_binary64_11366` `cbrt-prod_binary64_11362`
25×	`add-exp-log_binary64_11369`
18×	`add-cbrt-cube_binary64_11367`
8×	`prod-exp_binary64_11380` `cbrt-unprod_binary64_11364`
7×	`div-exp_binary64_11382` `cbrt-undiv_binary64_11365` `associate-l_binary64_11272`
6×	`pow1_binary64_11392` `unswap-sqr_binary64_11299` `difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283`
4×	`add-log-exp_binary64_11370`
3×	`pow1/3_binary64_11413`
2×	`div-inv_binary64_11328`
1×	`pow-prod-down_binary64_11402` `frac-times_binary64_11341` `associate-l/_binary64_11274` `associate-r/_binary64_11273` `*-commutative_binary64_11262`

Counts

4 → 104

Calls

4 calls:

22.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 z t) (cbrt.f64 a)))
1.0ms	(cbrt.f64 a)
1.0ms	(cbrt.f64 a)
1.0ms	(cbrt.f64 a)

Compiler

Compiled 2571 to 508 computations (80.2% saved)

series471.0ms (5.5%)

Error

0.0b

Counts

4 → 27

Calls

4 calls:

227.0ms	(.f64 (/.f64 y (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 z t) (cbrt.f64 a)))
77.0ms	(cbrt.f64 a)
76.0ms	(cbrt.f64 a)
75.0ms	(cbrt.f64 a)

Compiler

Compiled 1029 to 701 computations (31.9% saved)

simplify81.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4963	1780
1	4963	1780

prune107.0ms (1.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	129	2	131
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	129	9	138

Error

0.0b

Counts

138 → 9

Compiler

Compiled 2522 to 719 computations (71.5% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.8b	(*.f64 (/.f64 (-.f64 z t) (cbrt.f64 a)) (/.f64 (cbrt.f64 y) (cbrt.f64 a)))
1.3b	(.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 a)) (*.f64 (/.f64 (-.f64 z t) (cbrt.f64 a)) (/.f64 (cbrt.f64 y) (cbrt.f64 a))))

rewrite269.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

115×	`add-sqr-sqrt_binary64_11353`
94×	`times-frac_binary64_11337`
85×	`add-exp-log_binary64_11369`
77×	`cbrt-prod_binary64_11362`
63×	`*-un-lft-identity_binary64_11331`
51×	`add-cube-cbrt_binary64_11366`
44×	`associate-l_binary64_11272`
41×	`add-cbrt-cube_binary64_11367` `associate-r_binary64_11271`
36×	`prod-exp_binary64_11380` `cbrt-unprod_binary64_11364`
26×	`div-exp_binary64_11382` `cbrt-undiv_binary64_11365`
15×	`unswap-sqr_binary64_11299`
11×	`pow1_binary64_11392`
6×	`frac-times_binary64_11341` `associate-*r/_binary64_11273` `difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283`
4×	`pow-prod-down_binary64_11402` `add-log-exp_binary64_11370` `associate-*l/_binary64_11274`
3×	`div-inv_binary64_11328`
2×	`*-commutative_binary64_11262` `pow1/3_binary64_11413`

Counts

4 → 189

Calls

4 calls:

40.0ms	(*.f64 (/.f64 (-.f64 z t) (cbrt.f64 a)) (/.f64 (cbrt.f64 y) (cbrt.f64 a)))
22.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 a)) (*.f64 (/.f64 (-.f64 z t) (cbrt.f64 a)) (/.f64 (cbrt.f64 y) (cbrt.f64 a))))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

Compiler

Compiled 6365 to 947 computations (85.1% saved)

series1.2s (14.1%)

Error

0.0b

Counts

4 → 42

Calls

4 calls:

761.0ms	(*.f64 (/.f64 (-.f64 z t) (cbrt.f64 a)) (/.f64 (cbrt.f64 y) (cbrt.f64 a)))
257.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 a)) (*.f64 (/.f64 (-.f64 z t) (cbrt.f64 a)) (/.f64 (cbrt.f64 y) (cbrt.f64 a))))
78.0ms	(cbrt.f64 y)
72.0ms	(cbrt.f64 y)

Compiler

Compiled 2316 to 1571 computations (32.2% saved)

simplify99.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

231 → 231

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5359	4710

prune202.0ms (2.4%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	229	2	231
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	230	10	240

Error

Counts

240 → 10

Compiler

Compiled 6178 to 1065 computations (82.8% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (cbrt.f64 y))
0.6b	(cbrt.f64 (cbrt.f64 y))
1.2b	(.f64 (/.f64 (-.f64 z t) (cbrt.f64 a)) (.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y))))
1.3b	(.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 a)) (.f64 (.f64 (/.f64 (-.f64 z t) (cbrt.f64 a)) (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))) (/.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 a))))

rewrite293.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

208×	`add-exp-log_binary64_11369`
116×	`prod-exp_binary64_11380` `cbrt-unprod_binary64_11364`
92×	`add-cbrt-cube_binary64_11367`
51×	`div-exp_binary64_11382` `cbrt-undiv_binary64_11365`
45×	`add-sqr-sqrt_binary64_11353`
44×	`associate-l_binary64_11272`
40×	`*-un-lft-identity_binary64_11331`
38×	`times-frac_binary64_11337`
37×	`cbrt-prod_binary64_11362`
28×	`add-cube-cbrt_binary64_11366`
23×	`pow1_binary64_11392`
13×	`pow-prod-down_binary64_11402`
8×	`associate-*l/_binary64_11274`
6×	`difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283`
5×	`frac-times_binary64_11341` `associate-*r/_binary64_11273`
4×	`add-log-exp_binary64_11370`
3×	`unswap-sqr_binary64_11299`
2×	`div-inv_binary64_11328` `associate-r_binary64_11271` `*-commutative_binary64_11262` `pow1/3_binary64_11413`

Counts

4 → 181

Calls

4 calls:

32.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 a)) (.f64 (.f64 (/.f64 (-.f64 z t) (cbrt.f64 a)) (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))) (/.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 a))))
16.0ms	(.f64 (/.f64 (-.f64 z t) (cbrt.f64 a)) (.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y))))
2.0ms	(cbrt.f64 (cbrt.f64 y))
2.0ms	(cbrt.f64 (cbrt.f64 y))

Compiler

Compiled 8217 to 913 computations (88.9% saved)

series1.4s (16.8%)

Error

Counts

4 → 42

Calls

4 calls:

922.0ms	(.f64 (/.f64 (-.f64 z t) (cbrt.f64 a)) (.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y))))
265.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 y) (cbrt.f64 y)) (cbrt.f64 a)) (.f64 (.f64 (/.f64 (-.f64 z t) (cbrt.f64 a)) (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))) (/.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 a))))
106.0ms	(cbrt.f64 (cbrt.f64 y))
106.0ms	(cbrt.f64 (cbrt.f64 y))

Compiler

Compiled 2970 to 1897 computations (36.1% saved)

simplify122.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

223 → 223

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5013	4411

prune186.0ms (2.2%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	223	0	223
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	223	10	233

Error

Counts

233 → 10

Compiler

Compiled 6072 to 1102 computations (81.9% saved)

regimes806.0ms (9.4%)

Accuracy

Total 0.4b remaining (98.5%)

Threshold costs 0.4b (98.5%)

Compiler

Compiled 8075 to 5067 computations (37.3% saved)

bsearch2.0ms (0%)

Compiler: Compiled 5 to 7 computations (-40% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	215	66
1	215	66

end0.0ms (0%)

sample1.4s (16.9%)

Algorithm

1×

intervals

Results

277.0ms	8000×	body	128	valid
81.0ms	2502×	body	128	invalid

Compiler

Compiled 958 to 594 computations (38% saved)

Details

analyze1.0s (12.2%)

sample33.0ms (0.4%)

simplify55.0ms (0.6%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite69.0ms (0.8%)

series319.0ms (3.7%)

simplify58.0ms (0.7%)

prune65.0ms (0.8%)

localize11.0ms (0.1%)

rewrite124.0ms (1.4%)

series471.0ms (5.5%)

simplify81.0ms (0.9%)

prune107.0ms (1.3%)

localize15.0ms (0.2%)

rewrite269.0ms (3.1%)

series1.2s (14.1%)

simplify99.0ms (1.2%)

prune202.0ms (2.4%)

localize23.0ms (0.3%)

rewrite293.0ms (3.4%)

series1.4s (16.8%)

simplify122.0ms (1.4%)

prune186.0ms (2.2%)

regimes806.0ms (9.4%)

bsearch2.0ms (0%)

simplify8.0ms (0.1%)

end0.0ms (0%)

sample1.4s (16.9%)

Profiling