acos Pow acot x2 Mul Add Add x0 x0 Add Add Pow x7 x0 x0 x0 x1 
Mul -1 Mul Mul Pow acot x2 Add Mul Add Add x0 x0 Add Add Pow x7 x0 x0 x0 x1 -1 Mul Mul acot x2 log acot x2 Mul x1 Add 2 Add Add Mul Pow x7 Add x0 -1 Mul x7 log x7 1 1 Pow sqrt Add 1 Mul -1 Mul Pow acot x2 Mul Add Add x0 x0 Add Add Pow x7 x0 x0 x0 x1 Pow acot x2 Mul Add Add x0 x0 Add Add Pow x7 x0 x0 x0 x1 -1 