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