coth asech Mul Mul x0 Pow Pow acos x0 E Mul asech x6 x0 -2 
Mul Mul -1 Pow csch asech Mul Mul x0 Pow Pow acos x0 E Mul asech x6 x0 -2 2 Mul Mul -2 Add Pow Pow acos x0 E Mul asech x6 x0 Mul x0 Mul Pow Pow acos x0 E Add Mul asech x6 x0 -1 Add Mul Mul asech x6 x0 Mul Pow acos x0 Add E -1 Mul E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow acos x0 E log Pow acos x0 E asech x6 Pow Mul Mul Mul Mul x0 Pow Pow acos x0 E Mul asech x6 x0 -2 Mul Mul x0 Pow Pow acos x0 E Mul asech x6 x0 -2 sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 Pow Pow acos x0 E Mul asech x6 x0 -2 Mul Mul x0 Pow Pow acos x0 E Mul asech x6 x0 -2 -1 -1 