How do you find the exact value of #tan(cos^-1(sqrt2/2))#?