Pow acosh Pow Add Add x0 1.73205080756888 1 E pi 
Mul Pow acosh Pow Add Add x0 1.73205080756888 1 E Add pi -1 Mul pi Mul Mul Pow Add Add x0 1.73205080756888 1 Add E -1 E Pow Mul sqrt Add Pow Add Add x0 1.73205080756888 1 E -1 sqrt Add 1 Pow Add Add x0 1.73205080756888 1 E -1 