int sqrt{1 + t^2}