y/(1+x)-(1-x)/y
=(x^2+y^2-1)/y(1+x)
=0 ∵ x^2+y^2=1