What is the inverse of #log (x^2/2)-3log(x)# ?