mathmatical animation with manim