Pow x3 Pow x1 Pow Pow x1 Pow x3 tan x0 Pow cot x0 atan acot Pow x0 Add x7 Mul 3 Mul x0 Mul x0 2 
Mul Pow x3 Add Pow x1 Pow Pow x1 Pow x3 tan x0 Pow cot x0 atan acot Pow x0 Add x7 Mul 3 Mul x0 Mul x0 2 -1 Mul Mul x3 log x3 Mul Pow x1 Add Pow Pow x1 Pow x3 tan x0 Pow cot x0 atan acot Pow x0 Add x7 Mul 3 Mul x0 Mul x0 2 -1 Mul Mul x1 log x1 Mul Pow Pow x1 Pow x3 tan x0 Add Pow cot x0 atan acot Pow x0 Add x7 Mul 3 Mul x0 Mul x0 2 -1 Add Mul Pow cot x0 atan acot Pow x0 Add x7 Mul 3 Mul x0 Mul x0 2 Mul Pow x1 Add Pow x3 tan x0 -1 Mul Mul x1 log x1 Mul Pow x3 Add tan x0 -1 Mul Mul x3 log x3 Pow sec x0 2 Mul Mul Pow x1 Pow x3 tan x0 log Pow x1 Pow x3 tan x0 Mul Pow cot x0 Add atan acot Pow x0 Add x7 Mul 3 Mul x0 Mul x0 2 -1 Add Mul atan acot Pow x0 Add x7 Mul 3 Mul x0 Mul x0 2 Mul -1 Pow csc x0 2 Mul Mul cot x0 log cot x0 Mul Mul -1 Mul Mul Pow x0 Add Add x7 Mul 3 Mul x0 Mul x0 2 -1 Add Add x7 Mul 3 Mul x0 Mul x0 2 Mul Mul x0 log x0 Mul 3 Add Mul x0 2 Mul x0 2 Pow Add 1 Mul Pow x0 Add x7 Mul 3 Mul x0 Mul x0 2 Pow x0 Add x7 Mul 3 Mul x0 Mul x0 2 -1 Pow Add 1 Mul acot Pow x0 Add x7 Mul 3 Mul x0 Mul x0 2 acot Pow x0 Add x7 Mul 3 Mul x0 Mul x0 2 -1 