Details

Time bar (total: 10.0m)

sample1.5s

Algorithm
intervals
Results
578.0ms129×body10240exit
481.0ms38×body640nan
123.0ms35×body1280nan
122.0ms258×body80valid
39.0ms7×body80nan
29.0ms22×body320nan
8.0ms7×body160nan

simplify358.0ms

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

prune89.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

localize194.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.3m

Algorithm
rewrite-expression-head
Rules
688×frac-add
207×flip3-+ flip-+
177×*-un-lft-identity
128×distribute-lft-out
90×frac-times associate-*r/
28×associate-*r*
22×add-sqr-sqrt
18×add-log-exp
17×associate-*l*
15×add-cube-cbrt
14×times-frac
10×add-exp-log
9×pow1 sum-log fma-def add-cbrt-cube
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u
3×exp-sum unswap-sqr
2×+-commutative associate-+l+ sqrt-pow1 div-exp pow-prod-down cbrt-unprod
1×distribute-rgt-in cbrt-undiv rec-exp distribute-lft-in pow1/2 exp-diff 1-exp associate-*l/ associate-/r/ *-commutative associate-+l- sqrt-prod div-inv
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.6s
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
694.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
8.0ms
(sqrt (* 2 PI))

series501.0ms

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

simplify2.4m

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))) (* (- 9 (+ z 1)) (- (- 1 z) -6)))))
1.4s
(* (* (+ (- 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.4s
(* (* (+ (- 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.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.2s
(* (exp (+ (- (- 1 z) -6) 0.5)) (* (* (+ (- 1 z) 2) (* (* (- (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (- 1 z)) (- 5 (+ z 1)))) (* (* (- 7 (+ z 1)) (- 6 (+ z 1))) (- (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))))

prune17.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize205.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.3s

Algorithm
rewrite-expression-head
Rules
283×*-un-lft-identity
247×frac-add
149×distribute-lft-out
72×flip3-+ flip-+
62×associate--l- log-div
43×times-frac
33×add-sqr-sqrt fma-def
26×distribute-lft-out--
25×add-cube-cbrt
24×log-prod associate--l+ add-log-exp
20×prod-diff
16×pow1
11×sum-log
9×log-pow
4×expm1-log1p-u add-cbrt-cube fma-neg diff-log add-exp-log insert-posit16 log1p-expm1-u difference-of-squares
2×+-commutative sqrt-pow1 flip3-- associate-/r/ flip--
1×associate-+l+ associate-+r+ associate-+r- sub-neg pow1/2 pow-prod-down sqrt-prod div-inv associate--r+ associate--r-
Counts
4 → 234
Calls
4 calls:
Slowest
49.0s
(- (log (+ (+ (+ (/ 771.3234287776531 (- 3 z)) (+ (+ (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))))) (/ 1.5056327351493116e-07 (- 8 z))) (+ (/ 9.984369578019572e-06 (- 7 z)) (+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (+ (- 6 z) -1)))))) (+ 0.5 (- 7 z)))
2.2s
(+ (+ (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))))
76.0ms
(+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (+ (- 6 z) -1)))
7.0ms
(sqrt (* 2 PI))

series371.0ms

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

simplify57.5s

Counts
220 → 244
Calls
220 calls:
Slowest
1.1s
(log (- (* (+ (+ (/ 771.3234287776531 (- 3 z)) (+ (+ (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))))) (/ 1.5056327351493116e-07 (- 8 z))) (+ (+ (/ 771.3234287776531 (- 3 z)) (+ (+ (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))))) (/ 1.5056327351493116e-07 (- 8 z)))) (* (+ (/ 9.984369578019572e-06 (- 7 z)) (+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (+ (- 6 z) -1)))) (+ (/ 9.984369578019572e-06 (- 7 z)) (+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (+ (- 6 z) -1)))))))
1.0s
(+ (* (+ (* -176.6150291621406 (- 1 z)) (* (+ (+ (- 6 z) -1) -1) 676.5203681218851)) (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (* 0.9999999999998099 (/ -1259.1392167224028 (- 2 z)))))) (* (* (+ (+ (- 6 z) -1) -1) (- 1 z)) (+ (pow 0.9999999999998099 3) (pow (/ -1259.1392167224028 (- 2 z)) 3))))
743.0ms
(log (+ (* (+ (* (+ (* 771.3234287776531 (* (+ (* (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1))) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z))))) (- 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))))) (* (- 3 z) (+ (* (+ (pow (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) 3) (pow (/ 676.5203681218851 (- 1 z)) 3)) (- 0.9999999999998099 (/ -1259.1392167224028 (- 2 z)))) (* (+ (* (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1))) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z))))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z)))))))) (- 8 z)) (* (* (- 3 z) (* (+ (* (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1))) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z))))) (- 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))))) 1.5056327351493116e-07)) (* (- 7 z) (- (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (+ (- 6 z) -1))))) (* (* (* (- 3 z) (* (+ (* (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1))) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z))))) (- 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))))) (- 8 z)) (+ (* 9.984369578019572e-06 (- (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (+ (- 6 z) -1)))) (* (- 7 z) (- (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ 12.507343278686905 (+ (- 6 z) -1)) (/ 12.507343278686905 (+ (- 6 z) -1)))))))))
710.0ms
(log (+ (* (+ (* (+ (* 771.3234287776531 (+ (* (+ (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z))) (+ (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z)))) (- (* (+ 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))) (+ 0.9999999999998099 (/ -1259.1392167224028 (- 2 z)))) (* (+ (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))))))) (* (- 3 z) (+ (pow (+ (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z))) 3) (pow (+ 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))) 3)))) (- 8 z)) (* (* (- 3 z) (+ (* (+ (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z))) (+ (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z)))) (- (* (+ 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))) (+ 0.9999999999998099 (/ -1259.1392167224028 (- 2 z)))) (* (+ (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))))))) 1.5056327351493116e-07)) (* (- 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))))))) (* (* (* (- 3 z) (+ (* (+ (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z))) (+ (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z)))) (- (* (+ 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))) (+ 0.9999999999998099 (/ -1259.1392167224028 (- 2 z)))) (* (+ (/ -176.6150291621406 (+ (+ (- 6 z) -1) -1)) (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))))))) (- 8 z)) (+ (* 9.984369578019572e-06 (+ (* (/ -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)))))) (* (- 7 z) (+ (pow (/ -0.13857109526572012 (- 6 z)) 3) (pow (/ 12.507343278686905 (+ (- 6 z) -1)) 3)))))))
709.0ms
(log (+ (* (+ (* (+ (* 771.3234287776531 (* (* (+ (+ (- 6 z) -1) -1) (- 1 z)) (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (* 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))))))) (* (- 3 z) (+ (* (+ (* -176.6150291621406 (- 1 z)) (* (+ (+ (- 6 z) -1) -1) 676.5203681218851)) (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (* 0.9999999999998099 (/ -1259.1392167224028 (- 2 z)))))) (* (* (+ (+ (- 6 z) -1) -1) (- 1 z)) (+ (pow 0.9999999999998099 3) (pow (/ -1259.1392167224028 (- 2 z)) 3)))))) (- 8 z)) (* (* (- 3 z) (* (* (+ (+ (- 6 z) -1) -1) (- 1 z)) (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (* 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))))))) 1.5056327351493116e-07)) (* (- 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))))))) (* (* (* (- 3 z) (* (* (+ (+ (- 6 z) -1) -1) (- 1 z)) (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ -1259.1392167224028 (- 2 z)) (/ -1259.1392167224028 (- 2 z))) (* 0.9999999999998099 (/ -1259.1392167224028 (- 2 z))))))) (- 8 z)) (+ (* 9.984369578019572e-06 (+ (* (/ -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)))))) (* (- 7 z) (+ (pow (/ -0.13857109526572012 (- 6 z)) 3) (pow (/ 12.507343278686905 (+ (- 6 z) -1)) 3)))))))

prune11.7s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize162.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.3m

Algorithm
rewrite-expression-head
Rules
688×frac-add
207×flip3-+ flip-+
178×*-un-lft-identity
128×distribute-lft-out
90×frac-times associate-*r/
28×associate-*r*
24×add-sqr-sqrt
18×add-log-exp
17×associate-*l*
16×add-cube-cbrt
14×times-frac
10×add-exp-log
9×sum-log fma-def add-cbrt-cube
7×pow1
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u
3×exp-sum sqrt-prod unswap-sqr
2×+-commutative associate-+l+ div-exp cbrt-unprod
1×distribute-rgt-in cbrt-undiv rem-sqrt-square rec-exp distribute-lft-in sqrt-pow1 pow1/2 exp-diff 1-exp pow-prod-down associate-*l/ associate-/r/ *-commutative associate-+l- div-inv
Counts
4 → 318
Calls
4 calls:
Slowest
1.2m
(* (/ 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))))
582.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
2.0ms
(sqrt PI)

series319.0ms

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

simplify1.6m

Counts
371 → 328
Calls
371 calls:
Slowest
1.0s
(* (exp (+ (- (- 1 z) -6) 0.5)) (* (* (+ (- 1 z) 2) (* (- (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (- 5 (+ z 1)))) (* (* (- 7 (+ z 1)) (- 6 (+ z 1))) (* (- 9 (+ z 1)) (- (- 1 z) -6)))))
890.0ms
(* (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)))))
805.0ms
(* (* (+ (- 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)))))) (- (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6)))))
753.0ms
(* (* (+ (- 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))))
751.0ms
(* (exp (+ (- (- 1 z) -6) 0.5)) (* (* (+ (- 1 z) 2) (* (- (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (- 5 (+ z 1)))) (* (- (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (* (- 9 (+ z 1)) (- (- 1 z) -6)))))

prune11.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize110.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.6s

Algorithm
rewrite-expression-head
Rules
688×frac-add
207×flip3-+ flip-+
178×*-un-lft-identity
128×distribute-lft-out
90×frac-times associate-*r/
28×associate-*r*
24×add-sqr-sqrt
18×add-log-exp
17×associate-*l*
16×add-cube-cbrt
14×times-frac
10×add-exp-log
9×sum-log fma-def add-cbrt-cube
7×pow1
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u
3×exp-sum sqrt-prod unswap-sqr
2×+-commutative associate-+l+ div-exp cbrt-unprod
1×distribute-rgt-in cbrt-undiv rem-sqrt-square rec-exp distribute-lft-in sqrt-pow1 pow1/2 exp-diff 1-exp pow-prod-down associate-*l/ associate-/r/ *-commutative associate-+l- div-inv
Counts
4 → 318
Calls
4 calls:
Slowest
46.6s
(* (/ 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))))))
1.6s
(+ (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))) (/ -176.6150291621406 (- 5 (+ z 1))))
383.0ms
(+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z)))
1.0ms
(sqrt PI)