((((2^x)^y)^z)^t)-2^(x*y*z*t)