csch csc Mul asec Add coth x7 2 x0 
Mul Mul Mul -1 coth csc Mul asec Add coth x7 2 x0 csch csc Mul asec Add coth x7 2 x0 Mul Mul Mul -1 cot Mul asec Add coth x7 2 x0 csc Mul asec Add coth x7 2 x0 asec Add coth x7 2 