sqrt isn't defined on integrals anymore