Pow asech Pow Pow Pow log Mul Pow Mul x0 x0 x0 Add x1 x0 x0 x5 log Pow x6 x0 Pow x3 x0 
Mul Pow asech Pow Pow Pow log Mul Pow Mul x0 x0 x0 Add x1 x0 x0 x5 log Pow x6 x0 Add Pow x3 x0 -1 Add Mul Pow x3 x0 Mul Mul Pow Pow Pow log Mul Pow Mul x0 x0 x0 Add x1 x0 x0 x5 Add log Pow x6 x0 -1 Add Mul log Pow x6 x0 Mul Pow Pow log Mul Pow Mul x0 x0 x0 Add x1 x0 x0 Add x5 -1 Mul x5 Mul Pow log Mul Pow Mul x0 x0 x0 Add x1 x0 Add x0 -1 Add Mul x0 Mul Add Mul Add x1 x0 Mul Pow Mul x0 x0 Add x0 -1 Add Mul x0 Add x0 x0 Mul Mul x0 x0 log Mul x0 x0 Pow Mul x0 x0 x0 Pow Mul Pow Mul x0 x0 x0 Add x1 x0 -1 Mul log Mul Pow Mul x0 x0 x0 Add x1 x0 log log Mul Pow Mul x0 x0 x0 Add x1 x0 Mul Mul Pow Pow log Mul Pow Mul x0 x0 x0 Add x1 x0 x0 x5 log Pow Pow log Mul Pow Mul x0 x0 x0 Add x1 x0 x0 x5 Mul Mul Pow x6 Add x0 -1 Mul x6 log x6 Pow Pow x6 x0 -1 Pow Mul Mul Pow Pow Pow log Mul Pow Mul x0 x0 x0 Add x1 x0 x0 x5 log Pow x6 x0 Pow Pow Pow log Mul Pow Mul x0 x0 x0 Add x1 x0 x0 x5 log Pow x6 x0 sqrt Add 1 Mul -1 Pow Mul Pow Pow Pow log Mul Pow Mul x0 x0 x0 Add x1 x0 x0 x5 log Pow x6 x0 Pow Pow Pow log Mul Pow Mul x0 x0 x0 Add x1 x0 x0 x5 log Pow x6 x0 -1 -1 Mul Mul asech Pow Pow Pow log Mul Pow Mul x0 x0 x0 Add x1 x0 x0 x5 log Pow x6 x0 log asech Pow Pow Pow log Mul Pow Mul x0 x0 x0 Add x1 x0 x0 x5 log Pow x6 x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 