asin Add Pow Add x1 x2 Mul x0 2 Add x0 Mul x0 acsch x5 
Mul Add Mul Pow Add x1 x2 Add Mul x0 2 -1 Mul Mul Add x1 x2 log Add x1 x2 2 Add 1 acsch x5 Pow sqrt Add 1 Mul -1 Mul Add Pow Add x1 x2 Mul x0 2 Add x0 Mul x0 acsch x5 Add Pow Add x1 x2 Mul x0 2 Add x0 Mul x0 acsch x5 -1 