Mul Pow Mul 3 Mul Pow x0 atan x0 Mul tan x4 x0 0.841470984807897 coth x0 
Add Mul coth x0 Mul Pow Mul 3 Mul Pow x0 atan x0 Mul tan x4 x0 -0.158529015192103 Mul 0.841470984807897 Mul 3 Add Mul Mul tan x4 x0 Mul Pow x0 Add atan x0 -1 Add atan x0 Mul Mul x0 log x0 Pow Add 1 Mul x0 x0 -1 Mul Pow x0 atan x0 tan x4 Mul Pow Mul 3 Mul Pow x0 atan x0 Mul tan x4 x0 0.841470984807897 Mul -1 Pow csch x0 2 