There is tooling in MOI.Nonlinear.ReverseAD to exploit common subexpressions, but we don't actively exploit this when parsing ScalarNonlinearFunction.

I wonder if we could walk the tape somehow to detect and reduce common subexpressions that are at least N nodes long.

It would help: jump-dev/JuMP.jl#3729 (comment)