atanh Add Pow Mul cot Add Pow x0 5 1 x0 acot x0 x6 
Mul Mul Pow Mul cot Add Pow x0 5 1 x0 Add acot x0 -1 Add Mul acot x0 Add Mul x0 Mul Mul -1 Pow csc Add Pow x0 5 1 2 Mul Pow x0 4 5 cot Add Pow x0 5 1 Mul Mul Mul cot Add Pow x0 5 1 x0 log Mul cot Add Pow x0 5 1 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add Pow Mul cot Add Pow x0 5 1 x0 acot x0 x6 Add Pow Mul cot Add Pow x0 5 1 x0 acot x0 x6 -1 