2^10 * sqrt(1/2 - 1/2 * sqrt(1/2 + 1/2 * sqrt(1/2 + 1/2 * sqrt(1/2 + 1/2 * sqrt(1/2 + 1/2 * sqrt(1/2 + 1/2 * sqrt(1/2 + 1/2 * sqrt(1/2 + 1/2 * sqrt(2)/2))))))))