cos atanh Add sin Pow x0 coth Add x6 acot sin Pow x0 x1 x0 
Mul Mul -1 sin atanh Add sin Pow x0 coth Add x6 acot sin Pow x0 x1 x0 Mul Add Mul cos Pow x0 coth Add x6 acot sin Pow x0 x1 Mul Pow x0 Add coth Add x6 acot sin Pow x0 x1 -1 Add coth Add x6 acot sin Pow x0 x1 Mul Mul x0 log x0 Mul Mul -1 Pow csch Add x6 acot sin Pow x0 x1 2 Mul -1 Mul Mul cos Pow x0 x1 Mul Pow x0 Add x1 -1 x1 Pow Add 1 Mul sin Pow x0 x1 sin Pow x0 x1 -1 1 Pow Add 1 Mul -1 Mul Add sin Pow x0 coth Add x6 acot sin Pow x0 x1 x0 Add sin Pow x0 coth Add x6 acot sin Pow x0 x1 x0 -1 