Mul cosh Pow Add acoth x0 x0 exp tan x0 x0 
Add Mul x0 Mul sinh Pow Add acoth x0 x0 exp tan x0 Mul Pow Add acoth x0 x0 Add exp tan x0 -1 Add Mul exp tan x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Mul Mul Add acoth x0 x0 log Add acoth x0 x0 Mul exp tan x0 Pow sec x0 2 cosh Pow Add acoth x0 x0 exp tan x0 