Pow asech x6 Mul atan Mul tan x0 x0 x0 
Mul Pow asech x6 Add Mul atan Mul tan x0 x0 x0 -1 Mul Mul asech x6 log asech x6 Add Mul x0 Mul Add Mul x0 Pow sec x0 2 tan x0 Pow Add 1 Mul Mul tan x0 x0 Mul tan x0 x0 -1 atan Mul tan x0 x0 