csc Pow x6 log coth exp x0 
Mul Mul Mul -1 cot Pow x6 log coth exp x0 csc Pow x6 log coth exp x0 Mul Pow x6 Add log coth exp x0 -1 Mul Mul x6 log x6 Mul Mul Mul -1 Pow csch exp x0 2 exp x0 Pow coth exp x0 -1 