acosh Add x6 Pow asec coth asec Mul Pow Mul x0 x6 x7 Mul x0 x0 -2 
Mul Mul Pow asec coth asec Mul Pow Mul x0 x6 x7 Mul x0 x0 3 Mul -2 Mul Mul Mul -1 Pow csch asec Mul Pow Mul x0 x6 x7 Mul x0 x0 2 Mul Add Mul Mul x0 x0 Mul Pow Mul x0 x6 Add x7 -1 Mul x7 x6 Mul Pow Mul x0 x6 x7 Add x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow Mul x0 x6 x7 Mul x0 x0 Mul Pow Mul x0 x6 x7 Mul x0 x0 -1 Mul Pow Mul x0 x6 x7 Mul x0 x0 Mul Pow Mul x0 x6 x7 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul coth asec Mul Pow Mul x0 x6 x7 Mul x0 x0 coth asec Mul Pow Mul x0 x6 x7 Mul x0 x0 -1 coth asec Mul Pow Mul x0 x6 x7 Mul x0 x0 coth asec Mul Pow Mul x0 x6 x7 Mul x0 x0 -1 Pow Mul sqrt Add Add x6 Pow asec coth asec Mul Pow Mul x0 x6 x7 Mul x0 x0 -2 -1 sqrt Add 1 Add x6 Pow asec coth asec Mul Pow Mul x0 x6 x7 Mul x0 x0 -2 -1 