Add sinh Add x0 Pow tanh sinh acot x0 x6 x1 
Mul cosh Add x0 Pow tanh sinh acot x0 x6 Add 1 Mul Pow tanh sinh acot x0 Add x6 -1 Mul x6 Mul Pow sech sinh acot x0 2 Mul cosh acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 