Details

Time bar (total: 10.0m)

sample442.0ms

Algorithm
intervals
Results
157.0ms138×body10240exit
95.0ms106×body1280valid
55.0ms87×body640valid
32.0ms48×body1280nan
19.0ms37×body640nan
15.0ms33×body320valid
10.0ms25×body320nan
7.0ms23×body160valid
3.0ms13×body160nan
1.0ms9×body80valid
1.0ms8×body80nan

simplify848.0ms

Counts
1 → 1
Iterations

Useful iterations: 3 (225.0ms)

IterNodesCost
05594
113394
244292
3246389
done500189

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.7b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite42.5s

Algorithm
rewrite-expression-head
Rules
348×frac-add
231×*-un-lft-identity
154×distribute-lft-out
118×flip3-+ flip-+
105×associate-*r/
52×frac-times
44×times-frac
30×unpow-prod-down
27×add-sqr-sqrt add-cube-cbrt associate-*r*
25×add-log-exp
19×add-exp-log
15×sum-log add-cbrt-cube
12×pow1 exp-sum
11×associate-/l*
9×prod-exp
6×div-exp
5×unpow-prod-up cbrt-unprod distribute-lft-out-- sqr-pow
4×pow-prod-down associate-/r*
3×associate-+l-
2×cbrt-undiv pow-to-exp sqrt-pow1 pow-exp
1×+-commutative distribute-rgt-in associate-+l+ associate-+r+ frac-2neg distribute-lft-in pow1/2 exp-diff associate-*l* associate-*l/ clear-num sqrt-prod associate-/r/ *-commutative div-inv associate-/l/ pow-sub
Counts
4 → 269
Calls
4 calls:
438.0ms
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
2.1s
(+ (+ 0.9999999999998099 (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0)))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))
2.0ms
(sqrt (* PI 2.0))
40.0s
(* (* (sqrt (* PI 2.0)) (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 676.5203681218851 z) (+ (+ 0.9999999999998099 (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0)))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0)))))))

series1.1s

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

simplify1.1s

Counts
279 → 279
Iterations

Useful iterations: done (1.0s)

IterNodesCost
088147543
1375943241
done500043240

prune2.9s

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
(* (* (+ (- z 1.0) 5.0) (+ (- z 1.0) 6.0)) (+ (* 0.9999999999998099 0.9999999999998099) (* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (- (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) 0.9999999999998099))))
1.0b
(* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))
1.0b
(pow (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) 3)
1.0b
(sqrt (* PI 2.0))

rewrite384.0ms

Algorithm
rewrite-expression-head
Rules
300×*-un-lft-identity
136×times-frac
92×distribute-lft-out
68×add-sqr-sqrt
56×add-cube-cbrt
39×swap-sqr
36×distribute-lft-out--
32×flip3-+ flip-+
29×frac-times
24×associate-*r*
22×add-exp-log associate-*l* add-cbrt-cube
20×pow1
15×associate-*l/
13×unpow-prod-down cube-prod
9×associate-*r/
8×associate-/r/
7×prod-exp cbrt-unprod
5×pow-prod-down
4×cbrt-undiv div-exp div-inv add-log-exp unswap-sqr
3×cube-div pow-unpow
2×sqrt-pow1 *-commutative
1×pow2 distribute-rgt-in cube-mult pow-to-exp pow-pow distribute-lft-in pow-plus pow1/2 unpow3 frac-add pow-exp sqrt-prod pow-sqr pow-prod-up rem-cube-cbrt sqr-pow
Counts
4 → 212
Calls
4 calls:
94.0ms
(* (* (+ (- z 1.0) 5.0) (+ (- z 1.0) 6.0)) (+ (* 0.9999999999998099 0.9999999999998099) (* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (- (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) 0.9999999999998099))))
86.0ms
(* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))
187.0ms
(pow (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) 3)
2.0ms
(sqrt (* PI 2.0))

series298.0ms

Counts
4 → 10
Calls
4 calls:
154.0ms
(* (* (+ (- z 1.0) 5.0) (+ (- z 1.0) 6.0)) (+ (* 0.9999999999998099 0.9999999999998099) (* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (- (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) 0.9999999999998099))))
40.0ms
(* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))
104.0ms
(pow (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) 3)
0.0ms
(sqrt (* PI 2.0))

simplify479.0ms

Counts
222 → 222
Iterations

Useful iterations: done (463.0ms)

IterNodesCost
04378986
115718130
done50008068

prune3.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize97.0ms

Local error

Found 4 expressions with local error:

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

rewrite7.0m

Algorithm
rewrite-expression-head
Rules
3072360×frac-times
2696451×frac-add
2354299×associate-*r/
1388720×associate-*l/
1197054×flip3-- flip--
504630×frac-sub
461035×flip3-+ flip-+
362952×cube-div
242×*-un-lft-identity
122×times-frac
78×add-sqr-sqrt
60×distribute-lft-out
54×add-cube-cbrt
40×distribute-lft-out--
39×swap-sqr associate-*l*
26×add-exp-log add-cbrt-cube
25×associate-*r*
24×pow1
10×prod-exp cbrt-unprod
8×pow-prod-down associate-/r/
5×distribute-rgt-in distribute-lft-in
4×cbrt-undiv div-exp div-inv add-log-exp difference-of-squares unswap-sqr
3×*-commutative
2×sqrt-pow1
1×pow2 pow-plus pow1/2 sqrt-prod pow-sqr pow-prod-up
Counts
4 → 667398
Calls
4 calls:
1.3s
(* (* 676.5203681218851 (- 0.9999999999998099 (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))))) (+ (* (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (- (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 12.507343278686905 (+ (- z 1.0) 5.0)))) (* (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ 12.507343278686905 (+ (- z 1.0) 5.0)))))
89.0ms
(* (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)))
1.4m
(* (- (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (* (+ (- z 1.0) 4.0) (+ (* (* 676.5203681218851 (- 0.9999999999998099 (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))))) (+ (* (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (- (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 12.507343278686905 (+ (- z 1.0) 5.0)))) (* (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ 12.507343278686905 (+ (- z 1.0) 5.0))))) (* (+ (* (- (* 0.9999999999998099 0.9999999999998099) (* (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))))) (+ (* (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (- (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 12.507343278686905 (+ (- z 1.0) 5.0)))) (* (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ 12.507343278686905 (+ (- z 1.0) 5.0))))) (* (- 0.9999999999998099 (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0)))) (+ (pow (/ 12.507343278686905 (+ (- z 1.0) 5.0)) 3) (pow (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) 3)))) z))))
2.0ms
(sqrt (* PI 2.0))

series1.5s

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

simplify2.1m