Mul x0 cot Add Pow acot Add pi Pow -4 x3 tan x0 x7 
Add cot Add Pow acot Add pi Pow -4 x3 tan x0 x7 Mul x0 Mul Mul -1 Pow csc Add Pow acot Add pi Pow -4 x3 tan x0 x7 2 Mul Pow acot Add pi Pow -4 x3 Add tan x0 -1 Mul Mul acot Add pi Pow -4 x3 log acot Add pi Pow -4 x3 Pow sec x0 2 