a fast symbolic manipulation library
