atanh Mul x0 Add -1 sech Mul Mul x0 x1 log acosh x7 
Mul Add Add -1 sech Mul Mul x0 x1 log acosh x7 Mul x0 Mul Mul tanh Mul Mul x0 x1 log acosh x7 Mul -1 sech Mul Mul x0 x1 log acosh x7 Mul log acosh x7 x1 Pow Add 1 Mul -1 Mul Mul x0 Add -1 sech Mul Mul x0 x1 log acosh x7 Mul x0 Add -1 sech Mul Mul x0 x1 log acosh x7 -1 