Mul Pow x0 x0 Pow Add Pow Add x0 acosh pi x0 x0 -5 
Add Mul Pow Add Pow Add x0 acosh pi x0 x0 -5 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Mul Pow Add Pow Add x0 acosh pi x0 x0 6 Mul -5 Add Mul Pow Add x0 acosh pi Add x0 -1 Add x0 Mul Add x0 acosh pi log Add x0 acosh pi 1 