tan Mul exp x6 Pow cot atan x0 Mul x0 Mul x0 Mul Pow tan x5 x3 E 
Mul Pow sec Mul exp x6 Pow cot atan x0 Mul x0 Mul x0 Mul Pow tan x5 x3 E 2 Mul exp x6 Mul Pow cot atan x0 Add Mul x0 Mul x0 Mul Pow tan x5 x3 E -1 Add Mul Mul x0 Mul x0 Mul Pow tan x5 x3 E Mul Mul -1 Pow csc atan x0 2 Pow Add 1 Mul x0 x0 -1 Mul Mul cot atan x0 log cot atan x0 Add Mul x0 Mul Pow tan x5 x3 E Mul x0 Mul Pow tan x5 x3 E 