Add Pow coth tan x0 Mul Mul Mul csch x2 0.000976562500000000 -2 x0 x1 
Mul Pow coth tan x0 Add Mul Mul Mul csch x2 0.000976562500000000 -2 x0 -1 Add Mul Mul Mul Mul csch x2 0.000976562500000000 -2 x0 Mul Mul -1 Pow csch tan x0 2 Pow sec x0 2 Mul Mul coth tan x0 log coth tan x0 Mul Mul csch x2 0.000976562500000000 -2 