Mul x0 acoth Pow Mul x0 x0 csch Pow 3 x6 
Add acoth Pow Mul x0 x0 csch Pow 3 x6 Mul x0 Mul Mul Pow Mul x0 x0 Add csch Pow 3 x6 -1 Mul csch Pow 3 x6 Add x0 x0 Pow Add 1 Mul -1 Mul Pow Mul x0 x0 csch Pow 3 x6 Pow Mul x0 x0 csch Pow 3 x6 -1 