Pow x4 Pow csch csc x0 Mul x0 acos x4 
Mul Pow x4 Add Pow csch csc x0 Mul x0 acos x4 -1 Mul Mul x4 log x4 Mul Pow csch csc x0 Add Mul x0 acos x4 -1 Add Mul Mul x0 acos x4 Mul Mul Mul -1 coth csc x0 csch csc x0 Mul Mul -1 cot x0 csc x0 Mul Mul csch csc x0 log csch csc x0 acos x4 