Add Mul x0 sqrt Add Mul Mul Mul -4 asinh x0 2 -4 x7 x0 
Add Add sqrt Add Mul Mul Mul -4 asinh x0 2 -4 x7 Mul x0 Mul Pow Mul 2 sqrt Add Mul Mul Mul -4 asinh x0 2 -4 x7 -1 Mul -4 Mul 2 Mul -4 Pow sqrt Add 1 Mul x0 x0 -1 1 