How do you evaluate arccos(-1/sqrt(2))?