Pow x6 coth tan Add Add x0 Mul x5 x0 3 
Mul Pow x6 Add coth tan Add Add x0 Mul x5 x0 3 -1 Mul Mul x6 log x6 Mul Mul -1 Pow csch tan Add Add x0 Mul x5 x0 3 2 Mul Pow sec Add Add x0 Mul x5 x0 3 2 Add 1 x5 