Mul x0 Pow Add x0 Add atan x0 Pow x7 Add x0 4 Mul cosh x0 -2 
Add Pow Add x0 Add atan x0 Pow x7 Add x0 4 Mul cosh x0 -2 Mul x0 Mul Pow Add x0 Add atan x0 Pow x7 Add x0 4 Add Mul cosh x0 -2 -1 Add Mul Mul cosh x0 -2 Add 1 Add Pow Add 1 Mul x0 x0 -1 Mul Pow x7 Add Add x0 4 -1 Mul x7 log x7 Mul Mul Add x0 Add atan x0 Pow x7 Add x0 4 log Add x0 Add atan x0 Pow x7 Add x0 4 Mul -2 sinh x0 