acos Add coth Add x2 Add Add x0 Pow Pow x6 pi -4 acoth x0 -5 
Mul -1 Mul Mul Mul -1 Pow csch Add x2 Add Add x0 Pow Pow x6 pi -4 acoth x0 2 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add coth Add x2 Add Add x0 Pow Pow x6 pi -4 acoth x0 -5 Add coth Add x2 Add Add x0 Pow Pow x6 pi -4 acoth x0 -5 -1 