Mul Pow 2 Mul x0 Pow exp acot pi x0 x0 
Add Mul x0 Mul Pow 2 Add Mul x0 Pow exp acot pi x0 -1 Mul 2.69314718055995 Add Pow exp acot pi x0 Mul x0 Mul Pow exp acot pi Add x0 -1 Mul exp acot pi log exp acot pi Pow 2 Mul x0 Pow exp acot pi x0 