sec Mul Mul x1 Add sech x0 Add x6 coth x0 coth x1 
Mul Mul tan Mul Mul x1 Add sech x0 Add x6 coth x0 coth x1 sec Mul Mul x1 Add sech x0 Add x6 coth x0 coth x1 Mul coth x1 Mul x1 Add Mul tanh x0 Mul -1 sech x0 Mul -1 Pow csch x0 2 