Pow asech Pow Mul -3 Mul x2 -3 x2 Pow Mul x0 x0 E 
Mul Pow asech Pow Mul -3 Mul x2 -3 x2 Add Pow Mul x0 x0 E -1 Mul Mul asech Pow Mul -3 Mul x2 -3 x2 log asech Pow Mul -3 Mul x2 -3 x2 Mul Pow Mul x0 x0 Add E -1 Mul E Add x0 x0 