Mul Mul x2 Pow Add Mul x0 Pow acot x0 Mul Pow x6 4 x0 Pow Pow Add x0 5 -4 x2 x4 x7 
Mul x7 Mul x2 Mul Pow Add Mul x0 Pow acot x0 Mul Pow x6 4 x0 Pow Pow Add x0 5 -4 x2 Add x4 -1 Mul x4 Add Add Pow acot x0 Mul Pow x6 4 x0 Mul x0 Mul Pow acot x0 Add Mul Pow x6 4 x0 -1 Add Mul Mul Pow x6 4 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Pow x6 4 Mul Pow Pow Add x0 5 -4 Add x2 -1 Mul x2 Mul Pow Add x0 5 5 -4 