OEIS A229580 mini challenge (RPL)

[Gerson W. Barbosa]

(05-01-2018 11:05 PM)Joe Horn Wrote:  

(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).

Very nice!

Here is my (now) lengthy one:

« DUP + 3 - 2 SWAP ^ LASTARG + * CEIL
»

37.5 bytes, 0.062 s, #296Fh

Glad the 37.5-byte barrier has been broken!