acosh Mul 1.00201480283595 Add Mul x0 asech Pow x0 Add x1 x0 Add x3 x5 
Mul Mul 1.00201480283595 Add asech Pow x0 Add x1 x0 Mul x0 Mul Mul Pow x0 Add Add x1 x0 -1 Add Add x1 x0 Mul x0 log x0 Pow Mul Mul Pow x0 Add x1 x0 Pow x0 Add x1 x0 sqrt Add 1 Mul -1 Pow Mul Pow x0 Add x1 x0 Pow x0 Add x1 x0 -1 -1 Pow Mul sqrt Add Mul 1.00201480283595 Add Mul x0 asech Pow x0 Add x1 x0 Add x3 x5 -1 sqrt Add 1 Mul 1.00201480283595 Add Mul x0 asech Pow x0 Add x1 x0 Add x3 x5 -1 