Mul x0 Mul Add csch Pow x0 x1 Pow Mul atan acot Pow Mul x0 Pow Add x0 x0 x0 x0 x3 x4 Mul x0 sec E 
Add Mul Add csch Pow x0 x1 Pow Mul atan acot Pow Mul x0 Pow Add x0 x0 x0 x0 x3 x4 Mul x0 sec E Mul x0 Add Mul Mul x0 sec E Add Mul Mul Mul -1 coth Pow x0 x1 csch Pow x0 x1 Mul Pow x0 Add x1 -1 x1 Mul Pow Mul atan acot Pow Mul x0 Pow Add x0 x0 x0 x0 x3 Add x4 -1 Mul x4 Mul x3 Mul Mul -1 Mul Mul Pow Mul x0 Pow Add x0 x0 x0 Add x0 -1 Add Mul x0 Add Pow Add x0 x0 x0 Mul x0 Mul Pow Add x0 x0 Add x0 -1 Add Mul x0 2 Mul Add x0 x0 log Add x0 x0 Mul Mul x0 Pow Add x0 x0 x0 log Mul x0 Pow Add x0 x0 x0 Pow Add 1 Mul Pow Mul x0 Pow Add x0 x0 x0 x0 Pow Mul x0 Pow Add x0 x0 x0 x0 -1 Pow Add 1 Mul acot Pow Mul x0 Pow Add x0 x0 x0 x0 acot Pow Mul x0 Pow Add x0 x0 x0 x0 -1 Mul Add csch Pow x0 x1 Pow Mul atan acot Pow Mul x0 Pow Add x0 x0 x0 x0 x3 x4 sec E 