Mul Mul coth x0 sec Add Pow csch x7 Mul x0 x0 -4 x0 
Add Mul x0 Add Mul sec Add Pow csch x7 Mul x0 x0 -4 Mul -1 Pow csch x0 2 Mul coth x0 Mul Mul tan Add Pow csch x7 Mul x0 x0 -4 sec Add Pow csch x7 Mul x0 x0 -4 Mul Pow csch x7 Add Mul x0 x0 -1 Mul Mul csch x7 log csch x7 Add x0 x0 Mul coth x0 sec Add Pow csch x7 Mul x0 x0 -4 