Mul pi Mul asech x0 Pow Pow Mul x0 2 Pow Mul x0 x4 Mul x3 x1 x6 
Mul pi Add Mul Pow Pow Mul x0 2 Pow Mul x0 x4 Mul x3 x1 x6 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 Mul Pow Pow Mul x0 2 Pow Mul x0 x4 Mul x3 x1 Add x6 -1 Mul x6 Mul Pow Mul x0 2 Add Pow Mul x0 x4 Mul x3 x1 -1 Add Mul Pow Mul x0 x4 Mul x3 x1 2 Mul Mul Mul x0 2 log Mul x0 2 Mul Pow Mul x0 x4 Add Mul x3 x1 -1 Mul Mul x3 x1 x4 