Add x7 atanh Mul x6 Pow coth Pow x0 Add sec acos x0 Pow x2 -1 Add -2 x4 
Mul Mul x6 Mul Pow coth Pow x0 Add sec acos x0 Pow x2 -1 Add Add -2 x4 -1 Mul Add -2 x4 Mul Mul -1 Pow csch Pow x0 Add sec acos x0 Pow x2 -1 2 Mul Pow x0 Add Add sec acos x0 Pow x2 -1 -1 Add Add sec acos x0 Pow x2 -1 Mul Mul x0 log x0 Mul Mul tan acos x0 sec acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul x6 Pow coth Pow x0 Add sec acos x0 Pow x2 -1 Add -2 x4 Mul x6 Pow coth Pow x0 Add sec acos x0 Pow x2 -1 Add -2 x4 -1 