papalex on Nostr: I did not check the very long outputs in detail (i.e. the 𝑥𝑥* and the ...

I did not check the very long outputs in detail (i.e. the 𝑥𝑥* and the (𝑥𝑥*)𝑦−𝑥(𝑥*𝑦) outputs), but it looks good to me! So indeed, alternating but not "conjugate-alternating" or whatever the appropriate name for the last expression would be.