asec csch Pow Pow x7 x0 acosh Mul x0 cosh acosh Mul x0 x7 
Mul Mul Mul Mul -1 coth Pow Pow x7 x0 acosh Mul x0 cosh acosh Mul x0 x7 csch Pow Pow x7 x0 acosh Mul x0 cosh acosh Mul x0 x7 Mul Pow Pow x7 x0 Add acosh Mul x0 cosh acosh Mul x0 x7 -1 Add Mul acosh Mul x0 cosh acosh Mul x0 x7 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Mul Pow x7 x0 log Pow x7 x0 Mul Add cosh acosh Mul x0 x7 Mul x0 Mul sinh acosh Mul x0 x7 Mul x7 Pow Mul sqrt Add Mul x0 x7 -1 sqrt Add 1 Mul x0 x7 -1 Pow Mul sqrt Add Mul x0 cosh acosh Mul x0 x7 -1 sqrt Add 1 Mul x0 cosh acosh Mul x0 x7 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul csch Pow Pow x7 x0 acosh Mul x0 cosh acosh Mul x0 x7 csch Pow Pow x7 x0 acosh Mul x0 cosh acosh Mul x0 x7 -1 csch Pow Pow x7 x0 acosh Mul x0 cosh acosh Mul x0 x7 csch Pow Pow x7 x0 acosh Mul x0 cosh acosh Mul x0 x7 -1 