asinh Pow x0 Pow sqrt pi Add Mul -4 Add x0 3 x1 
Mul Mul Pow x0 Add Pow sqrt pi Add Mul -4 Add x0 3 x1 -1 Add Pow sqrt pi Add Mul -4 Add x0 3 x1 Mul Mul x0 log x0 Mul Pow sqrt pi Add Add Mul -4 Add x0 3 x1 -1 Mul Mul sqrt pi log sqrt pi -4 Pow sqrt Add 1 Mul Pow x0 Pow sqrt pi Add Mul -4 Add x0 3 x1 Pow x0 Pow sqrt pi Add Mul -4 Add x0 3 x1 -1 