Mul atan coth Mul sqrt acosh x0 Pow Add x7 x1 acos x0 Mul x7 Mul Add x0 Add Mul -2 x0 Mul x6 x0 -5 
Add Mul Mul x7 Mul Add x0 Add Mul -2 x0 Mul x6 x0 -5 Mul Mul Mul -1 Pow csch Mul sqrt acosh x0 Pow Add x7 x1 acos x0 2 Add Mul Pow Add x7 x1 acos x0 Mul Pow Mul 2 sqrt acosh x0 -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul sqrt acosh x0 Mul Pow Add x7 x1 Add acos x0 -1 Mul Mul Add x7 x1 log Add x7 x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul coth Mul sqrt acosh x0 Pow Add x7 x1 acos x0 coth Mul sqrt acosh x0 Pow Add x7 x1 acos x0 -1 Mul atan coth Mul sqrt acosh x0 Pow Add x7 x1 acos x0 Mul x7 Mul -5 Add 1 Add -2 x6 