Add Mul sec sech x0 Pow coth exp exp x0 acos log Mul -3 x3 x0 
Add Add Mul Pow coth exp exp x0 acos log Mul -3 x3 Mul Mul tan sech x0 sec sech x0 Mul tanh x0 Mul -1 sech x0 Mul sec sech x0 Mul Pow coth exp exp x0 Add acos log Mul -3 x3 -1 Mul acos log Mul -3 x3 Mul Mul -1 Pow csch exp exp x0 2 Mul exp exp x0 exp x0 1 