Pow Pow Pow acot Mul 5 x0 sqrt pi x0 Mul x1 x5 
Mul Pow Pow Pow acot Mul 5 x0 sqrt pi x0 Add Mul x1 x5 -1 Mul Mul x1 x5 Mul Pow Pow acot Mul 5 x0 sqrt pi Add x0 -1 Add Mul x0 Mul Pow acot Mul 5 x0 Add sqrt pi -1 Mul sqrt pi Mul -1 Mul 5 Pow Add 1 Mul Mul 5 x0 Mul 5 x0 -1 Mul Pow acot Mul 5 x0 sqrt pi log Pow acot Mul 5 x0 sqrt pi 