acosh Mul acos sqrt pi Pow Mul x0 8 Add x0 5 
Mul Mul acos sqrt pi Mul Pow Mul x0 8 Add Add x0 5 -1 Add Mul Add x0 5 8 Mul Mul x0 8 log Mul x0 8 Pow Mul sqrt Add Mul acos sqrt pi Pow Mul x0 8 Add x0 5 -1 sqrt Add 1 Mul acos sqrt pi Pow Mul x0 8 Add x0 5 -1 