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