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