solve(1/4 (y (y + sqrt(4 + y^2)) + 4 sinh^(-1)(y/2))==x,y)