Details

sample297.0ms

Algorithm

intervals

Results

91.0ms	106×	body	1280	valid
35.0ms	36×	body	10240	exit
31.0ms	43×	body	640	valid
28.0ms	159×	body	80	valid
20.0ms	18×	body	1280	nan
18.0ms	196×	body	80	nan
11.0ms	21×	body	640	nan
7.0ms	18×	body	320	valid
6.0ms	20×	body	160	valid
4.0ms	9×	body	320	nan
2.0ms	9×	body	160	nan

simplify6.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5004
6	2902
5	690
4	225
3	81
2	34
1	17
0	8

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.7b

localize103.0ms

Local error

Found 3 expressions with local error:

0.8b	(pow x (/ 1.0 n))
1.2b	(pow (+ x 1.0) (/ 1.0 n))
3.3b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

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

9.0ms	(pow x (/ 1.0 n))
35.0ms	(pow (+ x 1.0) (/ 1.0 n))
220.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series954.0ms

Counts

3 → 9

Calls

3 calls:

158.0ms	(pow x (/ 1.0 n))
238.0ms	(pow (+ x 1.0) (/ 1.0 n))
558.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify8.6s

Counts

91 → 91

Iterations

Iter	Nodes
done	5000
3	4885
2	1440
1	530
0	192

prune1.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 20.5b

localize209.0ms

Local error

Found 4 expressions with local error:

1.2b	(pow (+ x 1.0) (/ 1.0 n))
3.3b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
3.3b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
3.3b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

rewrite729.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt`
35×	`*-un-lft-identity`
34×	`unpow-prod-down`
27×	`difference-of-squares`
19×	`sqr-pow`
13×	`pow-unpow`
12×	`add-cube-cbrt`
10×	`add-log-exp`
9×	`times-frac` `distribute-lft-out--`
5×	`pow1` `add-exp-log`
4×	`add-cbrt-cube` `insert-posit16` `distribute-lft-out`
3×	`sub-neg` `flip3--` `diff-log` `flip--`
1×	`pow-to-exp` `pow-pow` `pow-exp` `div-inv`

Counts

4 → 104

Calls

4 calls:

28.0ms	(pow (+ x 1.0) (/ 1.0 n))
207.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
225.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
253.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series1.9s

Counts

4 → 12

Calls

4 calls:

281.0ms	(pow (+ x 1.0) (/ 1.0 n))
538.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
531.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
597.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify6.5s

Counts

116 → 116

Iterations

Iter	Nodes
done	5001
3	3380
2	1040
1	396
0	150

prune1.7s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 20.4b

localize266.0ms

Local error

Found 4 expressions with local error:

1.2b	(pow (+ x 1.0) (/ 1.0 n))
3.3b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
3.3b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
3.3b	(log (/ (exp (pow (+ x 1.0) (/ 1.0 n))) (exp (pow x (/ 1.0 n)))))

rewrite593.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
28×	`unpow-prod-down`
19×	`add-cube-cbrt`
18×	`times-frac` `difference-of-squares`
13×	`pow-unpow` `log-prod` `sqr-pow`
8×	`add-log-exp`
6×	`pow1` `exp-prod` `add-exp-log` `distribute-lft-out--`
4×	`add-cbrt-cube` `log-pow` `insert-posit16` `distribute-lft-out`
3×	`pow-div`
2×	`sub-neg` `flip3--` `diff-log` `rem-log-exp` `div-inv` `flip--`
1×	`pow-to-exp` `log-div` `pow-pow` `div-exp` `pow-exp`

Counts

4 → 107

Calls

4 calls:

28.0ms	(pow (+ x 1.0) (/ 1.0 n))
189.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
223.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
144.0ms	(log (/ (exp (pow (+ x 1.0) (/ 1.0 n))) (exp (pow x (/ 1.0 n)))))

series2.3s

Counts

4 → 12

Calls

4 calls:

283.0ms	(pow (+ x 1.0) (/ 1.0 n))
557.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
580.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
879.0ms	(log (/ (exp (pow (+ x 1.0) (/ 1.0 n))) (exp (pow x (/ 1.0 n)))))

simplify6.8s

Counts

119 → 119

Iterations

Iter	Nodes
done	5002
3	3765
2	1260
1	524
0	215

prune2.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 20.4b

localize381.0ms

Local error

Found 4 expressions with local error:

3.3b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
3.3b	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
3.3b	(log (/ (exp (pow (+ x 1.0) (/ 1.0 n))) (exp (pow x (/ 1.0 n)))))
3.3b	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))

rewrite1.1s

Algorithm

rewrite-expression-head

Rules

49×	`add-sqr-sqrt`
41×	`*-un-lft-identity`
34×	`unpow-prod-down`
27×	`difference-of-squares`
21×	`exp-prod`
20×	`log-pow`
18×	`log-prod` `sqr-pow`
13×	`add-cube-cbrt`
9×	`times-frac` `distribute-lft-out--`
8×	`add-log-exp`
6×	`pow1`
5×	`add-exp-log`
4×	`add-cbrt-cube` `insert-posit16` `distribute-lft-out`
3×	`sub-neg` `rem-log-exp` `pow-div`
2×	`log-div` `flip3--` `diff-log` `exp-sum` `flip--`
1×	`exp-diff` `div-exp` `div-inv`

Counts

4 → 109

Calls

4 calls:

219.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
245.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
134.0ms	(log (/ (exp (pow (+ x 1.0) (/ 1.0 n))) (exp (pow x (/ 1.0 n)))))
462.0ms	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))

series2.8s

Counts

4 → 12

Calls

4 calls:

631.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
548.0ms	(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
1.1s	(log (/ (exp (pow (+ x 1.0) (/ 1.0 n))) (exp (pow x (/ 1.0 n)))))
550.0ms	(log (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))))

simplify5.1s

Counts

121 → 121

Iterations

Iter	Nodes
done	5002
3	2544
2	895
1	412
0	202

prune2.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 20.4b

regimes1.0s

Accuracy

76.7% (1.9b remaining)

Error of 23.2b against oracle of 21.3b and baseline of 29.5b

bsearch4.0ms

simplify35.0ms

Iterations

Iter	Nodes
done	60
1	60
0	49

end0.0ms

sample9.8s

Algorithm

intervals

Results

3.0s	3157×	body	1280	valid
1.2s	1604×	body	640	valid
1.1s	604×	body	1280	nan
1.0s	1103×	body	10240	exit
938.0ms	4596×	body	80	valid
560.0ms	5081×	body	80	nan
499.0ms	634×	body	640	nan
421.0ms	838×	body	320	valid
159.0ms	459×	body	160	valid
147.0ms	349×	body	320	nan
45.0ms	178×	body	160	nan