solve (integral 1./2.**(x-c) -1 for x from 0 to 1) = 0 for c