cosh Mul Pow x0 0.250000000000000 Add Mul 0.841470984807897 x0 Pow acosh E Add x0 x1 
Mul sinh Mul Pow x0 0.250000000000000 Add Mul 0.841470984807897 x0 Pow acosh E Add x0 x1 Add Mul Add Mul 0.841470984807897 x0 Pow acosh E Add x0 x1 Mul Pow x0 -0.750000000000000 0.250000000000000 Mul Pow x0 0.250000000000000 Add 0.841470984807897 Mul Pow acosh E Add Add x0 x1 -1 Mul acosh E log acosh E 