asech Pow pi Mul acot Mul x0 2 x1 
Mul Mul Pow pi Add Mul acot Mul x0 2 x1 -1 Mul Mul pi log pi Mul x1 Mul -1 Mul 2 Pow Add 1 Mul Mul x0 2 Mul x0 2 -1 Pow Mul Mul Pow pi Mul acot Mul x0 2 x1 Pow pi Mul acot Mul x0 2 x1 sqrt Add 1 Mul -1 Pow Mul Pow pi Mul acot Mul x0 2 x1 Pow pi Mul acot Mul x0 2 x1 -1 -1 