int 6 cos(t) sin(t) (8 cos^3(t) (-3 cos^4(t) + sin(t) - 8 cos(t) sin^15(t)) + sin(t) sin(2 sin^3(t))) dt from t=0 to pi