Mul 5 Add pi Mul tan Mul -4 x0 Pow x0 sqrt Pow x0 pi 
Mul 5 Add Mul Pow x0 sqrt Pow x0 pi Mul Pow sec Mul -4 x0 2 -4 Mul tan Mul -4 x0 Mul Pow x0 Add sqrt Pow x0 pi -1 Add sqrt Pow x0 pi Mul Mul x0 log x0 Mul Pow Mul 2 sqrt Pow x0 pi -1 Mul Pow x0 Add pi -1 pi 