Pow cot Pow tan x7 2.23606797749979 Pow Mul -3 sec x6 x0 
Mul Pow cot Pow tan x7 2.23606797749979 Add Pow Mul -3 sec x6 x0 -1 Mul Mul cot Pow tan x7 2.23606797749979 log cot Pow tan x7 2.23606797749979 Mul Pow Mul -3 sec x6 Add x0 -1 Mul Mul -3 sec x6 log Mul -3 sec x6 