Mul Pow cos x3 pi Pow sqrt x0 Pow Mul Mul x0 4 E x0 
Mul Pow cos x3 pi Mul Pow sqrt x0 Add Pow Mul Mul x0 4 E x0 -1 Add Mul Pow Mul Mul x0 4 E x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul Pow Mul Mul x0 4 E Add x0 -1 Add Mul x0 Mul E 4 Mul Mul Mul x0 4 E log Mul Mul x0 4 E 