-----------------
Takeuchi Function
-----------------

See https://en.wikipedia.org/wiki/Tak_(function)

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