>>256
cos²z+sin²z=1はzについて微分したらしまいでしょ?