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