Details

Time bar (total: 4.2m)

sample1.6s

Algorithm
intervals
Results
990.0ms127×body10240exit
197.0ms257×body80valid
143.0ms40×body1280nan
127.0ms47×body640nan
35.0ms21×body320nan
7.0ms7×body160nan
6.0ms11×body80nan

simplify374.0ms

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

prune60.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

localize203.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
(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))

rewrite4.5s

Algorithm
rewrite-expression-head
Rules
1068×*-un-lft-identity
361×distribute-lft-out
342×times-frac
255×distribute-lft-out--
30×add-log-exp
23×frac-add
22×fma-def
17×sum-log
12×flip3-+ flip-+
7×add-sqr-sqrt pow1 add-cube-cbrt
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×+-commutative associate-+l+
2×sqrt-pow1
1×associate-+r+ pow1/2 pow-prod-down sqrt-prod
Counts
4 → 193
Calls
4 calls:
Slowest
2.7s
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.2s
(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
624.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
4.0ms
(sqrt (* 2 PI))

series310.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
141.0ms
(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
103.0ms
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
66.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
0.0ms
(sqrt (* 2 PI))

simplify41.0s

Counts
242 → 203
Calls
242 calls:
Slowest
666.0ms
(+ (* (+ (pow (/ -0.13857109526572012 (- 7 (+ z 1))) 3) (pow (/ 12.507343278686905 (- 6 (+ z 1))) 3)) (* (- 9 (+ z 1)) (- (- 1 z) -6))) (* (+ (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (- (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))) (+ (* 1.5056327351493116e-07 (- (- 1 z) -6)) (* (- 9 (+ z 1)) 9.984369578019572e-06))))
599.0ms
(+ (* (- (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))) (* (- 9 (+ z 1)) (- (- 1 z) -6))) (* (- (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (* 1.5056327351493116e-07 (- (- 1 z) -6)) (* (- 9 (+ z 1)) 9.984369578019572e-06))))
585.0ms
(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
549.0ms
(+ (* (+ (pow (/ -0.13857109526572012 (- 7 (+ z 1))) 3) (pow (/ 12.507343278686905 (- 6 (+ z 1))) 3)) (- (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6)))) (* (+ (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ -0.13857109526572012 (- 7 (+ z 1)))) (- (* (/ 12.507343278686905 (- 6 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))) (- (* (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 1.5056327351493116e-07 (- 9 (+ z 1)))) (* (/ 9.984369578019572e-06 (- (- 1 z) -6)) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))
542.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))

prune7.7s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.2b

localize731.0ms

Local error

Found 4 expressions with local error:

2.3b
(+ (/ (+ (pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3) (pow (/ 676.5203681218851 (- 1 z)) 3)) (+ (* (+ (/ -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 (- 5 (+ z 1))))
1.6b
(+ (pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3) (pow (/ 676.5203681218851 (- 1 z)) 3))
1.0b
(sqrt (* 2 PI))
1.0b
(pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3)

rewrite8.3s

Algorithm
rewrite-expression-head
Rules
211×fma-def
167×flip3-+ flip-+
164×frac-times
158×*-un-lft-identity
155×frac-add
154×associate-/r/
134×associate-*l/
126×associate-*r/
120×frac-sub
68×distribute-lft-out
51×times-frac
40×unpow-prod-down cube-prod
27×add-sqr-sqrt add-cube-cbrt
16×sub-div
8×pow1 flip3-- flip-- add-log-exp
6×cube-div
5×add-cbrt-cube add-exp-log
4×expm1-log1p-u sum-cubes insert-posit16 log1p-expm1-u distribute-lft-out--
3×pow-unpow
2×cube-mult +-commutative sum-log sqrt-pow1 unpow3 sqr-pow
1×pow-to-exp pow-pow pow1/2 pow-prod-down pow-exp sqrt-prod div-inv rem-cube-cbrt
Counts
4 → 303
Calls
4 calls:
Slowest
6.9s
(+ (/ (+ (pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3) (pow (/ 676.5203681218851 (- 1 z)) 3)) (+ (* (+ (/ -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 (- 5 (+ z 1))))
1.2s
(+ (pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3) (pow (/ 676.5203681218851 (- 1 z)) 3))
188.0ms
(pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3)
8.0ms
(sqrt (* 2 PI))

series1.0s

Counts
4 → 10
Calls
4 calls:
Slowest
824.0ms
(+ (/ (+ (pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3) (pow (/ 676.5203681218851 (- 1 z)) 3)) (+ (* (+ (/ -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 (- 5 (+ z 1))))
119.0ms
(+ (pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3) (pow (/ 676.5203681218851 (- 1 z)) 3))
63.0ms
(pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3)
0.0ms
(sqrt (* 2 PI))

simplify1.2m

Counts
276 → 313
Calls
276 calls:
Slowest
1.3s
(/ (+ (pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3) (pow (/ 676.5203681218851 (- 1 z)) 3)) (+ (* (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099))) (* (- 1 z) (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- 1 z)))) (* (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (- (* (* 676.5203681218851 (/ 676.5203681218851 (- 1 z))) (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- 1 z))) (* (- 1 z) (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) 676.5203681218851))))))
1.2s
(pow (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) 3)
860.0ms
(/ (+ (pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3) (pow (/ 676.5203681218851 (- 1 z)) 3)) (+ (* (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (* (- 1 z) (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- 1 z)))) (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- (* (* 676.5203681218851 (/ 676.5203681218851 (- 1 z))) (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- 1 z))) (* (- 1 z) (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) 676.5203681218851))))))
856.0ms
(/ (+ (pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3) (pow (/ 676.5203681218851 (- 1 z)) 3)) (+ (* (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099))) (* (* (- 1 z) (- 1 z)) (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- 1 z)))) (* (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (- (* (* 676.5203681218851 676.5203681218851) (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- 1 z))) (* (* (- 1 z) (- 1 z)) (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) 676.5203681218851))))))
839.0ms
(/ (+ (pow (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) 3) (pow (/ 676.5203681218851 (- 1 z)) 3)) (+ (* (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (* (- 1 z) (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- (* (* 676.5203681218851 (/ 676.5203681218851 (- 1 z))) (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (* (- 1 z) (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))))))

prune20.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize492.0ms

Local error

Found 4 expressions with local error:

1.1b
(fma (/ (fma (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)) (+ (* 0.9999999999998099 (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))))) (fma (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (/ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- 2 z))) (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (/ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- 2 z)))) (* (* (- 1 z) (- 1 z)) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (fma (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z))) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ 1 (- 1 z)))))) (fma (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z))) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ 1 (- 1 z))))))) (- (* (* 676.5203681218851 676.5203681218851) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (/ 676.5203681218851 (- 1 z)) (* (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (- 1 z) (- 1 z))))))) (* (* (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))) (* (* (- 1 z) (- 1 z)) (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.0b
(fma (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)) (+ (* 0.9999999999998099 (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)))))
1.0b
(sqrt (* 2 PI))
1.0b
(* (/ 676.5203681218851 (- 1 z)) (* (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)))

rewrite758.0ms

Algorithm
rewrite-expression-head
Rules
24×associate-*l*
23×add-sqr-sqrt *-un-lft-identity
18×times-frac
16×frac-times add-cbrt-cube add-exp-log
14×add-cube-cbrt
12×pow1 associate-*r/
7×flip3-- flip--
6×flip3-+ prod-exp cbrt-unprod flip-+ difference-of-squares
5×associate-*l/
4×distribute-rgt-in expm1-log1p-u distribute-lft-in pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
3×distribute-lft-out--
2×cbrt-undiv sqrt-pow1 div-exp associate-/r/ fma-udef
1×pow1/2 associate-*r* *-commutative sqrt-prod div-inv
Counts
4 → 103
Calls
4 calls:
Slowest
751.0ms
(* (/ 676.5203681218851 (- 1 z)) (* (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)))
4.0ms
(sqrt (* 2 PI))
0.0ms
(fma (/ (fma (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)) (+ (* 0.9999999999998099 (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))))) (fma (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (/ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- 2 z))) (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (/ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- 2 z)))) (* (* (- 1 z) (- 1 z)) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (fma (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z))) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ 1 (- 1 z)))))) (fma (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z))) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ 1 (- 1 z))))))) (- (* (* 676.5203681218851 676.5203681218851) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (/ 676.5203681218851 (- 1 z)) (* (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (- 1 z) (- 1 z))))))) (* (* (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))) (* (* (- 1 z) (- 1 z)) (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (/ -176.6150291621406 (- 5 (+ z 1))))
0.0ms
(fma (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)) (+ (* 0.9999999999998099 (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)))))

series1.0s

Counts
4 → 10
Calls
4 calls:
Slowest
784.0ms
(fma (/ (fma (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)) (+ (* 0.9999999999998099 (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))))) (fma (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (/ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- 2 z))) (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (/ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- 2 z)))) (* (* (- 1 z) (- 1 z)) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (fma (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z))) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ 1 (- 1 z)))))) (fma (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z))) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ 1 (- 1 z))))))) (- (* (* 676.5203681218851 676.5203681218851) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (/ 676.5203681218851 (- 1 z)) (* (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (- 1 z) (- 1 z))))))) (* (* (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))) (* (* (- 1 z) (- 1 z)) (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (/ -176.6150291621406 (- 5 (+ z 1))))
131.0ms
(fma (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)) (+ (* 0.9999999999998099 (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)))))
130.0ms
(* (/ 676.5203681218851 (- 1 z)) (* (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)))
0.0ms
(sqrt (* 2 PI))

simplify18.2s

Counts
75 → 113
Calls
75 calls:
Slowest
1.4s
(* (/ (* (* 676.5203681218851 676.5203681218851) 676.5203681218851) (* (* (- 1 z) (- 1 z)) (- 1 z))) (* (* (* (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))))
1.1s
(* (* (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z))) (* (* (* (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))))
1.0s
(* (* (/ PI (sin (* PI z))) (* (sqrt (* 2 PI)) (pow (+ (- (- 1 z) -6) 0.5) (- 1 (- (+ z 1) 0.5))))) (* (/ 1 (exp (+ (- (- 1 z) -6) 0.5))) (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (fma (/ (fma (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)) (+ (* 0.9999999999998099 (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))))) (fma (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (/ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- 2 z))) (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (/ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- 2 z)))) (* (* (- 1 z) (- 1 z)) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (fma (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z))) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ 1 (- 1 z)))))) (fma (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z))) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ 1 (- 1 z))))))) (- (* (* 676.5203681218851 676.5203681218851) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (/ 676.5203681218851 (- 1 z)) (* (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (- 1 z) (- 1 z))))))) (* (* (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))) (* (* (- 1 z) (- 1 z)) (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (/ -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)))))))
1.0s
(* (/ (* (* 676.5203681218851 676.5203681218851) 676.5203681218851) (* (* (- 1 z) (- 1 z)) (- 1 z))) (* (* (* (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))))
936.0ms
(* (* (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z))) (* (* (* (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))))

prune10.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize561.0ms

Local error

Found 4 expressions with local error:

1.1b
(fma (/ (fma (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)) (+ (* 0.9999999999998099 (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))))) (fma (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (/ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- 2 z))) (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (/ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- 2 z)))) (* (* (- 1 z) (- 1 z)) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (fma (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z))) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ 1 (- 1 z)))))) (fma (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z))) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ 1 (- 1 z))))))) (- (* (* 676.5203681218851 676.5203681218851) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (+ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))) (* (* 0.9999999999998099 (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z)))) (* (- 1 z) (- 1 z))))))) (* (* (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))) (* (* (- 1 z) (- 1 z)) (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.0b
(fma (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)) (+ (* 0.9999999999998099 (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)))))
1.0b
(sqrt (* 2 PI))
1.0b
(* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z))))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
25×add-cbrt-cube add-exp-log
21×associate-*r*
15×times-frac
13×add-sqr-sqrt add-cube-cbrt
12×pow1
10×prod-exp cbrt-unprod
6×distribute-lft-out
5×cbrt-undiv div-exp
4×expm1-log1p-u pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l/ distribute-lft-out--
2×sqrt-pow1 associate-/r/ fma-udef
1×frac-times flip3-+ pow1/2 associate-*l* associate-*r/ *-commutative sqrt-prod flip-+ div-inv
Counts
4 → 86
Calls
4 calls:
Slowest
156.0ms
(* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z))))
4.0ms
(sqrt (* 2 PI))
0.0ms
(fma (/ (fma (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)) (+ (* 0.9999999999998099 (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))))) (fma (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (/ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- 2 z))) (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (/ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- 2 z)))) (* (* (- 1 z) (- 1 z)) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (fma (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z))) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ 1 (- 1 z)))))) (fma (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z))) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ 1 (- 1 z))))))) (- (* (* 676.5203681218851 676.5203681218851) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (+ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))) (* (* 0.9999999999998099 (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z)))) (* (- 1 z) (- 1 z))))))) (* (* (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))) (* (* (- 1 z) (- 1 z)) (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (/ -176.6150291621406 (- 5 (+ z 1))))
0.0ms
(fma (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)) (+ (* 0.9999999999998099 (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)))))

series1.1s

Counts
4 → 10
Calls
4 calls:
Slowest
943.0ms
(fma (/ (fma (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)) (+ (* 0.9999999999998099 (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))))) (fma (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (/ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- 2 z))) (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (/ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z)))) (- 2 z)))) (* (* (- 1 z) (- 1 z)) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (* (fma (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z))) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ 1 (- 1 z)))))) (fma (/ -1259.1392167224028 (+ 1 (- 1 z))) (/ -1259.1392167224028 (+ 1 (- 1 z))) (* 0.9999999999998099 (- 0.9999999999998099 (/ -1259.1392167224028 (+ 1 (- 1 z))))))) (- (* (* 676.5203681218851 676.5203681218851) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (* (+ (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))) (* (* 0.9999999999998099 (- (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z)))) (* (- 1 z) (- 1 z))))))) (* (* (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (+ (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))) (* (* (- 1 z) (- 1 z)) (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (/ -176.6150291621406 (- 5 (+ z 1))))
142.0ms
(fma (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (/ 676.5203681218851 (- 1 z)) (+ (* 0.9999999999998099 (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099))) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) (* (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ 1 (- 1 z))) 0.9999999999998099)))))
45.0ms
(* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z))))
0.0ms
(sqrt (* 2 PI))

simplify8.8s

Counts
53 → 96
Calls
53 calls:
Slowest
928.0ms
(* (* (/ (* (* -1259.1392167224028 -1259.1392167224028) -1259.1392167224028) (* (* (+ 1 (- 1 z)) (+ 1 (- 1 z))) (+ 1 (- 1 z)))) (* (* -1259.1392167224028 -1259.1392167224028) -1259.1392167224028)) (/ (* (* -1259.1392167224028 -1259.1392167224028) -1259.1392167224028) (* (* (+ 1 (- 1 z)) (+ 1 (- 1 z))) (+ 1 (- 1 z)))))
561.0ms
(* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z))))
457.0ms
(* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (/ -1259.1392167224028 (+ 1 (- 1 z))))
405.0ms
(* (* (* (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028)) (* (/ -1259.1392167224028 (+ 1 (- 1 z))) -1259.1392167224028)) (/ (* (* -1259.1392167224028 -1259.1392167224028) -1259.1392167224028) (* (* (+ 1 (- 1 z)) (+ 1 (- 1 z))) (+ 1 (- 1 z)))))
392.0ms
(+ (+ (- (log -1259.1392167224028) (log (+ 1 (- 1 z)))) (log -1259.1392167224028)) (- (log -1259.1392167224028) (log (+ 1 (- 1 z)))))

prune8.2s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

regimes242.0ms

Accuracy

0% (0.3b remaining)

Error of 0.6b against oracle of 0.3b and baseline of 0.6b

bsearch63.0ms

end0.0ms

sample39.9s

Algorithm
intervals
Results
21.6s3664×body10240exit
6.0s1457×body1280nan
5.6s8092×body80valid
3.2s1234×body640nan
2.0s623×body320nan
664.0ms277×body80nan
462.0ms315×body160nan