Add x0 Mul sinh Pow sinh asinh x7 x0 Pow x0 atanh Pow x3 3 
Add 1 Add Mul Pow x0 atanh Pow x3 3 Mul cosh Pow sinh asinh x7 x0 Mul Pow sinh asinh x7 Add x0 -1 Mul sinh asinh x7 log sinh asinh x7 Mul sinh Pow sinh asinh x7 x0 Mul Pow x0 Add atanh Pow x3 3 -1 atanh Pow x3 3 