4.051 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.024 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying using # : (+ x (* (* y z) z)) 0.028 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.028 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.030 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 0.031 * * [simplify]: iteration done : 12 enodes (cost 7 ) 0.031 * [simplify]: Simplified to: (+ x (* (* y z) z)) 0.031 * * [progress]: iteration 1 / 4 0.031 * * * [progress]: picking best candidate 0.034 * * * * [pick]: Picked # 0.034 * * * [progress]: localizing error 0.039 * * * [progress]: generating rewritten candidates 0.039 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.046 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.051 * * * [progress]: generating series expansions 0.051 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.055 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0 0.056 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.056 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.056 * [taylor]: Taking taylor expansion of z in z 0.056 * [taylor]: Taking taylor expansion of y in z 0.057 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.057 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.057 * [taylor]: Taking taylor expansion of z in y 0.057 * [taylor]: Taking taylor expansion of y in y 0.057 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.057 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.057 * [taylor]: Taking taylor expansion of z in y 0.057 * [taylor]: Taking taylor expansion of y in y 0.058 * [taylor]: Taking taylor expansion of 0 in z 0.064 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.064 * [taylor]: Taking taylor expansion of z in z 0.065 * [taylor]: Taking taylor expansion of 0 in z 0.065 * [taylor]: Taking taylor expansion of 0 in z 0.066 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0 0.066 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 0.066 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.066 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.066 * [taylor]: Taking taylor expansion of z in z 0.066 * [taylor]: Taking taylor expansion of y in z 0.066 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.066 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.066 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.066 * [taylor]: Taking taylor expansion of z in y 0.066 * [taylor]: Taking taylor expansion of y in y 0.066 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.066 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.066 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.066 * [taylor]: Taking taylor expansion of z in y 0.066 * [taylor]: Taking taylor expansion of y in y 0.067 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.067 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.067 * [taylor]: Taking taylor expansion of z in z 0.067 * [taylor]: Taking taylor expansion of 0 in z 0.068 * [taylor]: Taking taylor expansion of 0 in z 0.068 * [taylor]: Taking taylor expansion of 0 in z 0.069 * [taylor]: Taking taylor expansion of 0 in z 0.069 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0 0.069 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 0.069 * [taylor]: Taking taylor expansion of -1 in z 0.069 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.069 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.069 * [taylor]: Taking taylor expansion of z in z 0.069 * [taylor]: Taking taylor expansion of y in z 0.070 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 0.070 * [taylor]: Taking taylor expansion of -1 in y 0.070 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.070 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.070 * [taylor]: Taking taylor expansion of z in y 0.070 * [taylor]: Taking taylor expansion of y in y 0.070 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 0.070 * [taylor]: Taking taylor expansion of -1 in y 0.070 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.070 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.070 * [taylor]: Taking taylor expansion of z in y 0.070 * [taylor]: Taking taylor expansion of y in y 0.070 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 0.070 * [taylor]: Taking taylor expansion of -1 in z 0.070 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.070 * [taylor]: Taking taylor expansion of z in z 0.071 * [taylor]: Taking taylor expansion of 0 in z 0.071 * [taylor]: Taking taylor expansion of 0 in z 0.072 * [taylor]: Taking taylor expansion of 0 in z 0.073 * [taylor]: Taking taylor expansion of 0 in z 0.073 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.073 * [approximate]: Taking taylor expansion of (+ x (* (pow z 2) y)) in (x y z) around 0 0.073 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in z 0.073 * [taylor]: Taking taylor expansion of x in z 0.073 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.073 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.073 * [taylor]: Taking taylor expansion of z in z 0.073 * [taylor]: Taking taylor expansion of y in z 0.074 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in y 0.074 * [taylor]: Taking taylor expansion of x in y 0.074 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.074 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.074 * [taylor]: Taking taylor expansion of z in y 0.074 * [taylor]: Taking taylor expansion of y in y 0.074 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.074 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.074 * [taylor]: Taking taylor expansion of z in x 0.074 * [taylor]: Taking taylor expansion of y in x 0.074 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.074 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.074 * [taylor]: Taking taylor expansion of z in x 0.074 * [taylor]: Taking taylor expansion of y in x 0.074 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.074 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.074 * [taylor]: Taking taylor expansion of z in y 0.074 * [taylor]: Taking taylor expansion of y in y 0.074 * [taylor]: Taking taylor expansion of 0 in z 0.075 * [taylor]: Taking taylor expansion of 1 in y 0.075 * [taylor]: Taking taylor expansion of 1 in z 0.075 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.075 * [taylor]: Taking taylor expansion of z in z 0.075 * [taylor]: Taking taylor expansion of 0 in y 0.075 * [taylor]: Taking taylor expansion of 0 in z 0.075 * [taylor]: Taking taylor expansion of 0 in z 0.075 * [taylor]: Taking taylor expansion of 0 in z 0.076 * [approximate]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in (x y z) around 0 0.076 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in z 0.076 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 0.076 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.076 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.076 * [taylor]: Taking taylor expansion of z in z 0.076 * [taylor]: Taking taylor expansion of y in z 0.076 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.076 * [taylor]: Taking taylor expansion of x in z 0.076 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in y 0.076 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.076 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.076 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.076 * [taylor]: Taking taylor expansion of z in y 0.076 * [taylor]: Taking taylor expansion of y in y 0.076 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.076 * [taylor]: Taking taylor expansion of x in y 0.076 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 0.076 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 0.076 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.076 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.076 * [taylor]: Taking taylor expansion of z in x 0.076 * [taylor]: Taking taylor expansion of y in x 0.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.077 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 0.077 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 0.077 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.077 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.077 * [taylor]: Taking taylor expansion of z in x 0.077 * [taylor]: Taking taylor expansion of y in x 0.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.077 * [taylor]: Taking taylor expansion of x in x 0.077 * [taylor]: Taking taylor expansion of 1 in y 0.077 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.077 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.077 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.077 * [taylor]: Taking taylor expansion of z in y 0.077 * [taylor]: Taking taylor expansion of y in y 0.077 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.078 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.078 * [taylor]: Taking taylor expansion of z in z 0.078 * [taylor]: Taking taylor expansion of 1 in z 0.078 * [taylor]: Taking taylor expansion of 0 in y 0.078 * [taylor]: Taking taylor expansion of 0 in z 0.078 * [taylor]: Taking taylor expansion of 0 in z 0.079 * [taylor]: Taking taylor expansion of 0 in y 0.079 * [taylor]: Taking taylor expansion of 0 in z 0.079 * [taylor]: Taking taylor expansion of 0 in z 0.079 * [taylor]: Taking taylor expansion of 0 in z 0.080 * [taylor]: Taking taylor expansion of 0 in y 0.080 * [taylor]: Taking taylor expansion of 0 in z 0.080 * [taylor]: Taking taylor expansion of 0 in z 0.081 * [taylor]: Taking taylor expansion of 0 in z 0.081 * [taylor]: Taking taylor expansion of 0 in z 0.081 * [taylor]: Taking taylor expansion of 0 in y 0.081 * [taylor]: Taking taylor expansion of 0 in z 0.081 * [taylor]: Taking taylor expansion of 0 in z 0.081 * [taylor]: Taking taylor expansion of 0 in z 0.082 * [taylor]: Taking taylor expansion of 0 in z 0.082 * [taylor]: Taking taylor expansion of 0 in z 0.082 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in (x y z) around 0 0.082 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in z 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in z 0.082 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 0.083 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.083 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.083 * [taylor]: Taking taylor expansion of z in z 0.083 * [taylor]: Taking taylor expansion of y in z 0.083 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.083 * [taylor]: Taking taylor expansion of x in z 0.083 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in y 0.083 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in y 0.083 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.083 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.083 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.083 * [taylor]: Taking taylor expansion of z in y 0.083 * [taylor]: Taking taylor expansion of y in y 0.083 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.083 * [taylor]: Taking taylor expansion of x in y 0.083 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in x 0.083 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 0.083 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 0.083 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.083 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.083 * [taylor]: Taking taylor expansion of z in x 0.083 * [taylor]: Taking taylor expansion of y in x 0.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.083 * [taylor]: Taking taylor expansion of x in x 0.083 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in x 0.083 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 0.083 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 0.084 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.084 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.084 * [taylor]: Taking taylor expansion of z in x 0.084 * [taylor]: Taking taylor expansion of y in x 0.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.084 * [taylor]: Taking taylor expansion of x in x 0.084 * [taylor]: Taking taylor expansion of (neg 1) in y 0.084 * [taylor]: Taking taylor expansion of 1 in y 0.084 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow z 2) y))) in y 0.084 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.084 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.084 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.084 * [taylor]: Taking taylor expansion of z in y 0.084 * [taylor]: Taking taylor expansion of y in y 0.085 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 2))) in z 0.085 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.085 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.085 * [taylor]: Taking taylor expansion of z in z 0.085 * [taylor]: Taking taylor expansion of (neg 1) in z 0.085 * [taylor]: Taking taylor expansion of 1 in z 0.085 * [taylor]: Taking taylor expansion of 0 in y 0.085 * [taylor]: Taking taylor expansion of 0 in z 0.085 * [taylor]: Taking taylor expansion of 0 in z 0.086 * [taylor]: Taking taylor expansion of 0 in y 0.086 * [taylor]: Taking taylor expansion of 0 in z 0.086 * [taylor]: Taking taylor expansion of 0 in z 0.086 * [taylor]: Taking taylor expansion of 0 in z 0.087 * [taylor]: Taking taylor expansion of 0 in y 0.087 * [taylor]: Taking taylor expansion of 0 in z 0.087 * [taylor]: Taking taylor expansion of 0 in z 0.088 * [taylor]: Taking taylor expansion of 0 in z 0.088 * [taylor]: Taking taylor expansion of 0 in z 0.088 * [taylor]: Taking taylor expansion of 0 in y 0.088 * [taylor]: Taking taylor expansion of 0 in z 0.089 * [taylor]: Taking taylor expansion of 0 in z 0.089 * [taylor]: Taking taylor expansion of 0 in z 0.089 * [taylor]: Taking taylor expansion of 0 in z 0.089 * [taylor]: Taking taylor expansion of 0 in z 0.089 * * * [progress]: simplifying candidates 0.090 * [simplify]: Simplifying using # : (* (* y z) z) (* (* y z) z) (+ (+ (log y) (log z)) (log z)) (+ (log (* y z)) (log z)) (log (* (* y z) z)) (exp (* (* y z) z)) (* (* (* (* y y) y) (* (* z z) z)) (* (* z z) z)) (* (* (* (* y z) (* y z)) (* y z)) (* (* z z) z)) (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (cbrt (* (* y z) z)) (* (* (* (* y z) z) (* (* y z) z)) (* (* y z) z)) (sqrt (* (* y z) z)) (sqrt (* (* y z) z)) (* (* y z) (* (cbrt z) (cbrt z))) (* (* y z) (sqrt z)) (* (* y z) 1) (* z z) (* (exp x) (exp (* (* y z) z))) (log (+ x (* (* y z) z))) (exp (+ x (* (* y z) z))) (* (cbrt (+ x (* (* y z) z))) (cbrt (+ x (* (* y z) z)))) (cbrt (+ x (* (* y z) z))) (* (* (+ x (* (* y z) z)) (+ x (* (* y z) z))) (+ x (* (* y z) z))) (sqrt (+ x (* (* y z) z))) (sqrt (+ x (* (* y z) z))) (+ (pow x 3) (pow (* (* y z) z) 3)) (+ (* x x) (- (* (* (* y z) z) (* (* y z) z)) (* x (* (* y z) z)))) (- (* x x) (* (* (* y z) z) (* (* y z) z))) (- x (* (* y z) z)) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) x (+ x (* (pow z 2) y)) (+ x (* (pow z 2) y)) 0.092 * * [simplify]: iteration 0 : 58 enodes (cost 317 ) 0.101 * * [simplify]: iteration 1 : 162 enodes (cost 295 ) 0.142 * * [simplify]: iteration 2 : 615 enodes (cost 259 ) 0.317 * * [simplify]: iteration 3 : 2143 enodes (cost 257 ) 0.818 * * [simplify]: iteration done : 5000 enodes (cost 257 ) 0.819 * [simplify]: Simplified to: (* (* y z) z) (* (* y z) z) (log (* (* y z) z)) (log (* (* y z) z)) (log (* (* y z) z)) (exp (* (* y z) z)) (pow (* (* y z) z) 3) (pow (* (* y z) z) 3) (* (cbrt (* (* y z) z)) (cbrt (* (* y z) z))) (cbrt (* (* y z) z)) (pow (* (* y z) z) 3) (sqrt (* (* y z) z)) (sqrt (* (* y z) z)) (* (* y z) (* (cbrt z) (cbrt z))) (* (* y z) (sqrt z)) (* y z) (pow z 2) (exp (+ x (* (* y z) z))) (log (+ x (* (* y z) z))) (exp (+ x (* (* y z) z))) (* (cbrt (+ x (* (* y z) z))) (cbrt (+ x (* (* y z) z)))) (cbrt (+ x (* (* y z) z))) (pow (+ x (* (pow z 2) y)) 3) (sqrt (+ x (* (* y z) z))) (sqrt (+ x (* (* y z) z))) (+ (pow x 3) (pow (* (* y z) z) 3)) (+ (* x x) (* (* (* y z) z) (- (* (* y z) z) x))) (- (* x x) (* (pow z 4) (* y y))) (- x (* (* y z) z)) (* (* y z) z) (* (* y z) z) (* (* y z) z) x (+ x (* (pow z 2) y)) (+ x (* (pow z 2) y)) 0.819 * * * [progress]: adding candidates to table 0.857 * * [progress]: iteration 2 / 4 0.857 * * * [progress]: picking best candidate 0.873 * * * * [pick]: Picked # 0.873 * * * [progress]: localizing error 0.883 * * * [progress]: generating rewritten candidates 0.883 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 0.892 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 0.894 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 0.895 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 0.899 * * * [progress]: generating series expansions 0.899 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 0.899 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 0.899 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 0.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 0.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 0.899 * [taylor]: Taking taylor expansion of 1/3 in z 0.899 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 0.899 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.899 * [taylor]: Taking taylor expansion of z in z 0.899 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 0.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 0.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 0.899 * [taylor]: Taking taylor expansion of 1/3 in z 0.899 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 0.899 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.900 * [taylor]: Taking taylor expansion of z in z 0.909 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 0.909 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.909 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.909 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.909 * [taylor]: Taking taylor expansion of 1/3 in z 0.909 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.909 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.909 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.909 * [taylor]: Taking taylor expansion of z in z 0.910 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.910 * [taylor]: Taking taylor expansion of 1/3 in z 0.910 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.910 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.910 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.910 * [taylor]: Taking taylor expansion of z in z 0.919 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z) around 0 0.919 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 0.919 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.919 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.919 * [taylor]: Taking taylor expansion of 1/3 in z 0.919 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.919 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.919 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.919 * [taylor]: Taking taylor expansion of z in z 0.919 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 0.919 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.919 * [taylor]: Taking taylor expansion of -1 in z 0.919 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 0.919 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 0.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 0.919 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 0.919 * [taylor]: Taking taylor expansion of 1/3 in z 0.919 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 0.919 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.919 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.919 * [taylor]: Taking taylor expansion of z in z 0.920 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 0.920 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.920 * [taylor]: Taking taylor expansion of -1 in z 0.931 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 0.931 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 0.931 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.932 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.932 * [taylor]: Taking taylor expansion of 1/3 in z 0.932 * [taylor]: Taking taylor expansion of (log z) in z 0.932 * [taylor]: Taking taylor expansion of z in z 0.932 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.932 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.932 * [taylor]: Taking taylor expansion of 1/3 in z 0.932 * [taylor]: Taking taylor expansion of (log z) in z 0.932 * [taylor]: Taking taylor expansion of z in z 0.939 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 0.939 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.939 * [taylor]: Taking taylor expansion of 1/3 in z 0.939 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.939 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.939 * [taylor]: Taking taylor expansion of z in z 0.939 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.939 * [taylor]: Taking taylor expansion of 1/3 in z 0.939 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.940 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.940 * [taylor]: Taking taylor expansion of z in z 0.947 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 0.947 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 0.947 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.947 * [taylor]: Taking taylor expansion of 1/3 in z 0.947 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.947 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.947 * [taylor]: Taking taylor expansion of z in z 0.948 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.948 * [taylor]: Taking taylor expansion of -1 in z 0.948 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 0.948 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.948 * [taylor]: Taking taylor expansion of 1/3 in z 0.948 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.948 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.948 * [taylor]: Taking taylor expansion of z in z 0.948 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.948 * [taylor]: Taking taylor expansion of -1 in z 0.958 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 0.958 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 0.958 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.958 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.958 * [taylor]: Taking taylor expansion of 1/3 in z 0.958 * [taylor]: Taking taylor expansion of (log z) in z 0.958 * [taylor]: Taking taylor expansion of z in z 0.958 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.958 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.958 * [taylor]: Taking taylor expansion of 1/3 in z 0.958 * [taylor]: Taking taylor expansion of (log z) in z 0.958 * [taylor]: Taking taylor expansion of z in z 0.965 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 0.965 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.966 * [taylor]: Taking taylor expansion of 1/3 in z 0.966 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.966 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.966 * [taylor]: Taking taylor expansion of z in z 0.966 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.966 * [taylor]: Taking taylor expansion of 1/3 in z 0.966 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.966 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.966 * [taylor]: Taking taylor expansion of z in z 0.974 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 0.974 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 0.974 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.974 * [taylor]: Taking taylor expansion of 1/3 in z 0.974 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.974 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.974 * [taylor]: Taking taylor expansion of z in z 0.974 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.974 * [taylor]: Taking taylor expansion of -1 in z 0.974 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 0.974 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.974 * [taylor]: Taking taylor expansion of 1/3 in z 0.974 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.974 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.974 * [taylor]: Taking taylor expansion of z in z 0.975 * [taylor]: Taking taylor expansion of (cbrt -1) in z 0.975 * [taylor]: Taking taylor expansion of -1 in z 0.985 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 0.985 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 0.985 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.985 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.985 * [taylor]: Taking taylor expansion of 1/3 in z 0.985 * [taylor]: Taking taylor expansion of (log z) in z 0.985 * [taylor]: Taking taylor expansion of z in z 0.985 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 0.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 0.985 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 0.985 * [taylor]: Taking taylor expansion of 1/3 in z 0.985 * [taylor]: Taking taylor expansion of (log z) in z 0.985 * [taylor]: Taking taylor expansion of z in z 0.993 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 0.993 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.993 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.993 * [taylor]: Taking taylor expansion of 1/3 in z 0.993 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.993 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.993 * [taylor]: Taking taylor expansion of z in z 0.993 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 0.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 0.993 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 0.993 * [taylor]: Taking taylor expansion of 1/3 in z 0.993 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 0.993 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.993 * [taylor]: Taking taylor expansion of z in z 1.005 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 1.005 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 1.005 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.005 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.005 * [taylor]: Taking taylor expansion of 1/3 in z 1.005 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.005 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.005 * [taylor]: Taking taylor expansion of z in z 1.005 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.005 * [taylor]: Taking taylor expansion of -1 in z 1.005 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 1.005 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 1.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 1.005 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 1.005 * [taylor]: Taking taylor expansion of 1/3 in z 1.005 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.005 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.005 * [taylor]: Taking taylor expansion of z in z 1.006 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.006 * [taylor]: Taking taylor expansion of -1 in z 1.015 * * * [progress]: simplifying candidates 1.016 * [simplify]: Simplifying using # : (+ 1/3 1/3) (+ 1 1) (* z z) (* (cbrt z) (cbrt z)) (+ 1 1) (+ (log (cbrt z)) (log (cbrt z))) (log (* (cbrt z) (cbrt z))) (exp (* (cbrt z) (cbrt z))) (* z z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 1 1) (* (cbrt z) (cbrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 2 1/3) (* 2 1) (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt (sqrt z))) (* (cbrt z) (cbrt 1)) (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt z) (sqrt (cbrt z))) (* (cbrt z) 1) (* (cbrt (cbrt z)) (cbrt z)) (* (cbrt (sqrt z)) (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt (cbrt z)) (cbrt z)) (* (sqrt (cbrt z)) (cbrt z)) (* (cbrt z) (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (exp (* 1/3 (+ (* 2 (log z)) (log 1)))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 z)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 z))))))) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1)) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1)) (exp (* 1/3 (+ (log z) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 z))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1)) 1.019 * * [simplify]: iteration 0 : 76 enodes (cost 590 ) 1.030 * * [simplify]: iteration 1 : 151 enodes (cost 525 ) 1.053 * * [simplify]: iteration 2 : 433 enodes (cost 462 ) 1.125 * * [simplify]: iteration 3 : 1249 enodes (cost 382 ) 1.330 * * [simplify]: iteration 4 : 3397 enodes (cost 374 ) 1.814 * * [simplify]: iteration done : 5000 enodes (cost 374 ) 1.814 * [simplify]: Simplified to: 2/3 2 (* z z) (pow z 2/3) 2 (* (log z) 2/3) (* (log z) 2/3) (exp (pow z 2/3)) (* z z) (* (cbrt (pow z 2/3)) (cbrt (pow z 2/3))) (cbrt (pow z 2/3)) (* z z) (fabs (cbrt z)) (fabs (cbrt z)) (* (cbrt (pow z 2/3)) (cbrt (pow z 2/3))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) 1 (pow z 2/3) (pow (cbrt (cbrt z)) 4) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt z) (cbrt z) 1 (pow z 2/3) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (cbrt z) (cbrt z) 2/3 2 (* (cbrt (pow z 2/3)) (cbrt z)) (* (cbrt (sqrt z)) (cbrt z)) (cbrt z) (pow (cbrt (cbrt z)) 5) (pow (sqrt (cbrt z)) 3) (cbrt z) (pow (cbrt (cbrt z)) 4) (* (cbrt (sqrt z)) (cbrt z)) (pow z 2/3) (pow (cbrt (cbrt z)) 4) (pow (sqrt (cbrt z)) 3) (pow z 2/3) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (pow z 2/3) (pow z 2/3) (* (pow (cbrt -1) 2) (pow (/ -1 z) -2/3)) (cbrt z) (cbrt z) (* (cbrt (/ 1 (/ -1 z))) (cbrt -1)) (cbrt z) (cbrt z) (* (cbrt (/ 1 (/ -1 z))) (cbrt -1)) (cbrt z) (cbrt z) (* (cbrt (/ 1 (/ -1 z))) (cbrt -1)) 1.815 * * * [progress]: adding candidates to table 1.897 * * [progress]: iteration 3 / 4 1.897 * * * [progress]: picking best candidate 1.918 * * * * [pick]: Picked # 1.918 * * * [progress]: localizing error 1.936 * * * [progress]: generating rewritten candidates 1.936 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 1.938 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2) 1.940 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1) 1.942 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 1.950 * * * [progress]: generating series expansions 1.950 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 1.951 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 1.951 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 1.951 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 1.951 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 1.951 * [taylor]: Taking taylor expansion of 1/9 in z 1.951 * [taylor]: Taking taylor expansion of (log z) in z 1.951 * [taylor]: Taking taylor expansion of z in z 1.951 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 1.951 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 1.951 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 1.951 * [taylor]: Taking taylor expansion of 1/9 in z 1.951 * [taylor]: Taking taylor expansion of (log z) in z 1.951 * [taylor]: Taking taylor expansion of z in z 1.959 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 1.959 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 1.959 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 1.959 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 1.959 * [taylor]: Taking taylor expansion of 1/9 in z 1.959 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.959 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.959 * [taylor]: Taking taylor expansion of z in z 1.959 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 1.959 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 1.959 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 1.959 * [taylor]: Taking taylor expansion of 1/9 in z 1.959 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.959 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.959 * [taylor]: Taking taylor expansion of z in z 1.967 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in (z) around 0 1.967 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z 1.967 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 1.967 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 1.967 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 1.967 * [taylor]: Taking taylor expansion of 1/9 in z 1.967 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.967 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.967 * [taylor]: Taking taylor expansion of z in z 1.967 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 1.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 1.967 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 1.967 * [taylor]: Taking taylor expansion of 1/3 in z 1.967 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 1.967 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.967 * [taylor]: Taking taylor expansion of -1 in z 1.968 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z 1.968 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 1.968 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 1.968 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 1.968 * [taylor]: Taking taylor expansion of 1/9 in z 1.968 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.968 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.968 * [taylor]: Taking taylor expansion of z in z 1.968 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 1.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 1.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 1.968 * [taylor]: Taking taylor expansion of 1/3 in z 1.968 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 1.968 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.968 * [taylor]: Taking taylor expansion of -1 in z 1.988 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2) 1.988 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 1.988 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 1.988 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 1.988 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 1.988 * [taylor]: Taking taylor expansion of 1/9 in z 1.988 * [taylor]: Taking taylor expansion of (log z) in z 1.988 * [taylor]: Taking taylor expansion of z in z 1.988 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 1.988 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 1.988 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 1.988 * [taylor]: Taking taylor expansion of 1/9 in z 1.988 * [taylor]: Taking taylor expansion of (log z) in z 1.988 * [taylor]: Taking taylor expansion of z in z 1.996 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 1.996 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 1.997 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 1.997 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 1.997 * [taylor]: Taking taylor expansion of 1/9 in z 1.997 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.997 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.997 * [taylor]: Taking taylor expansion of z in z 1.997 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 1.997 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 1.997 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 1.997 * [taylor]: Taking taylor expansion of 1/9 in z 1.997 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 1.997 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.997 * [taylor]: Taking taylor expansion of z in z 2.005 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in (z) around 0 2.005 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z 2.005 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 2.005 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 2.005 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 2.005 * [taylor]: Taking taylor expansion of 1/9 in z 2.005 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.005 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.005 * [taylor]: Taking taylor expansion of z in z 2.005 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 2.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 2.005 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 2.005 * [taylor]: Taking taylor expansion of 1/3 in z 2.005 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 2.005 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.005 * [taylor]: Taking taylor expansion of -1 in z 2.005 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z 2.005 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 2.005 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 2.006 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 2.006 * [taylor]: Taking taylor expansion of 1/9 in z 2.006 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.006 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.006 * [taylor]: Taking taylor expansion of z in z 2.006 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 2.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 2.006 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 2.006 * [taylor]: Taking taylor expansion of 1/3 in z 2.006 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 2.006 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.006 * [taylor]: Taking taylor expansion of -1 in z 2.025 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1) 2.025 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 2.025 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 2.025 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 2.025 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 2.025 * [taylor]: Taking taylor expansion of 1/9 in z 2.025 * [taylor]: Taking taylor expansion of (log z) in z 2.025 * [taylor]: Taking taylor expansion of z in z 2.025 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 2.025 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 2.025 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 2.025 * [taylor]: Taking taylor expansion of 1/9 in z 2.025 * [taylor]: Taking taylor expansion of (log z) in z 2.025 * [taylor]: Taking taylor expansion of z in z 2.036 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 2.036 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 2.036 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 2.036 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 2.036 * [taylor]: Taking taylor expansion of 1/9 in z 2.036 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.036 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.036 * [taylor]: Taking taylor expansion of z in z 2.036 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 2.036 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 2.036 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 2.036 * [taylor]: Taking taylor expansion of 1/9 in z 2.036 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.036 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.036 * [taylor]: Taking taylor expansion of z in z 2.044 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in (z) around 0 2.044 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z 2.044 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 2.044 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 2.044 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 2.044 * [taylor]: Taking taylor expansion of 1/9 in z 2.044 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.044 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.045 * [taylor]: Taking taylor expansion of z in z 2.045 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 2.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 2.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 2.045 * [taylor]: Taking taylor expansion of 1/3 in z 2.045 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 2.045 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.045 * [taylor]: Taking taylor expansion of -1 in z 2.045 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z 2.045 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 2.045 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 2.045 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 2.045 * [taylor]: Taking taylor expansion of 1/9 in z 2.045 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.045 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.045 * [taylor]: Taking taylor expansion of z in z 2.045 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 2.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 2.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 2.046 * [taylor]: Taking taylor expansion of 1/3 in z 2.046 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 2.046 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.046 * [taylor]: Taking taylor expansion of -1 in z 2.064 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 2.064 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 2.064 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 2.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 2.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 2.064 * [taylor]: Taking taylor expansion of 1/3 in z 2.064 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 2.064 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.065 * [taylor]: Taking taylor expansion of z in z 2.065 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 2.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 2.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 2.065 * [taylor]: Taking taylor expansion of 1/3 in z 2.065 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 2.065 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.065 * [taylor]: Taking taylor expansion of z in z 2.073 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 2.073 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.073 * [taylor]: Taking taylor expansion of 1/3 in z 2.073 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.073 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.073 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.073 * [taylor]: Taking taylor expansion of z in z 2.073 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.073 * [taylor]: Taking taylor expansion of 1/3 in z 2.073 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.073 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.073 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.073 * [taylor]: Taking taylor expansion of z in z 2.082 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z) around 0 2.082 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 2.082 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.082 * [taylor]: Taking taylor expansion of 1/3 in z 2.082 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.082 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.082 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.082 * [taylor]: Taking taylor expansion of z in z 2.082 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.082 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.082 * [taylor]: Taking taylor expansion of -1 in z 2.083 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 2.083 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.083 * [taylor]: Taking taylor expansion of 1/3 in z 2.083 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.083 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.083 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.083 * [taylor]: Taking taylor expansion of z in z 2.083 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.083 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.083 * [taylor]: Taking taylor expansion of -1 in z 2.094 * * * [progress]: simplifying candidates 2.096 * [simplify]: Simplifying using # : (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt 1)) (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt 1) (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt 1)) (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt 1) (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (* (cbrt z) (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt 1)) (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt 1) (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (+ 1/3 1/3) (+ 1 1) (* z z) (* (cbrt z) (cbrt z)) (+ 1 1) (+ (log (cbrt z)) (log (cbrt z))) (log (* (cbrt z) (cbrt z))) (exp (* (cbrt z) (cbrt z))) (* z z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (sqrt (* (cbrt z) (cbrt z))) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 1 1) (* (cbrt z) (cbrt z)) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (cbrt (sqrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* (sqrt (cbrt z)) (sqrt (cbrt z))) (* 2 1/3) (* 2 1) (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt (sqrt z))) (* (cbrt z) (cbrt 1)) (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt z) (sqrt (cbrt z))) (* (cbrt z) 1) (* (cbrt (cbrt z)) (cbrt z)) (* (cbrt (sqrt z)) (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt (cbrt z)) (cbrt z)) (* (sqrt (cbrt z)) (cbrt z)) (* (cbrt z) (cbrt z)) (exp (* 1/9 (+ (log z) (log 1)))) (exp (* 1/9 (- (log 1) (log (/ 1 z))))) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 z)))))) (exp (* 1/9 (+ (log z) (log 1)))) (exp (* 1/9 (- (log 1) (log (/ 1 z))))) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 z)))))) (exp (* 1/9 (+ (log z) (log 1)))) (exp (* 1/9 (- (log 1) (log (/ 1 z))))) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 z)))))) (exp (* 1/3 (+ (* 2 (log z)) (log 1)))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 z)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 z))))))) 2.098 * * [simplify]: iteration 0 : 87 enodes (cost 719 ) 2.110 * * [simplify]: iteration 1 : 170 enodes (cost 648 ) 2.138 * * [simplify]: iteration 2 : 465 enodes (cost 576 ) 2.208 * * [simplify]: iteration 3 : 1318 enodes (cost 537 ) 2.406 * * [simplify]: iteration 4 : 3427 enodes (cost 497 ) 2.909 * * [simplify]: iteration done : 5000 enodes (cost 497 ) 2.909 * [simplify]: Simplified to: (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (pow z 2/3))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) 1 (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) 1 (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt z) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (pow z 2/3))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) 1 (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) 1 (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt z) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) (log (cbrt (cbrt z))) (exp (cbrt (cbrt z))) (cbrt (cbrt (pow z 2/3))) (cbrt (cbrt (cbrt z))) (cbrt (cbrt (sqrt z))) (cbrt (cbrt (sqrt z))) 1 (cbrt (cbrt z)) (cbrt (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt (sqrt (cbrt z))) (cbrt (sqrt (cbrt z))) 1 (cbrt (cbrt z)) (* (cbrt (cbrt (cbrt z))) (cbrt (cbrt (cbrt z)))) (cbrt (cbrt (cbrt z))) (cbrt z) (sqrt (cbrt (cbrt z))) (sqrt (cbrt (cbrt z))) 2/3 2 (* z z) (pow z 2/3) 2 (log (pow z 2/3)) (log (pow z 2/3)) (exp (pow z 2/3)) (* z z) (* (cbrt (pow z 2/3)) (cbrt (pow z 2/3))) (cbrt (pow z 2/3)) (* z z) (fabs (cbrt z)) (fabs (cbrt z)) (* (cbrt (pow z 2/3)) (cbrt (pow z 2/3))) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) 1 (pow z 2/3) (pow (cbrt (cbrt z)) 4) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt z) (cbrt z) 1 (pow z 2/3) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (cbrt (sqrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (cbrt z) (cbrt z) 2/3 2 (* (cbrt (pow z 2/3)) (cbrt z)) (* (cbrt z) (cbrt (sqrt z))) (cbrt z) (pow (cbrt (cbrt z)) 5) (pow (sqrt (cbrt z)) 3) (cbrt z) (pow (cbrt (cbrt z)) 4) (* (cbrt z) (cbrt (sqrt z))) (pow z 2/3) (pow (cbrt (cbrt z)) 4) (pow (sqrt (cbrt z)) 3) (pow z 2/3) (pow z 1/9) (pow z 1/9) (* (pow (/ 1 (/ -1 z)) 1/9) (cbrt (cbrt -1))) (pow z 1/9) (pow z 1/9) (* (pow (/ 1 (/ -1 z)) 1/9) (cbrt (cbrt -1))) (pow z 1/9) (pow z 1/9) (* (pow (/ 1 (/ -1 z)) 1/9) (cbrt (cbrt -1))) (pow z 2/3) (pow z 2/3) (* (pow (cbrt -1) 2) (pow (/ -1 z) -2/3)) 2.910 * * * [progress]: adding candidates to table 3.001 * * [progress]: iteration 4 / 4 3.001 * * * [progress]: picking best candidate 3.018 * * * * [pick]: Picked # 3.018 * * * [progress]: localizing error 3.024 * * * [progress]: generating rewritten candidates 3.024 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 3.031 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 3.034 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 3.040 * * * [progress]: generating series expansions 3.040 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 3.040 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0 3.040 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 3.040 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.040 * [taylor]: Taking taylor expansion of z in z 3.040 * [taylor]: Taking taylor expansion of y in z 3.040 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 3.040 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.040 * [taylor]: Taking taylor expansion of z in y 3.040 * [taylor]: Taking taylor expansion of y in y 3.040 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 3.040 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.040 * [taylor]: Taking taylor expansion of z in y 3.040 * [taylor]: Taking taylor expansion of y in y 3.040 * [taylor]: Taking taylor expansion of 0 in z 3.041 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.041 * [taylor]: Taking taylor expansion of z in z 3.041 * [taylor]: Taking taylor expansion of 0 in z 3.041 * [taylor]: Taking taylor expansion of 0 in z 3.041 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0 3.041 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 3.041 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 3.041 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.041 * [taylor]: Taking taylor expansion of z in z 3.041 * [taylor]: Taking taylor expansion of y in z 3.041 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 3.041 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 3.041 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.041 * [taylor]: Taking taylor expansion of z in y 3.041 * [taylor]: Taking taylor expansion of y in y 3.042 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 3.042 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 3.042 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.042 * [taylor]: Taking taylor expansion of z in y 3.042 * [taylor]: Taking taylor expansion of y in y 3.042 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.042 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.042 * [taylor]: Taking taylor expansion of z in z 3.042 * [taylor]: Taking taylor expansion of 0 in z 3.043 * [taylor]: Taking taylor expansion of 0 in z 3.044 * [taylor]: Taking taylor expansion of 0 in z 3.044 * [taylor]: Taking taylor expansion of 0 in z 3.044 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0 3.045 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 3.045 * [taylor]: Taking taylor expansion of -1 in z 3.045 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 3.045 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.045 * [taylor]: Taking taylor expansion of z in z 3.045 * [taylor]: Taking taylor expansion of y in z 3.045 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 3.045 * [taylor]: Taking taylor expansion of -1 in y 3.045 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 3.045 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.045 * [taylor]: Taking taylor expansion of z in y 3.045 * [taylor]: Taking taylor expansion of y in y 3.045 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 3.045 * [taylor]: Taking taylor expansion of -1 in y 3.045 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 3.045 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.045 * [taylor]: Taking taylor expansion of z in y 3.045 * [taylor]: Taking taylor expansion of y in y 3.045 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 3.045 * [taylor]: Taking taylor expansion of -1 in z 3.045 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.045 * [taylor]: Taking taylor expansion of z in z 3.046 * [taylor]: Taking taylor expansion of 0 in z 3.046 * [taylor]: Taking taylor expansion of 0 in z 3.047 * [taylor]: Taking taylor expansion of 0 in z 3.048 * [taylor]: Taking taylor expansion of 0 in z 3.048 * * * * [progress]: [ 2 / 3 ] generating series at (2) 3.048 * [approximate]: Taking taylor expansion of (+ x (* (pow z 2) y)) in (x y z) around 0 3.048 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in z 3.048 * [taylor]: Taking taylor expansion of x in z 3.048 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 3.048 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.048 * [taylor]: Taking taylor expansion of z in z 3.048 * [taylor]: Taking taylor expansion of y in z 3.048 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in y 3.048 * [taylor]: Taking taylor expansion of x in y 3.048 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 3.048 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.048 * [taylor]: Taking taylor expansion of z in y 3.048 * [taylor]: Taking taylor expansion of y in y 3.048 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in x 3.048 * [taylor]: Taking taylor expansion of x in x 3.048 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 3.048 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.048 * [taylor]: Taking taylor expansion of z in x 3.048 * [taylor]: Taking taylor expansion of y in x 3.048 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in x 3.048 * [taylor]: Taking taylor expansion of x in x 3.048 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 3.048 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.048 * [taylor]: Taking taylor expansion of z in x 3.048 * [taylor]: Taking taylor expansion of y in x 3.049 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 3.049 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.049 * [taylor]: Taking taylor expansion of z in y 3.049 * [taylor]: Taking taylor expansion of y in y 3.049 * [taylor]: Taking taylor expansion of 0 in z 3.049 * [taylor]: Taking taylor expansion of 1 in y 3.049 * [taylor]: Taking taylor expansion of 1 in z 3.049 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.049 * [taylor]: Taking taylor expansion of z in z 3.049 * [taylor]: Taking taylor expansion of 0 in y 3.049 * [taylor]: Taking taylor expansion of 0 in z 3.049 * [taylor]: Taking taylor expansion of 0 in z 3.049 * [taylor]: Taking taylor expansion of 0 in z 3.050 * [approximate]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in (x y z) around 0 3.050 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in z 3.050 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 3.050 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 3.050 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.050 * [taylor]: Taking taylor expansion of z in z 3.050 * [taylor]: Taking taylor expansion of y in z 3.050 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.050 * [taylor]: Taking taylor expansion of x in z 3.050 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in y 3.050 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 3.050 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 3.050 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.050 * [taylor]: Taking taylor expansion of z in y 3.050 * [taylor]: Taking taylor expansion of y in y 3.050 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.050 * [taylor]: Taking taylor expansion of x in y 3.050 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 3.050 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 3.050 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 3.050 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.050 * [taylor]: Taking taylor expansion of z in x 3.050 * [taylor]: Taking taylor expansion of y in x 3.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.051 * [taylor]: Taking taylor expansion of x in x 3.051 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 3.051 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 3.051 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 3.051 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.051 * [taylor]: Taking taylor expansion of z in x 3.051 * [taylor]: Taking taylor expansion of y in x 3.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.051 * [taylor]: Taking taylor expansion of x in x 3.051 * [taylor]: Taking taylor expansion of 1 in y 3.051 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 3.051 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 3.051 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.051 * [taylor]: Taking taylor expansion of z in y 3.051 * [taylor]: Taking taylor expansion of y in y 3.051 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.052 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.052 * [taylor]: Taking taylor expansion of z in z 3.052 * [taylor]: Taking taylor expansion of 1 in z 3.052 * [taylor]: Taking taylor expansion of 0 in y 3.052 * [taylor]: Taking taylor expansion of 0 in z 3.052 * [taylor]: Taking taylor expansion of 0 in z 3.053 * [taylor]: Taking taylor expansion of 0 in y 3.053 * [taylor]: Taking taylor expansion of 0 in z 3.053 * [taylor]: Taking taylor expansion of 0 in z 3.053 * [taylor]: Taking taylor expansion of 0 in z 3.054 * [taylor]: Taking taylor expansion of 0 in y 3.054 * [taylor]: Taking taylor expansion of 0 in z 3.054 * [taylor]: Taking taylor expansion of 0 in z 3.055 * [taylor]: Taking taylor expansion of 0 in z 3.055 * [taylor]: Taking taylor expansion of 0 in z 3.055 * [taylor]: Taking taylor expansion of 0 in y 3.055 * [taylor]: Taking taylor expansion of 0 in z 3.056 * [taylor]: Taking taylor expansion of 0 in z 3.056 * [taylor]: Taking taylor expansion of 0 in z 3.056 * [taylor]: Taking taylor expansion of 0 in z 3.056 * [taylor]: Taking taylor expansion of 0 in z 3.056 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in (x y z) around 0 3.057 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in z 3.057 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in z 3.057 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 3.057 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 3.057 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.057 * [taylor]: Taking taylor expansion of z in z 3.057 * [taylor]: Taking taylor expansion of y in z 3.057 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.057 * [taylor]: Taking taylor expansion of x in z 3.057 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in y 3.057 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in y 3.057 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 3.057 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 3.057 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.057 * [taylor]: Taking taylor expansion of z in y 3.057 * [taylor]: Taking taylor expansion of y in y 3.057 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.057 * [taylor]: Taking taylor expansion of x in y 3.057 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in x 3.057 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 3.057 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 3.057 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 3.057 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.057 * [taylor]: Taking taylor expansion of z in x 3.057 * [taylor]: Taking taylor expansion of y in x 3.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.057 * [taylor]: Taking taylor expansion of x in x 3.058 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in x 3.058 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 3.058 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 3.058 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 3.058 * [taylor]: Taking taylor expansion of (pow z 2) in x 3.058 * [taylor]: Taking taylor expansion of z in x 3.058 * [taylor]: Taking taylor expansion of y in x 3.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.058 * [taylor]: Taking taylor expansion of x in x 3.058 * [taylor]: Taking taylor expansion of (neg 1) in y 3.058 * [taylor]: Taking taylor expansion of 1 in y 3.058 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow z 2) y))) in y 3.058 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 3.058 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 3.058 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.058 * [taylor]: Taking taylor expansion of z in y 3.058 * [taylor]: Taking taylor expansion of y in y 3.059 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 2))) in z 3.059 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 3.059 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.059 * [taylor]: Taking taylor expansion of z in z 3.059 * [taylor]: Taking taylor expansion of (neg 1) in z 3.059 * [taylor]: Taking taylor expansion of 1 in z 3.059 * [taylor]: Taking taylor expansion of 0 in y 3.059 * [taylor]: Taking taylor expansion of 0 in z 3.059 * [taylor]: Taking taylor expansion of 0 in z 3.060 * [taylor]: Taking taylor expansion of 0 in y 3.060 * [taylor]: Taking taylor expansion of 0 in z 3.060 * [taylor]: Taking taylor expansion of 0 in z 3.060 * [taylor]: Taking taylor expansion of 0 in z 3.061 * [taylor]: Taking taylor expansion of 0 in y 3.061 * [taylor]: Taking taylor expansion of 0 in z 3.061 * [taylor]: Taking taylor expansion of 0 in z 3.062 * [taylor]: Taking taylor expansion of 0 in z 3.062 * [taylor]: Taking taylor expansion of 0 in z 3.063 * [taylor]: Taking taylor expansion of 0 in y 3.063 * [taylor]: Taking taylor expansion of 0 in z 3.063 * [taylor]: Taking taylor expansion of 0 in z 3.063 * [taylor]: Taking taylor expansion of 0 in z 3.063 * [taylor]: Taking taylor expansion of 0 in z 3.063 * [taylor]: Taking taylor expansion of 0 in z 3.064 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 3.064 * [approximate]: Taking taylor expansion of (pow z 2) in (z) around 0 3.064 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.064 * [taylor]: Taking taylor expansion of z in z 3.064 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.064 * [taylor]: Taking taylor expansion of z in z 3.064 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 2) in (z) around 0 3.064 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 2) in z 3.064 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.064 * [taylor]: Taking taylor expansion of z in z 3.064 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 2) in z 3.064 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.064 * [taylor]: Taking taylor expansion of z in z 3.065 * [approximate]: Taking taylor expansion of (pow (/ -1 z) 2) in (z) around 0 3.065 * [taylor]: Taking taylor expansion of (pow (/ -1 z) 2) in z 3.065 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.065 * [taylor]: Taking taylor expansion of -1 in z 3.065 * [taylor]: Taking taylor expansion of z in z 3.065 * [taylor]: Taking taylor expansion of (pow (/ -1 z) 2) in z 3.065 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.066 * [taylor]: Taking taylor expansion of -1 in z 3.066 * [taylor]: Taking taylor expansion of z in z 3.066 * * * [progress]: simplifying candidates 3.067 * [simplify]: Simplifying using # : (+ (log y) (* (log z) 2)) (+ (log y) (* (log z) 2)) (+ (log y) (log (pow z 2))) (log (* y (pow z 2))) (exp (* y (pow z 2))) (* (* (* y y) y) (* (* (pow z 2) (pow z 2)) (pow z 2))) (* (cbrt (* y (pow z 2))) (cbrt (* y (pow z 2)))) (cbrt (* y (pow z 2))) (* (* (* y (pow z 2)) (* y (pow z 2))) (* y (pow z 2))) (sqrt (* y (pow z 2))) (sqrt (* y (pow z 2))) (* (sqrt y) (pow (sqrt z) 2)) (* (sqrt y) (pow (sqrt z) 2)) (* (sqrt y) z) (* (sqrt y) z) (* (sqrt y) (sqrt (pow z 2))) (* (sqrt y) (sqrt (pow z 2))) (* (sqrt y) (pow z (/ 2 2))) (* (sqrt y) (pow z (/ 2 2))) (* y (pow (* (cbrt z) (cbrt z)) 2)) (* y (pow (sqrt z) 2)) (* y (pow 1 2)) (* y z) (* y (* (cbrt (pow z 2)) (cbrt (pow z 2)))) (* y (sqrt (pow z 2))) (* y 1) (* y (pow z (/ 2 2))) (* (cbrt y) (pow z 2)) (* (sqrt y) (pow z 2)) (* y (pow z 2)) (* (exp x) (exp (* y (pow z 2)))) (log (+ x (* y (pow z 2)))) (exp (+ x (* y (pow z 2)))) (* (cbrt (+ x (* y (pow z 2)))) (cbrt (+ x (* y (pow z 2))))) (cbrt (+ x (* y (pow z 2)))) (* (* (+ x (* y (pow z 2))) (+ x (* y (pow z 2)))) (+ x (* y (pow z 2)))) (sqrt (+ x (* y (pow z 2)))) (sqrt (+ x (* y (pow z 2)))) (+ (pow x 3) (pow (* y (pow z 2)) 3)) (+ (* x x) (- (* (* y (pow z 2)) (* y (pow z 2))) (* x (* y (pow z 2))))) (- (* x x) (* (* y (pow z 2)) (* y (pow z 2)))) (- x (* y (pow z 2))) (* (log z) 2) (* (log z) 2) (* 1 2) (pow z (* (cbrt 2) (cbrt 2))) (pow z (sqrt 2)) (pow z 1) (pow (* (cbrt z) (cbrt z)) 2) (pow (cbrt z) 2) (pow (sqrt z) 2) (pow (sqrt z) 2) (pow 1 2) (pow z 2) (log (pow z 2)) (exp (pow z 2)) (* (cbrt (pow z 2)) (cbrt (pow z 2))) (cbrt (pow z 2)) (* (* (pow z 2) (pow z 2)) (pow z 2)) (sqrt (pow z 2)) (sqrt (pow z 2)) (pow z (/ 2 2)) (pow z (/ 2 2)) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) x (+ x (* (pow z 2) y)) (+ x (* (pow z 2) y)) (pow z 2) (pow z 2) (pow z 2) 3.069 * * [simplify]: iteration 0 : 83 enodes (cost 501 ) 3.082 * * [simplify]: iteration 1 : 206 enodes (cost 435 ) 3.113 * * [simplify]: iteration 2 : 532 enodes (cost 384 ) 3.208 * * [simplify]: iteration 3 : 1524 enodes (cost 382 ) 3.622 * * [simplify]: iteration done : 5000 enodes (cost 382 ) 3.623 * [simplify]: Simplified to: (log (* y (pow z 2))) (log (* y (pow z 2))) (log (* y (pow z 2))) (log (* y (pow z 2))) (exp (* y (pow z 2))) (pow (* y (pow z 2)) 3) (* (cbrt (* y (pow z 2))) (cbrt (* y (pow z 2)))) (cbrt (* y (pow z 2))) (pow (* y (pow z 2)) 3) (sqrt (* y (pow z 2))) (sqrt (* y (pow z 2))) (* z (sqrt y)) (* z (sqrt y)) (* z (sqrt y)) (* z (sqrt y)) (* (fabs z) (sqrt y)) (* (fabs z) (sqrt y)) (* z (sqrt y)) (* z (sqrt y)) (* y (pow (cbrt z) 4)) (* z y) y (* z y) (* y (* (cbrt (pow z 2)) (cbrt (pow z 2)))) (* (fabs z) y) y (* z y) (* (cbrt y) (pow z 2)) (* (sqrt y) (pow z 2)) (* y (pow z 2)) (exp (+ x (* y (pow z 2)))) (log (+ x (* y (pow z 2)))) (exp (+ x (* y (pow z 2)))) (* (cbrt (+ x (* y (pow z 2)))) (cbrt (+ x (* y (pow z 2))))) (cbrt (+ x (* y (pow z 2)))) (pow (+ x (* y (pow z 2))) 3) (sqrt (+ x (* y (pow z 2)))) (sqrt (+ x (* y (pow z 2)))) (+ (pow x 3) (pow (* y (pow z 2)) 3)) (+ (* (* y (pow z 2)) (- (* y (pow z 2)) x)) (* x x)) (- (* x x) (* (* y y) (pow z 4))) (- x (* y (pow z 2))) (* (log z) 2) (* (log z) 2) 2 (pow z (* (cbrt 2) (cbrt 2))) (pow z (sqrt 2)) z (pow (cbrt z) 4) (pow (cbrt z) 2) z z 1 (pow z 2) (* (log z) 2) (exp (pow z 2)) (* (cbrt (pow z 2)) (cbrt (pow z 2))) (cbrt (pow z 2)) (pow z 6) (fabs z) (fabs z) z z (* y (pow z 2)) (* y (pow z 2)) (* y (pow z 2)) x (+ x (* y (pow z 2))) (+ x (* y (pow z 2))) (pow z 2) (pow z 2) (pow z 2) 3.623 * * * [progress]: adding candidates to table 3.697 * [progress]: [Phase 3 of 3] Extracting. 3.697 * * [regime]: Finding splitpoints for: (# # # # # # #) 3.699 * * * [regime-changes]: Trying 5 branch expressions: ((* (* y z) z) (+ x (* (* y z) z)) z y x) 3.699 * * * * [regimes]: Trying to branch on (* (* y z) z) from (# # # # # # #) 3.763 * * * * [regimes]: Trying to branch on (+ x (* (* y z) z)) from (# # # # # # #) 3.828 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 3.891 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 3.954 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 4.016 * * * [regime]: Found split indices: #