Mul Pow coth x2 x0 Add Add csc x0 Pow x0 tan x0 x0 
Add Mul Add Add csc x0 Pow x0 tan x0 x0 Mul Pow coth x2 Add x0 -1 Mul coth x2 log coth x2 Mul Pow coth x2 x0 Add Add Mul Mul -1 cot x0 csc x0 Mul Pow x0 Add tan x0 -1 Add tan x0 Mul Mul x0 log x0 Pow sec x0 2 1 