asech cosh Pow x0 Mul x0 Add x5 asech acot acosh x7 
Mul Mul sinh Pow x0 Mul x0 Add x5 asech acot acosh x7 Mul Pow x0 Add Mul x0 Add x5 asech acot acosh x7 -1 Add Mul x0 Add x5 asech acot acosh x7 Mul Mul x0 log x0 Add x5 asech acot acosh x7 Pow Mul Mul cosh Pow x0 Mul x0 Add x5 asech acot acosh x7 cosh Pow x0 Mul x0 Add x5 asech acot acosh x7 sqrt Add 1 Mul -1 Pow Mul cosh Pow x0 Mul x0 Add x5 asech acot acosh x7 cosh Pow x0 Mul x0 Add x5 asech acot acosh x7 -1 -1 