Details

sample242.0ms

Algorithm

intervals

Results

72.0ms	100×	body	1280	valid
41.0ms	167×	body	80	valid
28.0ms	49×	body	640	valid
23.0ms	37×	body	10240	exit
13.0ms	168×	body	80	nan
11.0ms	19×	body	1280	nan
8.0ms	24×	body	320	valid
8.0ms	11×	body	640	nan
4.0ms	18×	body	160	valid
3.0ms	10×	body	320	nan
0.0ms	2×	body	160	nan

simplify2.6s

Counts: 1 → 1

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.1b

localize10.0ms

Local error

Found 3 expressions with local error:

0.8b	(pow x (/ 1.0 n))
0.8b	(pow (+ x 1.0) (/ 1.0 n))
2.4b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

rewrite110.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))
15.0ms	(pow (+ x 1.0) (/ 1.0 n))
88.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series661.0ms

Counts

3 → 9

Calls

3 calls:

80.0ms	(pow x (/ 1.0 n))
189.0ms	(pow (+ x 1.0) (/ 1.0 n))
391.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify753.0ms

Counts: 88 → 88

prune397.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 18.3b

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt x)
0.7b	(pow (cbrt x) (/ 1.0 n))
0.8b	(pow (+ x 1.0) (/ 1.0 n))
2.7b	(- (pow (+ x 1.0) (/ 1.0 n)) (* (pow (* (cbrt x) (cbrt x)) (/ 1.0 n)) (pow (cbrt x) (/ 1.0 n))))

rewrite186.0ms

Algorithm

rewrite-expression-head

Rules

26×	`pow-unpow`
24×	`*-un-lft-identity`
22×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`times-frac`
10×	`unpow-prod-down`
6×	`pow1` `add-exp-log` `cbrt-prod` `add-log-exp`
4×	`add-cbrt-cube`
3×	`pow-pow`
2×	`pow-to-exp` `pow1/3` `pow-exp` `div-inv` `sqr-pow`
1×	`sub-neg` `flip3--` `diff-log` `flip--` `distribute-lft-out`

Counts

4 → 82

Calls

4 calls:

1.0ms	(cbrt x)
8.0ms	(pow (cbrt x) (/ 1.0 n))
23.0ms	(pow (+ x 1.0) (/ 1.0 n))
149.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (* (pow (* (cbrt x) (cbrt x)) (/ 1.0 n)) (pow (cbrt x) (/ 1.0 n))))

series1.3s

Counts

4 → 12

Calls

4 calls:

253.0ms	(cbrt x)
178.0ms	(pow (cbrt x) (/ 1.0 n))
232.0ms	(pow (+ x 1.0) (/ 1.0 n))
627.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (* (pow (* (cbrt x) (cbrt x)) (/ 1.0 n)) (pow (cbrt x) (/ 1.0 n))))

simplify1.0s

Counts: 94 → 94

prune509.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 18.1b

localize30.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (pow (pow x (/ 1.0 n)) 3))
0.8b	(pow x (/ 1.0 n))
0.8b	(pow (+ x 1.0) (/ 1.0 n))
2.4b	(- (pow (+ x 1.0) (/ 1.0 n)) (cbrt (pow (pow x (/ 1.0 n)) 3)))

rewrite170.0ms

Algorithm

rewrite-expression-head

Rules

61×	`add-sqr-sqrt`
44×	`cbrt-prod` `unpow-prod-down`
29×	`*-un-lft-identity`
27×	`difference-of-squares`
26×	`pow-unpow`
25×	`add-cube-cbrt`
23×	`sqr-pow`
18×	`times-frac`
16×	`cube-prod`
6×	`pow1` `add-exp-log` `add-log-exp`
4×	`add-cbrt-cube`
2×	`pow-to-exp` `pow-pow` `pow-exp` `div-inv`
1×	`cube-mult` `sub-neg` `flip3--` `pow1/3` `diff-log` `unpow3` `flip--` `rem-cbrt-cube` `distribute-lft-out` `distribute-lft-out--`

Counts

4 → 124

Calls

4 calls:

6.0ms	(cbrt (pow (pow x (/ 1.0 n)) 3))
4.0ms	(pow x (/ 1.0 n))
12.0ms	(pow (+ x 1.0) (/ 1.0 n))
143.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (cbrt (pow (pow x (/ 1.0 n)) 3)))

series834.0ms

Counts

4 → 12

Calls

4 calls:

118.0ms	(cbrt (pow (pow x (/ 1.0 n)) 3))
79.0ms	(pow x (/ 1.0 n))
202.0ms	(pow (+ x 1.0) (/ 1.0 n))
435.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (cbrt (pow (pow x (/ 1.0 n)) 3)))

simplify949.0ms

Counts: 136 → 136

prune536.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 18.1b

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (cbrt (pow (pow x (/ 1.0 n)) 3))) 3))
0.8b	(pow x (/ 1.0 n))
0.8b	(pow (+ x 1.0) (/ 1.0 n))
2.4b	(- (pow (+ x 1.0) (/ 1.0 n)) (cbrt (pow (pow x (/ 1.0 n)) 3)))

rewrite351.0ms

Algorithm

rewrite-expression-head

Rules

140×	`cbrt-prod`
131×	`add-sqr-sqrt`
110×	`unpow-prod-down`
81×	`difference-of-squares`
58×	`cube-prod`
57×	`sqr-pow`
31×	`*-un-lft-identity`
26×	`pow-unpow`
23×	`add-cube-cbrt`
18×	`times-frac`
6×	`pow1` `add-exp-log` `add-log-exp`
4×	`add-cbrt-cube`
3×	`distribute-lft-out--`
2×	`cube-div` `pow-to-exp` `cbrt-div` `flip3--` `pow-pow` `pow-exp` `flip--` `div-inv`
1×	`cube-mult` `sub-neg` `pow1/3` `diff-log` `unpow3` `rem-cbrt-cube` `distribute-lft-out`

Counts

4 → 174

Calls

4 calls:

145.0ms	(cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (cbrt (pow (pow x (/ 1.0 n)) 3))) 3))
4.0ms	(pow x (/ 1.0 n))
11.0ms	(pow (+ x 1.0) (/ 1.0 n))
168.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (cbrt (pow (pow x (/ 1.0 n)) 3)))

series1.2s

Counts

4 → 12

Calls

4 calls:

414.0ms	(cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (cbrt (pow (pow x (/ 1.0 n)) 3))) 3))
118.0ms	(pow x (/ 1.0 n))
226.0ms	(pow (+ x 1.0) (/ 1.0 n))
471.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (cbrt (pow (pow x (/ 1.0 n)) 3)))

simplify1.2s

Counts: 186 → 186

prune626.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 18.1b

regimes421.0ms

Accuracy

82.6% (1.6b remaining)

Error of 22.0b against oracle of 20.4b and baseline of 29.6b

bsearch3.0ms

simplify1.9s

end0.0ms

sample8.5s

Algorithm

intervals

Results

2.6s	3196×	body	1280	valid
1.4s	4726×	body	80	valid
891.0ms	1536×	body	640	valid
873.0ms	1176×	body	10240	exit
518.0ms	651×	body	1280	nan
449.0ms	4921×	body	80	nan
330.0ms	604×	body	640	nan
315.0ms	881×	body	320	valid
180.0ms	485×	body	160	valid
106.0ms	337×	body	320	nan
91.0ms	171×	body	160	nan