Pow Mul cot tan x0 x5 Pow acos Pow Mul x0 Pow x7 x2 Mul x0 atan x0 3 
Mul Pow Mul cot tan x0 x5 Add Pow acos Pow Mul x0 Pow x7 x2 Mul x0 atan x0 3 -1 Add Mul Pow acos Pow Mul x0 Pow x7 x2 Mul x0 atan x0 3 Mul x5 Mul Mul -1 Pow csc tan x0 2 Pow sec x0 2 Mul Mul Mul cot tan x0 x5 log Mul cot tan x0 x5 Mul Pow acos Pow Mul x0 Pow x7 x2 Mul x0 atan x0 2 Mul 3 Mul -1 Mul Mul Pow Mul x0 Pow x7 x2 Add Mul x0 atan x0 -1 Add Mul Mul x0 atan x0 Pow x7 x2 Mul Mul Mul x0 Pow x7 x2 log Mul x0 Pow x7 x2 Add atan x0 Mul x0 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Mul x0 Pow x7 x2 Mul x0 atan x0 Pow Mul x0 Pow x7 x2 Mul x0 atan x0 -1 