Mul Add x0 tan Add -1 Mul Mul x0 Add Add x0 x0 Mul x0 -1 acos Mul Mul x0 -1 4 E 
Mul E Add 1 Mul Pow sec Add -1 Mul Mul x0 Add Add x0 x0 Mul x0 -1 acos Mul Mul x0 -1 4 2 Add Mul acos Mul Mul x0 -1 4 Add Add Add x0 x0 Mul x0 -1 x0 Mul Mul x0 Add Add x0 x0 Mul x0 -1 Mul -1 Mul 3 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 -1 4 Mul Mul x0 -1 4 -1 