Factoring a difference of squares in two variables