Details

Time bar (total: 6.0m)

sample1.2s

Algorithm
intervals
Results
553.0ms106×body1280valid
261.0ms111×body10240exit
110.0ms46×body1280nan
94.0ms43×body640nan
92.0ms79×body640valid
35.0ms43×body320valid
12.0ms17×body320nan
10.0ms20×body160valid
6.0ms13×body160nan
4.0ms14×body80valid
3.0ms12×body80nan

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done5000
32879
2449
1133
055

prune50.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize241.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (- z (- (- 1.0 0.5) 7.0)))
0.5b
(* (* (sqrt (* PI 2.0)) (/ (pow (- (+ 7.0 (+ z 0.5)) 1.0) (+ (- z 1.0) 0.5)) (exp (- z (- (- 1.0 0.5) 7.0))))) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ -0.13857109526572012 (+ 6.0 (- z 1.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (+ (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))
1.0b
(sqrt (* PI 2.0))
1.2b
(/ (pow (- (+ 7.0 (+ z 0.5)) 1.0) (+ (- z 1.0) 0.5)) (exp (- z (- (- 1.0 0.5) 7.0))))

rewrite1.1m

Algorithm
rewrite-expression-head
Rules
737×*-un-lft-identity
364×frac-add
331×add-sqr-sqrt
294×exp-sum
288×times-frac
252×prod-diff
207×distribute-lft-out--
195×add-cube-cbrt
175×unpow-prod-down
156×distribute-lft-out
93×associate-*r/
82×flip3-+ flip-+
68×difference-of-squares
46×frac-times
25×unpow-prod-up sqr-pow
24×associate-/r*
20×associate-*r*
19×add-exp-log
15×add-cbrt-cube
14×sub-neg associate--r- add-log-exp
12×pow1 associate-/l*
9×prod-exp
7×exp-prod
6×diff-log div-exp
5×cbrt-unprod
4×expm1-log1p-u pow-prod-down log1p-expm1-u rem-exp-log
2×pow-to-exp cbrt-undiv sqrt-pow1 exp-diff pow-exp
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in pow1/2 associate-*l* associate-*l/ associate-/r/ *-commutative associate-+l- sqrt-prod div-inv pow-sub associate-/l/
Counts
4 → 533
Calls
4 calls:
222.0ms
(exp (- z (- (- 1.0 0.5) 7.0)))
1.1m
(* (* (sqrt (* PI 2.0)) (/ (pow (- (+ 7.0 (+ z 0.5)) 1.0) (+ (- z 1.0) 0.5)) (exp (- z (- (- 1.0 0.5) 7.0))))) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ -0.13857109526572012 (+ 6.0 (- z 1.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (+ (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))
7.0ms
(sqrt (* PI 2.0))
716.0ms
(/ (pow (- (+ 7.0 (+ z 0.5)) 1.0) (+ (- z 1.0) 0.5)) (exp (- z (- (- 1.0 0.5) 7.0))))

series1.1s

Counts
4 → 10
Calls
4 calls:
13.0ms
(exp (- z (- (- 1.0 0.5) 7.0)))
846.0ms
(* (* (sqrt (* PI 2.0)) (/ (pow (- (+ 7.0 (+ z 0.5)) 1.0) (+ (- z 1.0) 0.5)) (exp (- z (- (- 1.0 0.5) 7.0))))) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ -0.13857109526572012 (+ 6.0 (- z 1.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (+ (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))
0.0ms
(sqrt (* PI 2.0))
276.0ms
(/ (pow (- (+ 7.0 (+ z 0.5)) 1.0) (+ (- z 1.0) 0.5)) (exp (- z (- (- 1.0 0.5) 7.0))))

simplify1.9s

Counts
543 → 543
Iterations
IterNodes
done5000
14645
01223

prune9.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize266.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (+ (- z 1.0) 0.5))
0.5b
(* (* (sqrt (* PI 2.0)) (* (/ (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (+ (- z 1.0) 0.5)) (exp z)) (/ (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (+ (- z 1.0) 0.5)) (exp (- (- (- 1.0 0.5) 7.0)))))) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ -0.13857109526572012 (+ 6.0 (- z 1.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (+ (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))
1.0b
(/ (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (+ (- z 1.0) 0.5)) (exp (- (- (- 1.0 0.5) 7.0))))
1.0b
(sqrt (* PI 2.0))

rewrite1.2m

Algorithm
rewrite-expression-head
Rules
840×*-un-lft-identity
728×frac-add
506×add-sqr-sqrt
465×times-frac
448×distribute-neg-in exp-sum
384×prod-diff
344×add-cube-cbrt
330×unpow-prod-down
234×associate-*r/
232×sqrt-prod
185×frac-times
182×distribute-lft-out
176×associate--l+
164×flip3-+ flip-+
148×distribute-lft-out--
81×difference-of-squares
68×add-exp-log
51×prod-exp
50×associate-*l/
33×unpow-prod-up sqr-pow
32×sub-neg
31×associate-/r* add-cbrt-cube
27×div-exp
20×associate-*r*
18×pow1
15×cbrt-unprod associate-/l*
10×pow-to-exp pow-exp
7×pow-prod-down
5×cbrt-undiv pow-unpow
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-pow sqrt-pow1
2×pow1/2 associate-/r/ associate-+l- pow-sub
1×neg-sub0 distribute-rgt-in exp-neg clear-num frac-2neg distribute-lft-in exp-diff associate-*l* *-commutative div-inv sqrt-pow2 associate-/l/
Counts
4 → 823
Calls
4 calls:
146.0ms
(pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (+ (- z 1.0) 0.5))
1.2m
(* (* (sqrt (* PI 2.0)) (* (/ (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (+ (- z 1.0) 0.5)) (exp z)) (/ (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (+ (- z 1.0) 0.5)) (exp (- (- (- 1.0 0.5) 7.0)))))) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ -0.13857109526572012 (+ 6.0 (- z 1.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (+ (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))
637.0ms
(/ (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (+ (- z 1.0) 0.5)) (exp (- (- (- 1.0 0.5) 7.0))))
5.0ms
(sqrt (* PI 2.0))

series2.2s

Counts
4 → 10
Calls
4 calls:
178.0ms
(pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (+ (- z 1.0) 0.5))
1.6s
(* (* (sqrt (* PI 2.0)) (* (/ (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (+ (- z 1.0) 0.5)) (exp z)) (/ (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (+ (- z 1.0) 0.5)) (exp (- (- (- 1.0 0.5) 7.0)))))) (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ -0.13857109526572012 (+ 6.0 (- z 1.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (+ (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))
413.0ms
(/ (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (+ (- z 1.0) 0.5)) (exp (- (- (- 1.0 0.5) 7.0))))
0.0ms
(sqrt (* PI 2.0))

simplify1.1s

Counts
833 → 833
Iterations
IterNodes
done5000
01754

prune16.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize137.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (sqrt (* PI 2.0)) (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (* 2 (- z (- 1.0 0.5))))) (+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))))) (+ (/ -0.13857109526572012 (+ 6.0 (- z 1.0))) (+ (+ (/ 12.507343278686905 (- z (- 1.0 5.0))) (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0)))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))
0.7b
(/ (* (* (sqrt (* PI 2.0)) (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (* 2 (- z (- 1.0 0.5))))) (+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))))) (+ (/ -0.13857109526572012 (+ 6.0 (- z 1.0))) (+ (+ (/ 12.507343278686905 (- z (- 1.0 5.0))) (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0)))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (* (exp z) (exp (- (- (- 1.0 0.5) 7.0)))))
1.0b
(* (sqrt (* PI 2.0)) (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (* 2 (- z (- 1.0 0.5)))))
1.0b
(sqrt (* PI 2.0))

rewrite46.7s

Algorithm
rewrite-expression-head
Rules
544×frac-add
182×*-un-lft-identity
160×flip3-+ flip-+
146×associate-*r/
115×distribute-lft-out
77×associate-*r*
72×associate-/l/
46×add-sqr-sqrt add-exp-log
36×unpow-prod-up
32×add-cbrt-cube
30×prod-diff
29×prod-exp
25×add-cube-cbrt
19×distribute-rgt-in distribute-lft-in
13×cbrt-unprod
12×unpow-prod-down
10×div-exp sqrt-prod
9×pow1 distribute-lft-out--
7×difference-of-squares
6×cbrt-undiv
5×associate-*l*
4×expm1-log1p-u pow-to-exp pow-exp log1p-expm1-u add-log-exp unswap-sqr
3×associate-/r/
2×exp-neg sub-neg sqrt-pow1 pow-prod-down *-commutative associate--r- sqr-pow
1×neg-sub0 clear-num associate-/r* frac-2neg times-frac pow1/2 exp-diff un-div-inv div-inv associate-/l*
Counts
4 → 310
Calls
4 calls:
28.0s
(* (* (sqrt (* PI 2.0)) (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (* 2 (- z (- 1.0 0.5))))) (+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))))) (+ (/ -0.13857109526572012 (+ 6.0 (- z 1.0))) (+ (+ (/ 12.507343278686905 (- z (- 1.0 5.0))) (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0)))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))
18.1s
(/ (* (* (sqrt (* PI 2.0)) (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (* 2 (- z (- 1.0 0.5))))) (+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))))) (+ (/ -0.13857109526572012 (+ 6.0 (- z 1.0))) (+ (+ (/ 12.507343278686905 (- z (- 1.0 5.0))) (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0)))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (* (exp z) (exp (- (- (- 1.0 0.5) 7.0)))))
620.0ms
(* (sqrt (* PI 2.0)) (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (* 2 (- z (- 1.0 0.5)))))
3.0ms
(sqrt (* PI 2.0))

series1.9s

Counts
4 → 10
Calls
4 calls:
672.0ms
(* (* (sqrt (* PI 2.0)) (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (* 2 (- z (- 1.0 0.5))))) (+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))))) (+ (/ -0.13857109526572012 (+ 6.0 (- z 1.0))) (+ (+ (/ 12.507343278686905 (- z (- 1.0 5.0))) (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0)))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))
915.0ms
(/ (* (* (sqrt (* PI 2.0)) (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (* 2 (- z (- 1.0 0.5))))) (+ (+ (/ -1259.1392167224028 (+ 2.0 (- z 1.0))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))))) (+ (/ -0.13857109526572012 (+ 6.0 (- z 1.0))) (+ (+ (/ 12.507343278686905 (- z (- 1.0 5.0))) (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0)))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))) (* (exp z) (exp (- (- (- 1.0 0.5) 7.0)))))
352.0ms
(* (sqrt (* PI 2.0)) (pow (sqrt (- (+ (+ 7.0 z) 0.5) 1.0)) (* 2 (- z (- 1.0 0.5)))))
0.0ms
(sqrt (* PI 2.0))

simplify1.1s

Counts
320 → 320
Iterations
IterNodes
done5000
14948
01109

prune6.8s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize139.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (* (sqrt (* PI 2.0)) (pow (sqrt (+ (+ z 7.0) (- 0.5 1.0))) (* 2 (+ (- z 1.0) 0.5)))) (/ (exp z) (+ (/ -1259.1392167224028 (- (+ 2.0 z) 1.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 4.0 (- z 1.0)))) (/ 771.3234287776531 (+ 3.0 (- z 1.0)))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (+ (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (/ -0.13857109526572012 (+ 6.0 (- z 1.0))))))))
0.6b
(* (/ (* (sqrt (* PI 2.0)) (pow (sqrt (+ (+ z 7.0) (- 0.5 1.0))) (* 2 (+ (- z 1.0) 0.5)))) (/ (exp z) (+ (/ -1259.1392167224028 (- (+ 2.0 z) 1.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 4.0 (- z 1.0)))) (/ 771.3234287776531 (+ 3.0 (- z 1.0)))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (+ (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (/ -0.13857109526572012 (+ 6.0 (- z 1.0)))))))) (exp (- (- 1.0 0.5) 7.0)))
1.0b
(* (sqrt (* PI 2.0)) (pow (sqrt (+ (+ z 7.0) (- 0.5 1.0))) (* 2 (+ (- z 1.0) 0.5))))
1.0b
(sqrt (* PI 2.0))

rewrite1.6m

Algorithm
rewrite-expression-head
Rules
996×*-un-lft-identity
735×distribute-lft-out
546×frac-add
400×times-frac
140×associate-/r/
123×flip3-+ flip-+
119×associate-*l*
111×add-sqr-sqrt
110×associate-/r*
96×add-cube-cbrt
50×add-exp-log
47×associate-*r*
36×add-cbrt-cube
28×exp-sum
24×div-exp prod-diff prod-exp
12×cbrt-undiv unpow-prod-down
11×associate--l+
10×sqrt-prod cbrt-unprod
9×pow1
5×pow-to-exp pow-exp div-inv distribute-lft-out-- unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×difference-of-squares
2×unpow-prod-up sub-neg sqrt-pow1 exp-diff pow-prod-down *-commutative sqr-pow
1×distribute-rgt-in frac-times clear-num frac-2neg distribute-lft-in pow1/2 associate-*l/ associate-*r/ associate-/l*
Counts
4 → 472
Calls
4 calls:
31.6s
(/ (* (sqrt (* PI 2.0)) (pow (sqrt (+ (+ z 7.0) (- 0.5 1.0))) (* 2 (+ (- z 1.0) 0.5)))) (/ (exp z) (+ (/ -1259.1392167224028 (- (+ 2.0 z) 1.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 4.0 (- z 1.0)))) (/ 771.3234287776531 (+ 3.0 (- z 1.0)))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (+ (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (/ -0.13857109526572012 (+ 6.0 (- z 1.0))))))))
1.1m
(* (/ (* (sqrt (* PI 2.0)) (pow (sqrt (+ (+ z 7.0) (- 0.5 1.0))) (* 2 (+ (- z 1.0) 0.5)))) (/ (exp z) (+ (/ -1259.1392167224028 (- (+ 2.0 z) 1.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 4.0 (- z 1.0)))) (/ 771.3234287776531 (+ 3.0 (- z 1.0)))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (+ (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (/ -0.13857109526572012 (+ 6.0 (- z 1.0)))))))) (exp (- (- 1.0 0.5) 7.0)))
180.0ms
(* (sqrt (* PI 2.0)) (pow (sqrt (+ (+ z 7.0) (- 0.5 1.0))) (* 2 (+ (- z 1.0) 0.5))))
3.0ms
(sqrt (* PI 2.0))

series2.2s

Counts
4 → 10
Calls
4 calls:
818.0ms
(/ (* (sqrt (* PI 2.0)) (pow (sqrt (+ (+ z 7.0) (- 0.5 1.0))) (* 2 (+ (- z 1.0) 0.5)))) (/ (exp z) (+ (/ -1259.1392167224028 (- (+ 2.0 z) 1.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 4.0 (- z 1.0)))) (/ 771.3234287776531 (+ 3.0 (- z 1.0)))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (+ (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (/ -0.13857109526572012 (+ 6.0 (- z 1.0))))))))
1.0s
(* (/ (* (sqrt (* PI 2.0)) (pow (sqrt (+ (+ z 7.0) (- 0.5 1.0))) (* 2 (+ (- z 1.0) 0.5)))) (/ (exp z) (+ (/ -1259.1392167224028 (- (+ 2.0 z) 1.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -176.6150291621406 (+ 4.0 (- z 1.0)))) (/ 771.3234287776531 (+ 3.0 (- z 1.0)))) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (+ (/ 9.984369578019572e-06 (+ 7.0 (- z 1.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (/ -0.13857109526572012 (+ 6.0 (- z 1.0)))))))) (exp (- (- 1.0 0.5) 7.0)))
354.0ms
(* (sqrt (* PI 2.0)) (pow (sqrt (+ (+ z 7.0) (- 0.5 1.0))) (* 2 (+ (- z 1.0) 0.5))))
0.0ms
(sqrt (* PI 2.0))

simplify1.1s

Counts
482 → 482
Iterations
IterNodes
done5000
14687
01280

prune6.5s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes125.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
IterNodes
done84
184
062

end0.0ms

sample22.9s

Algorithm
intervals
Results
9.2s3949×body10240exit
5.1s3435×body1280valid
2.9s2419×body640valid
2.4s1471×body1280nan
1.2s1303×body640nan
754.0ms1236×body320valid
445.0ms620×body320nan
253.0ms647×body160valid
176.0ms361×body160nan
128.0ms370×body80valid
45.0ms284×body80nan