I've actually been a developer of FORM since my PhD (which I did with the author of FORM, Jos Vermaseren)! In Symbolica, I am taking the best features of FORM, while making it easier to use.
I've never got to solve a simple equation under Form. Everything else looks easy,
as most of the answers are either tautological or factor arrangements without stating
explicit units or magnitudes; but I didn't know how to get numerical answers.
I even created a simple tool for squaring matrix elements based on FORM:
https://github.com/vindex10/form-square
Thank you for staying creative, for thinking big and expanding beyond HEP :)