Mul acos Add Mul Mul x0 x0 2 Add csc x3 Add x0 x0 x5 
Mul x5 Mul -1 Mul Add Mul 2 Add x0 x0 2 Pow sqrt Add 1 Mul -1 Mul Add Mul Mul x0 x0 2 Add csc x3 Add x0 x0 Add Mul Mul x0 x0 2 Add csc x3 Add x0 x0 -1 