Add Mul Mul x3 Mul x4 sec atanh cot x0 x0 x1 
Add Mul x0 Mul x3 Mul x4 Mul Mul tan atanh cot x0 sec atanh cot x0 Mul Mul -1 Pow csc x0 2 Pow Add 1 Mul -1 Mul cot x0 cot x0 -1 Mul x3 Mul x4 sec atanh cot x0 