Details

sample724.0ms

Algorithm

intervals

Results

296.0ms	140×	body	5120	exit
129.0ms	101×	body	1280	valid
81.0ms	83×	body	640	valid
76.0ms	50×	body	1280	nan
52.0ms	48×	body	640	nan
31.0ms	40×	body	320	valid
17.0ms	13×	body	320	nan
10.0ms	21×	body	160	valid
5.0ms	11×	body	160	nan
3.0ms	15×	body	80	valid
1.0ms	4×	body	80	nan

simplify661.0ms

Counts

1 → 1

Iterations

Useful iterations: 3 (150.0ms)

Iter	Nodes	Cost
0	55	94
1	133	94
2	442	92
3	2475	89
done	5001	89

prune13.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 1.2b

Counts

2 → 1

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite528.0ms

Algorithm

rewrite-expression-head

Rules

1731×	`*-un-lft-identity`
1345×	`distribute-lft-out`
459×	`frac-add`
283×	`times-frac`
169×	`flip3-+` `flip-+`
137×	`associate-r`
116×	`associate-/l/`
87×	`add-sqr-sqrt`
82×	`add-cube-cbrt`
67×	`exp-sum`
33×	`associate-/l*`
11×	`add-cbrt-cube`
9×	`pow1` `add-exp-log`
6×	`distribute-lft-out--` `add-log-exp`
4×	`associate-+l-` `associate-l` `associate-/r*`
2×	`cbrt-undiv` `sqrt-pow1` `exp-diff` `div-exp` `pow-prod-down` `prod-exp` `sqrt-prod` `associate-/r/` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `pow1/2` `associate-r/` `clear-num` `sum-log` `-commutative`

Counts

4 → 488

Calls

4 calls:

214.0ms	(* (sqrt (* PI 2.0)) (/ (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (+ (+ (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ -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)))))) (exp (+ (+ (- z 1.0) 7.0) 0.5))))
34.0ms	(+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)))
203.0ms	(/ (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (+ (+ (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ -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)))))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
3.0ms	(sqrt (* PI 2.0))

series59.0ms

Counts

4 → 10

Calls

4 calls:

26.0ms	(* (sqrt (* PI 2.0)) (/ (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (+ (+ (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ -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)))))) (exp (+ (+ (- z 1.0) 7.0) 0.5))))
13.0ms	(+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)))
20.0ms	(/ (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (+ (+ (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ -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)))))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
0.0ms	(sqrt (* PI 2.0))

simplify625.0ms

Counts

498 → 498

Iterations

Useful iterations: done (561.0ms)

Iter	Nodes	Cost
0	582	34188
1	1913	32402
done	5000	32399

prune10.5s

Filtered

204 candidates to 498 candidates (-144.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	488	10	498
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	489	10	499

Merged error: 0.1b

Counts

499 → 10

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite489.0ms

Algorithm

rewrite-expression-head

Rules

917×	`frac-add`
337×	`flip3-+` `flip-+`
241×	`*-un-lft-identity`
232×	`associate-*r/`
169×	`distribute-lft-out`
116×	`associate-/l/`
33×	`associate-r`
22×	`times-frac`
11×	`add-cbrt-cube`
10×	`add-sqr-sqrt`
9×	`pow1` `add-exp-log`
8×	`add-cube-cbrt`
6×	`distribute-lft-out--` `add-log-exp`
4×	`associate-l` `associate-/r*`
2×	`cbrt-undiv` `associate-+l-` `sqrt-pow1` `div-exp` `exp-sum` `pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod`
1×	`+-commutative` `distribute-rgt-in` `frac-2neg` `distribute-lft-in` `pow1/2` `exp-diff` `clear-num` `sum-log` `associate-/r/` `-commutative` `div-inv` `associate-/l` `unswap-sqr`

Counts

4 → 340

Calls

4 calls:

196.0ms	(* (sqrt (* PI 2.0)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (+ (+ (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ -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)))))))
34.0ms	(+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)))
207.0ms	(/ (* (sqrt (* PI 2.0)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (+ (+ (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ -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))))))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
3.0ms	(sqrt (* PI 2.0))

series58.0ms

Counts

4 → 10

Calls

4 calls:

20.0ms	(* (sqrt (* PI 2.0)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (+ (+ (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ -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)))))))
5.0ms	(+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)))
33.0ms	(/ (* (sqrt (* PI 2.0)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (+ (+ (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ -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))))))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
0.0ms	(sqrt (* PI 2.0))

simplify530.0ms

Counts

350 → 350

Iterations

Useful iterations: done (453.0ms)

Iter	Nodes	Cost
0	1190	54923
done	5002	50913

prune39.2s

Filtered

304 candidates to 350 candidates (-15.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	345	5	350
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	350	10	360

Merged error: 0.1b

Counts

360 → 10

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite819.0ms

Algorithm

rewrite-expression-head

Rules

4967×	`*-un-lft-identity`
3697×	`distribute-lft-out`
2749×	`frac-add`
1818×	`times-frac`
1009×	`flip3-+` `flip-+`
697×	`associate-/r/`
486×	`add-sqr-sqrt` `add-cube-cbrt`
285×	`associate-/r*`
254×	`sqrt-prod`
199×	`exp-sum`
11×	`add-cbrt-cube`
9×	`add-exp-log`
8×	`associate-/l*`
7×	`pow1` `div-inv`
6×	`distribute-lft-out--` `add-log-exp`
4×	`cbrt-undiv` `div-exp`
2×	`associate-+l-` `frac-2neg` `sqrt-pow1` `clear-num`
1×	`+-commutative` `pow1/2` `exp-diff` `pow-prod-down` `sum-log` `associate-/l/`

Counts

4 → 1610

Calls

4 calls:

259.0ms	(/ (sqrt (* PI 2.0)) (/ (exp (+ (+ (- z 1.0) 7.0) 0.5)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (+ (+ (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ -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))))))))
36.0ms	(+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)))
208.0ms	(/ (exp (+ (+ (- z 1.0) 7.0) 0.5)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (+ (+ (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ -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)))))))
3.0ms	(sqrt (* PI 2.0))

series58.0ms

Counts

4 → 10

Calls

4 calls:

33.0ms	(/ (sqrt (* PI 2.0)) (/ (exp (+ (+ (- z 1.0) 7.0) 0.5)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (+ (+ (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ -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))))))))
5.0ms	(+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)))
20.0ms	(/ (exp (+ (+ (- z 1.0) 7.0) 0.5)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (+ (+ (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ -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.0ms	(sqrt (* PI 2.0))

simplify1.6s

Counts

1620 → 1620

Iterations

Useful iterations: 0 (578.0ms)

Iter	Nodes	Cost
0	2274	349459
done	5000	349459

prune2.9min

Filtered

856 candidates to 1620 candidates (-89.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	1619	1	1620
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	1621	9	1630

Merged error: 0.1b

Counts

1630 → 9

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite339.0ms

Algorithm

rewrite-expression-head

Rules

917×	`frac-add`
337×	`flip3-+` `flip-+`
257×	`*-un-lft-identity`
169×	`distribute-lft-out`
116×	`frac-times` `associate-*r/`
51×	`times-frac`
33×	`associate-r`
29×	`add-sqr-sqrt`
24×	`add-cube-cbrt`
21×	`associate-l`
11×	`add-cbrt-cube`
10×	`sqrt-prod`
9×	`pow1` `add-exp-log` `exp-sum`
6×	`distribute-lft-out--` `add-log-exp`
4×	`associate-+l-` `associate-/r` `associate-/l`
2×	`cbrt-undiv` `sqrt-pow1` `exp-diff` `div-exp` `pow-prod-down` `prod-exp` `associate-/r/` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`+-commutative` `distribute-rgt-in` `frac-2neg` `distribute-lft-in` `pow1/2` `associate-l/` `clear-num` `sum-log` `-commutative`

Counts

4 → 374

Calls

4 calls:

223.0ms	(* (/ (sqrt (* PI 2.0)) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (+ (+ (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ -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)))))))
40.0ms	(+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)))
17.0ms	(/ (sqrt (* PI 2.0)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
3.0ms	(sqrt (* PI 2.0))

series43.0ms

Counts

4 → 10

Calls

4 calls:

26.0ms	(* (/ (sqrt (* PI 2.0)) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (+ (+ (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ -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)))))))
5.0ms	(+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)))
12.0ms	(/ (sqrt (* PI 2.0)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
0.0ms	(sqrt (* PI 2.0))

simplify669.0ms

Counts

384 → 384

Iterations

Useful iterations: done (545.0ms)

Iter	Nodes	Cost
0	1336	93563
done	5002	86873

prune26.2s

Filtered

336 candidates to 384 candidates (-14.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	384	0	384
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	384	9	393

Merged error: 0.1b

Counts

393 → 9

regimes127.0ms

Accuracy

0% (0.8b remaining)

Error of 1.0b against oracle of 0.2b and baseline of 1.0b

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	53	89
1	73	89
done	73	89

end0.0ms

sample21.1s

Algorithm

intervals

Results

8.2s	3830×	body	5120	exit
4.4s	3395×	body	1280	valid
2.4s	2431×	body	640	valid
2.2s	1544×	body	1280	nan
1.4s	1285×	body	640	nan
900.0ms	1252×	body	320	valid
489.0ms	616×	body	320	nan
310.0ms	659×	body	160	valid
151.0ms	293×	body	160	nan
85.0ms	364×	body	80	valid
66.0ms	302×	body	80	nan

Details

sample724.0ms

simplify661.0ms

prune13.0ms

localize53.0ms

rewrite528.0ms

series59.0ms

simplify625.0ms

prune10.5s

localize53.0ms

rewrite489.0ms

series58.0ms

simplify530.0ms

prune39.2s

localize52.0ms

rewrite819.0ms

series58.0ms

simplify1.6s

prune2.9min

localize51.0ms

rewrite339.0ms

series43.0ms

simplify669.0ms

prune26.2s

regimes127.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample21.1s

Profiling