log Pow Add 3 pi asech Add 4 Add Mul -4 x0 x0 
Mul Mul Pow Add 3 pi Add asech Add 4 Add Mul -4 x0 x0 -1 Mul Mul Add 3 pi log Add 3 pi Mul 3 Pow Mul Mul Add 4 Add Mul -4 x0 x0 Add 4 Add Mul -4 x0 x0 sqrt Add 1 Mul -1 Pow Mul Add 4 Add Mul -4 x0 x0 Add 4 Add Mul -4 x0 x0 -1 -1 Pow Pow Add 3 pi asech Add 4 Add Mul -4 x0 x0 -1 