Details

sample89.0ms

Algorithm

intervals

Results

57.0ms	176×	body	1280	valid
10.0ms	277×	body	80	valid
8.0ms	42×	body	640	valid
2.0ms	18×	body	320	valid
1.0ms	12×	body	160	valid

simplify142.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: 29.5b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (exp x) 2.0)
5.2b	(+ (- (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)))

series71.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify89.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 2 (20.0ms)

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

prune87.0ms

Filtered

41 candidates to 29 candidates (70.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Merged error: 0.0b

Counts

42 → 3

localize14.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.0b	(* 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))

series268.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
132.0ms	(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
51.0ms	(* 1/360 (pow x 6))
34.0ms	(* 1/12 (pow x 4))

simplify50.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	327	476
1	1399	443
2	5001	425

prune157.0ms

Filtered

87 candidates to 55 candidates (63.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	87	3	90

Merged error: 0.0b

Counts

90 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

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

series209.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(* (exp x) (- (exp x) 2.0))
88.0ms	(* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))
21.0ms	(* (+ (exp x) 2.0) (exp x))
59.0ms	(+ 1 (* (exp x) (- (exp x) 2.0)))

simplify68.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	452	830
1	2562	758
2	5001	758

prune167.0ms

Filtered

103 candidates to 72 candidates (69.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0.0b

Counts

106 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- (exp x) 2.0) (- (exp x) 2.0))
0.0b	(* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))
0.1b	(pow (exp x) 2)
5.1b	(- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

35×	`*-un-lft-identity`
34×	`add-sqr-sqrt`
20×	`associate-r`
19×	`add-cube-cbrt`
14×	`pow1`
11×	`add-exp-log` `add-cbrt-cube`
10×	`distribute-rgt-in` `distribute-lft-in` `times-frac`
9×	`associate-l`
8×	`flip3--` `flip--` `associate--r+`
7×	`sub-neg` `swap-sqr`
6×	`frac-times` `distribute-lft-out--` `add-log-exp`
4×	`pow-pow` `associate-*l/` `difference-of-squares`
3×	`unpow-prod-down` `pow-unpow` `exp-prod` `associate-*r/` `prod-exp` `cbrt-unprod` `unswap-sqr`
2×	`flip3-+` `pow-prod-down` `associate-/r/` `*-commutative` `flip-+`
1×	`cbrt-undiv` `pow2` `pow-to-exp` `pow-plus` `diff-log` `div-exp` `pow-exp` `pow-sqr` `pow-prod-up` `div-inv` `distribute-lft-out` `unpow2` `sqr-pow`

Counts

4 → 125

Calls

4 calls:

10.0ms	(* (- (exp x) 2.0) (- (exp x) 2.0))
12.0ms	(* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))
7.0ms	(pow (exp x) 2)
4.0ms	(- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))

series453.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(* (- (exp x) 2.0) (- (exp x) 2.0))
267.0ms	(* (+ (exp x) 2.0) (/ (- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0)))) (- 1 (* (exp x) (- (exp x) 2.0)))))
18.0ms	(pow (exp x) 2)
135.0ms	(- 1 (* (pow (exp x) 2) (* (- (exp x) 2.0) (- (exp x) 2.0))))

simplify110.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 2 (95.0ms)

Iter	Nodes	Cost
0	632	1619
1	3694	1378
2	5002	1363

prune286.0ms

Filtered

137 candidates to 90 candidates (65.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	136	1	137
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	136	4	140

Merged error: 0.0b

Counts

140 → 4

regimes20.0ms

Accuracy

0% (0.6b remaining)

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

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.6s

Algorithm

intervals

Results

1.8s	5634×	body	1280	valid
234.0ms	1275×	body	640	valid
230.0ms	8046×	body	80	valid
70.0ms	617×	body	320	valid
22.0ms	299×	body	160	valid

Details

sample89.0ms

simplify142.0ms

prune2.0ms

localize6.0ms

rewrite12.0ms

series71.0ms

simplify89.0ms

prune87.0ms

localize14.0ms

rewrite23.0ms

series268.0ms

simplify50.0ms

prune157.0ms

localize10.0ms

rewrite29.0ms

series209.0ms

simplify68.0ms

prune167.0ms

localize16.0ms

rewrite38.0ms

series453.0ms

simplify110.0ms

prune286.0ms

regimes20.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.6s

Profiling