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