log(3-cosx) の積分