sin^2((floor(PI*sqrt(2^256)/4)+1/2)*2*arcsin(1/sqrt(2^256)))