Transseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...