Pow Mul -2 atan Add Add Add x0 1 x0 x5 Add pi x0 
Mul Pow Mul -2 atan Add Add Add x0 1 x0 x5 Add Add pi x0 -1 Add Mul Add pi x0 Mul -2 Mul 2 Pow Add 1 Mul Add Add Add x0 1 x0 x5 Add Add Add x0 1 x0 x5 -1 Mul Mul -2 atan Add Add Add x0 1 x0 x5 log Mul -2 atan Add Add Add x0 1 x0 x5 