Pow sech x0 Add Mul Mul E 4 2 Mul Add 1 x0 sqrt x0 
Mul Pow sech x0 Add Add Mul Mul E 4 2 Mul Add 1 x0 sqrt x0 -1 Add Mul Add Mul Mul E 4 2 Mul Add 1 x0 sqrt x0 Mul tanh x0 Mul -1 sech x0 Mul Mul sech x0 log sech x0 Add sqrt x0 Mul Add 1 x0 Pow Mul 2 sqrt x0 -1 