Mul tanh Mul Mul cos sech x0 x0 sec atanh x2 x0 
Add Mul x0 Mul Pow sech Mul Mul cos sech x0 x0 sec atanh x2 2 Mul sec atanh x2 Add Mul x0 Mul Mul -1 sin sech x0 Mul tanh x0 Mul -1 sech x0 cos sech x0 tanh Mul Mul cos sech x0 x0 sec atanh x2 