Simplify square root of 9x