Details

analyze21.0ms

Algorithm: search

sample16.0ms

Algorithm

intervals

Results

6.0ms	243×	body	80	valid
0.0ms	5×	body	640	valid
0.0ms	4×	body	1280	valid
0.0ms	3×	body	2560	valid
0.0ms	1×	body	160	valid
0.0ms	1×	body	80	invalid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	4
1	11	4
2	11	4

prune3.0ms

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

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite6.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` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 12

Calls

1 calls:

6.0ms

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

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

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

simplify112.0ms

Algorithm

egg-herbie

Counts

15 → 15

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	83	100
1	207	91
2	481	91
3	1288	91
4	3899	91
5	5002	91

prune34.0ms

Filtered

11 candidates to 15 candidates (-36.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	11	4	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	11	5	16

Merged error: 0.0b

Counts

16 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.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:

14.0ms	(* (cbrt (+ x (/ (fabs (- y x)) 2.0))) (cbrt (+ x (/ (fabs (- y x)) 2.0))))
5.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
6.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
5.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))

series84.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* (cbrt (+ x (/ (fabs (- y x)) 2.0))) (cbrt (+ x (/ (fabs (- y x)) 2.0))))
19.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
19.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
22.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))

simplify50.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	386	1546
1	1304	1467
2	5001	1344

prune212.0ms

Filtered

72 candidates to 107 candidates (-48.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	104	3	107
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	104	8	112

Merged error: 0.0b

Counts

112 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

28×	`cbrt-div`
20×	`cbrt-prod`
14×	`*-un-lft-identity`
9×	`flip3-+` `flip-+`
8×	`add-sqr-sqrt` `add-cube-cbrt`
4×	`pow1` `add-exp-log` `frac-times` `pow1/3` `add-cbrt-cube` `add-log-exp`
3×	`distribute-lft-out`
2×	`associate-r/` `associate-l/`

Counts

4 → 62

Calls

4 calls:

5.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
6.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
13.0ms	(cbrt (* (cbrt (+ x (/ (fabs (- y x)) 2.0))) (cbrt (+ x (/ (fabs (- y x)) 2.0)))))
6.0ms	(cbrt (cbrt (+ x (/ (fabs (- y x)) 2.0))))

series83.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
19.0ms	(cbrt (+ x (/ (fabs (- y x)) 2.0)))
26.0ms	(cbrt (* (cbrt (+ x (/ (fabs (- y x)) 2.0))) (cbrt (+ x (/ (fabs (- y x)) 2.0)))))
19.0ms	(cbrt (cbrt (+ x (/ (fabs (- y x)) 2.0))))

simplify45.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	465	1240
1	1352	1180
2	5001	1150

prune251.0ms

Filtered

60 candidates to 74 candidates (-23.3%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	1	4	5
Picked	0	1	1
Done	0	2	2
Total	74	8	82

Merged error: 0.0b

Counts

82 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 118

Calls

4 calls:

20.0ms	(* (cbrt (cbrt (+ x (/ (fabs (- y x)) 2.0)))) (cbrt (cbrt (+ x (/ (fabs (- y x)) 2.0)))))
6.0ms	(cbrt (cbrt (+ x (/ (fabs (- y x)) 2.0))))
6.0ms	(cbrt (cbrt (+ x (/ (fabs (- y x)) 2.0))))
6.0ms	(cbrt (cbrt (+ x (/ (fabs (- y x)) 2.0))))

series87.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (cbrt (cbrt (+ x (/ (fabs (- y x)) 2.0)))) (cbrt (cbrt (+ x (/ (fabs (- y x)) 2.0)))))
20.0ms	(cbrt (cbrt (+ x (/ (fabs (- y x)) 2.0))))
20.0ms	(cbrt (cbrt (+ x (/ (fabs (- y x)) 2.0))))
20.0ms	(cbrt (cbrt (+ x (/ (fabs (- y x)) 2.0))))

simplify55.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	406	2187
1	1333	2094
2	5002	1914

prune373.0ms

Filtered

87 candidates to 130 candidates (-49.4%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	129	9	138

Merged error: 0b

Counts

138 → 9

regimes226.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	8	4
1	8	4

end0.0ms

analyze20.0ms

Algorithm: search

sample387.0ms

Algorithm

intervals

Results

217.0ms	7701×	body	80	valid
12.0ms	95×	body	1280	valid
10.0ms	63×	body	2560	valid
8.0ms	76×	body	640	valid
3.0ms	45×	body	320	valid
1.0ms	20×	body	160	valid
0.0ms	1×	body	80	invalid

Details

analyze21.0ms

sample16.0ms

simplify6.0ms

prune3.0ms

localize6.0ms

rewrite6.0ms

series6.0ms

simplify112.0ms

prune34.0ms

localize10.0ms

rewrite33.0ms

series84.0ms

simplify50.0ms

prune212.0ms

localize18.0ms

rewrite32.0ms

series83.0ms

simplify45.0ms

prune251.0ms

localize15.0ms

rewrite42.0ms

series87.0ms

simplify55.0ms

prune373.0ms

regimes226.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze20.0ms

sample387.0ms

Profiling