Details

sample330.0ms

Algorithm

intervals

Results

110.0ms	109×	body	1280	valid
40.0ms	49×	body	640	valid
37.0ms	138×	body	80	valid
30.0ms	38×	body	10240	exit
26.0ms	31×	body	640	nan
19.0ms	174×	body	80	nan
18.0ms	17×	body	1280	nan
16.0ms	29×	body	320	valid
5.0ms	17×	body	160	valid
5.0ms	10×	body	320	nan
2.0ms	7×	body	160	nan

simplify258.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

258.0ms

(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.2b

localize29.0ms

Local error

Found 3 expressions with local error:

1.7b	(pow (+ x 1) (/ 1 n))
1.0b	(pow x (/ 1 n))
1.0b	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))

rewrite56.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` `insert-posit16` `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 → 82

Calls

3 calls:

Slowest

45.0ms	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
6.0ms	(pow (+ x 1) (/ 1 n))
2.0ms	(pow x (/ 1 n))

series455.0ms

Counts

3 → 9

Calls

3 calls:

Slowest

266.0ms	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
119.0ms	(pow (+ x 1) (/ 1 n))
70.0ms	(pow x (/ 1 n))

simplify9.8s

Counts

69 → 91

Calls

69 calls:

Slowest

818.0ms	(+ (pow (sqrt (+ x 1)) (/ 1 n)) (sqrt (pow x (/ 1 n))))
514.0ms	(+ (sqrt (pow (+ x 1) (/ 1 n))) (pow (sqrt x) (/ 1 n)))
508.0ms	(- (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow x (/ 1 n))))
472.0ms	(+ (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow x (/ 1 n))))
468.0ms	(- (pow (sqrt (+ x 1)) (/ 1 n)) (sqrt (pow x (/ 1 n))))

prune975.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 21.4b

localize43.0ms

Local error

Found 4 expressions with local error:

1.7b	(pow (+ x 1) (/ 1 n))
1.0b	(pow x (/ 1 n))
1.0b	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
0.9b	(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))

rewrite217.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
27×	`unpow-prod-down`
26×	`pow-unpow`
22×	`add-cube-cbrt`
18×	`times-frac` `difference-of-squares`
16×	`log-pow`
15×	`exp-prod`
14×	`sqr-pow`
7×	`pow1`
6×	`add-exp-log` `distribute-lft-out--` `add-log-exp`
5×	`log-prod`
4×	`add-cbrt-cube` `insert-posit16`
3×	`distribute-lft-out`
2×	`pow-to-exp` `sub-neg` `pow-pow` `exp-sum` `pow-exp` `div-inv`
1×	`log-div` `flip3--` `exp-diff` `diff-log` `rem-log-exp` `flip--`

Counts

4 → 113

Calls

4 calls:

Slowest

148.0ms	(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
57.0ms	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
6.0ms	(pow (+ x 1) (/ 1 n))
3.0ms	(pow x (/ 1 n))

series708.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

278.0ms	(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
225.0ms	(- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))
112.0ms	(pow (+ x 1) (/ 1 n))
92.0ms	(pow x (/ 1 n))

simplify16.0s

Counts

94 → 125

Calls

94 calls:

Slowest

551.0ms	(- (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow x (/ 1 n))))
518.0ms	(- (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow x (/ 1 n))))
515.0ms	(- (pow (sqrt (+ x 1)) (/ 1 n)) (sqrt (pow x (/ 1 n))))
501.0ms	(+ (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow x (/ 1 n))))
490.0ms	(+ (sqrt (pow (+ x 1) (/ 1 n))) (pow (sqrt x) (/ 1 n)))

prune1.4s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 21.3b

localize34.0ms

Local error

Found 4 expressions with local error:

2.2b	(log (pow x (/ 1 n)))
1.7b	(pow (+ x 1) (/ 1 n))
1.0b	(pow x (/ 1 n))
1.0b	(- (pow (+ x 1) (/ 1 n)) (exp (log (pow x (/ 1 n)))))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

39×	`add-sqr-sqrt`
26×	`pow-unpow` `*-un-lft-identity`
22×	`add-cube-cbrt`
18×	`times-frac`
17×	`unpow-prod-down`
16×	`log-prod`
12×	`difference-of-squares`
10×	`sqr-pow`
9×	`exp-sum`
8×	`add-exp-log`
6×	`pow1` `add-log-exp`
4×	`add-cbrt-cube` `insert-posit16`
3×	`pow-to-exp` `rem-log-exp` `pow-exp`
2×	`pow-pow` `div-inv`
1×	`sub-neg` `flip3--` `diff-log` `log-pow` `flip--` `distribute-lft-out` `distribute-lft-out--`

Counts

4 → 102

Calls

4 calls:

Slowest

72.0ms	(- (pow (+ x 1) (/ 1 n)) (exp (log (pow x (/ 1 n)))))
6.0ms	(pow (+ x 1) (/ 1 n))
3.0ms	(log (pow x (/ 1 n)))
2.0ms	(pow x (/ 1 n))

series470.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

225.0ms	(- (pow (+ x 1) (/ 1 n)) (exp (log (pow x (/ 1 n)))))
93.0ms	(log (pow x (/ 1 n)))
90.0ms	(pow (+ x 1) (/ 1 n))
62.0ms	(pow x (/ 1 n))

simplify12.9s

Counts

85 → 114

Calls

85 calls:

Slowest

780.0ms	(- (pow (sqrt (+ x 1)) (/ 1 n)) (exp (log (pow (sqrt x) (/ 1 n)))))
628.0ms	(+ (sqrt (pow (+ x 1) (/ 1 n))) (exp (log (pow x (/ (/ 1 n) 2)))))
603.0ms	(+ (pow (sqrt (+ x 1)) (/ 1 n)) (exp (log (pow x (/ (/ 1 n) 2)))))
522.0ms	(- (sqrt (pow (+ x 1) (/ 1 n))) (exp (log (sqrt (pow x (/ 1 n))))))
521.0ms	(- (pow (sqrt (+ x 1)) (/ 1 n)) (exp (log (sqrt (pow x (/ 1 n))))))

prune1.5s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 18.9b

localize69.0ms

Local error

Found 4 expressions with local error:

1.7b	(pow (+ x 1) (/ 1 n))
1.7b	(pow (+ x 1) (/ 1 n))
1.7b	(pow (+ x 1) (/ 1 n))
1.0b	(pow x (/ 1 n))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

52×	`pow-unpow`
42×	`*-un-lft-identity`
36×	`add-sqr-sqrt` `times-frac` `add-cube-cbrt`
15×	`unpow-prod-down`
8×	`pow1` `add-exp-log`
4×	`pow-to-exp` `pow-pow` `add-cbrt-cube` `pow-exp` `insert-posit16` `div-inv` `add-log-exp` `sqr-pow`
3×	`distribute-lft-out`

Counts

4 → 115

Calls

4 calls:

Slowest

13.0ms	(pow (+ x 1) (/ 1 n))
12.0ms	(pow (+ x 1) (/ 1 n))
12.0ms	(pow (+ x 1) (/ 1 n))
5.0ms	(pow x (/ 1 n))

series375.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

117.0ms	(pow (+ x 1) (/ 1 n))
91.0ms	(pow (+ x 1) (/ 1 n))
89.0ms	(pow (+ x 1) (/ 1 n))
78.0ms	(pow x (/ 1 n))

simplify3.4s

Counts

86 → 127

Calls

86 calls:

Slowest

334.0ms	(pow (* (cbrt (+ x 1)) (cbrt (+ x 1))) (/ 1 n))
322.0ms	(pow (* (cbrt (+ x 1)) (cbrt (+ x 1))) (/ 1 n))
314.0ms	(pow (* (cbrt (+ x 1)) (cbrt (+ x 1))) (/ 1 n))
269.0ms	(- (+ (* 1/2 (/ (pow (log (/ 1 x)) 2) (pow n 2))) 1) (/ (log (/ 1 x)) n))
232.0ms	(- (+ (/ (log -1) n) (+ (* 1/2 (/ (pow (log -1) 2) (pow n 2))) (+ (* 1/2 (/ (pow (log (/ -1 x)) 2) (pow n 2))) 1))) (+ (/ (log (/ -1 x)) n) (/ (* (log (/ -1 x)) (log -1)) (pow n 2))))

prune2.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 18.9b

regimes641.0ms

Accuracy

72.1% (3.1b remaining)

Error of 21.6b against oracle of 18.6b and baseline of 29.5b

bsearch2.0s

end0.0ms

sample10.7s

Algorithm

intervals

Results

4.3s	3225×	body	1280	valid
1.3s	1178×	body	10240	exit
1.3s	1572×	body	640	valid
761.0ms	4682×	body	80	valid
680.0ms	606×	body	1280	nan
590.0ms	5068×	body	80	nan
500.0ms	653×	body	640	nan
445.0ms	846×	body	320	valid
165.0ms	340×	body	320	nan
139.0ms	442×	body	160	valid
77.0ms	191×	body	160	nan