ln((7-x)/(x-1))/2 x from 0 to 8 over the reals