coth Add Mul Add -4 pi Pow coth x0 tan x0 acoth Mul Add 2 x4 x0 
Mul Mul -1 Pow csch Add Mul Add -4 pi Pow coth x0 tan x0 acoth Mul Add 2 x4 x0 2 Add Mul Add -4 pi Mul Pow coth x0 Add tan x0 -1 Add Mul tan x0 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Pow sec x0 2 Mul Add 2 x4 Pow Add 1 Mul -1 Mul Mul Add 2 x4 x0 Mul Add 2 x4 x0 -1 