There's a nice discussion here: https://math.stackexchange.com/questions/20578/why-is-integr...

on why integration is a fundamentally harder problem than differentiation. New techniques would be required to programatically analytically solve integrals as well as current differentiation programs, but it would be exciting to see.