Add Pow Mul x0 cosh x3 Mul log Mul x0 x4 acoth Mul Mul Add x0 sin x7 -2 x0 -3 
Mul Pow Mul x0 cosh x3 Add Mul log Mul x0 x4 acoth Mul Mul Add x0 sin x7 -2 x0 -1 Add Mul Mul log Mul x0 x4 acoth Mul Mul Add x0 sin x7 -2 x0 cosh x3 Mul Mul Mul x0 cosh x3 log Mul x0 cosh x3 Add Mul acoth Mul Mul Add x0 sin x7 -2 x0 Mul x4 Pow Mul x0 x4 -1 Mul log Mul x0 x4 Mul Add Mul x0 -2 Mul Add x0 sin x7 -2 Pow Add 1 Mul -1 Mul Mul Mul Add x0 sin x7 -2 x0 Mul Mul Add x0 sin x7 -2 x0 -1 