Pow x7 asech cosh Mul atanh x5 tanh x0 
Mul Pow x7 Add asech cosh Mul atanh x5 tanh x0 -1 Mul Mul x7 log x7 Mul Mul sinh Mul atanh x5 tanh x0 Mul atanh x5 Pow sech x0 2 Pow Mul Mul cosh Mul atanh x5 tanh x0 cosh Mul atanh x5 tanh x0 sqrt Add 1 Mul -1 Pow Mul cosh Mul atanh x5 tanh x0 cosh Mul atanh x5 tanh x0 -1 -1 