asech Add acosh cosh x0 Pow x5 Pow atan Mul x0 E Add x6 x0 
Mul Add Mul sinh x0 Pow Mul sqrt Add cosh x0 -1 sqrt Add 1 cosh x0 -1 Mul Pow x5 Add Pow atan Mul x0 E Add x6 x0 -1 Mul Mul x5 log x5 Mul Pow atan Mul x0 E Add Add x6 x0 -1 Add Mul Add x6 x0 Mul E Pow Add 1 Mul Mul x0 E Mul x0 E -1 Mul atan Mul x0 E log atan Mul x0 E Pow Mul Mul Add acosh cosh x0 Pow x5 Pow atan Mul x0 E Add x6 x0 Add acosh cosh x0 Pow x5 Pow atan Mul x0 E Add x6 x0 sqrt Add 1 Mul -1 Pow Mul Add acosh cosh x0 Pow x5 Pow atan Mul x0 E Add x6 x0 Add acosh cosh x0 Pow x5 Pow atan Mul x0 E Add x6 x0 -1 -1 