Background:
Recall that an algebraic theory (in the sense of Lawvere) is a category $\mathcal{C}$ which is closed under taking finite products, and whose set of objects can be identified with the set $\mathrm{Ob}(\mathcal{C})\cong\{T^0,T^1,\ldots\}$, where $T^i=T^1\times T^1\times\cdots\times T^1$ is the $i$-fold product of $T^1$. We denote $T^1$ by $T$. The interesting aspect of an algebraic theory $\mathcal{C}$ are the morphisms $\mathcal{C}(T^i,T^1)$ and their compositions.
For any algebraic theory $\mathcal{C}$, a $\mathcal{C}$-model is defined to be a functor $\mathcal{C}\to\mathbf {Set}$ that preserves all finite products. Denote the category of $\mathcal{C}$-models (and natural transformations between them) by $\mathbf{Mod}(\mathcal{C})$.
Let $n\in\mathbb{N}$ be a natural number, and let $\mathcal{C}$ be an algebraic theory. Its $n$-truncation, denoted $\mathcal{C}_{\leq n}\subseteq\mathcal{C}$, is the smallest algebraic sub-theory that has the same $k$-ary functions $$\mathcal{C}_n(T^k,T^1):=\mathcal{C}(T^k,T^1),$$ for all $k\leq n$. full subcategory spanned by the objects $\{T^0,\ldots,T^n\}$. We say that $\mathcal{C}$ is $n$-truncated if it is equivalent (as a category) to its $n$-truncation.
Setup:
Let $R$ denote the algebraic theory whose morphisms $T^n\to T$ are the smooth functions ${\mathbb R}^n\to{\mathbb R}$. This of course defines the set of morphisms $T^n\to T^m$ for any $m$. Endow $R$ with the usual formula for composing smooth functions.
To me it would be quite surprising if $R$ were 2-truncated. But I've never heard of a 3-ary function $\mathbb{R}^3\to\mathbb{R}$ that wasn't constructed from a combination of 0-, 1-, and 2-ary functions.
Question: Can you prove that $R$ is not 2-truncated? More interestingly, can you name, i.e., construct a 3-ary function that isn't also constructible by a combination of 0-, 1-, and 2-ary functions?
(Note: thanks to Todd Trimble for suggestions on how to clean up this question.)