asinh Add x1 asin Add cosh Mul x0 x2 -2 
Mul Mul Mul sinh Mul x0 x2 x2 Pow sqrt Add 1 Mul -1 Mul Add cosh Mul x0 x2 -2 Add cosh Mul x0 x2 -2 -1 Pow sqrt Add 1 Mul Add x1 asin Add cosh Mul x0 x2 -2 Add x1 asin Add cosh Mul x0 x2 -2 -1 