sqrt(2^3.5)