Details

Time bar (total: 6.8m)

sample1.1s

Algorithm
intervals
Results
443.0ms131×body10240exit
214.0ms110×body1280valid
151.0ms80×body640valid
71.0ms51×body1280nan
46.0ms41×body640nan
32.0ms37×body320valid
25.0ms32×body320nan
11.0ms19×body160valid
8.0ms14×body160nan
3.0ms12×body80valid
2.0ms10×body80nan

simplify1.7s

Counts
1 → 1
Iterations

Useful iterations: 3 (461.0ms)

IterNodesCost
05594
113394
244792
3247489
done500289

prune30.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.1b

localize105.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)))))))
930.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)))
940.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
7.0ms
(sqrt (* PI 2.0))

series2.2s

Counts
4 → 10
Calls
4 calls:
1.0s
(* (/ (* (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)))))))
724.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)))
437.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0)))
0.0ms
(sqrt (* PI 2.0))

simplify986.0ms

Counts
296 → 296
Iterations

Useful iterations: done (876.0ms)

IterNodesCost
0107363253
done500058696

prune6.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize126.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.6m

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:
47.4s
(* (/ (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)))))))
49.5s
(* (/ (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))))))))
846.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:
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)))))))
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))))))))
184.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))

simplify894.0ms

Counts
722 → 722
Iterations

Useful iterations: done (705.0ms)

IterNodesCost
01683181524
done5001168080

prune12.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize82.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.2m

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:
41.6s
(* (/ (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)))))))
32.5s
(* (/ (/ (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))))))))
496.0ms
(/ (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (- z 1.0))) (exp 7.0))
3.0ms
(sqrt (* PI 2.0))

series1.5s

Counts
4 → 10
Calls
4 calls:
311.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)))))))
854.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))))))))
289.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))

simplify978.0ms

Counts
1048 → 1048
Iterations

Useful iterations: done (766.0ms)

IterNodesCost
02009202624
done5000188735

prune15.3s

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.2m

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:
41.6s
(* (/ (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)))))))
32.2s
(* (* (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))))))))
685.0ms
(* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (/ (exp (- (- z 1.0))) (exp 7.0)))
3.0ms
(sqrt (* PI 2.0))

series1.4s

Counts
4 → 10
Calls
4 calls:
314.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)))))))
825.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))))))))
281.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.2s

Counts
990 → 990
Iterations

Useful iterations: done (912.0ms)

IterNodesCost
02310310847
done5001286455

prune19.5s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

regimes92.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.1s

Algorithm
intervals
Results
9.2s3795×body10240exit
4.9s3365×body1280valid
2.2s2496×body640valid
2.0s1497×body1280nan
1.5s1247×body640nan
905.0ms1257×body320valid
432.0ms663×body320nan
310.0ms635×body160valid
91.0ms329×body80valid
90.0ms289×body160nan
44.0ms294×body80nan