Pow asech Mul Mul 4 E asinh Mul acosh Mul x0 Pow x2 x6 x0 Add acoth x0 E 
Mul Pow asech Mul Mul 4 E asinh Mul acosh Mul x0 Pow x2 x6 x0 Add Add acoth x0 E -1 Add Mul Add acoth x0 E Mul Mul Mul 4 E Mul Add Mul x0 Mul Pow x2 x6 Pow Mul sqrt Add Mul x0 Pow x2 x6 -1 sqrt Add 1 Mul x0 Pow x2 x6 -1 acosh Mul x0 Pow x2 x6 Pow sqrt Add 1 Mul Mul acosh Mul x0 Pow x2 x6 x0 Mul acosh Mul x0 Pow x2 x6 x0 -1 Pow Mul Mul Mul Mul 4 E asinh Mul acosh Mul x0 Pow x2 x6 x0 Mul Mul 4 E asinh Mul acosh Mul x0 Pow x2 x6 x0 sqrt Add 1 Mul -1 Pow Mul Mul Mul 4 E asinh Mul acosh Mul x0 Pow x2 x6 x0 Mul Mul 4 E asinh Mul acosh Mul x0 Pow x2 x6 x0 -1 -1 Mul Mul asech Mul Mul 4 E asinh Mul acosh Mul x0 Pow x2 x6 x0 log asech Mul Mul 4 E asinh Mul acosh Mul x0 Pow x2 x6 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 