Pow Pow Add x0 1 acsc acos x3 sqrt x0 
Mul Pow Pow Add x0 1 acsc acos x3 Add sqrt x0 -1 Add Mul sqrt x0 Mul Pow Add x0 1 Add acsc acos x3 -1 acsc acos x3 Mul Mul Pow Add x0 1 acsc acos x3 log Pow Add x0 1 acsc acos x3 Pow Mul 2 sqrt x0 -1 