exp Add asin Add Mul Pow x0 Mul -4 x0 Mul x0 2.23606797749979 x0 asec x7 
Mul exp Add asin Add Mul Pow x0 Mul -4 x0 Mul x0 2.23606797749979 x0 asec x7 Mul Add Add Mul Mul x0 2.23606797749979 Mul Pow x0 Add Mul -4 x0 -1 Add Mul -4 x0 Mul Mul x0 log x0 -4 Mul Pow x0 Mul -4 x0 2.23606797749979 1 Pow sqrt Add 1 Mul -1 Mul Add Mul Pow x0 Mul -4 x0 Mul x0 2.23606797749979 x0 Add Mul Pow x0 Mul -4 x0 Mul x0 2.23606797749979 x0 -1 