sqrt Pow Add Pow x0 Pow Mul Mul Add -2 Mul x0 0.756802495307928 -3 acosh x2 x0 Add 2 Add cosh x7 x2 4 
Mul Pow Mul 2 sqrt Pow Add Pow x0 Pow Mul Mul Add -2 Mul x0 0.756802495307928 -3 acosh x2 x0 Add 2 Add cosh x7 x2 4 -1 Mul Pow Add Pow x0 Pow Mul Mul Add -2 Mul x0 0.756802495307928 -3 acosh x2 x0 Add 2 Add cosh x7 x2 3 Mul 4 Mul Pow x0 Add Pow Mul Mul Add -2 Mul x0 0.756802495307928 -3 acosh x2 x0 -1 Add Pow Mul Mul Add -2 Mul x0 0.756802495307928 -3 acosh x2 x0 Mul Mul x0 log x0 Mul Pow Mul Mul Add -2 Mul x0 0.756802495307928 -3 acosh x2 Add x0 -1 Add Mul x0 Mul acosh x2 -2.24319750469207 Mul Mul Mul Add -2 Mul x0 0.756802495307928 -3 acosh x2 log Mul Mul Add -2 Mul x0 0.756802495307928 -3 acosh x2 