Add exp Mul x0 Mul x0 Pow 2 x0 cosh Mul x0 Add 3 cos atanh Add acosh x0 2 
Add Mul exp Mul x0 Mul x0 Pow 2 x0 Add Mul x0 Pow 2 x0 Mul x0 Add Pow 2 x0 Mul x0 Mul Pow 2 Add x0 -1 2.69314718055995 Mul sinh Mul x0 Add 3 cos atanh Add acosh x0 2 Add Add 3 cos atanh Add acosh x0 2 Mul x0 Mul Mul -1 sin atanh Add acosh x0 2 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul Add acosh x0 2 Add acosh x0 2 -1 