Details

Time bar (total: 9.5m)

sample1.9s

Algorithm
intervals
Results
839.0ms132×body10240exit
258.0ms115×body1280valid
253.0ms77×body640valid
168.0ms56×body1280nan
90.0ms42×body640nan
68.0ms32×body320nan
51.0ms38×body320valid
20.0ms24×body160valid
14.0ms18×body160nan
6.0ms10×body80nan
1.0ms3×body80valid

simplify230.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
229.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))))

prune88.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.7b

localize208.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)))

rewrite879.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
432.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
430.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
8.0ms
(sqrt (* PI 2))
7.0ms
(sqrt (* PI 2))

series664.0ms

Counts
4 → 8
Calls
4 calls:
Slowest
342.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
322.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))

simplify27.5s

Counts
108 → 104
Calls
108 calls:
Slowest
795.0ms
(+ (* (log (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5)) (log (sqrt (* PI 2))))
742.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))))))
741.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))))))
449.0ms
(sqrt (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))))
439.0ms
(cbrt (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))))

prune4.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.4b

localize201.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* PI 2))
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)))

rewrite522.0ms

Algorithm
rewrite-expression-head
Rules
16×*-un-lft-identity
13×pow1
12×add-sqr-sqrt
11×associate-*l*
9×add-exp-log
7×unpow-prod-down add-cube-cbrt
6×sqrt-pow1 add-cbrt-cube
5×distribute-lft-out
4×expm1-log1p-u associate-*r* sqrt-prod insert-posit16 log1p-expm1-u add-log-exp
3×pow1/2 pow-prod-down prod-exp unswap-sqr
2×sqr-pow
1×pow-to-exp unpow-prod-up associate-*l/ pow-exp *-commutative associate-+l- cbrt-unprod distribute-lft-out-- pow-sub
Counts
4 → 76
Calls
4 calls:
Slowest
507.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
7.0ms
(sqrt (* PI 2))
3.0ms
(sqrt (* PI 2))
3.0ms
(sqrt (* PI 2))

series378.0ms

Counts
4 → 6
Calls
4 calls:
Slowest
378.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))

simplify15.6s

Counts
87 → 82
Calls
87 calls:
Slowest
790.0ms
(* (cbrt (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))) (cbrt (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))))
443.0ms
(real->posit16 (* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))))
438.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (/ (+ (- z 1) 0.5) 2)) (sqrt (sqrt (* PI 2))))
426.0ms
(* (pow (+ (+ 7 (- z 1)) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
417.0ms
(+ (* (log (+ (+ 7 (- z 1)) 0.5)) (+ (- z 1) 0.5)) (log (sqrt (* PI 2))))

prune3.6s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.4b

localize204.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.3m

Algorithm
rewrite-expression-head
Rules
522×frac-add
268×*-un-lft-identity
176×associate-*l/
144×times-frac
135×exp-sum
124×add-sqr-sqrt
117×add-cube-cbrt
114×flip3-+ flip-+
108×prod-diff
104×distribute-lft-out
88×associate-*r*
44×frac-times
38×sqrt-prod
30×add-exp-log
20×add-cbrt-cube associate-*l*
18×associate-/r*
17×prod-exp
9×pow1 sub-neg associate--l+
7×unpow-prod-down cbrt-unprod
5×div-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u associate-/l* add-log-exp
3×pow-to-exp cbrt-undiv pow-exp unswap-sqr
2×sqrt-pow1 exp-diff pow-prod-down associate-/r/ *-commutative div-inv distribute-lft-out-- sqr-pow
1×unpow-prod-up clear-num frac-2neg pow1/2 associate-*r/ difference-of-squares
Counts
4 → 407
Calls
4 calls:
Slowest
2.2m
(* (+ (+ (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) 0.9999999999998099) (/ -1259.1392167224028 (- z -1))) (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z))) (+ (+ (/ 12.507343278686905 (+ z 4)) (/ -0.13857109526572012 (- z -5))) (/ 1.5056327351493116e-07 (+ z 7)))) (/ 9.984369578019572e-06 (+ z 6))) (pow (- (+ z 0.5) -6) (+ 0.5 (+ -1 z))))
2.1m
(* (* (+ (+ (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) 0.9999999999998099) (/ -1259.1392167224028 (- z -1))) (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z))) (+ (+ (/ 12.507343278686905 (+ z 4)) (/ -0.13857109526572012 (- z -5))) (/ 1.5056327351493116e-07 (+ z 7)))) (/ 9.984369578019572e-06 (+ z 6))) (pow (- (+ z 0.5) -6) (+ 0.5 (+ -1 z)))) (/ (sqrt (* PI 2)) (exp (- (+ z 0.5) -6))))
98.0ms
(/ (sqrt (* PI 2)) (exp (- (+ z 0.5) -6)))
7.0ms
(sqrt (* PI 2))

series1.4s

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

simplify3.5m

Counts
535 → 417
Calls
535 calls:
Slowest
2.1s
(* (* (* (+ (+ (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) 0.9999999999998099) (/ -1259.1392167224028 (- z -1))) (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z))) (+ (+ (/ 12.507343278686905 (+ z 4)) (/ -0.13857109526572012 (- z -5))) (/ 1.5056327351493116e-07 (+ z 7)))) (/ 9.984369578019572e-06 (+ z 6))) (pow (- (+ z 0.5) -6) (+ 0.5 (+ -1 z)))) (* (+ (+ (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) 0.9999999999998099) (/ -1259.1392167224028 (- z -1))) (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z))) (+ (+ (/ 12.507343278686905 (+ z 4)) (/ -0.13857109526572012 (- z -5))) (/ 1.5056327351493116e-07 (+ z 7)))) (/ 9.984369578019572e-06 (+ z 6))) (pow (- (+ z 0.5) -6) (+ 0.5 (+ -1 z))))) (* (+ (+ (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) 0.9999999999998099) (/ -1259.1392167224028 (- z -1))) (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z))) (+ (+ (/ 12.507343278686905 (+ z 4)) (/ -0.13857109526572012 (- z -5))) (/ 1.5056327351493116e-07 (+ z 7)))) (/ 9.984369578019572e-06 (+ z 6))) (pow (- (+ z 0.5) -6) (+ 0.5 (+ -1 z)))))
1.2s
(* (* (* (* (* (* (+ (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 771.3234287776531 (+ z 2)) 0.9999999999998099))) (- z -1)) z) (+ 3 z)) (- (+ (/ 12.507343278686905 (+ z 4)) (/ -0.13857109526572012 (- z -5))) (/ 1.5056327351493116e-07 (+ z 7)))) (+ z 6)) (exp (- (+ z 0.5) -6)))
1.2s
(* (* (* (* (* (* (- (/ 771.3234287776531 (+ z 2)) 0.9999999999998099) (- z -1)) z) (+ 3 z)) (* (- (/ 12.507343278686905 (+ z 4)) (/ -0.13857109526572012 (- z -5))) (+ z 7))) (+ z 6)) (exp (- (+ z 0.5) -6)))
1.2s
(* (* (+ (+ (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) 0.9999999999998099) (/ -1259.1392167224028 (- z -1))) (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z))) (+ (+ (/ 12.507343278686905 (+ z 4)) (/ -0.13857109526572012 (- z -5))) (/ 1.5056327351493116e-07 (+ z 7)))) (/ 9.984369578019572e-06 (+ z 6))) (pow (- (+ z 0.5) -6) (+ 0.5 (+ -1 z)))) (/ (sqrt PI) (exp (fma (sqrt (+ z 0.5)) (sqrt (+ z 0.5)) (- (* (cbrt -6) (* (cbrt -6) (cbrt -6))))))))
1.1s
(* (* (+ (+ (+ (+ (+ (+ (/ 771.3234287776531 (+ z 2)) 0.9999999999998099) (/ -1259.1392167224028 (- z -1))) (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 3 z))) (+ (+ (/ 12.507343278686905 (+ z 4)) (/ -0.13857109526572012 (- z -5))) (/ 1.5056327351493116e-07 (+ z 7)))) (/ 9.984369578019572e-06 (+ z 6))) (pow (- (+ z 0.5) -6) (+ 0.5 (+ -1 z)))) (/ 1 (exp (fma 1 (+ z 0.5) (- (* (cbrt -6) (* (cbrt -6) (cbrt -6))))))))

prune11.8s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize273.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* PI 2))
1.0b
(/ (sqrt (* PI 2)) (exp (+ (- 0.5 -6) z)))
1.0b
(* (* (/ 1.5056327351493116e-07 (+ 7 z)) (/ 1.5056327351493116e-07 (+ 7 z))) (/ 1.5056327351493116e-07 (+ 7 z)))
1.0b
(fma -1259.1392167224028 (fma 0.9999999999998099 (- 0.9999999999998099 (/ 771.3234287776531 (+ z 2))) (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2)))) (* (- z -1) (fma (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (/ 771.3234287776531 (+ z 2)) (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099))))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
47×add-cbrt-cube
46×add-exp-log
29×times-frac
28×*-un-lft-identity
26×pow1
25×add-sqr-sqrt
22×add-cube-cbrt
18×associate-*r* prod-exp cbrt-unprod
14×cbrt-undiv div-exp
6×pow-plus pow-prod-up sqrt-prod
5×frac-times exp-sum associate-*l/
4×expm1-log1p-u associate-/r* pow-prod-down insert-posit16 log1p-expm1-u associate-/l* add-log-exp
3×associate-*r/ associate-/r/ distribute-lft-out
2×pow2 sqrt-pow1 pow-sqr div-inv unswap-sqr
1×clear-num frac-2neg flip3-+ pow1/2 exp-diff associate-*l* pow3 *-commutative associate-+l- flip-+ fma-udef
Counts
4 → 135
Calls
4 calls:
Slowest
52.0ms
(/ (sqrt (* PI 2)) (exp (+ (- 0.5 -6) z)))
47.0ms
(* (* (/ 1.5056327351493116e-07 (+ 7 z)) (/ 1.5056327351493116e-07 (+ 7 z))) (/ 1.5056327351493116e-07 (+ 7 z)))
3.0ms
(sqrt (* PI 2))
0.0ms
(fma -1259.1392167224028 (fma 0.9999999999998099 (- 0.9999999999998099 (/ 771.3234287776531 (+ z 2))) (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2)))) (* (- z -1) (fma (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (/ 771.3234287776531 (+ z 2)) (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099))))

series237.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
103.0ms
(fma -1259.1392167224028 (fma 0.9999999999998099 (- 0.9999999999998099 (/ 771.3234287776531 (+ z 2))) (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2)))) (* (- z -1) (fma (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (/ 771.3234287776531 (+ z 2)) (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099))))
93.0ms
(/ (sqrt (* PI 2)) (exp (+ (- 0.5 -6) z)))
41.0ms
(* (* (/ 1.5056327351493116e-07 (+ 7 z)) (/ 1.5056327351493116e-07 (+ 7 z))) (/ 1.5056327351493116e-07 (+ 7 z)))
0.0ms
(sqrt (* PI 2))

simplify21.6s

Counts
165 → 145
Calls
165 calls:
Slowest
706.0ms
(* (* (fma -1259.1392167224028 (fma 0.9999999999998099 (- 0.9999999999998099 (/ 771.3234287776531 (+ z 2))) (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2)))) (* (- z -1) (fma (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (/ 771.3234287776531 (+ z 2)) (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099)))) (fma -1259.1392167224028 (fma 0.9999999999998099 (- 0.9999999999998099 (/ 771.3234287776531 (+ z 2))) (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2)))) (* (- z -1) (fma (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (/ 771.3234287776531 (+ z 2)) (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099))))) (fma -1259.1392167224028 (fma 0.9999999999998099 (- 0.9999999999998099 (/ 771.3234287776531 (+ z 2))) (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2)))) (* (- z -1) (fma (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (/ 771.3234287776531 (+ z 2)) (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099)))))
632.0ms
(* (* (* (* (/ 1.5056327351493116e-07 (+ 7 z)) (/ 1.5056327351493116e-07 (+ 7 z))) (/ 1.5056327351493116e-07 (+ 7 z))) (* (* (/ 1.5056327351493116e-07 (+ 7 z)) (/ 1.5056327351493116e-07 (+ 7 z))) (/ 1.5056327351493116e-07 (+ 7 z)))) (* (* (/ 1.5056327351493116e-07 (+ 7 z)) (/ 1.5056327351493116e-07 (+ 7 z))) (/ 1.5056327351493116e-07 (+ 7 z))))
580.0ms
(/ (* (* (fma (fma (fma (+ (/ 12.507343278686905 (+ 4 z)) (/ -0.13857109526572012 (+ z 5))) (+ (/ 12.507343278686905 (+ 4 z)) (/ -0.13857109526572012 (+ z 5))) (* (- (/ 1.5056327351493116e-07 (+ 7 z)) (+ (/ 12.507343278686905 (+ 4 z)) (/ -0.13857109526572012 (+ z 5)))) (/ 1.5056327351493116e-07 (+ 7 z)))) (fma (+ z 3) (fma z (fma -1259.1392167224028 (fma 0.9999999999998099 (- 0.9999999999998099 (/ 771.3234287776531 (+ z 2))) (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2)))) (* (- z -1) (fma (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (/ 771.3234287776531 (+ z 2)) (* (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099)))) (* 676.5203681218851 (* (- z -1) (fma 0.9999999999998099 (- 0.9999999999998099 (/ 771.3234287776531 (+ z 2))) (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))))))) (* -176.6150291621406 (* z (* (- z -1) (fma 0.9999999999998099 (- 0.9999999999998099 (/ 771.3234287776531 (+ z 2))) (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2)))))))) (* (* (* z (* (- z -1) (fma 0.9999999999998099 (- 0.9999999999998099 (/ 771.3234287776531 (+ z 2))) (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2)))))) (+ z 3)) (fma (+ (/ 12.507343278686905 (+ 4 z)) (/ -0.13857109526572012 (+ z 5))) (* (+ (/ 12.507343278686905 (+ 4 z)) (/ -0.13857109526572012 (+ z 5))) (+ (/ 12.507343278686905 (+ 4 z)) (/ -0.13857109526572012 (+ z 5)))) (* (* (/ 1.5056327351493116e-07 (+ 7 z)) (/ 1.5056327351493116e-07 (+ 7 z))) (/ 1.5056327351493116e-07 (+ 7 z)))))) (+ 6 z) (* (* 9.984369578019572e-06 (* (* z (* (- z -1) (fma 0.9999999999998099 (- 0.9999999999998099 (/ 771.3234287776531 (+ z 2))) (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2)))))) (+ z 3))) (fma (+ (/ 12.507343278686905 (+ 4 z)) (/ -0.13857109526572012 (+ z 5))) (+ (/ 12.507343278686905 (+ 4 z)) (/ -0.13857109526572012 (+ z 5))) (* (- (/ 1.5056327351493116e-07 (+ 7 z)) (+ (/ 12.507343278686905 (+ 4 z)) (/ -0.13857109526572012 (+ z 5)))) (/ 1.5056327351493116e-07 (+ 7 z)))))) (pow (+ (- 0.5 -6) z) (+ (+ z -1) 0.5))) (/ (sqrt (* PI 2)) (exp (+ (- 0.5 -6) z)))) (* (* (* (* (* (+ (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 771.3234287776531 (+ z 2)) 0.9999999999998099))) (- z -1)) z) (+ 3 z)) (+ (* (+ (/ 12.507343278686905 (+ z 4)) (/ -0.13857109526572012 (- z -5))) (+ (/ 12.507343278686905 (+ z 4)) (/ -0.13857109526572012 (- z -5)))) (- (* (/ 1.5056327351493116e-07 (+ z 7)) (/ 1.5056327351493116e-07 (+ z 7))) (* (+ (/ 12.507343278686905 (+ z 4)) (/ -0.13857109526572012 (- z -5))) (/ 1.5056327351493116e-07 (+ z 7)))))) (+ z 6)))
413.0ms
(* (* (* (* (/ 1.5056327351493116e-07 (+ 7 z)) (/ 1.5056327351493116e-07 (+ 7 z))) (* (/ 1.5056327351493116e-07 (+ 7 z)) (/ 1.5056327351493116e-07 (+ 7 z)))) (* (/ 1.5056327351493116e-07 (+ 7 z)) (/ 1.5056327351493116e-07 (+ 7 z)))) (* (* (/ 1.5056327351493116e-07 (+ 7 z)) (/ 1.5056327351493116e-07 (+ 7 z))) (/ 1.5056327351493116e-07 (+ 7 z))))
405.0ms
(* (* (/ (sqrt (* PI 2)) (exp (+ (- 0.5 -6) z))) (/ (sqrt (* PI 2)) (exp (+ (- 0.5 -6) z)))) (/ (sqrt (* PI 2)) (exp (+ (- 0.5 -6) z))))

prune8.5s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes112.0ms

bsearch37.0ms

end0.0ms