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