Details

sample82.0ms

Algorithm

intervals

Results

56.0ms	182×	body	1280	valid
8.0ms	46×	body	640	valid
6.0ms	237×	body	80	valid
2.0ms	20×	body	320	valid
0.0ms	3×	body	160	valid

simplify140.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	5
1	26	5
2	41	5
3	55	5
4	65	5
5	96	5
6	140	5
7	285	5
8	1642	5
9	5001	5

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

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (exp x) 2.0)
2.5b	(+ (- (exp x) 2.0) (exp (neg x)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity` `add-log-exp`
4×	`add-sqr-sqrt` `frac-add`
3×	`flip3--` `flip--`
2×	`pow1` `add-exp-log` `neg-sub0` `exp-neg` `add-cube-cbrt` `sub-neg` `associate-+l+` `exp-diff` `diff-log` `sum-log` `add-cbrt-cube` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `associate-+l-` `flip3-+` `flip-+` `difference-of-squares`

Counts

2 → 35

Calls

2 calls:

4.0ms	(- (exp x) 2.0)
7.0ms	(+ (- (exp x) 2.0) (exp (neg x)))

series69.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(- (exp x) 2.0)
56.0ms	(+ (- (exp x) 2.0) (exp (neg x)))

simplify88.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 2 (19.0ms)

Iter	Nodes	Cost
0	209	282
1	694	269
2	3196	260
3	5001	260

prune80.0ms

Filtered

41 candidates to 29 candidates (70.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	39	2	41
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	40	2	42

Merged error: 0.0b

Counts

42 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
0.0b	(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
0.1b	(* 1/360 (pow x 6))
0.1b	(* 1/12 (pow x 4))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
14×	`add-exp-log` `associate-r`
12×	`*-un-lft-identity`
11×	`add-log-exp`
10×	`add-cube-cbrt`
8×	`unpow-prod-down` `add-cbrt-cube`
6×	`associate-l` `prod-exp` `unswap-sqr`
4×	`pow1` `sum-log` `sqr-pow`
2×	`+-commutative` `pow-to-exp` `flip3-+` `pow-exp` `*-commutative` `cbrt-unprod` `flip-+`
1×	`associate-+r+` `distribute-lft-out`

Counts

4 → 75

Calls

4 calls:

7.0ms	(+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
4.0ms	(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
5.0ms	(* 1/360 (pow x 6))
5.0ms	(* 1/12 (pow x 4))

series265.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
130.0ms	(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
49.0ms	(* 1/360 (pow x 6))
35.0ms	(* 1/12 (pow x 4))

simplify56.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	329	464
1	1456	438
2	5001	422

prune154.0ms

Filtered

87 candidates to 55 candidates (63.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	87	2	89

Merged error: 0.0b

Counts

89 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))) (* (+ (exp x) 2.0) (exp x)))
0.0b	(* (exp x) (- (exp x) 2.0))
0.0b	(* (+ (exp x) 2.0) (exp x))
1.5b	(+ 1 (* (exp x) (- (exp x) 2.0)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-cbrt-cube`
16×	`add-exp-log`
14×	`add-sqr-sqrt`
12×	`*-un-lft-identity`
9×	`flip3-+` `flip-+`
8×	`pow1` `add-cube-cbrt` `associate-r` `associate-/l/`
7×	`associate-l`
6×	`associate-*l/` `prod-exp` `cbrt-unprod` `add-log-exp`
4×	`cbrt-undiv` `distribute-rgt-in` `frac-times` `sub-neg` `associate-+r+` `distribute-lft-in` `associate-*r/` `div-exp`
2×	`pow-prod-down` `associate-/r/` `*-commutative` `unswap-sqr`
1×	`+-commutative` `flip3--` `frac-2neg` `times-frac` `clear-num` `associate-/r` `sum-log` `flip--` `div-inv` `distribute-lft-out` `associate-/l` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 93

Calls

4 calls:

14.0ms	(/ (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))) (* (+ (exp x) 2.0) (exp x)))
8.0ms	(* (exp x) (- (exp x) 2.0))
7.0ms	(* (+ (exp x) 2.0) (exp x))
4.0ms	(+ 1 (* (exp x) (- (exp x) 2.0)))

series212.0ms

Counts

4 → 12

Calls

4 calls:

96.0ms	(/ (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0)))) (* (+ (exp x) 2.0) (exp x)))
38.0ms	(* (exp x) (- (exp x) 2.0))
21.0ms	(* (+ (exp x) 2.0) (exp x))
58.0ms	(+ 1 (* (exp x) (- (exp x) 2.0)))

simplify99.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 2 (90.0ms)

Iter	Nodes	Cost
0	521	1006
1	3366	764
2	5002	753

prune171.0ms

Filtered

105 candidates to 73 candidates (69.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Merged error: 0.0b

Counts

107 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ (exp x) 2.0) (- (* 1 1) (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0)))))
0.0b	(* (* (+ (exp x) 2.0) (exp x)) (- 1 (* (exp x) (- (exp x) 2.0))))
0.0b	(* (+ (exp x) 2.0) (exp x))
1.5b	(- (* 1 1) (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0))))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1` `add-sqr-sqrt` `*-un-lft-identity` `add-cbrt-cube`
12×	`distribute-rgt-in` `distribute-lft-in` `associate-*l/`
11×	`add-exp-log`
10×	`associate-r`
9×	`add-cube-cbrt` `sub-neg` `associate-l`
8×	`frac-times` `associate--r+`
7×	`flip3--` `flip3-+` `flip--` `flip-+`
6×	`add-log-exp`
5×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`associate-*r/`
3×	`*-commutative`
2×	`distribute-lft-out` `difference-of-squares` `unswap-sqr`
1×	`diff-log`

Counts

4 → 104

Calls

4 calls:

19.0ms	(* (+ (exp x) 2.0) (- (* 1 1) (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0)))))
11.0ms	(* (* (+ (exp x) 2.0) (exp x)) (- 1 (* (exp x) (- (exp x) 2.0))))
7.0ms	(* (+ (exp x) 2.0) (exp x))
15.0ms	(- (* 1 1) (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0))))

series596.0ms

Counts

4 → 12

Calls

4 calls:

356.0ms	(* (+ (exp x) 2.0) (- (* 1 1) (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0)))))
80.0ms	(* (* (+ (exp x) 2.0) (exp x)) (- 1 (* (exp x) (- (exp x) 2.0))))
21.0ms	(* (+ (exp x) 2.0) (exp x))
137.0ms	(- (* 1 1) (* (* (exp x) (- (exp x) 2.0)) (* (exp x) (- (exp x) 2.0))))

simplify95.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 2 (81.0ms)

Iter	Nodes	Cost
0	576	1627
1	3462	1410
2	5002	1401

prune231.0ms

Filtered

116 candidates to 82 candidates (70.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	0	0	0
Picked	1	0	1
Done	1	1	2
Total	117	2	119

Merged error: 0.0b

Counts

119 → 2

regimes12.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	7
1	17	7

end0.0ms

sample2.5s

Algorithm

intervals

Results

1.8s	5635×	body	1280	valid
220.0ms	1272×	body	640	valid
217.0ms	8071×	body	80	valid
68.0ms	633×	body	320	valid
20.0ms	292×	body	160	valid

Details

sample82.0ms

simplify140.0ms

prune2.0ms

localize6.0ms

rewrite12.0ms

series69.0ms

simplify88.0ms

prune80.0ms

localize10.0ms

rewrite23.0ms

series265.0ms

simplify56.0ms

prune154.0ms

localize9.0ms

rewrite36.0ms

series212.0ms

simplify99.0ms

prune171.0ms

localize13.0ms

rewrite55.0ms

series596.0ms

simplify95.0ms

prune231.0ms

regimes12.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.5s

Profiling