Pow Add x1 Pow atan x0 3 Mul Add Pow acot x0 -2.31243834127275 x0 Add Add x0 x0 x0 
Mul Pow Add x1 Pow atan x0 3 Add Mul Add Pow acot x0 -2.31243834127275 x0 Add Add x0 x0 x0 -1 Add Mul Mul Add Pow acot x0 -2.31243834127275 x0 Add Add x0 x0 x0 Mul Pow atan x0 2 Mul 3 Pow Add 1 Mul x0 x0 -1 Mul Mul Add x1 Pow atan x0 3 log Add x1 Pow atan x0 3 Add Mul Add Add x0 x0 x0 Add Mul Pow acot x0 -3.31243834127275 Mul -2.31243834127275 Mul -1 Pow Add 1 Mul x0 x0 -1 1 Mul Add Pow acot x0 -2.31243834127275 x0 3 