acot Add Add Mul -5 x0 Pow x0 Pow x7 2 Add x7 Add x5 x2 
Mul -1 Mul Add -5 Mul Pow x0 Add Pow x7 2 -1 Pow x7 2 Pow Add 1 Mul Add Add Mul -5 x0 Pow x0 Pow x7 2 Add x7 Add x5 x2 Add Add Mul -5 x0 Pow x0 Pow x7 2 Add x7 Add x5 x2 -1 