Add Add Pow sqrt tan cosh x0 Add pi Add coth Add -1 x0 x1 pi 1 
Mul Pow sqrt tan cosh x0 Add Add pi Add coth Add -1 x0 x1 -1 Add Mul Add pi Add coth Add -1 x0 x1 Mul Pow Mul 2 sqrt tan cosh x0 -1 Mul Pow sec cosh x0 2 sinh x0 Mul Mul sqrt tan cosh x0 log sqrt tan cosh x0 Mul -1 Pow csch Add -1 x0 2 