----------------
Euler's identity
----------------

See https://en.wikipedia.org/wiki/Euler%27s_identity

The tests are at http://josd.github.io/eye/reasoning/euler/test
