Pow Mul x4 Mul x0 cot sin Mul x0 x1 asech x4 
Mul Pow Mul x4 Mul x0 cot sin Mul x0 x1 Add asech x4 -1 Mul asech x4 Mul x4 Add cot sin Mul x0 x1 Mul x0 Mul Mul -1 Pow csc sin Mul x0 x1 2 Mul cos Mul x0 x1 x1 