Consider benchmarking a addchain of `MULMOD` generated to compute a prime field inverse. E.g. https://github.com/thehubbleproject/hubble-contracts/blob/master/contracts/libs/ModExp.sol.