acot Mul x0 sqrt Pow Pow x1 Add x0 x0 Add -4 x0 
Mul -1 Mul Add sqrt Pow Pow x1 Add x0 x0 Add -4 x0 Mul x0 Mul Pow Mul 2 sqrt Pow Pow x1 Add x0 x0 Add -4 x0 -1 Mul Pow Pow x1 Add x0 x0 Add Add -4 x0 -1 Add Mul Add -4 x0 Mul Pow x1 Add Add x0 x0 -1 Mul Mul x1 log x1 2 Mul Pow x1 Add x0 x0 log Pow x1 Add x0 x0 Pow Add 1 Mul Mul x0 sqrt Pow Pow x1 Add x0 x0 Add -4 x0 Mul x0 sqrt Pow Pow x1 Add x0 x0 Add -4 x0 -1 