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