Pow log sinh Pow Add Mul -2 sinh exp Add x0 x0 3 Add x0 -2 -6.01787492740990 
Mul Pow log sinh Pow Add Mul -2 sinh exp Add x0 x0 3 Add x0 -2 -7.01787492740990 Mul -6.01787492740990 Mul Mul cosh Pow Add Mul -2 sinh exp Add x0 x0 3 Add x0 -2 Mul Pow Add Mul -2 sinh exp Add x0 x0 3 Add Add x0 -2 -1 Add Mul Add x0 -2 Mul -2 Mul cosh exp Add x0 x0 Mul exp Add x0 x0 2 Mul Add Mul -2 sinh exp Add x0 x0 3 log Add Mul -2 sinh exp Add x0 x0 3 Pow sinh Pow Add Mul -2 sinh exp Add x0 x0 3 Add x0 -2 -1 