Add Add coth Mul atanh x0 Add Mul coth atanh tan x0 x0 x0 x0 2 
Add Mul Mul -1 Pow csch Mul atanh x0 Add Mul coth atanh tan x0 x0 x0 2 Add Mul Add Mul coth atanh tan x0 x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Add Add Mul x0 Mul Mul -1 Pow csch atanh tan x0 2 Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul tan x0 tan x0 -1 coth atanh tan x0 1 1 