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