Details

sample19.0ms

Algorithm

intervals

Results

11.0ms

501×

body

valid

simplify57.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	4
1	25	4
2	47	4
3	90	4
4	239	4
5	805	4
6	3072	4
7	5001	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: 0.1b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.1b	(exp (- (- 1.0 (* x x))))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

2×	`distribute-neg-in` `exp-sum`
1×	`neg-sub0` `exp-neg` `neg-mul-1` `sub-neg` `exp-prod` `exp-diff`

Counts

1 → 5

Calls

1 calls:

3.0ms

(exp (- (- 1.0 (* x x))))

series23.0ms

Counts

1 → 3

Calls

1 calls:

23.0ms

(exp (- (- 1.0 (* x x))))

simplify33.0ms

Algorithm

egg-herbie

Counts

8 → 8

Iterations

Useful iterations: 2 (7.0ms)

Iter	Nodes	Cost
0	55	34
1	173	32
2	765	29
3	5001	29

prune12.0ms

Filtered

8 candidates to 5 candidates (62.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.1b

Counts

9 → 2

localize7.0ms

Local error

Found 1 expressions with local error:

0.1b	(pow (exp -1) (- 1.0 (* x x)))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

2×	`unpow-prod-up`
1×	`pow-to-exp` `sub-neg` `pow-exp` `pow-sub` `sqr-pow`

Counts

1 → 6

Calls

1 calls:

3.0ms

(pow (exp -1) (- 1.0 (* x x)))

series48.0ms

Counts

1 → 3

Calls

1 calls:

48.0ms

(pow (exp -1) (- 1.0 (* x x)))

simplify207.0ms

Algorithm

egg-herbie

Counts

9 → 9

Iterations

Useful iterations: 4 (204.0ms)

Iter	Nodes	Cost
0	70	51
1	210	51
2	734	48
3	4785	42
4	5002	40

prune14.0ms

Filtered

9 candidates to 5 candidates (55.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	8	1	9
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	9	2	11

Merged error: 0.1b

Counts

11 → 2

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (pow (exp -1) 1.0) (pow (exp -1) (* x x)))
0.1b	(pow (exp -1) (* x x))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

5×	`pow-to-exp` `pow-exp` `sqr-pow`
4×	`div-exp`
2×	`pow-unpow`
1×	`frac-2neg` `times-frac` `clear-num` `associate-/r` `-commutative` `div-inv` `associate-/l*` `pow-div`

Counts

2 → 16

Calls

2 calls:

5.0ms	(/ (pow (exp -1) 1.0) (pow (exp -1) (* x x)))
2.0ms	(pow (exp -1) (* x x))

series348.0ms

Counts

2 → 6

Calls

2 calls:

324.0ms	(/ (pow (exp -1) 1.0) (pow (exp -1) (* x x)))
24.0ms	(pow (exp -1) (* x x))

simplify52.0ms

Algorithm

egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 3 (49.0ms)

Iter	Nodes	Cost
0	107	106
1	314	104
2	1343	97
3	5002	96

prune46.0ms

Filtered

22 candidates to 15 candidates (68.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	20	2	22
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	20	4	24

Merged error: 0.1b

Counts

24 → 4

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow-exp`
10×	`pow-to-exp` `sqr-pow`
6×	`div-exp`
3×	`unpow-prod-down`
2×	`pow-pow` `times-frac` `associate-/r*`
1×	`frac-2neg` `clear-num` `div-inv` `associate-/l*` `pow-div`

Counts

3 → 24

Calls

3 calls:

5.0ms	(/ (pow (exp -1) 1.0) (pow (pow (exp -1) x) x))
2.0ms	(pow (exp -1) x)
3.0ms	(pow (pow (exp -1) x) x)

series494.0ms

Counts

3 → 9

Calls

3 calls:

405.0ms	(/ (pow (exp -1) 1.0) (pow (pow (exp -1) x) x))
20.0ms	(pow (exp -1) x)
68.0ms	(pow (pow (exp -1) x) x)

simplify42.0ms

Algorithm

egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	123	166
1	337	160
2	1186	151
3	5001	151

prune61.0ms

Filtered

33 candidates to 20 candidates (60.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	32	1	33
Fresh	1	0	1
Picked	1	0	1
Done	1	1	2
Total	35	2	37

Merged error: 0.0b

Counts

37 → 2

regimes49.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	6
1	11	6

end0.0ms

sample543.0ms

Algorithm

intervals

Results

361.0ms

16070×

body

valid