Mul x0 Add Mul Add Add x0 Add x0 -0.958924274663138 Add x0 x0 9 acos Add x0 Add 3 sqrt csc x0 
Add Add Mul Add Add x0 Add x0 -0.958924274663138 Add x0 x0 9 acos Add x0 Add 3 sqrt csc x0 Mul x0 Add 13 Mul -1 Mul Add 1 Mul Pow Mul 2 sqrt csc x0 -1 Mul Mul -1 cot x0 csc x0 Pow sqrt Add 1 Mul -1 Mul Add x0 Add 3 sqrt csc x0 Add x0 Add 3 sqrt csc x0 -1 