Add Mul Add Pow csch Add x0 1 Pow cosh x0 tan E Add tan Add x0 2 x0 x0 Add x4 Mul x0 x1 
Add Add Mul x0 Add Mul Pow csch Add x0 1 Add Pow cosh x0 tan E -1 Add Mul Pow cosh x0 tan E Mul Mul -1 coth Add x0 1 csch Add x0 1 Mul Mul csch Add x0 1 log csch Add x0 1 Mul Pow cosh x0 Add tan E -1 Mul tan E sinh x0 Add Pow sec Add x0 2 2 1 Add Pow csch Add x0 1 Pow cosh x0 tan E Add tan Add x0 2 x0 x1 