Details

Time bar (total: 10.0m)

sample1.7s

Algorithm
intervals
Results
693.0ms121×body1280valid
505.0ms125×body10240exit
175.0ms77×body640valid
114.0ms48×body1280nan
78.0ms22×body640nan
55.0ms40×body320valid
24.0ms18×body320nan
9.0ms11×body160valid
5.0ms7×body160nan
4.0ms9×body80valid
2.0ms7×body80nan

simplify739.0ms

Counts
1 → 1
Iterations
IterNodes
done2001
2422
1140
055

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.4b

localize103.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.2m

Algorithm
rewrite-expression-head
Rules
276×frac-add
94×*-un-lft-identity
65×distribute-lft-out
62×flip3-+ flip-+
38×frac-times associate-*r/
27×add-exp-log
21×associate-*r*
20×add-cbrt-cube
19×add-sqr-sqrt associate-*l*
14×prod-exp
12×add-cube-cbrt
9×pow1
8×times-frac div-exp
6×unpow-prod-down cbrt-unprod
4×expm1-log1p-u cbrt-undiv associate-/r* associate-+l- insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×pow-to-exp exp-sum associate-*l/ pow-exp
2×sqrt-pow1 exp-diff pow-prod-down associate-/r/ *-commutative sqrt-prod div-inv pow-sub sqr-pow
1×distribute-rgt-in unpow-prod-up clear-num frac-2neg distribute-lft-in pow1/2 associate-/l* distribute-lft-out-- associate-/l/
Counts
4 → 203
Calls
4 calls:
98.0ms
(/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (- z -6) 0.5)))
105.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
3.0ms
(sqrt (* PI 2))
2.2m
(* (/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (- z -6) 0.5))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))

series1.3s

Counts
4 → 10
Calls
4 calls:
399.0ms
(/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (- z -6) 0.5)))
292.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))
597.0ms
(* (/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (- z -6) 0.5))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))

simplify2.1s

Counts
213 → 213
Iterations
IterNodes
done2000
0797

prune2.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize99.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (/ (sqrt (* PI 2)) (exp 0.5)) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))
1.0b
(/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (- z -6)))
1.0b
(sqrt (* PI 2))
1.2b
(* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (- z -6))) (* (/ (sqrt (* PI 2)) (exp 0.5)) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))))))

rewrite2.7m

Algorithm
rewrite-expression-head
Rules
828×frac-add
441×*-un-lft-identity
293×times-frac
231×exp-sum
224×add-sqr-sqrt
219×add-cube-cbrt
191×frac-times associate-*r/
189×prod-diff
186×flip3-+ flip-+
161×associate-*l*
145×unpow-prod-down
121×distribute-lft-out
39×add-exp-log
32×add-cbrt-cube
29×unpow-prod-up distribute-lft-out-- sqr-pow
22×prod-exp
21×sub-neg
18×associate-*r*
17×div-exp
14×pow1 associate-/r*
12×cbrt-unprod
10×associate-/l*
7×cbrt-undiv
5×distribute-rgt-in distribute-lft-in pow-prod-down
4×expm1-log1p-u pow-to-exp associate-*l/ pow-exp sqrt-prod insert-posit16 log1p-expm1-u add-log-exp
3×div-inv
2×sqrt-pow1 exp-diff associate-/r/ *-commutative unswap-sqr
1×clear-num frac-2neg pow1/2 associate-+l- pow-sub associate-/l/
Counts
4 → 663
Calls
4 calls:
1.5m
(* (/ (sqrt (* PI 2)) (exp 0.5)) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))
81.0ms
(/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (- z -6)))
3.0ms
(sqrt (* PI 2))
1.2m
(* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (- z -6))) (* (/ (sqrt (* PI 2)) (exp 0.5)) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))))))

series1.2s

Counts
4 → 10
Calls
4 calls:
301.0ms
(* (/ (sqrt (* PI 2)) (exp 0.5)) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))
180.0ms
(/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (- z -6)))
0.0ms
(sqrt (* PI 2))
747.0ms
(* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (- z -6))) (* (/ (sqrt (* PI 2)) (exp 0.5)) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))))))

simplify2.3s

Counts
673 → 673
Iterations
IterNodes
done2001
01325

prune8.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize98.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (+ (- z -6) 0.5))
1.0b
(/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2))))
1.0b
(sqrt (* PI 2))
1.2b
(* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2)))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))

rewrite1.5m

Algorithm
rewrite-expression-head
Rules
745×times-frac
565×*-un-lft-identity
299×add-sqr-sqrt
278×add-cube-cbrt
276×frac-add
207×unpow-prod-down
205×associate-*l*
147×distribute-lft-out
85×exp-sum sqrt-prod
62×flip3-+ flip-+
43×sqr-pow
42×distribute-lft-out--
41×unpow-prod-up
38×frac-times associate-*r/
32×add-exp-log
23×div-inv
20×associate-/r*
18×add-cbrt-cube div-exp
17×associate-*r*
10×associate-/l* add-log-exp
9×pow1
7×prod-exp unswap-sqr
6×cbrt-undiv
5×exp-prod
4×expm1-log1p-u pow-to-exp pow-exp insert-posit16 log1p-expm1-u
3×cbrt-unprod rem-exp-log
2×sum-log sqrt-pow1 pow-prod-down associate-/r/ associate-+l-
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in pow1/2 exp-diff diff-log associate-*l/ *-commutative pow-sub associate-/l/
Counts
4 → 617
Calls
4 calls:
42.0ms
(exp (+ (- z -6) 0.5))
120.0ms
(/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2))))
3.0ms
(sqrt (* PI 2))
1.5m
(* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2)))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))

series972.0ms

Counts
4 → 10
Calls
4 calls:
11.0ms
(exp (+ (- z -6) 0.5))
378.0ms
(/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2))))
0.0ms
(sqrt (* PI 2))
582.0ms
(* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2)))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))

simplify2.1s

Counts
627 → 627
Iterations
IterNodes
done2001
01234

prune6.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize108.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) 1) (* (/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2)))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))))))
1.0b
(/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2))))
1.0b
(sqrt (* PI 2))
1.4b
(* (/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2)))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))

rewrite2.7m

Algorithm
rewrite-expression-head
Rules
1003×times-frac
828×frac-add
692×*-un-lft-identity
423×add-sqr-sqrt
395×add-cube-cbrt
356×unpow-prod-down
331×sqrt-prod
308×associate-*l*
229×add-exp-log
191×frac-times associate-*r/
186×flip3-+ flip-+
151×distribute-lft-out
129×div-exp
112×prod-exp
108×exp-sum
50×add-cbrt-cube
46×sqr-pow
44×unpow-prod-up distribute-lft-out--
34×pow-to-exp pow-exp
30×div-inv
24×1-exp
20×associate-/r*
18×associate-*r*
17×cbrt-unprod
16×cbrt-undiv
14×pow1
13×associate-/l*
9×unswap-sqr
5×distribute-rgt-in distribute-lft-in pow-prod-down
4×expm1-log1p-u associate-*l/ insert-posit16 log1p-expm1-u add-log-exp
2×sqrt-pow1 associate-/r/ *-commutative
1×clear-num frac-2neg pow1/2 associate-+l- pow-sub associate-/l/
Counts
4 → 1002
Calls
4 calls:
1.2m
(* (/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) 1) (* (/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2)))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))))))
114.0ms
(/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2))))
3.0ms
(sqrt (* PI 2))
1.5m
(* (/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2)))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))

series2.4s

Counts
4 → 10
Calls
4 calls:
965.0ms
(* (/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) 1) (* (/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2)))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7))))))
587.0ms
(/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2))))
0.0ms
(sqrt (* PI 2))
851.0ms
(* (/ (pow (sqrt (+ (- z -6) 0.5)) (+ (- z 1) 0.5)) (/ (exp (+ (- z -6) 0.5)) (sqrt (* PI 2)))) (+ (+ (+ (+ (/ -0.13857109526572012 (+ 6 (- z 1))) (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ 771.3234287776531 (+ z 2))) (/ -1259.1392167224028 (+ z 1)))) (/ -176.6150291621406 (- z -3))) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (+ z 7)))))

simplify2.9s

Counts
1012 → 1012
Iterations
IterNodes
done2001
01746

prune11.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes99.0ms

bsearch0.0ms

simplify15.0ms

Iterations
IterNodes
done80
180
060

end0.0ms

sample10.0s

Algorithm
intervals
Results
4.0s1238×body10240exit
2.2s1075×body1280valid
1.1s767×body640valid
838.0ms497×body1280nan
831.0ms383×body640nan
449.0ms372×body320valid
254.0ms206×body320nan
117.0ms201×body160valid
50.0ms89×body160nan
29.0ms95×body80valid
23.0ms85×body80nan