Mul asin x0 sinh Add x7 Add Mul Pow x0 x4 2 x5 
Add Mul sinh Add x7 Add Mul Pow x0 x4 2 x5 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 Mul cosh Add x7 Add Mul Pow x0 x4 2 x5 Mul 2 Mul Pow x0 Add x4 -1 x4 