Pow acosh Add x0 asec E Pow Pow x0 acosh Add x3 acoth sinh x0 4 
Mul Pow acosh Add x0 asec E Add Pow Pow x0 acosh Add x3 acoth sinh x0 4 -1 Add Mul Pow Pow x0 acosh Add x3 acoth sinh x0 4 Pow Mul sqrt Add Add x0 asec E -1 sqrt Add 1 Add x0 asec E -1 Mul Mul acosh Add x0 asec E log acosh Add x0 asec E Mul Pow Pow x0 acosh Add x3 acoth sinh x0 3 Mul 4 Mul Pow x0 Add acosh Add x3 acoth sinh x0 -1 Add acosh Add x3 acoth sinh x0 Mul Mul x0 log x0 Mul Mul cosh x0 Pow Add 1 Mul -1 Mul sinh x0 sinh x0 -1 Pow Mul sqrt Add Add x3 acoth sinh x0 -1 sqrt Add 1 Add x3 acoth sinh x0 -1 