Mul Pow x0 Pow x2 2 Pow Pow Add x6 x0 Pow acosh x2 x0 -0.250000000000000 
Add Mul Pow Pow Add x6 x0 Pow acosh x2 x0 -0.250000000000000 Mul Pow x0 Add Pow x2 2 -1 Pow x2 2 Mul Pow x0 Pow x2 2 Mul Pow Pow Add x6 x0 Pow acosh x2 x0 -1.25000000000000 Mul -0.250000000000000 Mul Pow Add x6 x0 Add Pow acosh x2 x0 -1 Add Pow acosh x2 x0 Mul Mul Add x6 x0 log Add x6 x0 Mul Pow acosh x2 Add x0 -1 Mul acosh x2 log acosh x2 