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