Mul Mul Pow x0 Pow Pow asec sin x0 x7 4 acot cot x1 x3 
Mul x3 Mul acot cot x1 Mul Pow x0 Add Pow Pow asec sin x0 x7 4 -1 Add Pow Pow asec sin x0 x7 4 Mul Mul x0 log x0 Mul Pow Pow asec sin x0 x7 3 Mul 4 Mul Pow asec sin x0 Add x7 -1 Mul x7 Mul cos x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sin x0 sin x0 -1 sin x0 sin x0 -1 