Mul x0 sec Pow Mul Mul 4 Mul Pow atan sqrt x7 Add x7 x0 Mul x0 pi x0 x5 
Add sec Pow Mul Mul 4 Mul Pow atan sqrt x7 Add x7 x0 Mul x0 pi x0 x5 Mul x0 Mul Mul tan Pow Mul Mul 4 Mul Pow atan sqrt x7 Add x7 x0 Mul x0 pi x0 x5 sec Pow Mul Mul 4 Mul Pow atan sqrt x7 Add x7 x0 Mul x0 pi x0 x5 Mul Pow Mul Mul 4 Mul Pow atan sqrt x7 Add x7 x0 Mul x0 pi x0 Add x5 -1 Mul x5 Add Mul x0 Mul 4 Add Mul Mul x0 pi Mul Pow atan sqrt x7 Add Add x7 x0 -1 Mul atan sqrt x7 log atan sqrt x7 Mul Pow atan sqrt x7 Add x7 x0 pi Mul 4 Mul Pow atan sqrt x7 Add x7 x0 Mul x0 pi 