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