Mul x0 acosh sqrt Add pi Add x0 sec Mul Add x0 pi 5 
Add acosh sqrt Add pi Add x0 sec Mul Add x0 pi 5 Mul x0 Mul Mul Pow Mul 2 sqrt Add pi Add x0 sec Mul Add x0 pi 5 -1 Add 1 Mul Mul tan Mul Add x0 pi 5 sec Mul Add x0 pi 5 5 Pow Mul sqrt Add sqrt Add pi Add x0 sec Mul Add x0 pi 5 -1 sqrt Add 1 sqrt Add pi Add x0 sec Mul Add x0 pi 5 -1 