Mul x3 Mul log Mul -3 Mul E Add Add x0 asinh x0 asin asinh x0 x0 
Mul x3 Add Mul x0 Mul Mul -3 Mul E Add Add 1 Pow sqrt Add 1 Mul x0 x0 -1 Mul Pow sqrt Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul asinh x0 asinh x0 -1 Pow Mul -3 Mul E Add Add x0 asinh x0 asin asinh x0 -1 log Mul -3 Mul E Add Add x0 asinh x0 asin asinh x0 