Mul Mul asinh x0 -2 Pow Pow x5 Mul x6 x1 x0 
Add Mul Pow Pow x5 Mul x6 x1 x0 Mul -2 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul asinh x0 -2 Mul Pow Pow x5 Mul x6 x1 Add x0 -1 Mul Pow x5 Mul x6 x1 log Pow x5 Mul x6 x1 