12*(integrate 10*(sqrt(5)/3)*sin(t) + (25/4)*cos(t)*sin(t) dt from t=pi to 2*pi )