cos(pi%2F6)