acsch Mul Mul x0 Add x0 Mul 4 asinh Pow x1 4 Mul sqrt pi E 
Mul Mul -1 Mul Mul sqrt pi E Add Add x0 Mul 4 asinh Pow x1 4 x0 Pow Mul Mul Mul Mul x0 Add x0 Mul 4 asinh Pow x1 4 Mul sqrt pi E Mul Mul x0 Add x0 Mul 4 asinh Pow x1 4 Mul sqrt pi E sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 Add x0 Mul 4 asinh Pow x1 4 Mul sqrt pi E Mul Mul x0 Add x0 Mul 4 asinh Pow x1 4 Mul sqrt pi E -1 -1 