Add Mul Mul cot Pow x1 x0 Pow coth x0 sqrt acsch Mul x0 3 acot Add Pow x6 -3 4 4 
Mul acot Add Pow x6 -3 4 Add Mul Pow coth x0 sqrt acsch Mul x0 3 Mul Mul -1 Pow csc Pow x1 x0 2 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul cot Pow x1 x0 Mul Pow coth x0 Add sqrt acsch Mul x0 3 -1 Add Mul sqrt acsch Mul x0 3 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul Pow Mul 2 sqrt acsch Mul x0 3 -1 Mul 2 Pow Mul Mul Mul x0 3 Mul x0 3 sqrt Add 1 Mul -1 Pow Mul Mul x0 3 Mul x0 3 -1 -1 