(\0.
  (\inc.
    (\add.
      (\mult.
        (\exp.
          (exp (inc (inc (inc (inc 0)))) (inc (inc (inc (inc (inc 0))))))
          \n m.(m n)
        )
        \m n f.(m (n f))
      )
      \n m.(m inc n)
    )
    \n f x.(f (n f x))
  )
  \f x.((((((x))))))
)