Pow cosh acosh Add acot cosh acoth csc tan asech x7 Mul x0 x0 x0 
Mul Pow cosh acosh Add acot cosh acoth csc tan asech x7 Mul x0 x0 Add x0 -1 Add Mul x0 Mul sinh acosh Add acot cosh acoth csc tan asech x7 Mul x0 x0 Mul Add x0 x0 Pow Mul sqrt Add Add acot cosh acoth csc tan asech x7 Mul x0 x0 -1 sqrt Add 1 Add acot cosh acoth csc tan asech x7 Mul x0 x0 -1 Mul cosh acosh Add acot cosh acoth csc tan asech x7 Mul x0 x0 log cosh acosh Add acot cosh acoth csc tan asech x7 Mul x0 x0 