exp Pow tanh Add x0 -3 sqrt x0 
Mul exp Pow tanh Add x0 -3 sqrt x0 Mul Pow tanh Add x0 -3 Add sqrt x0 -1 Add Mul sqrt x0 Pow sech Add x0 -3 2 Mul Mul tanh Add x0 -3 log tanh Add x0 -3 Pow Mul 2 sqrt x0 -1 