Add x3 Pow x0 Pow Pow asinh x0 2 exp Add x0 -4 
Mul Pow x0 Add Pow Pow asinh x0 2 exp Add x0 -4 -1 Add Pow Pow asinh x0 2 exp Add x0 -4 Mul Mul x0 log x0 Mul Pow Pow asinh x0 2 Add exp Add x0 -4 -1 Add Mul exp Add x0 -4 Mul asinh x0 Mul 2 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul Pow asinh x0 2 log Pow asinh x0 2 exp Add x0 -4 