int sqrt(1 + 4 f^2) df