Details

sample1.4s

Algorithm

intervals

Results

656.0ms	143×	body	10240	exit
409.0ms	47×	body	1280	nan
145.0ms	259×	body	80	valid
89.0ms	45×	body	640	nan
21.0ms	13×	body	320	nan
13.0ms	14×	body	160	nan
3.0ms	7×	body	80	nan

simplify1.5s

Counts: 1 → 1

prune56.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.6b

localize187.0ms

Local error

Found 4 expressions with local error:

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

rewrite8.4s

Algorithm

rewrite-expression-head

Rules

128×	`*-un-lft-identity`
97×	`frac-add`
74×	`distribute-lft-out` `add-log-exp`
53×	`sum-log`
39×	`flip3-+` `flip-+`
18×	`times-frac`
7×	`pow1`
6×	`distribute-lft-out--`
4×	`add-sqr-sqrt` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16`
3×	`+-commutative`
2×	`associate-+l+` `associate-+r+` `sqrt-pow1`
1×	`pow1/2` `pow-prod-down` `sqrt-prod`

Counts

4 → 129

Calls

4 calls:

Slowest

7.6s	(+ (+ (/ 9.984369578019572e-06 (+ 7 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5))) (+ (+ (+ (/ 771.3234287776531 (+ 3 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (/ -1259.1392167224028 (+ (- 0 z) 2))))
723.0ms	(+ (+ (/ 771.3234287776531 (+ 3 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
86.0ms	(+ (/ 771.3234287776531 (+ 3 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4)))
3.0ms	(sqrt (* 2 PI))

series381.0ms

Counts

4 → 10

Calls

4 calls:

Slowest

195.0ms	(+ (+ (/ 9.984369578019572e-06 (+ 7 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5))) (+ (+ (+ (/ 771.3234287776531 (+ 3 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (/ -1259.1392167224028 (+ (- 0 z) 2))))
110.0ms	(+ (+ (/ 771.3234287776531 (+ 3 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
75.0ms	(+ (/ 771.3234287776531 (+ 3 (- 0 z))) (/ -176.6150291621406 (+ (- 0 z) 4)))
0.0ms	(sqrt (* 2 PI))

simplify1.8s

Counts: 139 → 139

prune6.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize357.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* 2 PI))
1.0b	(* (/ 12.507343278686905 (+ (- 0 z) 5)) (/ 12.507343278686905 (+ (- 0 z) 5)))
1.0b	(* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
1.0b	(- (/ 9.984369578019572e-06 (+ 7 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5)))

rewrite439.0ms

Algorithm

rewrite-expression-head

Rules

258×	`*-un-lft-identity`
122×	`times-frac`
82×	`add-sqr-sqrt`
66×	`distribute-lft-out`
56×	`add-cube-cbrt`
45×	`swap-sqr`
40×	`distribute-lft-out--`
25×	`associate-r` `associate-l`
21×	`pow1`
18×	`add-cbrt-cube` `add-exp-log`
10×	`flip3-+` `flip-+`
8×	`associate-/r/`
6×	`add-log-exp`
5×	`frac-times` `prod-exp` `cbrt-unprod` `unswap-sqr`
4×	`cbrt-undiv` `div-exp` `insert-posit16` `div-inv` `difference-of-squares`
3×	`pow-prod-down` `associate-l/` `associate-r/`
2×	`pow2` `sqrt-pow1` `pow-plus` `pow-sqr` `*-commutative` `pow-prod-up`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `flip3--` `pow1/2` `diff-log` `frac-sub` `sqrt-prod` `flip--`

Counts

4 → 191

Calls

4 calls:

Slowest

167.0ms	(- (/ 9.984369578019572e-06 (+ 7 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5)))
153.0ms	(* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
109.0ms	(* (/ 12.507343278686905 (+ (- 0 z) 5)) (/ 12.507343278686905 (+ (- 0 z) 5)))
5.0ms	(sqrt (* 2 PI))

series178.0ms

Counts

4 → 10

Calls

4 calls:

Slowest

73.0ms	(- (/ 9.984369578019572e-06 (+ 7 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5)))
55.0ms	(* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
50.0ms	(* (/ 12.507343278686905 (+ (- 0 z) 5)) (/ 12.507343278686905 (+ (- 0 z) 5)))
0.0ms	(sqrt (* 2 PI))

simplify1.6s

Counts: 201 → 201

prune11.5s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize373.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* 2 PI))
1.0b	(* (/ 12.507343278686905 (+ (- 0 z) 5)) (/ 12.507343278686905 (+ (- 0 z) 5)))
1.0b	(* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
1.0b	(* (* (- (/ 9.984369578019572e-06 (+ 7 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5))) (- (/ 9.984369578019572e-06 (+ 7 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5)))) (- (/ 9.984369578019572e-06 (+ 7 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5))))

rewrite1.8s

Algorithm

rewrite-expression-head

Rules

259×	`*-un-lft-identity`
122×	`times-frac`
86×	`frac-times`
84×	`add-sqr-sqrt`
66×	`distribute-lft-out`
57×	`add-cube-cbrt`
48×	`flip3--` `frac-sub` `flip--`
45×	`swap-sqr`
42×	`associate-r`
40×	`pow1` `distribute-lft-out--`
30×	`associate-*l/`
26×	`associate-l`
23×	`add-cbrt-cube` `add-exp-log`
18×	`associate-*r/`
10×	`flip3-+` `flip-+`
8×	`pow-plus` `prod-exp` `associate-/r/` `pow-prod-up` `cbrt-unprod`
6×	`pow-prod-down` `unswap-sqr`
4×	`pow2` `cbrt-undiv` `div-exp` `pow-sqr` `insert-posit16` `div-inv` `add-log-exp` `difference-of-squares`
3×	`distribute-rgt-in` `distribute-lft-in` `*-commutative`
2×	`sub-neg` `sqrt-pow1`
1×	`pow1/2` `pow3` `sqrt-prod`

Counts

4 → 273

Calls

4 calls:

Slowest

1.5s	(* (* (- (/ 9.984369578019572e-06 (+ 7 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5))) (- (/ 9.984369578019572e-06 (+ 7 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5)))) (- (/ 9.984369578019572e-06 (+ 7 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5))))
141.0ms	(* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
132.0ms	(* (/ 12.507343278686905 (+ (- 0 z) 5)) (/ 12.507343278686905 (+ (- 0 z) 5)))
3.0ms	(sqrt (* 2 PI))

series238.0ms

Counts

4 → 10

Calls

4 calls:

Slowest

123.0ms	(* (* (- (/ 9.984369578019572e-06 (+ 7 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5))) (- (/ 9.984369578019572e-06 (+ 7 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5)))) (- (/ 9.984369578019572e-06 (+ 7 (- 0 z))) (/ 12.507343278686905 (+ (- 0 z) 5))))
66.0ms	(* (/ 12.507343278686905 (+ (- 0 z) 5)) (/ 12.507343278686905 (+ (- 0 z) 5)))
49.0ms	(* (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))
0.0ms	(sqrt (* 2 PI))

simplify1.1s

Counts: 283 → 283

prune18.8s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

localize284.0ms

Local error

Found 4 expressions with local error:

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

rewrite13.2s

Algorithm

rewrite-expression-head

Rules

89×	`*-un-lft-identity`
48×	`distribute-lft-out`
39×	`frac-add` `add-log-exp`
27×	`sum-log`
18×	`times-frac`
10×	`flip3-+` `flip-+`
9×	`pow1`
8×	`add-sqr-sqrt`
6×	`distribute-rgt-neg-in` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
4×	`associate-l` `insert-posit16`
3×	`associate-r`
2×	`+-commutative` `sqrt-pow1` `pow-prod-down` `sqrt-prod`
1×	`associate-+l+` `pow1/2` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 93

Calls

4 calls:

Slowest

13.1s	(+ (+ (/ 9.984369578019572e-06 (+ (- z) 7)) (+ (/ 12.507343278686905 (+ (- z) 5)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (+ (/ -176.6150291621406 (+ (- z) 4)) (/ 771.3234287776531 (+ 3 (- z))))))) (/ -1259.1392167224028 (+ (- z) 2)))
42.0ms	(+ (/ -176.6150291621406 (+ (- z) 4)) (/ 771.3234287776531 (+ 3 (- z))))
14.0ms	(* (sqrt (* 2 PI)) PI)
3.0ms	(sqrt (* 2 PI))

series284.0ms

Counts

4 → 8

Calls

4 calls:

Slowest

186.0ms	(+ (+ (/ 9.984369578019572e-06 (+ (- z) 7)) (+ (/ 12.507343278686905 (+ (- z) 5)) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (+ (/ -176.6150291621406 (+ (- z) 4)) (/ 771.3234287776531 (+ 3 (- z))))))) (/ -1259.1392167224028 (+ (- z) 2)))
98.0ms	(+ (/ -176.6150291621406 (+ (- z) 4)) (/ 771.3234287776531 (+ 3 (- z))))
0.0ms	(* (sqrt (* 2 PI)) PI)
0.0ms	(sqrt (* 2 PI))

simplify1.7s

Counts: 101 → 101

prune4.3s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.1b

regimes338.0ms

Accuracy

0% (0.4b remaining)

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

bsearch53.0ms

end0.0ms

sample41.7s

Algorithm

intervals

Results

20.8s	3794×	body	10240	exit
7.2s	1458×	body	1280	nan
7.0s	8082×	body	80	valid
3.5s	1250×	body	640	nan
1.6s	591×	body	320	nan
885.0ms	318×	body	160	nan
212.0ms	307×	body	80	nan