How do you evaluate #arccos (sqrt2/2)#?