Mul -3 Mul sqrt cos Pow cot acot Mul Mul x2 x1 2 x0 Mul x0 Add Mul -2 log Mul tan x0 x0 x0 
Mul -3 Add Mul Mul x0 Add Mul -2 log Mul tan x0 x0 x0 Mul Pow Mul 2 sqrt cos Pow cot acot Mul Mul x2 x1 2 x0 -1 Mul Mul -1 sin Pow cot acot Mul Mul x2 x1 2 x0 Mul Pow cot acot Mul Mul x2 x1 2 Add x0 -1 Mul cot acot Mul Mul x2 x1 2 log cot acot Mul Mul x2 x1 2 Mul sqrt cos Pow cot acot Mul Mul x2 x1 2 x0 Add Add Mul -2 log Mul tan x0 x0 x0 Mul x0 Add Mul -2 Mul Add Mul x0 Pow sec x0 2 tan x0 Pow Mul tan x0 x0 -1 1 