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