I use Maxima daily, so I get "symbolic". I called BS because they provide no details, no citations, nothing to make me think they have advanced over Maxima, or even GCC in terms of optimization of arbitrary computations.

Perhaps more importantly, just because one can build a model does not mean one will understand the model or the system be modeled. No software will provide us with good interpretations of our models and their output.