Details

Time bar (total: 6.6m)

sample1.5s

Algorithm
intervals
Results
892.0ms118×body10240exit
149.0ms258×body80valid
142.0ms42×body1280nan
141.0ms36×body640nan
17.0ms11×body320nan
13.0ms9×body160nan
4.0ms7×body80nan

simplify370.0ms

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

prune72.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

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

rewrite3.6s

Algorithm
rewrite-expression-head
Rules
108×*-un-lft-identity
36×times-frac
33×fma-def
32×distribute-lft-out
22×add-sqr-sqrt
20×add-log-exp
18×distribute-lft-out--
16×add-cube-cbrt
10×sum-log
9×frac-add
7×pow1
6×flip3-+ flip-+
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×+-commutative difference-of-squares
2×associate-+l+ sqrt-pow1 associate-/r/
1×flip3-- pow1/2 pow-prod-down sqrt-prod div-inv flip--
Calls
4 calls:
Slowest
2.8s
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
695.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
118.0ms
(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))
4.0ms
(sqrt (* 2 PI))

series229.0ms

Calls
4 calls:
Slowest
93.0ms
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
77.0ms
(+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))
58.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
0.0ms
(sqrt (* 2 PI))

simplify11.3s

Calls
85 calls:
Slowest
610.0ms
(/ -0.13857109526572012 (- (* 7 7) (* (+ z 1) (+ z 1))))
557.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))
480.0ms
(* (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- 1 z)) (- 5 (+ z 1)))
413.0ms
(/ -0.13857109526572012 (- (pow 7 3) (pow (+ z 1) 3)))
380.0ms
(* (- (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (- 5 (+ z 1)))

prune4.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize200.0ms

Local error

Found 4 expressions with local error:

2.5b
(- (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))))
2.3b
(+ (/ (- (* (+ (/ -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.0b
(sqrt (* 2 PI))
1.0b
(* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))

rewrite4.3s

Algorithm
rewrite-expression-head
Rules
110×*-un-lft-identity
50×times-frac
42×add-sqr-sqrt
36×fma-def
26×flip3-+ frac-sub flip-+ distribute-lft-out
24×frac-times
20×add-cube-cbrt distribute-lft-out--
16×associate-*l/ associate-*r/ difference-of-squares
14×pow1
8×add-log-exp
6×add-cbrt-cube swap-sqr add-exp-log
4×expm1-log1p-u associate-*r* associate-*l* associate-/r/ insert-posit16 log1p-expm1-u
2×distribute-rgt-in distribute-lft-in sqrt-pow1 flip3-- pow-prod-down associate--l+ flip--
1×pow2 +-commutative sum-log sub-neg pow-plus pow1/2 fma-neg diff-log div-sub prod-diff frac-add prod-exp pow-sqr *-commutative pow-prod-up associate-+l- sqrt-prod cbrt-unprod div-inv unswap-sqr
Calls
4 calls:
Slowest
3.5s
(+ (/ (- (* (+ (/ -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))))
680.0ms
(* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))
149.0ms
(- (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))))
4.0ms
(sqrt (* 2 PI))

series521.0ms

Calls
4 calls:
Slowest
381.0ms
(+ (/ (- (* (+ (/ -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))))
83.0ms
(- (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))))
57.0ms
(* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))
0.0ms
(sqrt (* 2 PI))

simplify40.2s

Calls
168 calls:
Slowest
1.1s
(- (* (* (+ (pow (/ -1259.1392167224028 (+ (- 1 z) 1)) 3) (pow 0.9999999999998099 3)) (+ (pow (/ -1259.1392167224028 (+ (- 1 z) 1)) 3) (pow 0.9999999999998099 3))) (* (- 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)))) (* 676.5203681218851 676.5203681218851)))
930.0ms
(- (* (* (+ (pow (/ -1259.1392167224028 (+ (- 1 z) 1)) 3) (pow 0.9999999999998099 3)) (+ (pow (/ -1259.1392167224028 (+ (- 1 z) 1)) 3) (pow 0.9999999999998099 3))) (- 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)))) (* 676.5203681218851 (/ 676.5203681218851 (- 1 z)))))
906.0ms
(- (* (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) (+ (pow (/ -1259.1392167224028 (+ (- 1 z) 1)) 3) (pow 0.9999999999998099 3))) (* (- 1 z) (- 1 z))) (* (* (- (/ -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)))) (* 676.5203681218851 676.5203681218851)))
896.0ms
(- (* (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) (+ (pow (/ -1259.1392167224028 (+ (- 1 z) 1)) 3) (pow 0.9999999999998099 3))) (- 1 z)) (* (* (- (/ -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)))) (* 676.5203681218851 (/ 676.5203681218851 (- 1 z)))))
890.0ms
(- (* (* (- (* (/ -1259.1392167224028 (+ (- 1 z) 1)) (/ -1259.1392167224028 (+ (- 1 z) 1))) (* 0.9999999999998099 0.9999999999998099)) (+ (pow (/ -1259.1392167224028 (+ (- 1 z) 1)) 3) (pow 0.9999999999998099 3))) (- 1 z)) (* (* (- (/ -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)))) (* (/ 676.5203681218851 (- 1 z)) 676.5203681218851)))

prune7.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize251.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.8s

Algorithm
rewrite-expression-head
Rules
944×frac-times
738×times-frac
651×flip3-- flip--
644×associate-/r/
617×fma-def
599×*-un-lft-identity
543×add-sqr-sqrt
433×frac-add
352×associate-*l/ associate-*r/
186×distribute-lft-out--
174×difference-of-squares
108×add-cube-cbrt
103×distribute-lft-out
74×flip3-+ flip-+
13×add-cbrt-cube add-exp-log
9×div-inv
8×add-log-exp
7×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×cbrt-undiv div-sub div-exp prod-exp cbrt-unprod associate-/l*
2×distribute-rgt-in distribute-lft-in sqrt-pow1 associate--l+ frac-sub fma-udef associate--r+ associate-/l/
1×+-commutative clear-num associate-/r* sum-log sub-neg frac-2neg pow1/2 fma-neg diff-log prod-diff pow-prod-down associate-+l- sqrt-prod
Calls
4 calls:
Slowest
3.9s
(+ (/ (/ (- (* (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (* (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (/ -1259.1392167224028 (- 2 z)))) (* (- 1 z) (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (* 676.5203681218851 676.5203681218851) (fma (- 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099 (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z)))))) (* (+ (* (/ -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) (/ 676.5203681218851 (- 1 z)))) (/ -176.6150291621406 (- 5 (+ z 1))))
637.0ms
(/ (- (* (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (* (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (/ -1259.1392167224028 (- 2 z)))) (* (- 1 z) (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (* 676.5203681218851 676.5203681218851) (fma (- 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099 (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z)))))) (* (+ (* (/ -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))))
221.0ms
(- (* (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (* (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (/ -1259.1392167224028 (- 2 z)))) (* (- 1 z) (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (* 676.5203681218851 676.5203681218851) (fma (- 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099 (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))))))
4.0ms
(sqrt (* 2 PI))

series2.4s

Calls
4 calls:
Slowest
1.4s
(+ (/ (/ (- (* (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (* (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (/ -1259.1392167224028 (- 2 z)))) (* (- 1 z) (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (* 676.5203681218851 676.5203681218851) (fma (- 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099 (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z)))))) (* (+ (* (/ -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) (/ 676.5203681218851 (- 1 z)))) (/ -176.6150291621406 (- 5 (+ z 1))))
588.0ms
(/ (- (* (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (* (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (/ -1259.1392167224028 (- 2 z)))) (* (- 1 z) (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (* 676.5203681218851 676.5203681218851) (fma (- 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099 (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z)))))) (* (+ (* (/ -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))))
406.0ms
(- (* (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (* (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (/ -1259.1392167224028 (- 2 z)))) (* (- 1 z) (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (* 676.5203681218851 676.5203681218851) (fma (- 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099 (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))))))
0.0ms
(sqrt (* 2 PI))

simplify3.8m

Calls
758 calls:
Slowest
1.3s
(/ (* (cbrt (/ (- (* (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (* (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (/ -1259.1392167224028 (- 2 z)))) (* (- 1 z) (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (* 676.5203681218851 676.5203681218851) (fma (- 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099 (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z)))))) (* (+ (* (/ -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))))) (cbrt (/ (- (* (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (* (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (/ -1259.1392167224028 (- 2 z)))) (* (- 1 z) (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (* 676.5203681218851 676.5203681218851) (fma (- 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099 (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z)))))) (* (+ (* (/ -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)))))) 1)
1.2s
(- (pow (* (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (* (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (/ -1259.1392167224028 (- 2 z)))) (* (- 1 z) (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) 3) (pow (* (* 676.5203681218851 676.5203681218851) (fma (- 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099 (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))))) 3))
1.0s
(* (* (* (+ (- 1 z) 1) (+ (- 1 z) 1)) (+ (* (* 0.9999999999998099 0.9999999999998099) (* 0.9999999999998099 0.9999999999998099)) (+ (* (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (* (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))))) (* (+ 1 z) (+ (* 1 1) (+ (* z z) (* 1 z)))))
1.0s
(* (* (* (+ (- 1 z) 1) (+ (- 1 z) 1)) (+ (* (* 0.9999999999998099 0.9999999999998099) (* 0.9999999999998099 0.9999999999998099)) (+ (* (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (* (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))))) (+ (* 1 1) (+ (* z z) (* 1 z))))
985.0ms
(- (* (* (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (* (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (/ -1259.1392167224028 (- 2 z)))) (* (- 1 z) (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099)) (* (* (fma (* 0.9999999999998099 0.9999999999998099) 0.9999999999998099 (* (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (/ -1259.1392167224028 (- 2 z)))) (* (- 1 z) (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) 0.9999999999998099))) (* (* (* 676.5203681218851 676.5203681218851) (fma (- 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099 (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))))) (* (* 676.5203681218851 676.5203681218851) (fma (- 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))) 0.9999999999998099 (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z)))))))

prune57.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize256.0ms

Local error

Found 4 expressions with local error:

2.5b
(- (* (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (* (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))) (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))))
2.3b
(+ (/ (- (* (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (* (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))) (cbrt (+ (/ -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.0b
(sqrt (* 2 PI))
1.0b
(* (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))

rewrite22.8s

Algorithm
rewrite-expression-head
Rules
498×cbrt-div
492×frac-times
332×flip3-+ flip-+
242×frac-sub
232×associate-*l/
214×associate-*r/
108×*-un-lft-identity
46×add-sqr-sqrt
42×times-frac
29×fma-def
25×distribute-lft-out
24×cbrt-prod
23×add-cube-cbrt
18×distribute-lft-out--
14×pow1
9×swap-sqr
8×add-log-exp
7×associate-*r* associate-*l*
6×pow1/3 add-exp-log difference-of-squares
4×expm1-log1p-u add-cbrt-cube associate-/r/ insert-posit16 log1p-expm1-u unswap-sqr
3×pow-prod-down
2×sqrt-pow1 flip3-- pow-sqr pow-prod-up flip--
1×pow2 +-commutative sum-log sub-neg pow-plus pow1/2 fma-neg diff-log div-sub prod-diff frac-add prod-exp *-commutative associate-+l- sqrt-prod cbrt-unprod div-inv
Calls
4 calls:
Slowest
19.9s
(+ (/ (- (* (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (* (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))) (cbrt (+ (/ -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))))
2.2s
(- (* (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (* (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))) (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))))
665.0ms
(* (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))
7.0ms
(sqrt (* 2 PI))

series770.0ms

Calls
4 calls:
Slowest
446.0ms
(+ (/ (- (* (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (* (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))) (cbrt (+ (/ -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))))
234.0ms
(* (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))
90.0ms
(- (* (* (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (* (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)) (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099)))) (cbrt (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099))) (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))))
0.0ms
(sqrt (* 2 PI))