Mul -3 Pow asech sqrt Mul Add Mul 4 Mul -4 x0 x0 Pow Mul x2 x2 3 x0 
Mul -3 Mul Pow asech sqrt Mul Add Mul 4 Mul -4 x0 x0 Pow Mul x2 x2 3 Add x0 -1 Add Mul x0 Mul Mul Pow Mul 2 sqrt Mul Add Mul 4 Mul -4 x0 x0 Pow Mul x2 x2 3 -1 Pow Mul x2 x2 3 Pow Mul Mul sqrt Mul Add Mul 4 Mul -4 x0 x0 Pow Mul x2 x2 3 sqrt Mul Add Mul 4 Mul -4 x0 x0 Pow Mul x2 x2 3 sqrt Add 1 Mul -1 Pow Mul sqrt Mul Add Mul 4 Mul -4 x0 x0 Pow Mul x2 x2 3 sqrt Mul Add Mul 4 Mul -4 x0 x0 Pow Mul x2 x2 3 -1 -1 Mul asech sqrt Mul Add Mul 4 Mul -4 x0 x0 Pow Mul x2 x2 3 log asech sqrt Mul Add Mul 4 Mul -4 x0 x0 Pow Mul x2 x2 3 