\(\displaystyle \text{If }-1 < x,y < 1,\,\text{ then there is a unique real number } z\text{such that:}\)
. . \(\displaystyle \displaystyle \int^x_0\frac{dt}{t^2+1} + \int^y_0\frac{dt}{t^2+1} \;=\;\int^z_0\frac{dt}{t^2+1}\)
\(\displaystyle \text{Express }z\text{ as a rational function of }x\text{ and }y.\)