(-1/4)*(-2*x+6)*[ 4-(x-3)^2) ]^(1/2)+2*arcsin([x-3]/2)

можно дальше поупрощать

(1/2)*(x-3)*[ 4-(x-3)^2) ]^(1/2)+2*arcsin([x-3]/2)