Details

sample17.0ms

Algorithm

intervals

Results

5.0ms	242×	body	80	valid
0.0ms	5×	body	1280	valid
0.0ms	5×	body	640	valid
0.0ms	3×	body	2560	valid
0.0ms	1×	body	320	valid

simplify18.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	3
1	19	3
2	29	3
3	41	3
4	51	3
5	79	3
6	134	3
7	169	3
8	185	3
9	213	3
10	226	3
11	226	3

prune8.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: 0.1b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ x (/ (- x y) 2.0))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

3×	`*-un-lft-identity` `add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+r-` `flip3-+` `div-sub` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 13

Calls

1 calls:

8.0ms

(+ x (/ (- x y) 2.0))

series36.0ms

Counts

1 → 3

Calls

1 calls:

36.0ms

(+ x (/ (- x y) 2.0))

simplify75.0ms

Algorithm

egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	91	81
1	242	74
2	704	74
3	3412	74
4	5001	74

prune51.0ms

Filtered

16 candidates to 12 candidates (75.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	13	3	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	13	4	17

Merged error: 0.0b

Counts

17 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.6b	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 95

Calls

4 calls:

10.0ms	(cbrt (+ x (/ (- x y) 2.0)))
8.0ms	(cbrt (+ x (/ (- x y) 2.0)))
8.0ms	(cbrt (+ x (/ (- x y) 2.0)))
20.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))

series1.6s

Counts

4 → 12

Calls

4 calls:

414.0ms	(cbrt (+ x (/ (- x y) 2.0)))
416.0ms	(cbrt (+ x (/ (- x y) 2.0)))
410.0ms	(cbrt (+ x (/ (- x y) 2.0)))
376.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))

simplify70.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 3 (59.0ms)

Iter	Nodes	Cost
0	263	1109
1	759	1044
2	2601	956
3	5002	938

prune340.0ms

Filtered

107 candidates to 75 candidates (70.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	105	2	107
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	105	6	111

Merged error: 0.0b

Counts

111 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (cbrt (+ x (/ (- x y) 2.0))))
0.6b	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
0.6b	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
0.6b	(cbrt (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))))

rewrite78.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-prod`
52×	`*-un-lft-identity`
48×	`cbrt-div`
38×	`add-sqr-sqrt`
22×	`add-cube-cbrt`
19×	`flip3-+` `flip-+`
18×	`pow1` `swap-sqr`
14×	`pow1/3` `associate-r` `associate-l`
13×	`distribute-lft-out`
12×	`frac-times`
8×	`add-exp-log` `unswap-sqr`
6×	`associate-r/` `associate-l/`
4×	`pow-prod-down` `pow-sqr` `pow-prod-up` `add-cbrt-cube` `add-log-exp`
2×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 140

Calls

4 calls:

9.0ms	(cbrt (cbrt (+ x (/ (- x y) 2.0))))
20.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
20.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
23.0ms	(cbrt (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))))

series1.6s

Counts

4 → 12

Calls

4 calls:

416.0ms	(cbrt (cbrt (+ x (/ (- x y) 2.0))))
392.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
393.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
393.0ms	(cbrt (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))))

simplify77.0ms

Algorithm

egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 3 (59.0ms)

Iter	Nodes	Cost
0	338	1934
1	905	1826
2	2824	1668
3	5002	1634

prune524.0ms

Filtered

152 candidates to 99 candidates (65.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	151	1	152
Fresh	0	3	3
Picked	1	0	1
Done	0	2	2
Total	152	6	158

Merged error: 0.0b

Counts

158 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
0.6b	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
0.6b	(cbrt (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))))
0.6b	(cbrt (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))))

rewrite91.0ms

Algorithm

rewrite-expression-head

Rules

64×	`cbrt-div`
50×	`cbrt-prod`
48×	`*-un-lft-identity`
36×	`add-sqr-sqrt`
24×	`flip3-+` `flip-+`
20×	`add-cube-cbrt`
18×	`pow1` `swap-sqr`
16×	`frac-times`
14×	`pow1/3` `associate-r` `associate-l`
12×	`distribute-lft-out`
8×	`add-exp-log` `associate-r/` `associate-l/` `unswap-sqr`
4×	`pow-prod-down` `pow-sqr` `pow-prod-up` `add-cbrt-cube` `add-log-exp`
2×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 140

Calls

4 calls:

20.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
20.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
19.0ms	(cbrt (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))))
23.0ms	(cbrt (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))))

series1.5s

Counts

4 → 12

Calls

4 calls:

383.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
387.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
392.0ms	(cbrt (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))))
382.0ms	(cbrt (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))))

simplify73.0ms

Algorithm

egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 3 (55.0ms)

Iter	Nodes	Cost
0	272	2106
1	769	1988
2	2524	1834
3	5003	1794

prune636.0ms

Filtered

152 candidates to 100 candidates (65.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	152	6	158

Merged error: 0.0b

Counts

158 → 6

regimes149.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	3
1	7	3

end0.0ms

sample414.0ms

Algorithm

intervals

Results

156.0ms	7376×	body	80	valid
23.0ms	231×	body	1280	valid
11.0ms	100×	body	2560	valid
11.0ms	147×	body	640	valid
5.0ms	97×	body	320	valid
2.0ms	53×	body	160	valid

Details

sample17.0ms

simplify18.0ms

prune8.0ms

localize5.0ms

rewrite8.0ms

series36.0ms

simplify75.0ms

prune51.0ms

localize9.0ms

rewrite50.0ms

series1.6s

simplify70.0ms

prune340.0ms

localize14.0ms

rewrite78.0ms

series1.6s

simplify77.0ms

prune524.0ms

localize18.0ms

rewrite91.0ms

series1.5s

simplify73.0ms

prune636.0ms

regimes149.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample414.0ms

Profiling