Pow acosh Mul Mul x5 x0 log x0 x3 
Mul Pow acosh Mul Mul x5 x0 log x0 Add x3 -1 Mul x3 Mul Add Mul log x0 x5 Mul Mul x5 x0 Pow x0 -1 Pow Mul sqrt Add Mul Mul x5 x0 log x0 -1 sqrt Add 1 Mul Mul x5 x0 log x0 -1 