acot Pow Mul x0 asec Mul x0 cos x0 -3 
Mul -1 Mul Mul Pow Mul x0 asec Mul x0 cos x0 4 Mul -3 Add asec Mul x0 cos x0 Mul x0 Mul Add cos x0 Mul x0 Mul -1 sin x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 cos x0 Mul x0 cos x0 -1 Mul x0 cos x0 Mul x0 cos x0 -1 Pow Add 1 Mul Pow Mul x0 asec Mul x0 cos x0 -3 Pow Mul x0 asec Mul x0 cos x0 -3 -1 