Details

sample1.7s

Algorithm

intervals

Results

483.0ms	49×	body	640	nan
397.0ms	120×	body	10240	exit
299.0ms	115×	body	1280	valid
197.0ms	76×	body	640	valid
169.0ms	62×	body	1280	nan
46.0ms	34×	body	320	valid
21.0ms	24×	body	160	valid
20.0ms	15×	body	320	nan
8.0ms	9×	body	160	nan
4.0ms	10×	body	80	nan
3.0ms	9×	body	80	valid

simplify1.2s

Counts: 1 → 1

prune51.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize162.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* PI 2))
1.0b	(+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))
0.9b	(/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (+ (- z -6) 0.5)))
0.9b	(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))

rewrite1.3s

Algorithm

rewrite-expression-head

Rules

321×	`*-un-lft-identity`
148×	`times-frac`
117×	`distribute-lft-out`
34×	`add-sqr-sqrt` `add-cube-cbrt`
31×	`fma-def`
27×	`distribute-lft-out--`
25×	`unpow-prod-down`
15×	`add-log-exp`
11×	`exp-sum`
10×	`frac-add` `associate-/l*`
7×	`pow1` `sum-log`
6×	`add-cbrt-cube` `add-exp-log`
5×	`unpow-prod-up` `flip3-+` `flip-+` `sqr-pow`
4×	`expm1-log1p-u` `associate-/r*` `insert-posit16` `log1p-expm1-u`
3×	`div-exp` `associate-/r/`
2×	`+-commutative` `sqrt-pow1` `associate-+l-` `div-inv`
1×	`pow-to-exp` `cbrt-undiv` `associate-+l+` `clear-num` `frac-2neg` `pow1/2` `exp-diff` `pow-prod-down` `pow-exp` `sqrt-prod` `pow-sub` `associate-/l/`

Counts

4 → 179

Calls

4 calls:

Slowest

1.1s	(+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))
180.0ms	(/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (+ (- z -6) 0.5)))
34.0ms	(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
8.0ms	(sqrt (* PI 2))

series405.0ms

Counts

4 → 10

Calls

4 calls:

Slowest

217.0ms	(/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (+ (- z -6) 0.5)))
125.0ms	(+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))
63.0ms	(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
0.0ms	(sqrt (* PI 2))

simplify2.0s

Counts: 189 → 189

prune6.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize158.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* PI 2))
1.0b	(+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))
1.0b	(/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp 0.5))
0.9b	(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))

rewrite1.4s

Algorithm

rewrite-expression-head

Rules

314×	`*-un-lft-identity`
138×	`times-frac`
115×	`distribute-lft-out`
32×	`add-sqr-sqrt` `add-cube-cbrt`
31×	`fma-def`
26×	`distribute-lft-out--`
20×	`unpow-prod-down`
15×	`add-log-exp`
10×	`frac-add` `associate-/l*`
7×	`pow1` `sum-log`
6×	`add-cbrt-cube` `add-exp-log`
5×	`flip3-+` `flip-+`
4×	`expm1-log1p-u` `unpow-prod-up` `insert-posit16` `log1p-expm1-u` `sqr-pow`
3×	`associate-/r*` `div-exp`
2×	`+-commutative` `sqrt-pow1` `associate-/r/` `div-inv`
1×	`pow-to-exp` `cbrt-undiv` `associate-+l+` `clear-num` `frac-2neg` `pow1/2` `pow-prod-down` `pow-exp` `associate-+l-` `sqrt-prod` `pow-sub` `associate-/l/`

Counts

4 → 167

Calls

4 calls:

Slowest

1.2s	(+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))
132.0ms	(/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp 0.5))
62.0ms	(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
7.0ms	(sqrt (* PI 2))

series497.0ms

Counts

4 → 10

Calls

4 calls:

Slowest

271.0ms	(/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp 0.5))
150.0ms	(+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))
76.0ms	(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
0.0ms	(sqrt (* PI 2))

simplify1.8s

Counts: 177 → 177

prune6.9s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize176.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* PI 2))
1.0b	(+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))
0.9b	(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
0.5b	(* (sqrt (* PI 2)) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3))))))

rewrite22.9s

Algorithm

rewrite-expression-head

Rules

426×	`*-un-lft-identity`
364×	`frac-add`
230×	`distribute-lft-out`
117×	`flip3-+` `flip-+`
108×	`times-frac`
92×	`associate-*r/`
31×	`fma-def`
29×	`associate-r`
22×	`distribute-lft-out--`
17×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `add-log-exp`
9×	`pow1`
7×	`sum-log`
6×	`add-cbrt-cube` `add-exp-log`
4×	`expm1-log1p-u` `associate-l` `insert-posit16` `log1p-expm1-u`
2×	`+-commutative` `sqrt-pow1` `pow-prod-down` `associate-/r/` `sqrt-prod`
1×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in` `pow1/2` `prod-exp` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

4 → 248

Calls

4 calls:

Slowest

21.6s	(* (sqrt (* PI 2)) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3))))))
1.2s	(+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))
64.0ms	(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
4.0ms	(sqrt (* PI 2))

series596.0ms

Counts

4 → 10

Calls

4 calls:

Slowest

326.0ms	(* (sqrt (* PI 2)) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3))))))
161.0ms	(+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))
109.0ms	(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
0.0ms	(sqrt (* PI 2))

simplify7.1s

Counts: 258 → 258

prune12.4s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.1b

localize155.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt PI)
1.0b	(+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))
0.9b	(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
0.5b	(* (* (sqrt PI) (sqrt 2)) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3))))))

rewrite17.4s

Algorithm

rewrite-expression-head

Rules

426×	`*-un-lft-identity`
364×	`frac-add`
230×	`distribute-lft-out`
117×	`flip3-+` `flip-+`
108×	`times-frac`
92×	`associate-*r/`
31×	`fma-def`
29×	`associate-r`
22×	`distribute-lft-out--`
16×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `add-log-exp`
10×	`pow1`
9×	`add-cbrt-cube` `add-exp-log`
7×	`sum-log`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`pow-prod-down` `prod-exp` `sqrt-prod` `cbrt-unprod`
2×	`+-commutative` `associate-/r/`
1×	`distribute-rgt-in` `rem-sqrt-square` `associate-+l+` `distribute-lft-in` `sqrt-pow1` `pow1/2` `associate-l` `*-commutative` `div-inv`

Counts

4 → 249

Calls

4 calls:

Slowest

16.2s	(* (* (sqrt PI) (sqrt 2)) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3))))))
1.1s	(+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))
40.0ms	(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
2.0ms	(sqrt PI)

series552.0ms

Counts

4 → 10

Calls

4 calls:

Slowest

332.0ms	(* (* (sqrt PI) (sqrt 2)) (+ (+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5))) (+ (+ (/ 1.5056327351493116e-07 (+ 7 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3))))))
148.0ms	(+ (+ (+ (/ 771.3234287776531 (+ 2 z)) (/ -1259.1392167224028 (+ 1 z))) (/ 12.507343278686905 (- z -4))) (/ -176.6150291621406 (- z -3)))
71.0ms	(+ (/ 9.984369578019572e-06 (+ 6 z)) (/ -0.13857109526572012 (- z -5)))
0.0ms	(sqrt PI)

simplify8.5s

Counts: 259 → 259

prune13.2s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.1b

regimes135.0ms

Accuracy

0% (0.3b remaining)

Error of 0.8b against oracle of 0.5b and baseline of 0.8b

bsearch15.0ms

end0.0ms

sample52.3s

Algorithm

intervals

Results

18.3s	3989×	body	10240	exit
13.1s	3382×	body	1280	valid
7.1s	2492×	body	640	valid
5.1s	1477×	body	1280	nan
3.4s	1236×	body	640	nan
2.0s	1224×	body	320	valid
1.2s	632×	body	320	nan
611.0ms	650×	body	160	valid
375.0ms	323×	body	160	nan
324.0ms	325×	body	80	valid
174.0ms	303×	body	80	nan