Mul x0 Mul Mul E acsch Add x0 x1 Mul asin x4 x0 
Add Mul Mul E acsch Add x0 x1 Mul asin x4 x0 Mul x0 Add Mul Mul asin x4 x0 Mul E Mul -1 Pow Mul Mul Add x0 x1 Add x0 x1 sqrt Add 1 Mul -1 Pow Mul Add x0 x1 Add x0 x1 -1 -1 Mul Mul E acsch Add x0 x1 asin x4 