Details

sample0.0hr

Algorithm

intervals

Results

0.0hr	119×	body	1280	valid
0.0hr	51×	body	1280	nan
0.0hr	72×	body	640	valid
0.0hr	39×	body	640	nan
0.0hr	37×	body	320	valid
0.0hr	126×	body	80	overflowed
0.0hr	18×	body	320	nan
0.0hr	19×	body	160	valid
0.0hr	12×	body	160	nan
0.0hr	13×	body	80	valid
0.0hr	11×	body	80	nan

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	133	48
1	453	48
2	2769	47
3	5002	47

prune0.0hr

Filtered

1 candidates to 1 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: 61.3b

Counts

2 → 2

localize0.0hr

Local error

Found 4 expressions with local error:

0.1b	(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b	(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
1.0b	(sqrt (* PI 2.0))
4.8b	(+ (- z 1.0) 1.0)

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

42×	`*-un-lft-identity`
20×	`add-log-exp`
17×	`distribute-lft-out`
16×	`exp-prod`
15×	`add-sqr-sqrt`
11×	`associate-r`
10×	`add-cube-cbrt`
9×	`add-exp-log`
7×	`pow1` `unpow-prod-down` `sum-log`
6×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `add-cbrt-cube`
5×	`rem-exp-log`
4×	`associate-l` `neg-log` `distribute-lft-out--`
3×	`prod-exp` `unswap-sqr`
2×	`associate-+l-` `associate-+l+` `sqrt-pow1` `diff-log` `sqrt-prod` `sqr-pow`
1×	`unpow-prod-up` `+-commutative` `neg-sub0` `exp-neg` `pow-to-exp` `neg-mul-1` `sub-neg` `distribute-neg-in` `flip3-+` `pow1/2` `exp-diff` `associate-r/` `exp-sum` `pow-prod-down` `pow-exp` `-commutative` `cbrt-unprod` `flip-+` `pow-sub`

Counts

4 → 90

Calls

4 calls:

0.0hr	(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
0.0hr	(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0hr	(sqrt (* PI 2.0))
0.0hr	(+ (- z 1.0) 1.0)

series0.0hr

Counts

4 → 10

Calls

4 calls:

0.0hr	(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
0.0hr	(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0hr	(sqrt (* PI 2.0))
0.0hr	(+ (- z 1.0) 1.0)

simplify0.0hr

Algorithm

egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	552	704
1	2036	643
2	5001	638

prune0.0hr

Filtered

100 candidates to 68 candidates (32.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	95	5	100
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	97	5	102

Merged error: 1.1b

Counts

102 → 5

localize0.0hr

Local error

Found 4 expressions with local error:

0.1b	(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b	(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
1.0b	(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
1.0b	(sqrt (* PI 2.0))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

392×	`frac-add`
130×	`frac-times`
102×	`associate-*r/`
82×	`*-un-lft-identity`
56×	`flip3-+` `flip-+`
52×	`exp-neg` `associate-+l-` `pow-sub`
51×	`distribute-lft-out`
35×	`neg-sub0` `exp-diff`
23×	`associate-*l/`
22×	`associate-r`
21×	`add-exp-log`
17×	`un-div-inv`
16×	`add-sqr-sqrt` `exp-prod`
15×	`prod-exp` `add-cbrt-cube` `add-log-exp`
12×	`pow1`
11×	`add-cube-cbrt`
7×	`unpow-prod-down` `cbrt-unprod`
6×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
5×	`associate-l` `sum-log` `rem-exp-log`
4×	`pow-prod-down` `neg-log`
3×	`distribute-lft-out--` `unswap-sqr`
2×	`pow-to-exp` `sqrt-pow1` `pow-exp` `sqrt-prod` `*-commutative` `sqr-pow`
1×	`unpow-prod-up` `distribute-rgt-in` `neg-mul-1` `distribute-neg-in` `distribute-lft-in` `pow1/2` `diff-log` `exp-sum`

Counts

4 → 223

Calls

4 calls:

0.0hr	(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
0.0hr	(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
0.0hr	(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0hr	(sqrt (* PI 2.0))

series0.0hr

Counts

4 → 10

Calls

4 calls:

0.0hr	(exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))
0.0hr	(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
0.0hr	(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0hr	(sqrt (* PI 2.0))

simplify0.0hr

Algorithm

egg-herbie

Counts

233 → 233

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	3745	23930
1	5002	23816

prune0.0hr

Filtered

233 candidates to 140 candidates (39.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	224	9	233
Fresh	4	0	4
Picked	1	0	1
Done	0	0	0
Total	229	9	238

Merged error: 0.0b

Counts

238 → 9

localize0.0hr

Local error

Found 4 expressions with local error:

1.0b	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
1.0b	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
1.0b	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
1.0b	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

216×	`add-sqr-sqrt`
208×	`unpow-prod-down`
132×	`times-frac`
116×	`associate-l`
96×	`add-exp-log` `*-un-lft-identity`
72×	`add-cube-cbrt` `unswap-sqr`
52×	`pow-exp`
48×	`prod-exp` `sqrt-prod`
40×	`sqr-pow`
24×	`div-exp` `associate-r`
16×	`pow-to-exp`
12×	`rec-exp` `1-exp` `add-cbrt-cube`
4×	`pow1` `*-commutative` `cbrt-unprod` `div-inv` `add-log-exp`

Counts

4 → 296

Calls

4 calls:

0.0hr	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
0.0hr	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
0.0hr	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
0.0hr	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))

series0.0hr

Counts

4 → 4

Calls

4 calls:

0.0hr	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
0.0hr	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
0.0hr	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
0.0hr	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))

simplify0.0hr

Algorithm

egg-herbie

Counts

300 → 300

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	435	2848
1	1533	2748
2	5001	2604

prune0.0hr

Filtered

300 candidates to 177 candidates (41.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	299	1	300
Fresh	3	5	8
Picked	0	1	1
Done	0	0	0
Total	302	7	309

Merged error: 0.0b

Counts

309 → 7

localize0.0hr

Local error

Found 4 expressions with local error:

1.0b	(* (log 6.5) (sqrt 2.0))
1.0b	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
1.0b	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
1.6b	(- (* (* (exp (neg 6.5)) (+ (* (log 6.5) (* z (sqrt 2.0))) (sqrt 2.0))) 1656.8104518737205) (* 676.5203681218851 (* (exp (neg 6.5)) (* (log 6.5) (sqrt 2.0)))))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

117×	`add-sqr-sqrt`
104×	`unpow-prod-down`
66×	`times-frac`
62×	`associate-l`
53×	`*-un-lft-identity`
52×	`add-exp-log`
48×	`associate-*l/`
41×	`add-cube-cbrt`
38×	`unswap-sqr`
28×	`sqrt-prod`
26×	`pow-exp`
25×	`prod-exp`
24×	`associate-*r/`
20×	`sqr-pow`
18×	`neg-sub0` `exp-neg` `exp-diff` `associate-r`
16×	`frac-sub`
12×	`div-exp`
10×	`add-cbrt-cube`
8×	`frac-times` `pow-to-exp`
7×	`pow1`
6×	`rec-exp` `flip3-+` `1-exp` `flip-+` `add-log-exp`
4×	`sub-div`
3×	`*-commutative` `cbrt-unprod`
2×	`div-inv`
1×	`sub-neg` `flip3--` `diff-log` `pow-prod-down` `log-pow` `flip--`

Counts

4 → 203

Calls

4 calls:

0.0hr	(* (log 6.5) (sqrt 2.0))
0.0hr	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
0.0hr	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
0.0hr	(- (* (* (exp (neg 6.5)) (+ (* (log 6.5) (* z (sqrt 2.0))) (sqrt 2.0))) 1656.8104518737205) (* 676.5203681218851 (* (exp (neg 6.5)) (* (log 6.5) (sqrt 2.0)))))

series0.0hr

Counts

4 → 6

Calls

4 calls:

0.0hr	(* (log 6.5) (sqrt 2.0))
0.0hr	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
0.0hr	(* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))
0.0hr	(- (* (* (exp (neg 6.5)) (+ (* (log 6.5) (* z (sqrt 2.0))) (sqrt 2.0))) 1656.8104518737205) (* 676.5203681218851 (* (exp (neg 6.5)) (* (log 6.5) (sqrt 2.0)))))

simplify0.0hr

Algorithm

egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	826	2678
1	3222	2518
2	5001	2430

prune0.0hr

Filtered

209 candidates to 118 candidates (43.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	209	0	209
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	209	7	216

Merged error: 0.0b

Counts

216 → 7

regimes0.0hr

Accuracy

0% (1.0b remaining)

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

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	79	67
1	83	67
2	83	67

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	3396×	body	1280	valid
0.0hr	2514×	body	640	valid
0.0hr	1569×	body	1280	nan
0.0hr	1249×	body	640	nan
0.0hr	3936×	body	80	overflowed
0.0hr	1249×	body	320	valid
0.0hr	609×	body	320	nan
0.0hr	599×	body	160	valid
0.0hr	312×	body	160	nan
0.0hr	344×	body	80	valid
0.0hr	328×	body	80	nan

Details

sample0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

regimes0.0hr

bsearch0.0hr

simplify0.0hr

end0.0hr

sample0.0hr

Profiling