sinh Add Pow Add x0 acot Mul x0 x0 Pow asech x7 x5 x0 
Mul cosh Add Pow Add x0 acot Mul x0 x0 Pow asech x7 x5 x0 Add Mul Pow Add x0 acot Mul x0 x0 Add Pow asech x7 x5 -1 Mul Pow asech x7 x5 Add 1 Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 1 