Mul x0 asinh Add Add x0 sqrt Mul x0 acsch x2 1 
Add asinh Add Add x0 sqrt Mul x0 acsch x2 1 Mul x0 Mul Add 1 Mul Pow Mul 2 sqrt Mul x0 acsch x2 -1 acsch x2 Pow sqrt Add 1 Mul Add Add x0 sqrt Mul x0 acsch x2 1 Add Add x0 sqrt Mul x0 acsch x2 1 -1 