Mul Pow x0 Mul exp x0 acosh Mul Pow x4 -5 2 Pow Mul x4 x0 x4 
Add Mul Pow Mul x4 x0 x4 Mul Pow x0 Add Mul exp x0 acosh Mul Pow x4 -5 2 -1 Add Mul exp x0 acosh Mul Pow x4 -5 2 Mul Mul x0 log x0 Mul acosh Mul Pow x4 -5 2 exp x0 Mul Pow x0 Mul exp x0 acosh Mul Pow x4 -5 2 Mul Pow Mul x4 x0 Add x4 -1 Mul x4 x4 