Manimで数式アニメ

初めてManimで円が描かれるアニメーションを作った。レンダリングに思ったより時間がかかる。