Details

sample24.0ms

Algorithm

intervals

Results

12.0ms

328×

body

valid

simplify13.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	6
1	29	6
2	42	6
3	49	6
4	55	6
5	61	6
6	63	6
7	63	6

prune2.0ms

Filtered

1 candidates to 0 candidates (0.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

Merged error: 1.6b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (+ x 4.0) y)
0.0b	(- (/ (+ x 4.0) y) (* (/ x y) z))
3.2b	(* (/ x y) z)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

56×	`*-un-lft-identity`
46×	`times-frac`
41×	`add-sqr-sqrt`
36×	`add-cube-cbrt`
16×	`fma-neg` `prod-diff`
13×	`associate-l`
10×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out`
5×	`pow1` `add-log-exp`
4×	`div-inv` `associate-/l*`
3×	`expm1-log1p-u` `associate-r` `associate-l/` `associate-/r` `log1p-expm1-u`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `associate-/l/` `unswap-sqr`
1×	`sub-neg` `flip3--` `frac-2neg` `flip3-+` `diff-log` `pow-prod-down` `clear-num` `*-commutative` `frac-sub` `flip--` `flip-+` `sub-div`

Counts

3 → 117

Calls

3 calls:

9.0ms	(/ (+ x 4.0) y)
10.0ms	(- (/ (+ x 4.0) y) (* (/ x y) z))
6.0ms	(* (/ x y) z)

series94.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(/ (+ x 4.0) y)
42.0ms	(- (/ (+ x 4.0) y) (* (/ x y) z))
21.0ms	(* (/ x y) z)

simplify48.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	399	743
1	1422	683
2	5001	668

prune259.0ms

Filtered

126 candidates to 89 candidates (70.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	120	6	126
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	121	6	127

Merged error: 0.0b

Counts

127 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (/ x y)) (cbrt (/ x y)))
10.4b	(cbrt (/ x y))
10.4b	(cbrt (/ x y))
10.4b	(cbrt (/ x y))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

103×	`cbrt-prod`
81×	`add-sqr-sqrt`
69×	`times-frac`
57×	`add-cube-cbrt` `*-un-lft-identity`
16×	`swap-sqr` `associate-r` `associate-l`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div` `div-inv`
6×	`add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 152

Calls

4 calls:

15.0ms	(* (cbrt (/ x y)) (cbrt (/ x y)))
2.0ms	(cbrt (/ x y))
2.0ms	(cbrt (/ x y))
2.0ms	(cbrt (/ x y))

series265.0ms

Counts

4 → 12

Calls

4 calls:

84.0ms	(* (cbrt (/ x y)) (cbrt (/ x y)))
62.0ms	(cbrt (/ x y))
62.0ms	(cbrt (/ x y))
58.0ms	(cbrt (/ x y))

simplify78.0ms

Algorithm

egg-herbie

Counts

164 → 164

Iterations

Useful iterations: 3 (66.0ms)

Iter	Nodes	Cost
0	267	1139
1	917	1091
2	3590	1046
3	5001	1022

prune423.0ms

Filtered

164 candidates to 127 candidates (77.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	163	1	164
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	163	7	170

Merged error: 0.0b

Counts

170 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (* (cbrt (+ x 4.0)) (cbrt (+ x 4.0))) (/ y (cbrt (+ x 4.0))))
0.4b	(/ y (cbrt (+ x 4.0)))
0.7b	(* (cbrt (+ x 4.0)) (cbrt (+ x 4.0)))
3.2b	(* (/ x y) z)

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

100×	`times-frac`
98×	`*-un-lft-identity`
77×	`add-sqr-sqrt`
64×	`cbrt-prod` `add-cube-cbrt`
34×	`associate-/r*`
30×	`cbrt-div`
25×	`add-exp-log`
20×	`associate-l`
16×	`add-cbrt-cube` `distribute-lft-out`
15×	`flip3-+` `flip-+`
13×	`pow1`
10×	`associate-r`
9×	`swap-sqr`
8×	`cbrt-undiv` `frac-times` `div-exp` `associate-/l/`
7×	`associate-/r/`
6×	`pow1/3` `unswap-sqr`
5×	`associate-*l/` `prod-exp` `cbrt-unprod` `div-inv`
4×	`expm1-log1p-u` `associate-r/` `log1p-expm1-u` `associate-/l` `add-log-exp`
3×	`pow-prod-down`
2×	`frac-2neg` `clear-num` `pow-sqr` `*-commutative` `pow-prod-up`
1×	`pow2` `pow-plus`

Counts

4 → 220

Calls

4 calls:

17.0ms	(/ (* (cbrt (+ x 4.0)) (cbrt (+ x 4.0))) (/ y (cbrt (+ x 4.0))))
6.0ms	(/ y (cbrt (+ x 4.0)))
10.0ms	(* (cbrt (+ x 4.0)) (cbrt (+ x 4.0)))
6.0ms	(* (/ x y) z)

series295.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(/ (* (cbrt (+ x 4.0)) (cbrt (+ x 4.0))) (/ y (cbrt (+ x 4.0))))
149.0ms	(/ y (cbrt (+ x 4.0)))
99.0ms	(* (cbrt (+ x 4.0)) (cbrt (+ x 4.0)))
21.0ms	(* (/ x y) z)

simplify116.0ms

Algorithm

egg-herbie

Counts

232 → 232

Iterations

Useful iterations: 2 (92.0ms)

Iter	Nodes	Cost
0	868	1992
1	4070	1855
2	5001	1741

prune518.0ms

Filtered

232 candidates to 162 candidates (69.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	232	0	232
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	232	7	239

Merged error: 0.0b

Counts

239 → 7

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (+ x 4.0) y)
0.0b	(- (/ (+ x 4.0) y) (* x (/ z y)))
7.1b	(* x (/ z y))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

56×	`*-un-lft-identity`
46×	`times-frac`
41×	`add-sqr-sqrt`
36×	`add-cube-cbrt`
16×	`fma-neg` `prod-diff`
13×	`associate-r`
10×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out`
5×	`pow1` `add-log-exp`
4×	`div-inv` `associate-/l*`
3×	`expm1-log1p-u` `associate-r/` `associate-l` `associate-/r` `log1p-expm1-u`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `associate-/l/` `unswap-sqr`
1×	`sub-neg` `flip3--` `frac-2neg` `flip3-+` `diff-log` `pow-prod-down` `clear-num` `*-commutative` `frac-sub` `flip--` `flip-+` `sub-div`

Counts

3 → 117

Calls

3 calls:

5.0ms	(/ (+ x 4.0) y)
10.0ms	(- (/ (+ x 4.0) y) (* x (/ z y)))
7.0ms	(* x (/ z y))

series94.0ms

Counts

3 → 9

Calls

3 calls:

26.0ms	(/ (+ x 4.0) y)
43.0ms	(- (/ (+ x 4.0) y) (* x (/ z y)))
24.0ms	(* x (/ z y))

simplify49.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	409	748
1	1644	688
2	5001	677

prune221.0ms

Filtered

126 candidates to 86 candidates (68.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	125	1	126
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	126	7	133

Merged error: 0b

Counts

133 → 7

regimes99.0ms

Accuracy

96.1% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 2.0b

bsearch81.0ms

Steps

Iters	Range		Point
9	4.817027770006264e-07	0.820229799340741	5.551511623206233e-06
8	-0.1152406257888697	-0.00010711273713490883	-0.019110886264579654

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	11
1	26	11

end0.0ms

sample583.0ms

Algorithm

intervals

Results

358.0ms

10123×

body

valid

Details

sample24.0ms

simplify13.0ms

prune2.0ms

localize8.0ms

rewrite30.0ms

series94.0ms

simplify48.0ms

prune259.0ms

localize12.0ms

rewrite28.0ms

series265.0ms

simplify78.0ms

prune423.0ms

localize11.0ms

rewrite51.0ms

series295.0ms

simplify116.0ms

prune518.0ms

localize8.0ms

rewrite27.0ms

series94.0ms

simplify49.0ms

prune221.0ms

regimes99.0ms

bsearch81.0ms

simplify1.0ms

end0.0ms

sample583.0ms

Profiling