Just use definition "ScalarProduct[p,p]=m^2;" before Simplify[...] operation, where you can wait desired substitution p^2->m^2.
This archive was generated by hypermail 2b29 : 09/04/20-12:55:05 AM Z CEST