ドモアブルの定理やオイラーの公式で
三角関数の公式がいらなくなるのは感動ですよ。