Mul Add -2 Pow exp x0 Add atanh x0 x0 cosh Pow Mul Mul Add -2.31243834127275 x0 E Mul Pow x0 2 x0 x1 
Add Mul cosh Pow Mul Mul Add -2.31243834127275 x0 E Mul Pow x0 2 x0 x1 Mul Pow exp x0 Add Add atanh x0 x0 -1 Add Mul Add atanh x0 x0 exp x0 Mul Mul exp x0 log exp x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Mul Add -2 Pow exp x0 Add atanh x0 x0 Mul sinh Pow Mul Mul Add -2.31243834127275 x0 E Mul Pow x0 2 x0 x1 Mul Pow Mul Mul Add -2.31243834127275 x0 E Mul Pow x0 2 x0 Add x1 -1 Mul x1 Add Mul Mul Pow x0 2 x0 E Mul Mul Add -2.31243834127275 x0 E Add Mul x0 Mul x0 2 Pow x0 2 