Mul E Pow Mul x0 Mul Pow Mul x0 0.000976562500000000 Mul x0 x0 -2 acot pi 
Mul E Mul Pow Mul x0 Mul Pow Mul x0 0.000976562500000000 Mul x0 x0 -2 Add acot pi -1 Mul acot pi Add Mul Pow Mul x0 0.000976562500000000 Mul x0 x0 -2 Mul x0 Mul -2 Mul Pow Mul x0 0.000976562500000000 Add Mul x0 x0 -1 Add Mul Mul x0 x0 0.000976562500000000 Mul Mul Mul x0 0.000976562500000000 log Mul x0 0.000976562500000000 Add x0 x0 