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