Details

Time bar (total: 11.3s)

sample149.0ms

Algorithm
intervals
Results
51.0ms123×body1280valid
19.0ms40×body10240exit
16.0ms53×body640valid
9.0ms26×body1280nan
8.0ms150×body80valid
7.0ms24×body640nan
7.0ms199×body80nan
5.0ms26×body320valid
2.0ms9×body320nan
2.0ms12×body160valid
1.0ms7×body160nan

simplify33.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0176
1346
2806
32366
48686
550016

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.4b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
19×*-un-lft-identity
14×unpow-prod-down
13×pow-unpow
10×add-cube-cbrt
9×times-frac difference-of-squares
7×sqr-pow
4×add-log-exp
3×pow1 add-exp-log distribute-lft-out--
2×add-cbrt-cube distribute-lft-out
1×pow-to-exp sub-neg flip3-- pow-pow diff-log pow-exp flip-- div-inv
Counts
2 → 52
Calls
2 calls:
10.0ms
(pow (+ x 1.0) (/ 1.0 n))
76.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series425.0ms

Counts
2 → 6
Calls
2 calls:
144.0ms
(pow (+ x 1.0) (/ 1.0 n))
280.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify34.0ms

Algorithm
egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0359490
11141475
25002466

prune168.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 20.2b

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite232.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 distribute-lft-out
3×sub-neg flip3-- diff-log flip--
1×pow-to-exp pow-pow pow-exp div-inv
Counts
4 → 100
Calls
4 calls:
10.0ms
(pow (+ x 1.0) (/ 1.0 n))
73.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
72.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
73.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series985.0ms

Counts
4 → 12
Calls
4 calls:
146.0ms
(pow (+ x 1.0) (/ 1.0 n))
280.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
279.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
279.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify39.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
03591142
111411101
250021078

prune415.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 20.2b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite293.0ms

Algorithm
rewrite-expression-head
Rules
52×add-sqr-sqrt
40×unpow-prod-down
36×difference-of-squares
32×*-un-lft-identity
24×sqr-pow
12×distribute-lft-out-- add-log-exp
4×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip-- distribute-lft-out
Counts
4 → 96
Calls
4 calls:
71.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
71.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
73.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
73.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series1.1s

Counts
4 → 12
Calls
4 calls:
287.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
286.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
281.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
281.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify81.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 2 (17.0ms)

IterNodesCost
02221304
15941252
227451228
350031228

prune478.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 20.2b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite293.0ms

Algorithm
rewrite-expression-head
Rules
52×add-sqr-sqrt
40×unpow-prod-down
36×difference-of-squares
32×*-un-lft-identity
24×sqr-pow
12×distribute-lft-out-- add-log-exp
4×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip-- distribute-lft-out
Counts
4 → 96
Calls
4 calls:
72.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
72.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
71.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
73.0ms
(- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2)))

series1.1s

Counts
4 → 12
Calls
4 calls:
286.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
283.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
286.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))
292.0ms
(- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2)))

simplify42.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
03721372
110231313
250021296

prune605.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 20.2b

regimes171.0ms

Accuracy

84.8% (1.3b remaining)

Error of 22.3b against oracle of 21.0b and baseline of 29.8b

bsearch1.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
066110
166110

end0.0ms

sample4.4s

Algorithm
intervals
Results
1.4s3146×body1280valid
540.0ms1612×body640valid
515.0ms1184×body10240exit
501.0ms632×body1280nan
248.0ms4730×body80valid
212.0ms660×body640nan
185.0ms867×body320valid
177.0ms5206×body80nan
64.0ms354×body320nan
57.0ms432×body160valid
17.0ms166×body160nan