atan Mul -1 Pow Pow coth Add 8 tan x0 x0 -4 
Mul Mul -1 Mul Pow Pow coth Add 8 tan x0 x0 5 Mul -4 Mul Pow coth Add 8 tan x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch Add 8 tan x0 2 Pow sec x0 2 Mul coth Add 8 tan x0 log coth Add 8 tan x0 Pow Add 1 Mul Mul -1 Pow Pow coth Add 8 tan x0 x0 -4 Mul -1 Pow Pow coth Add 8 tan x0 x0 -4 -1 