Mul x0 Mul Add tan Pow x0 Add x3 x0 atan Mul x0 pi acos Add -4 x0 
Add Mul Add tan Pow x0 Add x3 x0 atan Mul x0 pi acos Add -4 x0 Mul x0 Add Mul acos Add -4 x0 Add Mul Pow sec Pow x0 Add x3 x0 2 Mul Pow x0 Add Add x3 x0 -1 Add Add x3 x0 Mul x0 log x0 Mul pi Pow Add 1 Mul Mul x0 pi Mul x0 pi -1 Mul Add tan Pow x0 Add x3 x0 atan Mul x0 pi Mul -1 Pow sqrt Add 1 Mul -1 Mul Add -4 x0 Add -4 x0 -1 