Mul Mul Mul asinh Mul x0 4 x0 Mul x0 asec pi Mul x0 acos x6 
Add Mul Mul x0 acos x6 Add Mul Mul x0 asec pi Add Mul x0 Mul 4 Pow sqrt Add 1 Mul Mul x0 4 Mul x0 4 -1 asinh Mul x0 4 Mul Mul asinh Mul x0 4 x0 asec pi Mul Mul Mul asinh Mul x0 4 x0 Mul x0 asec pi acos x6 