Details

sample54.0ms

Algorithm

intervals

Results

18.0ms	66×	body	1280	valid
8.0ms	249×	body	80	nan
7.0ms	38×	body	640	valid
6.0ms	122×	body	80	valid
3.0ms	25×	body	320	valid
0.0ms	5×	body	160	valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	10	7
done	10	7

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 31.4b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

2.2b	(- (log (+ N 1.0)) (log N))
3.6b	(log (+ N 1.0))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity`
11×	`log-prod`
7×	`pow1` `add-sqr-sqrt`
5×	`add-cube-cbrt` `log-pow`
4×	`log-div` `associate--l+` `distribute-lft-out--`
3×	`add-exp-log` `associate--r+`
2×	`associate--l-` `flip3-+` `add-cbrt-cube` `flip-+` `distribute-lft-out` `add-log-exp`
1×	`sub-neg` `flip3--` `diff-log` `rem-log-exp` `flip--` `difference-of-squares`

Counts

2 → 41

Calls

2 calls:

12.0ms	(- (log (+ N 1.0)) (log N))
4.0ms	(log (+ N 1.0))

series11.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(- (log (+ N 1.0)) (log N))
4.0ms	(log (+ N 1.0))

simplify1.1s

Counts

47 → 47

Iterations

Useful iterations: 3 (158.0ms)

Iter	Nodes	Cost
0	107	516
1	233	490
2	622	445
3	1722	443
4	4941	443
done	5000	443

prune92.0ms

Filtered

35 candidates to 47 candidates (-34.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	44	3	47
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	45	3	48

Merged error: 0.0b

Counts

48 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ 1.0 N) (/ 0.5 (* N N)))
0.3b	(/ 0.5 (* N N))
0.4b	(/ 0.3333333333333333 (pow N 3))
12.2b	(+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N))))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

43×	`times-frac`
41×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
31×	`add-cube-cbrt`
14×	`add-exp-log`
13×	`associate-/r*`
12×	`unpow-prod-down` `cube-prod`
11×	`add-cbrt-cube` `add-log-exp`
6×	`associate-/l*`
5×	`div-exp`
4×	`pow1` `cube-mult` `unpow3` `difference-of-squares` `sqr-pow`
3×	`cbrt-undiv` `frac-add`
2×	`sub-neg` `associate-+r+` `flip3--` `frac-2neg` `diff-log` `clear-num` `sum-log` `frac-sub` `flip--` `div-inv` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `pow-to-exp` `associate-+r-` `flip3-+` `pow-exp` `prod-exp` `cbrt-unprod` `flip-+`

Counts

4 → 124

Calls

4 calls:

10.0ms	(- (/ 1.0 N) (/ 0.5 (* N N)))
5.0ms	(/ 0.5 (* N N))
6.0ms	(/ 0.3333333333333333 (pow N 3))
30.0ms	(+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N))))

series22.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (/ 1.0 N) (/ 0.5 (* N N)))
7.0ms	(/ 0.5 (* N N))
4.0ms	(/ 0.3333333333333333 (pow N 3))
5.0ms	(+ (/ 0.3333333333333333 (pow N 3)) (- (/ 1.0 N) (/ 0.5 (* N N))))

simplify506.0ms

Counts

136 → 136

Iterations

Useful iterations: done (502.0ms)

Iter	Nodes	Cost
0	207	1839
1	495	1625
2	1678	1524
done	5001	1510

prune181.0ms

Filtered

87 candidates to 136 candidates (-56.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	135	1	136
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	135	4	139

Merged error: 0.0b

Counts

139 → 4

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ N 1.0) N)
2.6b	(log (/ (+ N 1.0) N))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

33×	`*-un-lft-identity`
24×	`times-frac`
19×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`log-prod`
7×	`add-exp-log` `distribute-lft-out`
4×	`add-cbrt-cube` `associate-/l*`
3×	`pow1` `associate-/r*`
2×	`div-exp` `rem-log-exp` `div-inv` `associate-/l/` `add-log-exp`
1×	`cbrt-undiv` `log-div` `frac-2neg` `flip3-+` `clear-num` `log-pow` `flip-+`

Counts

2 → 60

Calls

2 calls:

6.0ms	(/ (+ N 1.0) N)
5.0ms	(log (/ (+ N 1.0) N))

series12.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/ (+ N 1.0) N)
4.0ms	(log (/ (+ N 1.0) N))

simplify498.0ms

Counts

66 → 66

Iterations

Useful iterations: 3 (159.0ms)

Iter	Nodes	Cost
0	103	713
1	218	680
2	603	627
3	1683	612
done	5000	612

prune89.0ms

Filtered

48 candidates to 66 candidates (-37.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	64	2	66
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	66	4	70

Merged error: 0.0b

Counts

70 → 4

localize5.0ms

Local error

Found 1 expressions with local error:

2.6b	(log (+ (/ 1.0 N) 1))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

4×	`log-prod` `*-un-lft-identity`
2×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `log-div`
1×	`flip3-+` `rem-log-exp` `log-pow` `add-cbrt-cube` `flip-+` `distribute-lft-out` `add-log-exp`

Counts

1 → 15

Calls

1 calls:

8.0ms

(log (+ (/ 1.0 N) 1))

series4.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(log (+ (/ 1.0 N) 1))

simplify1.2s

Counts

18 → 18

Iterations

Useful iterations: 3 (97.0ms)

Iter	Nodes	Cost
0	54	224
1	124	206
2	358	181
3	1184	179
4	4095	179
done	5001	179

prune26.0ms

Filtered

14 candidates to 18 candidates (-28.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	17	1	18
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	18	4	22

Merged error: 0.0b

Counts

22 → 4

regimes38.0ms

Accuracy

100% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 31.8b

bsearch12.0ms

Steps

Iters	Range		Point
8	901.3230478674768	932371.3337660737	9062.308997209337

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	25
1	22	25
done	22	25

end0.0ms

sample1.6s

Algorithm

intervals

Results

484.0ms	1761×	body	1280	valid
271.0ms	8058×	body	80	nan
222.0ms	1217×	body	640	valid
180.0ms	4113×	body	80	valid
77.0ms	621×	body	320	valid
23.0ms	288×	body	160	valid

Details

sample54.0ms

simplify3.0ms

prune3.0ms

localize7.0ms

rewrite17.0ms

series11.0ms

simplify1.1s

prune92.0ms

localize12.0ms

rewrite55.0ms

series22.0ms

simplify506.0ms

prune181.0ms

localize5.0ms

rewrite13.0ms

series12.0ms

simplify498.0ms

prune89.0ms

localize5.0ms

rewrite9.0ms

series4.0ms

simplify1.2s

prune26.0ms

regimes38.0ms

bsearch12.0ms

simplify2.0ms

end0.0ms

sample1.6s

Profiling