sqrt Mul x0 Add x3 Pow Pow acot Add x5 2 x0 Add x3 x0 
Mul Pow Mul 2 sqrt Mul x0 Add x3 Pow Pow acot Add x5 2 x0 Add x3 x0 -1 Add Add x3 Pow Pow acot Add x5 2 x0 Add x3 x0 Mul x0 Mul Pow Pow acot Add x5 2 x0 Add Add x3 x0 -1 Add Mul Add x3 x0 Mul Pow acot Add x5 2 Add x0 -1 Mul acot Add x5 2 log acot Add x5 2 Mul Pow acot Add x5 2 x0 log Pow acot Add x5 2 x0 