Mul Pow 2 Pow Add sqrt x0 Mul -3 acosh x3 Mul x2 x0 x0 
Add Mul x0 Mul Pow 2 Add Pow Add sqrt x0 Mul -3 acosh x3 Mul x2 x0 -1 Mul 2.69314718055995 Mul Pow Add sqrt x0 Mul -3 acosh x3 Add Mul x2 x0 -1 Add Mul Mul x2 x0 Pow Mul 2 sqrt x0 -1 Mul Mul Add sqrt x0 Mul -3 acosh x3 log Add sqrt x0 Mul -3 acosh x3 x2 Pow 2 Pow Add sqrt x0 Mul -3 acosh x3 Mul x2 x0 