sqrt Pow x0 Add Mul x0 cosh x3 Pow exp x0 -0.841470984807897 
Mul Pow Mul 2 sqrt Pow x0 Add Mul x0 cosh x3 Pow exp x0 -0.841470984807897 -1 Mul Pow x0 Add Add Mul x0 cosh x3 Pow exp x0 -0.841470984807897 -1 Add Add Mul x0 cosh x3 Pow exp x0 -0.841470984807897 Mul Mul x0 log x0 Add cosh x3 Mul Pow exp x0 -1.84147098480790 Mul -0.841470984807897 exp x0 