cot Pow Mul x0 Mul x0 asec x4 Pow csch x1 x0 
Mul Mul -1 Pow csc Pow Mul x0 Mul x0 asec x4 Pow csch x1 x0 2 Mul Pow Mul x0 Mul x0 asec x4 Add Pow csch x1 x0 -1 Add Mul Pow csch x1 x0 Add Mul x0 asec x4 Mul x0 asec x4 Mul Mul Mul x0 Mul x0 asec x4 log Mul x0 Mul x0 asec x4 Mul Pow csch x1 Add x0 -1 Mul csch x1 log csch x1 