asech Pow Pow log Mul Pow pi x0 x1 Mul x0 x0 pi 
Mul Mul Pow Pow log Mul Pow pi x0 x1 Mul x0 x0 Add pi -1 Mul pi Mul Pow log Mul Pow pi x0 x1 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Mul x1 Mul Pow pi Add x0 -1 Mul pi log pi Pow Mul Pow pi x0 x1 -1 Mul Mul log Mul Pow pi x0 x1 log log Mul Pow pi x0 x1 Add x0 x0 Pow Mul Mul Pow Pow log Mul Pow pi x0 x1 Mul x0 x0 pi Pow Pow log Mul Pow pi x0 x1 Mul x0 x0 pi sqrt Add 1 Mul -1 Pow Mul Pow Pow log Mul Pow pi x0 x1 Mul x0 x0 pi Pow Pow log Mul Pow pi x0 x1 Mul x0 x0 pi -1 -1 