Pow Mul x0 -3 asech Mul Mul -2 Pow exp Pow x0 Mul x0 x0 x0 Add x0 x5 
Mul Pow Mul x0 -3 Add asech Mul Mul -2 Pow exp Pow x0 Mul x0 x0 x0 Add x0 x5 -1 Add Mul asech Mul Mul -2 Pow exp Pow x0 Mul x0 x0 x0 Add x0 x5 -3 Mul Mul Mul x0 -3 log Mul x0 -3 Mul Add Mul Add x0 x5 Mul -2 Mul Pow exp Pow x0 Mul x0 x0 Add x0 -1 Add Mul x0 Mul exp Pow x0 Mul x0 x0 Mul Pow x0 Add Mul x0 x0 -1 Add Mul x0 x0 Mul Mul x0 log x0 Add x0 x0 Mul exp Pow x0 Mul x0 x0 log exp Pow x0 Mul x0 x0 Mul -2 Pow exp Pow x0 Mul x0 x0 x0 Pow Mul Mul Mul Mul -2 Pow exp Pow x0 Mul x0 x0 x0 Add x0 x5 Mul Mul -2 Pow exp Pow x0 Mul x0 x0 x0 Add x0 x5 sqrt Add 1 Mul -1 Pow Mul Mul Mul -2 Pow exp Pow x0 Mul x0 x0 x0 Add x0 x5 Mul Mul -2 Pow exp Pow x0 Mul x0 x0 x0 Add x0 x5 -1 -1 