Mul acos Pow x0 cosh x7 log Add Pow x3 1.77215424758523 x0 
Add Mul log Add Pow x3 1.77215424758523 x0 Mul -1 Mul Mul Pow x0 Add cosh x7 -1 cosh x7 Pow sqrt Add 1 Mul -1 Mul Pow x0 cosh x7 Pow x0 cosh x7 -1 Mul acos Pow x0 cosh x7 Pow Add Pow x3 1.77215424758523 x0 -1 