Mul -4 Pow x7 Pow x2 acosh Mul log Add -4 x0 acosh tanh x6 
Mul -4 Mul Pow x7 Add Pow x2 acosh Mul log Add -4 x0 acosh tanh x6 -1 Mul Mul x7 log x7 Mul Pow x2 Add acosh Mul log Add -4 x0 acosh tanh x6 -1 Mul Mul x2 log x2 Mul Mul acosh tanh x6 Pow Add -4 x0 -1 Pow Mul sqrt Add Mul log Add -4 x0 acosh tanh x6 -1 sqrt Add 1 Mul log Add -4 x0 acosh tanh x6 -1 