Details

sample40.0ms

Algorithm

intervals

Results

18.0ms	80×	body	1280	valid
6.0ms	56×	body	640	valid
2.0ms	26×	body	320	valid
2.0ms	81×	body	80	valid
2.0ms	80×	body	80	overflowed
1.0ms	13×	body	160	valid

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

prune3.0ms

Filtered

1 candidates to 0 candidates (100.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: 43.8b

Counts

2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

0.3b	(/ (exp x) (- (exp x) 1.0))
2.9b	(- (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-/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)

series8.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ (exp x) (- (exp x) 1.0))
2.0ms	(- (exp x) 1.0)

simplify66.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 2 (14.0ms)

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

prune140.0ms

Filtered

57 candidates to 41 candidates (28.1%)

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

localize5.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* 1/12 x) (/ 1 x))
0.0b	(+ 1/2 (+ (* 1/12 x) (/ 1 x)))
0.3b	(* 1/12 x)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 43

Calls

3 calls:

5.0ms	(+ (* 1/12 x) (/ 1 x))
7.0ms	(+ 1/2 (+ (* 1/12 x) (/ 1 x)))
6.0ms	(* 1/12 x)

series8.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ (* 1/12 x) (/ 1 x))
2.0ms	(+ 1/2 (+ (* 1/12 x) (/ 1 x)))
2.0ms	(* 1/12 x)

simplify102.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 2 (23.0ms)

Iter	Nodes	Cost
0	200	216
1	705	204
2	3820	203
3	5002	203

prune111.0ms

Filtered

52 candidates to 34 candidates (34.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	52	4	56

Merged error: 0b

Counts

56 → 4

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite22.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))
6.0ms	(- 1 (/ 1.0 (exp x)))

series19.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify36.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 2 (28.0ms)

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

prune235.0ms

Filtered

106 candidates to 60 candidates (43.4%)

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

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 194

Calls

4 calls:

6.0ms	(* (exp x) (exp x))
11.0ms	(/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0))
14.0ms	(/ (exp x) (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0)))
6.0ms	(- (* (exp x) (exp x)) (* 1.0 1.0))

series30.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* (exp x) (exp x))
9.0ms	(/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0))
14.0ms	(/ (exp x) (/ (- (* (exp x) (exp x)) (* 1.0 1.0)) (+ (exp x) 1.0)))
4.0ms	(- (* (exp x) (exp x)) (* 1.0 1.0))

simplify158.0ms

Algorithm

egg-herbie

Counts

206 → 206

Iterations

Useful iterations: 2 (135.0ms)

Iter	Nodes	Cost
0	697	2666
1	4228	2519
2	5002	2515

prune1.2s

Filtered

206 candidates to 148 candidates (28.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	206	0	206
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	206	4	210

Merged error: 0b

Counts

210 → 4

regimes99.0ms

Accuracy

97.5% (0.5b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 21.4b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	15
1	25	15

end0.0ms

sample956.0ms

Algorithm

intervals

Results

405.0ms	2270×	body	1280	valid
187.0ms	1620×	body	640	valid
60.0ms	818×	body	320	valid
57.0ms	2860×	body	80	valid
49.0ms	2574×	body	80	overflowed
20.0ms	433×	body	160	valid

Details

sample40.0ms

simplify4.0ms

prune3.0ms

localize4.0ms

rewrite12.0ms

series8.0ms

simplify66.0ms

prune140.0ms

localize5.0ms

rewrite19.0ms

series8.0ms

simplify102.0ms

prune111.0ms

localize8.0ms

rewrite22.0ms

series19.0ms

simplify36.0ms

prune235.0ms

localize9.0ms

rewrite48.0ms

series30.0ms

simplify158.0ms

prune1.2s

regimes99.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

sample956.0ms

Profiling