Add asech log Mul Pow x1 Mul -2 Pow x1 Mul Mul x0 2 x5 -5 x0 
Add Mul Mul Mul -5 Mul Pow x1 Add Mul -2 Pow x1 Mul Mul x0 2 x5 -1 Mul Mul x1 log x1 Mul -2 Mul Pow x1 Add Mul Mul x0 2 x5 -1 Mul Mul x1 log x1 Mul x5 2 Pow Mul Pow x1 Mul -2 Pow x1 Mul Mul x0 2 x5 -5 -1 Pow Mul Mul log Mul Pow x1 Mul -2 Pow x1 Mul Mul x0 2 x5 -5 log Mul Pow x1 Mul -2 Pow x1 Mul Mul x0 2 x5 -5 sqrt Add 1 Mul -1 Pow Mul log Mul Pow x1 Mul -2 Pow x1 Mul Mul x0 2 x5 -5 log Mul Pow x1 Mul -2 Pow x1 Mul Mul x0 2 x5 -5 -1 -1 1 