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