Mul -2 Mul Mul x0 Mul Mul 4 Add x3 x0 x0 Mul Pow x0 Mul coth x2 x0 sqrt Mul Mul tan x0 x0 pi 
Mul -2 Add Mul Mul Pow x0 Mul coth x2 x0 sqrt Mul Mul tan x0 x0 pi Add Mul Mul 4 Add x3 x0 x0 Mul x0 Add Mul x0 4 Mul 4 Add x3 x0 Mul Mul x0 Mul Mul 4 Add x3 x0 x0 Add Mul sqrt Mul Mul tan x0 x0 pi Mul Pow x0 Add Mul coth x2 x0 -1 Add Mul coth x2 x0 Mul Mul x0 log x0 coth x2 Mul Pow x0 Mul coth x2 x0 Mul Pow Mul 2 sqrt Mul Mul tan x0 x0 pi -1 Mul pi Add Mul x0 Pow sec x0 2 tan x0 