Mul Mul exp log x0 -2 Mul cosh x5 Pow x0 Pow tanh x0 Add x0 2 
Add Mul Mul cosh x5 Pow x0 Pow tanh x0 Add x0 2 Mul -2 Mul exp log x0 Pow x0 -1 Mul Mul exp log x0 -2 Mul cosh x5 Mul Pow x0 Add Pow tanh x0 Add x0 2 -1 Add Pow tanh x0 Add x0 2 Mul Mul x0 log x0 Mul Pow tanh x0 Add Add x0 2 -1 Add Mul Add x0 2 Pow sech x0 2 Mul tanh x0 log tanh x0 