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