Solve for x natural log of square root of x+3=1