sqrt(20-v^2) = vtanv