Pow x0 csc csch Mul x0 Add x6 3 
Mul Pow x0 Add csc csch Mul x0 Add x6 3 -1 Add csc csch Mul x0 Add x6 3 Mul Mul x0 log x0 Mul Mul Mul -1 cot csch Mul x0 Add x6 3 csc csch Mul x0 Add x6 3 Mul Mul Mul -1 coth Mul x0 Add x6 3 csch Mul x0 Add x6 3 Add x6 3 