domain (log[1/2, arctan((x-PI)/(x-4))])^(1/2)