@Michael Dear Dr Milgram, many thanks for you comment. Earlier I also used SCHOONSHIP and knew Prof Veltman very well. Present research in QFT computer algebra grew to O(1 Tbyte) problems and still will become bigger. I just came back from a related conference: https://indico.desy.de/event/38959/  - you might be interested in reading some of the talks.

Best Johannes Bluemlein