Pow Add Pow acot Mul x2 x0 Pow acos cot x0 x0 Pow sec x0 x1 16 
Mul Pow Add Pow acot Mul x2 x0 Pow acos cot x0 x0 Pow sec x0 x1 15 Mul 16 Add Mul Pow acot Mul x2 x0 Add Pow acos cot x0 x0 -1 Add Mul Pow acos cot x0 x0 Mul -1 Mul x2 Pow Add 1 Mul Mul x2 x0 Mul x2 x0 -1 Mul Mul acot Mul x2 x0 log acot Mul x2 x0 Mul Pow acos cot x0 Add x0 -1 Add Mul x0 Mul -1 Mul Mul -1 Pow csc x0 2 Pow sqrt Add 1 Mul -1 Mul cot x0 cot x0 -1 Mul acos cot x0 log acos cot x0 Mul Pow sec x0 Add x1 -1 Mul x1 Mul tan x0 sec x0 