Section VII.2. Symbolic Reduction

As of v3.0.0 the support for symbolic reduction has been added to calc. It supports multi-variables multi-operations reductions, you can reduce expressions using it, fair warning, it uses a lot of parentheses