Mul Pow Mul Add cosh Mul x0 Mul csch x6 x3 x0 Pow Pow Mul sqrt x0 Add x5 x0 x2 x0 Add x6 x0 acoth x5 
Mul acoth x5 Mul Pow Mul Add cosh Mul x0 Mul csch x6 x3 x0 Pow Pow Mul sqrt x0 Add x5 x0 x2 x0 Add Add x6 x0 -1 Add Mul Add x6 x0 Add Mul Pow Pow Mul sqrt x0 Add x5 x0 x2 x0 Add Mul sinh Mul x0 Mul csch x6 x3 Mul csch x6 x3 1 Mul Add cosh Mul x0 Mul csch x6 x3 x0 Mul Pow Pow Mul sqrt x0 Add x5 x0 x2 Add x0 -1 Add Mul x0 Mul Pow Mul sqrt x0 Add x5 x0 Add x2 -1 Mul x2 Add Mul Add x5 x0 Pow Mul 2 sqrt x0 -1 sqrt x0 Mul Pow Mul sqrt x0 Add x5 x0 x2 log Pow Mul sqrt x0 Add x5 x0 x2 Mul Mul Add cosh Mul x0 Mul csch x6 x3 x0 Pow Pow Mul sqrt x0 Add x5 x0 x2 x0 log Mul Add cosh Mul x0 Mul csch x6 x3 x0 Pow Pow Mul sqrt x0 Add x5 x0 x2 x0 