Mul Pow x0 sech Pow csch exp Add csch x0 csc x7 atan x0 acosh log acos x0 
Add Mul acosh log acos x0 Mul Pow x0 Add sech Pow csch exp Add csch x0 csc x7 atan x0 -1 Add sech Pow csch exp Add csch x0 csc x7 atan x0 Mul Mul x0 log x0 Mul Mul tanh Pow csch exp Add csch x0 csc x7 atan x0 Mul -1 sech Pow csch exp Add csch x0 csc x7 atan x0 Mul Pow csch exp Add csch x0 csc x7 Add atan x0 -1 Add Mul atan x0 Mul Mul Mul -1 coth exp Add csch x0 csc x7 csch exp Add csch x0 csc x7 Mul exp Add csch x0 csc x7 Mul Mul -1 coth x0 csch x0 Mul Mul csch exp Add csch x0 csc x7 log csch exp Add csch x0 csc x7 Pow Add 1 Mul x0 x0 -1 Mul Pow x0 sech Pow csch exp Add csch x0 csc x7 atan x0 Mul Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow acos x0 -1 Pow Mul sqrt Add log acos x0 -1 sqrt Add 1 log acos x0 -1 