Pow x2 Pow Add Mul Mul x0 x5 acosh x1 -0.863691154450617 Mul Mul x0 Pow x5 x0 E 
Mul Pow x2 Add Pow Add Mul Mul x0 x5 acosh x1 -0.863691154450617 Mul Mul x0 Pow x5 x0 E -1 Mul Mul x2 log x2 Mul Pow Add Mul Mul x0 x5 acosh x1 -0.863691154450617 Add Mul Mul x0 Pow x5 x0 E -1 Add Mul Mul Mul x0 Pow x5 x0 E Mul acosh x1 x5 Mul Mul Add Mul Mul x0 x5 acosh x1 -0.863691154450617 log Add Mul Mul x0 x5 acosh x1 -0.863691154450617 Mul E Add Pow x5 x0 Mul x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 