Add Add Pow Pow csch Mul tan x0 x0 atanh E Add x4 x0 Add E x7 Pow x0 x0 
Add Mul Pow Pow csch Mul tan x0 x0 atanh E Add Add x4 x0 -1 Add Mul Add x4 x0 Mul Pow csch Mul tan x0 x0 Add atanh E -1 Mul atanh E Mul Mul Mul -1 coth Mul tan x0 x0 csch Mul tan x0 x0 Add Mul x0 Pow sec x0 2 tan x0 Mul Pow csch Mul tan x0 x0 atanh E log Pow csch Mul tan x0 x0 atanh E Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 