sqrt(1.25^2-.75^2)