Details

sample1.3s

Algorithm

intervals

Results

432.0ms	124×	body	10240	exit
374.0ms	118×	body	1280	valid
120.0ms	73×	body	640	valid
110.0ms	40×	body	1280	nan
74.0ms	48×	body	640	nan
53.0ms	17×	body	320	nan
38.0ms	35×	body	320	valid
15.0ms	24×	body	160	valid
10.0ms	12×	body	160	nan
5.0ms	12×	body	80	nan
3.0ms	8×	body	80	valid

simplify272.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

271.0ms

(* (* (* (sqrt (* PI 2)) (pow (+ (+ (- z 1) 7) 0.5) (+ (- z 1) 0.5))) (exp (- (+ (+ (- z 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1) 1))) (/ -1259.1392167224028 (+ (- z 1) 2))) (/ 771.3234287776531 (+ (- z 1) 3))) (/ -176.6150291621406 (+ (- z 1) 4))) (/ 12.507343278686905 (+ (- z 1) 5))) (/ -0.13857109526572012 (+ (- z 1) 6))) (/ 9.984369578019572e-06 (+ (- z 1) 7))) (/ 1.5056327351493116e-07 (+ (- z 1) 8))))

prune61.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize222.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* PI 2))
1.0b	(sqrt (* PI 2))
1.0b	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
1.0b	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))

rewrite917.0ms

Algorithm

rewrite-expression-head

Rules

28×	`*-un-lft-identity`
22×	`associate-l`
20×	`add-sqr-sqrt`
14×	`unpow-prod-down` `add-exp-log`
10×	`pow1` `add-cube-cbrt` `distribute-lft-out`
8×	`add-cbrt-cube` `associate-r`
6×	`prod-exp` `unswap-sqr`
4×	`expm1-log1p-u` `sqrt-pow1` `sqrt-prod` `insert-posit16` `log1p-expm1-u` `add-log-exp` `sqr-pow`
2×	`pow-to-exp` `unpow-prod-up` `pow1/2` `pow-prod-down` `associate-l/` `pow-exp` `-commutative` `associate-+l-` `cbrt-unprod` `distribute-lft-out--` `pow-sub`

Counts

4 → 96

Calls

4 calls:

Slowest

468.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
440.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
4.0ms	(sqrt (* PI 2))
4.0ms	(sqrt (* PI 2))

series1.1s

Counts

4 → 8

Calls

4 calls:

Slowest

755.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
380.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms	(sqrt (* PI 2))
0.0ms	(sqrt (* PI 2))

simplify14.0s

Counts

64 → 104

Calls

64 calls:

Slowest

862.0ms	(+ (* (+ (/ 12.507343278686905 (+ z 4)) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (/ -0.13857109526572012 (- z -5)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (- (+ (+ 7 (- z 1)) 0.5))))) (* (+ (/ 9.984369578019572e-06 (+ 7 (- z 1))) (/ 1.5056327351493116e-07 (+ z 7))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (- (+ (+ 7 (- z 1)) 0.5))))))
849.0ms	(+ (* (+ (/ 12.507343278686905 (+ z 4)) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (/ -176.6150291621406 (+ z 3))) (/ -0.13857109526572012 (- z -5)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (- (+ (+ 7 (- z 1)) 0.5))))) (* (+ (/ 9.984369578019572e-06 (+ 7 (- z 1))) (/ 1.5056327351493116e-07 (+ z 7))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (- (+ (+ 7 (- z 1)) 0.5))))))
492.0ms	(* (pow (sqrt (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5)) (sqrt (sqrt (* PI 2))))
470.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
463.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))

prune3.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize187.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* PI 2))
1.0b	(sqrt (* PI 2))
1.0b	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
1.0b	(/ (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)))

rewrite911.0ms

Algorithm

rewrite-expression-head

Rules

50×	`*-un-lft-identity`
35×	`add-exp-log`
28×	`add-sqr-sqrt`
23×	`unpow-prod-up` `add-cube-cbrt`
21×	`associate-/r*` `times-frac`
19×	`unpow-prod-down`
18×	`prod-diff`
15×	`distribute-lft-out`
12×	`div-exp` `prod-exp`
11×	`add-cbrt-cube` `associate-l`
10×	`pow1`
8×	`pow-to-exp` `pow-exp`
4×	`expm1-log1p-u` `sqrt-pow1` `associate-r` `insert-posit16` `log1p-expm1-u` `add-log-exp` `sqr-pow`
3×	`sqrt-prod` `distribute-lft-out--` `unswap-sqr`
2×	`cbrt-undiv` `sub-neg` `pow1/2` `pow-prod-down` `cbrt-unprod` `pow-sub`
1×	`clear-num` `frac-2neg` `associate-l/` `associate-/r/` `-commutative` `associate-+l-` `div-inv` `associate-/l*`

Counts

4 → 133

Calls

4 calls:

Slowest

496.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
402.0ms	(/ (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)))
7.0ms	(sqrt (* PI 2))
4.0ms	(sqrt (* PI 2))

series1.2s

Counts

4 → 8

Calls

4 calls:

Slowest

838.0ms	(/ (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)))
375.0ms	(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms	(sqrt (* PI 2))
0.0ms	(sqrt (* PI 2))

simplify37.4s

Counts

118 → 141

Calls

118 calls:

Slowest

915.0ms	(/ (sqrt (* PI 2)) (pow (+ (+ 7 (- z 1)) 0.5) (fma (- 0.5) 1 (* 0.5 1))))
900.0ms	(/ (* (* (* (pow (+ (+ 7 (- z 1)) 0.5) z) (pow (+ (+ 7 (- z 1)) 0.5) z)) (pow (+ (+ 7 (- z 1)) 0.5) z)) (* (* (sqrt (* PI 2)) (sqrt (* PI 2))) (sqrt (* PI 2)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))))
863.0ms	(/ (* (* (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2)))) (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2)))) (* (* (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5))))
710.0ms	(pow (+ (+ 7 (- z 1)) 0.5) (fma (- (sqrt 0.5)) (sqrt 0.5) (* (sqrt 0.5) (sqrt 0.5))))
693.0ms	(/ (sqrt (* PI 2)) (pow (+ (+ 7 (- z 1)) 0.5) (fma (- 0.5) 1 (* 0.5 1))))

prune6.7s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize165.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* PI 2))
1.0b	(/ (sqrt (* PI 2)) (exp (+ (+ z 0.5) 6)))
1.0b	(* (pow (+ (+ z 0.5) 6) (+ 0.5 (+ z -1))) (/ (sqrt (* PI 2)) (exp (+ (+ z 0.5) 6))))
0.4b	(* (* (pow (+ (+ z 0.5) 6) (+ 0.5 (+ z -1))) (/ (sqrt (* PI 2)) (exp (+ (+ z 0.5) 6)))) (+ (+ (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ z 7))) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4))) (/ -176.6150291621406 (+ 3 z))) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1)))))) (/ -0.13857109526572012 (- z -5))))

rewrite31.7s

Algorithm

rewrite-expression-head

Rules

588×	`frac-add`
162×	`flip3-+` `flip-+`
157×	`*-un-lft-identity`
142×	`associate-*r/`
108×	`distribute-lft-out`
70×	`frac-times`
44×	`associate-r`
39×	`add-sqr-sqrt`
35×	`times-frac`
33×	`add-exp-log`
26×	`add-cube-cbrt`
20×	`add-cbrt-cube`
19×	`prod-exp`
11×	`associate-l`
10×	`sqrt-prod`
9×	`pow1` `exp-sum`
7×	`unpow-prod-down` `div-exp` `cbrt-unprod`
6×	`unswap-sqr`
4×	`expm1-log1p-u` `pow-to-exp` `associate-/r` `pow-exp` `insert-posit16` `log1p-expm1-u` `associate-/l` `add-log-exp`
3×	`cbrt-undiv` `sqr-pow`
2×	`sqrt-pow1` `pow-prod-down` `*-commutative` `div-inv`
1×	`distribute-rgt-in` `unpow-prod-up` `clear-num` `frac-2neg` `distribute-lft-in` `pow1/2` `associate-*l/`

Counts

4 → 299

Calls

4 calls:

Slowest

31.1s	(* (* (pow (+ (+ z 0.5) 6) (+ 0.5 (+ z -1))) (/ (sqrt (* PI 2)) (exp (+ (+ z 0.5) 6)))) (+ (+ (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ z 7))) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4))) (/ -176.6150291621406 (+ 3 z))) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1)))))) (/ -0.13857109526572012 (- z -5))))
419.0ms	(* (pow (+ (+ z 0.5) 6) (+ 0.5 (+ z -1))) (/ (sqrt (* PI 2)) (exp (+ (+ z 0.5) 6))))
107.0ms	(/ (sqrt (* PI 2)) (exp (+ (+ z 0.5) 6)))
8.0ms	(sqrt (* PI 2))

series1.6s

Counts

4 → 10

Calls

4 calls:

Slowest

862.0ms	(* (* (pow (+ (+ z 0.5) 6) (+ 0.5 (+ z -1))) (/ (sqrt (* PI 2)) (exp (+ (+ z 0.5) 6)))) (+ (+ (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ z 7))) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4))) (/ -176.6150291621406 (+ 3 z))) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1)))))) (/ -0.13857109526572012 (- z -5))))
583.0ms	(* (pow (+ (+ z 0.5) 6) (+ 0.5 (+ z -1))) (/ (sqrt (* PI 2)) (exp (+ (+ z 0.5) 6))))
140.0ms	(/ (sqrt (* PI 2)) (exp (+ (+ z 0.5) 6)))
0.0ms	(sqrt (* PI 2))

simplify2.5m

Counts

353 → 309

Calls

353 calls:

Slowest

2.1s	(+ (* (+ (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ z 7))) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4))) (/ -176.6150291621406 (+ 3 z))) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1)))))) (+ (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ z 7))) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4))) (/ -176.6150291621406 (+ 3 z))) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))))) (- (* (/ -0.13857109526572012 (- z -5)) (/ -0.13857109526572012 (- z -5))) (* (+ (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ z 7))) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4))) (/ -176.6150291621406 (+ 3 z))) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1)))))) (/ -0.13857109526572012 (- z -5)))))
1.3s	(* (* (* (+ z 6) (+ z 7)) (* (- (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4))) (/ -176.6150291621406 (+ 3 z))) (* z (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- z -1)) (/ -1259.1392167224028 (- z -1))) (* 0.9999999999998099 (/ -1259.1392167224028 (- z -1)))))))) (- z -5))
1.3s	(* (exp (+ (+ z 0.5) 6)) (* (* (* (+ z 6) (+ z 7)) (* (+ (* (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4))) (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4)))) (- (* (/ -176.6150291621406 (+ 3 z)) (/ -176.6150291621406 (+ 3 z))) (* (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4))) (/ -176.6150291621406 (+ 3 z))))) (* z (- 0.9999999999998099 (/ -1259.1392167224028 (- z -1)))))) (- z -5)))
1.2s	(* (exp (+ (+ z 0.5) 6)) (* (* (* (+ z 6) (+ z 7)) (* (+ (* (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4))) (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4)))) (- (* (/ -176.6150291621406 (+ 3 z)) (/ -176.6150291621406 (+ 3 z))) (* (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4))) (/ -176.6150291621406 (+ 3 z))))) (- (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1)))))) (- z -5)))
1.1s	(* (* (* (+ z 6) (+ z 7)) (* (+ (* (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4))) (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4)))) (- (* (/ -176.6150291621406 (+ 3 z)) (/ -176.6150291621406 (+ 3 z))) (* (+ (/ 771.3234287776531 (+ z 2)) (/ 12.507343278686905 (+ z 4))) (/ -176.6150291621406 (+ 3 z))))) (* z (- 0.9999999999998099 (/ -1259.1392167224028 (- z -1)))))) (- z -5))

prune14.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize213.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* PI 2))
1.0b	(* (sqrt (* PI 2)) (pow (+ 6 (+ 0.5 z)) (+ -1 (+ 0.5 z))))
1.0b	(+ (/ -0.13857109526572012 (+ z 5)) (/ 9.984369578019572e-06 (+ 6 z)))
0.3b	(/ (* (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ (/ -0.13857109526572012 (+ z 5)) (/ 9.984369578019572e-06 (+ 6 z)))) (+ (+ (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))) (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))) (/ -176.6150291621406 (+ z 3)))) (* (sqrt (* PI 2)) (pow (+ 6 (+ 0.5 z)) (+ -1 (+ 0.5 z))))) (exp (+ 6 (+ 0.5 z))))

rewrite4.8s

Algorithm

rewrite-expression-head

Rules

277×	`frac-add`
86×	`flip3-+` `flip-+`
72×	`associate-*l/` `associate-/l/`
50×	`*-un-lft-identity`
24×	`times-frac`
22×	`add-sqr-sqrt`
20×	`add-exp-log`
18×	`fma-def`
17×	`add-cube-cbrt`
15×	`add-cbrt-cube` `distribute-lft-out`
10×	`associate-r` `prod-exp`
7×	`pow1`
6×	`unpow-prod-down` `add-log-exp`
5×	`div-exp`
4×	`expm1-log1p-u` `associate-/r` `associate-l*` `cbrt-unprod` `insert-posit16` `log1p-expm1-u`
3×	`cbrt-undiv` `unswap-sqr`
2×	`pow-to-exp` `sqrt-pow1` `exp-sum` `pow-exp` `associate-/r/` `sqrt-prod` `div-inv` `sqr-pow`
1×	`unpow-prod-up` `+-commutative` `clear-num` `sum-log` `frac-2neg` `pow1/2` `pow-prod-down` `-commutative` `associate-/l`

Counts

4 → 186

Calls

4 calls:

Slowest

4.6s	(/ (* (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ (/ -0.13857109526572012 (+ z 5)) (/ 9.984369578019572e-06 (+ 6 z)))) (+ (+ (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))) (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))) (/ -176.6150291621406 (+ z 3)))) (* (sqrt (* PI 2)) (pow (+ 6 (+ 0.5 z)) (+ -1 (+ 0.5 z))))) (exp (+ 6 (+ 0.5 z))))
128.0ms	(* (sqrt (* PI 2)) (pow (+ 6 (+ 0.5 z)) (+ -1 (+ 0.5 z))))
54.0ms	(+ (/ -0.13857109526572012 (+ z 5)) (/ 9.984369578019572e-06 (+ 6 z)))
8.0ms	(sqrt (* PI 2))

series1.7s

Counts

4 → 10

Calls

4 calls:

Slowest

851.0ms	(/ (* (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ (/ -0.13857109526572012 (+ z 5)) (/ 9.984369578019572e-06 (+ 6 z)))) (+ (+ (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))) (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))) (/ -176.6150291621406 (+ z 3)))) (* (sqrt (* PI 2)) (pow (+ 6 (+ 0.5 z)) (+ -1 (+ 0.5 z))))) (exp (+ 6 (+ 0.5 z))))
792.0ms	(* (sqrt (* PI 2)) (pow (+ 6 (+ 0.5 z)) (+ -1 (+ 0.5 z))))
73.0ms	(+ (/ -0.13857109526572012 (+ z 5)) (/ 9.984369578019572e-06 (+ 6 z)))
0.0ms	(sqrt (* PI 2))

simplify54.8s

Counts

157 → 196

Calls

157 calls:

Slowest

1.1s	(* (+ (* (+ (* 1.5056327351493116e-07 (- (/ -0.13857109526572012 (+ z 5)) (/ 9.984369578019572e-06 (+ 6 z)))) (* (+ 7 z) (- (* (/ -0.13857109526572012 (+ z 5)) (/ -0.13857109526572012 (+ z 5))) (* (/ 9.984369578019572e-06 (+ 6 z)) (/ 9.984369578019572e-06 (+ 6 z)))))) (* (* (- 0.9999999999998099 (/ -1259.1392167224028 (- z -1))) (* (+ z 2) (+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))))) (+ z 3))) (* (* (+ 7 z) (- (/ -0.13857109526572012 (+ z 5)) (/ 9.984369578019572e-06 (+ 6 z)))) (+ (* (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (- z -1)) (/ -1259.1392167224028 (- z -1)))) (* (+ z 2) (+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))))) (* (- 0.9999999999998099 (/ -1259.1392167224028 (- z -1))) (+ (* 771.3234287776531 (+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z))))) (* (+ z 2) (+ (pow (/ 12.507343278686905 (+ z 4)) 3) (pow (/ 676.5203681218851 z) 3)))))) (+ z 3)) (* (* (- 0.9999999999998099 (/ -1259.1392167224028 (- z -1))) (* (+ z 2) (+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))))) -176.6150291621406)))) (* (sqrt (* PI 2)) (pow (+ 6 (+ 0.5 z)) (+ -1 (+ 0.5 z)))))
956.0ms	(- (log (* (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ (/ -0.13857109526572012 (+ z 5)) (/ 9.984369578019572e-06 (+ 6 z)))) (+ (+ (+ 0.9999999999998099 (/ -1259.1392167224028 (- z -1))) (+ (/ 771.3234287776531 (+ z 2)) (+ (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))) (/ -176.6150291621406 (+ z 3)))) (* (sqrt (* PI 2)) (pow (+ 6 (+ 0.5 z)) (+ -1 (+ 0.5 z)))))) (+ 6 (+ 0.5 z)))
840.0ms	(* (+ (* (+ (* 1.5056327351493116e-07 (+ (* (/ -0.13857109526572012 (+ z 5)) (/ -0.13857109526572012 (+ z 5))) (- (* (/ 9.984369578019572e-06 (+ 6 z)) (/ 9.984369578019572e-06 (+ 6 z))) (* (/ -0.13857109526572012 (+ z 5)) (/ 9.984369578019572e-06 (+ 6 z)))))) (* (+ 7 z) (+ (pow (/ -0.13857109526572012 (+ z 5)) 3) (pow (/ 9.984369578019572e-06 (+ 6 z)) 3)))) (* (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- z -1)) (/ -1259.1392167224028 (- z -1))) (* 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (+ (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (- (* (+ (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)) (+ (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z))) (* (/ 771.3234287776531 (+ z 2)) (+ (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))))) (+ z 3))) (* (* (+ 7 z) (+ (* (/ -0.13857109526572012 (+ z 5)) (/ -0.13857109526572012 (+ z 5))) (- (* (/ 9.984369578019572e-06 (+ 6 z)) (/ 9.984369578019572e-06 (+ 6 z))) (* (/ -0.13857109526572012 (+ z 5)) (/ 9.984369578019572e-06 (+ 6 z)))))) (+ (* (+ (* (+ (pow 0.9999999999998099 3) (pow (/ -1259.1392167224028 (- z -1)) 3)) (+ (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (- (* (+ (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)) (+ (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z))) (* (/ 771.3234287776531 (+ z 2)) (+ (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- z -1)) (/ -1259.1392167224028 (- z -1))) (* 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (+ (pow (/ 771.3234287776531 (+ z 2)) 3) (pow (+ (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)) 3)))) (+ z 3)) (* (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- z -1)) (/ -1259.1392167224028 (- z -1))) (* 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (+ (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (- (* (+ (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)) (+ (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z))) (* (/ 771.3234287776531 (+ z 2)) (+ (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))))) -176.6150291621406)))) (* (sqrt (* PI 2)) (pow (+ 6 (+ 0.5 z)) (+ -1 (+ 0.5 z)))))
826.0ms	(* (+ (* (+ (* 1.5056327351493116e-07 (* (+ z 5) (+ 6 z))) (* (+ 7 z) (+ (* -0.13857109526572012 (+ 6 z)) (* (+ z 5) 9.984369578019572e-06)))) (* (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- z -1)) (/ -1259.1392167224028 (- z -1))) (* 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (* (+ z 2) (+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))))) (+ z 3))) (* (* (+ 7 z) (* (+ z 5) (+ 6 z))) (+ (* (+ (* (+ (pow 0.9999999999998099 3) (pow (/ -1259.1392167224028 (- z -1)) 3)) (* (+ z 2) (+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- z -1)) (/ -1259.1392167224028 (- z -1))) (* 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (+ (* 771.3234287776531 (+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z))))) (* (+ z 2) (+ (pow (/ 12.507343278686905 (+ z 4)) 3) (pow (/ 676.5203681218851 z) 3)))))) (+ z 3)) (* (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- z -1)) (/ -1259.1392167224028 (- z -1))) (* 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (* (+ z 2) (+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))))) -176.6150291621406)))) (* (sqrt (* PI 2)) (pow (+ 6 (+ 0.5 z)) (+ -1 (+ 0.5 z)))))
819.0ms	(* (+ (* (+ (* 1.5056327351493116e-07 (+ (* (/ -0.13857109526572012 (+ z 5)) (/ -0.13857109526572012 (+ z 5))) (- (* (/ 9.984369578019572e-06 (+ 6 z)) (/ 9.984369578019572e-06 (+ 6 z))) (* (/ -0.13857109526572012 (+ z 5)) (/ 9.984369578019572e-06 (+ 6 z)))))) (* (+ 7 z) (+ (pow (/ -0.13857109526572012 (+ z 5)) 3) (pow (/ 9.984369578019572e-06 (+ 6 z)) 3)))) (* (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- z -1)) (/ -1259.1392167224028 (- z -1))) (* 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (* (+ z 2) (+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))))) (+ z 3))) (* (* (+ 7 z) (+ (* (/ -0.13857109526572012 (+ z 5)) (/ -0.13857109526572012 (+ z 5))) (- (* (/ 9.984369578019572e-06 (+ 6 z)) (/ 9.984369578019572e-06 (+ 6 z))) (* (/ -0.13857109526572012 (+ z 5)) (/ 9.984369578019572e-06 (+ 6 z)))))) (+ (* (+ (* (+ (pow 0.9999999999998099 3) (pow (/ -1259.1392167224028 (- z -1)) 3)) (* (+ z 2) (+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- z -1)) (/ -1259.1392167224028 (- z -1))) (* 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (+ (* 771.3234287776531 (+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z))))) (* (+ z 2) (+ (pow (/ 12.507343278686905 (+ z 4)) 3) (pow (/ 676.5203681218851 z) 3)))))) (+ z 3)) (* (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- z -1)) (/ -1259.1392167224028 (- z -1))) (* 0.9999999999998099 (/ -1259.1392167224028 (- z -1))))) (* (+ z 2) (+ (* (/ 12.507343278686905 (+ z 4)) (/ 12.507343278686905 (+ z 4))) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* (/ 12.507343278686905 (+ z 4)) (/ 676.5203681218851 z)))))) -176.6150291621406)))) (* (sqrt (* PI 2)) (pow (+ 6 (+ 0.5 z)) (+ -1 (+ 0.5 z)))))

prune8.2s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

regimes273.0ms

Accuracy

0% (0.9b remaining)

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

bsearch20.0ms

end0.0ms

sample47.5s

Algorithm

intervals

Results

16.8s	3822×	body	10240	exit
9.6s	3377×	body	1280	valid
7.7s	2519×	body	640	valid
4.4s	1217×	body	640	nan
3.9s	1393×	body	1280	nan
2.0s	1240×	body	320	valid
1.4s	606×	body	320	nan
766.0ms	640×	body	160	valid
299.0ms	281×	body	160	nan
183.0ms	307×	body	80	valid
151.0ms	267×	body	80	nan