Simplify square root of 135