Pow Mul Add x3 acosh x5 Pow x7 x0 Mul x0 x4 
Mul Pow Mul Add x3 acosh x5 Pow x7 x0 Add Mul x0 x4 -1 Add Mul Mul x0 x4 Mul Add x3 acosh x5 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Mul Mul Add x3 acosh x5 Pow x7 x0 log Mul Add x3 acosh x5 Pow x7 x0 x4 