Details

Time bar (total: 7.1m)

sample1.4s

Algorithm
intervals
Results
547.0ms114×body1280valid
345.0ms127×body10240exit
140.0ms77×body640valid
94.0ms42×body640nan
58.0ms45×body1280nan
39.0ms42×body320valid
13.0ms20×body320nan
9.0ms17×body160valid
6.0ms13×body160nan
3.0ms12×body80nan
2.0ms9×body80valid

simplify1.9s

Counts
1 → 1
Iterations

Useful iterations: 3 (452.0ms)

IterNodesCost
05594
113394
244792
3247489
done500289

prune39.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.2b

localize63.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)))))))
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)))
911.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.1s

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

simplify904.0ms

Counts
296 → 296
Iterations

Useful iterations: done (833.0ms)

IterNodesCost
0107363253
done500058696

prune6.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize70.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))))))))
1.0b
(/ (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.7m

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:
48.7s
(* (/ (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)))))))
50.1s
(* (/ (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))))))))
851.0ms
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (- z 1.0) 7.0)))
4.0ms
(sqrt (* PI 2.0))

series1.2s

Counts
4 → 10
Calls
4 calls:
317.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)))))))
742.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))))))))
187.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))

simplify863.0ms

Counts
722 → 722
Iterations

Useful iterations: done (677.0ms)

IterNodesCost
01683181524
done5001168080

prune12.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.3m

Algorithm
rewrite-expression-head
Rules
3120×frac-add
1045×frac-times
880×flip3-+ flip-+
723×associate-*r/
228×*-un-lft-identity
170×add-exp-log associate-*l/
142×distribute-lft-out
135×prod-exp
93×div-exp
80×add-cbrt-cube
73×times-frac
43×add-sqr-sqrt
39×cbrt-unprod
38×add-cube-cbrt
36×unpow-prod-down
28×associate-*r*
26×exp-sum
25×pow-to-exp pow-exp
21×pow1
19×cbrt-undiv sub-neg
17×associate-*l*
12×unpow-prod-up associate-/l*
10×pow-prod-down
6×distribute-lft-out-- sqr-pow
5×distribute-rgt-in distribute-lft-in associate-/r*
4×sqrt-prod add-log-exp
2×sqrt-pow1 *-commutative div-inv unswap-sqr
1×frac-2neg pow1/2 exp-diff clear-num associate-/r/ associate-/l/ pow-sub
Counts
4 → 1056
Calls
4 calls:
472.0ms
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (- z 1.0)) (exp (- z 1.0)))
43.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)))))))
34.2s
(* (* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (- z 1.0)) (exp (- z 1.0))) (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) 0.5) (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))))))))
3.0ms
(sqrt (* PI 2.0))

series1.6s

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

simplify1.2s

Counts
1066 → 1066
Iterations

Useful iterations: done (923.0ms)

IterNodesCost
02382319241
done5001294986

prune19.7s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

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

rewrite1.3m

Algorithm
rewrite-expression-head
Rules
3120×frac-add
1045×frac-times
880×flip3-+ flip-+
723×associate-*r/
204×*-un-lft-identity
170×add-exp-log associate-*l/
135×prod-exp
132×distribute-lft-out
93×div-exp
80×add-cbrt-cube
43×times-frac
39×cbrt-unprod
37×add-sqr-sqrt
32×add-cube-cbrt
28×associate-*r*
25×pow-to-exp pow-exp
24×unpow-prod-down
21×pow1
19×cbrt-undiv
17×associate-*l*
10×pow-prod-down associate-/l*
5×distribute-rgt-in distribute-lft-in
4×sqrt-prod distribute-lft-out-- add-log-exp sqr-pow
3×associate-/r*
2×sqrt-pow1 *-commutative div-inv unswap-sqr
1×associate-+l- frac-2neg pow1/2 div-sub clear-num associate-/l/ pow-sub
Counts
4 → 1021
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)))))))
34.3s
(* (* (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (/ (+ (- z 1.0) 0.5) 2)) (exp (- z 1.0))) (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (/ (+ (- z 1.0) 0.5) 2)) (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))))))))
475.0ms
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (/ (+ (- z 1.0) 0.5) 2)) (exp 7.0))
3.0ms
(sqrt (* PI 2.0))

series1.5s

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

simplify1.2s

Counts
1031 → 1031
Iterations

Useful iterations: done (915.0ms)

IterNodesCost
02345326117
done5000299545

prune19.9s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes104.0ms

Accuracy

0% (0.9b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05590
17590
done7590

end0.0ms

sample23.1s

Algorithm
intervals
Results
8.3s3824×body10240exit
5.8s3481×body1280valid
3.5s2419×body640valid
1.9s1441×body1280nan
1.2s1243×body320valid
1.1s1323×body640nan
411.0ms631×body320nan
260.0ms608×body160valid
128.0ms289×body160nan
84.0ms317×body80nan
65.0ms349×body80valid