Details

Time bar (total: 10.0s)

analyze1.2s

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%62.4%12.6%5
25%56.2%18.8%6
28.1%50%22%7
28.1%46.8%25.1%8
29.7%41.4%29%9
29.7%39.4%30.9%10
31.1%35.8%33.1%11
31.1%34.4%34.5%12
31.5%32.9%35.6%13
31.5%32.1%36.4%14

sample235.0ms

Algorithm
intervals
Results
75.0ms131×body1280valid
45.0ms36×body1280nan
19.0ms25×body640nan
19.0ms44×body640valid
17.0ms88×body80overflowed
10.0ms22×body320nan
10.0ms26×body320valid
5.0ms7×body640invalid
5.0ms9×body160nan
4.0ms48×body80valid
3.0ms3×body1280invalid
2.0ms5×body320invalid
2.0ms7×body160valid
1.0ms8×body80invalid
1.0ms4×body160invalid
1.0ms13×body80nan

simplify46.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
0497713
1497713

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 33.5b

Counts
2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
10×unpow-prod-down
9×difference-of-squares
8×*-un-lft-identity
6×sqr-pow
3×distribute-lft-out-- add-log-exp
1×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip-- distribute-lft-out
Counts
1 → 23
Calls
1 calls:
9.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

series38.0ms

Counts
1 → 3
Calls
1 calls:
38.0ms
(- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))

simplify53.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
04956583
14956583

prune78.0ms

Filtered
23 candidates to 26 candidates (-13.0%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New21526
Fresh000
Picked101
Done000
Total22527

Merged error: 19.3b

Counts
27 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ (pow (sqrt x) (/ 1.0 n)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))))
0.0b
(sqrt (pow (+ x 1.0) (/ 1.0 n)))
0.0b
(sqrt (pow (+ x 1.0) (/ 1.0 n)))
3.2b
(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n)))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
64×add-sqr-sqrt
48×sqrt-prod
34×unpow-prod-down
32×difference-of-squares
20×*-un-lft-identity associate-*r* sqr-pow
10×add-cube-cbrt
6×pow1 add-exp-log rem-sqrt-square add-cbrt-cube add-log-exp
4×frac-times flip3-- associate-*l* flip--
3×sub-neg flip3-+ flip-+ distribute-lft-out
2×sqrt-pow1 pow1/2 associate-*r/ associate-*l/ distribute-lft-out--
1×distribute-rgt-in distribute-lft-in diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 114
Calls
4 calls:
30.0ms
(* (+ (pow (sqrt x) (/ 1.0 n)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))))
4.0ms
(sqrt (pow (+ x 1.0) (/ 1.0 n)))
4.0ms
(sqrt (pow (+ x 1.0) (/ 1.0 n)))
12.0ms
(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n)))

series263.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(* (+ (pow (sqrt x) (/ 1.0 n)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))))
31.0ms
(sqrt (pow (+ x 1.0) (/ 1.0 n)))
31.0ms
(sqrt (pow (+ x 1.0) (/ 1.0 n)))
70.0ms
(- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n)))

simplify38.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
050933223

prune382.0ms

Filtered
97 candidates to 126 candidates (-29.9%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1242126
Fresh134
Picked101
Done000
Total1265131

Merged error: 19.3b

Counts
131 → 5

localize3.0ms

Local error

Found 1 expressions with local error:

0.7b
(/ 1.0 (* x n))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
6×add-exp-log add-cbrt-cube
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac associate-/l*
2×cbrt-undiv div-exp
1×pow1 frac-2neg prod-exp clear-num associate-/r* cbrt-unprod div-inv add-log-exp
Counts
1 → 21
Calls
1 calls:
4.0ms
(/ 1.0 (* x n))

series3.0ms

Counts
1 → 3
Calls
1 calls:
3.0ms
(/ 1.0 (* x n))

simplify125.0ms

Algorithm
egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (123.0ms)

IterNodesCost
05668152

prune60.0ms

Filtered
16 candidates to 24 candidates (-50.0%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New18624
Fresh044
Picked011
Done000
Total181129

Merged error: 18.8b

Counts
29 → 11

localize3.0ms

Local error

Found 1 expressions with local error:

0.2b
(/ (/ 1.0 x) n)

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
43×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
13×associate-/l*
6×add-exp-log add-cbrt-cube
5×div-inv
3×cbrt-undiv div-exp associate-/r*
1×pow1 frac-2neg clear-num associate-/l/ add-log-exp
Counts
1 → 70
Calls
1 calls:
6.0ms
(/ (/ 1.0 x) n)

series3.0ms

Counts
1 → 3
Calls
1 calls:
3.0ms
(/ (/ 1.0 x) n)

simplify101.0ms

Algorithm
egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (94.0ms)

IterNodesCost
04678781
14678781

prune87.0ms

Filtered
54 candidates to 73 candidates (-35.2%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New65873
Fresh279
Picked101
Done101
Total691584

Merged error: 18.8b

Counts
84 → 15

regimes362.0ms

Accuracy

91.7% (1.5b remaining)

Error of 23.3b against oracle of 21.7b and baseline of 40.1b

bsearch1.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0161112
1161112

end0.0ms

sample6.7s

Algorithm
intervals
Results
2.1s3751×body1280valid
1.3s1169×body1280nan
702.0ms1557×body640valid
613.0ms869×body640nan
509.0ms2767×body80overflowed
234.0ms733×body320valid
201.0ms472×body320nan
168.0ms235×body640invalid
155.0ms1626×body80valid
126.0ms100×body1280invalid
85.0ms194×body320invalid
65.0ms333×body160valid
50.0ms218×body160nan
31.0ms503×body80nan
27.0ms215×body80invalid
22.0ms76×body160invalid

Profiling

Loading profile data...