Mul sin Pow atan E Pow x7 sec coth Mul x1 x0 -2 
Mul -2 Mul cos Pow atan E Pow x7 sec coth Mul x1 x0 Mul Pow atan E Add Pow x7 sec coth Mul x1 x0 -1 Mul Mul atan E log atan E Mul Pow x7 Add sec coth Mul x1 x0 -1 Mul Mul x7 log x7 Mul Mul tan coth Mul x1 x0 sec coth Mul x1 x0 Mul Mul -1 Pow csch Mul x1 x0 2 x1 