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