atan Mul cosh Mul x0 Pow 5 log x0 acosh x7 
Mul Mul acosh x7 Mul sinh Mul x0 Pow 5 log x0 Add Pow 5 log x0 Mul x0 Mul Pow 5 Add log x0 -1 Mul 6.60943791243410 Pow x0 -1 Pow Add 1 Mul Mul cosh Mul x0 Pow 5 log x0 acosh x7 Mul cosh Mul x0 Pow 5 log x0 acosh x7 -1 