Details

Time bar (total: 36.8s)

sample245.0ms

Algorithm
intervals
Results
78.0ms107×body1280valid
44.0ms43×body640valid
26.0ms36×body10240exit
17.0ms26×body1280nan
14.0ms166×body80valid
11.0ms21×body640nan
10.0ms157×body80nan
8.0ms26×body320valid
3.0ms12×body320nan
2.0ms11×body160valid
2.0ms7×body160nan

simplify3.7s

Counts
1 → 1
Iterations
IterNodes
done5000
63086
5673
4238
386
235
117
08

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.2b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
76×*-un-lft-identity
73×unpow-prod-down
63×add-sqr-sqrt
56×prod-diff
51×add-cube-cbrt
26×pow-unpow
24×sqr-pow
18×times-frac
10×distribute-lft-out
9×difference-of-squares
8×fma-neg
5×pow1 add-exp-log add-log-exp
3×expm1-log1p-u add-cbrt-cube log1p-expm1-u distribute-lft-out--
2×pow-to-exp pow-pow pow-exp div-inv
1×sub-neg flip3-- diff-log flip--
Counts
3 → 149
Calls
3 calls:
9.0ms
(pow (+ x 1.0) (/ 1.0 n))
4.0ms
(pow x (/ 1.0 n))
102.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series663.0ms

Counts
3 → 9
Calls
3 calls:
195.0ms
(pow (+ x 1.0) (/ 1.0 n))
70.0ms
(pow x (/ 1.0 n))
397.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify2.0s

Counts
158 → 158
Iterations
IterNodes
done5002
21889
1713
0270

prune948.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.6b
(cbrt (/ 1.0 n))
0.6b
(cbrt (/ 1.0 n))
0.7b
(pow x (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
1.1b
(- (pow (+ x 1.0) (/ 1.0 n)) (pow (pow x (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n)))) (cbrt (/ 1.0 n))))

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
148×unpow-prod-down
93×*-un-lft-identity
88×prod-diff
86×add-sqr-sqrt
67×add-cube-cbrt
40×sqr-pow
26×cbrt-prod
18×times-frac
15×difference-of-squares
12×distribute-lft-out
8×fma-neg
6×add-log-exp
5×pow1 add-exp-log
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u
2×cbrt-div pow1/3 div-inv
1×pow-to-exp pow-unpow sub-neg pow-pow flip3-- diff-log pow-exp flip-- distribute-lft-out--
Counts
4 → 191
Calls
4 calls:
2.0ms
(cbrt (/ 1.0 n))
2.0ms
(cbrt (/ 1.0 n))
3.0ms
(pow x (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
111.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow (pow x (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n)))) (cbrt (/ 1.0 n))))

series1.7s

Counts
4 → 12
Calls
4 calls:
325.0ms
(cbrt (/ 1.0 n))
326.0ms
(cbrt (/ 1.0 n))
343.0ms
(pow x (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n))))
710.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow (pow x (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n)))) (cbrt (/ 1.0 n))))

simplify2.1s

Counts
203 → 203
Iterations
IterNodes
done5001
21750
1741
0343

prune1.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 18.1b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite368.0ms

Algorithm
rewrite-expression-head
Rules
201×unpow-prod-down
177×*-un-lft-identity
168×prod-diff
144×add-sqr-sqrt
108×add-cube-cbrt
67×sqr-pow
27×distribute-lft-out difference-of-squares
24×fma-neg
13×pow-unpow
10×add-log-exp
9×times-frac distribute-lft-out--
5×pow1 add-exp-log
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×sub-neg flip3-- diff-log flip--
1×pow-to-exp pow-pow pow-exp div-inv
Counts
4 → 299
Calls
4 calls:
3.0ms
(pow x (/ 1.0 n))
125.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
104.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
116.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series1.3s

Counts
4 → 12
Calls
4 calls:
78.0ms
(pow x (/ 1.0 n))
378.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
448.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
373.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify2.5s

Counts
311 → 311
Iterations
IterNodes
done5001
21679
1633
0247

prune2.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 18.1b

localize139.0ms

Local error

Found 4 expressions with local error:

0.5b
(pow x (/ 1.0 n))
0.8b
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
0.8b
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
0.8b
(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))

rewrite413.0ms

Algorithm
rewrite-expression-head
Rules
224×unpow-prod-down
222×prod-diff
219×*-un-lft-identity
195×sqrt-prod
190×add-sqr-sqrt
142×add-cube-cbrt
75×sqr-pow
34×difference-of-squares
30×distribute-lft-out
27×fma-neg
13×pow-unpow
10×distribute-lft-out-- add-log-exp
9×times-frac
5×pow1 add-exp-log
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×sub-neg flip3-- diff-log flip--
1×pow-to-exp pow-pow pow-exp div-inv
Counts
4 → 364
Calls
4 calls:
3.0ms
(pow x (/ 1.0 n))
105.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
117.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
153.0ms
(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))

series1.5s

Counts
4 → 12
Calls
4 calls:
93.0ms
(pow x (/ 1.0 n))
398.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
368.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
594.0ms
(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n))))

simplify2.5s

Counts
376 → 376
Iterations
IterNodes
done5011
22642
11061
0433

prune4.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 18.1b

regimes414.0ms

Accuracy

85.4% (1.3b remaining)

Error of 21.9b against oracle of 20.6b and baseline of 29.6b

bsearch1.0ms

simplify21.0ms

Iterations
IterNodes
done69
469
367
264
160
052

end0.0ms

sample7.9s

Algorithm
intervals
Results
2.5s3156×body1280valid
1.7s1567×body640valid
871.0ms1154×body10240exit
463.0ms597×body1280nan
460.0ms4664×body80valid
436.0ms654×body640nan
342.0ms848×body320valid
296.0ms4974×body80nan
119.0ms385×body320nan
98.0ms450×body160valid
32.0ms189×body160nan