Pow Mul x0 asech Add 1 x6 Add acot cosh x0 Mul x1 sqrt x0 
Mul Pow Mul x0 asech Add 1 x6 Add Add acot cosh x0 Mul x1 sqrt x0 -1 Add Mul Add acot cosh x0 Mul x1 sqrt x0 asech Add 1 x6 Mul Mul Mul x0 asech Add 1 x6 log Mul x0 asech Add 1 x6 Add Mul -1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 Mul x1 Pow Mul 2 sqrt x0 -1 