Mul x0 Mul Mul Mul -4 x0 Pow x0 Add x4 Add x0 atan cosh x0 Mul Add -0.995054753686730 x0 acosh x3 
Add Mul Mul Mul -4 x0 Pow x0 Add x4 Add x0 atan cosh x0 Mul Add -0.995054753686730 x0 acosh x3 Mul x0 Add Mul Mul Add -0.995054753686730 x0 acosh x3 Add Mul Pow x0 Add x4 Add x0 atan cosh x0 -4 Mul Mul -4 x0 Mul Pow x0 Add Add x4 Add x0 atan cosh x0 -1 Add Add x4 Add x0 atan cosh x0 Mul Mul x0 log x0 Add 1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 Mul Mul Mul -4 x0 Pow x0 Add x4 Add x0 atan cosh x0 acosh x3 