Add Pow Add x1 Pow Mul x0 x6 Add x0 3 acosh Pow 4 exp x4 x1 
Mul Pow Add x1 Pow Mul x0 x6 Add x0 3 Add acosh Pow 4 exp x4 -1 Mul acosh Pow 4 exp x4 Mul Pow Mul x0 x6 Add Add x0 3 -1 Add Mul Add x0 3 x6 Mul Mul x0 x6 log Mul x0 x6 