Add Pow Mul Add Mul x0 cosh cos cosh cos x3 3 x0 Add x0 7 acsch x1 
Mul Pow Mul Add Mul x0 cosh cos cosh cos x3 3 x0 Add Add x0 7 -1 Add Mul Add x0 7 Add Mul x0 cosh cos cosh cos x3 Add Mul x0 cosh cos cosh cos x3 3 Mul Mul Add Mul x0 cosh cos cosh cos x3 3 x0 log Mul Add Mul x0 cosh cos cosh cos x3 3 x0 