Details

sample41.0ms

Algorithm

intervals

Results

18.0ms	109×	body	1280	valid
7.0ms	80×	body	640	valid
3.0ms	398×	pre	80	true
2.0ms	41×	body	320	valid
2.0ms	145×	body	80	valid
1.0ms	23×	body	160	valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	2
1	7	2
2	7	2

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

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

6.3b	(- (exp x) 1.0)

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

1×	`sub-neg` `flip3--` `flip--`

Counts

1 → 4

Calls

1 calls:

2.0ms

(- (exp x) 1.0)

series15.0ms

Counts

1 → 3

Calls

1 calls:

15.0ms

(- (exp x) 1.0)

simplify50.0ms

Algorithm

egg-herbie

Counts

7 → 7

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	60	29
1	141	29
2	379	28
3	1037	28
4	5001	28

prune14.0ms

Filtered

7 candidates to 4 candidates (57.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	5	2	7
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	5	3	8

Merged error: 0.0b

Counts

8 → 3

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

5×	`+-commutative`
4×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in`
2×	`flip3-+` `associate-r/` `associate-l` `-commutative` `flip-+`
1×	`unpow2` `sqr-pow`

Counts

3 → 17

Calls

3 calls:

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

series113.0ms

Counts

3 → 9

Calls

3 calls:

32.0ms	(+ (* (pow x 2) (+ (* x 1/6) 1/2)) x)
63.0ms	(* (pow x 2) (+ (* x 1/6) 1/2))
18.0ms	(* x 1/6)

simplify120.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 2 (19.0ms)

Iter	Nodes	Cost
0	137	114
1	520	112
2	2719	108
3	5001	108

prune43.0ms

Filtered

26 candidates to 15 candidates (57.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	26	0	26
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	26	3	29

Merged error: 0.0b

Counts

29 → 3

localize12.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) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))
0.0b	(pow (exp x) 3)
6.1b	(- (pow (exp x) 3) (pow 1.0 3))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

5×	`sqr-pow`
4×	`associate-+l+`
3×	`+-commutative`
2×	`difference-cubes` `distribute-rgt-in` `flip3--` `distribute-lft-in` `flip3-+` `associate-/r/` `flip--` `flip-+` `associate-/l/` `associate-/l*` `difference-of-squares`
1×	`pow-to-exp` `sub-neg` `frac-2neg` `unpow3` `div-sub` `pow-exp` `clear-num` `div-inv`

Counts

4 → 27

Calls

4 calls:

7.0ms	(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
10.0ms	(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))
2.0ms	(pow (exp x) 3)
4.0ms	(- (pow (exp x) 3) (pow 1.0 3))

series190.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))
93.0ms	(/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x))))
28.0ms	(pow (exp x) 3)
37.0ms	(- (pow (exp x) 3) (pow 1.0 3))

simplify136.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 2 (26.0ms)

Iter	Nodes	Cost
0	237	313
1	875	308
2	4311	300
3	5002	300

prune98.0ms

Filtered

39 candidates to 31 candidates (79.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	38	1	39
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	39	3	42

Merged error: 0.0b

Counts

42 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

6×	`frac-times`
5×	`flip3--` `flip--` `sqr-pow`
4×	`clear-num`
3×	`frac-2neg` `associate-r/` `associate-r*`
2×	`difference-cubes` `flip3-+` `associate-l` `associate-*l/` `associate-/r/` `un-div-inv` `flip-+` `difference-of-squares`
1×	`+-commutative` `pow-to-exp` `sub-neg` `unpow3` `pow-exp` `*-commutative` `div-inv`

Counts

4 → 32

Calls

4 calls:

2.0ms	(+ 1.0 (exp x))
12.0ms	(* (- (pow (exp x) 3) (pow 1.0 3)) (/ 1 (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))))
2.0ms	(pow (exp x) 3)
4.0ms	(- (pow (exp x) 3) (pow 1.0 3))

series166.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(+ 1.0 (exp x))
94.0ms	(* (- (pow (exp x) 3) (pow 1.0 3)) (/ 1 (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))))
28.0ms	(pow (exp x) 3)
37.0ms	(- (pow (exp x) 3) (pow 1.0 3))

simplify37.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	267	341
1	1135	336
2	5001	333

prune102.0ms

Filtered

44 candidates to 31 candidates (70.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	44	0	44
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	44	3	47

Merged error: 0.0b

Counts

47 → 3

regimes41.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	5
1	13	5

end0.0ms

sample1.1s

Algorithm

intervals

Results

483.0ms	3418×	body	1280	valid
208.0ms	2426×	body	640	valid
102.0ms	12000×	pre	80	true
71.0ms	1288×	body	320	valid
48.0ms	4188×	body	80	valid
22.0ms	680×	body	160	valid