Pow Mul x0 x1 log Mul acot x5 Pow x0 pi 
Mul Pow Mul x0 x1 Add log Mul acot x5 Pow x0 pi -1 Add Mul log Mul acot x5 Pow x0 pi x1 Mul Mul Mul x0 x1 log Mul x0 x1 Mul Mul acot x5 Mul Pow x0 Add pi -1 pi Pow Mul acot x5 Pow x0 pi -1 