sech atanh Add x0 Add atan Pow x5 -4 Mul -2 asech acos x1 
Mul Mul tanh atanh Add x0 Add atan Pow x5 -4 Mul -2 asech acos x1 Mul -1 sech atanh Add x0 Add atan Pow x5 -4 Mul -2 asech acos x1 Pow Add 1 Mul -1 Mul Add x0 Add atan Pow x5 -4 Mul -2 asech acos x1 Add x0 Add atan Pow x5 -4 Mul -2 asech acos x1 -1 