sympy plotly ipywidgets