Details

sample104.0ms

Algorithm

intervals

Results

29.0ms	51×	body	1280	valid
25.0ms	249×	body	80	nan
16.0ms	43×	body	640	valid
15.0ms	137×	body	80	valid
3.0ms	12×	body	320	valid
2.0ms	13×	body	160	valid

simplify15.0ms

Counts: 1 → 1

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.8b

localize9.0ms

Local error

Found 1 expressions with local error:

2.8b	(- (log1p N) (log N))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity`
12×	`add-sqr-sqrt` `prod-diff`
10×	`add-cube-cbrt`
5×	`pow1`
4×	`log-pow`
3×	`log-prod` `fma-neg` `associate--r+`
2×	`diff-log` `distribute-lft-out--` `add-log-exp`
1×	`expm1-log1p-u` `log1p-udef` `sub-neg` `flip3--` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `flip--` `difference-of-squares`

Counts

1 → 37

Calls

1 calls:

Slowest

6.0ms

(- (log1p N) (log N))

series108.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

108.0ms

(- (log1p N) (log N))

simplify1.6s

Counts: 40 → 40

prune295.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

28.0b	(fma (sqrt (log1p N)) (sqrt (log1p N)) (- (log N)))
0.0b	(sqrt (log1p N))
0.0b	(sqrt (log1p N))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt`
6×	`sqrt-prod`
5×	`pow1` `*-un-lft-identity` `add-cube-cbrt`
3×	`expm1-log1p-u` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`
1×	`fma-udef`

Counts

3 → 43

Calls

3 calls:

Slowest

1.0ms	(sqrt (log1p N))
1.0ms	(sqrt (log1p N))
0.0ms	(fma (sqrt (log1p N)) (sqrt (log1p N)) (- (log N)))

series329.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

215.0ms	(fma (sqrt (log1p N)) (sqrt (log1p N)) (- (log N)))
60.0ms	(sqrt (log1p N))
54.0ms	(sqrt (log1p N))

simplify747.0ms

Counts: 52 → 52

prune554.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

23.0b	(- (- (log1p N) (+ (log (cbrt N)) (log (cbrt N)))) (log (cbrt N)))
0.6b	(cbrt N)
0.6b	(cbrt N)
0.6b	(cbrt N)

rewrite209.0ms

Algorithm

rewrite-expression-head

Rules

166×	`*-un-lft-identity`
108×	`prod-diff`
98×	`log-pow`
81×	`pow1`
74×	`add-sqr-sqrt`
65×	`associate--l+`
60×	`add-cube-cbrt`
53×	`distribute-lft-out`
52×	`distribute-lft-out--`
24×	`pow1/3`
21×	`distribute-rgt-out`
12×	`cbrt-prod`
9×	`fma-neg` `diff-log` `add-log-exp`
7×	`difference-of-squares`
6×	`log-prod` `distribute-lft1-in` `distribute-rgt1-in` `associate--r+`
4×	`expm1-log1p-u` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
2×	`log1p-udef` `sum-log` `sub-neg`
1×	`associate--l-` `flip3--` `flip--`

Counts

4 → 200

Calls

4 calls:

Slowest

201.0ms	(- (- (log1p N) (+ (log (cbrt N)) (log (cbrt N)))) (log (cbrt N)))
3.0ms	(cbrt N)
1.0ms	(cbrt N)
1.0ms	(cbrt N)

series881.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

282.0ms	(cbrt N)
281.0ms	(cbrt N)
241.0ms	(cbrt N)
76.0ms	(- (- (log1p N) (+ (log (cbrt N)) (log (cbrt N)))) (log (cbrt N)))

simplify2.8s

Counts: 212 → 212

prune1.7s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

17.2b	(+ (/ -1/2 (* N N)) (fma (/ (/ 1 N) (* N N)) 1/3 (/ 1 N)))
0.3b	(/ -1/2 (* N N))
0.1b	(/ (/ 1 N) (* N N))
0.0b	(fma (/ (/ 1 N) (* N N)) 1/3 (/ 1 N))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

37×	`times-frac`
31×	`add-exp-log`
24×	`*-un-lft-identity`
22×	`add-sqr-sqrt` `add-cube-cbrt`
21×	`add-cbrt-cube`
18×	`pow1`
16×	`associate-/l*`
14×	`div-exp`
8×	`cbrt-undiv` `pow-div`
7×	`fma-def`
6×	`add-log-exp`
5×	`prod-exp` `div-inv`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `pow-flip` `inv-pow`
3×	`cbrt-unprod`
2×	`pow2` `rec-exp` `clear-num` `associate-/r*` `frac-2neg` `pow-plus` `1-exp` `pow-sqr` `pow-prod-up` `fma-udef`
1×	`+-commutative` `associate-+r+` `sum-log` `flip3-+` `flip-+` `distribute-lft-out` `associate-/l/`

Counts

4 → 119

Calls

4 calls:

Slowest

22.0ms	(+ (/ -1/2 (* N N)) (fma (/ (/ 1 N) (* N N)) 1/3 (/ 1 N)))
10.0ms	(/ (/ 1 N) (* N N))
6.0ms	(/ -1/2 (* N N))
0.0ms	(fma (/ (/ 1 N) (* N N)) 1/3 (/ 1 N))

series239.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

106.0ms	(fma (/ (/ 1 N) (* N N)) 1/3 (/ 1 N))
48.0ms	(/ (/ 1 N) (* N N))
47.0ms	(/ -1/2 (* N N))
38.0ms	(+ (/ -1/2 (* N N)) (fma (/ (/ 1 N) (* N N)) 1/3 (/ 1 N)))

simplify1.4s

Counts: 131 → 131

prune1.2s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes46.0ms

Accuracy

100% (0.0b remaining)

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

bsearch59.0ms

end0.0ms

sample3.4s

Algorithm

intervals

Results

1.1s	1718×	body	1280	valid
888.0ms	7752×	body	80	nan
555.0ms	1302×	body	640	valid
381.0ms	4069×	body	80	valid
157.0ms	616×	body	320	valid
45.0ms	295×	body	160	valid