Add Mul x5 x5 Pow x1 Add Mul x0 Mul x0 5 acot Mul -4 Add x6 x0 
Mul Pow x1 Add Add Mul x0 Mul x0 5 acot Mul -4 Add x6 x0 -1 Mul Mul x1 log x1 Add Add Mul x0 5 Mul x0 5 Mul -1 Mul -4 Pow Add 1 Mul Mul -4 Add x6 x0 Mul -4 Add x6 x0 -1 