Mul 5 sinh Add Pow Add x6 0.250000000000000 Mul -4 x0 sqrt x0 
Mul 5 Mul cosh Add Pow Add x6 0.250000000000000 Mul -4 x0 sqrt x0 Add Mul Pow Add x6 0.250000000000000 Add Mul -4 x0 -1 Mul Mul Add x6 0.250000000000000 log Add x6 0.250000000000000 -4 Pow Mul 2 sqrt x0 -1 