Pow cosh Mul asech x4 2 Pow Add x0 Pow Add x0 x4 -3 x7 
Mul Pow cosh Mul asech x4 2 Add Pow Add x0 Pow Add x0 x4 -3 x7 -1 Mul Mul cosh Mul asech x4 2 log cosh Mul asech x4 2 Mul Pow Add x0 Pow Add x0 x4 -3 Add x7 -1 Mul x7 Add 1 Mul Pow Add x0 x4 4 -3 