sech Mul x0 Mul Pow x0 x6 Pow coth tan log atan x0 x0 
Mul Mul tanh Mul x0 Mul Pow x0 x6 Pow coth tan log atan x0 x0 Mul -1 sech Mul x0 Mul Pow x0 x6 Pow coth tan log atan x0 x0 Add Mul Pow x0 x6 Pow coth tan log atan x0 x0 Mul x0 Add Mul Pow coth tan log atan x0 x0 Mul Pow x0 Add x6 -1 x6 Mul Pow x0 x6 Mul Pow coth tan log atan x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch tan log atan x0 2 Mul Pow sec log atan x0 2 Mul Pow Add 1 Mul x0 x0 -1 Pow atan x0 -1 Mul coth tan log atan x0 log coth tan log atan x0 