Details

sample143.0ms

Algorithm

intervals

Results

52.0ms	106×	body	1280	valid
15.0ms	47×	body	640	valid
10.0ms	18×	body	1280	nan
10.0ms	35×	body	10240	exit
9.0ms	29×	body	640	nan
8.0ms	187×	body	80	nan
8.0ms	154×	body	80	valid
5.0ms	23×	body	320	valid
2.0ms	12×	body	320	nan
1.0ms	9×	body	160	valid
1.0ms	7×	body	160	nan

simplify1.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	17	13
2	34	13
3	81	13
4	231	13
5	694	13
6	3452	13
done	5000	13

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.9b

localize8.0ms

Local error

Found 3 expressions with local error:

0.7b	(pow x (/ 1.0 n))
0.9b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
1.3b	(pow (+ x 1.0) (/ 1.0 n))

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt`
28×	`*-un-lft-identity`
26×	`pow-unpow`
19×	`add-cube-cbrt`
18×	`times-frac`
17×	`unpow-prod-down`
9×	`difference-of-squares`
8×	`sqr-pow`
5×	`pow1` `add-exp-log` `add-log-exp`
3×	`add-cbrt-cube` `distribute-lft-out--`
2×	`pow-to-exp` `pow-pow` `pow-exp` `div-inv` `distribute-lft-out`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

3 → 79

Calls

3 calls:

4.0ms	(pow x (/ 1.0 n))
75.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
10.0ms	(pow (+ x 1.0) (/ 1.0 n))

series501.0ms

Counts

3 → 9

Calls

3 calls:

66.0ms	(pow x (/ 1.0 n))
283.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
152.0ms	(pow (+ x 1.0) (/ 1.0 n))

simplify1.6s

Counts

88 → 88

Iterations

Useful iterations: 3 (707.0ms)

Iter	Nodes	Cost
0	190	1337
1	473	1246
2	1192	1206
3	3615	1183
done	5001	1183

prune251.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 18.8b

localize13.0ms

Local error

Found 4 expressions with local error:

0.9b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
1.3b	(pow (+ x 1.0) (/ 1.0 n))
1.3b	(pow (+ x 1.0) (/ 1.0 n))
1.3b	(pow (+ x 1.0) (/ 1.0 n))

rewrite113.0ms

Algorithm

rewrite-expression-head

Rules

41×	`*-un-lft-identity`
40×	`add-sqr-sqrt`
39×	`pow-unpow`
28×	`add-cube-cbrt`
27×	`times-frac`
22×	`unpow-prod-down`
9×	`difference-of-squares` `sqr-pow`
7×	`pow1` `add-exp-log`
6×	`add-log-exp`
4×	`add-cbrt-cube` `distribute-lft-out`
3×	`pow-to-exp` `pow-pow` `pow-exp` `div-inv` `distribute-lft-out--`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

4 → 108

Calls

4 calls:

78.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
10.0ms	(pow (+ x 1.0) (/ 1.0 n))
10.0ms	(pow (+ x 1.0) (/ 1.0 n))
10.0ms	(pow (+ x 1.0) (/ 1.0 n))

series933.0ms

Counts

4 → 12

Calls

4 calls:

281.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
147.0ms	(pow (+ x 1.0) (/ 1.0 n))
355.0ms	(pow (+ x 1.0) (/ 1.0 n))
149.0ms	(pow (+ x 1.0) (/ 1.0 n))

simplify1.2s

Counts

120 → 120

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	149	1734
1	358	1603
2	892	1557
3	2481	1542
done	5000	1526

prune431.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 18.7b

localize22.0ms

Local error

Found 4 expressions with local error:

1.2b	(pow (+ x 1.0) (/ (/ 1.0 n) 2))
1.2b	(pow (+ x 1.0) (/ (/ 1.0 n) 2))
1.3b	(pow (+ x 1.0) (/ 1.0 n))
1.3b	(pow (+ x 1.0) (/ 1.0 n))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

150×	`times-frac`
112×	`pow-unpow`
100×	`*-un-lft-identity`
92×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`unpow-prod-down`
10×	`div-inv`
8×	`pow1` `add-exp-log`
4×	`pow-to-exp` `pow-pow` `pow-exp` `add-cbrt-cube` `distribute-lft-out` `add-log-exp` `sqr-pow`

Counts

4 → 172

Calls

4 calls:

14.0ms	(pow (+ x 1.0) (/ (/ 1.0 n) 2))
14.0ms	(pow (+ x 1.0) (/ (/ 1.0 n) 2))
10.0ms	(pow (+ x 1.0) (/ 1.0 n))
13.0ms	(pow (+ x 1.0) (/ 1.0 n))

series600.0ms

Counts

4 → 12

Calls

4 calls:

153.0ms	(pow (+ x 1.0) (/ (/ 1.0 n) 2))
150.0ms	(pow (+ x 1.0) (/ (/ 1.0 n) 2))
146.0ms	(pow (+ x 1.0) (/ 1.0 n))
150.0ms	(pow (+ x 1.0) (/ 1.0 n))

simplify2.1s

Counts

184 → 184

Iterations

Useful iterations: 3 (1.3s)

Iter	Nodes	Cost
0	193	2368
1	492	2152
2	1261	2108
3	3579	2096
done	5000	2096

prune929.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 18.7b

localize30.0ms

Local error

Found 4 expressions with local error:

1.2b	(pow (cbrt (+ x 1.0)) (/ (/ 1.0 n) 2))
1.2b	(pow (+ x 1.0) (/ (/ 1.0 n) 2))
1.3b	(pow (+ x 1.0) (/ 1.0 n))
1.3b	(pow (+ x 1.0) (/ 1.0 n))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

150×	`times-frac`
112×	`pow-unpow`
101×	`*-un-lft-identity`
93×	`add-sqr-sqrt` `add-cube-cbrt`
19×	`unpow-prod-down`
10×	`div-inv`
8×	`pow1` `add-exp-log`
5×	`pow-pow`
4×	`cbrt-prod` `pow-to-exp` `pow-exp` `add-cbrt-cube` `distribute-lft-out` `add-log-exp` `sqr-pow`
1×	`pow1/3`

Counts

4 → 176

Calls

4 calls:

14.0ms	(pow (cbrt (+ x 1.0)) (/ (/ 1.0 n) 2))
16.0ms	(pow (+ x 1.0) (/ (/ 1.0 n) 2))
11.0ms	(pow (+ x 1.0) (/ 1.0 n))
10.0ms	(pow (+ x 1.0) (/ 1.0 n))

series801.0ms

Counts

4 → 12

Calls

4 calls:

327.0ms	(pow (cbrt (+ x 1.0)) (/ (/ 1.0 n) 2))
160.0ms	(pow (+ x 1.0) (/ (/ 1.0 n) 2))
153.0ms	(pow (+ x 1.0) (/ 1.0 n))
161.0ms	(pow (+ x 1.0) (/ 1.0 n))

simplify849.0ms

Counts

188 → 188

Iterations

Useful iterations: done (843.0ms)

Iter	Nodes	Cost
0	278	2511
1	711	2285
2	1785	2180
done	5001	2167

prune1.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 18.7b

regimes194.0ms

Accuracy

84.4% (1.4b remaining)

Error of 22.1b against oracle of 20.7b and baseline of 29.6b

bsearch1.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	52	214
1	67	214
done	67	214

end0.0ms

sample4.4s

Algorithm

intervals

Results

1.5s	3194×	body	1280	valid
561.0ms	1608×	body	640	valid
492.0ms	1142×	body	10240	exit
301.0ms	635×	body	1280	nan
255.0ms	4614×	body	80	valid
217.0ms	665×	body	640	nan
188.0ms	845×	body	320	valid
183.0ms	4987×	body	80	nan
66.0ms	348×	body	320	nan
64.0ms	461×	body	160	valid
22.0ms	196×	body	160	nan