Pow acot csch Mul x0 x0 Add x0 Mul Add x0 Mul x6 x0 x0 
Mul Pow acot csch Mul x0 x0 Add Add x0 Mul Add x0 Mul x6 x0 x0 -1 Add Mul Add x0 Mul Add x0 Mul x6 x0 x0 Mul -1 Mul Mul Mul Mul -1 coth Mul x0 x0 csch Mul x0 x0 Add x0 x0 Pow Add 1 Mul csch Mul x0 x0 csch Mul x0 x0 -1 Mul Mul acot csch Mul x0 x0 log acot csch Mul x0 x0 Add 1 Add Mul x0 Add 1 x6 Add x0 Mul x6 x0 