Add Pow Mul 4 Add x0 Pow Add x0 Pow Mul Mul x4 x0 3 exp x0 3 Mul x0 Add x0 1 Pow x0 acosh x5 
Add Mul Pow Mul 4 Add x0 Pow Add x0 Pow Mul Mul x4 x0 3 exp x0 3 Add Mul x0 Add x0 1 -1 Add Mul Mul x0 Add x0 1 Mul 4 Add 1 Mul Pow Add x0 Pow Mul Mul x4 x0 3 exp x0 2 Mul 3 Add 1 Mul Pow Mul Mul x4 x0 3 Add exp x0 -1 Add Mul exp x0 Mul 3 x4 Mul Mul Mul Mul x4 x0 3 log Mul Mul x4 x0 3 exp x0 Mul Mul Mul 4 Add x0 Pow Add x0 Pow Mul Mul x4 x0 3 exp x0 3 log Mul 4 Add x0 Pow Add x0 Pow Mul Mul x4 x0 3 exp x0 3 Add Add x0 1 x0 Mul Pow x0 Add acosh x5 -1 acosh x5 