Mul Mul Add x0 x0 x0 Mul Pow acosh x4 x0 Add x0 -1 
Add Mul Mul Pow acosh x4 x0 Add x0 -1 Add Mul x0 2 Add x0 x0 Mul Mul Add x0 x0 x0 Add Mul Add x0 -1 Mul Pow acosh x4 Add x0 -1 Mul acosh x4 log acosh x4 Pow acosh x4 x0 