Pow acosh csch Mul Mul acoth Mul x0 x6 acoth Pow x0 32 x0 Add pi Add x0 1 
Mul Pow acosh csch Mul Mul acoth Mul x0 x6 acoth Pow x0 32 x0 Add Add pi Add x0 1 -1 Add Mul Add pi Add x0 1 Mul Mul Mul Mul -1 coth Mul Mul acoth Mul x0 x6 acoth Pow x0 32 x0 csch Mul Mul acoth Mul x0 x6 acoth Pow x0 32 x0 Add Mul x0 Add Mul acoth Pow x0 32 Mul x6 Pow Add 1 Mul -1 Mul Mul x0 x6 Mul x0 x6 -1 Mul acoth Mul x0 x6 Mul Mul Pow x0 31 32 Pow Add 1 Mul -1 Mul Pow x0 32 Pow x0 32 -1 Mul acoth Mul x0 x6 acoth Pow x0 32 Pow Mul sqrt Add csch Mul Mul acoth Mul x0 x6 acoth Pow x0 32 x0 -1 sqrt Add 1 csch Mul Mul acoth Mul x0 x6 acoth Pow x0 32 x0 -1 Mul acosh csch Mul Mul acoth Mul x0 x6 acoth Pow x0 32 x0 log acosh csch Mul Mul acoth Mul x0 x6 acoth Pow x0 32 x0 