2*(exp(2*x) - 1) / (exp(2) - 2 - 1), x in (0, 1)