Pow Mul cot x0 x0 Mul x0 Mul acosh Mul atanh Pow atan x5 x4 Mul x5 x5 x0 
Mul Pow Mul cot x0 x0 Add Mul x0 Mul acosh Mul atanh Pow atan x5 x4 Mul x5 x5 x0 -1 Add Mul Mul x0 Mul acosh Mul atanh Pow atan x5 x4 Mul x5 x5 x0 Add Mul x0 Mul -1 Pow csc x0 2 cot x0 Mul Mul Mul cot x0 x0 log Mul cot x0 x0 Add Mul acosh Mul atanh Pow atan x5 x4 Mul x5 x5 x0 Mul x0 acosh Mul atanh Pow atan x5 x4 Mul x5 x5 