sech tan asech Add Mul sqrt acot cosh E Pow x0 Mul x6 x7 sech x0 
Mul Mul tanh tan asech Add Mul sqrt acot cosh E Pow x0 Mul x6 x7 sech x0 Mul -1 sech tan asech Add Mul sqrt acot cosh E Pow x0 Mul x6 x7 sech x0 Mul Pow sec asech Add Mul sqrt acot cosh E Pow x0 Mul x6 x7 sech x0 2 Mul Add Mul sqrt acot cosh E Mul Pow x0 Add Mul x6 x7 -1 Mul x6 x7 Mul tanh x0 Mul -1 sech x0 Pow Mul Mul Add Mul sqrt acot cosh E Pow x0 Mul x6 x7 sech x0 Add Mul sqrt acot cosh E Pow x0 Mul x6 x7 sech x0 sqrt Add 1 Mul -1 Pow Mul Add Mul sqrt acot cosh E Pow x0 Mul x6 x7 sech x0 Add Mul sqrt acot cosh E Pow x0 Mul x6 x7 sech x0 -1 -1 