Pow Pow Add x0 acosh x3 Mul Add Mul x1 x3 -4 -1.32581766366803 sqrt pi 
Mul Pow Pow Add x0 acosh x3 Mul Add Mul x1 x3 -4 -1.32581766366803 Add sqrt pi -1 Mul sqrt pi Mul Pow Add x0 acosh x3 Add Mul Add Mul x1 x3 -4 -1.32581766366803 -1 Mul Add Mul x1 x3 -4 -1.32581766366803 