How do you evaluate cos ^ -1 ( cos (7 pi/4) )?