exp Mul Mul cos sin x0 Mul x0 exp Mul x0 4 -5 
Mul exp Mul Mul cos sin x0 Mul x0 exp Mul x0 4 -5 Mul -5 Add Mul Mul x0 exp Mul x0 4 Mul Mul -1 sin sin x0 cos x0 Mul cos sin x0 Add exp Mul x0 4 Mul x0 Mul exp Mul x0 4 4 