Mul Pow x2 Add x6 Mul x0 x0 Mul E Pow Pow Mul x0 Mul acot sqrt x0 -0.999329299739067 x7 Mul x0 x0 
Add Mul Mul E Pow Pow Mul x0 Mul acot sqrt x0 -0.999329299739067 x7 Mul x0 x0 Mul Pow x2 Add Add x6 Mul x0 x0 -1 Mul Mul x2 log x2 Add x0 x0 Mul Pow x2 Add x6 Mul x0 x0 Mul E Mul Pow Pow Mul x0 Mul acot sqrt x0 -0.999329299739067 x7 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Pow Mul x0 Mul acot sqrt x0 -0.999329299739067 Add x7 -1 Mul x7 Add Mul acot sqrt x0 -0.999329299739067 Mul x0 Mul -0.999329299739067 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 Mul Mul Pow Mul x0 Mul acot sqrt x0 -0.999329299739067 x7 log Pow Mul x0 Mul acot sqrt x0 -0.999329299739067 x7 Add x0 x0 