Mul x0 asin Pow Mul sqrt x0 x0 Pow sinh x1 x3 
Add asin Pow Mul sqrt x0 x0 Pow sinh x1 x3 Mul x0 Mul Mul Pow Mul sqrt x0 x0 Add Pow sinh x1 x3 -1 Mul Pow sinh x1 x3 Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 Pow sqrt Add 1 Mul -1 Mul Pow Mul sqrt x0 x0 Pow sinh x1 x3 Pow Mul sqrt x0 x0 Pow sinh x1 x3 -1 