Details

sample40.0ms

Algorithm

intervals

Results

18.0ms	78×	body	1280	valid
7.0ms	58×	body	640	valid
4.0ms	174×	body	80	valid
2.0ms	21×	body	320	valid
1.0ms	11×	body	160	valid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	3
1	13	3
2	15	3
3	15	3

prune2.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: 40.3b

Counts

2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- (exp x) 1.0) x)
3.1b	(- (exp x) 1.0)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt` `*-un-lft-identity`
15×	`times-frac`
12×	`add-cube-cbrt`
5×	`associate-/l*` `distribute-lft-out--` `difference-of-squares`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`associate-/r*`
2×	`pow1` `flip3--` `flip--` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `clear-num` `div-inv`

Counts

2 → 52

Calls

2 calls:

6.0ms	(/ (- (exp x) 1.0) x)
4.0ms	(- (exp x) 1.0)

series7.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(/ (- (exp x) 1.0) x)
3.0ms	(- (exp x) 1.0)

simplify78.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 2 (18.0ms)

Iter	Nodes	Cost
0	222	329
1	625	311
2	2717	309
3	5001	309

prune72.0ms

Filtered

43 candidates to 58 candidates (-34.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	56	2	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	2	59

Merged error: 0.1b

Counts

59 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x 1/6) 1/2)
0.1b	(* (pow x 2) (+ (* x 1/6) 1/2))
0.3b	(* x 1/6)
3.7b	(/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
17×	`add-cube-cbrt` `*-un-lft-identity`
13×	`add-exp-log`
11×	`associate-l`
10×	`add-cbrt-cube`
9×	`times-frac`
6×	`pow1` `associate-r` `add-log-exp`
5×	`unswap-sqr`
4×	`unpow-prod-down` `prod-exp`
3×	`flip3-+` `associate-/r` `flip-+` `associate-/l`
2×	`associate-r/` `-commutative` `cbrt-unprod` `associate-/l/` `unpow2` `sqr-pow`
1×	`cbrt-undiv` `+-commutative` `distribute-rgt-in` `pow-to-exp` `frac-2neg` `distribute-lft-in` `div-exp` `pow-prod-down` `pow-exp` `clear-num` `sum-log` `div-inv`

Counts

4 → 89

Calls

4 calls:

4.0ms	(+ (* x 1/6) 1/2)
8.0ms	(* (pow x 2) (+ (* x 1/6) 1/2))
3.0ms	(* x 1/6)
12.0ms	(/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x)

series17.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(+ (* x 1/6) 1/2)
6.0ms	(* (pow x 2) (+ (* x 1/6) 1/2))
2.0ms	(* x 1/6)
5.0ms	(/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x)

simplify66.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	384	620
1	2008	562
2	5002	562

prune134.0ms

Filtered

70 candidates to 101 candidates (-44.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	100	1	101
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	100	3	103

Merged error: 0.1b

Counts

103 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

3.7b	(/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x)
9.9b	(cbrt (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x))
9.9b	(cbrt (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x))
9.9b	(cbrt (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

39×	`cbrt-prod`
36×	`times-frac`
33×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `div-inv` `add-log-exp`
3×	`cbrt-div` `pow1/3` `associate-/r` `associate-/l`
2×	`associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+`

Counts

4 → 95

Calls

4 calls:

10.0ms	(/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x)
6.0ms	(cbrt (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x))
6.0ms	(cbrt (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x))
7.0ms	(cbrt (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x))

series44.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x)
11.0ms	(cbrt (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x))
11.0ms	(cbrt (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x))
12.0ms	(cbrt (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x))

simplify152.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (26.0ms)

Iter	Nodes	Cost
0	253	1435
1	939	1364
2	4473	1324
3	5001	1324

prune423.0ms

Filtered

91 candidates to 107 candidates (-17.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	106	1	107
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	107	3	110

Merged error: 0.1b

Counts

110 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

3.7b	(/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x)
3.7b	(/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x)
9.9b	(cbrt (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x))
9.9b	(cbrt (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
34×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
26×	`cbrt-prod`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/r` `associate-/l`
4×	`pow1` `div-inv` `associate-/l/` `add-log-exp`
2×	`cbrt-undiv` `cbrt-div` `frac-2neg` `flip3-+` `pow1/3` `div-exp` `clear-num` `flip-+`

Counts

4 → 102

Calls

4 calls:

10.0ms	(/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x)
11.0ms	(/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x)
7.0ms	(cbrt (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x))
7.0ms	(cbrt (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x))

series34.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x)
5.0ms	(/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x)
13.0ms	(cbrt (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x))
11.0ms	(cbrt (/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x))

simplify151.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (27.0ms)

Iter	Nodes	Cost
0	253	1392
1	939	1310
2	4473	1276
3	5001	1276

prune397.0ms

Filtered

94 candidates to 114 candidates (-21.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	113	1	114
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	114	3	117

Merged error: 0.1b

Counts

117 → 3

regimes34.0ms

Accuracy

98.8% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 21.4b

bsearch14.0ms

Steps

Iters	Range		Point
9	-0.00034267683325015424	-2.708263725627834e-09	-0.0001378262469616206

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	15
1	26	15

end0.0ms

sample1.1s

Algorithm

intervals

Results

436.0ms	2229×	body	1280	valid
215.0ms	1682×	body	640	valid
126.0ms	5468×	body	80	valid
72.0ms	851×	body	320	valid
25.0ms	412×	body	160	valid

Details

sample40.0ms

simplify6.0ms

prune2.0ms

localize4.0ms

rewrite12.0ms

series7.0ms

simplify78.0ms

prune72.0ms

localize9.0ms

rewrite29.0ms

series17.0ms

simplify66.0ms

prune134.0ms

localize16.0ms

rewrite33.0ms

series44.0ms

simplify152.0ms

prune423.0ms

localize18.0ms

rewrite38.0ms

series34.0ms

simplify151.0ms

prune397.0ms

regimes34.0ms

bsearch14.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling