Mul atan sech Pow x0 4 cosh Pow x7 Add x0 cosh x4 
Add Mul cosh Pow x7 Add x0 cosh x4 Mul Mul Mul tanh Pow x0 4 Mul -1 sech Pow x0 4 Mul Pow x0 3 4 Pow Add 1 Mul sech Pow x0 4 sech Pow x0 4 -1 Mul atan sech Pow x0 4 Mul sinh Pow x7 Add x0 cosh x4 Mul Pow x7 Add Add x0 cosh x4 -1 Mul x7 log x7 