Mul Mul asec Mul 2 x0 atan Add Mul E 25 Mul Add -5 x0 x0 Pow tanh cosh Mul x0 x0 pi 
Add Mul Pow tanh cosh Mul x0 x0 pi Add Mul atan Add Mul E 25 Mul Add -5 x0 x0 Mul 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul 2 x0 Mul 2 x0 -1 Mul 2 x0 Mul 2 x0 -1 Mul asec Mul 2 x0 Mul Add x0 Add -5 x0 Pow Add 1 Mul Add Mul E 25 Mul Add -5 x0 x0 Add Mul E 25 Mul Add -5 x0 x0 -1 Mul Mul asec Mul 2 x0 atan Add Mul E 25 Mul Add -5 x0 x0 Mul Pow tanh cosh Mul x0 x0 Add pi -1 Mul pi Mul Pow sech cosh Mul x0 x0 2 Mul sinh Mul x0 x0 Add x0 x0 