Mul x2 atan Mul x0 Add Pow acot Mul Pow Mul 0.295812915532746 x0 Add x0 x0 Add Add x5 1 x0 x0 -1 
Mul x2 Mul Add Add Pow acot Mul Pow Mul 0.295812915532746 x0 Add x0 x0 Add Add x5 1 x0 x0 -1 Mul x0 Mul Pow acot Mul Pow Mul 0.295812915532746 x0 Add x0 x0 Add Add x5 1 x0 Add x0 -1 Add Mul x0 Mul -1 Mul Add Mul Add Add x5 1 x0 Mul Pow Mul 0.295812915532746 x0 Add Add x0 x0 -1 Add Mul Add x0 x0 0.295812915532746 Mul Mul Mul 0.295812915532746 x0 log Mul 0.295812915532746 x0 2 Pow Mul 0.295812915532746 x0 Add x0 x0 Pow Add 1 Mul Mul Pow Mul 0.295812915532746 x0 Add x0 x0 Add Add x5 1 x0 Mul Pow Mul 0.295812915532746 x0 Add x0 x0 Add Add x5 1 x0 -1 Mul acot Mul Pow Mul 0.295812915532746 x0 Add x0 x0 Add Add x5 1 x0 log acot Mul Pow Mul 0.295812915532746 x0 Add x0 x0 Add Add x5 1 x0 Pow Add 1 Mul Mul x0 Add Pow acot Mul Pow Mul 0.295812915532746 x0 Add x0 x0 Add Add x5 1 x0 x0 -1 Mul x0 Add Pow acot Mul Pow Mul 0.295812915532746 x0 Add x0 x0 Add Add x5 1 x0 x0 -1 -1 