Add Mul Add Add -4 Pow sqrt Pow acos csch x0 E Pow x3 x0 x4 csch x2 Mul x1 4 
Mul csch x2 Mul Pow sqrt Pow acos csch x0 E Add Pow x3 x0 -1 Add Mul Pow x3 x0 Mul Pow Mul 2 sqrt Pow acos csch x0 E -1 Mul Pow acos csch x0 Add E -1 Mul E Mul -1 Mul Mul Mul -1 coth x0 csch x0 Pow sqrt Add 1 Mul -1 Mul csch x0 csch x0 -1 Mul Mul sqrt Pow acos csch x0 E log sqrt Pow acos csch x0 E Mul Pow x3 Add x0 -1 Mul x3 log x3 