(d/dx ln x + 3) = 5