結果 : if cot inverse x is equal to y then