Lean.Expr →
  Lean.Expr →
    Lean.Expr →
      Lean.Expr →
        Lean.Meta.Grind.Arith.CommRing.RingExpr →
          Lean.Meta.Grind.Arith.CommRing.RingExpr →
            Lean.Meta.Grind.Arith.CommRing.RingExpr →
              Lean.Meta.Grind.Arith.CommRing.RingExpr → Lean.Meta.Grind.Arith.CommRing.RingM Lean.Expr