Proof of concept for Symbolic Toolbox usage