Mul x1 atan Add Add Pow x4 acoth x0 Mul x5 Add Mul x0 acosh cosh x0 x0 asech x0 
Mul x1 Mul Add Add Mul Pow x4 Add acoth x0 -1 Mul Mul x4 log x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul x5 Add Add acosh cosh x0 Mul x0 Mul sinh x0 Pow Mul sqrt Add cosh x0 -1 sqrt Add 1 cosh x0 -1 1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul Add Add Pow x4 acoth x0 Mul x5 Add Mul x0 acosh cosh x0 x0 asech x0 Add Add Pow x4 acoth x0 Mul x5 Add Mul x0 acosh cosh x0 x0 asech x0 -1 