max sqrt(2)*sin(t)(2-sin(t) *sqrt(2))+2cos(t)*sin(t) from t=0 to Pi/2