atan acot acot Add Mul Pow Mul cot x0 -4 x7 x0 -2 
Mul Mul -1 Mul Mul -1 Mul Add Mul x0 Mul Pow Mul cot x0 -4 Add x7 -1 Mul x7 Mul -4 Mul -1 Pow csc x0 2 Pow Mul cot x0 -4 x7 Pow Add 1 Mul Add Mul Pow Mul cot x0 -4 x7 x0 -2 Add Mul Pow Mul cot x0 -4 x7 x0 -2 -1 Pow Add 1 Mul acot Add Mul Pow Mul cot x0 -4 x7 x0 -2 acot Add Mul Pow Mul cot x0 -4 x7 x0 -2 -1 Pow Add 1 Mul acot acot Add Mul Pow Mul cot x0 -4 x7 x0 -2 acot acot Add Mul Pow Mul cot x0 -4 x7 x0 -2 -1 