atanh Mul x0 Mul csc x0 acsc acot Pow x5 Pow x3 -4 
Mul Add Mul csc x0 acsc acot Pow x5 Pow x3 -4 Mul x0 Mul acsc acot Pow x5 Pow x3 -4 Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul -1 Mul Mul x0 Mul csc x0 acsc acot Pow x5 Pow x3 -4 Mul x0 Mul csc x0 acsc acot Pow x5 Pow x3 -4 -1 