Mul Mul Mul Mul x0 x0 x6 x0 Add cot Add Mul Add 2 Pow x7 x5 x0 acos x7 x0 
Add Mul Add cot Add Mul Add 2 Pow x7 x5 x0 acos x7 x0 Add Mul x0 Mul x6 Add x0 x0 Mul Mul x0 x0 x6 Mul Mul Mul Mul x0 x0 x6 x0 Add Mul Mul -1 Pow csc Add Mul Add 2 Pow x7 x5 x0 acos x7 2 Add 2 Pow x7 x5 1 