Details

sample1.7s

Algorithm

intervals

Results

656.0ms	143×	body	10240	exit
485.0ms	259×	body	80	valid
215.0ms	56×	body	1280	nan
128.0ms	38×	body	640	nan
35.0ms	20×	body	320	nan
19.0ms	16×	body	160	nan
5.0ms	8×	body	80	nan

simplify2.1s

Counts: 1 → 1

prune79.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize174.0ms

Local error

Found 4 expressions with local error:

1.1b	(* (* (+ (+ (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (/ -176.6150291621406 (- 4 z))) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))))) (+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (- 5 z)))) (/ PI (sin (* PI z)))) (* (/ (pow (+ 0.5 (- 7 z)) (+ 0.5 (- 0 z))) (exp (+ 0.5 (- 7 z)))) (sqrt (* 2 PI))))
1.0b	(sqrt (* 2 PI))
1.0b	(+ (/ 771.3234287776531 (+ 2 (- 1 z))) (/ -176.6150291621406 (- 4 z)))
1.0b	(+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (- 5 z)))

rewrite39.1s

Algorithm

rewrite-expression-head

Rules

1090×	`frac-add`
483×	`associate-*l/`
434×	`flip3-+` `flip-+`
321×	`frac-times`
61×	`*-un-lft-identity`
58×	`add-exp-log`
40×	`add-cbrt-cube`
37×	`prod-exp`
21×	`cbrt-unprod`
20×	`times-frac`
19×	`pow1`
16×	`distribute-lft-out`
14×	`div-exp`
9×	`pow-prod-down` `distribute-lft-out--`
8×	`add-log-exp`
6×	`cbrt-undiv`
4×	`add-sqr-sqrt` `add-cube-cbrt` `insert-posit16`
3×	`pow-to-exp` `pow-exp` `associate-*r/`
2×	`+-commutative` `sum-log` `sqrt-pow1`
1×	`pow1/2` `associate-r` `associate-l` `*-commutative` `sqrt-prod`

Counts

4 → 412

Calls

4 calls:

Slowest

38.9s	(* (* (+ (+ (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (/ -176.6150291621406 (- 4 z))) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))))) (+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (- 5 z)))) (/ PI (sin (* PI z)))) (* (/ (pow (+ 0.5 (- 7 z)) (+ 0.5 (- 0 z))) (exp (+ 0.5 (- 7 z)))) (sqrt (* 2 PI))))
147.0ms	(+ (/ 771.3234287776531 (+ 2 (- 1 z))) (/ -176.6150291621406 (- 4 z)))
38.0ms	(+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (- 5 z)))
3.0ms	(sqrt (* 2 PI))

series1.2s

Counts

4 → 10

Calls

4 calls:

Slowest

1.1s	(* (* (+ (+ (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (/ -176.6150291621406 (- 4 z))) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (- 2 z)))))) (+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (- 5 z)))) (/ PI (sin (* PI z)))) (* (/ (pow (+ 0.5 (- 7 z)) (+ 0.5 (- 0 z))) (exp (+ 0.5 (- 7 z)))) (sqrt (* 2 PI))))
91.0ms	(+ (/ 771.3234287776531 (+ 2 (- 1 z))) (/ -176.6150291621406 (- 4 z)))
88.0ms	(+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (- 5 z)))
0.0ms	(sqrt (* 2 PI))

simplify19.7s

Counts: 422 → 422

prune26.9s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize449.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* 2 PI))
1.0b	(* (* (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z)))) (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))))
1.0b	(- (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
1.0b	(- (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))

rewrite578.0ms

Algorithm

rewrite-expression-head

Rules

81×	`frac-times`
71×	`*-un-lft-identity`
48×	`flip3-+` `frac-add` `flip-+`
32×	`times-frac`
30×	`add-sqr-sqrt`
27×	`associate-*l/`
26×	`pow1`
22×	`distribute-lft-out--`
15×	`associate-*r/`
9×	`add-cbrt-cube` `add-exp-log`
8×	`associate-r` `add-log-exp` `difference-of-squares`
6×	`pow-plus` `pow-prod-up`
5×	`add-cube-cbrt` `distribute-lft-out`
4×	`pow-prod-down` `insert-posit16`
3×	`prod-exp` `cbrt-unprod`
2×	`pow2` `sub-neg` `sqrt-pow1` `flip3--` `diff-log` `pow-sqr` `frac-sub` `flip--`
1×	`distribute-rgt-in` `distribute-lft-in` `pow1/2` `associate-l` `pow3` `*-commutative` `sqrt-prod` `unswap-sqr`

Counts

4 → 157

Calls

4 calls:

Slowest

447.0ms	(* (* (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z)))) (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))))
67.0ms	(- (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
55.0ms	(- (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
3.0ms	(sqrt (* 2 PI))

series262.0ms

Counts

4 → 10

Calls

4 calls:

Slowest

103.0ms	(* (* (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z)))) (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))))
80.0ms	(- (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
78.0ms	(- (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
0.0ms	(sqrt (* 2 PI))

simplify5.3s

Counts: 167 → 167

prune15.9s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize478.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* 2 PI))
1.0b	(- (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
1.0b	(- (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
1.0b	(- (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))

rewrite203.0ms

Algorithm

rewrite-expression-head

Rules

70×	`*-un-lft-identity`
40×	`add-sqr-sqrt`
36×	`times-frac`
27×	`distribute-lft-out--`
12×	`difference-of-squares`
10×	`add-log-exp`
7×	`pow1`
4×	`add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `insert-posit16`
3×	`sub-neg` `flip3--` `diff-log` `frac-sub` `flip--`
2×	`sqrt-pow1`
1×	`pow1/2` `pow-prod-down` `sqrt-prod`

Counts

4 → 81

Calls

4 calls:

Slowest

75.0ms	(- (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
73.0ms	(- (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
46.0ms	(- (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
5.0ms	(sqrt (* 2 PI))

series233.0ms

Counts

4 → 10

Calls

4 calls:

Slowest

89.0ms	(- (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
77.0ms	(- (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
66.0ms	(- (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
0.0ms	(sqrt (* 2 PI))

simplify935.0ms

Counts: 91 → 91

prune8.6s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize482.0ms

Local error

Found 4 expressions with local error:

1.0b	(sqrt (* 2 PI))
1.0b	(+ (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
1.0b	(* (* (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z)))) (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))))
1.0b	(- (/ 771.3234287776531 (+ 2 (- 1 z))) (/ -176.6150291621406 (- 4 z)))

rewrite657.0ms

Algorithm

rewrite-expression-head

Rules

84×	`*-un-lft-identity`
81×	`frac-times`
49×	`flip3-+` `frac-add` `flip-+`
32×	`times-frac`
27×	`associate-*l/`
26×	`pow1`
20×	`distribute-lft-out--`
18×	`add-sqr-sqrt`
15×	`associate-*r/`
14×	`distribute-lft-out`
9×	`add-cbrt-cube` `add-exp-log`
8×	`associate-r` `add-log-exp`
6×	`pow-plus` `pow-prod-up`
5×	`add-cube-cbrt`
4×	`pow-prod-down` `insert-posit16` `difference-of-squares`
3×	`prod-exp` `cbrt-unprod`
2×	`pow2` `sqrt-pow1` `pow-sqr`
1×	`distribute-rgt-in` `+-commutative` `sum-log` `sub-neg` `distribute-lft-in` `flip3--` `pow1/2` `diff-log` `associate-l` `pow3` `*-commutative` `frac-sub` `sqrt-prod` `flip--` `unswap-sqr`

Counts

4 → 154

Calls

4 calls:

Slowest

446.0ms	(* (* (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z)))) (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))))
148.0ms	(- (/ 771.3234287776531 (+ 2 (- 1 z))) (/ -176.6150291621406 (- 4 z)))
54.0ms	(+ (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
6.0ms	(sqrt (* 2 PI))

series257.0ms

Counts

4 → 10

Calls

4 calls:

Slowest

122.0ms	(* (* (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))) (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z)))) (+ (/ -1259.1392167224028 (- 2 z)) (/ 676.5203681218851 (- 1 z))))
70.0ms	(- (/ 771.3234287776531 (+ 2 (- 1 z))) (/ -176.6150291621406 (- 4 z)))
64.0ms	(+ (/ -176.6150291621406 (- 4 z)) (/ 771.3234287776531 (- 3 z)))
0.0ms	(sqrt (* 2 PI))

simplify1.7s

Counts: 164 → 164

prune16.5s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes651.0ms

Accuracy

0% (0.4b remaining)

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

bsearch129.0ms

end0.0ms

sample41.0s

Algorithm

intervals

Results

23.6s	3980×	body	10240	exit
7.0s	1553×	body	1280	nan
5.0s	8074×	body	80	valid
3.0s	1170×	body	640	nan
1.3s	636×	body	320	nan
402.0ms	335×	body	160	nan
212.0ms	324×	body	80	nan