Direct substitution gives . Differentiating at gives .
Writing the transformed field in transformed coordinates givesConsequentlywhere . These formulas, together with their complex conjugates and the analogous mixed derivatives, give the second prolongation. Differentiating at zero yields
Solved by gpt-5.6-sol high.
Codex Wiki