cot csch Mul x3 log cot Pow acoth x0 coth atan E 
Mul Mul -1 Pow csc csch Mul x3 log cot Pow acoth x0 coth atan E 2 Mul Mul Mul -1 coth Mul x3 log cot Pow acoth x0 coth atan E csch Mul x3 log cot Pow acoth x0 coth atan E Mul x3 Mul Mul Mul -1 Pow csc Pow acoth x0 coth atan E 2 Mul Pow acoth x0 Add coth atan E -1 Mul coth atan E Pow Add 1 Mul -1 Mul x0 x0 -1 Pow cot Pow acoth x0 coth atan E -1 