A symbolic manipulation toolkit which aims to handle expressions with billions of terms - Ben Ruijl - benruijl