Add x0 Add 0.200000000000000 asec Mul Mul acos Mul x0 x2 Pow x6 x0 atan x0 
Add 1 Mul Add Mul atan x0 Add Mul Pow x6 x0 Mul -1 Mul x2 Pow sqrt Add 1 Mul -1 Mul Mul x0 x2 Mul x0 x2 -1 Mul acos Mul x0 x2 Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul Mul acos Mul x0 x2 Pow x6 x0 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul acos Mul x0 x2 Pow x6 x0 atan x0 Mul Mul acos Mul x0 x2 Pow x6 x0 atan x0 -1 Mul Mul acos Mul x0 x2 Pow x6 x0 atan x0 Mul Mul acos Mul x0 x2 Pow x6 x0 atan x0 -1 