Mul Mul csch Mul atan acos Pow csch x0 acot sin Mul x0 Mul x1 Mul asin csch x0 -1 x3 x0 E 
Mul E Add Mul x0 Mul Mul Mul -1 coth Mul atan acos Pow csch x0 acot sin Mul x0 Mul x1 Mul asin csch x0 -1 x3 csch Mul atan acos Pow csch x0 acot sin Mul x0 Mul x1 Mul asin csch x0 -1 x3 Mul x3 Mul Mul -1 Mul Mul Pow csch x0 Add acot sin Mul x0 Mul x1 Mul asin csch x0 -1 -1 Add Mul acot sin Mul x0 Mul x1 Mul asin csch x0 -1 Mul Mul -1 coth x0 csch x0 Mul Mul csch x0 log csch x0 Mul -1 Mul Mul cos Mul x0 Mul x1 Mul asin csch x0 -1 Add Mul x1 Mul asin csch x0 -1 Mul x0 Mul x1 Mul -1 Mul Mul Mul -1 coth x0 csch x0 Pow sqrt Add 1 Mul -1 Mul csch x0 csch x0 -1 Pow Add 1 Mul sin Mul x0 Mul x1 Mul asin csch x0 -1 sin Mul x0 Mul x1 Mul asin csch x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Pow csch x0 acot sin Mul x0 Mul x1 Mul asin csch x0 -1 Pow csch x0 acot sin Mul x0 Mul x1 Mul asin csch x0 -1 -1 Pow Add 1 Mul acos Pow csch x0 acot sin Mul x0 Mul x1 Mul asin csch x0 -1 acos Pow csch x0 acot sin Mul x0 Mul x1 Mul asin csch x0 -1 -1 csch Mul atan acos Pow csch x0 acot sin Mul x0 Mul x1 Mul asin csch x0 -1 x3 