simplify( sqrt(1 + (xsqrt(1+y²) + ysqrt(1+x²))² ) - sqrt(1 + (xsqrt(1+y²) - ysqrt(1+x²))² ) )