Pow acoth x0 Pow Pow Mul x0 csc tan x1 x0 Mul Add E x0 Mul Add x3 x2 Mul coth x0 pi 
Mul Pow acoth x0 Add Pow Pow Mul x0 csc tan x1 x0 Mul Add E x0 Mul Add x3 x2 Mul coth x0 pi -1 Add Mul Pow Pow Mul x0 csc tan x1 x0 Mul Add E x0 Mul Add x3 x2 Mul coth x0 pi Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Mul Pow Pow Mul x0 csc tan x1 x0 Add Mul Add E x0 Mul Add x3 x2 Mul coth x0 pi -1 Add Mul Mul Add E x0 Mul Add x3 x2 Mul coth x0 pi Mul Pow Mul x0 csc tan x1 Add x0 -1 Add Mul x0 csc tan x1 Mul Mul x0 csc tan x1 log Mul x0 csc tan x1 Mul Mul Pow Mul x0 csc tan x1 x0 log Pow Mul x0 csc tan x1 x0 Add Mul Add x3 x2 Mul coth x0 pi Mul Add E x0 Mul Add x3 x2 Mul pi Mul -1 Pow csch x0 2 