Mul x7 Add Add Add Pow cosh Pow Add 2 x0 E acosh Pow x0 -2 x0 atanh Add x0 x0 x0 
Mul x7 Add Add Add Mul Pow cosh Pow Add 2 x0 E Add acosh Pow x0 -2 -1 Add Mul acosh Pow x0 -2 Mul sinh Pow Add 2 x0 E Mul Pow Add 2 x0 Add E -1 E Mul Mul cosh Pow Add 2 x0 E log cosh Pow Add 2 x0 E Mul Mul Pow x0 3 -2 Pow Mul sqrt Add Pow x0 -2 -1 sqrt Add 1 Pow x0 -2 -1 1 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 1 