TAO: delete formula.

TAO is now part of PETSc as of version 3.5.2.