from sympy import symbols, Ne, Eq, And, sin, cos, pi, log, latex
from spb import *
x, y = symbols('x y')