sqr(differential(2cos(t))^2+differential(2sin(t))^2)