Details

Time bar (total: 5.5m)

sample1.9s

Algorithm
intervals
Results
752.0ms102×body1280valid
478.0ms122×body10240exit
221.0ms93×body640valid
165.0ms61×body1280nan
72.0ms38×body640nan
35.0ms25×body320valid
25.0ms26×body160valid
24.0ms21×body320nan
13.0ms13×body160nan
7.0ms12×body80valid
6.0ms13×body80nan

simplify1.3s

Counts
1 → 1

prune77.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize189.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.0m

Algorithm
rewrite-expression-head
Rules
1063×*-un-lft-identity
815×distribute-lft-out
212×frac-add
184×times-frac
101×associate-*r*
69×add-sqr-sqrt
64×add-cube-cbrt
58×associate-/l/
53×flip3-+ flip-+
47×exp-sum
30×add-exp-log
23×associate-/l*
20×add-cbrt-cube
17×prod-exp
12×associate-*l*
9×pow1
7×unpow-prod-down cbrt-unprod
5×div-exp associate-+l-
4×expm1-log1p-u associate-/r* associate-*l/ insert-posit16 log1p-expm1-u add-log-exp
3×pow-to-exp cbrt-undiv pow-exp pow-sub unswap-sqr
2×associate-+r- sqrt-pow1 exp-diff pow-prod-down associate-/r/ *-commutative sqrt-prod div-inv sqr-pow
1×frac-times unpow-prod-up clear-num frac-2neg pow1/2 associate-*r/ distribute-lft-out--
Counts
4 → 366
Calls
4 calls:
Slowest
31.9s
(/ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 12.507343278686905 (- z (- 1 5))) (/ 9.984369578019572e-06 (+ 7 (- z 1))))) (/ 1.5056327351493116e-07 (+ (- z 1) 8))) (+ (/ 771.3234287776531 (+ 3 (- z 1))) (+ (/ -1259.1392167224028 (+ 2 (- z 1))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1) 4)))))) (exp (+ (+ 7 (- z 1)) 0.5)))
28.4s
(* (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (/ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 12.507343278686905 (- z (- 1 5))) (/ 9.984369578019572e-06 (+ 7 (- z 1))))) (/ 1.5056327351493116e-07 (+ (- z 1) 8))) (+ (/ 771.3234287776531 (+ 3 (- z 1))) (+ (/ -1259.1392167224028 (+ 2 (- z 1))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1) 4)))))) (exp (+ (+ 7 (- z 1)) 0.5))))
449.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
7.0ms
(sqrt (* PI 2))

series1.5s

Counts
4 → 10
Calls
4 calls:
Slowest
896.0ms
(* (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (/ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 12.507343278686905 (- z (- 1 5))) (/ 9.984369578019572e-06 (+ 7 (- z 1))))) (/ 1.5056327351493116e-07 (+ (- z 1) 8))) (+ (/ 771.3234287776531 (+ 3 (- z 1))) (+ (/ -1259.1392167224028 (+ 2 (- z 1))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1) 4)))))) (exp (+ (+ 7 (- z 1)) 0.5))))
369.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
259.0ms
(/ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 12.507343278686905 (- z (- 1 5))) (/ 9.984369578019572e-06 (+ 7 (- z 1))))) (/ 1.5056327351493116e-07 (+ (- z 1) 8))) (+ (/ 771.3234287776531 (+ 3 (- z 1))) (+ (/ -1259.1392167224028 (+ 2 (- z 1))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1) 4)))))) (exp (+ (+ 7 (- z 1)) 0.5)))
0.0ms
(sqrt (* PI 2))

simplify2.2s

Counts
376 → 376

prune15.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize183.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.2m

Algorithm
rewrite-expression-head
Rules
1085×*-un-lft-identity
820×distribute-lft-out
212×frac-add
205×times-frac
106×add-exp-log
97×associate-*r*
77×add-sqr-sqrt add-cube-cbrt
59×associate-/l/
56×prod-exp
53×flip3-+ flip-+
47×exp-sum
44×div-exp
36×add-cbrt-cube
25×associate-/r*
24×associate-/l*
22×unpow-prod-up
18×prod-diff
17×pow-to-exp pow-exp
12×unpow-prod-down cbrt-unprod
10×cbrt-undiv
9×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r/ div-inv
2×clear-num associate-+r- sub-neg frac-2neg sqrt-pow1 exp-diff pow-prod-down associate-*r/ associate-+l- distribute-lft-out-- sqr-pow
1×pow1/2 associate-*l* *-commutative sqrt-prod pow-sub
Counts
4 → 420
Calls
4 calls:
Slowest
31.3s
(/ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 12.507343278686905 (- z (- 1 5))) (/ 9.984369578019572e-06 (+ 7 (- z 1))))) (/ 1.5056327351493116e-07 (+ (- z 1) 8))) (+ (/ 771.3234287776531 (+ 3 (- z 1))) (+ (/ -1259.1392167224028 (+ 2 (- z 1))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1) 4)))))) (exp (+ (+ 7 (- z 1)) 0.5)))
27.9s
(* (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (/ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 12.507343278686905 (- z (- 1 5))) (/ 9.984369578019572e-06 (+ 7 (- z 1))))) (/ 1.5056327351493116e-07 (+ (- z 1) 8))) (+ (/ 771.3234287776531 (+ 3 (- z 1))) (+ (/ -1259.1392167224028 (+ 2 (- z 1))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1) 4)))))) (exp (+ (+ 7 (- z 1)) 0.5))))
15.6s
(/ (* (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (/ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 12.507343278686905 (- z (- 1 5))) (/ 9.984369578019572e-06 (+ 7 (- z 1))))) (/ 1.5056327351493116e-07 (+ (- z 1) 8))) (+ (/ 771.3234287776531 (+ 3 (- z 1))) (+ (/ -1259.1392167224028 (+ 2 (- z 1))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1) 4)))))) (exp (+ (+ 7 (- z 1)) 0.5)))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)))
4.0ms
(sqrt (* PI 2))

series1.7s

Counts
4 → 10
Calls
4 calls:
Slowest
998.0ms
(/ (* (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (/ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 12.507343278686905 (- z (- 1 5))) (/ 9.984369578019572e-06 (+ 7 (- z 1))))) (/ 1.5056327351493116e-07 (+ (- z 1) 8))) (+ (/ 771.3234287776531 (+ 3 (- z 1))) (+ (/ -1259.1392167224028 (+ 2 (- z 1))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1) 4)))))) (exp (+ (+ 7 (- z 1)) 0.5)))) (pow (+ (+ 7 (- z 1)) 0.5) (- 1 0.5)))
502.0ms
(* (* (pow (+ (+ 7 (- z 1)) 0.5) z) (sqrt (* PI 2))) (/ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 12.507343278686905 (- z (- 1 5))) (/ 9.984369578019572e-06 (+ 7 (- z 1))))) (/ 1.5056327351493116e-07 (+ (- z 1) 8))) (+ (/ 771.3234287776531 (+ 3 (- z 1))) (+ (/ -1259.1392167224028 (+ 2 (- z 1))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1) 4)))))) (exp (+ (+ 7 (- z 1)) 0.5))))
232.0ms
(/ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 12.507343278686905 (- z (- 1 5))) (/ 9.984369578019572e-06 (+ 7 (- z 1))))) (/ 1.5056327351493116e-07 (+ (- z 1) 8))) (+ (/ 771.3234287776531 (+ 3 (- z 1))) (+ (/ -1259.1392167224028 (+ 2 (- z 1))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1) 4)))))) (exp (+ (+ 7 (- z 1)) 0.5)))
0.0ms
(sqrt (* PI 2))

simplify4.3s

Counts
430 → 430

prune15.8s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize224.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.8s

Algorithm
rewrite-expression-head
Rules
3189×*-un-lft-identity
2399×distribute-lft-out
879×times-frac
324×frac-add
287×add-sqr-sqrt
282×add-cube-cbrt
140×associate-/l*
136×exp-sum
93×flip3-+ flip-+
83×associate-/l/
13×add-cbrt-cube
12×add-exp-log
11×associate-*l*
7×pow1 associate-/r* unpow-prod-down
6×div-inv
5×associate-+r- exp-diff associate-/r/
4×expm1-log1p-u cbrt-undiv div-exp associate-*r* insert-posit16 log1p-expm1-u add-log-exp
3×prod-exp unswap-sqr
2×clear-num frac-2neg sqrt-pow1 sqrt-prod sqr-pow
1×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 → 758
Calls
4 calls:
Slowest
16.8s
(/ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 9.984369578019572e-06 (+ 7 (- z 1))) (/ 12.507343278686905 (+ (- z 1) 5)))) (+ (/ 1.5056327351493116e-07 (+ (- z 1) 8)) (+ (+ (/ 771.3234287776531 (+ 3 (- z 1))) (/ -1259.1392167224028 (+ (- z 1) 2))) (+ (/ -176.6150291621406 (+ 4 (- z 1))) (+ (/ 676.5203681218851 z) 0.9999999999998099))))) (exp (+ 7 (- z 1))))
16.7s
(/ (/ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 9.984369578019572e-06 (+ 7 (- z 1))) (/ 12.507343278686905 (+ (- z 1) 5)))) (+ (/ 1.5056327351493116e-07 (+ (- z 1) 8)) (+ (+ (/ 771.3234287776531 (+ 3 (- z 1))) (/ -1259.1392167224028 (+ (- z 1) 2))) (+ (/ -176.6150291621406 (+ 4 (- z 1))) (+ (/ 676.5203681218851 z) 0.9999999999998099))))) (exp (+ 7 (- z 1)))) (exp 0.5))
303.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
4.0ms
(sqrt (* PI 2))

series911.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
522.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
215.0ms
(/ (/ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 9.984369578019572e-06 (+ 7 (- z 1))) (/ 12.507343278686905 (+ (- z 1) 5)))) (+ (/ 1.5056327351493116e-07 (+ (- z 1) 8)) (+ (+ (/ 771.3234287776531 (+ 3 (- z 1))) (/ -1259.1392167224028 (+ (- z 1) 2))) (+ (/ -176.6150291621406 (+ 4 (- z 1))) (+ (/ 676.5203681218851 z) 0.9999999999998099))))) (exp (+ 7 (- z 1)))) (exp 0.5))
173.0ms
(/ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 9.984369578019572e-06 (+ 7 (- z 1))) (/ 12.507343278686905 (+ (- z 1) 5)))) (+ (/ 1.5056327351493116e-07 (+ (- z 1) 8)) (+ (+ (/ 771.3234287776531 (+ 3 (- z 1))) (/ -1259.1392167224028 (+ (- z 1) 2))) (+ (/ -176.6150291621406 (+ 4 (- z 1))) (+ (/ 676.5203681218851 z) 0.9999999999998099))))) (exp (+ 7 (- z 1))))
0.0ms
(sqrt (* PI 2))

simplify1.8s

Counts
768 → 768

prune21.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize150.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.9s

Algorithm
rewrite-expression-head
Rules
3180×*-un-lft-identity
2394×distribute-lft-out
879×times-frac
324×frac-add
283×add-sqr-sqrt
282×add-cube-cbrt
140×associate-/l*
136×exp-sum
93×flip3-+ flip-+
83×associate-/l/
17×add-exp-log
16×add-cbrt-cube
7×pow1 associate-/r* prod-exp
6×associate-*r* sqrt-prod div-inv
5×associate-+r- exp-diff associate-/r/
4×expm1-log1p-u cbrt-undiv div-exp insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-unprod
2×clear-num frac-2neg
1×pow-to-exp rem-sqrt-square sqrt-pow1 pow1/2 associate-*l* pow-prod-down associate-*l/ pow-exp associate-*r/ *-commutative pow-sub
Counts
4 → 752
Calls
4 calls:
Slowest
16.9s
(/ (/ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 9.984369578019572e-06 (+ 7 (- z 1))) (/ 12.507343278686905 (+ (- z 1) 5)))) (+ (/ 1.5056327351493116e-07 (+ (- z 1) 8)) (+ (+ (/ 771.3234287776531 (+ 3 (- z 1))) (/ -1259.1392167224028 (+ (- z 1) 2))) (+ (/ -176.6150291621406 (+ 4 (- z 1))) (+ (/ 676.5203681218851 z) 0.9999999999998099))))) (exp (+ 7 (- z 1)))) (exp 0.5))
16.9s
(/ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 9.984369578019572e-06 (+ 7 (- z 1))) (/ 12.507343278686905 (+ (- z 1) 5)))) (+ (/ 1.5056327351493116e-07 (+ (- z 1) 8)) (+ (+ (/ 771.3234287776531 (+ 3 (- z 1))) (/ -1259.1392167224028 (+ (- z 1) 2))) (+ (/ -176.6150291621406 (+ 4 (- z 1))) (+ (/ 676.5203681218851 z) 0.9999999999998099))))) (exp (+ 7 (- z 1))))
44.0ms
(* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI))
1.0ms
(sqrt PI)

series661.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
268.0ms
(* (* (sqrt 2) (pow (+ z 6.5) (- z 0.5))) (sqrt PI))
218.0ms
(/ (/ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 9.984369578019572e-06 (+ 7 (- z 1))) (/ 12.507343278686905 (+ (- z 1) 5)))) (+ (/ 1.5056327351493116e-07 (+ (- z 1) 8)) (+ (+ (/ 771.3234287776531 (+ 3 (- z 1))) (/ -1259.1392167224028 (+ (- z 1) 2))) (+ (/ -176.6150291621406 (+ 4 (- z 1))) (+ (/ 676.5203681218851 z) 0.9999999999998099))))) (exp (+ 7 (- z 1)))) (exp 0.5))
175.0ms
(/ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (/ 9.984369578019572e-06 (+ 7 (- z 1))) (/ 12.507343278686905 (+ (- z 1) 5)))) (+ (/ 1.5056327351493116e-07 (+ (- z 1) 8)) (+ (+ (/ 771.3234287776531 (+ 3 (- z 1))) (/ -1259.1392167224028 (+ (- z 1) 2))) (+ (/ -176.6150291621406 (+ 4 (- z 1))) (+ (/ 676.5203681218851 z) 0.9999999999998099))))) (exp (+ 7 (- z 1))))
0.0ms
(sqrt PI)

simplify2.2s

Counts
762 → 762

prune22.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

regimes134.0ms

Accuracy

0% (0.7b remaining)

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

bsearch15.0ms

end0.0ms

sample31.6s

Algorithm
intervals
Results
11.6s3813×body10240exit
7.2s3404×body1280valid
3.7s2485×body640valid
3.1s1440×body1280nan
1.7s1232×body640nan
1.6s1202×body320valid
1.4s600×body320nan
464.0ms646×body160valid
342.0ms297×body80nan
225.0ms317×body160nan
109.0ms360×body80valid