don't actually need the whole symbolic math library, just the graph