log Pow Mul Pow Pow x0 3 cot x0 x1 cos coth acot x0 
Mul Mul Pow Mul Pow Pow x0 3 cot x0 x1 Add cos coth acot x0 -1 Add Mul cos coth acot x0 Mul x1 Mul Pow Pow x0 3 Add cot x0 -1 Add Mul cot x0 Mul Pow x0 2 3 Mul Mul Pow x0 3 log Pow x0 3 Mul -1 Pow csc x0 2 Mul Mul Mul Pow Pow x0 3 cot x0 x1 log Mul Pow Pow x0 3 cot x0 x1 Mul Mul -1 sin coth acot x0 Mul Mul -1 Pow csch acot x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Pow Mul Pow Pow x0 3 cot x0 x1 cos coth acot x0 -1 