Here's a very simple way to obtain $(E \wedge E)^{\Bbb Z_2}$ without having to resort to representations (at least if $E$ is connective). Consider the functor from spectra to spectra given by $$E \mapsto \Sigma^\infty \Omega^\infty E .$$ That is, the suspension spectrum of the zeroth space of $E$.


  Let 
$$E \mapsto P_2(E)$$ be its **quadratic approximation** in the sense of Goodwillie's calculus of homotopy functors (that is, the second stage of the Goodwillie tower).

Then $P_2(E)$ has the homotopy type of $(E \wedge E)^{\Bbb Z_2}$ whenever $E$ is connective.

Incidentally, one can also see that this comes equipped with a fiber sequence
$$
D_2(E) \to P_2(E) \to E
$$
which amounts the tom Dieck's splitting in the case when $E$ is a suspension spectrum.
Here, $D_2(E) = (E^\wedge E)_{h\Bbb Z_2}$ is the quadratic construction.
In general, this sequence needn't split.