acos Mul acsch exp Mul Mul x3 x0 Pow Pow Add 5 Mul x0 Pow log Add -2 x0 csch x0 x0 E Mul x0 E 
Mul -1 Mul Add Mul Mul x0 E Mul Mul -1 Mul exp Mul Mul x3 x0 Pow Pow Add 5 Mul x0 Pow log Add -2 x0 csch x0 x0 E Add Mul Pow Pow Add 5 Mul x0 Pow log Add -2 x0 csch x0 x0 E x3 Mul Mul x3 x0 Mul Pow Pow Add 5 Mul x0 Pow log Add -2 x0 csch x0 x0 Add E -1 Mul E Mul Pow Add 5 Mul x0 Pow log Add -2 x0 csch x0 Add x0 -1 Add Mul x0 Add Pow log Add -2 x0 csch x0 Mul x0 Mul Pow log Add -2 x0 Add csch x0 -1 Add Mul csch x0 Pow Add -2 x0 -1 Mul Mul log Add -2 x0 log log Add -2 x0 Mul Mul -1 coth x0 csch x0 Mul Add 5 Mul x0 Pow log Add -2 x0 csch x0 log Add 5 Mul x0 Pow log Add -2 x0 csch x0 Pow Mul Mul exp Mul Mul x3 x0 Pow Pow Add 5 Mul x0 Pow log Add -2 x0 csch x0 x0 E exp Mul Mul x3 x0 Pow Pow Add 5 Mul x0 Pow log Add -2 x0 csch x0 x0 E sqrt Add 1 Mul -1 Pow Mul exp Mul Mul x3 x0 Pow Pow Add 5 Mul x0 Pow log Add -2 x0 csch x0 x0 E exp Mul Mul x3 x0 Pow Pow Add 5 Mul x0 Pow log Add -2 x0 csch x0 x0 E -1 -1 Mul acsch exp Mul Mul x3 x0 Pow Pow Add 5 Mul x0 Pow log Add -2 x0 csch x0 x0 E E Pow sqrt Add 1 Mul -1 Mul Mul acsch exp Mul Mul x3 x0 Pow Pow Add 5 Mul x0 Pow log Add -2 x0 csch x0 x0 E Mul x0 E Mul acsch exp Mul Mul x3 x0 Pow Pow Add 5 Mul x0 Pow log Add -2 x0 csch x0 x0 E Mul x0 E -1 