Similarly to the LEAN formula generation, it would be nice to split the generated formula code for PARI/GP into multiple lines if there are multiple functions.