acosh asech Add Add Add x0 Add Pow x0 Mul x0 acosh Add x1 Pow x0 coth x3 5 x0 x0 
Mul Mul Add Add Add 1 Mul Pow x0 Add Mul x0 acosh Add x1 Pow x0 coth x3 -1 Add Mul x0 acosh Add x1 Pow x0 coth x3 Mul Mul x0 log x0 Add acosh Add x1 Pow x0 coth x3 Mul x0 Mul Mul Pow x0 Add coth x3 -1 coth x3 Pow Mul sqrt Add Add x1 Pow x0 coth x3 -1 sqrt Add 1 Add x1 Pow x0 coth x3 -1 1 1 Pow Mul Mul Add Add Add x0 Add Pow x0 Mul x0 acosh Add x1 Pow x0 coth x3 5 x0 x0 Add Add Add x0 Add Pow x0 Mul x0 acosh Add x1 Pow x0 coth x3 5 x0 x0 sqrt Add 1 Mul -1 Pow Mul Add Add Add x0 Add Pow x0 Mul x0 acosh Add x1 Pow x0 coth x3 5 x0 x0 Add Add Add x0 Add Pow x0 Mul x0 acosh Add x1 Pow x0 coth x3 5 x0 x0 -1 -1 Pow Mul sqrt Add asech Add Add Add x0 Add Pow x0 Mul x0 acosh Add x1 Pow x0 coth x3 5 x0 x0 -1 sqrt Add 1 asech Add Add Add x0 Add Pow x0 Mul x0 acosh Add x1 Pow x0 coth x3 5 x0 x0 -1 