Details

Time bar (total: 10.0m)

sample409.0ms

Algorithm
intervals
Results
120.0ms104×body10240exit
96.0ms107×body1280valid
58.0ms91×body640valid
32.0ms48×body1280nan
24.0ms44×body640nan
16.0ms35×body320valid
6.0ms15×body320nan
4.0ms13×body160valid
2.0ms9×body160nan
2.0ms13×body80nan
2.0ms11×body80valid

simplify750.0ms

Counts
1 → 1
Iterations

Useful iterations: 3 (178.0ms)

IterNodesCost
05594
113394
244292
3246389
done500189

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.9b

localize49.0ms

Local error

Found 4 expressions with local error:

0.8b
(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.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))))))) (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)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
1.0b
(sqrt (* PI 2.0))

rewrite16.7s

Algorithm
rewrite-expression-head
Rules
348×frac-add
118×flip3-+ flip-+
106×associate-*r/
105×associate-/l/
56×associate-+l-
54×pow-sub
52×frac-times
39×*-un-lft-identity
25×add-log-exp
20×add-exp-log distribute-lft-out
15×sum-log add-cbrt-cube
14×add-sqr-sqrt
11×associate-*r*
10×prod-exp
9×add-cube-cbrt
7×pow1 unpow-prod-down
5×div-exp
4×times-frac associate-*l* associate-/r* cbrt-unprod
3×cbrt-undiv unswap-sqr
2×pow-to-exp sqrt-pow1 exp-sum pow-exp sqrt-prod sqr-pow
1×unpow-prod-up +-commutative associate-+l+ associate-+r+ frac-2neg pow1/2 exp-diff pow-prod-down associate-*l/ clear-num associate-/r/ *-commutative div-inv associate-/l* distribute-lft-out--
Counts
4 → 205
Calls
4 calls:
14.3s
(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.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))))))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
2.0s
(+ (+ 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))))
308.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
2.0ms
(sqrt (* PI 2.0))

series1.0s

Counts
4 → 10
Calls
4 calls:
623.0ms
(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.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))))))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
106.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))))
278.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))

simplify539.0ms

Counts
215 → 215
Iterations

Useful iterations: done (515.0ms)

IterNodesCost
062319187
1207517332
done500117313

prune2.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize109.0ms

Local error

Found 4 expressions with local error:

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

rewrite14.2s

Algorithm
rewrite-expression-head
Rules
70951×frac-times
65896×associate-*r/
60458×associate-*l/
51327×frac-add
44759×flip3-+ flip-+
13203×frac-sub
2934×sub-div
1467×flip3-- flip--
66×*-un-lft-identity
32×add-sqr-sqrt
30×times-frac
28×unpow-prod-down
27×add-cube-cbrt
21×add-exp-log cube-prod
18×add-cbrt-cube
17×pow1 distribute-lft-out
12×distribute-rgt-in distribute-lft-in associate-*r*
9×prod-exp
7×associate-*l* pow-prod-down cbrt-unprod distribute-lft-out--
4×associate-/r/ add-log-exp
3×pow-unpow pow-exp unswap-sqr sqr-pow
2×pow-to-exp sqrt-pow1 sqrt-prod *-commutative div-inv rem-cube-cbrt
1×cbrt-undiv unpow-prod-up cube-div cube-mult associate-+l- pow-pow pow1/2 unpow3 div-exp pow-sub
Counts
4 → 20670
Calls
4 calls:
6.0s
(* (+ (* (+ (* 9.984369578019572e-06 (+ (- z 1.0) 8.0)) (* (+ (- z 1.0) 7.0) 1.5056327351493116e-07)) (+ (- z 1.0) 4.0)) (* (* (+ (- z 1.0) 7.0) (+ (- z 1.0) 8.0)) -176.6150291621406)) (* z (* (+ (* 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 (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0)))))) (+ (* (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (- (* (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (* (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))))))
301.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
26.0ms
(pow (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) 3)
2.0ms
(sqrt (* PI 2.0))

series719.0ms

Counts
4 → 10
Calls
4 calls:
401.0ms
(* (+ (* (+ (* 9.984369578019572e-06 (+ (- z 1.0) 8.0)) (* (+ (- z 1.0) 7.0) 1.5056327351493116e-07)) (+ (- z 1.0) 4.0)) (* (* (+ (- z 1.0) 7.0) (+ (- z 1.0) 8.0)) -176.6150291621406)) (* z (* (+ (* 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 (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0)))))) (+ (* (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (- (* (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (* (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))))))
272.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
46.0ms
(pow (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) 3)
0.0ms
(sqrt (* PI 2.0))

simplify31.2s

Counts
20680 → 20680
Iterations

Useful iterations: 0 (11.2s)

IterNodesCost
0322078568852
done322078568852

prune8.9m