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