gsoc, sympy