Details

Time bar (total: 10.0m)

sample2.9s

Algorithm
intervals
Results
1.9s122×body10240exit
581.0ms257×body80valid
120.0ms37×body1280nan
101.0ms41×body640nan
28.0ms26×body320nan
3.0ms5×body160nan
2.0ms7×body80nan

simplify2.8s

Counts
1 → 1
Iterations

Useful iterations: 3 (807.0ms)

IterNodesCost
060123
1148123
2609121
3454288
done500188

prune71.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.2b

localize110.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.9m

Algorithm
rewrite-expression-head
Rules
150×*-un-lft-identity
140×frac-add
91×distribute-lft-out
44×times-frac
38×associate-*l/
33×flip3-+ flip-+
30×add-sqr-sqrt unpow-prod-down
28×add-cube-cbrt
17×associate-*l*
12×exp-sum
11×associate-/l*
9×pow1 add-log-exp
8×add-exp-log add-cbrt-cube
5×unpow-prod-up distribute-rgt-neg-in sqr-pow
4×associate-*r* associate-/r*
3×div-exp sum-log
2×neg-sub0 associate-+l- sqrt-pow1 pow-prod-down sqrt-prod
1×cbrt-undiv +-commutative pow-to-exp associate-+r- associate-+r+ frac-2neg pow1/2 exp-diff pow-exp prod-exp clear-num associate-/r/ *-commutative cbrt-unprod div-inv associate-/l/ pow-sub unswap-sqr
Counts
4 → 174
Calls
4 calls:
118.0ms
(+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))
268.0ms
(/ (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)) (exp (+ 0.5 (+ (- z) 7.0))))
4.9m
(* (+ (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6.0 (- z))) (+ (/ 771.3234287776531 (+ 3.0 (- z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ -1259.1392167224028 (+ 2.0 (- z)))) (/ 12.507343278686905 (+ 5.0 (- z)))) (/ -176.6150291621406 (+ (- z) 4.0)))) (sqrt (* PI 2.0)))
7.0ms
(sqrt (* PI 2.0))

series477.0ms

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

simplify678.0ms

Counts
184 → 184
Iterations

Useful iterations: done (660.0ms)

IterNodesCost
065215458
1229013701
done500013412

prune2.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize78.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.7m

Algorithm
rewrite-expression-head
Rules
196×frac-add
187×*-un-lft-identity
120×distribute-lft-out
50×flip3-+ flip-+
44×times-frac associate-*r/
35×add-sqr-sqrt
30×add-cube-cbrt unpow-prod-down
29×add-log-exp
19×associate-*r* sum-log
12×exp-sum
11×associate-/l*
8×add-exp-log add-cbrt-cube
7×pow1 sqrt-prod
6×associate-*l*
5×unpow-prod-up distribute-rgt-neg-in sqr-pow
4×associate-/r*
3×div-exp
2×neg-sub0 associate-+l- unswap-sqr
1×cbrt-undiv +-commutative distribute-rgt-in pow-to-exp associate-+r- rem-sqrt-square associate-+l+ frac-2neg distribute-lft-in sqrt-pow1 pow1/2 exp-diff pow-prod-down pow-exp prod-exp clear-num associate-/r/ *-commutative cbrt-unprod div-inv associate-/l/ pow-sub
Counts
4 → 205
Calls
4 calls:
5.9s
(+ (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 771.3234287776531 (- 3.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ 12.507343278686905 (- 5.0 z)))
2.6m
(* (sqrt PI) (+ (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (+ (+ (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 771.3234287776531 (- 3.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ 12.507343278686905 (- 5.0 z))) (/ -176.6150291621406 (+ (- z) 4.0)))))
270.0ms
(/ (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)) (exp (+ 0.5 (+ (- z) 7.0))))
1.0ms
(sqrt PI)

series509.0ms

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

simplify794.0ms

Counts
215 → 215
Iterations

Useful iterations: done (772.0ms)

IterNodesCost
073218464
1274617139
done500216844

prune2.6s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize110.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.4m

Algorithm
rewrite-expression-head
Rules
19028×frac-add
5891×flip3-+ flip-+
4965×frac-times
4247×associate-*r/
3402×frac-sub
3363×associate-/l/
1231×*-un-lft-identity
885×associate-*l/
571×distribute-lft-out
424×times-frac
125×distribute-rgt-neg-in
87×swap-sqr
45×associate-/r/
40×add-sqr-sqrt
33×add-cube-cbrt
32×distribute-lft-out--
30×unpow-prod-down
24×associate-/r*
13×add-exp-log associate-*r* associate-*l* add-cbrt-cube
12×pow1 exp-sum associate-/l*
5×unpow-prod-up div-exp sqr-pow
4×add-log-exp
3×cbrt-undiv sqrt-prod
2×neg-sub0 associate-+l- flip3-- frac-2neg prod-exp clear-num flip-- cbrt-unprod div-inv difference-of-squares
1×pow2 distribute-rgt-in pow-to-exp associate-+r- rem-sqrt-square distribute-lft-in sqrt-pow1 pow-plus pow1/2 exp-diff pow-prod-down pow-exp pow-sqr *-commutative pow-prod-up pow-sub unswap-sqr
Counts
4 → 3695
Calls
4 calls:
1.3m
(/ (* (sqrt PI) (- (* (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0)))) (* (+ (+ (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 771.3234287776531 (- 3.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ 12.507343278686905 (- 5.0 z))) (/ -176.6150291621406 (+ (- z) 4.0))) (+ (+ (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 771.3234287776531 (- 3.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ 12.507343278686905 (- 5.0 z))) (/ -176.6150291621406 (+ (- z) 4.0)))))) (- (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (+ (+ (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 771.3234287776531 (- 3.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ 12.507343278686905 (- 5.0 z))) (/ -176.6150291621406 (+ (- z) 4.0)))))
671.0ms
(* (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))))
269.0ms
(/ (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)) (exp (+ 0.5 (+ (- z) 7.0))))
1.0ms
(sqrt PI)

series1.3s

Counts
4 → 10
Calls
4 calls:
1.0s
(/ (* (sqrt PI) (- (* (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0)))) (* (+ (+ (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 771.3234287776531 (- 3.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ 12.507343278686905 (- 5.0 z))) (/ -176.6150291621406 (+ (- z) 4.0))) (+ (+ (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 771.3234287776531 (- 3.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ 12.507343278686905 (- 5.0 z))) (/ -176.6150291621406 (+ (- z) 4.0)))))) (- (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (+ (+ (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (+ (/ -0.13857109526572012 (- 6.0 z)) (/ 771.3234287776531 (- 3.0 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))))) (/ 12.507343278686905 (- 5.0 z))) (/ -176.6150291621406 (+ (- z) 4.0)))))
83.0ms
(* (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))) (+ (/ 1.5056327351493116e-07 (+ (- z) 8.0)) (/ 9.984369578019572e-06 (+ (- z) 7.0))))
152.0ms
(/ (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)) (exp (+ 0.5 (+ (- z) 7.0))))
6.0ms
(sqrt PI)

simplify3.4s

Counts
3705 → 3705
Iterations

Useful iterations: 0 (1.4s)

IterNodesCost
06014690213
done6014690213

prune39.2s