Add Mul 3 x7 Mul Pow x0 acosh x3 Pow Mul sinh pi acoth x0 x5 
Add Mul Pow Mul sinh pi acoth x0 x5 Mul Pow x0 Add acosh x3 -1 acosh x3 Mul Pow x0 acosh x3 Mul Pow Mul sinh pi acoth x0 Add x5 -1 Mul x5 Mul sinh pi Pow Add 1 Mul -1 Mul x0 x0 -1 