Mul x0 Pow x0 asinh Pow asin x3 Add x0 5 
Add Pow x0 asinh Pow asin x3 Add x0 5 Mul x0 Mul Pow x0 Add asinh Pow asin x3 Add x0 5 -1 Add asinh Pow asin x3 Add x0 5 Mul Mul x0 log x0 Mul Mul Pow asin x3 Add Add x0 5 -1 Mul asin x3 log asin x3 Pow sqrt Add 1 Mul Pow asin x3 Add x0 5 Pow asin x3 Add x0 5 -1 