Add 1.38629436111989 acos asech Mul 6 Pow exp E x0 
Mul -1 Mul Mul Mul 6 Mul Pow exp E Add x0 -1 Mul exp E log exp E Pow Mul Mul Mul 6 Pow exp E x0 Mul 6 Pow exp E x0 sqrt Add 1 Mul -1 Pow Mul Mul 6 Pow exp E x0 Mul 6 Pow exp E x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech Mul 6 Pow exp E x0 asech Mul 6 Pow exp E x0 -1 