>>769
cos(8x)を積分したらsin(8x)だよ

cos(x)を積分したらsin(x)だろ?
8は関係ない