Mul asinh cosh Pow x1 x0 Mul Add Pow Pow asech asinh x5 Mul 2 x7 x7 x0 x0 
Add Mul Mul Add Pow Pow asech asinh x5 Mul 2 x7 x7 x0 x0 Mul Mul sinh Pow x1 x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow sqrt Add 1 Mul cosh Pow x1 x0 cosh Pow x1 x0 -1 Mul asinh cosh Pow x1 x0 Add x0 Add Pow Pow asech asinh x5 Mul 2 x7 x7 x0 