sqrt Pow Add -1 x7 Add Mul Add x3 4 Pow acot x0 Mul Mul x2 -4 -3 x0 
Mul Pow Mul 2 sqrt Pow Add -1 x7 Add Mul Add x3 4 Pow acot x0 Mul Mul x2 -4 -3 x0 -1 Mul Pow Add -1 x7 Add Add Mul Add x3 4 Pow acot x0 Mul Mul x2 -4 -3 x0 -1 Mul Mul Add -1 x7 log Add -1 x7 Add Mul Add x3 4 Mul Pow acot x0 Add Mul Mul x2 -4 -3 -1 Mul Mul Mul x2 -4 -3 Mul -1 Pow Add 1 Mul x0 x0 -1 1 