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