Mul atan x0 cosh Pow Mul log x0 x0 Pow Add Add x0 asech asin x1 4 3 
Add Mul cosh Pow Mul log x0 x0 Pow Add Add x0 asech asin x1 4 3 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul sinh Pow Mul log x0 x0 Pow Add Add x0 asech asin x1 4 3 Mul Pow Mul log x0 x0 Add Pow Add Add x0 asech asin x1 4 3 -1 Add Mul Pow Add Add x0 asech asin x1 4 3 Add Mul x0 Pow x0 -1 log x0 Mul Mul Mul log x0 x0 log Mul log x0 x0 Mul Pow Add Add x0 asech asin x1 4 2 3 