Mul sqrt Mul pi x0 Mul Add Add x0 cosh asech Add x7 4 x0 -1.01010866590799 
Add Mul Mul Add Add x0 cosh asech Add x7 4 x0 -1.01010866590799 Mul Pow Mul 2 sqrt Mul pi x0 -1 pi Mul sqrt Mul pi x0 0.989891334092006 