simplify((a^5)*b^2+4*a*b^4+4*(a^3)*b^3=a*(b*(a^2+2*b))^2)