Add Mul acosh x3 tanh Mul x0 Mul -7.08616739573719 Mul 2 x0 1.60943791243410 
Mul acosh x3 Mul Pow sech Mul x0 Mul -7.08616739573719 Mul 2 x0 2 Add Mul -7.08616739573719 Mul 2 x0 Mul x0 -5.08616739573719 