csch csch cot Mul x0 Mul x5 x3 
Mul Mul Mul -1 coth csch cot Mul x0 Mul x5 x3 csch csch cot Mul x0 Mul x5 x3 Mul Mul Mul -1 coth cot Mul x0 Mul x5 x3 csch cot Mul x0 Mul x5 x3 Mul Mul -1 Pow csc Mul x0 Mul x5 x3 2 Mul x5 x3 