csc Mul x0 Pow acot Pow x0 csc x7 x4 
Mul Mul Mul -1 cot Mul x0 Pow acot Pow x0 csc x7 x4 csc Mul x0 Pow acot Pow x0 csc x7 x4 Add Pow acot Pow x0 csc x7 x4 Mul x0 Mul Pow acot Pow x0 csc x7 Add x4 -1 Mul x4 Mul -1 Mul Mul Pow x0 Add csc x7 -1 csc x7 Pow Add 1 Mul Pow x0 csc x7 Pow x0 csc x7 -1 