Lean.Expr →
  Lean.Expr →
    Lean.Meta.Grind.Arith.CommRing.RingExpr →
      Lean.Meta.Grind.Arith.CommRing.RingExpr →
        Lean.Meta.Grind.Arith.CommRing.PolyDerivation →
          Option (Lean.Meta.Grind.Arith.CommRing.SemiringExpr × Lean.Meta.Grind.Arith.CommRing.SemiringExpr) →
            Lean.Meta.Grind.Arith.CommRing.DiseqCnstr