cos(pi%2F8)