sympy so cool