Simplify (8xy)/(2x^3y^7)