求值tan(arcsin√2/2)