Add Pow Add x0 x0 Pow Pow acosh x7 Add Add Add x0 x7 x0 0.863691154450617 x0 Add -3 Mul -4 E 
Mul Pow Add x0 x0 Add Pow Pow acosh x7 Add Add Add x0 x7 x0 0.863691154450617 x0 -1 Add Mul Pow Pow acosh x7 Add Add Add x0 x7 x0 0.863691154450617 x0 2 Mul Mul Add x0 x0 log Add x0 x0 Mul Pow Pow acosh x7 Add Add Add x0 x7 x0 0.863691154450617 Add x0 -1 Add Mul x0 Mul Pow acosh x7 Add Add Add Add x0 x7 x0 0.863691154450617 -1 Mul Mul acosh x7 log acosh x7 2 Mul Pow acosh x7 Add Add Add x0 x7 x0 0.863691154450617 log Pow acosh x7 Add Add Add x0 x7 x0 0.863691154450617 