inverse function x+2^x