cos(3pi%2F4)