asin Add x5 Pow Add Add x0 x0 x0 Mul 3 acsch x3 
Mul Mul Pow Add Add x0 x0 x0 Add Mul 3 acsch x3 -1 Mul Mul 3 acsch x3 3 Pow sqrt Add 1 Mul -1 Mul Add x5 Pow Add Add x0 x0 x0 Mul 3 acsch x3 Add x5 Pow Add Add x0 x0 x0 Mul 3 acsch x3 -1 