Add coth Mul Pow atanh x4 acoth Pow Mul x0 E 4 Add x0 x0 x0 
Add Mul Mul -1 Pow csch Mul Pow atanh x4 acoth Pow Mul x0 E 4 Add x0 x0 2 Add Mul Add x0 x0 Mul Pow atanh x4 Add acoth Pow Mul x0 E 4 -1 Mul Mul atanh x4 log atanh x4 Mul Mul Pow Mul x0 E 3 Mul 4 E Pow Add 1 Mul -1 Mul Pow Mul x0 E 4 Pow Mul x0 E 4 -1 Mul Pow atanh x4 acoth Pow Mul x0 E 4 2 1 