Mul Pow Pow Mul x0 3 x3 x7 acoth sinh x0 
Add Mul acoth sinh x0 Mul Pow Pow Mul x0 3 x3 Add x7 -1 Mul x7 Mul Pow Mul x0 3 Add x3 -1 Mul x3 3 Mul Pow Pow Mul x0 3 x3 x7 Mul cosh x0 Pow Add 1 Mul -1 Mul sinh x0 sinh x0 -1 