Added sage formula simplification method.