simplify sin(arctg((l*sin(x(t))/(a-l*cos(x(t)))))