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