int(ln(exp(x)+c),x)