asech exp Pow Pow Mul Pow Pow log x7 x0 Mul x0 x0 asec x2 cosh x0 Mul x0 x2 
Mul Mul exp Pow Pow Mul Pow Pow log x7 x0 Mul x0 x0 asec x2 cosh x0 Mul x0 x2 Mul Pow Pow Mul Pow Pow log x7 x0 Mul x0 x0 asec x2 cosh x0 Add Mul x0 x2 -1 Add Mul Mul x0 x2 Mul Pow Mul Pow Pow log x7 x0 Mul x0 x0 asec x2 Add cosh x0 -1 Add Mul cosh x0 Mul asec x2 Mul Pow Pow log x7 x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Pow log x7 Add x0 -1 Mul log x7 log log x7 Mul Mul Pow log x7 x0 log Pow log x7 x0 Add x0 x0 Mul Mul Mul Pow Pow log x7 x0 Mul x0 x0 asec x2 log Mul Pow Pow log x7 x0 Mul x0 x0 asec x2 sinh x0 Mul Mul Pow Mul Pow Pow log x7 x0 Mul x0 x0 asec x2 cosh x0 log Pow Mul Pow Pow log x7 x0 Mul x0 x0 asec x2 cosh x0 x2 Pow Mul Mul exp Pow Pow Mul Pow Pow log x7 x0 Mul x0 x0 asec x2 cosh x0 Mul x0 x2 exp Pow Pow Mul Pow Pow log x7 x0 Mul x0 x0 asec x2 cosh x0 Mul x0 x2 sqrt Add 1 Mul -1 Pow Mul exp Pow Pow Mul Pow Pow log x7 x0 Mul x0 x0 asec x2 cosh x0 Mul x0 x2 exp Pow Pow Mul Pow Pow log x7 x0 Mul x0 x0 asec x2 cosh x0 Mul x0 x2 -1 -1 