sech Mul Pow x0 Pow tanh x1 Add x0 3 x0 
Mul Mul tanh Mul Pow x0 Pow tanh x1 Add x0 3 x0 Mul -1 sech Mul Pow x0 Pow tanh x1 Add x0 3 x0 Add Mul x0 Mul Pow x0 Add Pow tanh x1 Add x0 3 -1 Add Pow tanh x1 Add x0 3 Mul Mul x0 log x0 Mul Pow tanh x1 Add Add x0 3 -1 Mul tanh x1 log tanh x1 Pow x0 Pow tanh x1 Add x0 3 