Details

Time bar (total: 9.6m)

sample1.6s

Algorithm
intervals
Results
1.0s136×body10240exit
206.0ms43×body1280nan
133.0ms257×body80valid
92.0ms42×body640nan
26.0ms18×body320nan
8.0ms7×body160nan
4.0ms8×body80nan

simplify397.0ms

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

prune71.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

localize155.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.3m

Algorithm
rewrite-expression-head
Rules
688×frac-add
207×flip3-+ flip-+
177×*-un-lft-identity
128×distribute-lft-out
90×frac-times associate-*r/
28×associate-*r*
22×add-sqr-sqrt
18×add-log-exp
17×associate-*l*
15×add-cube-cbrt
14×times-frac
10×add-exp-log
9×pow1 sum-log fma-def add-cbrt-cube
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u
3×exp-sum unswap-sqr
2×+-commutative associate-+l+ sqrt-pow1 div-exp pow-prod-down cbrt-unprod
1×distribute-rgt-in cbrt-undiv rec-exp distribute-lft-in pow1/2 exp-diff 1-exp associate-*l/ associate-/r/ *-commutative associate-+l- sqrt-prod div-inv
Calls
4 calls:
Slowest
1.3m
(* (/ 1 (exp (+ (- (- 1 z) -6) 0.5))) (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))) (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))
2.6s
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
641.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
7.0ms
(sqrt (* 2 PI))

series493.0ms

Calls
4 calls:
Slowest
331.0ms
(* (/ 1 (exp (+ (- (- 1 z) -6) 0.5))) (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))) (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))
88.0ms
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
74.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
0.0ms
(sqrt (* 2 PI))

simplify2.5m

Calls
370 calls:
Slowest
1.7s
(* (exp (+ (- (- 1 z) -6) 0.5)) (* (* (+ (- 1 z) 2) (* (- (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (- 5 (+ z 1)))) (* (* (- 7 (+ z 1)) (- 6 (+ z 1))) (* (- 9 (+ z 1)) (- (- 1 z) -6)))))
1.2s
(* (* (+ (- 1 z) 2) (* (+ (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))))) (- 5 (+ z 1)))) (* (* (- 7 (+ z 1)) (- 6 (+ z 1))) (* (- 9 (+ z 1)) (- (- 1 z) -6))))
1.2s
(* (exp (+ (- (- 1 z) -6) 0.5)) (* (* (+ (- 1 z) 2) (* (- (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (- 5 (+ z 1)))) (* (- (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (- 9 (+ z 1)) (- (- 1 z) -6)))))
1.2s
(* (exp (+ (- (- 1 z) -6) 0.5)) (* (* (+ (- 1 z) 2) (* (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- 1 z)) (- 5 (+ z 1)))) (* (* (- 7 (+ z 1)) (- 6 (+ z 1))) (- (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))
1.2s
(* (exp (+ (- (- 1 z) -6) 0.5)) (* (* (+ (- 1 z) 2) (- (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))) (* (* (- 7 (+ z 1)) (- 6 (+ z 1))) (* (- 9 (+ z 1)) (- (- 1 z) -6)))))

prune18.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize192.0ms

Local error

Found 4 expressions with local error:

2.6b
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
2.3b
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.0b
(sqrt (* 2 PI))
1.0b
(* (cbrt (/ 1 (exp (+ (- (- 1 z) -6) 0.5)))) (cbrt (/ 1 (exp (+ (- (- 1 z) -6) 0.5)))))

rewrite4.1s

Algorithm
rewrite-expression-head
Rules
96×cbrt-prod
82×add-sqr-sqrt
73×*-un-lft-identity
64×times-frac
42×add-cube-cbrt
22×swap-sqr
20×associate-*r* associate-*l*
18×add-log-exp
16×unswap-sqr
14×pow1
13×distribute-lft-out
12×exp-sum
9×sum-log fma-def
8×frac-add
6×pow1/3 add-exp-log div-inv
5×flip3-+ flip-+
4×expm1-log1p-u cbrt-div add-cbrt-cube exp-diff associate-/r/ associate-+l- insert-posit16 log1p-expm1-u
3×pow-prod-down
2×+-commutative associate-+l+ sqrt-pow1 pow-sqr pow-prod-up
1×pow2 frac-times pow-plus pow1/2 associate-*l/ prod-exp associate-*r/ *-commutative sqrt-prod cbrt-unprod
Calls
4 calls:
Slowest
2.5s
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
895.0ms
(* (cbrt (/ 1 (exp (+ (- (- 1 z) -6) 0.5)))) (cbrt (/ 1 (exp (+ (- (- 1 z) -6) 0.5)))))
635.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
7.0ms
(sqrt (* 2 PI))

series476.0ms

Calls
4 calls:
Slowest
304.0ms
(* (cbrt (/ 1 (exp (+ (- (- 1 z) -6) 0.5)))) (cbrt (/ 1 (exp (+ (- (- 1 z) -6) 0.5)))))
96.0ms
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
75.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
0.0ms
(sqrt (* 2 PI))

simplify40.7s

Calls
173 calls:
Slowest
842.0ms
(+ (* 2/3 (* z (pow (/ 1 (pow (exp 7.5) 2)) 1/3))) (+ (pow (/ 1 (pow (exp 7.5) 2)) 1/3) (* 2/9 (* (pow z 2) (pow (/ 1 (pow (exp 7.5) 2)) 1/3)))))
629.0ms
(* (cbrt (/ (* (cbrt 1) (cbrt 1)) (exp (- (- 1 z) -6)))) (cbrt (/ (* (cbrt 1) (cbrt 1)) (exp (- (- 1 z) -6)))))
472.0ms
(* (sqrt (cbrt (/ 1 (exp (+ (- (- 1 z) -6) 0.5))))) (sqrt (cbrt (/ 1 (exp (+ (- (- 1 z) -6) 0.5))))))
463.0ms
(* (cbrt (sqrt (/ 1 (exp (+ (- (- 1 z) -6) 0.5))))) (cbrt (sqrt (/ 1 (exp (+ (- (- 1 z) -6) 0.5))))))
457.0ms
(* (cbrt (sqrt (/ 1 (exp (+ (- (- 1 z) -6) 0.5))))) (cbrt (sqrt (/ 1 (exp (+ (- (- 1 z) -6) 0.5))))))

prune8.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize263.0ms

Local error

Found 4 expressions with local error:

2.6b
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
2.6b
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
2.6b
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
2.3b
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))

rewrite4.6s

Algorithm
rewrite-expression-head
Rules
43×*-un-lft-identity
28×add-log-exp
21×distribute-lft-out
17×fma-def
15×sum-log
12×frac-add
9×flip3-+ flip-+
8×add-sqr-sqrt add-cube-cbrt
4×expm1-log1p-u pow1 +-commutative associate-+l+ add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
Calls
4 calls:
Slowest
2.5s
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
717.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
661.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
634.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))

series313.0ms

Calls
4 calls:
Slowest
82.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
79.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
79.0ms
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
73.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))

simplify11.1s

Calls
62 calls:
Slowest
523.0ms
(+ (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) (- 1 z)) (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 676.5203681218851))
515.0ms
(+ (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) (- 1 z)) (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 676.5203681218851))
485.0ms
(+ (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) (- 1 z)) (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 676.5203681218851))
455.0ms
(* (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- 1 z)) (- 5 (+ z 1)))
402.0ms
(+ (* (+ (pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3) (pow (/ 676.5203681218851 (- 1 z)) 3)) (- 5 (+ z 1))) (* (+ (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))))) -176.6150291621406))

prune6.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize170.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.3m

Algorithm
rewrite-expression-head
Rules
688×frac-add
207×flip3-+ flip-+
178×*-un-lft-identity
128×distribute-lft-out
90×frac-times associate-*r/
28×associate-*r*
24×add-sqr-sqrt
18×add-log-exp
17×associate-*l*
16×add-cube-cbrt
14×times-frac
10×add-exp-log
9×sum-log fma-def add-cbrt-cube
7×pow1
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u
3×exp-sum sqrt-prod unswap-sqr
2×+-commutative associate-+l+ div-exp cbrt-unprod
1×distribute-rgt-in cbrt-undiv rem-sqrt-square rec-exp distribute-lft-in sqrt-pow1 pow1/2 exp-diff 1-exp pow-prod-down associate-*l/ associate-/r/ *-commutative associate-+l- div-inv
Calls
4 calls:
Slowest
1.3m
(* (/ 1 (exp (+ (- (- 1 z) -6) 0.5))) (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))) (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))
2.6s
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
634.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
1.0ms
(sqrt PI)

series464.0ms

Calls
4 calls:
Slowest
309.0ms
(* (/ 1 (exp (+ (- (- 1 z) -6) 0.5))) (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))) (+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))
91.0ms
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
64.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
0.0ms
(sqrt PI)

simplify2.5m

Calls
371 calls:
Slowest
1.4s
(* (exp (+ (- (- 1 z) -6) 0.5)) (* (* (+ (- 1 z) 2) (- (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))) (* (* (- 7 (+ z 1)) (- 6 (+ z 1))) (* (- 9 (+ z 1)) (- (- 1 z) -6)))))
1.3s
(* (* (+ (- 1 z) 2) (* (+ (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))))) (- 5 (+ z 1)))) (* (* (- 7 (+ z 1)) (- 6 (+ z 1))) (* (- 9 (+ z 1)) (- (- 1 z) -6))))
1.2s
(* (exp (+ (- (- 1 z) -6) 0.5)) (* (* (+ (- 1 z) 2) (* (- (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (- 5 (+ z 1)))) (* (* (- 7 (+ z 1)) (- 6 (+ z 1))) (- (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))
1.2s
(* (exp (+ (- (- 1 z) -6) 0.5)) (* (* (+ (- 1 z) 2) (* (- (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (- 5 (+ z 1)))) (* (* (- 7 (+ z 1)) (- 6 (+ z 1))) (* (- 9 (+ z 1)) (- (- 1 z) -6)))))
1.2s
(* (exp (+ (- (- 1 z) -6) 0.5)) (* (* (+ (- 1 z) 2) (* (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- 1 z)) (- 5 (+ z 1)))) (* (* (- 7 (+ z 1)) (- 6 (+ z 1))) (- (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))

prune18.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

regimes275.0ms

bsearch48.0ms

end0.0ms