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