Pow log Mul Add Pow acoth Mul Pow x1 Mul atan x0 cot x0 3 coth x0 x0 Add -4 x6 Pow x0 x0 
Mul Pow log Mul Add Pow acoth Mul Pow x1 Mul atan x0 cot x0 3 coth x0 x0 Add -4 x6 Add Pow x0 x0 -1 Add Mul Pow x0 x0 Mul Mul Add -4 x6 Add Mul Pow acoth Mul Pow x1 Mul atan x0 cot x0 3 Add coth x0 -1 Add Mul coth x0 Mul Mul 3 Mul Pow x1 Add Mul atan x0 cot x0 -1 Mul Mul x1 log x1 Add Mul cot x0 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul -1 Pow csc x0 2 Pow Add 1 Mul -1 Mul Mul Pow x1 Mul atan x0 cot x0 3 Mul Pow x1 Mul atan x0 cot x0 3 -1 Mul Mul acoth Mul Pow x1 Mul atan x0 cot x0 3 log acoth Mul Pow x1 Mul atan x0 cot x0 3 Mul -1 Pow csch x0 2 1 Pow Mul Add Pow acoth Mul Pow x1 Mul atan x0 cot x0 3 coth x0 x0 Add -4 x6 -1 Mul Mul log Mul Add Pow acoth Mul Pow x1 Mul atan x0 cot x0 3 coth x0 x0 Add -4 x6 log log Mul Add Pow acoth Mul Pow x1 Mul atan x0 cot x0 3 coth x0 x0 Add -4 x6 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 