atanh Add Mul x0 Pow x0 4 sqrt Mul Mul x0 -3 cot x0 
Mul Add Add Pow x0 4 Mul x0 Mul Pow x0 3 4 Mul Pow Mul 2 sqrt Mul Mul x0 -3 cot x0 -1 Add Mul cot x0 -3 Mul Mul x0 -3 Mul -1 Pow csc x0 2 Pow Add 1 Mul -1 Mul Add Mul x0 Pow x0 4 sqrt Mul Mul x0 -3 cot x0 Add Mul x0 Pow x0 4 sqrt Mul Mul x0 -3 cot x0 -1 