Add Mul x0 atanh x4 Add -1 Mul asech Pow x0 csch Pow x0 acos x6 4 
Add atanh x4 Mul 4 Mul Mul Pow x0 Add csch Pow x0 acos x6 -1 Add csch Pow x0 acos x6 Mul Mul x0 log x0 Mul Mul Mul -1 coth Pow x0 acos x6 csch Pow x0 acos x6 Mul Pow x0 Add acos x6 -1 acos x6 Pow Mul Mul Pow x0 csch Pow x0 acos x6 Pow x0 csch Pow x0 acos x6 sqrt Add 1 Mul -1 Pow Mul Pow x0 csch Pow x0 acos x6 Pow x0 csch Pow x0 acos x6 -1 -1 