Add Pow x0 asech Pow x5 atanh x0 Pow Pow x0 cosh x6 Add Mul acosh x0 acoth E 4 
Add Mul Pow x0 Add asech Pow x5 atanh x0 -1 Add asech Pow x5 atanh x0 Mul Mul x0 log x0 Mul Mul Pow x5 Add atanh x0 -1 Mul Mul x5 log x5 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Pow x5 atanh x0 Pow x5 atanh x0 sqrt Add 1 Mul -1 Pow Mul Pow x5 atanh x0 Pow x5 atanh x0 -1 -1 Mul Pow Pow x0 cosh x6 Add Add Mul acosh x0 acoth E 4 -1 Add Mul Add Mul acosh x0 acoth E 4 Mul Pow x0 Add cosh x6 -1 cosh x6 Mul Mul Pow x0 cosh x6 log Pow x0 cosh x6 Mul acoth E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 