Add Pow Pow Add x0 acosh x7 -4 Mul Mul x0 x0 x0 3 
Mul Pow Pow Add x0 acosh x7 -4 Add Mul Mul x0 x0 x0 -1 Add Mul Mul Mul x0 x0 x0 Mul Pow Add x0 acosh x7 5 -4 Mul Mul Pow Add x0 acosh x7 -4 log Pow Add x0 acosh x7 -4 Add Mul x0 Add x0 x0 Mul x0 x0 