sin9°、cos9°、tan9°はどんな数？
https://p-suugaku.blogspot.com/2022/01/sin9-cos9-tan9.html
SymPy でやってみた。Julia には 引数が「度」の三角関数 sind(), cosd() など，*d() という名前の関数があるので，これを使う。
しかし，sind(9) とかやっても無駄というのは，以前の経験で学習した。
1. sin(9°)
using SymPy
sind(9) # 0.15643446504023087
9 を数値じゃなくて SymPy のオブジェクトだよと Sym(9) で表すのが肝。
sind(Sym(9))
これでも十分綺麗（?）だが，件のページの解により近いのは，以下。
together(sind(Sym(9)))
2. cos(9°)
同じようにして，
together(cosd(Sym(9)))
3. tan(9°)
tand(9) はそのままでは，件のページに示されたような簡潔な式にならない。
together(tand(Sym(9)))
さらに簡約化して
simplify(together(tand(Sym(9))))
第1項，第2項を簡約化すると
simplify(-sqrt(Sym(5))*sqrt(2*sqrt(Sym(5)) + 10)/4 - sqrt(2*sqrt(Sym(5)) + 10)/4)
√2+√10 をルートの中に入れて，簡約化すると
simplify(-sqrt(expand((sqrt(Sym(2)) + sqrt(Sym(10)))^2*(sqrt(Sym(5))+5)))/4)
これで前の第3,4 項を併せてやっと
