Mul acot Pow Mul x1 sin x0 Mul x0 Pow x0 pi x3 
Mul x3 Mul -1 Mul Mul Pow Mul x1 sin x0 Add Mul x0 Pow x0 pi -1 Add Mul Mul x0 Pow x0 pi Mul x1 cos x0 Mul Mul Mul x1 sin x0 log Mul x1 sin x0 Add Pow x0 pi Mul x0 Mul Pow x0 Add pi -1 pi Pow Add 1 Mul Pow Mul x1 sin x0 Mul x0 Pow x0 pi Pow Mul x1 sin x0 Mul x0 Pow x0 pi -1 