Details

sample33.0ms

Algorithm

intervals

Results

13.0ms	64×	body	1280	valid
7.0ms	52×	body	640	valid
2.0ms	30×	body	320	valid
2.0ms	91×	body	80	valid
1.0ms	74×	body	80	overflowed
1.0ms	19×	body	160	valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	4
1	8	4
2	8	4

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

Counts

2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

0.3b	(/ (exp x) (- (exp x) 1.0))
5.7b	(- (exp x) 1.0)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 51

Calls

2 calls:

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

series46.0ms

Counts

2 → 6

Calls

2 calls:

30.0ms	(/ (exp x) (- (exp x) 1.0))
15.0ms	(- (exp x) 1.0)

simplify71.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	180	378
1	542	357
2	2174	354
3	5003	354

prune103.0ms

Filtered

57 candidates to 41 candidates (71.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	53	4	57
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	54	4	58

Merged error: 0b

Counts

58 → 4

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* 1/12 x) (/ 1 x))
0.4b	(* 1/12 x)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
3×	`associate-r` `associate-l`
1×	`+-commutative` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

2 → 29

Calls

2 calls:

5.0ms	(+ (* 1/12 x) (/ 1 x))
3.0ms	(* 1/12 x)

series52.0ms

Counts

2 → 6

Calls

2 calls:

39.0ms	(+ (* 1/12 x) (/ 1 x))
13.0ms	(* 1/12 x)

simplify68.0ms

Algorithm

egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	130	119
1	448	109
2	2305	108
3	5001	108

prune47.0ms

Filtered

35 candidates to 23 candidates (65.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	35	0	35
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	35	4	39

Merged error: 0b

Counts

39 → 4

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1 (- 1 (/ 1.0 (exp x))))
0.0b	(/ 1.0 (exp x))
5.7b	(- 1 (/ 1.0 (exp x)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

64×	`add-sqr-sqrt`
44×	`*-un-lft-identity`
43×	`times-frac`
24×	`add-cube-cbrt`
20×	`difference-of-squares`
11×	`associate-/r*`
8×	`add-exp-log`
7×	`add-cbrt-cube`
6×	`associate-/l*`
5×	`distribute-lft-out--` `add-log-exp`
4×	`pow1`
3×	`div-exp`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `clear-num` `associate-/r/` `flip--` `div-inv`
1×	`sub-neg` `rec-exp` `pow-flip` `diff-log` `1-exp` `inv-pow`

Counts

3 → 97

Calls

3 calls:

9.0ms	(/ 1 (- 1 (/ 1.0 (exp x))))
4.0ms	(/ 1.0 (exp x))
7.0ms	(- 1 (/ 1.0 (exp x)))

series103.0ms

Counts

3 → 9

Calls

3 calls:

51.0ms	(/ 1 (- 1 (/ 1.0 (exp x))))
13.0ms	(/ 1.0 (exp x))
39.0ms	(- 1 (/ 1.0 (exp x)))

simplify41.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	310	722
1	1324	620
2	5001	618

prune117.0ms

Filtered

106 candidates to 60 candidates (56.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	106	4	110

Merged error: 0b

Counts

110 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (exp x) (exp x))
0.2b	(* (/ (exp x) (- (* (exp x) (exp x)) (* 1.0 1.0))) (+ (exp x) 1.0))
0.3b	(/ (exp x) (- (* (exp x) (exp x)) (* 1.0 1.0)))
5.7b	(- (* (exp x) (exp x)) (* 1.0 1.0))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

39×	`add-sqr-sqrt`
34×	`*-un-lft-identity`
32×	`add-cube-cbrt`
25×	`times-frac`
21×	`associate-l`
18×	`exp-prod`
13×	`pow1` `add-cbrt-cube`
9×	`add-exp-log`
8×	`difference-of-squares`
7×	`associate-r`
6×	`add-log-exp`
5×	`pow-prod-down`
4×	`associate-/r*` `associate-/r/` `pow-sqr` `pow-prod-up`
3×	`flip3--` `swap-sqr` `prod-exp` `flip--` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `frac-times` `flip3-+` `associate-r/` `div-exp` `-commutative` `flip-+` `div-inv`
1×	`pow2` `distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `pow-plus` `diff-log` `associate-*l/` `clear-num` `distribute-lft-out`

Counts

4 → 124

Calls

4 calls:

7.0ms	(* (exp x) (exp x))
16.0ms	(* (/ (exp x) (- (* (exp x) (exp x)) (* 1.0 1.0))) (+ (exp x) 1.0))
9.0ms	(/ (exp x) (- (* (exp x) (exp x)) (* 1.0 1.0)))
6.0ms	(- (* (exp x) (exp x)) (* 1.0 1.0))

series169.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(* (exp x) (exp x))
69.0ms	(* (/ (exp x) (- (* (exp x) (exp x)) (* 1.0 1.0))) (+ (exp x) 1.0))
60.0ms	(/ (exp x) (- (* (exp x) (exp x)) (* 1.0 1.0)))
26.0ms	(- (* (exp x) (exp x)) (* 1.0 1.0))

simplify85.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 2 (73.0ms)

Iter	Nodes	Cost
0	582	1234
1	2849	1102
2	5001	1088

prune226.0ms

Filtered

136 candidates to 101 candidates (74.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Merged error: 0b

Counts

140 → 4

regimes53.0ms

Accuracy

97.1% (0.6b remaining)

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

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	15
1	26	15

end0.0ms

sample936.0ms

Algorithm

intervals

Results

407.0ms	2171×	body	1280	valid
196.0ms	1648×	body	640	valid
64.0ms	2928×	body	80	valid
62.0ms	830×	body	320	valid
54.0ms	2595×	body	80	overflowed
21.0ms	424×	body	160	valid

Details

sample33.0ms

simplify5.0ms

prune2.0ms

localize4.0ms

rewrite13.0ms

series46.0ms

simplify71.0ms

prune103.0ms

localize8.0ms

rewrite10.0ms

series52.0ms

simplify68.0ms

prune47.0ms

localize6.0ms

rewrite23.0ms

series103.0ms

simplify41.0ms

prune117.0ms

localize12.0ms

rewrite43.0ms

series169.0ms

simplify85.0ms

prune226.0ms

regimes53.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

sample936.0ms

Profiling