solving ln equations for x