Mul x0 cosh Pow Pow x0 -1.98437500000000 asinh Mul -3 x1 
Add cosh Pow Pow x0 -1.98437500000000 asinh Mul -3 x1 Mul x0 Mul sinh Pow Pow x0 -1.98437500000000 asinh Mul -3 x1 Mul Pow Pow x0 -1.98437500000000 Add asinh Mul -3 x1 -1 Mul asinh Mul -3 x1 Mul Pow x0 -2.98437500000000 -1.98437500000000 