Details

sample1.3s

Algorithm

intervals

Results

766.0ms	112×	body	10240	exit
176.0ms	93×	body	640	valid
150.0ms	97×	body	1280	valid
57.0ms	43×	body	1280	nan
33.0ms	32×	body	640	nan
32.0ms	33×	body	320	valid
15.0ms	26×	body	160	valid
14.0ms	17×	body	320	nan
8.0ms	15×	body	160	nan
3.0ms	10×	body	80	valid
2.0ms	7×	body	80	nan

simplify82.0ms

Counts: 1 → 1

prune138.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 61.6b

localize153.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) (/ 1.0 2.0)) (+ (- z 1.0) (/ 1.0 2.0)))) (+ (+ (+ (+ (+ (+ (+ (+ (/ 562949953421205.0 562949953421312.0) (/ (/ 5950736089418501.0 8796093022208.0) (+ (- z 1.0) 1.0))) (/ (/ -5537752839100187.0 4398046511104.0) (+ (- z 1.0) 2.0))) (/ (/ 848079078717083.0 1099511627776.0) (+ (- z 1.0) 3.0))) (/ (/ -6214088902520669.0 35184372088832.0) (+ (- z 1.0) 4.0))) (/ (/ 7041008316161153.0 562949953421312.0) (+ (- z 1.0) 5.0))) (/ (/ -4992549864024149.0 3.602879701896397e+16) (+ (- z 1.0) 6.0))) (/ (/ 5893731530977871.0 5.902958103587057e+20) (+ (- z 1.0) 7.0))) (/ (/ 5688119651184367.0 3.777893186295716e+22) (+ (- z 1.0) 8.0)))) (exp (+ (+ (- z 1.0) 7.0) (/ 1.0 2.0))))
1.0b	(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) (/ 1.0 2.0)) (+ (- z 1.0) (/ 1.0 2.0))))
1.0b	(sqrt (* PI 2.0))
7.4b	(+ (- z 1.0) 1.0)

rewrite10.0m

Algorithm

rewrite-expression-head

Calls

3 calls:

1.0s	(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) (/ 1.0 2.0)) (+ (- z 1.0) (/ 1.0 2.0))))
6.0ms	(sqrt (* PI 2.0))
47.0ms	(+ (- z 1.0) 1.0)