对两边取对数：xy+3lny=lncos(x-y)
两边同时对x求导：y+xy'+y' * 3/y=-tan(x-y) * (1-y')
整理得：y'=tan(x-y)+y/tan(x-y)-x-3/y
不知道对不对,我自己算的,不过整体思路是这样的