Pow x0 Pow acos Add log tan acos Add x3 x4 x0 Pow Mul coth Pow acsch x0 E x3 E 
Mul Pow x0 Add Pow acos Add log tan acos Add x3 x4 x0 Pow Mul coth Pow acsch x0 E x3 E -1 Add Pow acos Add log tan acos Add x3 x4 x0 Pow Mul coth Pow acsch x0 E x3 E Mul Mul x0 log x0 Mul Pow acos Add log tan acos Add x3 x4 x0 Add Pow Mul coth Pow acsch x0 E x3 E -1 Add Mul Pow Mul coth Pow acsch x0 E x3 E Mul -1 Pow sqrt Add 1 Mul -1 Mul Add log tan acos Add x3 x4 x0 Add log tan acos Add x3 x4 x0 -1 Mul Mul acos Add log tan acos Add x3 x4 x0 log acos Add log tan acos Add x3 x4 x0 Mul Pow Mul coth Pow acsch x0 E x3 Add E -1 Mul E Mul x3 Mul Mul -1 Pow csch Pow acsch x0 E 2 Mul Pow acsch x0 Add E -1 Mul E Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 