Pow Mul x0 -4 asin Add x0 sec acos x5 
Mul Pow Mul x0 -4 Add asin Add x0 sec acos x5 -1 Add Mul asin Add x0 sec acos x5 -4 Mul Mul Mul x0 -4 log Mul x0 -4 Pow sqrt Add 1 Mul -1 Mul Add x0 sec acos x5 Add x0 sec acos x5 -1 