Simplify 4x^3*(xy^2)