2^x-x=0

Input

2^x - x = 0

Alternate form

2^x = x

Solution

x = -(W_n(-log(2)))/log(2), n element Z