Mul x0 asec Pow cot Mul x3 sqrt Mul Mul csch x0 x5 x0 Mul x5 x0 
Add asec Pow cot Mul x3 sqrt Mul Mul csch x0 x5 x0 Mul x5 x0 Mul x0 Mul Mul Pow cot Mul x3 sqrt Mul Mul csch x0 x5 x0 Add Mul x5 x0 -1 Add Mul Mul x5 x0 Mul Mul -1 Pow csc Mul x3 sqrt Mul Mul csch x0 x5 x0 2 Mul x3 Mul Pow Mul 2 sqrt Mul Mul csch x0 x5 x0 -1 Add Mul x0 Mul x5 Mul Mul -1 coth x0 csch x0 Mul csch x0 x5 Mul Mul cot Mul x3 sqrt Mul Mul csch x0 x5 x0 log cot Mul x3 sqrt Mul Mul csch x0 x5 x0 x5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow cot Mul x3 sqrt Mul Mul csch x0 x5 x0 Mul x5 x0 Pow cot Mul x3 sqrt Mul Mul csch x0 x5 x0 Mul x5 x0 -1 Pow cot Mul x3 sqrt Mul Mul csch x0 x5 x0 Mul x5 x0 Pow cot Mul x3 sqrt Mul Mul csch x0 x5 x0 Mul x5 x0 -1 