x - ln(2+e^x + 2 sqrt(e^(2x) + e^x + 1))