Add atan x0 Add Mul Add acsch Mul x0 0.265802228834080 sqrt pi x0 x0 
Add Pow Add 1 Mul x0 x0 -1 Add Add Mul x0 Mul -0.734197771165920 Pow Mul Mul Mul x0 0.265802228834080 Mul x0 0.265802228834080 sqrt Add 1 Mul -1 Pow Mul Mul x0 0.265802228834080 Mul x0 0.265802228834080 -1 -1 Add acsch Mul x0 0.265802228834080 sqrt pi 1 