Add E coth Pow Add x0 x0 Mul tan x0 -4 
Mul Mul -1 Pow csch Pow Add x0 x0 Mul tan x0 -4 2 Mul Pow Add x0 x0 Add Mul tan x0 -4 -1 Add Mul Mul tan x0 -4 2 Mul Mul Add x0 x0 log Add x0 x0 Mul -4 Pow sec x0 2 