coth Mul Pow sec Mul 4 Add x0 x0 coth x1 x0 
Mul Mul -1 Pow csch Mul Pow sec Mul 4 Add x0 x0 coth x1 x0 2 Add Mul x0 Mul Pow sec Mul 4 Add x0 x0 Add coth x1 -1 Mul coth x1 Mul Mul tan Mul 4 Add x0 x0 sec Mul 4 Add x0 x0 6 Pow sec Mul 4 Add x0 x0 coth x1 