tanh Mul Pow E x0 Add x5 Mul -2 Add Mul x0 x0 x0 
Mul Pow sech Mul Pow E x0 Add x5 Mul -2 Add Mul x0 x0 x0 2 Add Mul Add x5 Mul -2 Add Mul x0 x0 x0 Mul Pow E Add x0 -1 Mul E log E Mul Pow E x0 Mul -2 Add Add x0 x0 1 