Mul x0 log Mul Pow cos x0 x0 Add pi -4 
Add log Mul Pow cos x0 x0 Add pi -4 Mul x0 Mul Mul Add pi -4 Mul Pow cos x0 Add x0 -1 Add Mul x0 Mul -1 sin x0 Mul cos x0 log cos x0 Pow Mul Pow cos x0 x0 Add pi -4 -1 