r=a(1+cos(t))
dr/dt=-asin(t)
(dr/dt)^2+r^2=a^2(2+2cos(t))=(2acos(t/2))^2
2[4asin(t/2)]_[0,pi]=8a