Arithmitic Metaprogramming
Calculating power in Olog n