Pow sqrt x0 Mul x6 Add Add x0 acosh x0 Add Add x1 x0 x0 
Mul Pow sqrt x0 Add Mul x6 Add Add x0 acosh x0 Add Add x1 x0 x0 -1 Add Mul Mul x6 Add Add x0 acosh x0 Add Add x1 x0 x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul x6 Add Add 1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 2 