Pow Mul Add x0 x0 pi sqrt Mul x0 atan x4 
Mul Pow Mul Add x0 x0 pi Add sqrt Mul x0 atan x4 -1 Add Mul sqrt Mul x0 atan x4 Mul pi 2 Mul Mul Mul Add x0 x0 pi log Mul Add x0 x0 pi Mul Pow Mul 2 sqrt Mul x0 atan x4 -1 atan x4 