asin Pow 0.989743318610787 Mul x0 acot acos sinh x0 
Mul Mul Pow 0.989743318610787 Add Mul x0 acot acos sinh x0 -1 Mul 0.979433675009419 Add acot acos sinh x0 Mul x0 Mul -1 Mul Mul -1 Mul cosh x0 Pow sqrt Add 1 Mul -1 Mul sinh x0 sinh x0 -1 Pow Add 1 Mul acos sinh x0 acos sinh x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow 0.989743318610787 Mul x0 acot acos sinh x0 Pow 0.989743318610787 Mul x0 acot acos sinh x0 -1 