Pow acot E Mul Pow Mul x0 Add x0 Mul x0 x3 x0 Pow Pow x0 x0 x2 
Mul Pow acot E Add Mul Pow Mul x0 Add x0 Mul x0 x3 x0 Pow Pow x0 x0 x2 -1 Mul Mul acot E log acot E Add Mul Pow Pow x0 x0 x2 Mul Pow Mul x0 Add x0 Mul x0 x3 Add x0 -1 Add Mul x0 Add Add x0 Mul x0 x3 Mul x0 Add 1 x3 Mul Mul x0 Add x0 Mul x0 x3 log Mul x0 Add x0 Mul x0 x3 Mul Pow Mul x0 Add x0 Mul x0 x3 x0 Mul Pow Pow x0 x0 Add x2 -1 Mul x2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 