exp Add 2 Mul 7.08616739573719 Mul coth acosh x6 Add Mul -1 Mul x0 x0 -3.62686040784702 
Mul exp Add 2 Mul 7.08616739573719 Mul coth acosh x6 Add Mul -1 Mul x0 x0 -3.62686040784702 Mul 7.08616739573719 Mul coth acosh x6 Mul -1 Add x0 x0 