Details

Time bar (total: 6.8m)

sample1.2s

Algorithm
intervals
Results
292.0ms131×body10240exit
256.0ms110×body1280valid
126.0ms51×body1280nan
119.0ms41×body640nan
108.0ms80×body640valid
68.0ms32×body320nan
48.0ms14×body160nan
35.0ms37×body320valid
11.0ms19×body160valid
3.0ms12×body80valid
3.0ms10×body80nan

simplify2.3s

Counts
1 → 1
Iterations

Useful iterations: 3 (480.0ms)

IterNodesCost
05594
113394
244792
3247489
done500289

prune48.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.1b

localize122.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))))
1.0b
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
1.0b
(sqrt (* PI 2.0))

rewrite1.2m

Algorithm
rewrite-expression-head
Rules
624×frac-add
176×flip3-+ flip-+
157×*-un-lft-identity
117×distribute-lft-out
80×frac-times associate-*r/
31×associate-*r*
27×add-exp-log
20×associate-*l* add-cbrt-cube
19×add-sqr-sqrt
14×prod-exp
12×add-cube-cbrt
9×pow1
8×times-frac div-exp
7×unpow-prod-down
6×associate-+l- cbrt-unprod
4×cbrt-undiv associate-/r* add-log-exp unswap-sqr
3×pow-to-exp exp-sum associate-*l/ pow-exp
2×sqrt-pow1 exp-diff pow-prod-down sqrt-prod associate-/r/ *-commutative div-inv pow-sub sqr-pow
1×unpow-prod-up distribute-rgt-in frac-2neg distribute-lft-in pow1/2 clear-num associate-/l/ associate-/l* distribute-lft-out--
Counts
4 → 286
Calls
4 calls:
1.2m
(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))))
933.0ms
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
843.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
4.0ms
(sqrt (* PI 2.0))

series2.2s

Counts
4 → 10
Calls
4 calls:
1.1s
(* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))))
647.0ms
(/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
416.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
0.0ms
(sqrt (* PI 2.0))

simplify832.0ms

Counts
296 → 296
Iterations

Useful iterations: done (727.0ms)

IterNodesCost
0107363253
done500058696

prune7.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize517.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))))
0.7b
(* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (- z 1.0) 7.0))) (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))
0.9b
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (- z 1.0) 7.0)))
1.0b
(sqrt (* PI 2.0))

rewrite1.4m

Algorithm
rewrite-expression-head
Rules
1872×frac-add
528×flip3-+ flip-+
401×frac-times associate-*r/
272×*-un-lft-identity
157×distribute-lft-out
101×times-frac
65×associate-*l*
60×add-sqr-sqrt
55×add-cube-cbrt
54×unpow-prod-down
39×add-exp-log
32×add-cbrt-cube
28×associate-*r*
23×exp-sum
22×prod-exp
17×div-exp
14×pow1
12×cbrt-unprod
11×associate-/l*
9×unpow-prod-up distribute-lft-out-- sqr-pow
7×cbrt-undiv
5×distribute-rgt-in distribute-lft-in pow-prod-down
4×pow-to-exp associate-*l/ pow-exp associate-/r* sqrt-prod add-log-exp
3×associate-+l- div-inv
2×sqrt-pow1 exp-diff associate-/r/ *-commutative unswap-sqr
1×frac-2neg pow1/2 clear-num associate-/l/ pow-sub
Counts
4 → 712
Calls
4 calls:
44.1s
(* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))))
40.9s
(* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (- z 1.0) 7.0))) (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))
839.0ms
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (- z 1.0) 7.0)))
7.0ms
(sqrt (* PI 2.0))

series1.3s

Counts
4 → 10
Calls
4 calls:
322.0ms
(* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))))
747.0ms
(* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (- z 1.0) 7.0))) (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))
191.0ms
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (- z 1.0) 7.0)))
0.0ms
(sqrt (* PI 2.0))

simplify913.0ms

Counts
722 → 722
Iterations

Useful iterations: done (724.0ms)

IterNodesCost
01683181524
done5001168080

prune12.6s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize84.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))))
0.7b
(* (/ (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (- z 1.0))) (exp 7.0)) (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))
1.0b
(/ (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (- z 1.0))) (exp 7.0))
1.0b
(sqrt (* PI 2.0))

rewrite1.3m

Algorithm
rewrite-expression-head
Rules
1872×frac-add
758×times-frac
740×*-un-lft-identity
528×flip3-+ flip-+
401×frac-times associate-*r/
294×add-sqr-sqrt
289×add-cube-cbrt
287×distribute-lft-out
210×unpow-prod-down
200×associate-*l*
154×exp-sum
77×sub-neg
60×associate-/l*
50×add-cbrt-cube
48×add-exp-log
35×unpow-prod-up distribute-lft-out-- sqr-pow
34×div-exp
28×associate-*r*
27×prod-exp
17×cbrt-unprod
16×cbrt-undiv
14×pow1
10×div-inv
7×exp-diff associate-/r/
5×distribute-rgt-in distribute-lft-in pow-prod-down
4×pow-to-exp associate-*l/ pow-exp sqrt-prod add-log-exp
3×associate-/r*
2×sqrt-pow1 *-commutative unswap-sqr
1×frac-2neg pow1/2 clear-num associate-/l/
Counts
4 → 1038
Calls
4 calls:
43.2s
(* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))))
33.8s
(* (/ (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (- z 1.0))) (exp 7.0)) (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))
517.0ms
(/ (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (- z 1.0))) (exp 7.0))
4.0ms
(sqrt (* PI 2.0))

series1.5s

Counts
4 → 10
Calls
4 calls:
328.0ms
(* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))))
878.0ms
(* (/ (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (- z 1.0))) (exp 7.0)) (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))
290.0ms
(/ (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (- z 1.0))) (exp 7.0))
0.0ms
(sqrt (* PI 2.0))

simplify994.0ms

Counts
1048 → 1048
Iterations

Useful iterations: done (774.0ms)

IterNodesCost
02009202624
done5000188735

prune15.6s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize80.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))))
0.7b
(* (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (/ (exp (- (- z 1.0))) (exp 7.0))) (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))
1.0b
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (/ (exp (- (- z 1.0))) (exp 7.0)))
1.0b
(sqrt (* PI 2.0))

rewrite1.3m

Algorithm
rewrite-expression-head
Rules
3120×frac-add
1046×frac-times
880×flip3-+ flip-+
724×associate-*r/
326×associate-+l- pow-sub
171×associate-*l/
169×*-un-lft-identity
117×distribute-lft-out
74×add-exp-log
61×prod-exp
50×add-cbrt-cube
47×associate-*r*
42×add-sqr-sqrt
31×times-frac
28×associate-*l*
25×cbrt-unprod
24×add-cube-cbrt
20×div-exp
14×pow1
8×cbrt-undiv pow-to-exp unpow-prod-down pow-exp unswap-sqr
6×distribute-neg-in exp-sum
5×distribute-rgt-in distribute-lft-in pow-prod-down
4×sqrt-prod add-log-exp
3×sub-neg *-commutative sqr-pow
2×sqrt-pow1 div-inv
1×unpow-prod-up pow1/2 distribute-lft-out--
Counts
4 → 980
Calls
4 calls:
42.9s
(* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))))
33.7s
(* (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (/ (exp (- (- z 1.0))) (exp 7.0))) (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))
729.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (/ (exp (- (- z 1.0))) (exp 7.0)))
4.0ms
(sqrt (* PI 2.0))

series1.4s

Counts
4 → 10
Calls
4 calls:
319.0ms
(* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))))
831.0ms
(* (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (/ (exp (- (- z 1.0))) (exp 7.0))) (* (/ (sqrt (* PI 2.0)) (exp 0.5)) (+ (+ (/ -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))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))
296.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (/ (exp (- (- z 1.0))) (exp 7.0)))
0.0ms
(sqrt (* PI 2.0))

simplify1.3s

Counts
990 → 990
Iterations

Useful iterations: done (934.0ms)

IterNodesCost
02310310847
done5001286455

prune19.7s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

regimes100.0ms

Accuracy

0% (0.9b remaining)

Error of 0.9b against oracle of 0.1b and baseline of 0.9b

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05892
17992
done7992

end0.0ms

sample22.6s

Algorithm
intervals
Results
8.7s3795×body10240exit
5.0s3365×body1280valid
2.9s2496×body640valid
2.1s1497×body1280nan
1.3s1247×body640nan
1.1s1257×body320valid
387.0ms663×body320nan
334.0ms329×body80valid
297.0ms635×body160valid
94.0ms289×body160nan
77.0ms294×body80nan