asin Mul cosh Pow sech E Mul x0 x1 Add x0 x1 
Mul Add Mul Add x0 x1 Mul sinh Pow sech E Mul x0 x1 Mul Pow sech E Add Mul x0 x1 -1 Mul Mul sech E log sech E x1 cosh Pow sech E Mul x0 x1 Pow sqrt Add 1 Mul -1 Mul Mul cosh Pow sech E Mul x0 x1 Add x0 x1 Mul cosh Pow sech E Mul x0 x1 Add x0 x1 -1 