Add Add Pow x0 Pow 5 E Mul acot Add Pow x0 x0 x0 x0 acos x7 
Add Mul Pow x0 Add Pow 5 E -1 Pow 5 E Add Mul x0 Mul -1 Mul Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 Pow Add 1 Mul Add Pow x0 x0 x0 Add Pow x0 x0 x0 -1 acot Add Pow x0 x0 x0 