How do you evaluate arc cos (-1/sqrt2)?