Add Add x3 x1 Add cot Pow 0.00390625000000000 asin x0 x0 
Add Mul Mul -1 Pow csc Pow 0.00390625000000000 asin x0 2 Mul Pow 0.00390625000000000 Add asin x0 -1 Mul -5.54127119447956 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 