Mul E Pow Mul Mul Mul x2 atan acos x4 Mul x0 csch x1 x0 coth x1 
Mul E Mul Pow Mul Mul Mul x2 atan acos x4 Mul x0 csch x1 x0 Add coth x1 -1 Mul coth x1 Add Mul x0 Mul Mul x2 atan acos x4 csch x1 Mul Mul x2 atan acos x4 Mul x0 csch x1 