>>794
ところで y'=cos(x) は「微分の手順は見ないで」戻せるのかい?