Details

Time bar (total: 8.5m)

sample1.6s

Algorithm
intervals
Results
1000.0ms118×body10240exit
186.0ms258×body80valid
180.0ms50×body1280nan
75.0ms38×body640nan
32.0ms17×body320nan
11.0ms10×body160nan
9.0ms13×body80nan

simplify369.0ms

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

prune58.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

localize177.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.4m

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
Counts
4 → 316
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.7s
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
625.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
7.0ms
(sqrt (* 2 PI))

series461.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
313.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))))))
87.0ms
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
61.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
0.0ms
(sqrt (* 2 PI))

simplify2.5m

Counts
370 → 326
Calls
370 calls:
Slowest
1.5s
(* (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.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))) (/ -176.6150291621406 (- 5 (+ z 1))))) (* (* (- 7 (+ z 1)) (- 6 (+ z 1))) (* (- 9 (+ z 1)) (- (- 1 z) -6)))))
1.1s
(* (* (+ (- 1 z) 2) (* (- (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (- 5 (+ z 1)))) (* (+ (* (/ -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)))))) (* (- 9 (+ z 1)) (- (- 1 z) -6))))
1.1s
(* (* (+ (- 1 z) 2) (- (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))) (* (+ (* (/ -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)))))) (* (- 9 (+ z 1)) (- (- 1 z) -6))))

prune17.9s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

localize146.0ms

Local error

Found 4 expressions with local error:

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

rewrite9.7s

Algorithm
rewrite-expression-head
Rules
460×frac-add
404×*-un-lft-identity
286×distribute-lft-out
173×add-log-exp
167×flip3-+ flip-+
135×sum-log
70×associate--l- log-div
31×log-prod associate--l+
20×prod-diff
19×add-sqr-sqrt
17×add-cube-cbrt
16×pow1 distribute-lft-out--
14×fma-def
9×log-pow
8×times-frac
4×expm1-log1p-u add-cbrt-cube fma-neg diff-log add-exp-log insert-posit16 log1p-expm1-u
2×+-commutative associate-+l+ sqrt-pow1
1×associate-+r+ sub-neg flip3-- pow1/2 pow-prod-down associate-+l- sqrt-prod flip-- associate--r+ associate--r- difference-of-squares
Counts
4 → 336
Calls
4 calls:
Slowest
5.7s
(+ (+ (/ 676.5203681218851 (- 1 z)) (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) 0.9999999999998099)) (+ (+ (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (+ (/ 9.984369578019572e-06 (- 7 z)) (+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (+ (- 6 z) -1))))))
3.7s
(- (log (+ (+ (/ 676.5203681218851 (- 1 z)) (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) 0.9999999999998099)) (+ (+ (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (+ (/ 9.984369578019572e-06 (- 7 z)) (+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (+ (- 6 z) -1))))))) (+ (- 7 z) 0.5))
314.0ms
(+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) 0.9999999999998099)
4.0ms
(sqrt (* 2 PI))

series521.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
222.0ms
(- (log (+ (+ (/ 676.5203681218851 (- 1 z)) (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) 0.9999999999998099)) (+ (+ (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (+ (/ 9.984369578019572e-06 (- 7 z)) (+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (+ (- 6 z) -1))))))) (+ (- 7 z) 0.5))
219.0ms
(+ (+ (/ 676.5203681218851 (- 1 z)) (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) 0.9999999999998099)) (+ (+ (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (+ (/ 9.984369578019572e-06 (- 7 z)) (+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (+ (- 6 z) -1))))))
80.0ms
(+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) 0.9999999999998099)
0.0ms
(sqrt (* 2 PI))

simplify2.3m

Counts
375 → 346
Calls
375 calls:
Slowest
1.3s
(log (- (* (+ (/ 676.5203681218851 (- 1 z)) (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) 0.9999999999998099)) (+ (/ 676.5203681218851 (- 1 z)) (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) 0.9999999999998099))) (* (+ (+ (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (+ (/ 9.984369578019572e-06 (- 7 z)) (+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (+ (- 6 z) -1))))) (+ (+ (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (+ (/ 9.984369578019572e-06 (- 7 z)) (+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (+ (- 6 z) -1))))))))
1.1s
(* (* (- 1 z) (- (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) 0.9999999999998099)) (* (+ (* (/ -176.6150291621406 (- 4 z)) (/ -176.6150291621406 (- 4 z))) (- (* (/ 1.5056327351493116e-07 (- 8 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))))) (* (- 7 z) (- (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (+ (- 6 z) -1))))))
1.1s
(* (* (- 1 z) (+ (* (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))) (- (* 0.9999999999998099 0.9999999999998099) (* (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) 0.9999999999998099)))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (* (- 6 z) (+ (- 6 z) -1)))))
1.0s
(* (* (- 1 z) (- (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) 0.9999999999998099)) (* (* (- 4 z) (- 8 z)) (* (- 7 z) (+ (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))) (- (* (/ 12.507343278686905 (+ (- 6 z) -1)) (/ 12.507343278686905 (+ (- 6 z) -1))) (* (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (+ (- 6 z) -1))))))))
893.0ms
(* (- (/ 676.5203681218851 (- 1 z)) (+ (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) 0.9999999999998099)) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (* (- 6 z) (+ (- 6 z) -1)))))

prune17.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize401.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
157×*-un-lft-identity
118×add-sqr-sqrt
80×add-cube-cbrt
79×times-frac
56×prod-diff
44×distribute-rgt-in distribute-lft-in
39×associate-*r/
35×pow1
30×distribute-lft-out--
28×add-cbrt-cube add-exp-log
27×swap-sqr
22×associate-*r* associate-*l*
19×flip3-- associate-/r/ flip--
18×log-prod associate--l+
13×frac-times difference-of-squares
12×prod-exp cbrt-unprod distribute-lft-out
10×pow-prod-down add-log-exp
9×log-pow
7×associate-*l/
6×frac-sub
5×sub-neg div-inv
4×expm1-log1p-u cbrt-undiv fma-neg diff-log div-exp insert-posit16 log1p-expm1-u unswap-sqr
2×sum-log sqrt-pow1 *-commutative
1×associate--l- pow2 log-div pow-plus pow1/2 pow-sqr pow-prod-up associate-+l- sqrt-prod associate--r+ associate--r-
Counts
4 → 263
Calls
4 calls:
Slowest
1.8s
(- (log (/ (fma (fma (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099)))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))) (* (fma (fma (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) 9.984369578019572e-06 (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z))) (* (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))) (/ -0.13857109526572012 (- 6 z)))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (+ (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))))) (fma (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))))) (* (* (fma (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)) (- (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099))) (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (* (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) (- 7 z))))) (+ (- 7 z) 0.5))
229.0ms
(* (* (fma (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)) (- (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099))) (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (* (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) (- 7 z)))
27.0ms
(* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z)))
7.0ms
(sqrt (* 2 PI))

series2.3s

Counts
4 → 10
Calls
4 calls:
Slowest
1.6s
(- (log (/ (fma (fma (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099)))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))) (* (fma (fma (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) 9.984369578019572e-06 (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z))) (* (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))) (/ -0.13857109526572012 (- 6 z)))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (+ (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))))) (fma (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))))) (* (* (fma (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)) (- (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099))) (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (* (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) (- 7 z))))) (+ (- 7 z) 0.5))
646.0ms
(* (* (fma (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)) (- (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099))) (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (* (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) (- 7 z)))
33.0ms
(* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z)))
0.0ms
(sqrt (* 2 PI))

simplify1.2m

Counts
281 → 273
Calls
281 calls:
Slowest
827.0ms
(log (/ (fma (fma (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099)))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))) (* (fma (fma (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) 9.984369578019572e-06 (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z))) (* (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))) (/ -0.13857109526572012 (- 6 z)))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (+ (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))))) (fma (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))))) (* (* (fma (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)) (- (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099))) (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))) (- (* -176.6150291621406 (- 8 z)) (* (- 4 z) 1.5056327351493116e-07))) (* (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) (- (* 7 7) (* z z))))))
811.0ms
(* (* (fma (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)) (- (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099))) (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (* (- z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))))))
765.0ms
(fma (* (cbrt (log (/ (fma (fma (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099)))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))) (* (fma (fma (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) 9.984369578019572e-06 (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z))) (* (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))) (/ -0.13857109526572012 (- 6 z)))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (+ (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))))) (fma (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))))) (* (* (fma (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)) (- (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099))) (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (* (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) (- 7 z)))))) (cbrt (log (/ (fma (fma (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099)))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))) (* (fma (fma (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) 9.984369578019572e-06 (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z))) (* (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))) (/ -0.13857109526572012 (- 6 z)))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (+ (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))))) (fma (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))))) (* (* (fma (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)) (- (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099))) (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (* (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) (- 7 z))))))) (cbrt (log (/ (fma (fma (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099)))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))) (* (fma (fma (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) 9.984369578019572e-06 (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z))) (* (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))) (/ -0.13857109526572012 (- 6 z)))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (+ (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))))) (fma (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))))) (* (* (fma (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)) (- (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099))) (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (* (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) (- 7 z)))))) (- (* (+ (- 7 z) 0.5) 1)))
740.0ms
(* (* (fma (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)) (- (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099))) (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))) (- (* (/ -176.6150291621406 (- 4 z)) (/ -176.6150291621406 (- 4 z))) (* (/ 1.5056327351493116e-07 (- 8 z)) (/ 1.5056327351493116e-07 (- 8 z))))) (* (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) (- (* 7 7) (* z z))))
736.0ms
(fma (* (cbrt (log (/ (fma (fma (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099)))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))) (* (fma (fma (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) 9.984369578019572e-06 (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z))) (* (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))) (/ -0.13857109526572012 (- 6 z)))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (+ (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))))) (fma (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))))) (* (* (fma (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)) (- (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099))) (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (* (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) (- 7 z)))))) (cbrt (log (/ (fma (fma (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099)))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))) (* (fma (fma (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) 9.984369578019572e-06 (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z))) (* (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))) (/ -0.13857109526572012 (- 6 z)))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (+ (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))))) (fma (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))))) (* (* (fma (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)) (- (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099))) (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (* (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) (- 7 z))))))) (cbrt (log (/ (fma (fma (/ 676.5203681218851 (- 1 z)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (* (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099)))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))) (* (fma (fma (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) 9.984369578019572e-06 (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z))) (* (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))) (/ -0.13857109526572012 (- 6 z)))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (+ (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (- 7 z) (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))))) (fma (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -1259.1392167224028 (- 2 z))) (- 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)))))) (* (* (fma (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z)) (- (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099))) (* (+ (/ 771.3234287776531 (- 3 z)) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (/ 676.5203681218851 (- 1 z))))) (- (/ -176.6150291621406 (- 4 z)) (/ 1.5056327351493116e-07 (- 8 z)))) (* (fma (/ 12.507343278686905 (- 5 z)) (- (/ 12.507343278686905 (- 5 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))) (- 7 z)))))) (- (* (cbrt (+ (- 7 z) 0.5)) (* (cbrt (+ (- 7 z) 0.5)) (cbrt (+ (- 7 z) 0.5))))))

prune15.8s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize262.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* 2 PI))
1.0b
(* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z)))
1.0b
(* (* (+ (+ (/ 771.3234287776531 (- 3 z)) 0.9999999999998099) (/ -1259.1392167224028 (- 2 z))) (+ (+ (/ 771.3234287776531 (- 3 z)) 0.9999999999998099) (/ -1259.1392167224028 (- 2 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) 0.9999999999998099) (/ -1259.1392167224028 (- 2 z))))
1.0b
(+ (/ 771.3234287776531 (- 3 z)) 0.9999999999998099)

rewrite932.0ms

Algorithm
rewrite-expression-head
Rules
177×frac-times
151×flip3-+ flip-+
150×frac-add
109×*-un-lft-identity
97×add-sqr-sqrt
91×times-frac
54×add-cube-cbrt
45×associate-*l/
33×pow1
27×swap-sqr
26×associate-*r*
25×associate-*r/
22×associate-*l*
21×fma-def add-cbrt-cube add-exp-log distribute-lft-out--
15×difference-of-squares
10×associate-/r/
7×pow-plus prod-exp pow-prod-up cbrt-unprod
6×add-log-exp
5×flip3-- pow-prod-down div-inv flip-- unswap-sqr
4×expm1-log1p-u cbrt-undiv div-exp insert-posit16 log1p-expm1-u distribute-lft-out
3×pow2 pow-sqr
2×sqrt-pow1 *-commutative
1×distribute-rgt-in +-commutative sum-log distribute-lft-in pow1/2 pow3 sqrt-prod
Counts
4 → 309
Calls
4 calls:
Slowest
868.0ms
(* (* (+ (+ (/ 771.3234287776531 (- 3 z)) 0.9999999999998099) (/ -1259.1392167224028 (- 2 z))) (+ (+ (/ 771.3234287776531 (- 3 z)) 0.9999999999998099) (/ -1259.1392167224028 (- 2 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) 0.9999999999998099) (/ -1259.1392167224028 (- 2 z))))
27.0ms
(* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z)))
23.0ms
(+ (/ 771.3234287776531 (- 3 z)) 0.9999999999998099)
4.0ms
(sqrt (* 2 PI))

series137.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
83.0ms
(* (* (+ (+ (/ 771.3234287776531 (- 3 z)) 0.9999999999998099) (/ -1259.1392167224028 (- 2 z))) (+ (+ (/ 771.3234287776531 (- 3 z)) 0.9999999999998099) (/ -1259.1392167224028 (- 2 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) 0.9999999999998099) (/ -1259.1392167224028 (- 2 z))))
32.0ms
(* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z)))
22.0ms
(+ (/ 771.3234287776531 (- 3 z)) 0.9999999999998099)
0.0ms
(sqrt (* 2 PI))