Mul csch x4 Add Pow atan sin x0 x0 Mul Pow x0 2 Mul x0 Pow Mul x0 x0 -4 
Mul csch x4 Add Mul Pow atan sin x0 Add x0 -1 Add Mul x0 Mul cos x0 Pow Add 1 Mul sin x0 sin x0 -1 Mul atan sin x0 log atan sin x0 Add Mul Mul x0 Pow Mul x0 x0 -4 Mul x0 2 Mul Pow x0 2 Add Pow Mul x0 x0 -4 Mul x0 Mul Pow Mul x0 x0 5 Mul -4 Add x0 x0 