log sqrt Mul -1 Mul x0 Pow csc sec Mul Pow acos x0 Add Mul 2 x1 Add x0 x0 x1 x3 
Mul Mul Pow Mul 2 sqrt Mul -1 Mul x0 Pow csc sec Mul Pow acos x0 Add Mul 2 x1 Add x0 x0 x1 x3 -1 Mul -1 Add Pow csc sec Mul Pow acos x0 Add Mul 2 x1 Add x0 x0 x1 x3 Mul x0 Mul Pow csc sec Mul Pow acos x0 Add Mul 2 x1 Add x0 x0 x1 Add x3 -1 Mul x3 Mul Mul Mul -1 cot sec Mul Pow acos x0 Add Mul 2 x1 Add x0 x0 x1 csc sec Mul Pow acos x0 Add Mul 2 x1 Add x0 x0 x1 Mul Mul tan Mul Pow acos x0 Add Mul 2 x1 Add x0 x0 x1 sec Mul Pow acos x0 Add Mul 2 x1 Add x0 x0 x1 Mul x1 Mul Pow acos x0 Add Add Mul 2 x1 Add x0 x0 -1 Add Mul Add Mul 2 x1 Add x0 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acos x0 log acos x0 2 Pow sqrt Mul -1 Mul x0 Pow csc sec Mul Pow acos x0 Add Mul 2 x1 Add x0 x0 x1 x3 -1 