How do you integrate x2x3+1 using substitution?