Details

analyze1.0s (0.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5124	175
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
3.1%	96.7%	0.2%	7
6.2%	93.6%	0.2%	8
8.6%	91.2%	0.2%	9
28.1%	71.7%	0.2%	10
31%	68.8%	0.2%	11
40.5%	59.3%	0.2%	12
49.6%	50.2%	0.2%	13
59%	40.8%	0.2%	14

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample24.0ms (0%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
1.0ms	15×	body	128	invalid

Compiler

Compiled 35 to 31 computations (11.4% saved)

simplify90.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4892	25
1	4892	25

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

6.3b

Counts

2 → 1

Compiler

Compiled 34 to 26 computations (23.5% saved)

localize23.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (*.f64 t z) x)
0.0b	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))
0.0b	(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))
8.5b	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))

rewrite252.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

6.2b

Rules

45×	`*-un-lft-identity_binary64_17810`
25×	`times-frac_binary64_17816`
23×	`add-cube-cbrt_binary64_17845` `add-sqr-sqrt_binary64_17832`
11×	`distribute-lft-out_binary64_17761`
8×	`add-exp-log_binary64_17848` `add-log-exp_binary64_17849` `add-cbrt-cube_binary64_17846`
7×	`associate-/l_binary64_17755` `associate-/r_binary64_17754`
4×	`pow1_binary64_17871` `div-sub_binary64_17815` `associate-/l/_binary64_17757` `associate-/r/_binary64_17756`
3×	`flip3--_binary64_17814` `flip--_binary64_17785` `flip3-+_binary64_17813` `flip-+_binary64_17784` `cancel-sign-sub-inv_binary64_17776`
2×	`div-exp_binary64_17861` `cbrt-undiv_binary64_17844` `frac-2neg_binary64_17821` `clear-num_binary64_17809` `div-inv_binary64_17807` `associate-+r-_binary64_17744`
1×	`sum-log_binary64_17901` `+-commutative_binary64_17740` `diff-log_binary64_17902` `sub-neg_binary64_17803`

Counts

4 → 100

Calls

4 calls:

26.0ms	(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))
24.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))
12.0ms	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))
4.0ms	(-.f64 (*.f64 t z) x)

Compiler

Compiled 2967 to 756 computations (74.5% saved)

series1.8s (1.3%)

Error

1.0b

Counts

4 → 123

Calls

4 calls:

673.0ms	(/.f64 (+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))
455.0ms	(+.f64 x (/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x)))
421.0ms	(/.f64 (-.f64 (.f64 y z) x) (-.f64 (.f64 t z) x))
101.0ms	(-.f64 (*.f64 t z) x)

Compiler

Compiled 8830 to 5754 computations (34.8% saved)

simplify131.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

223 → 223

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5297	7072

prune291.0ms (0.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	213	10	223
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	213	11	224

Error

0.9b

Counts

224 → 11

Compiler

Compiled 6434 to 1914 computations (70.3% saved)

localize18.0ms (0%)

Local error

Found 4 expressions with local error:

4.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (-.f64 (.f64 t z) x)) (cbrt.f64 (-.f64 (.f64 t z) x)))) (/.f64 (-.f64 (.f64 z y) x) (cbrt.f64 (-.f64 (.f64 t z) x))))
8.4b	(cbrt.f64 (-.f64 (*.f64 t z) x))
8.4b	(cbrt.f64 (-.f64 (*.f64 t z) x))
8.4b	(cbrt.f64 (-.f64 (*.f64 t z) x))

rewrite275.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

Rules

49×	`add-exp-log_binary64_17848`
43×	`add-sqr-sqrt_binary64_17832`
33×	`times-frac_binary64_17816`
25×	`*-un-lft-identity_binary64_17810`
24×	`associate-r_binary64_17750`
22×	`add-cube-cbrt_binary64_17845`
21×	`cbrt-prod_binary64_17841`
20×	`cbrt-div_binary64_17842` `prod-exp_binary64_17859`
18×	`add-cbrt-cube_binary64_17846`
15×	`div-exp_binary64_17861` `associate-l_binary64_17751`
10×	`flip3--_binary64_17814` `flip--_binary64_17785` `associate-/r/_binary64_17756`
9×	`unswap-sqr_binary64_17778`
8×	`cbrt-unprod_binary64_17843`
7×	`cbrt-undiv_binary64_17844`
6×	`pow1_binary64_17871`
5×	`frac-times_binary64_17820`
4×	`add-log-exp_binary64_17849` `1-exp_binary64_17854` `rec-exp_binary64_17860`
3×	`pow1/3_binary64_17892` `associate-l/_binary64_17753` `associate-r/_binary64_17752`
2×	`div-inv_binary64_17807`
1×	`pow-prod-down_binary64_17881` `*-commutative_binary64_17741`

Counts

4 → 119

Calls

4 calls:

37.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (-.f64 (.f64 t z) x)) (cbrt.f64 (-.f64 (.f64 t z) x)))) (/.f64 (-.f64 (.f64 z y) x) (cbrt.f64 (-.f64 (.f64 t z) x))))
7.0ms	(cbrt.f64 (-.f64 (*.f64 t z) x))
4.0ms	(cbrt.f64 (-.f64 (*.f64 t z) x))
4.0ms	(cbrt.f64 (-.f64 (*.f64 t z) x))

Compiler

Compiled 5760 to 1275 computations (77.9% saved)

series1.4s (1%)

Error

0.9b

Counts

4 → 83

Calls

4 calls:

521.0ms	(.f64 (/.f64 1 (.f64 (cbrt.f64 (-.f64 (.f64 t z) x)) (cbrt.f64 (-.f64 (.f64 t z) x)))) (/.f64 (-.f64 (.f64 z y) x) (cbrt.f64 (-.f64 (.f64 t z) x))))
267.0ms	(cbrt.f64 (-.f64 (*.f64 t z) x))
247.0ms	(cbrt.f64 (-.f64 (*.f64 t z) x))
233.0ms	(cbrt.f64 (-.f64 (*.f64 t z) x))

Compiler

Compiled 9272 to 5896 computations (36.4% saved)

simplify115.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5102	5460

prune266.0ms (0.2%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	202	0	202
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	202	11	213

Error

0.9b

Counts

213 → 11

Compiler

Compiled 7836 to 2021 computations (74.2% saved)

localize26.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 z y) x) (-.f64 (*.f64 t z) x))) (+.f64 x 1))))
8.5b	(/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t z) x))
8.5b	(/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t z) x))
8.5b	(/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t z) x))

rewrite705.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

Rules

228×	`*-un-lft-identity_binary64_17810`
140×	`cbrt-prod_binary64_17841`
137×	`times-frac_binary64_17816`
100×	`add-sqr-sqrt_binary64_17832`
76×	`add-cube-cbrt_binary64_17845`
64×	`distribute-lft-out_binary64_17761`
45×	`swap-sqr_binary64_17777`
25×	`associate-l_binary64_17751` `associate-r_binary64_17750`
14×	`associate-/r/_binary64_17756`
12×	`add-exp-log_binary64_17848`
11×	`pow1_binary64_17871`
10×	`add-cbrt-cube_binary64_17846`
9×	`associate-/l_binary64_17755` `associate-/r_binary64_17754` `unswap-sqr_binary64_17778`
7×	`div-inv_binary64_17807`
6×	`flip3--_binary64_17814` `associate-/l/_binary64_17757` `flip--_binary64_17785` `pow1/3_binary64_17892`
4×	`add-log-exp_binary64_17849` `cbrt-div_binary64_17842` `flip3-+_binary64_17813` `flip-+_binary64_17784`
3×	`div-exp_binary64_17861` `cbrt-undiv_binary64_17844` `frac-2neg_binary64_17821` `div-sub_binary64_17815` `clear-num_binary64_17809`
2×	`pow-prod-down_binary64_17881` `pow-prod-up_binary64_17880` `pow-sqr_binary64_17783`
1×	`pow2_binary64_17891` `pow-plus_binary64_17873` `prod-exp_binary64_17859` `cbrt-unprod_binary64_17843` `frac-times_binary64_17820` `associate-l/_binary64_17753` `associate-r/_binary64_17752` `*-commutative_binary64_17741`

Counts

4 → 221

Calls

4 calls:

64.0ms	(.f64 (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 z y) x) (-.f64 (*.f64 t z) x))) (+.f64 x 1))))
10.0ms	(/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t z) x))
10.0ms	(/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t z) x))
10.0ms	(/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t z) x))

Compiler

Compiled 16298 to 4491 computations (72.4% saved)

series2.1min (89.7%)

Error

0.9b

Counts

4 → 121

Calls

4 calls:

2.1min	(.f64 (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t z) x))) (+.f64 x 1))) (cbrt.f64 (/.f64 (+.f64 x (/.f64 (-.f64 (.f64 z y) x) (-.f64 (*.f64 t z) x))) (+.f64 x 1))))
449.0ms	(/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t z) x))
448.0ms	(/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t z) x))
427.0ms	(/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 t z) x))

Compiler

Compiled 76588 to 49683 computations (35.1% saved)

simplify307.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

342 → 342

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4993	29124
1	4993	29124

prune1.9s (1.3%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	342	0	342
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	342	11	353

Error

0.9b

Counts

353 → 11

Compiler

Compiled 32475 to 11720 computations (63.9% saved)

localize19.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 t z) (*.f64 t z))
1.8b	(-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 x x))
13.5b	(.f64 (/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 x x))) (+.f64 (*.f64 t z) x))
19.3b	(/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (*.f64 x x)))

rewrite220.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

0.9b

Rules

45×	`pow1_binary64_17871`
27×	`add-sqr-sqrt_binary64_17832`
25×	`times-frac_binary64_17816`
23×	`add-exp-log_binary64_17848` `add-cbrt-cube_binary64_17846`
22×	`add-cube-cbrt_binary64_17845` `*-un-lft-identity_binary64_17810`
19×	`associate-l_binary64_17751`
18×	`pow-prod-down_binary64_17881`
10×	`prod-exp_binary64_17859` `cbrt-unprod_binary64_17843`
8×	`difference-of-squares_binary64_17779`
6×	`add-log-exp_binary64_17849`
4×	`flip3--_binary64_17814` `flip--_binary64_17785` `associate-/r/_binary64_17756` `associate-/r_binary64_17754` `associate-r*_binary64_17750` `pow-prod-up_binary64_17880` `pow-sqr_binary64_17783`
3×	`associate-/l*_binary64_17755`
2×	`div-exp_binary64_17861` `cbrt-undiv_binary64_17844` `div-inv_binary64_17807` `associate-/l/_binary64_17757` `flip3-+_binary64_17813` `frac-times_binary64_17820` `flip-+_binary64_17784` `unswap-sqr_binary64_17778` `associate-r/_binary64_17752` `-commutative_binary64_17741` `pow-plus_binary64_17873`
1×	`frac-2neg_binary64_17821` `div-sub_binary64_17815` `clear-num_binary64_17809` `distribute-rgt-in_binary64_17760` `distribute-lft-in_binary64_17759` `associate-*l/_binary64_17753` `diff-log_binary64_17902` `sub-neg_binary64_17803` `cancel-sign-sub-inv_binary64_17776` `pow2_binary64_17891` `swap-sqr_binary64_17777`

Counts

4 → 126

Calls

4 calls:

20.0ms	(.f64 (/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 x x))) (+.f64 (*.f64 t z) x))
13.0ms	(/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (*.f64 x x)))
12.0ms	(.f64 (.f64 t z) (*.f64 t z))
7.0ms	(-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 x x))

Compiler

Compiled 5282 to 1062 computations (79.9% saved)

series1.5s (1.1%)

Error

0.9b

Counts

4 → 82

Calls

4 calls:

643.0ms	(.f64 (/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 x x))) (+.f64 (*.f64 t z) x))
424.0ms	(/.f64 (-.f64 (.f64 z y) x) (-.f64 (.f64 (.f64 t z) (.f64 t z)) (*.f64 x x)))
234.0ms	(-.f64 (.f64 (.f64 t z) (.f64 t z)) (.f64 x x))
78.0ms	(.f64 (.f64 t z) (*.f64 t z))

Compiler

Compiled 6895 to 4634 computations (32.8% saved)

simplify105.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

208 → 208

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4981	4785
1	4981	4785

prune292.0ms (0.2%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	208	0	208
Fresh	0	7	7
Picked	0	1	1
Done	0	3	3
Total	208	11	219

Error

0.9b

Counts

219 → 11

Compiler

Compiled 6706 to 2177 computations (67.5% saved)

regimes1.1s (0.8%)

Accuracy

Total 2.9b remaining (80.5%)

Threshold costs 0b (0%)

Compiler

Compiled 12470 to 7317 computations (41.3% saved)

bsearch10.0ms (0%)

Compiler: Compiled 17 to 13 computations (23.5% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	55	89
1	55	89

end0.0ms (0%)

sample2.8s (1.9%)

Algorithm

1×

intervals

Results

494.0ms	8000×	body	128	valid
20.0ms	349×	body	128	invalid

Compiler

Compiled 2541 to 1493 computations (41.2% saved)

Details

analyze1.0s (0.7%)

sample24.0ms (0%)

simplify90.0ms (0.1%)

prune5.0ms (0%)

localize23.0ms (0%)

rewrite252.0ms (0.2%)

series1.8s (1.3%)

simplify131.0ms (0.1%)

prune291.0ms (0.2%)

localize18.0ms (0%)

rewrite275.0ms (0.2%)

series1.4s (1%)

simplify115.0ms (0.1%)

prune266.0ms (0.2%)

localize26.0ms (0%)

rewrite705.0ms (0.5%)

series2.1min (89.7%)

simplify307.0ms (0.2%)

prune1.9s (1.3%)

localize19.0ms (0%)

rewrite220.0ms (0.2%)

series1.5s (1.1%)

simplify105.0ms (0.1%)

prune292.0ms (0.2%)

regimes1.1s (0.8%)

bsearch10.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample2.8s (1.9%)

Profiling