solve x + ln(y)>0