tan cos cos Mul Pow x7 sin x0 x0 
Mul Pow sec cos cos Mul Pow x7 sin x0 x0 2 Mul Mul -1 sin cos Mul Pow x7 sin x0 x0 Mul Mul -1 sin Mul Pow x7 sin x0 x0 Add Mul x0 Mul Pow x7 Add sin x0 -1 Mul Mul x7 log x7 cos x0 Pow x7 sin x0 