asinh Mul x0 Add tan acos x0 -0.000976562500000000 
Mul Add Add tan acos x0 -0.000976562500000000 Mul x0 Mul Pow sec acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul Mul x0 Add tan acos x0 -0.000976562500000000 Mul x0 Add tan acos x0 -0.000976562500000000 -1 