Details

sample53.0ms

Algorithm

intervals

Results

18.0ms	66×	body	1280	valid
8.0ms	249×	body	80	nan
7.0ms	38×	body	640	valid
5.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))

rewrite12.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:

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

series10.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify1.1s

Counts

47 → 47

Iterations

Useful iterations: 3 (299.0ms)

Iter	Nodes	Cost
0	107	516
1	233	490
2	564	445
3	1540	443
done	5002	443

prune85.0ms

Filtered

34 candidates to 47 candidates (-38.2%)

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

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

42×	`*-un-lft-identity` `times-frac`
35×	`add-sqr-sqrt`
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` `sqr-pow`
3×	`cbrt-undiv` `frac-sub` `distribute-lft-out`
2×	`frac-2neg` `flip3-+` `diff-log` `frac-add` `clear-num` `sum-log` `flip-+` `div-inv` `distribute-lft-out--` `difference-of-squares`
1×	`+-commutative` `pow-to-exp` `sub-neg` `flip3--` `pow-exp` `prod-exp` `associate--l+` `flip--` `cbrt-unprod`

Counts

4 → 121

Calls

4 calls:

31.0ms	(+ (/ 1.0 N) (/ 0.3333333333333333 (pow N 3)))
5.0ms	(/ 0.5 (* N N))
6.0ms	(/ 0.3333333333333333 (pow N 3))
34.0ms	(- (+ (/ 1.0 N) (/ 0.3333333333333333 (pow N 3))) (/ 0.5 (* N N)))

series19.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(+ (/ 1.0 N) (/ 0.3333333333333333 (pow N 3)))
3.0ms	(/ 0.5 (* N N))
4.0ms	(/ 0.3333333333333333 (pow N 3))
4.0ms	(- (+ (/ 1.0 N) (/ 0.3333333333333333 (pow N 3))) (/ 0.5 (* N N)))

simplify836.0ms

Counts

133 → 133

Iterations

Useful iterations: 2 (345.0ms)

Iter	Nodes	Cost
0	199	1812
1	461	1577
2	1670	1491
done	5000	1491

prune173.0ms

Filtered

81 candidates to 133 candidates (-64.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	132	1	133
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	132	4	136

Merged error: 0.0b

Counts

136 → 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))

series9.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify1.4s

Counts

66 → 66

Iterations

Useful iterations: 3 (357.0ms)

Iter	Nodes	Cost
0	103	713
1	218	680
2	545	629
3	1601	612
done	5000	612

prune86.0ms

Filtered

46 candidates to 66 candidates (-43.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))

rewrite7.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:

7.0ms

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

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

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

simplify2.8s

Counts

18 → 18

Iterations

Useful iterations: 3 (202.0ms)

Iter	Nodes	Cost
0	54	224
1	119	206
2	319	181
3	963	179
4	3871	179
done	5000	179

prune29.0ms

Filtered

13 candidates to 18 candidates (-38.5%)

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

regimes36.0ms

Accuracy

100% (0.0b remaining)

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

bsearch11.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.5s

Algorithm

intervals

Results

470.0ms	1761×	body	1280	valid
266.0ms	8058×	body	80	nan
216.0ms	1217×	body	640	valid
175.0ms	4113×	body	80	valid
77.0ms	621×	body	320	valid
22.0ms	288×	body	160	valid

Details

sample53.0ms

simplify3.0ms

prune3.0ms

localize7.0ms

rewrite12.0ms

series10.0ms

simplify1.1s

prune85.0ms

localize10.0ms

rewrite80.0ms

series19.0ms

simplify836.0ms

prune173.0ms

localize5.0ms

rewrite13.0ms

series9.0ms

simplify1.4s

prune86.0ms

localize5.0ms

rewrite7.0ms

series3.0ms

simplify2.8s

prune29.0ms

regimes36.0ms

bsearch11.0ms

simplify2.0ms

end0.0ms

sample1.5s

Profiling