y=(x^3+2x)(x^2+1)を微分する