Mul Add cosh Add coth x0 Add pi 1024 Mul x0 coth pi Add cos atanh x0 1 
Add Mul Add cos atanh x0 1 Add Mul sinh Add coth x0 Add pi 1024 Mul -1 Pow csch x0 2 coth pi Mul Add cosh Add coth x0 Add pi 1024 Mul x0 coth pi Mul Mul -1 sin atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 