tan cot Pow x4 Mul coth tan x0 x2 
Mul Pow sec cot Pow x4 Mul coth tan x0 x2 2 Mul Mul -1 Pow csc Pow x4 Mul coth tan x0 x2 2 Mul Pow x4 Add Mul coth tan x0 x2 -1 Mul Mul x4 log x4 Mul x2 Mul Mul -1 Pow csch tan x0 2 Pow sec x0 2 