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