Mul x3 Pow log Add x0 Pow acot pi x0 Add x1 x0 
Mul x3 Mul Pow log Add x0 Pow acot pi x0 Add Add x1 x0 -1 Add Mul Add x1 x0 Mul Add 1 Mul Pow acot pi Add x0 -1 Mul acot pi log acot pi Pow Add x0 Pow acot pi x0 -1 Mul log Add x0 Pow acot pi x0 log log Add x0 Pow acot pi x0 