acosh Mul Add -2 x0 Mul log x5 Mul x0 -5 
Mul Add Mul log x5 Mul x0 -5 Mul Add -2 x0 Mul log x5 -5 Pow Mul sqrt Add Mul Add -2 x0 Mul log x5 Mul x0 -5 -1 sqrt Add 1 Mul Add -2 x0 Mul log x5 Mul x0 -5 -1 