Mul x0 Mul Mul 5 Mul csch Pow x3 x0 tan x0 x2 
Add Mul Mul 5 Mul csch Pow x3 x0 tan x0 x2 Mul x0 Mul x2 Mul 5 Add Mul tan x0 Mul Mul Mul -1 coth Pow x3 x0 csch Pow x3 x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul csch Pow x3 x0 Pow sec x0 2 