OEIS A229580 mini challenge (RPL)

[Joe Horn]

(05-01-2018 07:40 PM)Gerson W. Barbosa Wrote:  By factoring the first few elements, I have obtained an = (2n - 1)*2^(2n - 3), which is probably the same formula Joe has come up with, since he used the same method I did.

Correct. My final attempt (before going to bed) was:

<< DUP + 1 - 2 DUP2 - ^ * CEIL >>

BYTES: 35.0 #D66Dh
0.057_s for an input of 30 (on my 50g).