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