Mul -2 Mul exp E asech Pow x0 0.714819784115254 
Mul -2 Mul exp E Mul Mul Pow x0 -0.285180215884746 0.714819784115254 Pow Mul Mul Pow x0 0.714819784115254 Pow x0 0.714819784115254 sqrt Add 1 Mul -1 Pow Mul Pow x0 0.714819784115254 Pow x0 0.714819784115254 -1 -1 