generated at
Euler's identity