acosh Mul Pow x0 Pow Mul log pi 0.265802228834080 x0 x0 
Mul Add Mul x0 Mul Pow x0 Add Pow Mul log pi 0.265802228834080 x0 -1 Add Pow Mul log pi 0.265802228834080 x0 Mul Mul x0 log x0 Mul Pow Mul log pi 0.265802228834080 Add x0 -1 Mul Mul log pi 0.265802228834080 log Mul log pi 0.265802228834080 Pow x0 Pow Mul log pi 0.265802228834080 x0 Pow Mul sqrt Add Mul Pow x0 Pow Mul log pi 0.265802228834080 x0 x0 -1 sqrt Add 1 Mul Pow x0 Pow Mul log pi 0.265802228834080 x0 x0 -1 