Mul x0 cot Mul x4 cos sec acot x0 
Add cot Mul x4 cos sec acot x0 Mul x0 Mul Mul -1 Pow csc Mul x4 cos sec acot x0 2 Mul x4 Mul Mul -1 sin sec acot x0 Mul Mul tan acot x0 sec acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 