atanh Mul Mul Mul cot Add Mul csc x0 Mul Mul x0 x0 x1 x0 x1 x2 x4 
Mul Mul x4 Mul x2 Mul x1 Mul Mul -1 Pow csc Add Mul csc x0 Mul Mul x0 x0 x1 x0 2 Add Add Mul Mul Mul x0 x0 x1 Mul Mul -1 cot x0 csc x0 Mul csc x0 Mul x1 Add x0 x0 1 Pow Add 1 Mul -1 Mul Mul Mul Mul cot Add Mul csc x0 Mul Mul x0 x0 x1 x0 x1 x2 x4 Mul Mul Mul cot Add Mul csc x0 Mul Mul x0 x0 x1 x0 x1 x2 x4 -1 