Approach
The condition means for every in the domain, i.e. is a self-inverse function. Rather than guessing, we compute explicitly and force it to equal identically; matching coefficients then pins down . Since turns out to be self-inverse, falls out for free once is known.
Since ,
For , this must equal for every in the domain, so
Comparing coefficients of on both sides forces , i.e. .
(Checking the remaining coefficients with : the terms give , true for all ; the constant term gives , also automatic. So is the only requirement, consistent with being given separately to keep well-defined and non-constant.)
.
With , for , .
Note: Since means is its own inverse, we expect ; we find directly to confirm this.
Let . Then
Interchanging and ,
| To check your answer: , matching the self-inverse property forced by . ✓ |
.