Mul Add -3 exp Add Add x0 Mul -1 acoth x7 Pow Mul x1 Add x6 x0 acosh x5 x0 
Add Mul x0 Mul exp Add Add x0 Mul -1 acoth x7 Pow Mul x1 Add x6 x0 acosh x5 Add 1 Mul Pow Mul x1 Add x6 x0 Add acosh x5 -1 Mul acosh x5 x1 Add -3 exp Add Add x0 Mul -1 acoth x7 Pow Mul x1 Add x6 x0 acosh x5 