f(t)=12π-F(x)-xtx.