Simplify square root of 80x^3