sqrt(20-v^2) = -vcotv