Mul x0 log sinh Mul Add -4 Mul acos x0 x0 Add E x6 
Add log sinh Mul Add -4 Mul acos x0 x0 Add E x6 Mul x0 Mul Mul cosh Mul Add -4 Mul acos x0 x0 Add E x6 Mul Add E x6 Add Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 acos x0 Pow sinh Mul Add -4 Mul acos x0 x0 Add E x6 -1 