Add Pow pi Pow Add 2 acosh x0 Mul 2 x0 x2 
Mul Pow pi Add Pow Add 2 acosh x0 Mul 2 x0 -1 Mul Mul pi log pi Mul Pow Add 2 acosh x0 Add Mul 2 x0 -1 Add Mul Mul 2 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Add 2 acosh x0 log Add 2 acosh x0 2 