Mul Mul Add atanh cosh x0 x0 x0 Add 0.958924274663138 Add x0 sinh Mul Pow x0 E 2 
Add Mul Add 0.958924274663138 Add x0 sinh Mul Pow x0 E 2 Add Mul x0 Add Mul sinh x0 Pow Add 1 Mul -1 Mul cosh x0 cosh x0 -1 1 Add atanh cosh x0 x0 Mul Mul Add atanh cosh x0 x0 x0 Add 1 Mul cosh Mul Pow x0 E 2 Mul 2 Mul Pow x0 Add E -1 E 