sinh Pow Add x0 Pow x0 asinh Add Mul -3 acosh x6 x6 -3 
Mul cosh Pow Add x0 Pow x0 asinh Add Mul -3 acosh x6 x6 -3 Mul Pow Add x0 Pow x0 asinh Add Mul -3 acosh x6 x6 4 Mul -3 Add 1 Mul Pow x0 Add asinh Add Mul -3 acosh x6 x6 -1 asinh Add Mul -3 acosh x6 x6 