Pow x6 Pow acosh tanh x7 Mul x1 Pow Add x0 Add Mul -2 x0 x0 x0 
Mul Pow x6 Add Pow acosh tanh x7 Mul x1 Pow Add x0 Add Mul -2 x0 x0 x0 -1 Mul Mul x6 log x6 Mul Pow acosh tanh x7 Add Mul x1 Pow Add x0 Add Mul -2 x0 x0 x0 -1 Mul Mul acosh tanh x7 log acosh tanh x7 Mul x1 Mul Pow Add x0 Add Mul -2 x0 x0 Add x0 -1 Add Mul x0 2 Mul Add x0 Add Mul -2 x0 x0 log Add x0 Add Mul -2 x0 x0 