updated petsc_formula