atanh Mul Pow Mul x4 x2 coth Add 1 tan csc x0 x1 
Mul Mul x1 Mul Pow Mul x4 x2 Add coth Add 1 tan csc x0 -1 Mul Mul Mul x4 x2 log Mul x4 x2 Mul Mul -1 Pow csch Add 1 tan csc x0 2 Mul Pow sec csc x0 2 Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul -1 Mul Mul Pow Mul x4 x2 coth Add 1 tan csc x0 x1 Mul Pow Mul x4 x2 coth Add 1 tan csc x0 x1 -1 