sqrt Pow x0 atanh Mul x0 asech x7 
Mul Pow Mul 2 sqrt Pow x0 atanh Mul x0 asech x7 -1 Mul Pow x0 Add atanh Mul x0 asech x7 -1 Add atanh Mul x0 asech x7 Mul Mul x0 log x0 Mul asech x7 Pow Add 1 Mul -1 Mul Mul x0 asech x7 Mul x0 asech x7 -1 