Add exp x0 Pow Add -3 asech Add 2 Mul Mul Mul x0 Mul 2 sech sqrt x0 x0 5 acosh acos x0 
Add exp x0 Mul Pow Add -3 asech Add 2 Mul Mul Mul x0 Mul 2 sech sqrt x0 x0 5 Add acosh acos x0 -1 Add Mul acosh acos x0 Mul Mul 5 Add Mul x0 Add Mul 2 sech sqrt x0 Mul x0 Mul 2 Mul Mul tanh sqrt x0 Mul -1 sech sqrt x0 Pow Mul 2 sqrt x0 -1 Mul x0 Mul 2 sech sqrt x0 Pow Mul Mul Add 2 Mul Mul Mul x0 Mul 2 sech sqrt x0 x0 5 Add 2 Mul Mul Mul x0 Mul 2 sech sqrt x0 x0 5 sqrt Add 1 Mul -1 Pow Mul Add 2 Mul Mul Mul x0 Mul 2 sech sqrt x0 x0 5 Add 2 Mul Mul Mul x0 Mul 2 sech sqrt x0 x0 5 -1 -1 Mul Mul Add -3 asech Add 2 Mul Mul Mul x0 Mul 2 sech sqrt x0 x0 5 log Add -3 asech Add 2 Mul Mul Mul x0 Mul 2 sech sqrt x0 x0 5 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add acos x0 -1 sqrt Add 1 acos x0 -1 