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