Add Pow pi sec x0 Pow Pow coth x6 x0 exp x0 
Add Mul Pow pi Add sec x0 -1 Mul Mul pi log pi Mul tan x0 sec x0 Mul Pow Pow coth x6 x0 Add exp x0 -1 Add Mul exp x0 Mul Pow coth x6 Add x0 -1 Mul coth x6 log coth x6 Mul Mul Pow coth x6 x0 log Pow coth x6 x0 exp x0 