Add acot x0 Add x4 Add x0 Pow Add Mul 2 x1 x0 Add atan x0 x0 
Add Mul -1 Pow Add 1 Mul x0 x0 -1 Add 1 Mul Pow Add Mul 2 x1 x0 Add Add atan x0 x0 -1 Add Add atan x0 x0 Mul Mul Add Mul 2 x1 x0 log Add Mul 2 x1 x0 Add Pow Add 1 Mul x0 x0 -1 1 