>>20
logx=tで置換、
sinx=tで置換、
cosx-sinx=(d/dx)(sinx+cosx)