crack benchmark
switched to use SymPy instead of Maxima for synbolic formula manipulation