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