Add Pow Mul Mul x4 -1 x0 Pow x0 Mul x0 asech Mul x3 x0 x0 
Add Mul Pow Mul Mul x4 -1 x0 Add Pow x0 Mul x0 asech Mul x3 x0 -1 Add Mul Pow x0 Mul x0 asech Mul x3 x0 Mul x4 -1 Mul Mul Mul Mul x4 -1 x0 log Mul Mul x4 -1 x0 Mul Pow x0 Add Mul x0 asech Mul x3 x0 -1 Add Mul x0 asech Mul x3 x0 Mul Mul x0 log x0 Add asech Mul x3 x0 Mul x0 Mul x3 Pow Mul Mul Mul x3 x0 Mul x3 x0 sqrt Add 1 Mul -1 Pow Mul Mul x3 x0 Mul x3 x0 -1 -1 1 