Pow Pow Mul atanh Pow Add x0 acot Add x0 x0 -4 Add x0 Add x0 x0 x1 1.43504447560991 
Mul Pow Pow Mul atanh Pow Add x0 acot Add x0 x0 -4 Add x0 Add x0 x0 x1 0.435044475609909 Mul 1.43504447560991 Mul Pow Mul atanh Pow Add x0 acot Add x0 x0 -4 Add x0 Add x0 x0 Add x1 -1 Mul x1 Add Mul Add x0 Add x0 x0 Mul Mul Pow Add x0 acot Add x0 x0 5 Mul -4 Add 1 Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 Pow Add 1 Mul -1 Mul Pow Add x0 acot Add x0 x0 -4 Pow Add x0 acot Add x0 x0 -4 -1 Mul atanh Pow Add x0 acot Add x0 x0 -4 3 