Add acoth Mul x0 Mul acos Mul Mul coth x0 -1 tan x3 x0 E 
Mul Add Mul acos Mul Mul coth x0 -1 tan x3 x0 Mul x0 Add Mul x0 Mul -1 Mul Mul tan x3 Mul -1 Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul -1 Mul Mul Mul coth x0 -1 tan x3 Mul Mul coth x0 -1 tan x3 -1 acos Mul Mul coth x0 -1 tan x3 Pow Add 1 Mul -1 Mul Mul x0 Mul acos Mul Mul coth x0 -1 tan x3 x0 Mul x0 Mul acos Mul Mul coth x0 -1 tan x3 x0 -1 