sinmxの微分ってどうなりますかね…?