Details

Time bar (total: 10.0m)

sample1.4s

Algorithm
intervals
Results
1.2s110×body10240exit
49.0ms46×body1280nan
44.0ms256×body80valid
31.0ms45×body640nan
8.0ms17×body320nan
2.0ms13×body80nan
1.0ms3×body160nan

simplify1.5s

Counts
1 → 1
Iterations

Useful iterations: 3 (509.0ms)

IterNodesCost
060123
1148123
2609121
3384688
done500188

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize53.0ms

Local error

Found 4 expressions with local error:

0.9b
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
1.0b
(+ (/ -176.6150291621406 (+ 4.0 (- z))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z))))))
1.0b
(+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
1.0b
(sqrt (* PI 2.0))

rewrite2.3m

Algorithm
rewrite-expression-head
Rules
234×frac-add
143×*-un-lft-identity add-log-exp
112×sum-log distribute-lft-out
55×flip3-+ flip-+
7×pow1
4×add-exp-log add-sqr-sqrt add-cube-cbrt add-cbrt-cube
3×+-commutative associate-+r+
2×sqrt-pow1
1×associate-+l+ pow1/2 pow-prod-down sqrt-prod
Counts
4 → 163
Calls
4 calls:
125.0ms
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
1.6m
(+ (/ -176.6150291621406 (+ 4.0 (- z))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z))))))
41.4s
(+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
3.0ms
(sqrt (* PI 2.0))

series420.0ms

Counts
4 → 10
Calls
4 calls:
48.0ms
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
195.0ms
(+ (/ -176.6150291621406 (+ 4.0 (- z))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z))))))
177.0ms
(+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
0.0ms
(sqrt (* PI 2.0))

simplify806.0ms

Counts
173 → 173
Iterations

Useful iterations: done (775.0ms)

IterNodesCost
061025950
1233721905
done500221779

prune1.7s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize57.0ms

Local error

Found 4 expressions with local error:

0.9b
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
1.0b
(+ (/ -176.6150291621406 (+ 4.0 (- z))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z))))))
1.0b
(+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
1.0b
(sqrt PI)

rewrite2.2m

Algorithm
rewrite-expression-head
Rules
234×frac-add
144×*-un-lft-identity
143×add-log-exp
112×sum-log distribute-lft-out
55×flip3-+ flip-+
6×add-sqr-sqrt
5×pow1 add-cube-cbrt
4×add-exp-log add-cbrt-cube
3×+-commutative associate-+r+ sqrt-prod
1×rem-sqrt-square associate-+l+ sqrt-pow1 pow1/2
Counts
4 → 165
Calls
4 calls:
117.0ms
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
1.5m
(+ (/ -176.6150291621406 (+ 4.0 (- z))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z))))))
41.1s
(+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
1.0ms
(sqrt PI)

series396.0ms

Counts
4 → 10
Calls
4 calls:
48.0ms
(+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
183.0ms
(+ (/ -176.6150291621406 (+ 4.0 (- z))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z))))))
165.0ms
(+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z)))))
0.0ms
(sqrt PI)

simplify719.0ms

Counts
175 → 175
Iterations

Useful iterations: done (690.0ms)

IterNodesCost
060125858
1230021821
done500121697

prune1.7s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize94.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3)
1.0b
(pow (/ -0.13857109526572012 (- 6.0 z)) 3)
1.0b
(sqrt (* PI 2.0))
1.0b
(+ (* (+ (pow (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3) (pow (/ -0.13857109526572012 (- 6.0 z)) 3)) (- 2.0 z)) (* (+ (* (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (/ -0.13857109526572012 (- 6.0 z)))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) -1259.1392167224028))

rewrite2.7s

Algorithm
rewrite-expression-head
Rules
7434×frac-add
3624×associate-*l/
3368×frac-times
2501×cube-div
2399×flip3-+ flip-+
1248×associate-*r/
1200×frac-sub
1030×flip3-- flip--
48×*-un-lft-identity
38×add-sqr-sqrt
30×times-frac
26×add-cube-cbrt unpow-prod-down cube-prod
9×pow1
8×add-exp-log add-cbrt-cube
6×pow-unpow distribute-lft-out distribute-lft-out-- add-log-exp difference-of-squares
4×associate-+l+ associate-/r/
3×pow-exp rem-cube-cbrt
2×distribute-rgt-in cube-mult pow-to-exp sub-neg pow-pow distribute-lft-in sqrt-pow1 unpow3 div-inv sqr-pow
1×cbrt-undiv +-commutative pow1/2 div-exp pow-prod-down sum-log sqrt-prod
Counts
4 → 2199
Calls
4 calls:
202.0ms
(pow (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3)
13.0ms
(pow (/ -0.13857109526572012 (- 6.0 z)) 3)
3.0ms
(sqrt (* PI 2.0))
1.7s
(+ (* (+ (pow (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3) (pow (/ -0.13857109526572012 (- 6.0 z)) 3)) (- 2.0 z)) (* (+ (* (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (/ -0.13857109526572012 (- 6.0 z)))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) -1259.1392167224028))

series734.0ms

Counts
4 → 10
Calls
4 calls:
71.0ms
(pow (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3)
48.0ms
(pow (/ -0.13857109526572012 (- 6.0 z)) 3)
0.0ms
(sqrt (* PI 2.0))
615.0ms
(+ (* (+ (pow (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3) (pow (/ -0.13857109526572012 (- 6.0 z)) 3)) (- 2.0 z)) (* (+ (* (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (/ -0.13857109526572012 (- 6.0 z)))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) -1259.1392167224028))

simplify3.7s

Counts
2209 → 2209
Iterations

Useful iterations: 0 (1.0s)

IterNodesCost
07891829155
done7891829155

prune1.3m

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.1b

localize132.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (+ (* (/ (+ (* (* (+ (pow (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3) (pow (/ -0.13857109526572012 (- 6.0 z)) 3)) (- (pow 2.0 3) (pow z 3))) (* (* (* (+ (- z) 3.0) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- 6.0 z)) (* (- 6.0 z) (- 6.0 z)))) (* (+ (* 2.0 2.0) (+ (* z z) (* 2.0 z))) (* (+ (* (* (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- (* (+ (* 771.3234287776531 (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (+ (- z) 3.0) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))))) (- 6.0 z)) (* (* (+ (- z) 3.0) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) -0.13857109526572012))) (* (- 6.0 z) (- 6.0 z))) (* (* (* (+ (- z) 3.0) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- 6.0 z)) (* -0.13857109526572012 -0.13857109526572012))) -1259.1392167224028))) (* (+ (* 2.0 2.0) (+ (* z z) (* 2.0 z))) (* (* (* (+ (- z) 3.0) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- 6.0 z)) (* (- 6.0 z) (- 6.0 z))))) (- 5.0 z)) (* (+ (* (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (/ -0.13857109526572012 (- 6.0 z)))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (* (- 2.0 z) 12.507343278686905))) (+ (* (/ 9.984369578019572e-06 (- 7.0 z)) (- (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z)))) (/ (* (/ 1.5056327351493116e-07 (- 8.0 z)) 1.5056327351493116e-07) (- 8.0 z))))
1.0b
(pow (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3)
1.0b
(pow (/ -0.13857109526572012 (- 6.0 z)) 3)
1.0b
(sqrt (* PI 2.0))

rewrite48.2s

Algorithm
rewrite-expression-head
Rules
52813×frac-add
51447×frac-times
28885×associate-*l/
18908×associate-*r/
16928×flip3-- flip--
12535×flip3-+ flip-+
12146×frac-sub
50×*-un-lft-identity
42×add-sqr-sqrt
30×times-frac
28×add-cube-cbrt
26×unpow-prod-down cube-prod
11×pow1
10×add-exp-log add-cbrt-cube
6×pow-unpow distribute-lft-out distribute-lft-out-- difference-of-squares
5×cube-div
4×associate-/r/ add-log-exp
3×associate-*r* associate-*l* pow-exp rem-cube-cbrt
2×cube-mult pow-to-exp pow-pow sqrt-pow1 unpow3 pow-prod-down div-inv sqr-pow
1×cbrt-undiv distribute-rgt-in distribute-lft-in pow1/2 div-exp prod-exp sqrt-prod *-commutative cbrt-unprod unswap-sqr
Counts
4 → 15853
Calls
4 calls:
42.6s
(* (+ (* (/ (+ (* (* (+ (pow (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3) (pow (/ -0.13857109526572012 (- 6.0 z)) 3)) (- (pow 2.0 3) (pow z 3))) (* (* (* (+ (- z) 3.0) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- 6.0 z)) (* (- 6.0 z) (- 6.0 z)))) (* (+ (* 2.0 2.0) (+ (* z z) (* 2.0 z))) (* (+ (* (* (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- (* (+ (* 771.3234287776531 (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (+ (- z) 3.0) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))))) (- 6.0 z)) (* (* (+ (- z) 3.0) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) -0.13857109526572012))) (* (- 6.0 z) (- 6.0 z))) (* (* (* (+ (- z) 3.0) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- 6.0 z)) (* -0.13857109526572012 -0.13857109526572012))) -1259.1392167224028))) (* (+ (* 2.0 2.0) (+ (* z z) (* 2.0 z))) (* (* (* (+ (- z) 3.0) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- 6.0 z)) (* (- 6.0 z) (- 6.0 z))))) (- 5.0 z)) (* (+ (* (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (/ -0.13857109526572012 (- 6.0 z)))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (* (- 2.0 z) 12.507343278686905))) (+ (* (/ 9.984369578019572e-06 (- 7.0 z)) (- (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z)))) (/ (* (/ 1.5056327351493116e-07 (- 8.0 z)) 1.5056327351493116e-07) (- 8.0 z))))
205.0ms
(pow (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3)
13.0ms
(pow (/ -0.13857109526572012 (- 6.0 z)) 3)
3.0ms
(sqrt (* PI 2.0))

series10.0s

Counts
4 → 10
Calls
4 calls:
9.9s
(* (+ (* (/ (+ (* (* (+ (pow (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3) (pow (/ -0.13857109526572012 (- 6.0 z)) 3)) (- (pow 2.0 3) (pow z 3))) (* (* (* (+ (- z) 3.0) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- 6.0 z)) (* (- 6.0 z) (- 6.0 z)))) (* (+ (* 2.0 2.0) (+ (* z z) (* 2.0 z))) (* (+ (* (* (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- (* (+ (* 771.3234287776531 (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (* (+ (- z) 3.0) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1.0 z)) (/ 676.5203681218851 (- 1.0 z)))))) (- 6.0 z)) (* (* (+ (- z) 3.0) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) -0.13857109526572012))) (* (- 6.0 z) (- 6.0 z))) (* (* (* (+ (- z) 3.0) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- 6.0 z)) (* -0.13857109526572012 -0.13857109526572012))) -1259.1392167224028))) (* (+ (* 2.0 2.0) (+ (* z z) (* 2.0 z))) (* (* (* (+ (- z) 3.0) (- 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- 6.0 z)) (* (- 6.0 z) (- 6.0 z))))) (- 5.0 z)) (* (+ (* (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (- (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) (/ -0.13857109526572012 (- 6.0 z)))) (* (/ -0.13857109526572012 (- 6.0 z)) (/ -0.13857109526572012 (- 6.0 z)))) (* (- 2.0 z) 12.507343278686905))) (+ (* (/ 9.984369578019572e-06 (- 7.0 z)) (- (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z)))) (/ (* (/ 1.5056327351493116e-07 (- 8.0 z)) 1.5056327351493116e-07) (- 8.0 z))))
70.0ms
(pow (+ (/ 771.3234287776531 (+ (- z) 3.0)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z)))) 3)
44.0ms
(pow (/ -0.13857109526572012 (- 6.0 z)) 3)
0.0ms
(sqrt (* PI 2.0))

simplify27.5s

Counts
15863 → 15863
Iterations

Useful iterations: 0 (8.8s)

IterNodesCost
0318419132931
done318419132931

prune2.6m