NLFIntp is an online tool for synthesizing nonlinear interpolants.
Type the input in the left container and click
Synthesize Interpolant!

input
result