Mul x0 Pow Pow x2 acosh x0 acosh Add Mul Pow acoth Mul x1 asec x6 x0 x6 x0 
Add Pow Pow x2 acosh x0 acosh Add Mul Pow acoth Mul x1 asec x6 x0 x6 x0 Mul x0 Mul Pow Pow x2 acosh x0 Add acosh Add Mul Pow acoth Mul x1 asec x6 x0 x6 x0 -1 Add Mul acosh Add Mul Pow acoth Mul x1 asec x6 x0 x6 x0 Mul Pow x2 Add acosh x0 -1 Mul Mul x2 log x2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Pow x2 acosh x0 log Pow x2 acosh x0 Mul Add Mul x6 Mul Pow acoth Mul x1 asec x6 Add x0 -1 Mul acoth Mul x1 asec x6 log acoth Mul x1 asec x6 1 Pow Mul sqrt Add Add Mul Pow acoth Mul x1 asec x6 x0 x6 x0 -1 sqrt Add 1 Add Mul Pow acoth Mul x1 asec x6 x0 x6 x0 -1 