arctanが必要でしょ?
つまり代数的には表せないんじゃないの?
その証明が欲しい