[Tistron]

The 2*2 also doesn't seem a general unwrap.

2^2 -> 2*2 -> 2+2

2^3 -> 2*2*2 -> (2+2)+(2+2)

[tasn]

It's not N^Y, it's N^2 as we are talking about the reverse of sqrt which is N^(1/2).

N^2 == N*N != N+N

[gpm]

N^2 = N*N = Sum_i=1 to N of N.

More generally "unwrap" is being used as inlining the recursive hyper operation once more: https://en.wikipedia.org/wiki/Hyperoperation