@mike00632: I see that cos(x/2^1)