Details

sample690.0ms

Algorithm

intervals

Results

284.0ms	136×	body	5120	exit
137.0ms	109×	body	1280	valid
76.0ms	58×	body	1280	nan
72.0ms	77×	body	640	valid
42.0ms	44×	body	640	nan
26.0ms	40×	body	320	valid
14.0ms	20×	body	320	nan
9.0ms	20×	body	160	valid
7.0ms	15×	body	160	nan
2.0ms	11×	body	80	valid
2.0ms	7×	body	80	nan

simplify31.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5065	89

prune17.0ms

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

Counts

2 → 2

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.6s

Algorithm

rewrite-expression-head

Rules

353×	`*-un-lft-identity`
192×	`distribute-lft-out`
81×	`times-frac`
27×	`distribute-lft-out--`
23×	`add-exp-log`
22×	`associate-*r/`
21×	`associate-r`
17×	`prod-exp`
15×	`add-cbrt-cube`
13×	`distribute-rgt-in` `distribute-lft-in`
11×	`pow1` `frac-times`
9×	`add-sqr-sqrt` `exp-diff` `associate-l` `add-log-exp`
8×	`flip3-+` `flip-+`
7×	`add-cube-cbrt` `cbrt-unprod`
6×	`associate-+r-` `pow-sub`
4×	`associate-*l/` `frac-add`
3×	`pow-prod-down` `sum-log`
2×	`pow-to-exp` `sqrt-pow1` `exp-sum` `pow-exp` `sqrt-prod` `*-commutative`
1×	`+-commutative` `sub-neg` `associate-+r+` `pow1/2` `unswap-sqr`

Counts

4 → 143

Calls

4 calls:

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

series69.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify75.0ms

Algorithm

egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5055	8495

prune826.0ms

Filtered

81 candidates to 153 candidates (-88.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	145	8	153
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	147	8	155

Merged error: 0.0b

Counts

155 → 8

localize57.0ms

Local error

Found 4 expressions with local error:

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

rewrite714.0ms

Algorithm

rewrite-expression-head

Rules

253×	`*-un-lft-identity`
111×	`distribute-lft-out`
81×	`times-frac`
27×	`distribute-lft-out--`
12×	`pow1`
10×	`add-exp-log`
9×	`frac-times` `add-cbrt-cube` `add-log-exp`
7×	`associate-*r/` `prod-exp`
6×	`associate-+r-` `flip3-+` `exp-diff` `flip-+` `pow-sub`
5×	`add-sqr-sqrt` `add-cube-cbrt` `associate-l` `associate-*l/`
4×	`sqrt-pow1` `frac-add`
3×	`pow-prod-down` `sum-log` `cbrt-unprod`
2×	`pow1/2` `exp-sum` `sqrt-prod`
1×	`+-commutative` `pow-to-exp` `sub-neg` `associate-+r+` `associate-r` `pow-exp` `*-commutative`

Counts

4 → 99

Calls

4 calls:

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

series35.0ms

Counts

4 → 8

Calls

4 calls:

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

simplify59.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5069	5156

prune602.0ms

Filtered

64 candidates to 107 candidates (-67.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	105	2	107
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	107	8	115

Merged error: 0b

Counts

115 → 8

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.4s

Algorithm

rewrite-expression-head

Rules

347×	`*-un-lft-identity`
187×	`distribute-lft-out`
81×	`times-frac`
31×	`add-exp-log`
29×	`associate-*r/` `prod-exp`
27×	`distribute-lft-out--`
23×	`associate-l`
20×	`add-cbrt-cube`
11×	`pow1` `frac-times` `cbrt-unprod`
9×	`add-sqr-sqrt` `exp-diff` `add-log-exp`
8×	`flip3-+` `flip-+`
7×	`add-cube-cbrt` `associate-*l/`
6×	`associate-+r-` `associate-r` `pow-sub`
4×	`frac-add`
3×	`pow-to-exp` `pow-prod-down` `pow-exp` `sum-log`
2×	`sqrt-pow1` `exp-sum` `sqrt-prod` `*-commutative`
1×	`+-commutative` `sub-neg` `associate-+r+` `pow1/2` `unswap-sqr`

Counts

4 → 136

Calls

4 calls:

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

series77.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify97.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4972	8789
1	4972	8789

prune811.0ms

Filtered

79 candidates to 146 candidates (-84.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	143	3	146
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	147	7	154

Merged error: 0b

Counts

154 → 7

localize64.0ms

Local error

Found 4 expressions with local error:

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

rewrite725.0ms

Algorithm

rewrite-expression-head

Rules

358×	`*-un-lft-identity`
192×	`distribute-lft-out`
81×	`times-frac`
28×	`distribute-lft-out--`
23×	`associate-l`
16×	`add-sqr-sqrt` `associate-r`
10×	`add-exp-log`
9×	`pow1` `add-cube-cbrt` `add-log-exp`
8×	`add-cbrt-cube`
7×	`unpow-prod-down`
4×	`flip3-+` `frac-add` `prod-exp` `flip-+` `unswap-sqr`
3×	`exp-diff` `sum-log`
2×	`frac-times` `sqrt-pow1` `associate-r/` `exp-sum` `pow-prod-down` `associate-l/` `sqrt-prod` `*-commutative` `cbrt-unprod` `sqr-pow`
1×	`unpow-prod-up` `+-commutative` `pow-to-exp` `associate-+r-` `sub-neg` `associate-+r+` `pow1/2` `pow-exp` `pow-sub`

Counts

4 → 128

Calls

4 calls:

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

series45.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify84.0ms

Algorithm

egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4955	5456
1	4955	5456

prune574.0ms

Filtered

75 candidates to 138 candidates (-84.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	138	0	138
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	138	7	145

Merged error: 0b

Counts

145 → 7

regimes77.0ms

Accuracy

0% (0.9b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	152	91
1	152	91

end0.0ms

sample20.6s

Algorithm

intervals

Results

8.2s	3893×	body	5120	exit
4.4s	3434×	body	1280	valid
2.4s	2517×	body	640	valid
2.0s	1511×	body	1280	nan
1.2s	1220×	body	640	nan
790.0ms	1174×	body	320	valid
467.0ms	640×	body	320	nan
278.0ms	609×	body	160	valid
150.0ms	330×	body	160	nan
83.0ms	373×	body	80	valid
58.0ms	299×	body	80	nan

Details

sample690.0ms

simplify31.0ms

prune17.0ms

localize53.0ms

rewrite1.6s

series69.0ms

simplify75.0ms

prune826.0ms

localize57.0ms

rewrite714.0ms

series35.0ms

simplify59.0ms

prune602.0ms

localize58.0ms

rewrite1.4s

series77.0ms

simplify97.0ms

prune811.0ms

localize64.0ms

rewrite725.0ms

series45.0ms

simplify84.0ms

prune574.0ms

regimes77.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample20.6s

Profiling