acot Pow Add Add sqrt x0 4 x0 Add Add Mul Mul x0 Add x0 -3 -5 x0 x7 
Mul -1 Mul Mul Pow Add Add sqrt x0 4 x0 Add Add Add Mul Mul x0 Add x0 -3 -5 x0 x7 -1 Add Mul Add Add Mul Mul x0 Add x0 -3 -5 x0 x7 Add Pow Mul 2 sqrt x0 -1 1 Mul Mul Add Add sqrt x0 4 x0 log Add Add sqrt x0 4 x0 Add Mul -5 Add Add x0 -3 x0 1 Pow Add 1 Mul Pow Add Add sqrt x0 4 x0 Add Add Mul Mul x0 Add x0 -3 -5 x0 x7 Pow Add Add sqrt x0 4 x0 Add Add Mul Mul x0 Add x0 -3 -5 x0 x7 -1 