Pow acot Mul x0 x5 Add 5 Pow x6 Mul Mul x0 x0 x4 
Mul Pow acot Mul x0 x5 Add Add 5 Pow x6 Mul Mul x0 x0 x4 -1 Add Mul Add 5 Pow x6 Mul Mul x0 x0 x4 Mul -1 Mul x5 Pow Add 1 Mul Mul x0 x5 Mul x0 x5 -1 Mul Mul acot Mul x0 x5 log acot Mul x0 x5 Mul Pow x6 Add Mul Mul x0 x0 x4 -1 Mul Mul x6 log x6 Mul x4 Add x0 x0 