cot Mul Mul acos Mul x0 Add -3 acos x0 4 Mul Mul x5 x0 sqrt x0 
Mul Mul -1 Pow csc Mul Mul acos Mul x0 Add -3 acos x0 4 Mul Mul x5 x0 sqrt x0 2 Add Mul Mul Mul x5 x0 sqrt x0 Mul 4 Mul -1 Mul Add Add -3 acos x0 Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Add -3 acos x0 Mul x0 Add -3 acos x0 -1 Mul Mul acos Mul x0 Add -3 acos x0 4 Add Mul sqrt x0 x5 Mul Mul x5 x0 Pow Mul 2 sqrt x0 -1 