Pow Mul x0 Pow x5 Add Mul 8 sqrt pi x0 asinh x2 
Mul Pow Mul x0 Pow x5 Add Mul 8 sqrt pi x0 Add asinh x2 -1 Mul asinh x2 Add Pow x5 Add Mul 8 sqrt pi x0 Mul x0 Mul Pow x5 Add Add Mul 8 sqrt pi x0 -1 Mul x5 log x5 