My experiments with sympy