Mul exp x0 Mul x0 Pow sec acos Add E Add x0 2 Add pi Add x0 5 
Add Mul Mul x0 Pow sec acos Add E Add x0 2 Add pi Add x0 5 exp x0 Mul exp x0 Add Pow sec acos Add E Add x0 2 Add pi Add x0 5 Mul x0 Mul Pow sec acos Add E Add x0 2 Add Add pi Add x0 5 -1 Add Mul Add pi Add x0 5 Mul Mul tan acos Add E Add x0 2 sec acos Add E Add x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add E Add x0 2 Add E Add x0 2 -1 Mul sec acos Add E Add x0 2 log sec acos Add E Add x0 2 