sinh Mul x0 Pow Add Add -1 x0 asech x2 x0 
Mul cosh Mul x0 Pow Add Add -1 x0 asech x2 x0 Add Pow Add Add -1 x0 asech x2 x0 Mul x0 Mul Pow Add Add -1 x0 asech x2 Add x0 -1 Add x0 Mul Add Add -1 x0 asech x2 log Add Add -1 x0 asech x2 