3.793 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (+ x (* (* y z) z)) 0.032 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.033 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.034 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 0.036 * * [simplify]: iteration done : 12 enodes (cost 7 ) 0.036 * [simplify]: Simplified to: (+ x (* (* y z) z)) 0.036 * * [progress]: iteration 1 / 4 0.036 * * * [progress]: picking best candidate 0.039 * * * * [pick]: Picked # 0.039 * * * [progress]: localizing error 0.044 * * * [progress]: generating rewritten candidates 0.044 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.052 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.056 * * * [progress]: generating series expansions 0.056 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.060 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0 0.061 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.061 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.061 * [taylor]: Taking taylor expansion of z in z 0.062 * [taylor]: Taking taylor expansion of y in z 0.062 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.062 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.062 * [taylor]: Taking taylor expansion of z in y 0.062 * [taylor]: Taking taylor expansion of y in y 0.062 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.062 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.062 * [taylor]: Taking taylor expansion of z in y 0.062 * [taylor]: Taking taylor expansion of y in y 0.063 * [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.064 * [taylor]: Taking taylor expansion of 0 in z 0.065 * [taylor]: Taking taylor expansion of 0 in z 0.065 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0 0.065 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 0.065 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.065 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.065 * [taylor]: Taking taylor expansion of z in z 0.065 * [taylor]: Taking taylor expansion of y in z 0.065 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.065 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.065 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.065 * [taylor]: Taking taylor expansion of z in y 0.065 * [taylor]: Taking taylor expansion of y in y 0.065 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.065 * [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)) 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 0 in z 0.067 * [taylor]: Taking taylor expansion of 0 in z 0.067 * [taylor]: Taking taylor expansion of 0 in z 0.068 * [taylor]: Taking taylor expansion of 0 in z 0.068 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0 0.068 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 0.068 * [taylor]: Taking taylor expansion of -1 in z 0.068 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.068 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.068 * [taylor]: Taking taylor expansion of z in z 0.068 * [taylor]: Taking taylor expansion of y in z 0.068 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 0.068 * [taylor]: Taking taylor expansion of -1 in y 0.068 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.068 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.069 * [taylor]: Taking taylor expansion of z in y 0.069 * [taylor]: Taking taylor expansion of y in y 0.069 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 0.069 * [taylor]: Taking taylor expansion of -1 in y 0.069 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.069 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.069 * [taylor]: Taking taylor expansion of z in y 0.069 * [taylor]: Taking taylor expansion of y in y 0.069 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 0.069 * [taylor]: Taking taylor expansion of -1 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.070 * [taylor]: Taking taylor expansion of 0 in z 0.070 * [taylor]: Taking taylor expansion of 0 in z 0.071 * [taylor]: Taking taylor expansion of 0 in z 0.071 * [taylor]: Taking taylor expansion of 0 in z 0.072 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.072 * [approximate]: Taking taylor expansion of (+ x (* (pow z 2) y)) in (x y z) around 0 0.072 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in z 0.072 * [taylor]: Taking taylor expansion of x in z 0.072 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.072 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.072 * [taylor]: Taking taylor expansion of z in z 0.072 * [taylor]: Taking taylor expansion of y in z 0.072 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in y 0.072 * [taylor]: Taking taylor expansion of x in y 0.072 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.072 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.072 * [taylor]: Taking taylor expansion of z in y 0.073 * [taylor]: Taking taylor expansion of y in y 0.073 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.073 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.073 * [taylor]: Taking taylor expansion of z in x 0.073 * [taylor]: Taking taylor expansion of y in x 0.073 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in x 0.073 * [taylor]: Taking taylor expansion of x in x 0.073 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.073 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.073 * [taylor]: Taking taylor expansion of z in x 0.073 * [taylor]: Taking taylor expansion of y in x 0.073 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.073 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.073 * [taylor]: Taking taylor expansion of z in y 0.073 * [taylor]: Taking taylor expansion of y in y 0.073 * [taylor]: Taking taylor expansion of 0 in z 0.073 * [taylor]: Taking taylor expansion of 1 in y 0.073 * [taylor]: Taking taylor expansion of 1 in z 0.073 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.074 * [taylor]: Taking taylor expansion of z in z 0.074 * [taylor]: Taking taylor expansion of 0 in y 0.074 * [taylor]: Taking taylor expansion of 0 in z 0.074 * [taylor]: Taking taylor expansion of 0 in z 0.074 * [taylor]: Taking taylor expansion of 0 in z 0.074 * [approximate]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in (x y z) around 0 0.075 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in z 0.075 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 0.075 * [taylor]: Taking taylor expansion of (* (pow z 2) y) 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 y in z 0.075 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.075 * [taylor]: Taking taylor expansion of x in z 0.075 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in y 0.075 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.075 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.075 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.075 * [taylor]: Taking taylor expansion of z in y 0.075 * [taylor]: Taking taylor expansion of y in y 0.075 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.075 * [taylor]: Taking taylor expansion of x in y 0.075 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 0.075 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 0.075 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.075 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.075 * [taylor]: Taking taylor expansion of z in x 0.075 * [taylor]: Taking taylor expansion of y in x 0.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.075 * [taylor]: Taking taylor expansion of x in x 0.075 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 0.075 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 0.075 * [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.076 * [taylor]: Taking taylor expansion of 1 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 (pow z 2)) in z 0.076 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.077 * [taylor]: Taking taylor expansion of z in z 0.077 * [taylor]: Taking taylor expansion of 1 in z 0.077 * [taylor]: Taking taylor expansion of 0 in y 0.077 * [taylor]: Taking taylor expansion of 0 in z 0.077 * [taylor]: Taking taylor expansion of 0 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.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.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.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 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in (x y z) around 0 0.081 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in z 0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in z 0.081 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 0.081 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 0.081 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.081 * [taylor]: Taking taylor expansion of z in z 0.081 * [taylor]: Taking taylor expansion of y in z 0.081 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.081 * [taylor]: Taking taylor expansion of x in z 0.081 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in y 0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in y 0.081 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 0.081 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 0.082 * [taylor]: Taking taylor expansion of (pow z 2) in y 0.082 * [taylor]: Taking taylor expansion of z in y 0.082 * [taylor]: Taking taylor expansion of y in y 0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.082 * [taylor]: Taking taylor expansion of x in y 0.082 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in x 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 0.082 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.082 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.082 * [taylor]: Taking taylor expansion of z in x 0.082 * [taylor]: Taking taylor expansion of y in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.082 * [taylor]: Taking taylor expansion of x in x 0.082 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in x 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 0.082 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 0.082 * [taylor]: Taking taylor expansion of (pow z 2) in x 0.082 * [taylor]: Taking taylor expansion of z in x 0.082 * [taylor]: Taking taylor expansion of y in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.082 * [taylor]: Taking taylor expansion of x in x 0.083 * [taylor]: Taking taylor expansion of (neg 1) in y 0.083 * [taylor]: Taking taylor expansion of 1 in y 0.083 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow z 2) y))) 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 (neg (/ 1 (pow z 2))) in z 0.083 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) 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 (neg 1) in z 0.083 * [taylor]: Taking taylor expansion of 1 in z 0.084 * [taylor]: Taking taylor expansion of 0 in y 0.084 * [taylor]: Taking taylor expansion of 0 in z 0.084 * [taylor]: Taking taylor expansion of 0 in z 0.084 * [taylor]: Taking taylor expansion of 0 in y 0.084 * [taylor]: Taking taylor expansion of 0 in z 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.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.087 * [taylor]: Taking taylor expansion of 0 in z 0.087 * [taylor]: Taking taylor expansion of 0 in z 0.087 * [taylor]: Taking taylor expansion of 0 in z 0.088 * * * [progress]: simplifying candidates 0.088 * [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.090 * * [simplify]: iteration 0 : 58 enodes (cost 317 ) 0.101 * * [simplify]: iteration 1 : 160 enodes (cost 295 ) 0.182 * * [simplify]: iteration 2 : 594 enodes (cost 259 ) 0.818 * * [simplify]: iteration 3 : 2278 enodes (cost 257 ) 2.652 * * [simplify]: iteration done : 5000 enodes (cost 257 ) 2.653 * [simplify]: Simplified to: (* (pow z 2) y) (* (pow z 2) y) (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 (* (* y z) z)) 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) (* (* y y) (pow z 4))) (- x (* (* y z) z)) (* (pow z 2) y) (* (pow z 2) y) (* (pow z 2) y) x (+ x (* (* y z) z)) (+ x (* (* y z) z)) 2.653 * * * [progress]: adding candidates to table 2.693 * * [progress]: iteration 2 / 4 2.693 * * * [progress]: picking best candidate 2.708 * * * * [pick]: Picked # 2.708 * * * [progress]: localizing error 2.718 * * * [progress]: generating rewritten candidates 2.718 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 2.724 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 2.725 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 2.727 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 2.730 * * * [progress]: generating series expansions 2.730 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 2.731 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 2.731 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 2.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 2.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 2.731 * [taylor]: Taking taylor expansion of 1/3 in z 2.731 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 2.731 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.731 * [taylor]: Taking taylor expansion of z in z 2.731 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 2.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 2.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 2.731 * [taylor]: Taking taylor expansion of 1/3 in z 2.731 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 2.731 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.731 * [taylor]: Taking taylor expansion of z in z 2.740 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 2.740 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.740 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.740 * [taylor]: Taking taylor expansion of 1/3 in z 2.740 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.740 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.740 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.740 * [taylor]: Taking taylor expansion of z in z 2.740 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.740 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.740 * [taylor]: Taking taylor expansion of 1/3 in z 2.740 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.740 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.740 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.740 * [taylor]: Taking taylor expansion of z in z 2.747 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z) around 0 2.748 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 2.748 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.748 * [taylor]: Taking taylor expansion of 1/3 in z 2.748 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.748 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.748 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.748 * [taylor]: Taking taylor expansion of z in z 2.748 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.748 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.748 * [taylor]: Taking taylor expansion of -1 in z 2.748 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 2.748 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 2.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 2.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 2.748 * [taylor]: Taking taylor expansion of 1/3 in z 2.748 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 2.748 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.748 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.748 * [taylor]: Taking taylor expansion of z in z 2.748 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 2.749 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.749 * [taylor]: Taking taylor expansion of -1 in z 2.759 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 2.759 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 2.759 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.759 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.759 * [taylor]: Taking taylor expansion of 1/3 in z 2.759 * [taylor]: Taking taylor expansion of (log z) in z 2.759 * [taylor]: Taking taylor expansion of z in z 2.759 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.759 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.759 * [taylor]: Taking taylor expansion of 1/3 in z 2.759 * [taylor]: Taking taylor expansion of (log z) in z 2.760 * [taylor]: Taking taylor expansion of z in z 2.766 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.766 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.766 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.766 * [taylor]: Taking taylor expansion of 1/3 in z 2.766 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.766 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.766 * [taylor]: Taking taylor expansion of z in z 2.766 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.766 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.766 * [taylor]: Taking taylor expansion of 1/3 in z 2.767 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.767 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.767 * [taylor]: Taking taylor expansion of z in z 2.773 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 2.773 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 2.773 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.774 * [taylor]: Taking taylor expansion of 1/3 in z 2.774 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.774 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.774 * [taylor]: Taking taylor expansion of z in z 2.774 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.774 * [taylor]: Taking taylor expansion of -1 in z 2.774 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 2.774 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.774 * [taylor]: Taking taylor expansion of 1/3 in z 2.774 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.774 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.774 * [taylor]: Taking taylor expansion of z in z 2.774 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.774 * [taylor]: Taking taylor expansion of -1 in z 2.786 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 2.786 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 2.786 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.786 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.786 * [taylor]: Taking taylor expansion of 1/3 in z 2.786 * [taylor]: Taking taylor expansion of (log z) in z 2.786 * [taylor]: Taking taylor expansion of z in z 2.786 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.786 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.786 * [taylor]: Taking taylor expansion of 1/3 in z 2.786 * [taylor]: Taking taylor expansion of (log z) in z 2.786 * [taylor]: Taking taylor expansion of z in z 2.793 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.793 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.793 * [taylor]: Taking taylor expansion of 1/3 in z 2.793 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.793 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.793 * [taylor]: Taking taylor expansion of z in z 2.793 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.793 * [taylor]: Taking taylor expansion of 1/3 in z 2.793 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.793 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.793 * [taylor]: Taking taylor expansion of z in z 2.800 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 2.800 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 2.800 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.800 * [taylor]: Taking taylor expansion of 1/3 in z 2.800 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.800 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.800 * [taylor]: Taking taylor expansion of z in z 2.800 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.800 * [taylor]: Taking taylor expansion of -1 in z 2.801 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 2.801 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.801 * [taylor]: Taking taylor expansion of 1/3 in z 2.801 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.801 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.801 * [taylor]: Taking taylor expansion of z in z 2.801 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.801 * [taylor]: Taking taylor expansion of -1 in z 2.809 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 2.809 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 2.809 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.809 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.809 * [taylor]: Taking taylor expansion of 1/3 in z 2.809 * [taylor]: Taking taylor expansion of (log z) in z 2.809 * [taylor]: Taking taylor expansion of z in z 2.810 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 2.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 2.810 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 2.810 * [taylor]: Taking taylor expansion of 1/3 in z 2.810 * [taylor]: Taking taylor expansion of (log z) in z 2.810 * [taylor]: Taking taylor expansion of z in z 2.816 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 2.816 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.816 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.816 * [taylor]: Taking taylor expansion of 1/3 in z 2.816 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.816 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.816 * [taylor]: Taking taylor expansion of z in z 2.816 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.817 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.817 * [taylor]: Taking taylor expansion of 1/3 in z 2.817 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.817 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.817 * [taylor]: Taking taylor expansion of z in z 2.824 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 2.824 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 2.824 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.824 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.824 * [taylor]: Taking taylor expansion of 1/3 in z 2.824 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.824 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.824 * [taylor]: Taking taylor expansion of z in z 2.824 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.824 * [taylor]: Taking taylor expansion of -1 in z 2.824 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 2.824 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 2.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 2.824 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 2.824 * [taylor]: Taking taylor expansion of 1/3 in z 2.824 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 2.824 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.824 * [taylor]: Taking taylor expansion of z in z 2.824 * [taylor]: Taking taylor expansion of (cbrt -1) in z 2.824 * [taylor]: Taking taylor expansion of -1 in z 2.833 * * * [progress]: simplifying candidates 2.834 * [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)) 2.837 * * [simplify]: iteration 0 : 76 enodes (cost 590 ) 2.850 * * [simplify]: iteration 1 : 147 enodes (cost 521 ) 2.876 * * [simplify]: iteration 2 : 331 enodes (cost 462 ) 3.035 * * [simplify]: iteration 3 : 897 enodes (cost 382 ) 3.443 * * [simplify]: iteration 4 : 2137 enodes (cost 374 ) 4.130 * * [simplify]: iteration done : 5000 enodes (cost 374 ) 4.130 * [simplify]: Simplified to: 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))) (* (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 z) (cbrt z) 2/3 2 (* (cbrt z) (cbrt (pow z 2/3))) (* (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)) 4.131 * * * [progress]: adding candidates to table 4.206 * * [progress]: iteration 3 / 4 4.206 * * * [progress]: picking best candidate 4.227 * * * * [pick]: Picked # 4.227 * * * [progress]: localizing error 4.240 * * * [progress]: generating rewritten candidates 4.240 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 4.244 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2) 4.246 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1) 4.248 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 4.256 * * * [progress]: generating series expansions 4.256 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 4.256 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 4.256 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 4.256 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 4.256 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 4.256 * [taylor]: Taking taylor expansion of 1/9 in z 4.256 * [taylor]: Taking taylor expansion of (log z) in z 4.256 * [taylor]: Taking taylor expansion of z in z 4.256 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 4.256 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 4.256 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 4.256 * [taylor]: Taking taylor expansion of 1/9 in z 4.256 * [taylor]: Taking taylor expansion of (log z) in z 4.256 * [taylor]: Taking taylor expansion of z in z 4.263 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 4.263 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 4.263 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 4.263 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 4.263 * [taylor]: Taking taylor expansion of 1/9 in z 4.263 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.263 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.263 * [taylor]: Taking taylor expansion of z in z 4.263 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 4.263 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 4.263 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 4.263 * [taylor]: Taking taylor expansion of 1/9 in z 4.263 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.263 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.263 * [taylor]: Taking taylor expansion of z in z 4.270 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in (z) around 0 4.270 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z 4.270 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 4.270 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 4.270 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 4.270 * [taylor]: Taking taylor expansion of 1/9 in z 4.270 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.270 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.270 * [taylor]: Taking taylor expansion of z in z 4.270 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 4.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 4.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 4.270 * [taylor]: Taking taylor expansion of 1/3 in z 4.270 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 4.270 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.270 * [taylor]: Taking taylor expansion of -1 in z 4.271 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z 4.271 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 4.271 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 4.271 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 4.271 * [taylor]: Taking taylor expansion of 1/9 in z 4.271 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.271 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.271 * [taylor]: Taking taylor expansion of z in z 4.271 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 4.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 4.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 4.271 * [taylor]: Taking taylor expansion of 1/3 in z 4.271 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 4.271 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.271 * [taylor]: Taking taylor expansion of -1 in z 4.288 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2) 4.288 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 4.288 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 4.288 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 4.288 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 4.288 * [taylor]: Taking taylor expansion of 1/9 in z 4.288 * [taylor]: Taking taylor expansion of (log z) in z 4.288 * [taylor]: Taking taylor expansion of z in z 4.288 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 4.288 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 4.288 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 4.288 * [taylor]: Taking taylor expansion of 1/9 in z 4.288 * [taylor]: Taking taylor expansion of (log z) in z 4.288 * [taylor]: Taking taylor expansion of z in z 4.295 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 4.295 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 4.295 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 4.295 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 4.295 * [taylor]: Taking taylor expansion of 1/9 in z 4.295 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.295 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.295 * [taylor]: Taking taylor expansion of z in z 4.295 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 4.295 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 4.295 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 4.295 * [taylor]: Taking taylor expansion of 1/9 in z 4.295 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.295 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.295 * [taylor]: Taking taylor expansion of z in z 4.302 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in (z) around 0 4.302 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z 4.302 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 4.302 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 4.302 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 4.302 * [taylor]: Taking taylor expansion of 1/9 in z 4.302 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.302 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.302 * [taylor]: Taking taylor expansion of z in z 4.303 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 4.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 4.303 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 4.303 * [taylor]: Taking taylor expansion of 1/3 in z 4.303 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 4.303 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.303 * [taylor]: Taking taylor expansion of -1 in z 4.303 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z 4.303 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 4.303 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 4.303 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 4.303 * [taylor]: Taking taylor expansion of 1/9 in z 4.303 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.303 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.303 * [taylor]: Taking taylor expansion of z in z 4.303 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 4.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 4.303 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 4.303 * [taylor]: Taking taylor expansion of 1/3 in z 4.303 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 4.303 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.303 * [taylor]: Taking taylor expansion of -1 in z 4.323 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1) 4.323 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 4.323 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 4.323 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 4.323 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 4.323 * [taylor]: Taking taylor expansion of 1/9 in z 4.323 * [taylor]: Taking taylor expansion of (log z) in z 4.323 * [taylor]: Taking taylor expansion of z in z 4.324 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 4.324 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 4.324 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 4.324 * [taylor]: Taking taylor expansion of 1/9 in z 4.324 * [taylor]: Taking taylor expansion of (log z) in z 4.324 * [taylor]: Taking taylor expansion of z in z 4.330 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 4.330 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 4.330 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 4.330 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 4.330 * [taylor]: Taking taylor expansion of 1/9 in z 4.330 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.330 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.330 * [taylor]: Taking taylor expansion of z in z 4.330 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 4.330 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 4.330 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 4.330 * [taylor]: Taking taylor expansion of 1/9 in z 4.330 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.330 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.331 * [taylor]: Taking taylor expansion of z in z 4.338 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in (z) around 0 4.338 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z 4.338 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 4.338 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 4.338 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 4.338 * [taylor]: Taking taylor expansion of 1/9 in z 4.338 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.338 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.338 * [taylor]: Taking taylor expansion of z in z 4.338 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 4.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 4.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 4.338 * [taylor]: Taking taylor expansion of 1/3 in z 4.338 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 4.338 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.338 * [taylor]: Taking taylor expansion of -1 in z 4.338 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z 4.338 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 4.338 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 4.338 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 4.338 * [taylor]: Taking taylor expansion of 1/9 in z 4.338 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 4.338 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.338 * [taylor]: Taking taylor expansion of z in z 4.338 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 4.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 4.339 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 4.339 * [taylor]: Taking taylor expansion of 1/3 in z 4.339 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 4.339 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.339 * [taylor]: Taking taylor expansion of -1 in z 4.356 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 4.356 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 4.356 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 4.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 4.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 4.356 * [taylor]: Taking taylor expansion of 1/3 in z 4.356 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 4.356 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.356 * [taylor]: Taking taylor expansion of z in z 4.356 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 4.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 4.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 4.356 * [taylor]: Taking taylor expansion of 1/3 in z 4.356 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 4.356 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.356 * [taylor]: Taking taylor expansion of z in z 4.363 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 4.363 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 4.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 4.363 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 4.363 * [taylor]: Taking taylor expansion of 1/3 in z 4.363 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 4.363 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 4.363 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.363 * [taylor]: Taking taylor expansion of z in z 4.364 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 4.364 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 4.364 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 4.364 * [taylor]: Taking taylor expansion of 1/3 in z 4.364 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 4.364 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 4.364 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.364 * [taylor]: Taking taylor expansion of z in z 4.371 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z) around 0 4.371 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 4.371 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 4.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 4.371 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 4.371 * [taylor]: Taking taylor expansion of 1/3 in z 4.371 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 4.371 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 4.371 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.371 * [taylor]: Taking taylor expansion of z in z 4.371 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 4.372 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.372 * [taylor]: Taking taylor expansion of -1 in z 4.372 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 4.372 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 4.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 4.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 4.372 * [taylor]: Taking taylor expansion of 1/3 in z 4.372 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 4.372 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 4.372 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.372 * [taylor]: Taking taylor expansion of z in z 4.372 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 4.372 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.372 * [taylor]: Taking taylor expansion of -1 in z 4.383 * * * [progress]: simplifying candidates 4.384 * [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))))))) 4.387 * * [simplify]: iteration 0 : 87 enodes (cost 719 ) 4.403 * * [simplify]: iteration 1 : 167 enodes (cost 641 ) 4.431 * * [simplify]: iteration 2 : 362 enodes (cost 576 ) 4.590 * * [simplify]: iteration 3 : 962 enodes (cost 537 ) 4.992 * * [simplify]: iteration 4 : 2113 enodes (cost 497 ) 5.606 * * [simplify]: iteration done : 5001 enodes (cost 497 ) 5.606 * [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))) (* (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 z) (cbrt z) 2/3 2 (* (cbrt z) (cbrt (pow z 2/3))) (* (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)) 5.607 * * * [progress]: adding candidates to table 5.695 * * [progress]: iteration 4 / 4 5.695 * * * [progress]: picking best candidate 5.711 * * * * [pick]: Picked # 5.711 * * * [progress]: localizing error 5.717 * * * [progress]: generating rewritten candidates 5.717 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 5.722 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 5.725 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 5.729 * * * [progress]: generating series expansions 5.729 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 5.729 * [approximate]: Taking taylor expansion of (* (pow z 2) y) in (y z) around 0 5.729 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.729 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.729 * [taylor]: Taking taylor expansion of z in z 5.729 * [taylor]: Taking taylor expansion of y in z 5.729 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.729 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.729 * [taylor]: Taking taylor expansion of z in y 5.729 * [taylor]: Taking taylor expansion of y in y 5.729 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.729 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.729 * [taylor]: Taking taylor expansion of z in y 5.729 * [taylor]: Taking taylor expansion of y in y 5.729 * [taylor]: Taking taylor expansion of 0 in z 5.729 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.729 * [taylor]: Taking taylor expansion of z in z 5.730 * [taylor]: Taking taylor expansion of 0 in z 5.730 * [taylor]: Taking taylor expansion of 0 in z 5.730 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in (y z) around 0 5.730 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 5.730 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.730 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.730 * [taylor]: Taking taylor expansion of z in z 5.730 * [taylor]: Taking taylor expansion of y in z 5.730 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 5.730 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.730 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.730 * [taylor]: Taking taylor expansion of z in y 5.730 * [taylor]: Taking taylor expansion of y in y 5.730 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 5.731 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.731 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.731 * [taylor]: Taking taylor expansion of z in y 5.731 * [taylor]: Taking taylor expansion of y in y 5.731 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 5.731 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.731 * [taylor]: Taking taylor expansion of z in z 5.731 * [taylor]: Taking taylor expansion of 0 in z 5.732 * [taylor]: Taking taylor expansion of 0 in z 5.732 * [taylor]: Taking taylor expansion of 0 in z 5.733 * [taylor]: Taking taylor expansion of 0 in z 5.733 * [approximate]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in (y z) around 0 5.733 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in z 5.733 * [taylor]: Taking taylor expansion of -1 in z 5.733 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.733 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.733 * [taylor]: Taking taylor expansion of z in z 5.733 * [taylor]: Taking taylor expansion of y in z 5.733 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 5.733 * [taylor]: Taking taylor expansion of -1 in y 5.733 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.733 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.733 * [taylor]: Taking taylor expansion of z in y 5.733 * [taylor]: Taking taylor expansion of y in y 5.733 * [taylor]: Taking taylor expansion of (/ -1 (* (pow z 2) y)) in y 5.733 * [taylor]: Taking taylor expansion of -1 in y 5.733 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.733 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.733 * [taylor]: Taking taylor expansion of z in y 5.733 * [taylor]: Taking taylor expansion of y in y 5.734 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 5.734 * [taylor]: Taking taylor expansion of -1 in z 5.734 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.734 * [taylor]: Taking taylor expansion of z in z 5.734 * [taylor]: Taking taylor expansion of 0 in z 5.735 * [taylor]: Taking taylor expansion of 0 in z 5.735 * [taylor]: Taking taylor expansion of 0 in z 5.736 * [taylor]: Taking taylor expansion of 0 in z 5.736 * * * * [progress]: [ 2 / 3 ] generating series at (2) 5.736 * [approximate]: Taking taylor expansion of (+ x (* (pow z 2) y)) in (x y z) around 0 5.736 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in z 5.736 * [taylor]: Taking taylor expansion of x in z 5.736 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.736 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.736 * [taylor]: Taking taylor expansion of z in z 5.736 * [taylor]: Taking taylor expansion of y in z 5.736 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in y 5.736 * [taylor]: Taking taylor expansion of x in y 5.736 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.736 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.736 * [taylor]: Taking taylor expansion of z in y 5.736 * [taylor]: Taking taylor expansion of y in y 5.736 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in x 5.736 * [taylor]: Taking taylor expansion of x in x 5.736 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 5.736 * [taylor]: Taking taylor expansion of (pow z 2) in x 5.736 * [taylor]: Taking taylor expansion of z in x 5.736 * [taylor]: Taking taylor expansion of y in x 5.736 * [taylor]: Taking taylor expansion of (+ x (* (pow z 2) y)) in x 5.736 * [taylor]: Taking taylor expansion of x in x 5.736 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 5.736 * [taylor]: Taking taylor expansion of (pow z 2) in x 5.736 * [taylor]: Taking taylor expansion of z in x 5.736 * [taylor]: Taking taylor expansion of y in x 5.737 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.737 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.737 * [taylor]: Taking taylor expansion of z in y 5.737 * [taylor]: Taking taylor expansion of y in y 5.737 * [taylor]: Taking taylor expansion of 0 in z 5.737 * [taylor]: Taking taylor expansion of 1 in y 5.737 * [taylor]: Taking taylor expansion of 1 in z 5.737 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.737 * [taylor]: Taking taylor expansion of z in z 5.737 * [taylor]: Taking taylor expansion of 0 in y 5.737 * [taylor]: Taking taylor expansion of 0 in z 5.737 * [taylor]: Taking taylor expansion of 0 in z 5.737 * [taylor]: Taking taylor expansion of 0 in z 5.738 * [approximate]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in (x y z) around 0 5.738 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in z 5.738 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 5.738 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.738 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.738 * [taylor]: Taking taylor expansion of z in z 5.738 * [taylor]: Taking taylor expansion of y in z 5.738 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.738 * [taylor]: Taking taylor expansion of x in z 5.738 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in y 5.738 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 5.738 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.738 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.738 * [taylor]: Taking taylor expansion of z in y 5.738 * [taylor]: Taking taylor expansion of y in y 5.738 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.738 * [taylor]: Taking taylor expansion of x in y 5.738 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 5.738 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 5.738 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 5.738 * [taylor]: Taking taylor expansion of (pow z 2) in x 5.738 * [taylor]: Taking taylor expansion of z in x 5.738 * [taylor]: Taking taylor expansion of y in x 5.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.739 * [taylor]: Taking taylor expansion of x in x 5.739 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 5.739 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 5.739 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 5.739 * [taylor]: Taking taylor expansion of (pow z 2) in x 5.739 * [taylor]: Taking taylor expansion of z in x 5.739 * [taylor]: Taking taylor expansion of y in x 5.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.739 * [taylor]: Taking taylor expansion of x in x 5.739 * [taylor]: Taking taylor expansion of 1 in y 5.739 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 5.739 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.739 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.739 * [taylor]: Taking taylor expansion of z in y 5.739 * [taylor]: Taking taylor expansion of y in y 5.739 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 5.739 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.739 * [taylor]: Taking taylor expansion of z in z 5.740 * [taylor]: Taking taylor expansion of 1 in z 5.740 * [taylor]: Taking taylor expansion of 0 in y 5.740 * [taylor]: Taking taylor expansion of 0 in z 5.740 * [taylor]: Taking taylor expansion of 0 in z 5.741 * [taylor]: Taking taylor expansion of 0 in y 5.741 * [taylor]: Taking taylor expansion of 0 in z 5.741 * [taylor]: Taking taylor expansion of 0 in z 5.741 * [taylor]: Taking taylor expansion of 0 in z 5.742 * [taylor]: Taking taylor expansion of 0 in y 5.742 * [taylor]: Taking taylor expansion of 0 in z 5.742 * [taylor]: Taking taylor expansion of 0 in z 5.742 * [taylor]: Taking taylor expansion of 0 in z 5.742 * [taylor]: Taking taylor expansion of 0 in z 5.743 * [taylor]: Taking taylor expansion of 0 in y 5.743 * [taylor]: Taking taylor expansion of 0 in z 5.743 * [taylor]: Taking taylor expansion of 0 in z 5.743 * [taylor]: Taking taylor expansion of 0 in z 5.744 * [taylor]: Taking taylor expansion of 0 in z 5.744 * [taylor]: Taking taylor expansion of 0 in z 5.744 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in (x y z) around 0 5.744 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in z 5.744 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in z 5.744 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 5.744 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 5.744 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.744 * [taylor]: Taking taylor expansion of z in z 5.744 * [taylor]: Taking taylor expansion of y in z 5.744 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.744 * [taylor]: Taking taylor expansion of x in z 5.744 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in y 5.744 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in y 5.744 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 5.744 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.744 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.744 * [taylor]: Taking taylor expansion of z in y 5.744 * [taylor]: Taking taylor expansion of y in y 5.745 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.745 * [taylor]: Taking taylor expansion of x in y 5.745 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in x 5.745 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 5.745 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 5.745 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 5.745 * [taylor]: Taking taylor expansion of (pow z 2) in x 5.745 * [taylor]: Taking taylor expansion of z in x 5.745 * [taylor]: Taking taylor expansion of y in x 5.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.745 * [taylor]: Taking taylor expansion of x in x 5.745 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* (pow z 2) y)) (/ 1 x))) in x 5.745 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow z 2) y)) (/ 1 x)) in x 5.745 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in x 5.745 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in x 5.745 * [taylor]: Taking taylor expansion of (pow z 2) in x 5.745 * [taylor]: Taking taylor expansion of z in x 5.745 * [taylor]: Taking taylor expansion of y in x 5.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.745 * [taylor]: Taking taylor expansion of x in x 5.745 * [taylor]: Taking taylor expansion of (neg 1) in y 5.745 * [taylor]: Taking taylor expansion of 1 in y 5.746 * [taylor]: Taking taylor expansion of (neg (/ 1 (* (pow z 2) y))) in y 5.746 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 5.746 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 5.746 * [taylor]: Taking taylor expansion of (pow z 2) in y 5.746 * [taylor]: Taking taylor expansion of z in y 5.746 * [taylor]: Taking taylor expansion of y in y 5.746 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 2))) in z 5.746 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 5.746 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.746 * [taylor]: Taking taylor expansion of z in z 5.746 * [taylor]: Taking taylor expansion of (neg 1) in z 5.746 * [taylor]: Taking taylor expansion of 1 in z 5.746 * [taylor]: Taking taylor expansion of 0 in y 5.747 * [taylor]: Taking taylor expansion of 0 in z 5.747 * [taylor]: Taking taylor expansion of 0 in z 5.747 * [taylor]: Taking taylor expansion of 0 in y 5.747 * [taylor]: Taking taylor expansion of 0 in z 5.748 * [taylor]: Taking taylor expansion of 0 in z 5.748 * [taylor]: Taking taylor expansion of 0 in z 5.748 * [taylor]: Taking taylor expansion of 0 in y 5.748 * [taylor]: Taking taylor expansion of 0 in z 5.748 * [taylor]: Taking taylor expansion of 0 in z 5.749 * [taylor]: Taking taylor expansion of 0 in z 5.749 * [taylor]: Taking taylor expansion of 0 in z 5.749 * [taylor]: Taking taylor expansion of 0 in y 5.750 * [taylor]: Taking taylor expansion of 0 in z 5.750 * [taylor]: Taking taylor expansion of 0 in z 5.750 * [taylor]: Taking taylor expansion of 0 in z 5.750 * [taylor]: Taking taylor expansion of 0 in z 5.750 * [taylor]: Taking taylor expansion of 0 in z 5.750 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 5.750 * [approximate]: Taking taylor expansion of (pow z 2) in (z) around 0 5.750 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.750 * [taylor]: Taking taylor expansion of z in z 5.751 * [taylor]: Taking taylor expansion of (pow z 2) in z 5.751 * [taylor]: Taking taylor expansion of z in z 5.751 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 2) in (z) around 0 5.751 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 2) in z 5.751 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.751 * [taylor]: Taking taylor expansion of z in z 5.751 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 2) in z 5.751 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.751 * [taylor]: Taking taylor expansion of z in z 5.752 * [approximate]: Taking taylor expansion of (pow (/ -1 z) 2) in (z) around 0 5.752 * [taylor]: Taking taylor expansion of (pow (/ -1 z) 2) in z 5.752 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.752 * [taylor]: Taking taylor expansion of -1 in z 5.752 * [taylor]: Taking taylor expansion of z in z 5.752 * [taylor]: Taking taylor expansion of (pow (/ -1 z) 2) in z 5.752 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.752 * [taylor]: Taking taylor expansion of -1 in z 5.752 * [taylor]: Taking taylor expansion of z in z 5.753 * * * [progress]: simplifying candidates 5.754 * [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) 5.756 * * [simplify]: iteration 0 : 83 enodes (cost 501 ) 5.776 * * [simplify]: iteration 1 : 192 enodes (cost 435 ) 5.819 * * [simplify]: iteration 2 : 443 enodes (cost 398 ) 5.969 * * [simplify]: iteration 3 : 1243 enodes (cost 382 ) 7.162 * * [simplify]: iteration 4 : 4468 enodes (cost 382 ) 9.037 * * [simplify]: iteration done : 5000 enodes (cost 382 ) 9.037 * [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)) (* y z) y (* y z) (* y (* (cbrt (pow z 2)) (cbrt (pow z 2)))) (* (fabs z) y) y (* y z) (* (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 (pow z 2)) (log (pow 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 (pow 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) 9.037 * * * [progress]: adding candidates to table 9.104 * [progress]: [Phase 3 of 3] Extracting. 9.105 * * [regime]: Finding splitpoints for: (# # # # # # #) 9.106 * * * [regime-changes]: Trying 5 branch expressions: ((* (* y z) z) (+ x (* (* y z) z)) z y x) 9.107 * * * * [regimes]: Trying to branch on (* (* y z) z) from (# # # # # # #) 9.165 * * * * [regimes]: Trying to branch on (+ x (* (* y z) z)) from (# # # # # # #) 9.224 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 9.281 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 9.338 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 9.396 * * * [regime]: Found split indices: #