Mul x0 Add Mul Add x0 Pow Mul acosh x7 x0 Add x0 x0 2 5 
Add Add Mul Add x0 Pow Mul acosh x7 x0 Add x0 x0 2 5 Mul x0 Mul 2 Add 1 Mul Pow Mul acosh x7 x0 Add Add x0 x0 -1 Add Mul Add x0 x0 acosh x7 Mul Mul Mul acosh x7 x0 log Mul acosh x7 x0 2 