atan Add Pow x6 x0 Mul Add Add x0 atan Mul Pow pi E x0 x4 Add 3 x0 
Mul Add Mul Pow x6 Add x0 -1 Mul x6 log x6 Add Mul Add 3 x0 Add 1 Mul Pow pi E Pow Add 1 Mul Mul Pow pi E x0 Mul Pow pi E x0 -1 Add Add x0 atan Mul Pow pi E x0 x4 Pow Add 1 Mul Add Pow x6 x0 Mul Add Add x0 atan Mul Pow pi E x0 x4 Add 3 x0 Add Pow x6 x0 Mul Add Add x0 atan Mul Pow pi E x0 x4 Add 3 x0 -1 