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