Add x0 Add Pow sec sqrt Add Mul x2 sec Pow Add x0 8 x0 pi cbrt Mul sinh exp x0 -2 pi 
Add 1 Mul Pow sec sqrt Add Mul x2 sec Pow Add x0 8 x0 pi Add cbrt Mul sinh exp x0 -2 -1 Add Mul cbrt Mul sinh exp x0 -2 Mul Mul tan sqrt Add Mul x2 sec Pow Add x0 8 x0 pi sec sqrt Add Mul x2 sec Pow Add x0 8 x0 pi Mul Pow Mul 2 sqrt Add Mul x2 sec Pow Add x0 8 x0 pi -1 Mul x2 Mul Mul tan Pow Add x0 8 x0 sec Pow Add x0 8 x0 Mul Pow Add x0 8 Add x0 -1 Add x0 Mul Add x0 8 log Add x0 8 Mul Mul sec sqrt Add Mul x2 sec Pow Add x0 8 x0 pi log sec sqrt Add Mul x2 sec Pow Add x0 8 x0 pi Mul Pow Mul Mul 3 cbrt Mul sinh exp x0 -2 cbrt Mul sinh exp x0 -2 -1 Mul -2 Mul cosh exp x0 exp x0 