Pow x0 Add Pow Add Add x7 Add Add x0 4 pi Mul asec acot x7 x0 2 x2 
Mul Pow x0 Add Add Pow Add Add x7 Add Add x0 4 pi Mul asec acot x7 x0 2 x2 -1 Add Add Pow Add Add x7 Add Add x0 4 pi Mul asec acot x7 x0 2 x2 Mul Mul x0 log x0 Mul Add Add x7 Add Add x0 4 pi Mul asec acot x7 x0 Mul 2 Add 1 asec acot x7 