Mul 1.24904577239825 Mul cosh x2 Mul Pow Add Mul -0.000976562500000000 Add x0 E x0 x0 x0 
Mul 1.24904577239825 Mul cosh x2 Add Mul x0 Mul Pow Add Mul -0.000976562500000000 Add x0 E x0 Add x0 -1 Add Mul x0 0.999023437500000 Mul Add Mul -0.000976562500000000 Add x0 E x0 log Add Mul -0.000976562500000000 Add x0 E x0 Pow Add Mul -0.000976562500000000 Add x0 E x0 x0 