Add csc Pow x5 csch Pow x0 x3 Mul x0 -2 
Add Mul Mul Mul -1 cot Pow x5 csch Pow x0 x3 csc Pow x5 csch Pow x0 x3 Mul Pow x5 Add csch Pow x0 x3 -1 Mul Mul x5 log x5 Mul Mul Mul -1 coth Pow x0 x3 csch Pow x0 x3 Mul Pow x0 Add x3 -1 x3 -2 