Details

sample34.0ms

Algorithm

intervals

Results

13.0ms	68×	body	1280	valid
6.0ms	50×	body	640	valid
4.0ms	201×	body	80	valid
2.0ms	23×	body	320	valid
1.0ms	15×	body	160	valid

simplify7.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

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: 37.5b

Counts

2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- (exp x) 1.0) x)
4.0b	(- (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)

series58.0ms

Counts

2 → 6

Calls

2 calls:

39.0ms	(/ (- (exp x) 1.0) x)
19.0ms	(- (exp x) 1.0)

simplify76.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

prune106.0ms

Filtered

58 candidates to 43 candidates (74.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	54	4	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	55	4	59

Merged error: 0.0b

Counts

59 → 4

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x 1/6) 1/2)
0.0b	(* (pow x 2) (+ (* x 1/6) 1/2))
0.4b	(* x 1/6)
3.3b	(/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x)

rewrite27.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)
10.0ms	(/ (+ (* (pow x 2) (+ (* x 1/6) 1/2)) x) x)

series159.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(+ (* x 1/6) 1/2)
67.0ms	(* (pow x 2) (+ (* x 1/6) 1/2))
13.0ms	(* x 1/6)
48.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

prune159.0ms

Filtered

101 candidates to 70 candidates (69.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	101	4	105

Merged error: 0.0b

Counts

105 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
0.0b	(pow (exp x) 3)
0.0b	(/ (- (pow (exp x) 3) (pow 1.0 3)) (* (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))) x))
3.9b	(- (pow (exp x) 3) (pow 1.0 3))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

82×	`add-sqr-sqrt`
48×	`difference-of-squares`
40×	`*-un-lft-identity`
39×	`unpow-prod-down` `cube-prod`
25×	`times-frac` `associate-/l*` `sqr-pow`
15×	`distribute-lft-out--`
10×	`add-cube-cbrt` `add-cbrt-cube`
9×	`add-exp-log`
8×	`add-log-exp`
5×	`pow1`
4×	`pow-pow`
3×	`difference-cubes` `pow-unpow` `exp-prod`
2×	`cbrt-undiv` `associate-+l+` `flip3--` `flip3-+` `div-exp` `associate-*l/` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`+-commutative` `distribute-rgt-in` `cube-mult` `pow-to-exp` `sub-neg` `frac-2neg` `distribute-lft-in` `diff-log` `unpow3` `div-sub` `pow-exp` `prod-exp` `clear-num` `associate-/r*` `sum-log` `cbrt-unprod` `div-inv` `rem-cube-cbrt`

Counts

4 → 143

Calls

4 calls:

9.0ms	(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
3.0ms	(pow (exp x) 3)
26.0ms	(/ (- (pow (exp x) 3) (pow 1.0 3)) (* (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))) x))
12.0ms	(- (pow (exp x) 3) (pow 1.0 3))

series228.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
23.0ms	(pow (exp x) 3)
137.0ms	(/ (- (pow (exp x) 3) (pow 1.0 3)) (* (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))) x))
36.0ms	(- (pow (exp x) 3) (pow 1.0 3))

simplify86.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 2 (69.0ms)

Iter	Nodes	Cost
0	538	1662
1	2466	1546
2	5002	1502

prune294.0ms

Filtered

155 candidates to 90 candidates (58.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	154	1	155
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	155	4	159

Merged error: 0.0b

Counts

159 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (* x 3))
0.0b	(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
0.0b	(/ (- (exp (* x 3)) (pow 1.0 3)) (* (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))) x))
3.9b	(- (exp (* x 3)) (pow 1.0 3))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt`
13×	`add-log-exp`
12×	`*-un-lft-identity` `difference-of-squares`
11×	`times-frac` `associate-/l*`
9×	`difference-cubes` `add-exp-log` `add-cbrt-cube`
6×	`add-cube-cbrt`
4×	`pow1` `exp-lft-cube` `exp-prod` `exp-to-pow`
3×	`unpow-prod-down` `cube-prod` `distribute-lft-out--` `sqr-pow`
2×	`cbrt-undiv` `associate-+l+` `flip3--` `flip3-+` `div-exp` `associate-*l/` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`+-commutative` `distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `diff-log` `div-sub` `prod-exp` `clear-num` `associate-/r*` `sum-log` `cbrt-unprod` `div-inv` `rem-exp-log`

Counts

4 → 86

Calls

4 calls:

2.0ms	(exp (* x 3))
9.0ms	(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
18.0ms	(/ (- (exp (* x 3)) (pow 1.0 3)) (* (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))) x))
6.0ms	(- (exp (* x 3)) (pow 1.0 3))

series163.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(exp (* x 3))
31.0ms	(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
108.0ms	(/ (- (exp (* x 3)) (pow 1.0 3)) (* (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))) x))
18.0ms	(- (exp (* x 3)) (pow 1.0 3))

simplify53.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	432	1074
1	1768	915
2	5003	915

prune223.0ms

Filtered

98 candidates to 69 candidates (70.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	96	2	98
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	98	4	102

Merged error: 0b

Counts

102 → 4

regimes24.0ms

Accuracy

98.6% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 21.7b

bsearch44.0ms

Steps

Iters	Range		Point
8	-0.011085094476318487	-7.229928480977052e-07	-0.00011443259697695033

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	30
1	48	30

end0.0ms

sample965.0ms

Algorithm

intervals

Results

427.0ms	2252×	body	1280	valid
191.0ms	1618×	body	640	valid
121.0ms	5428×	body	80	valid
65.0ms	833×	body	320	valid
21.0ms	411×	body	160	valid

Details

sample34.0ms

simplify7.0ms

prune2.0ms

localize4.0ms

rewrite12.0ms

series58.0ms

simplify76.0ms

prune106.0ms

localize8.0ms

rewrite27.0ms

series159.0ms

simplify66.0ms

prune159.0ms

localize13.0ms

rewrite59.0ms

series228.0ms

simplify86.0ms

prune294.0ms

localize13.0ms

rewrite38.0ms

series163.0ms

simplify53.0ms

prune223.0ms

regimes24.0ms

bsearch44.0ms

simplify1.0ms

end0.0ms

sample965.0ms

Profiling