sin^7(x)cos(x) dx