(11/2-2*sqrt(3)+t*x-3)