What is #tan(arccos(sqrt2/2))#?