Mul Mul -2 atanh exp Pow x4 cot x0 -5 
Mul -5 Mul -2 Mul Mul exp Pow x4 cot x0 Mul Pow x4 Add cot x0 -1 Mul Mul x4 log x4 Mul -1 Pow csc x0 2 Pow Add 1 Mul -1 Mul exp Pow x4 cot x0 exp Pow x4 cot x0 -1 