Pow Pow sqrt acosh x0 Add x0 5 -3 
Mul Pow Pow sqrt acosh x0 Add x0 5 4 Mul -3 Mul Pow sqrt acosh x0 Add Add x0 5 -1 Add Mul Add x0 5 Mul Pow Mul 2 sqrt acosh x0 -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul sqrt acosh x0 log sqrt acosh x0 