Simplify square root of -32