Mul asec x0 Pow Add Pow x0 x0 Add x0 acot asin Add x0 Pow x0 x0 Mul x0 Mul cos x6 Mul Mul 4 x0 4 
Add Mul Pow Add Pow x0 x0 Add x0 acot asin Add x0 Pow x0 x0 Mul x0 Mul cos x6 Mul Mul 4 x0 4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul asec x0 Mul Pow Add Pow x0 x0 Add x0 acot asin Add x0 Pow x0 x0 Add Mul x0 Mul cos x6 Mul Mul 4 x0 4 -1 Add Mul Mul x0 Mul cos x6 Mul Mul 4 x0 4 Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add 1 Mul -1 Mul Mul Add 1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow sqrt Add 1 Mul -1 Mul Add x0 Pow x0 x0 Add x0 Pow x0 x0 -1 Pow Add 1 Mul asin Add x0 Pow x0 x0 asin Add x0 Pow x0 x0 -1 Mul Mul Add Pow x0 x0 Add x0 acot asin Add x0 Pow x0 x0 log Add Pow x0 x0 Add x0 acot asin Add x0 Pow x0 x0 Add Mul cos x6 Mul Mul 4 x0 4 Mul x0 Mul cos x6 8 