Mul exp Mul coth Add atanh asec x0 x7 x0 asec Pow Pow x5 x0 x6 
Add Mul asec Pow Pow x5 x0 x6 Mul exp Mul coth Add atanh asec x0 x7 x0 Add Mul x0 Mul Mul -1 Pow csch Add atanh asec x0 x7 2 Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul -1 Mul asec x0 asec x0 -1 coth Add atanh asec x0 x7 Mul exp Mul coth Add atanh asec x0 x7 x0 Mul Mul Pow Pow x5 x0 Add x6 -1 Mul x6 Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Pow x5 x0 x6 Pow Pow x5 x0 x6 -1 Pow Pow x5 x0 x6 Pow Pow x5 x0 x6 -1 