Add x0 Pow exp Pow cosh Pow x0 2 Pow pi 3 Add tanh x0 x0 
Add 1 Mul Pow exp Pow cosh Pow x0 2 Pow pi 3 Add Add tanh x0 x0 -1 Add Mul Add tanh x0 x0 Mul exp Pow cosh Pow x0 2 Pow pi 3 Mul Pow cosh Pow x0 2 Add Pow pi 3 -1 Mul Pow pi 3 Mul sinh Pow x0 2 Mul x0 2 Mul Mul exp Pow cosh Pow x0 2 Pow pi 3 log exp Pow cosh Pow x0 2 Pow pi 3 Add Pow sech x0 2 1 