acosh Mul 5 Add pi Pow Pow x1 -5 Add x0 pi 
Mul Mul 5 Mul Pow Pow x1 -5 Add Add x0 pi -1 Mul Pow x1 -5 log Pow x1 -5 Pow Mul sqrt Add Mul 5 Add pi Pow Pow x1 -5 Add x0 pi -1 sqrt Add 1 Mul 5 Add pi Pow Pow x1 -5 Add x0 pi -1 