[Solver] Add special case for solving x-1+exp(x)>0.