Details

sample19.0ms

Algorithm

intervals

Results

11.0ms

501×

body

valid

simplify61.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	4
1	25	4
2	49	4
3	96	4
4	253	4
5	821	4
6	3115	4
7	5002	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

localize5.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))))

series24.0ms

Counts

1 → 3

Calls

1 calls:

24.0ms

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

simplify34.0ms

Algorithm

egg-herbie

Counts

8 → 8

Iterations

Useful iterations: 2 (7.0ms)

Iter	Nodes	Cost
0	56	33
1	182	32
2	815	28
3	5001	28

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

localize9.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)))

simplify217.0ms

Algorithm

egg-herbie

Counts

9 → 9

Iterations

Useful iterations: 3 (27.0ms)

Iter	Nodes	Cost
0	71	50
1	218	49
2	782	47
3	4972	40
4	5001	40

prune20.0ms

Filtered

9 candidates to 6 candidates (66.7%)

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

localize9.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)))
3.0ms	(pow (exp -1) (* x x))

series355.0ms

Counts

2 → 6

Calls

2 calls:

330.0ms	(/ (pow (exp -1) 1.0) (pow (exp -1) (* x x)))
25.0ms	(pow (exp -1) (* x x))

simplify51.0ms

Algorithm

egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	113	105
1	331	101
2	1438	95
3	5001	95

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

localize10.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)

series509.0ms

Counts

3 → 9

Calls

3 calls:

420.0ms	(/ (pow (exp -1) 1.0) (pow (pow (exp -1) x) x))
20.0ms	(pow (exp -1) x)
69.0ms	(pow (pow (exp -1) x) x)

simplify40.0ms

Algorithm

egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	132	165
1	360	156
2	1299	148
3	5002	148

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

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

sample535.0ms

Algorithm

intervals

Results

348.0ms

16070×

body

valid