square both sides to get
Simplify and rewrite as
We wish to write this as a product of square polynomials, so after some careful thought and experimentation we use
When we expand this version and compare coefficients we can determine that
1)
2)
3)
This nonlinear can be solved by substitution. It has a rational solution of
