Simplify square root of 128x^3