Pow Add Pow sqrt acosh x0 x0 x0 Pow acot cosh x0 Mul acosh x1 x7 
Mul Pow Add Pow sqrt acosh x0 x0 x0 Add Pow acot cosh x0 Mul acosh x1 x7 -1 Add Mul Pow acot cosh x0 Mul acosh x1 x7 Add Mul Pow sqrt acosh x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt acosh x0 -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul sqrt acosh x0 log sqrt acosh x0 1 Mul Mul Add Pow sqrt acosh x0 x0 x0 log Add Pow sqrt acosh x0 x0 x0 Mul Pow acot cosh x0 Add Mul acosh x1 x7 -1 Mul Mul acosh x1 x7 Mul -1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 