A reader brought up essentially this question: does anyone happen to know a proof that $e^{x^2}$ does not possess an elementary antiderivative? By “elementary”, I mean a member of the class of functions which contains all constants valued in the complex numbers, the identity function, the exponential and log functions, and closed under the four basic arithmetic operations and composition.