añadido cuadro reglas  simplificaciones sympy