Even for integrals, derivation isn't a silver bullet. You need to derive and also test for equality. Determining whether two expressions are the same (or enough the same, like a being the same as a^2/a except for a=0) can be really hard.