Details

sample259.0ms

Algorithm

intervals

Results

67.0ms	91×	body	1280	valid
45.0ms	170×	body	80	nan
30.0ms	53×	body	640	valid
29.0ms	32×	body	10240	exit
13.0ms	18×	body	640	nan
11.0ms	131×	body	80	valid
10.0ms	27×	body	320	valid
9.0ms	11×	body	1280	nan
5.0ms	13×	body	320	nan
4.0ms	18×	body	160	valid
1.0ms	8×	body	160	nan

simplify10.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	13
1	21	13
2	75	13
3	459	13
done	5001	13

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.1b

localize20.0ms

Local error

Found 3 expressions with local error:

0.7b	(pow x (/ 1.0 n))
1.7b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
2.2b	(pow (+ x 1.0) (/ 1.0 n))

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

6.0ms	(pow x (/ 1.0 n))
96.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
23.0ms	(pow (+ x 1.0) (/ 1.0 n))

series668.0ms

Counts

3 → 9

Calls

3 calls:

104.0ms	(pow x (/ 1.0 n))
391.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
173.0ms	(pow (+ x 1.0) (/ 1.0 n))

simplify2.1s

Counts

88 → 88

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	190	1337
1	1409	1246
done	5001	1177

prune381.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 21.7b

localize17.0ms

Local error

Found 4 expressions with local error:

0.7b	(pow x (/ 1.0 n))
1.7b	(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))
2.2b	(pow (+ x 1.0) (/ 1.0 n))
2.2b	(pow (+ x 1.0) (/ 1.0 n))

rewrite169.0ms

Algorithm

rewrite-expression-head

Rules

52×	`add-sqr-sqrt`
41×	`*-un-lft-identity`
39×	`pow-unpow`
30×	`sqrt-prod`
28×	`add-cube-cbrt`
27×	`times-frac`
23×	`unpow-prod-down`
16×	`difference-of-squares`
11×	`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 → 115

Calls

4 calls:

8.0ms	(pow x (/ 1.0 n))
127.0ms	(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))
11.0ms	(pow (+ x 1.0) (/ 1.0 n))
13.0ms	(pow (+ x 1.0) (/ 1.0 n))

series1.1s

Counts

4 → 12

Calls

4 calls:

71.0ms	(pow x (/ 1.0 n))
574.0ms	(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))
209.0ms	(pow (+ x 1.0) (/ 1.0 n))
247.0ms	(pow (+ x 1.0) (/ 1.0 n))

simplify1.9s

Counts

127 → 127

Iterations

Useful iterations: done (1.9s)

Iter	Nodes	Cost
0	204	2030
1	1487	1897
done	5001	1806

prune720.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 21.7b

localize27.0ms

Local error

Found 4 expressions with local error:

0.7b	(pow x (/ 1.0 n))
1.7b	(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))
2.2b	(pow (+ x 1.0) (/ 1.0 n))
2.2b	(pow (+ x 1.0) (/ 1.0 n))

rewrite205.0ms

Algorithm

rewrite-expression-head

Rules

52×	`add-sqr-sqrt`
41×	`*-un-lft-identity`
39×	`pow-unpow`
30×	`sqrt-prod`
28×	`add-cube-cbrt`
27×	`times-frac`
23×	`unpow-prod-down`
16×	`difference-of-squares`
11×	`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 → 115

Calls

4 calls:

4.0ms	(pow x (/ 1.0 n))
143.0ms	(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))
32.0ms	(pow (+ x 1.0) (/ 1.0 n))
21.0ms	(pow (+ x 1.0) (/ 1.0 n))

series1.0s

Counts

4 → 12

Calls

4 calls:

103.0ms	(pow x (/ 1.0 n))
496.0ms	(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))
224.0ms	(pow (+ x 1.0) (/ 1.0 n))
214.0ms	(pow (+ x 1.0) (/ 1.0 n))

simplify2.0s

Counts

127 → 127

Iterations

Useful iterations: done (2.0s)

Iter	Nodes	Cost
0	204	2030
1	1487	1897
done	5001	1806

prune860.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 21.7b

localize53.0ms

Local error

Found 4 expressions with local error:

0.7b	(pow x (/ 1.0 n))
1.7b	(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))
2.2b	(pow (+ x 1.0) (/ 1.0 n))
2.2b	(pow (+ x 1.0) (/ 1.0 n))

rewrite204.0ms

Algorithm

rewrite-expression-head

Rules

52×	`add-sqr-sqrt`
41×	`*-un-lft-identity`
39×	`pow-unpow`
30×	`sqrt-prod`
28×	`add-cube-cbrt`
27×	`times-frac`
23×	`unpow-prod-down`
16×	`difference-of-squares`
11×	`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 → 115

Calls

4 calls:

4.0ms	(pow x (/ 1.0 n))
140.0ms	(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))
32.0ms	(pow (+ x 1.0) (/ 1.0 n))
23.0ms	(pow (+ x 1.0) (/ 1.0 n))

series1.0s

Counts

4 → 12

Calls

4 calls:

79.0ms	(pow x (/ 1.0 n))
508.0ms	(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))
228.0ms	(pow (+ x 1.0) (/ 1.0 n))
204.0ms	(pow (+ x 1.0) (/ 1.0 n))

simplify2.0s

Counts

127 → 127

Iterations

Useful iterations: done (2.0s)

Iter	Nodes	Cost
0	204	2030
1	1487	1897
done	5001	1806

prune919.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 21.7b

regimes354.0ms

Accuracy

84.3% (1.3b remaining)

Error of 22.5b against oracle of 21.2b and baseline of 29.3b

bsearch313.0ms

Steps

Iters	Range		Point
6	273697205435.7094	3744461241692.0635	1095153227966.9961
7	-3446.367806925191	-108.09236434424712	-3406.4169782224208

simplify11.0ms

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	39	122
1	53	86
done	53	86

end0.0ms

sample8.8s

Algorithm

intervals

Results

2.5s	3138×	body	1280	valid
943.0ms	1160×	body	10240	exit
897.0ms	1634×	body	640	valid
813.0ms	5002×	body	80	nan
806.0ms	656×	body	640	nan
599.0ms	643×	body	1280	nan
550.0ms	4732×	body	80	valid
342.0ms	827×	body	320	valid
289.0ms	361×	body	320	nan
156.0ms	436×	body	160	valid
38.0ms	199×	body	160	nan