sech Mul asec Add acosh exp sqrt asech x0 Mul x0 log x0 x5 
Mul Mul tanh Mul asec Add acosh exp sqrt asech x0 Mul x0 log x0 x5 Mul -1 sech Mul asec Add acosh exp sqrt asech x0 Mul x0 log x0 x5 Mul x5 Mul Add Mul Mul exp sqrt asech x0 Mul Pow Mul 2 sqrt asech x0 -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul sqrt Add exp sqrt asech x0 -1 sqrt Add 1 exp sqrt asech x0 -1 Add log x0 Mul x0 Pow x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add acosh exp sqrt asech x0 Mul x0 log x0 Add acosh exp sqrt asech x0 Mul x0 log x0 -1 Add acosh exp sqrt asech x0 Mul x0 log x0 Add acosh exp sqrt asech x0 Mul x0 log x0 -1 