asec Pow x3 atan Add atan Add log acos Mul x0 pi 3 Mul -4 Add x0 x0 
Mul Mul Pow x3 Add atan Add atan Add log acos Mul x0 pi 3 Mul -4 Add x0 x0 -1 Mul Mul x3 log x3 Mul Add Mul Mul Mul -1 Mul pi Pow sqrt Add 1 Mul -1 Mul Mul x0 pi Mul x0 pi -1 Pow acos Mul x0 pi -1 Pow Add 1 Mul Add log acos Mul x0 pi 3 Add log acos Mul x0 pi 3 -1 2 Pow Add 1 Mul Add atan Add log acos Mul x0 pi 3 Mul -4 Add x0 x0 Add atan Add log acos Mul x0 pi 3 Mul -4 Add x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x3 atan Add atan Add log acos Mul x0 pi 3 Mul -4 Add x0 x0 Pow x3 atan Add atan Add log acos Mul x0 pi 3 Mul -4 Add x0 x0 -1 Pow x3 atan Add atan Add log acos Mul x0 pi 3 Mul -4 Add x0 x0 Pow x3 atan Add atan Add log acos Mul x0 pi 3 Mul -4 Add x0 x0 -1 