∫x1ⅆ⁡t1-t3=3-1/4⁢F⁡(ϕ,k),