acot Pow Mul x0 Mul x0 Pow cos exp x1 pi x0 
Mul -1 Mul Mul Pow Mul x0 Mul x0 Pow cos exp x1 pi Add x0 -1 Add Mul x0 Add Mul x0 Pow cos exp x1 pi Mul x0 Pow cos exp x1 pi Mul Mul x0 Mul x0 Pow cos exp x1 pi log Mul x0 Mul x0 Pow cos exp x1 pi Pow Add 1 Mul Pow Mul x0 Mul x0 Pow cos exp x1 pi x0 Pow Mul x0 Mul x0 Pow cos exp x1 pi x0 -1 