atan Add x0 Mul sqrt Pow pi Add x0 sec Add Mul pi x0 E x3 
Mul Add 1 Mul x3 Mul Pow Mul 2 sqrt Pow pi Add x0 sec Add Mul pi x0 E -1 Mul Pow pi Add Add x0 sec Add Mul pi x0 E -1 Mul Mul pi log pi Add 1 Mul Mul tan Add Mul pi x0 E sec Add Mul pi x0 E pi Pow Add 1 Mul Add x0 Mul sqrt Pow pi Add x0 sec Add Mul pi x0 E x3 Add x0 Mul sqrt Pow pi Add x0 sec Add Mul pi x0 E x3 -1 