結果 : verify tan x pi 2 )=- cotx