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