How do you evaluate cos(9π4)?