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