Pow Pow x0 Pow asinh x1 x0 Add Mul -5 Add x2 x0 Pow sqrt x0 16 
Mul Pow Pow x0 Pow asinh x1 x0 Add Add Mul -5 Add x2 x0 Pow sqrt x0 16 -1 Add Mul Add Mul -5 Add x2 x0 Pow sqrt x0 16 Mul Pow x0 Add Pow asinh x1 x0 -1 Add Pow asinh x1 x0 Mul Mul x0 log x0 Mul Pow asinh x1 Add x0 -1 Mul asinh x1 log asinh x1 Mul Mul Pow x0 Pow asinh x1 x0 log Pow x0 Pow asinh x1 x0 Add -5 Mul Pow sqrt x0 15 Mul 16 Pow Mul 2 sqrt x0 -1 