Btw I have an implementation of the MiMC hash function using EVMMAX (GitHub - jwasinger/mimc-evmmax). Compared to the circomlib implementation which uses 17460 gas, the EVMMAX implementation only uses 3915 gas.
So EVMMAX can give huge cost reductions for MiMC and other zk-friendly hash functions (like Poseidon which has a proposal for a precompile).