Mul asech Mul x0 Pow sin x0 x0 x3 
Mul x3 Mul Add Pow sin x0 x0 Mul x0 Mul Pow sin x0 Add x0 -1 Add Mul x0 cos x0 Mul sin x0 log sin x0 Pow Mul Mul Mul x0 Pow sin x0 x0 Mul x0 Pow sin x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 Pow sin x0 x0 Mul x0 Pow sin x0 x0 -1 -1 