483.767 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.024 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.028 * [simplify]: Simplifying using # : (+ (* x (+ y z)) (* z 5.0)) 0.029 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.030 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 0.032 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 0.035 * * [simplify]: iteration 3 : 29 enodes (cost 9 ) 0.040 * * [simplify]: iteration 4 : 31 enodes (cost 9 ) 0.049 * * [simplify]: iteration done : 31 enodes (cost 9 ) 0.049 * [simplify]: Simplified to: (+ (* x (+ y z)) (* z 5.0)) 0.050 * * [progress]: iteration 1 / 4 0.050 * * * [progress]: picking best candidate 0.052 * * * * [pick]: Picked # 0.052 * * * [progress]: localizing error 0.060 * * * [progress]: generating rewritten candidates 0.060 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.067 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.075 * * * [progress]: generating series expansions 0.075 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.076 * [approximate]: Taking taylor expansion of (+ (* 5.0 z) (+ (* x y) (* x z))) in (x y z) around 0 0.076 * [taylor]: Taking taylor expansion of (+ (* 5.0 z) (+ (* x y) (* x z))) in z 0.076 * [taylor]: Taking taylor expansion of (* 5.0 z) in z 0.076 * [taylor]: Taking taylor expansion of 5.0 in z 0.076 * [taylor]: Taking taylor expansion of z in z 0.076 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in z 0.076 * [taylor]: Taking taylor expansion of (* x y) in z 0.076 * [taylor]: Taking taylor expansion of x in z 0.076 * [taylor]: Taking taylor expansion of y in z 0.076 * [taylor]: Taking taylor expansion of (* x z) in z 0.076 * [taylor]: Taking taylor expansion of x in z 0.076 * [taylor]: Taking taylor expansion of z in z 0.076 * [taylor]: Taking taylor expansion of (+ (* 5.0 z) (+ (* x y) (* x z))) in y 0.076 * [taylor]: Taking taylor expansion of (* 5.0 z) in y 0.076 * [taylor]: Taking taylor expansion of 5.0 in y 0.076 * [taylor]: Taking taylor expansion of z in y 0.076 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in y 0.076 * [taylor]: Taking taylor expansion of (* x y) in y 0.076 * [taylor]: Taking taylor expansion of x in y 0.076 * [taylor]: Taking taylor expansion of y in y 0.076 * [taylor]: Taking taylor expansion of (* x z) in y 0.076 * [taylor]: Taking taylor expansion of x in y 0.076 * [taylor]: Taking taylor expansion of z in y 0.076 * [taylor]: Taking taylor expansion of (+ (* 5.0 z) (+ (* x y) (* x z))) in x 0.076 * [taylor]: Taking taylor expansion of (* 5.0 z) in x 0.076 * [taylor]: Taking taylor expansion of 5.0 in x 0.076 * [taylor]: Taking taylor expansion of z in x 0.076 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in x 0.076 * [taylor]: Taking taylor expansion of (* x y) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of y in x 0.076 * [taylor]: Taking taylor expansion of (* x z) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of z in x 0.076 * [taylor]: Taking taylor expansion of (+ (* 5.0 z) (+ (* x y) (* x z))) in x 0.076 * [taylor]: Taking taylor expansion of (* 5.0 z) in x 0.076 * [taylor]: Taking taylor expansion of 5.0 in x 0.076 * [taylor]: Taking taylor expansion of z in x 0.076 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in x 0.076 * [taylor]: Taking taylor expansion of (* x y) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of y in x 0.076 * [taylor]: Taking taylor expansion of (* x z) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of z in x 0.077 * [taylor]: Taking taylor expansion of (* 5.0 z) in y 0.077 * [taylor]: Taking taylor expansion of 5.0 in y 0.077 * [taylor]: Taking taylor expansion of z in y 0.077 * [taylor]: Taking taylor expansion of (* 5.0 z) in z 0.077 * [taylor]: Taking taylor expansion of 5.0 in z 0.077 * [taylor]: Taking taylor expansion of z in z 0.077 * [taylor]: Taking taylor expansion of (+ z y) 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 z in z 0.077 * [taylor]: Taking taylor expansion of 0 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 1 in z 0.077 * [taylor]: Taking taylor expansion of 0 in z 0.078 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5.0 (/ 1 z)) (/ 1 (* x y)))) in (x y z) around 0 0.078 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5.0 (/ 1 z)) (/ 1 (* x y)))) in z 0.078 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.078 * [taylor]: Taking taylor expansion of (* x z) in z 0.078 * [taylor]: Taking taylor expansion of x in z 0.078 * [taylor]: Taking taylor expansion of z in z 0.078 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 z)) (/ 1 (* x y))) in z 0.078 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in z 0.078 * [taylor]: Taking taylor expansion of 5.0 in z 0.078 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.078 * [taylor]: Taking taylor expansion of z in z 0.078 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.078 * [taylor]: Taking taylor expansion of (* x y) in z 0.078 * [taylor]: Taking taylor expansion of x in z 0.078 * [taylor]: Taking taylor expansion of y in z 0.078 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5.0 (/ 1 z)) (/ 1 (* x y)))) in y 0.078 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.078 * [taylor]: Taking taylor expansion of (* x z) in y 0.078 * [taylor]: Taking taylor expansion of x in y 0.078 * [taylor]: Taking taylor expansion of z in y 0.078 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 z)) (/ 1 (* x y))) in y 0.078 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in y 0.078 * [taylor]: Taking taylor expansion of 5.0 in y 0.078 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.078 * [taylor]: Taking taylor expansion of z in y 0.078 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.078 * [taylor]: Taking taylor expansion of (* x y) in y 0.078 * [taylor]: Taking taylor expansion of x in y 0.078 * [taylor]: Taking taylor expansion of y in y 0.079 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5.0 (/ 1 z)) (/ 1 (* x y)))) in x 0.079 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.079 * [taylor]: Taking taylor expansion of (* x z) in x 0.079 * [taylor]: Taking taylor expansion of x in x 0.079 * [taylor]: Taking taylor expansion of z in x 0.079 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 z)) (/ 1 (* x y))) in x 0.079 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in x 0.079 * [taylor]: Taking taylor expansion of 5.0 in x 0.079 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.079 * [taylor]: Taking taylor expansion of z in x 0.079 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.079 * [taylor]: Taking taylor expansion of (* x y) in x 0.079 * [taylor]: Taking taylor expansion of x in x 0.079 * [taylor]: Taking taylor expansion of y in x 0.079 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5.0 (/ 1 z)) (/ 1 (* x y)))) in x 0.079 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.079 * [taylor]: Taking taylor expansion of (* x z) in x 0.079 * [taylor]: Taking taylor expansion of x in x 0.079 * [taylor]: Taking taylor expansion of z in x 0.079 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 z)) (/ 1 (* x y))) in x 0.079 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in x 0.079 * [taylor]: Taking taylor expansion of 5.0 in x 0.079 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.079 * [taylor]: Taking taylor expansion of z in x 0.079 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.079 * [taylor]: Taking taylor expansion of (* x y) in x 0.079 * [taylor]: Taking taylor expansion of x in x 0.079 * [taylor]: Taking taylor expansion of y in x 0.079 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.079 * [taylor]: Taking taylor expansion of y in y 0.079 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.080 * [taylor]: Taking taylor expansion of z in y 0.080 * [taylor]: Taking taylor expansion of 1 in z 0.080 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in y 0.080 * [taylor]: Taking taylor expansion of 5.0 in y 0.080 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.080 * [taylor]: Taking taylor expansion of z in y 0.080 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.080 * [taylor]: Taking taylor expansion of z in z 0.080 * [taylor]: Taking taylor expansion of 0 in y 0.080 * [taylor]: Taking taylor expansion of (/ 5.0 z) in z 0.080 * [taylor]: Taking taylor expansion of 5.0 in z 0.080 * [taylor]: Taking taylor expansion of z in z 0.081 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) in (x y z) around 0 0.081 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) in z 0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 0.081 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.081 * [taylor]: Taking taylor expansion of (* x z) in z 0.081 * [taylor]: Taking taylor expansion of x in z 0.081 * [taylor]: Taking taylor expansion of z in z 0.081 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.081 * [taylor]: Taking taylor expansion of (* x y) in z 0.081 * [taylor]: Taking taylor expansion of x in z 0.081 * [taylor]: Taking taylor expansion of y in z 0.081 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in z 0.081 * [taylor]: Taking taylor expansion of 5.0 in z 0.081 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.081 * [taylor]: Taking taylor expansion of z in z 0.081 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) in y 0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y 0.081 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.081 * [taylor]: Taking taylor expansion of (* x z) in y 0.081 * [taylor]: Taking taylor expansion of x in y 0.081 * [taylor]: Taking taylor expansion of z in y 0.081 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.082 * [taylor]: Taking taylor expansion of (* x y) in y 0.082 * [taylor]: Taking taylor expansion of x in y 0.082 * [taylor]: Taking taylor expansion of y in y 0.082 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in y 0.082 * [taylor]: Taking taylor expansion of 5.0 in y 0.082 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.082 * [taylor]: Taking taylor expansion of z in y 0.082 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) in x 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.082 * [taylor]: Taking taylor expansion of (* x z) in x 0.082 * [taylor]: Taking taylor expansion of x in x 0.082 * [taylor]: Taking taylor expansion of z in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.082 * [taylor]: Taking taylor expansion of (* x y) in x 0.082 * [taylor]: Taking taylor expansion of x in x 0.082 * [taylor]: Taking taylor expansion of y in x 0.082 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in x 0.082 * [taylor]: Taking taylor expansion of 5.0 in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.082 * [taylor]: Taking taylor expansion of z in x 0.082 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) in x 0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.082 * [taylor]: Taking taylor expansion of (* x z) in x 0.082 * [taylor]: Taking taylor expansion of x in x 0.082 * [taylor]: Taking taylor expansion of z in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.082 * [taylor]: Taking taylor expansion of (* x y) in x 0.082 * [taylor]: Taking taylor expansion of x in x 0.082 * [taylor]: Taking taylor expansion of y in x 0.082 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in x 0.082 * [taylor]: Taking taylor expansion of 5.0 in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.082 * [taylor]: Taking taylor expansion of z in x 0.083 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.083 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.083 * [taylor]: Taking taylor expansion of y in y 0.083 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.083 * [taylor]: Taking taylor expansion of z in y 0.083 * [taylor]: Taking taylor expansion of 1 in z 0.083 * [taylor]: Taking taylor expansion of (neg (* 5.0 (/ 1 z))) in y 0.083 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in y 0.083 * [taylor]: Taking taylor expansion of 5.0 in y 0.083 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.083 * [taylor]: Taking taylor expansion of z in y 0.083 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.083 * [taylor]: Taking taylor expansion of z in z 0.084 * [taylor]: Taking taylor expansion of 0 in y 0.084 * [taylor]: Taking taylor expansion of (neg (* 5.0 (/ 1 z))) in z 0.084 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in z 0.084 * [taylor]: Taking taylor expansion of 5.0 in z 0.084 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.084 * [taylor]: Taking taylor expansion of z in z 0.084 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.084 * [approximate]: Taking taylor expansion of (* x (+ z y)) in (x y z) around 0 0.084 * [taylor]: Taking taylor expansion of (* x (+ z y)) in z 0.084 * [taylor]: Taking taylor expansion of x in z 0.084 * [taylor]: Taking taylor expansion of (+ z y) in z 0.084 * [taylor]: Taking taylor expansion of z in z 0.084 * [taylor]: Taking taylor expansion of y in z 0.084 * [taylor]: Taking taylor expansion of (* x (+ z y)) in y 0.084 * [taylor]: Taking taylor expansion of x in y 0.084 * [taylor]: Taking taylor expansion of (+ z y) in y 0.085 * [taylor]: Taking taylor expansion of z in y 0.085 * [taylor]: Taking taylor expansion of y in y 0.085 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of (+ z y) in x 0.085 * [taylor]: Taking taylor expansion of z in x 0.085 * [taylor]: Taking taylor expansion of y in x 0.085 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of (+ z y) in x 0.085 * [taylor]: Taking taylor expansion of z in x 0.085 * [taylor]: Taking taylor expansion of y in x 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 (+ z y) in y 0.085 * [taylor]: Taking taylor expansion of z in y 0.085 * [taylor]: Taking taylor expansion of y in y 0.085 * [taylor]: Taking taylor expansion of z in z 0.085 * [taylor]: Taking taylor expansion of 0 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 1 in z 0.085 * [taylor]: Taking taylor expansion of 0 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.085 * [taylor]: Taking taylor expansion of 0 in z 0.086 * [taylor]: Taking taylor expansion of 0 in z 0.086 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0 0.086 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z 0.086 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 0.086 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.086 * [taylor]: Taking taylor expansion of z in z 0.086 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.086 * [taylor]: Taking taylor expansion of y in z 0.086 * [taylor]: Taking taylor expansion of x in z 0.086 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y 0.086 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.086 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.086 * [taylor]: Taking taylor expansion of z in y 0.086 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.086 * [taylor]: Taking taylor expansion of y in y 0.086 * [taylor]: Taking taylor expansion of x in y 0.086 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x 0.086 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.086 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.086 * [taylor]: Taking taylor expansion of z in x 0.087 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.087 * [taylor]: Taking taylor expansion of y in x 0.087 * [taylor]: Taking taylor expansion of x in x 0.087 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.087 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.087 * [taylor]: Taking taylor expansion of z in x 0.087 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.087 * [taylor]: Taking taylor expansion of y in x 0.087 * [taylor]: Taking taylor expansion of x in x 0.087 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.087 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.087 * [taylor]: Taking taylor expansion of z in y 0.087 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.087 * [taylor]: Taking taylor expansion of y in y 0.087 * [taylor]: Taking taylor expansion of 1 in z 0.087 * [taylor]: Taking taylor expansion of 0 in y 0.087 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.087 * [taylor]: Taking taylor expansion of z in z 0.088 * [taylor]: Taking taylor expansion of 0 in y 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.088 * [taylor]: Taking taylor expansion of 0 in z 0.089 * [taylor]: Taking taylor expansion of 0 in z 0.089 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0 0.089 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z 0.089 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 0.089 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.089 * [taylor]: Taking taylor expansion of z in z 0.089 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.089 * [taylor]: Taking taylor expansion of y in z 0.089 * [taylor]: Taking taylor expansion of x in z 0.089 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y 0.089 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.089 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.089 * [taylor]: Taking taylor expansion of z in y 0.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.089 * [taylor]: Taking taylor expansion of y in y 0.089 * [taylor]: Taking taylor expansion of x in y 0.089 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x 0.089 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.089 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.089 * [taylor]: Taking taylor expansion of z in x 0.089 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.089 * [taylor]: Taking taylor expansion of y in x 0.089 * [taylor]: Taking taylor expansion of x in x 0.090 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x 0.090 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.090 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.090 * [taylor]: Taking taylor expansion of z in x 0.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.090 * [taylor]: Taking taylor expansion of y in x 0.090 * [taylor]: Taking taylor expansion of x in x 0.090 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.090 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.090 * [taylor]: Taking taylor expansion of z in y 0.090 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.090 * [taylor]: Taking taylor expansion of y in y 0.090 * [taylor]: Taking taylor expansion of 1 in z 0.090 * [taylor]: Taking taylor expansion of 0 in y 0.090 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.090 * [taylor]: Taking taylor expansion of z in z 0.091 * [taylor]: Taking taylor expansion of 0 in y 0.091 * [taylor]: Taking taylor expansion of 0 in z 0.091 * [taylor]: Taking taylor expansion of 0 in z 0.091 * [taylor]: Taking taylor expansion of 0 in y 0.091 * [taylor]: Taking taylor expansion of 0 in z 0.091 * [taylor]: Taking taylor expansion of 0 in z 0.091 * [taylor]: Taking taylor expansion of 0 in z 0.092 * * * [progress]: simplifying candidates 0.092 * [simplify]: Simplifying using # : (* (exp (* x (+ y z))) (exp (* z 5.0))) (log (+ (* x (+ y z)) (* z 5.0))) (exp (+ (* x (+ y z)) (* z 5.0))) (* (cbrt (+ (* x (+ y z)) (* z 5.0))) (cbrt (+ (* x (+ y z)) (* z 5.0)))) (cbrt (+ (* x (+ y z)) (* z 5.0))) (* (* (+ (* x (+ y z)) (* z 5.0)) (+ (* x (+ y z)) (* z 5.0))) (+ (* x (+ y z)) (* z 5.0))) (sqrt (+ (* x (+ y z)) (* z 5.0))) (sqrt (+ (* x (+ y z)) (* z 5.0))) (+ (pow (* x (+ y z)) 3) (pow (* z 5.0) 3)) (+ (* (* x (+ y z)) (* x (+ y z))) (- (* (* z 5.0) (* z 5.0)) (* (* x (+ y z)) (* z 5.0)))) (- (* (* x (+ y z)) (* x (+ y z))) (* (* z 5.0) (* z 5.0))) (- (* x (+ y z)) (* z 5.0)) (+ (* x z) (* z 5.0)) (+ (* z x) (* z 5.0)) (* x (+ y z)) (+ (log x) (log (+ y z))) (log (* x (+ y z))) (exp (* x (+ y z))) (* (* (* x x) x) (* (* (+ y z) (+ y z)) (+ y z))) (* (cbrt (* x (+ y z))) (cbrt (* x (+ y z)))) (cbrt (* x (+ y z))) (* (* (* x (+ y z)) (* x (+ y z))) (* x (+ y z))) (sqrt (* x (+ y z))) (sqrt (* x (+ y z))) (* (sqrt x) (sqrt (+ y z))) (* (sqrt x) (sqrt (+ y z))) (* x y) (* x z) (* y x) (* z x) (* x (* (cbrt (+ y z)) (cbrt (+ y z)))) (* x (sqrt (+ y z))) (* x 1) (* x 1) (* (cbrt x) (+ y z)) (* (sqrt x) (+ y z)) (* x (+ y z)) (* x (+ (pow y 3) (pow z 3))) (* x (- (* y y) (* z z))) (+ (* 5.0 z) (+ (* x y) (* x z))) (+ (* x y) (+ (* 5.0 z) (* x z))) (+ (* x y) (+ (* 5.0 z) (* x z))) (+ (* x y) (* x z)) (+ (* x y) (* x z)) (+ (* x y) (* x z)) 0.093 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.094 * * [simplify]: iteration 1 : 26 enodes (cost 10 ) 0.098 * * [simplify]: iteration 2 : 44 enodes (cost 10 ) 0.104 * * [simplify]: iteration 3 : 94 enodes (cost 10 ) 0.128 * * [simplify]: iteration 4 : 250 enodes (cost 10 ) 0.243 * * [simplify]: iteration 5 : 932 enodes (cost 10 ) 1.864 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 1.865 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 1.866 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 1.868 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 1.872 * * [simplify]: iteration 3 : 30 enodes (cost 10 ) 1.876 * * [simplify]: iteration 4 : 32 enodes (cost 10 ) 1.880 * * [simplify]: iteration done : 32 enodes (cost 10 ) 1.881 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 1.882 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 1.885 * * [simplify]: iteration 2 : 39 enodes (cost 10 ) 1.891 * * [simplify]: iteration 3 : 74 enodes (cost 10 ) 1.907 * * [simplify]: iteration 4 : 152 enodes (cost 10 ) 1.953 * * [simplify]: iteration 5 : 529 enodes (cost 10 ) 2.529 * * [simplify]: iteration 6 : 2774 enodes (cost 10 ) 3.904 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 3.905 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 3.906 * * [simplify]: iteration 1 : 20 enodes (cost 21 ) 3.908 * * [simplify]: iteration 2 : 25 enodes (cost 21 ) 3.912 * * [simplify]: iteration 3 : 31 enodes (cost 21 ) 3.916 * * [simplify]: iteration 4 : 33 enodes (cost 21 ) 3.921 * * [simplify]: iteration done : 33 enodes (cost 21 ) 3.922 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 3.923 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 3.925 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 3.929 * * [simplify]: iteration 3 : 30 enodes (cost 10 ) 3.933 * * [simplify]: iteration 4 : 32 enodes (cost 10 ) 3.938 * * [simplify]: iteration done : 32 enodes (cost 10 ) 3.939 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 3.940 * * [simplify]: iteration 1 : 33 enodes (cost 29 ) 3.951 * * [simplify]: iteration 2 : 114 enodes (cost 11 ) 3.990 * * [simplify]: iteration 3 : 577 enodes (cost 11 ) 4.452 * * [simplify]: iteration 4 : 3059 enodes (cost 11 ) 5.895 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 5.896 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 5.897 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 5.900 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 5.903 * * [simplify]: iteration 3 : 30 enodes (cost 10 ) 5.907 * * [simplify]: iteration 4 : 32 enodes (cost 10 ) 5.911 * * [simplify]: iteration done : 32 enodes (cost 10 ) 5.912 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 5.913 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 5.916 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 5.919 * * [simplify]: iteration 3 : 30 enodes (cost 10 ) 5.923 * * [simplify]: iteration 4 : 32 enodes (cost 10 ) 5.928 * * [simplify]: iteration done : 32 enodes (cost 10 ) 5.928 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 5.930 * * [simplify]: iteration 1 : 40 enodes (cost 13 ) 5.942 * * [simplify]: iteration 2 : 120 enodes (cost 13 ) 5.976 * * [simplify]: iteration 3 : 430 enodes (cost 13 ) 6.222 * * [simplify]: iteration 4 : 1133 enodes (cost 13 ) 7.105 * * [simplify]: iteration 5 : 2882 enodes (cost 13 ) 8.531 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 8.532 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 8.534 * * [simplify]: iteration 1 : 47 enodes (cost 25 ) 8.544 * * [simplify]: iteration 2 : 151 enodes (cost 25 ) 8.591 * * [simplify]: iteration 3 : 434 enodes (cost 23 ) 8.821 * * [simplify]: iteration 4 : 1203 enodes (cost 23 ) 9.746 * * [simplify]: iteration 5 : 3417 enodes (cost 23 ) 11.287 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 11.288 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 11.289 * * [simplify]: iteration 1 : 38 enodes (cost 19 ) 11.296 * * [simplify]: iteration 2 : 112 enodes (cost 19 ) 11.328 * * [simplify]: iteration 3 : 296 enodes (cost 19 ) 11.419 * * [simplify]: iteration 4 : 668 enodes (cost 19 ) 11.785 * * [simplify]: iteration 5 : 1881 enodes (cost 19 ) 13.106 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 13.107 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 13.108 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 13.111 * * [simplify]: iteration 2 : 31 enodes (cost 9 ) 13.115 * * [simplify]: iteration 3 : 44 enodes (cost 9 ) 13.122 * * [simplify]: iteration 4 : 50 enodes (cost 9 ) 13.129 * * [simplify]: iteration 5 : 56 enodes (cost 9 ) 13.137 * * [simplify]: iteration 6 : 73 enodes (cost 9 ) 13.152 * * [simplify]: iteration 7 : 103 enodes (cost 9 ) 13.174 * * [simplify]: iteration 8 : 150 enodes (cost 9 ) 13.204 * * [simplify]: iteration 9 : 192 enodes (cost 9 ) 13.233 * * [simplify]: iteration 10 : 209 enodes (cost 9 ) 13.270 * * [simplify]: iteration 11 : 236 enodes (cost 9 ) 13.312 * * [simplify]: iteration 12 : 259 enodes (cost 9 ) 13.348 * * [simplify]: iteration 13 : 260 enodes (cost 9 ) 13.386 * * [simplify]: iteration done : 260 enodes (cost 9 ) 13.387 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 13.387 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 13.389 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 13.390 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 13.392 * * [simplify]: iteration done : 15 enodes (cost 5 ) 13.392 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 13.393 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 13.395 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 13.396 * * [simplify]: iteration done : 13 enodes (cost 5 ) 13.397 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 13.397 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 13.399 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 13.400 * * [simplify]: iteration done : 14 enodes (cost 5 ) 13.401 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 13.402 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 13.402 * * [simplify]: iteration done : 9 enodes (cost 7 ) 13.403 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 13.404 * * [simplify]: iteration 1 : 17 enodes (cost 6 ) 13.406 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 13.408 * * [simplify]: iteration done : 19 enodes (cost 6 ) 13.408 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 13.409 * * [simplify]: iteration 1 : 16 enodes (cost 6 ) 13.411 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 13.415 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 13.422 * * [simplify]: iteration 4 : 76 enodes (cost 6 ) 13.438 * * [simplify]: iteration 5 : 188 enodes (cost 6 ) 13.511 * * [simplify]: iteration 6 : 504 enodes (cost 6 ) 13.904 * * [simplify]: iteration 7 : 1671 enodes (cost 6 ) 15.284 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 15.285 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 15.286 * * [simplify]: iteration 1 : 29 enodes (cost 17 ) 15.293 * * [simplify]: iteration 2 : 110 enodes (cost 9 ) 15.330 * * [simplify]: iteration 3 : 373 enodes (cost 9 ) 15.558 * * [simplify]: iteration 4 : 1303 enodes (cost 7 ) 17.056 * * [simplify]: iteration 5 : 4152 enodes (cost 7 ) 18.845 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 18.846 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 18.847 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 18.849 * * [simplify]: iteration 2 : 16 enodes (cost 13 ) 18.850 * * [simplify]: iteration done : 16 enodes (cost 13 ) 18.851 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 18.852 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 18.853 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 18.855 * * [simplify]: iteration done : 15 enodes (cost 6 ) 18.855 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 18.857 * * [simplify]: iteration 1 : 25 enodes (cost 17 ) 18.867 * * [simplify]: iteration 2 : 97 enodes (cost 7 ) 18.901 * * [simplify]: iteration 3 : 352 enodes (cost 7 ) 19.106 * * [simplify]: iteration 4 : 820 enodes (cost 7 ) 19.827 * * [simplify]: iteration 5 : 2225 enodes (cost 7 ) 22.823 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 22.824 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 22.824 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 22.826 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 22.828 * * [simplify]: iteration done : 15 enodes (cost 6 ) 22.828 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 22.829 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 22.831 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 22.833 * * [simplify]: iteration done : 15 enodes (cost 6 ) 22.833 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 22.834 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 22.835 * * [simplify]: iteration done : 9 enodes (cost 7 ) 22.835 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 22.836 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 22.837 * * [simplify]: iteration done : 9 enodes (cost 7 ) 22.837 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 22.838 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 22.838 * * [simplify]: iteration done : 4 enodes (cost 3 ) 22.838 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 22.844 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 22.845 * * [simplify]: iteration done : 4 enodes (cost 3 ) 22.845 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 22.846 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 22.846 * * [simplify]: iteration done : 4 enodes (cost 3 ) 22.847 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 22.847 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 22.847 * * [simplify]: iteration done : 4 enodes (cost 3 ) 22.848 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 22.849 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 22.850 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 22.852 * * [simplify]: iteration done : 13 enodes (cost 11 ) 22.852 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 22.853 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 22.854 * * [simplify]: iteration done : 8 enodes (cost 6 ) 22.854 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 22.855 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 22.855 * * [simplify]: iteration done : 6 enodes (cost 1 ) 22.856 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 22.856 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 22.856 * * [simplify]: iteration done : 6 enodes (cost 1 ) 22.857 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 22.858 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 22.859 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 22.861 * * [simplify]: iteration done : 15 enodes (cost 6 ) 22.861 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 22.862 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 22.864 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 22.866 * * [simplify]: iteration done : 15 enodes (cost 6 ) 22.867 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 22.867 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 22.869 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 22.870 * * [simplify]: iteration done : 14 enodes (cost 5 ) 22.871 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 22.872 * * [simplify]: iteration 1 : 29 enodes (cost 9 ) 22.877 * * [simplify]: iteration 2 : 63 enodes (cost 9 ) 22.888 * * [simplify]: iteration 3 : 105 enodes (cost 9 ) 22.911 * * [simplify]: iteration 4 : 194 enodes (cost 9 ) 22.979 * * [simplify]: iteration 5 : 477 enodes (cost 9 ) 23.388 * * [simplify]: iteration 6 : 1523 enodes (cost 9 ) 25.019 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 25.020 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 25.021 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 25.023 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 25.028 * * [simplify]: iteration 3 : 76 enodes (cost 9 ) 25.043 * * [simplify]: iteration 4 : 159 enodes (cost 9 ) 25.084 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 25.159 * * [simplify]: iteration 6 : 400 enodes (cost 9 ) 25.342 * * [simplify]: iteration 7 : 771 enodes (cost 9 ) 26.994 * * [simplify]: iteration 8 : 3375 enodes (cost 9 ) 29.130 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 29.130 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 29.131 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 29.134 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 29.138 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 29.142 * * [simplify]: iteration 4 : 32 enodes (cost 9 ) 29.147 * * [simplify]: iteration done : 32 enodes (cost 9 ) 29.147 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 29.148 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 29.151 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 29.155 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 29.162 * * [simplify]: iteration 4 : 32 enodes (cost 9 ) 29.167 * * [simplify]: iteration done : 32 enodes (cost 9 ) 29.167 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 29.169 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 29.171 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 29.175 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 29.179 * * [simplify]: iteration 4 : 32 enodes (cost 9 ) 29.183 * * [simplify]: iteration done : 32 enodes (cost 9 ) 29.184 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 29.185 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 29.186 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 29.188 * * [simplify]: iteration done : 13 enodes (cost 5 ) 29.188 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 29.189 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 29.191 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 29.192 * * [simplify]: iteration done : 13 enodes (cost 5 ) 29.193 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 29.194 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 29.195 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 29.197 * * [simplify]: iteration done : 13 enodes (cost 5 ) 29.197 * [simplify]: Simplified to: (exp (+ (* x (+ y z)) (* z 5.0))) (log (+ (* x (+ y z)) (* z 5.0))) (exp (+ (* x (+ y z)) (* z 5.0))) (* (cbrt (+ (* x (+ y z)) (* z 5.0))) (cbrt (+ (* x (+ y z)) (* z 5.0)))) (cbrt (+ (* x (+ y z)) (* z 5.0))) (pow (+ (* x (+ y z)) (* z 5.0)) 3) (sqrt (+ (* x (+ y z)) (* z 5.0))) (sqrt (+ (* x (+ y z)) (* z 5.0))) (+ (pow (* x (+ y z)) 3) (pow (* z 5.0) 3)) (- (* (* z 5.0) (* z 5.0)) (* (* x (+ y z)) (- (* z 5.0) (* x (+ y z))))) (- (* (* x (+ y z)) (* x (+ y z))) (* (* z 5.0) (* z 5.0))) (- (* x (+ y z)) (* z 5.0)) (* z (+ x 5.0)) (* z (+ x 5.0)) (* x (+ y z)) (+ (log x) (log (+ y z))) (log (* x (+ y z))) (exp (* x (+ y z))) (pow (* x (+ y z)) 3) (* (cbrt (* x (+ y z))) (cbrt (* x (+ y z)))) (cbrt (* x (+ y z))) (pow (* x (+ y z)) 3) (sqrt (* x (+ y z))) (sqrt (* x (+ y z))) (* (sqrt x) (sqrt (+ y z))) (* (sqrt x) (sqrt (+ y z))) (* x y) (* x z) (* y x) (* z x) (* x (* (cbrt (+ y z)) (cbrt (+ y z)))) (* x (sqrt (+ y z))) x x (* (cbrt x) (+ y z)) (* (sqrt x) (+ y z)) (* x (+ y z)) (* x (+ (pow y 3) (pow z 3))) (* x (* (- y z) (+ y z))) (+ (* 5.0 z) (* x (+ y z))) (+ (* x y) (* z (+ 5.0 x))) (+ (* x y) (* z (+ 5.0 x))) (* x (+ y z)) (* x (+ y z)) (* x (+ y z)) 29.197 * * * [progress]: adding candidates to table 29.244 * * [progress]: iteration 2 / 4 29.244 * * * [progress]: picking best candidate 29.254 * * * * [pick]: Picked # 29.254 * * * [progress]: localizing error 29.261 * * * [progress]: generating rewritten candidates 29.261 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 29.268 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 29.273 * * * [progress]: generating series expansions 29.273 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 29.273 * [approximate]: Taking taylor expansion of (* z (+ x 5.0)) in (z x) around 0 29.273 * [taylor]: Taking taylor expansion of (* z (+ x 5.0)) in x 29.273 * [taylor]: Taking taylor expansion of z in x 29.273 * [taylor]: Taking taylor expansion of (+ x 5.0) in x 29.273 * [taylor]: Taking taylor expansion of x in x 29.273 * [taylor]: Taking taylor expansion of 5.0 in x 29.273 * [taylor]: Taking taylor expansion of (* z (+ x 5.0)) in z 29.273 * [taylor]: Taking taylor expansion of z in z 29.273 * [taylor]: Taking taylor expansion of (+ x 5.0) in z 29.273 * [taylor]: Taking taylor expansion of x in z 29.273 * [taylor]: Taking taylor expansion of 5.0 in z 29.273 * [taylor]: Taking taylor expansion of (* z (+ x 5.0)) in z 29.273 * [taylor]: Taking taylor expansion of z in z 29.274 * [taylor]: Taking taylor expansion of (+ x 5.0) in z 29.274 * [taylor]: Taking taylor expansion of x in z 29.274 * [taylor]: Taking taylor expansion of 5.0 in z 29.274 * [taylor]: Taking taylor expansion of 0 in x 29.274 * [taylor]: Taking taylor expansion of (+ x 5.0) in x 29.274 * [taylor]: Taking taylor expansion of x in x 29.274 * [taylor]: Taking taylor expansion of 5.0 in x 29.274 * [taylor]: Taking taylor expansion of 0 in x 29.274 * [taylor]: Taking taylor expansion of 0 in x 29.274 * [taylor]: Taking taylor expansion of 0 in x 29.274 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 5.0) z) in (z x) around 0 29.274 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 5.0) z) in x 29.274 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 5.0) in x 29.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x 29.274 * [taylor]: Taking taylor expansion of x in x 29.274 * [taylor]: Taking taylor expansion of 5.0 in x 29.275 * [taylor]: Taking taylor expansion of z in x 29.275 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 5.0) z) in z 29.275 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 5.0) in z 29.275 * [taylor]: Taking taylor expansion of (/ 1 x) in z 29.275 * [taylor]: Taking taylor expansion of x in z 29.275 * [taylor]: Taking taylor expansion of 5.0 in z 29.275 * [taylor]: Taking taylor expansion of z in z 29.275 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 5.0) z) in z 29.275 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 5.0) in z 29.275 * [taylor]: Taking taylor expansion of (/ 1 x) in z 29.275 * [taylor]: Taking taylor expansion of x in z 29.275 * [taylor]: Taking taylor expansion of 5.0 in z 29.275 * [taylor]: Taking taylor expansion of z in z 29.275 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 5.0) in x 29.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x 29.275 * [taylor]: Taking taylor expansion of x in x 29.275 * [taylor]: Taking taylor expansion of 5.0 in x 29.275 * [taylor]: Taking taylor expansion of 0 in x 29.275 * [taylor]: Taking taylor expansion of 0 in x 29.276 * [taylor]: Taking taylor expansion of 0 in x 29.276 * [taylor]: Taking taylor expansion of 0 in x 29.276 * [approximate]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 x)) z)) in (z x) around 0 29.276 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 x)) z)) in x 29.276 * [taylor]: Taking taylor expansion of -1 in x 29.276 * [taylor]: Taking taylor expansion of (/ (- 5.0 (/ 1 x)) z) in x 29.276 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 x)) in x 29.276 * [taylor]: Taking taylor expansion of 5.0 in x 29.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 29.276 * [taylor]: Taking taylor expansion of x in x 29.276 * [taylor]: Taking taylor expansion of z in x 29.277 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 x)) z)) in z 29.277 * [taylor]: Taking taylor expansion of -1 in z 29.277 * [taylor]: Taking taylor expansion of (/ (- 5.0 (/ 1 x)) z) in z 29.277 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 x)) in z 29.277 * [taylor]: Taking taylor expansion of 5.0 in z 29.277 * [taylor]: Taking taylor expansion of (/ 1 x) in z 29.277 * [taylor]: Taking taylor expansion of x in z 29.277 * [taylor]: Taking taylor expansion of z in z 29.277 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 x)) z)) in z 29.277 * [taylor]: Taking taylor expansion of -1 in z 29.277 * [taylor]: Taking taylor expansion of (/ (- 5.0 (/ 1 x)) z) in z 29.277 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 x)) in z 29.277 * [taylor]: Taking taylor expansion of 5.0 in z 29.277 * [taylor]: Taking taylor expansion of (/ 1 x) in z 29.277 * [taylor]: Taking taylor expansion of x in z 29.277 * [taylor]: Taking taylor expansion of z in z 29.277 * [taylor]: Taking taylor expansion of (* -1 (- 5.0 (/ 1 x))) in x 29.277 * [taylor]: Taking taylor expansion of -1 in x 29.277 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 x)) in x 29.277 * [taylor]: Taking taylor expansion of 5.0 in x 29.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x 29.277 * [taylor]: Taking taylor expansion of x in x 29.277 * [taylor]: Taking taylor expansion of 0 in x 29.278 * [taylor]: Taking taylor expansion of 0 in x 29.278 * [taylor]: Taking taylor expansion of 0 in x 29.279 * [taylor]: Taking taylor expansion of 0 in x 29.279 * * * * [progress]: [ 2 / 2 ] generating series at (2) 29.279 * [approximate]: Taking taylor expansion of (+ (* 5.0 z) (+ (* x y) (* x z))) in (x y z) around 0 29.279 * [taylor]: Taking taylor expansion of (+ (* 5.0 z) (+ (* x y) (* x z))) in z 29.279 * [taylor]: Taking taylor expansion of (* 5.0 z) in z 29.279 * [taylor]: Taking taylor expansion of 5.0 in z 29.279 * [taylor]: Taking taylor expansion of z in z 29.279 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in z 29.279 * [taylor]: Taking taylor expansion of (* x y) in z 29.279 * [taylor]: Taking taylor expansion of x in z 29.279 * [taylor]: Taking taylor expansion of y in z 29.279 * [taylor]: Taking taylor expansion of (* x z) in z 29.279 * [taylor]: Taking taylor expansion of x in z 29.279 * [taylor]: Taking taylor expansion of z in z 29.279 * [taylor]: Taking taylor expansion of (+ (* 5.0 z) (+ (* x y) (* x z))) in y 29.279 * [taylor]: Taking taylor expansion of (* 5.0 z) in y 29.279 * [taylor]: Taking taylor expansion of 5.0 in y 29.279 * [taylor]: Taking taylor expansion of z in y 29.279 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in y 29.279 * [taylor]: Taking taylor expansion of (* x y) in y 29.279 * [taylor]: Taking taylor expansion of x in y 29.279 * [taylor]: Taking taylor expansion of y in y 29.279 * [taylor]: Taking taylor expansion of (* x z) in y 29.279 * [taylor]: Taking taylor expansion of x in y 29.279 * [taylor]: Taking taylor expansion of z in y 29.279 * [taylor]: Taking taylor expansion of (+ (* 5.0 z) (+ (* x y) (* x z))) in x 29.279 * [taylor]: Taking taylor expansion of (* 5.0 z) in x 29.279 * [taylor]: Taking taylor expansion of 5.0 in x 29.279 * [taylor]: Taking taylor expansion of z in x 29.279 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in x 29.279 * [taylor]: Taking taylor expansion of (* x y) in x 29.280 * [taylor]: Taking taylor expansion of x in x 29.280 * [taylor]: Taking taylor expansion of y in x 29.280 * [taylor]: Taking taylor expansion of (* x z) in x 29.280 * [taylor]: Taking taylor expansion of x in x 29.280 * [taylor]: Taking taylor expansion of z in x 29.280 * [taylor]: Taking taylor expansion of (+ (* 5.0 z) (+ (* x y) (* x z))) in x 29.280 * [taylor]: Taking taylor expansion of (* 5.0 z) in x 29.280 * [taylor]: Taking taylor expansion of 5.0 in x 29.280 * [taylor]: Taking taylor expansion of z in x 29.280 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in x 29.280 * [taylor]: Taking taylor expansion of (* x y) in x 29.280 * [taylor]: Taking taylor expansion of x in x 29.280 * [taylor]: Taking taylor expansion of y in x 29.280 * [taylor]: Taking taylor expansion of (* x z) in x 29.280 * [taylor]: Taking taylor expansion of x in x 29.280 * [taylor]: Taking taylor expansion of z in x 29.280 * [taylor]: Taking taylor expansion of (* 5.0 z) in y 29.280 * [taylor]: Taking taylor expansion of 5.0 in y 29.280 * [taylor]: Taking taylor expansion of z in y 29.280 * [taylor]: Taking taylor expansion of (* 5.0 z) in z 29.280 * [taylor]: Taking taylor expansion of 5.0 in z 29.280 * [taylor]: Taking taylor expansion of z in z 29.280 * [taylor]: Taking taylor expansion of (+ z y) in y 29.280 * [taylor]: Taking taylor expansion of z in y 29.280 * [taylor]: Taking taylor expansion of y in y 29.280 * [taylor]: Taking taylor expansion of z in z 29.280 * [taylor]: Taking taylor expansion of 0 in z 29.280 * [taylor]: Taking taylor expansion of 0 in y 29.280 * [taylor]: Taking taylor expansion of 0 in z 29.281 * [taylor]: Taking taylor expansion of 1 in z 29.281 * [taylor]: Taking taylor expansion of 0 in z 29.281 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5.0 (/ 1 z)) (/ 1 (* x y)))) in (x y z) around 0 29.281 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5.0 (/ 1 z)) (/ 1 (* x y)))) in z 29.281 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 29.281 * [taylor]: Taking taylor expansion of (* x z) in z 29.281 * [taylor]: Taking taylor expansion of x in z 29.281 * [taylor]: Taking taylor expansion of z in z 29.281 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 z)) (/ 1 (* x y))) in z 29.281 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in z 29.281 * [taylor]: Taking taylor expansion of 5.0 in z 29.281 * [taylor]: Taking taylor expansion of (/ 1 z) in z 29.281 * [taylor]: Taking taylor expansion of z in z 29.281 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 29.281 * [taylor]: Taking taylor expansion of (* x y) in z 29.281 * [taylor]: Taking taylor expansion of x in z 29.281 * [taylor]: Taking taylor expansion of y in z 29.282 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5.0 (/ 1 z)) (/ 1 (* x y)))) in y 29.282 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 29.282 * [taylor]: Taking taylor expansion of (* x z) in y 29.282 * [taylor]: Taking taylor expansion of x in y 29.282 * [taylor]: Taking taylor expansion of z in y 29.282 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 z)) (/ 1 (* x y))) in y 29.282 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in y 29.282 * [taylor]: Taking taylor expansion of 5.0 in y 29.282 * [taylor]: Taking taylor expansion of (/ 1 z) in y 29.282 * [taylor]: Taking taylor expansion of z in y 29.282 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 29.282 * [taylor]: Taking taylor expansion of (* x y) in y 29.282 * [taylor]: Taking taylor expansion of x in y 29.282 * [taylor]: Taking taylor expansion of y in y 29.282 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5.0 (/ 1 z)) (/ 1 (* x y)))) in x 29.282 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 29.282 * [taylor]: Taking taylor expansion of (* x z) in x 29.282 * [taylor]: Taking taylor expansion of x in x 29.282 * [taylor]: Taking taylor expansion of z in x 29.282 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 z)) (/ 1 (* x y))) in x 29.282 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in x 29.282 * [taylor]: Taking taylor expansion of 5.0 in x 29.282 * [taylor]: Taking taylor expansion of (/ 1 z) in x 29.282 * [taylor]: Taking taylor expansion of z in x 29.282 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 29.282 * [taylor]: Taking taylor expansion of (* x y) in x 29.282 * [taylor]: Taking taylor expansion of x in x 29.282 * [taylor]: Taking taylor expansion of y in x 29.282 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (* 5.0 (/ 1 z)) (/ 1 (* x y)))) in x 29.282 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 29.282 * [taylor]: Taking taylor expansion of (* x z) in x 29.282 * [taylor]: Taking taylor expansion of x in x 29.282 * [taylor]: Taking taylor expansion of z in x 29.282 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 z)) (/ 1 (* x y))) in x 29.282 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in x 29.282 * [taylor]: Taking taylor expansion of 5.0 in x 29.282 * [taylor]: Taking taylor expansion of (/ 1 z) in x 29.283 * [taylor]: Taking taylor expansion of z in x 29.283 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 29.283 * [taylor]: Taking taylor expansion of (* x y) in x 29.283 * [taylor]: Taking taylor expansion of x in x 29.283 * [taylor]: Taking taylor expansion of y in x 29.283 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 29.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 29.283 * [taylor]: Taking taylor expansion of y in y 29.283 * [taylor]: Taking taylor expansion of (/ 1 z) in y 29.283 * [taylor]: Taking taylor expansion of z in y 29.283 * [taylor]: Taking taylor expansion of 1 in z 29.283 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in y 29.283 * [taylor]: Taking taylor expansion of 5.0 in y 29.283 * [taylor]: Taking taylor expansion of (/ 1 z) in y 29.283 * [taylor]: Taking taylor expansion of z in y 29.283 * [taylor]: Taking taylor expansion of (/ 1 z) in z 29.283 * [taylor]: Taking taylor expansion of z in z 29.284 * [taylor]: Taking taylor expansion of 0 in y 29.284 * [taylor]: Taking taylor expansion of (/ 5.0 z) in z 29.284 * [taylor]: Taking taylor expansion of 5.0 in z 29.284 * [taylor]: Taking taylor expansion of z in z 29.284 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) in (x y z) around 0 29.284 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) in z 29.284 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z 29.284 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 29.284 * [taylor]: Taking taylor expansion of (* x z) in z 29.284 * [taylor]: Taking taylor expansion of x in z 29.284 * [taylor]: Taking taylor expansion of z in z 29.284 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 29.284 * [taylor]: Taking taylor expansion of (* x y) in z 29.284 * [taylor]: Taking taylor expansion of x in z 29.285 * [taylor]: Taking taylor expansion of y in z 29.285 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in z 29.285 * [taylor]: Taking taylor expansion of 5.0 in z 29.285 * [taylor]: Taking taylor expansion of (/ 1 z) in z 29.285 * [taylor]: Taking taylor expansion of z in z 29.285 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) in y 29.285 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y 29.285 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 29.285 * [taylor]: Taking taylor expansion of (* x z) in y 29.285 * [taylor]: Taking taylor expansion of x in y 29.285 * [taylor]: Taking taylor expansion of z in y 29.285 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 29.285 * [taylor]: Taking taylor expansion of (* x y) in y 29.285 * [taylor]: Taking taylor expansion of x in y 29.285 * [taylor]: Taking taylor expansion of y in y 29.285 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in y 29.285 * [taylor]: Taking taylor expansion of 5.0 in y 29.285 * [taylor]: Taking taylor expansion of (/ 1 z) in y 29.285 * [taylor]: Taking taylor expansion of z in y 29.285 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) in x 29.285 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x 29.285 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 29.285 * [taylor]: Taking taylor expansion of (* x z) in x 29.285 * [taylor]: Taking taylor expansion of x in x 29.285 * [taylor]: Taking taylor expansion of z in x 29.285 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 29.285 * [taylor]: Taking taylor expansion of (* x y) in x 29.285 * [taylor]: Taking taylor expansion of x in x 29.285 * [taylor]: Taking taylor expansion of y in x 29.285 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in x 29.285 * [taylor]: Taking taylor expansion of 5.0 in x 29.285 * [taylor]: Taking taylor expansion of (/ 1 z) in x 29.285 * [taylor]: Taking taylor expansion of z in x 29.285 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 5.0 (/ 1 z))) in x 29.285 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x 29.285 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 29.285 * [taylor]: Taking taylor expansion of (* x z) in x 29.286 * [taylor]: Taking taylor expansion of x in x 29.286 * [taylor]: Taking taylor expansion of z in x 29.286 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 29.286 * [taylor]: Taking taylor expansion of (* x y) in x 29.286 * [taylor]: Taking taylor expansion of x in x 29.286 * [taylor]: Taking taylor expansion of y in x 29.286 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in x 29.286 * [taylor]: Taking taylor expansion of 5.0 in x 29.286 * [taylor]: Taking taylor expansion of (/ 1 z) in x 29.286 * [taylor]: Taking taylor expansion of z in x 29.286 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 29.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y 29.286 * [taylor]: Taking taylor expansion of y in y 29.286 * [taylor]: Taking taylor expansion of (/ 1 z) in y 29.286 * [taylor]: Taking taylor expansion of z in y 29.286 * [taylor]: Taking taylor expansion of 1 in z 29.286 * [taylor]: Taking taylor expansion of (neg (* 5.0 (/ 1 z))) in y 29.286 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in y 29.286 * [taylor]: Taking taylor expansion of 5.0 in y 29.286 * [taylor]: Taking taylor expansion of (/ 1 z) in y 29.286 * [taylor]: Taking taylor expansion of z in y 29.287 * [taylor]: Taking taylor expansion of (/ 1 z) in z 29.287 * [taylor]: Taking taylor expansion of z in z 29.287 * [taylor]: Taking taylor expansion of 0 in y 29.287 * [taylor]: Taking taylor expansion of (neg (* 5.0 (/ 1 z))) in z 29.287 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 z)) in z 29.287 * [taylor]: Taking taylor expansion of 5.0 in z 29.287 * [taylor]: Taking taylor expansion of (/ 1 z) in z 29.287 * [taylor]: Taking taylor expansion of z in z 29.287 * * * [progress]: simplifying candidates 29.288 * [simplify]: Simplifying using # : (* z (+ x 5.0)) (+ (log z) (log (+ x 5.0))) (log (* z (+ x 5.0))) (exp (* z (+ x 5.0))) (* (* (* z z) z) (* (* (+ x 5.0) (+ x 5.0)) (+ x 5.0))) (* (cbrt (* z (+ x 5.0))) (cbrt (* z (+ x 5.0)))) (cbrt (* z (+ x 5.0))) (* (* (* z (+ x 5.0)) (* z (+ x 5.0))) (* z (+ x 5.0))) (sqrt (* z (+ x 5.0))) (sqrt (* z (+ x 5.0))) (* (sqrt z) (sqrt (+ x 5.0))) (* (sqrt z) (sqrt (+ x 5.0))) (* z x) (* z 5.0) (* x z) (* 5.0 z) (* z (* (cbrt (+ x 5.0)) (cbrt (+ x 5.0)))) (* z (sqrt (+ x 5.0))) (* z 1) (* z 1) (* (cbrt z) (+ x 5.0)) (* (sqrt z) (+ x 5.0)) (* z (+ x 5.0)) (* z (+ (pow x 3) (pow 5.0 3))) (* z (- (* x x) (* 5.0 5.0))) (* (exp (* x y)) (exp (* z (+ x 5.0)))) (log (+ (* x y) (* z (+ x 5.0)))) (exp (+ (* x y) (* z (+ x 5.0)))) (* (cbrt (+ (* x y) (* z (+ x 5.0)))) (cbrt (+ (* x y) (* z (+ x 5.0))))) (cbrt (+ (* x y) (* z (+ x 5.0)))) (* (* (+ (* x y) (* z (+ x 5.0))) (+ (* x y) (* z (+ x 5.0)))) (+ (* x y) (* z (+ x 5.0)))) (sqrt (+ (* x y) (* z (+ x 5.0)))) (sqrt (+ (* x y) (* z (+ x 5.0)))) (+ (pow (* x y) 3) (pow (* z (+ x 5.0)) 3)) (+ (* (* x y) (* x y)) (- (* (* z (+ x 5.0)) (* z (+ x 5.0))) (* (* x y) (* z (+ x 5.0))))) (- (* (* x y) (* x y)) (* (* z (+ x 5.0)) (* z (+ x 5.0)))) (- (* x y) (* z (+ x 5.0))) (+ (* x y) (* z x)) (+ (* x y) (* x z)) (+ (* 5.0 z) (* x z)) (+ (* 5.0 z) (* x z)) (+ (* 5.0 z) (* x z)) (+ (* 5.0 z) (+ (* x y) (* x z))) (+ (* x y) (+ (* 5.0 z) (* x z))) (+ (* x y) (+ (* 5.0 z) (* x z))) 29.289 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 29.289 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 29.291 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 29.293 * * [simplify]: iteration done : 14 enodes (cost 5 ) 29.293 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 29.294 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 29.295 * * [simplify]: iteration done : 9 enodes (cost 7 ) 29.295 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 29.296 * * [simplify]: iteration 1 : 17 enodes (cost 6 ) 29.298 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 29.300 * * [simplify]: iteration done : 19 enodes (cost 6 ) 29.301 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 29.301 * * [simplify]: iteration 1 : 16 enodes (cost 6 ) 29.307 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 29.310 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 29.316 * * [simplify]: iteration 4 : 76 enodes (cost 6 ) 29.329 * * [simplify]: iteration 5 : 188 enodes (cost 6 ) 29.401 * * [simplify]: iteration 6 : 504 enodes (cost 6 ) 29.784 * * [simplify]: iteration 7 : 1671 enodes (cost 6 ) 31.138 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 31.139 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 31.140 * * [simplify]: iteration 1 : 29 enodes (cost 17 ) 31.146 * * [simplify]: iteration 2 : 110 enodes (cost 9 ) 31.178 * * [simplify]: iteration 3 : 373 enodes (cost 9 ) 31.401 * * [simplify]: iteration 4 : 1303 enodes (cost 7 ) 32.875 * * [simplify]: iteration 5 : 4152 enodes (cost 7 ) 34.652 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 34.653 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 34.654 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 34.659 * * [simplify]: iteration 2 : 16 enodes (cost 13 ) 34.661 * * [simplify]: iteration done : 16 enodes (cost 13 ) 34.662 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 34.663 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 34.665 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 34.666 * * [simplify]: iteration done : 15 enodes (cost 6 ) 34.667 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 34.668 * * [simplify]: iteration 1 : 25 enodes (cost 17 ) 34.673 * * [simplify]: iteration 2 : 97 enodes (cost 7 ) 34.709 * * [simplify]: iteration 3 : 352 enodes (cost 7 ) 34.914 * * [simplify]: iteration 4 : 820 enodes (cost 7 ) 35.616 * * [simplify]: iteration 5 : 2225 enodes (cost 7 ) 38.340 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 38.346 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 38.347 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 38.348 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 38.350 * * [simplify]: iteration done : 15 enodes (cost 6 ) 38.351 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 38.351 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 38.353 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 38.355 * * [simplify]: iteration done : 15 enodes (cost 6 ) 38.356 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 38.357 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 38.357 * * [simplify]: iteration done : 9 enodes (cost 7 ) 38.358 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 38.359 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 38.359 * * [simplify]: iteration done : 9 enodes (cost 7 ) 38.360 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 38.360 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 38.361 * * [simplify]: iteration done : 4 enodes (cost 3 ) 38.361 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 38.362 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 38.362 * * [simplify]: iteration done : 4 enodes (cost 3 ) 38.363 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 38.363 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 38.363 * * [simplify]: iteration done : 4 enodes (cost 3 ) 38.364 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 38.364 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 38.365 * * [simplify]: iteration done : 4 enodes (cost 3 ) 38.365 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 38.366 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 38.367 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 38.369 * * [simplify]: iteration done : 13 enodes (cost 11 ) 38.369 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 38.370 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 38.371 * * [simplify]: iteration done : 8 enodes (cost 6 ) 38.371 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 38.372 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 38.372 * * [simplify]: iteration done : 6 enodes (cost 1 ) 38.372 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 38.373 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 38.373 * * [simplify]: iteration done : 6 enodes (cost 1 ) 38.374 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 38.375 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 38.376 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 38.378 * * [simplify]: iteration done : 15 enodes (cost 6 ) 38.379 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 38.380 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 38.381 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 38.383 * * [simplify]: iteration done : 15 enodes (cost 6 ) 38.384 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 38.384 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 38.386 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 38.387 * * [simplify]: iteration done : 14 enodes (cost 5 ) 38.388 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 38.389 * * [simplify]: iteration 1 : 29 enodes (cost 9 ) 38.394 * * [simplify]: iteration 2 : 63 enodes (cost 9 ) 38.404 * * [simplify]: iteration 3 : 105 enodes (cost 9 ) 38.427 * * [simplify]: iteration 4 : 194 enodes (cost 9 ) 38.492 * * [simplify]: iteration 5 : 477 enodes (cost 9 ) 38.901 * * [simplify]: iteration 6 : 1523 enodes (cost 9 ) 40.747 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 40.748 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 40.749 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 40.750 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 40.755 * * [simplify]: iteration 3 : 76 enodes (cost 9 ) 40.776 * * [simplify]: iteration 4 : 159 enodes (cost 9 ) 40.814 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 40.894 * * [simplify]: iteration 6 : 400 enodes (cost 9 ) 41.078 * * [simplify]: iteration 7 : 771 enodes (cost 9 ) 42.764 * * [simplify]: iteration 8 : 3375 enodes (cost 9 ) 44.948 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 44.948 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 44.950 * * [simplify]: iteration 1 : 26 enodes (cost 10 ) 44.953 * * [simplify]: iteration 2 : 44 enodes (cost 10 ) 44.960 * * [simplify]: iteration 3 : 94 enodes (cost 10 ) 44.985 * * [simplify]: iteration 4 : 250 enodes (cost 10 ) 45.098 * * [simplify]: iteration 5 : 923 enodes (cost 10 ) 46.452 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 46.453 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 46.454 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 46.456 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 46.459 * * [simplify]: iteration 3 : 30 enodes (cost 10 ) 46.467 * * [simplify]: iteration 4 : 32 enodes (cost 10 ) 46.472 * * [simplify]: iteration done : 32 enodes (cost 10 ) 46.473 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 46.474 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 46.477 * * [simplify]: iteration 2 : 39 enodes (cost 10 ) 46.482 * * [simplify]: iteration 3 : 74 enodes (cost 10 ) 46.495 * * [simplify]: iteration 4 : 152 enodes (cost 10 ) 46.544 * * [simplify]: iteration 5 : 529 enodes (cost 10 ) 47.100 * * [simplify]: iteration 6 : 2772 enodes (cost 10 ) 48.474 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 48.475 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 48.476 * * [simplify]: iteration 1 : 20 enodes (cost 21 ) 48.479 * * [simplify]: iteration 2 : 25 enodes (cost 21 ) 48.482 * * [simplify]: iteration 3 : 31 enodes (cost 21 ) 48.487 * * [simplify]: iteration 4 : 33 enodes (cost 21 ) 48.492 * * [simplify]: iteration done : 33 enodes (cost 21 ) 48.492 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 48.493 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 48.496 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 48.499 * * [simplify]: iteration 3 : 30 enodes (cost 10 ) 48.503 * * [simplify]: iteration 4 : 32 enodes (cost 10 ) 48.508 * * [simplify]: iteration done : 32 enodes (cost 10 ) 48.508 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 48.510 * * [simplify]: iteration 1 : 33 enodes (cost 29 ) 48.516 * * [simplify]: iteration 2 : 114 enodes (cost 11 ) 48.558 * * [simplify]: iteration 3 : 577 enodes (cost 11 ) 49.016 * * [simplify]: iteration 4 : 3056 enodes (cost 11 ) 50.445 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 50.446 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 50.447 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 50.455 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 50.459 * * [simplify]: iteration 3 : 30 enodes (cost 10 ) 50.463 * * [simplify]: iteration 4 : 32 enodes (cost 10 ) 50.468 * * [simplify]: iteration done : 32 enodes (cost 10 ) 50.468 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 50.470 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 50.472 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 50.475 * * [simplify]: iteration 3 : 30 enodes (cost 10 ) 50.479 * * [simplify]: iteration 4 : 32 enodes (cost 10 ) 50.484 * * [simplify]: iteration done : 32 enodes (cost 10 ) 50.484 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 50.486 * * [simplify]: iteration 1 : 40 enodes (cost 13 ) 50.493 * * [simplify]: iteration 2 : 120 enodes (cost 13 ) 50.532 * * [simplify]: iteration 3 : 426 enodes (cost 13 ) 50.775 * * [simplify]: iteration 4 : 1120 enodes (cost 13 ) 51.650 * * [simplify]: iteration 5 : 2845 enodes (cost 13 ) 53.080 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 53.081 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 53.083 * * [simplify]: iteration 1 : 47 enodes (cost 23 ) 53.098 * * [simplify]: iteration 2 : 166 enodes (cost 23 ) 53.153 * * [simplify]: iteration 3 : 507 enodes (cost 23 ) 53.459 * * [simplify]: iteration 4 : 1451 enodes (cost 23 ) 54.819 * * [simplify]: iteration 5 : 3619 enodes (cost 23 ) 56.581 * * [simplify]: iteration done : 5001 enodes (cost 23 ) 56.581 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 56.583 * * [simplify]: iteration 1 : 38 enodes (cost 19 ) 56.590 * * [simplify]: iteration 2 : 112 enodes (cost 19 ) 56.625 * * [simplify]: iteration 3 : 329 enodes (cost 19 ) 56.761 * * [simplify]: iteration 4 : 898 enodes (cost 19 ) 57.346 * * [simplify]: iteration 5 : 2363 enodes (cost 19 ) 59.018 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 59.019 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 59.020 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 59.023 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 59.028 * * [simplify]: iteration 3 : 58 enodes (cost 9 ) 59.036 * * [simplify]: iteration 4 : 72 enodes (cost 9 ) 59.049 * * [simplify]: iteration 5 : 87 enodes (cost 9 ) 59.069 * * [simplify]: iteration 6 : 128 enodes (cost 9 ) 59.103 * * [simplify]: iteration 7 : 199 enodes (cost 9 ) 59.149 * * [simplify]: iteration 8 : 260 enodes (cost 9 ) 59.191 * * [simplify]: iteration 9 : 269 enodes (cost 9 ) 59.229 * * [simplify]: iteration 10 : 270 enodes (cost 9 ) 59.264 * * [simplify]: iteration done : 270 enodes (cost 9 ) 59.265 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 59.265 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 59.266 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 59.268 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 59.270 * * [simplify]: iteration done : 15 enodes (cost 5 ) 59.270 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 59.271 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 59.272 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 59.274 * * [simplify]: iteration done : 13 enodes (cost 5 ) 59.275 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 59.275 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 59.277 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 59.278 * * [simplify]: iteration done : 13 enodes (cost 5 ) 59.279 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 59.280 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 59.281 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 59.286 * * [simplify]: iteration done : 13 enodes (cost 5 ) 59.287 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 59.288 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 59.289 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 59.291 * * [simplify]: iteration done : 13 enodes (cost 5 ) 59.291 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 59.292 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 59.295 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 59.299 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 59.303 * * [simplify]: iteration 4 : 32 enodes (cost 9 ) 59.308 * * [simplify]: iteration done : 32 enodes (cost 9 ) 59.308 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 59.310 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 59.312 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 59.316 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 59.321 * * [simplify]: iteration 4 : 32 enodes (cost 9 ) 59.325 * * [simplify]: iteration done : 32 enodes (cost 9 ) 59.326 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 59.327 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 59.330 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 59.334 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 59.338 * * [simplify]: iteration 4 : 32 enodes (cost 9 ) 59.346 * * [simplify]: iteration done : 32 enodes (cost 9 ) 59.346 * [simplify]: Simplified to: (* z (+ x 5.0)) (+ (log z) (log (+ x 5.0))) (log (* z (+ x 5.0))) (exp (* z (+ x 5.0))) (pow (* z (+ x 5.0)) 3) (* (cbrt (* z (+ x 5.0))) (cbrt (* z (+ x 5.0)))) (cbrt (* z (+ x 5.0))) (pow (* z (+ x 5.0)) 3) (sqrt (* z (+ x 5.0))) (sqrt (* z (+ x 5.0))) (* (sqrt z) (sqrt (+ x 5.0))) (* (sqrt z) (sqrt (+ x 5.0))) (* z x) (* z 5.0) (* x z) (* 5.0 z) (* z (* (cbrt (+ x 5.0)) (cbrt (+ x 5.0)))) (* z (sqrt (+ x 5.0))) z z (* (cbrt z) (+ x 5.0)) (* (sqrt z) (+ x 5.0)) (* z (+ x 5.0)) (* z (+ (pow x 3) (pow 5.0 3))) (* z (* (- x 5.0) (+ x 5.0))) (exp (+ (* x y) (* z (+ x 5.0)))) (log (+ (* x y) (* z (+ x 5.0)))) (exp (+ (* x y) (* z (+ x 5.0)))) (* (cbrt (+ (* x y) (* z (+ x 5.0)))) (cbrt (+ (* x y) (* z (+ x 5.0))))) (cbrt (+ (* x y) (* z (+ x 5.0)))) (pow (+ (* x y) (* z (+ x 5.0))) 3) (sqrt (+ (* x y) (* z (+ x 5.0)))) (sqrt (+ (* x y) (* z (+ x 5.0)))) (+ (pow (* x y) 3) (pow (* z (+ x 5.0)) 3)) (+ (* (* x y) (* x y)) (* (* z (+ x 5.0)) (- (* z (+ x 5.0)) (* x y)))) (- (* (* x y) (* x y)) (* (* z (+ x 5.0)) (* z (+ x 5.0)))) (- (* x y) (* z (+ x 5.0))) (* x (+ y z)) (* x (+ y z)) (* z (+ 5.0 x)) (* z (+ 5.0 x)) (* z (+ 5.0 x)) (+ (* 5.0 z) (* x (+ y z))) (+ (* x y) (* z (+ 5.0 x))) (+ (* x y) (* z (+ 5.0 x))) 59.347 * * * [progress]: adding candidates to table 59.395 * * [progress]: iteration 3 / 4 59.395 * * * [progress]: picking best candidate 59.403 * * * * [pick]: Picked # 59.403 * * * [progress]: localizing error 59.417 * * * [progress]: generating rewritten candidates 59.417 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 59.419 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 59.420 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 59.422 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 59.431 * * * [progress]: generating series expansions 59.431 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 59.431 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 59.431 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 59.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 59.431 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 59.431 * [taylor]: Taking taylor expansion of 1/3 in z 59.431 * [taylor]: Taking taylor expansion of (log z) in z 59.431 * [taylor]: Taking taylor expansion of z in z 59.431 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 59.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 59.431 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 59.431 * [taylor]: Taking taylor expansion of 1/3 in z 59.431 * [taylor]: Taking taylor expansion of (log z) in z 59.431 * [taylor]: Taking taylor expansion of z in z 59.438 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 59.438 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 59.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 59.438 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 59.438 * [taylor]: Taking taylor expansion of 1/3 in z 59.438 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 59.438 * [taylor]: Taking taylor expansion of (/ 1 z) in z 59.438 * [taylor]: Taking taylor expansion of z in z 59.439 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 59.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 59.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 59.439 * [taylor]: Taking taylor expansion of 1/3 in z 59.439 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 59.439 * [taylor]: Taking taylor expansion of (/ 1 z) in z 59.439 * [taylor]: Taking taylor expansion of z in z 59.446 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 59.446 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 59.446 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 59.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 59.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 59.446 * [taylor]: Taking taylor expansion of 1/3 in z 59.446 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 59.446 * [taylor]: Taking taylor expansion of (/ 1 z) in z 59.446 * [taylor]: Taking taylor expansion of z in z 59.447 * [taylor]: Taking taylor expansion of (cbrt -1) in z 59.447 * [taylor]: Taking taylor expansion of -1 in z 59.447 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 59.447 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 59.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 59.447 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 59.447 * [taylor]: Taking taylor expansion of 1/3 in z 59.447 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 59.447 * [taylor]: Taking taylor expansion of (/ 1 z) in z 59.447 * [taylor]: Taking taylor expansion of z in z 59.447 * [taylor]: Taking taylor expansion of (cbrt -1) in z 59.447 * [taylor]: Taking taylor expansion of -1 in z 59.456 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 59.456 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 59.456 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 59.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 59.456 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 59.456 * [taylor]: Taking taylor expansion of 1/3 in z 59.456 * [taylor]: Taking taylor expansion of (log z) in z 59.456 * [taylor]: Taking taylor expansion of z in z 59.457 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 59.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 59.457 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 59.457 * [taylor]: Taking taylor expansion of 1/3 in z 59.457 * [taylor]: Taking taylor expansion of (log z) in z 59.457 * [taylor]: Taking taylor expansion of z in z 59.464 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 59.464 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 59.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 59.464 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 59.464 * [taylor]: Taking taylor expansion of 1/3 in z 59.464 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 59.464 * [taylor]: Taking taylor expansion of (/ 1 z) in z 59.464 * [taylor]: Taking taylor expansion of z in z 59.464 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 59.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 59.464 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 59.464 * [taylor]: Taking taylor expansion of 1/3 in z 59.464 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 59.464 * [taylor]: Taking taylor expansion of (/ 1 z) in z 59.464 * [taylor]: Taking taylor expansion of z in z 59.472 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 59.472 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 59.472 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 59.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 59.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 59.472 * [taylor]: Taking taylor expansion of 1/3 in z 59.472 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 59.472 * [taylor]: Taking taylor expansion of (/ 1 z) in z 59.472 * [taylor]: Taking taylor expansion of z in z 59.472 * [taylor]: Taking taylor expansion of (cbrt -1) in z 59.472 * [taylor]: Taking taylor expansion of -1 in z 59.472 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 59.472 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 59.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 59.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 59.473 * [taylor]: Taking taylor expansion of 1/3 in z 59.473 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 59.473 * [taylor]: Taking taylor expansion of (/ 1 z) in z 59.473 * [taylor]: Taking taylor expansion of z in z 59.473 * [taylor]: Taking taylor expansion of (cbrt -1) in z 59.473 * [taylor]: Taking taylor expansion of -1 in z 59.482 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 59.482 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 59.482 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 59.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 59.482 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 59.482 * [taylor]: Taking taylor expansion of 1/3 in z 59.482 * [taylor]: Taking taylor expansion of (log z) in z 59.482 * [taylor]: Taking taylor expansion of z in z 59.483 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 59.483 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 59.483 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 59.483 * [taylor]: Taking taylor expansion of 1/3 in z 59.483 * [taylor]: Taking taylor expansion of (log z) in z 59.483 * [taylor]: Taking taylor expansion of z in z 59.490 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 59.490 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 59.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 59.490 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 59.490 * [taylor]: Taking taylor expansion of 1/3 in z 59.490 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 59.490 * [taylor]: Taking taylor expansion of (/ 1 z) in z 59.490 * [taylor]: Taking taylor expansion of z in z 59.490 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 59.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 59.490 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 59.490 * [taylor]: Taking taylor expansion of 1/3 in z 59.490 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 59.490 * [taylor]: Taking taylor expansion of (/ 1 z) in z 59.490 * [taylor]: Taking taylor expansion of z in z 59.498 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 59.498 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 59.498 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 59.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 59.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 59.498 * [taylor]: Taking taylor expansion of 1/3 in z 59.498 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 59.498 * [taylor]: Taking taylor expansion of (/ 1 z) in z 59.498 * [taylor]: Taking taylor expansion of z in z 59.498 * [taylor]: Taking taylor expansion of (cbrt -1) in z 59.498 * [taylor]: Taking taylor expansion of -1 in z 59.498 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 59.498 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 59.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 59.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 59.498 * [taylor]: Taking taylor expansion of 1/3 in z 59.498 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 59.498 * [taylor]: Taking taylor expansion of (/ 1 z) in z 59.498 * [taylor]: Taking taylor expansion of z in z 59.498 * [taylor]: Taking taylor expansion of (cbrt -1) in z 59.499 * [taylor]: Taking taylor expansion of -1 in z 59.508 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 59.508 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 59.508 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 59.508 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 59.508 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 59.508 * [taylor]: Taking taylor expansion of 1/3 in z 59.508 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 59.508 * [taylor]: Taking taylor expansion of (pow z 2) in z 59.508 * [taylor]: Taking taylor expansion of z in z 59.508 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 59.508 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 59.508 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 59.508 * [taylor]: Taking taylor expansion of 1/3 in z 59.508 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 59.508 * [taylor]: Taking taylor expansion of (pow z 2) in z 59.509 * [taylor]: Taking taylor expansion of z in z 59.521 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 59.521 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 59.521 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 59.521 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 59.521 * [taylor]: Taking taylor expansion of 1/3 in z 59.521 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 59.521 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 59.521 * [taylor]: Taking taylor expansion of (pow z 2) in z 59.521 * [taylor]: Taking taylor expansion of z in z 59.521 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 59.521 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 59.521 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 59.521 * [taylor]: Taking taylor expansion of 1/3 in z 59.521 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 59.521 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 59.521 * [taylor]: Taking taylor expansion of (pow z 2) in z 59.521 * [taylor]: Taking taylor expansion of z in z 59.530 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z) around 0 59.530 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 59.530 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 59.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 59.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 59.530 * [taylor]: Taking taylor expansion of 1/3 in z 59.530 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 59.530 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 59.530 * [taylor]: Taking taylor expansion of (pow z 2) in z 59.530 * [taylor]: Taking taylor expansion of z in z 59.530 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 59.530 * [taylor]: Taking taylor expansion of (cbrt -1) in z 59.530 * [taylor]: Taking taylor expansion of -1 in z 59.531 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 59.531 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 59.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 59.531 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 59.531 * [taylor]: Taking taylor expansion of 1/3 in z 59.531 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 59.531 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 59.531 * [taylor]: Taking taylor expansion of (pow z 2) in z 59.531 * [taylor]: Taking taylor expansion of z in z 59.531 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 59.531 * [taylor]: Taking taylor expansion of (cbrt -1) in z 59.531 * [taylor]: Taking taylor expansion of -1 in z 59.543 * * * [progress]: simplifying candidates 59.544 * [simplify]: Simplifying using # : (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)) (+ 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/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)) (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))))))) 59.545 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 59.545 * * [simplify]: iteration done : 3 enodes (cost 3 ) 59.546 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 59.546 * * [simplify]: iteration done : 3 enodes (cost 3 ) 59.546 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 59.547 * * [simplify]: iteration done : 4 enodes (cost 6 ) 59.548 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 59.548 * * [simplify]: iteration done : 3 enodes (cost 3 ) 59.548 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 59.549 * * [simplify]: iteration done : 3 enodes (cost 3 ) 59.549 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 59.550 * * [simplify]: iteration done : 3 enodes (cost 3 ) 59.550 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 59.550 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 59.551 * * [simplify]: iteration done : 4 enodes (cost 1 ) 59.551 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 59.551 * * [simplify]: iteration done : 2 enodes (cost 2 ) 59.552 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 59.552 * * [simplify]: iteration done : 4 enodes (cost 7 ) 59.553 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 59.553 * * [simplify]: iteration done : 3 enodes (cost 3 ) 59.554 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 59.554 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 59.555 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 59.556 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 59.556 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 59.557 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 59.559 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 59.562 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 59.570 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 59.617 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 60.084 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 62.504 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 62.504 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.505 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.505 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.505 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.506 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.506 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.507 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.507 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.508 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 62.508 * * [simplify]: iteration done : 4 enodes (cost 6 ) 62.509 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.509 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.509 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.510 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.510 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.510 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.511 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 62.511 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 62.511 * * [simplify]: iteration done : 4 enodes (cost 1 ) 62.512 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 62.512 * * [simplify]: iteration done : 2 enodes (cost 2 ) 62.513 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 62.513 * * [simplify]: iteration done : 4 enodes (cost 7 ) 62.514 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 62.514 * * [simplify]: iteration done : 3 enodes (cost 3 ) 62.514 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 62.515 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 62.516 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 62.516 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 62.517 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 62.518 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 62.525 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 62.528 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 62.537 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 62.581 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 63.043 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 65.477 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 65.478 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.478 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.479 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.479 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.480 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.480 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.480 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.481 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.481 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 65.482 * * [simplify]: iteration done : 4 enodes (cost 6 ) 65.482 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.483 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.483 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.483 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.484 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.484 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.485 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 65.485 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 65.485 * * [simplify]: iteration done : 4 enodes (cost 1 ) 65.486 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 65.486 * * [simplify]: iteration done : 2 enodes (cost 2 ) 65.486 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 65.487 * * [simplify]: iteration done : 4 enodes (cost 7 ) 65.487 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.488 * * [simplify]: iteration done : 3 enodes (cost 3 ) 65.488 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 65.489 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 65.490 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 65.491 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 65.491 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 65.492 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 65.494 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 65.497 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 65.506 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 65.553 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 66.019 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 68.426 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 68.427 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 68.427 * * [simplify]: iteration done : 3 enodes (cost 3 ) 68.427 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 68.428 * * [simplify]: iteration done : 3 enodes (cost 3 ) 68.428 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 68.429 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 68.429 * * [simplify]: iteration done : 5 enodes (cost 1 ) 68.429 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 68.430 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 68.430 * * [simplify]: iteration done : 6 enodes (cost 1 ) 68.431 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 68.431 * * [simplify]: iteration done : 2 enodes (cost 3 ) 68.431 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 68.432 * * [simplify]: iteration done : 3 enodes (cost 5 ) 68.432 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 68.433 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 68.433 * * [simplify]: iteration done : 6 enodes (cost 1 ) 68.433 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 68.434 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 68.434 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 68.441 * * [simplify]: iteration done : 7 enodes (cost 5 ) 68.442 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 68.442 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 68.443 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 68.444 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 68.445 * * [simplify]: iteration done : 9 enodes (cost 5 ) 68.446 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 68.446 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 68.447 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 68.448 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 68.450 * * [simplify]: iteration 4 : 33 enodes (cost 6 ) 68.455 * * [simplify]: iteration 5 : 73 enodes (cost 6 ) 68.476 * * [simplify]: iteration 6 : 177 enodes (cost 6 ) 68.574 * * [simplify]: iteration 7 : 560 enodes (cost 6 ) 69.437 * * [simplify]: iteration 8 : 2247 enodes (cost 6 ) 71.585 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 71.585 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 71.586 * * [simplify]: iteration done : 2 enodes (cost 3 ) 71.586 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 71.587 * * [simplify]: iteration done : 5 enodes (cost 13 ) 71.588 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 71.588 * * [simplify]: iteration done : 4 enodes (cost 6 ) 71.589 * * [simplify]: iteration 0 : 5 enodes (cost 17 ) 71.590 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 71.592 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 71.596 * * [simplify]: iteration 3 : 34 enodes (cost 3 ) 71.601 * * [simplify]: iteration 4 : 53 enodes (cost 3 ) 71.608 * * [simplify]: iteration 5 : 87 enodes (cost 3 ) 71.618 * * [simplify]: iteration 6 : 151 enodes (cost 3 ) 71.661 * * [simplify]: iteration 7 : 335 enodes (cost 3 ) 71.792 * * [simplify]: iteration 8 : 832 enodes (cost 3 ) 72.910 * * [simplify]: iteration 9 : 3226 enodes (cost 3 ) 74.656 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 74.657 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 74.658 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 74.658 * * [simplify]: iteration done : 5 enodes (cost 3 ) 74.659 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 74.659 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 74.660 * * [simplify]: iteration done : 5 enodes (cost 3 ) 74.660 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 74.661 * * [simplify]: iteration done : 5 enodes (cost 13 ) 74.661 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 74.662 * * [simplify]: iteration done : 4 enodes (cost 7 ) 74.662 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 74.663 * * [simplify]: iteration done : 4 enodes (cost 7 ) 74.663 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 74.664 * * [simplify]: iteration done : 4 enodes (cost 7 ) 74.664 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 74.665 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 74.665 * * [simplify]: iteration done : 5 enodes (cost 1 ) 74.666 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 74.666 * * [simplify]: iteration done : 3 enodes (cost 5 ) 74.666 * * [simplify]: iteration 0 : 5 enodes (cost 15 ) 74.667 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 74.668 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 74.670 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 74.672 * * [simplify]: iteration 4 : 35 enodes (cost 5 ) 74.677 * * [simplify]: iteration 5 : 61 enodes (cost 5 ) 74.686 * * [simplify]: iteration 6 : 131 enodes (cost 5 ) 74.731 * * [simplify]: iteration 7 : 348 enodes (cost 5 ) 75.083 * * [simplify]: iteration 8 : 1255 enodes (cost 5 ) 76.659 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 76.660 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 76.660 * * [simplify]: iteration done : 4 enodes (cost 7 ) 76.661 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 76.661 * * [simplify]: iteration done : 4 enodes (cost 2 ) 76.662 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 76.662 * * [simplify]: iteration done : 4 enodes (cost 2 ) 76.663 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 76.663 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 76.663 * * [simplify]: iteration done : 4 enodes (cost 1 ) 76.664 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 76.664 * * [simplify]: iteration done : 3 enodes (cost 5 ) 76.665 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 76.665 * * [simplify]: iteration done : 4 enodes (cost 7 ) 76.666 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 76.666 * * [simplify]: iteration done : 4 enodes (cost 7 ) 76.667 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 76.667 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 76.668 * * [simplify]: iteration done : 7 enodes (cost 7 ) 76.668 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 76.669 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 76.670 * * [simplify]: iteration done : 7 enodes (cost 7 ) 76.670 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 76.671 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 76.671 * * [simplify]: iteration done : 7 enodes (cost 7 ) 76.672 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 76.672 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 76.673 * * [simplify]: iteration done : 7 enodes (cost 7 ) 76.674 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 76.674 * * [simplify]: iteration done : 4 enodes (cost 2 ) 76.675 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 76.675 * * [simplify]: iteration done : 4 enodes (cost 2 ) 76.676 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 76.676 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 76.676 * * [simplify]: iteration done : 5 enodes (cost 1 ) 76.677 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 76.677 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 76.678 * * [simplify]: iteration done : 6 enodes (cost 1 ) 76.678 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 76.679 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 76.679 * * [simplify]: iteration done : 6 enodes (cost 9 ) 76.680 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 76.680 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 76.681 * * [simplify]: iteration done : 6 enodes (cost 6 ) 76.682 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 76.682 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 76.683 * * [simplify]: iteration done : 8 enodes (cost 4 ) 76.683 * * [simplify]: iteration 0 : 5 enodes (cost 10 ) 76.684 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 76.685 * * [simplify]: iteration 2 : 10 enodes (cost 10 ) 76.686 * * [simplify]: iteration done : 10 enodes (cost 10 ) 76.687 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 76.687 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 76.688 * * [simplify]: iteration done : 5 enodes (cost 6 ) 76.688 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 76.689 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 76.690 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 76.690 * * [simplify]: iteration done : 10 enodes (cost 2 ) 76.691 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 76.691 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 76.692 * * [simplify]: iteration done : 5 enodes (cost 6 ) 76.692 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 76.693 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 76.693 * * [simplify]: iteration done : 6 enodes (cost 6 ) 76.694 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 76.694 * * [simplify]: iteration done : 3 enodes (cost 5 ) 76.695 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 76.695 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 76.696 * * [simplify]: iteration done : 5 enodes (cost 6 ) 76.696 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 76.697 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 76.697 * * [simplify]: iteration done : 5 enodes (cost 6 ) 76.698 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 76.703 * * [simplify]: iteration done : 3 enodes (cost 5 ) 76.703 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 76.704 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 76.707 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 76.710 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 76.716 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 76.732 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 76.784 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 76.972 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 78.322 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 80.308 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 80.309 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 80.310 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 80.313 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 80.323 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 80.331 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 80.359 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 80.468 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 80.974 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 82.776 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 82.777 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 82.779 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 82.782 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 82.788 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 82.809 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 82.885 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 83.178 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 84.599 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 85.871 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 85.871 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 85.873 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 85.875 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 85.878 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 85.884 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 85.899 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 85.952 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 86.144 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 87.508 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 89.301 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 89.301 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 89.303 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 89.312 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 89.317 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 89.325 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 89.352 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 89.460 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 89.971 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 91.743 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 91.744 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 91.745 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 91.748 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 91.754 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 91.780 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 91.852 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 92.144 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 93.541 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 94.825 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 94.826 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 94.827 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 94.830 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 94.833 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 94.839 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 94.855 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 94.910 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 95.106 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 96.494 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 98.535 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 98.535 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 98.537 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 98.539 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 98.544 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 98.552 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 98.580 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 98.690 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 99.202 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 101.015 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 101.016 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 101.017 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 101.020 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 101.026 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 101.051 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 101.121 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 101.415 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 102.816 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 104.079 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 104.080 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 104.081 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 104.084 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 104.089 * * [simplify]: iteration 3 : 79 enodes (cost 3 ) 104.106 * * [simplify]: iteration 4 : 156 enodes (cost 3 ) 104.158 * * [simplify]: iteration 5 : 314 enodes (cost 3 ) 104.344 * * [simplify]: iteration 6 : 887 enodes (cost 3 ) 105.549 * * [simplify]: iteration 7 : 2959 enodes (cost 3 ) 106.920 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 106.921 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 106.922 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 106.925 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 106.934 * * [simplify]: iteration 3 : 131 enodes (cost 5 ) 106.981 * * [simplify]: iteration 4 : 286 enodes (cost 3 ) 107.129 * * [simplify]: iteration 5 : 617 enodes (cost 3 ) 108.034 * * [simplify]: iteration 6 : 1980 enodes (cost 3 ) 109.311 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 109.312 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 109.314 * * [simplify]: iteration 1 : 31 enodes (cost 16 ) 109.319 * * [simplify]: iteration 2 : 66 enodes (cost 14 ) 109.334 * * [simplify]: iteration 3 : 189 enodes (cost 11 ) 109.392 * * [simplify]: iteration 4 : 548 enodes (cost 10 ) 109.992 * * [simplify]: iteration 5 : 2145 enodes (cost 10 ) 111.202 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 111.203 * [simplify]: Simplified to: (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (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 (* (cbrt z) (cbrt z))) (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 (* (cbrt z) (cbrt z))) (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)) 2/3 2 (* z z) (* (cbrt z) (cbrt z)) 2 (* 2 (log (cbrt z))) (* 2 (log (cbrt z))) (exp (* (cbrt z) (cbrt z))) (* z z) (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z)))) (cbrt (* (cbrt z) (cbrt z))) (* z z) (fabs (cbrt z)) (fabs (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))) 1 (* (cbrt z) (cbrt z)) (pow (cbrt (cbrt z)) 4) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt z) (cbrt z) 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))) (cbrt z) (cbrt z) 2/3 2 (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt (sqrt z))) (* 1 (cbrt z)) (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z)))) (* (cbrt z) (sqrt (cbrt z))) (cbrt z) (* (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)) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (pow z 2/3) (pow z 2/3) (* (cbrt (* z z)) (pow (cbrt -1) 2)) 111.203 * * * [progress]: adding candidates to table 111.270 * * [progress]: iteration 4 / 4 111.270 * * * [progress]: picking best candidate 111.279 * * * * [pick]: Picked # 111.279 * * * [progress]: localizing error 111.295 * * * [progress]: generating rewritten candidates 111.295 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2) 111.297 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1) 111.298 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1 2) 111.300 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 1) 111.303 * * * [progress]: generating series expansions 111.303 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2) 111.303 * [approximate]: Taking taylor expansion of (pow z 1/9) in (z) around 0 111.303 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 111.303 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 111.303 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 111.303 * [taylor]: Taking taylor expansion of 1/9 in z 111.303 * [taylor]: Taking taylor expansion of (log z) in z 111.303 * [taylor]: Taking taylor expansion of z in z 111.303 * [taylor]: Taking taylor expansion of (pow z 1/9) in z 111.303 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log z))) in z 111.303 * [taylor]: Taking taylor expansion of (* 1/9 (log z)) in z 111.303 * [taylor]: Taking taylor expansion of 1/9 in z 111.303 * [taylor]: Taking taylor expansion of (log z) in z 111.303 * [taylor]: Taking taylor expansion of z in z 111.310 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/9) in (z) around 0 111.310 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 111.310 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 111.310 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 111.310 * [taylor]: Taking taylor expansion of 1/9 in z 111.310 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.310 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.310 * [taylor]: Taking taylor expansion of z in z 111.311 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 111.311 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 111.311 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 111.311 * [taylor]: Taking taylor expansion of 1/9 in z 111.311 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.311 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.311 * [taylor]: Taking taylor expansion of z in z 111.319 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in (z) around 0 111.319 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z 111.319 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 111.319 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 111.319 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 111.319 * [taylor]: Taking taylor expansion of 1/9 in z 111.319 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.319 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.319 * [taylor]: Taking taylor expansion of z in z 111.319 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 111.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 111.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 111.319 * [taylor]: Taking taylor expansion of 1/3 in z 111.319 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 111.319 * [taylor]: Taking taylor expansion of (cbrt -1) in z 111.319 * [taylor]: Taking taylor expansion of -1 in z 111.320 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/9) (pow (cbrt -1) 1/3)) in z 111.320 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/9) in z 111.320 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 z)))) in z 111.320 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 z))) in z 111.320 * [taylor]: Taking taylor expansion of 1/9 in z 111.320 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.320 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.320 * [taylor]: Taking taylor expansion of z in z 111.320 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 111.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 111.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 111.320 * [taylor]: Taking taylor expansion of 1/3 in z 111.320 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 111.320 * [taylor]: Taking taylor expansion of (cbrt -1) in z 111.320 * [taylor]: Taking taylor expansion of -1 in z 111.339 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1) 111.339 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 111.339 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 111.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 111.339 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 111.339 * [taylor]: Taking taylor expansion of 1/3 in z 111.339 * [taylor]: Taking taylor expansion of (log z) in z 111.339 * [taylor]: Taking taylor expansion of z in z 111.339 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 111.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 111.339 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 111.339 * [taylor]: Taking taylor expansion of 1/3 in z 111.339 * [taylor]: Taking taylor expansion of (log z) in z 111.339 * [taylor]: Taking taylor expansion of z in z 111.351 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 111.351 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 111.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 111.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 111.351 * [taylor]: Taking taylor expansion of 1/3 in z 111.351 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.351 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.352 * [taylor]: Taking taylor expansion of z in z 111.352 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 111.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 111.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 111.352 * [taylor]: Taking taylor expansion of 1/3 in z 111.352 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.352 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.352 * [taylor]: Taking taylor expansion of z in z 111.359 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 111.359 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 111.359 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 111.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 111.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 111.359 * [taylor]: Taking taylor expansion of 1/3 in z 111.360 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.360 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.360 * [taylor]: Taking taylor expansion of z in z 111.360 * [taylor]: Taking taylor expansion of (cbrt -1) in z 111.360 * [taylor]: Taking taylor expansion of -1 in z 111.360 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 111.360 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 111.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 111.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 111.360 * [taylor]: Taking taylor expansion of 1/3 in z 111.360 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.360 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.360 * [taylor]: Taking taylor expansion of z in z 111.360 * [taylor]: Taking taylor expansion of (cbrt -1) in z 111.360 * [taylor]: Taking taylor expansion of -1 in z 111.369 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1 2) 111.369 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 111.369 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 111.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 111.369 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 111.369 * [taylor]: Taking taylor expansion of 1/3 in z 111.370 * [taylor]: Taking taylor expansion of (log z) in z 111.370 * [taylor]: Taking taylor expansion of z in z 111.370 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 111.370 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 111.370 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 111.370 * [taylor]: Taking taylor expansion of 1/3 in z 111.370 * [taylor]: Taking taylor expansion of (log z) in z 111.370 * [taylor]: Taking taylor expansion of z in z 111.377 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 111.377 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 111.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 111.377 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 111.377 * [taylor]: Taking taylor expansion of 1/3 in z 111.377 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.377 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.377 * [taylor]: Taking taylor expansion of z in z 111.378 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 111.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 111.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 111.378 * [taylor]: Taking taylor expansion of 1/3 in z 111.378 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.378 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.378 * [taylor]: Taking taylor expansion of z in z 111.385 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 111.385 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 111.385 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 111.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 111.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 111.385 * [taylor]: Taking taylor expansion of 1/3 in z 111.385 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.385 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.385 * [taylor]: Taking taylor expansion of z in z 111.385 * [taylor]: Taking taylor expansion of (cbrt -1) in z 111.385 * [taylor]: Taking taylor expansion of -1 in z 111.386 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 111.386 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 111.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 111.386 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 111.386 * [taylor]: Taking taylor expansion of 1/3 in z 111.386 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.386 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.386 * [taylor]: Taking taylor expansion of z in z 111.386 * [taylor]: Taking taylor expansion of (cbrt -1) in z 111.386 * [taylor]: Taking taylor expansion of -1 in z 111.396 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 1) 111.396 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 111.396 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 111.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 111.396 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 111.396 * [taylor]: Taking taylor expansion of 1/3 in z 111.396 * [taylor]: Taking taylor expansion of (log z) in z 111.396 * [taylor]: Taking taylor expansion of z in z 111.396 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 111.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 111.396 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 111.396 * [taylor]: Taking taylor expansion of 1/3 in z 111.396 * [taylor]: Taking taylor expansion of (log z) in z 111.396 * [taylor]: Taking taylor expansion of z in z 111.403 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 111.403 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 111.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 111.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 111.403 * [taylor]: Taking taylor expansion of 1/3 in z 111.403 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.403 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.403 * [taylor]: Taking taylor expansion of z in z 111.403 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 111.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 111.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 111.404 * [taylor]: Taking taylor expansion of 1/3 in z 111.404 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.404 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.404 * [taylor]: Taking taylor expansion of z in z 111.411 * [approximate]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in (z) around 0 111.412 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 111.412 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 111.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 111.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 111.412 * [taylor]: Taking taylor expansion of 1/3 in z 111.412 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.412 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.412 * [taylor]: Taking taylor expansion of z in z 111.412 * [taylor]: Taking taylor expansion of (cbrt -1) in z 111.412 * [taylor]: Taking taylor expansion of -1 in z 111.412 * [taylor]: Taking taylor expansion of (* (pow (/ 1 z) 1/3) (cbrt -1)) in z 111.412 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 111.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 111.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 111.412 * [taylor]: Taking taylor expansion of 1/3 in z 111.412 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 111.412 * [taylor]: Taking taylor expansion of (/ 1 z) in z 111.412 * [taylor]: Taking taylor expansion of z in z 111.412 * [taylor]: Taking taylor expansion of (cbrt -1) in z 111.412 * [taylor]: Taking taylor expansion of -1 in z 111.421 * * * [progress]: simplifying candidates 111.422 * [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 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/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 (+ (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)) 111.423 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.423 * * [simplify]: iteration done : 4 enodes (cost 4 ) 111.424 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.424 * * [simplify]: iteration done : 4 enodes (cost 4 ) 111.425 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 111.425 * * [simplify]: iteration done : 5 enodes (cost 7 ) 111.426 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.426 * * [simplify]: iteration done : 4 enodes (cost 4 ) 111.427 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.427 * * [simplify]: iteration done : 4 enodes (cost 4 ) 111.428 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.428 * * [simplify]: iteration done : 4 enodes (cost 4 ) 111.429 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 111.429 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 111.429 * * [simplify]: iteration done : 5 enodes (cost 1 ) 111.430 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 111.430 * * [simplify]: iteration done : 3 enodes (cost 3 ) 111.431 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 111.431 * * [simplify]: iteration done : 5 enodes (cost 8 ) 111.432 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.432 * * [simplify]: iteration done : 4 enodes (cost 4 ) 111.433 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.433 * * [simplify]: iteration done : 4 enodes (cost 4 ) 111.433 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.434 * * [simplify]: iteration done : 4 enodes (cost 4 ) 111.434 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 111.434 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 111.435 * * [simplify]: iteration done : 4 enodes (cost 1 ) 111.435 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 111.435 * * [simplify]: iteration done : 3 enodes (cost 3 ) 111.436 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 111.437 * * [simplify]: iteration done : 5 enodes (cost 9 ) 111.437 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 111.437 * * [simplify]: iteration done : 4 enodes (cost 4 ) 111.438 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 111.439 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 111.439 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 111.440 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 111.442 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 111.444 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 111.452 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 111.461 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 111.509 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 111.951 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 114.342 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 114.343 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 114.343 * * [simplify]: iteration done : 4 enodes (cost 4 ) 114.344 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 114.344 * * [simplify]: iteration done : 4 enodes (cost 4 ) 114.345 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 114.345 * * [simplify]: iteration done : 3 enodes (cost 3 ) 114.346 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 114.346 * * [simplify]: iteration done : 3 enodes (cost 3 ) 114.347 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 114.347 * * [simplify]: iteration done : 4 enodes (cost 6 ) 114.348 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 114.348 * * [simplify]: iteration done : 3 enodes (cost 3 ) 114.348 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 114.349 * * [simplify]: iteration done : 3 enodes (cost 3 ) 114.349 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 114.349 * * [simplify]: iteration done : 3 enodes (cost 3 ) 114.350 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 114.350 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 114.350 * * [simplify]: iteration done : 4 enodes (cost 1 ) 114.351 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 114.351 * * [simplify]: iteration done : 2 enodes (cost 2 ) 114.352 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 114.352 * * [simplify]: iteration done : 4 enodes (cost 7 ) 114.353 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 114.353 * * [simplify]: iteration done : 3 enodes (cost 3 ) 114.354 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 114.360 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 114.360 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 114.361 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 114.362 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 114.363 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 114.365 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 114.368 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 114.376 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 114.422 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 114.885 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 117.281 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 117.281 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 117.282 * * [simplify]: iteration done : 3 enodes (cost 3 ) 117.282 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 117.283 * * [simplify]: iteration done : 3 enodes (cost 3 ) 117.283 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 117.283 * * [simplify]: iteration done : 3 enodes (cost 3 ) 117.284 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 117.284 * * [simplify]: iteration done : 3 enodes (cost 3 ) 117.285 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 117.285 * * [simplify]: iteration done : 4 enodes (cost 6 ) 117.286 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 117.286 * * [simplify]: iteration done : 3 enodes (cost 3 ) 117.287 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 117.287 * * [simplify]: iteration done : 3 enodes (cost 3 ) 117.288 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 117.288 * * [simplify]: iteration done : 3 enodes (cost 3 ) 117.288 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 117.289 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 117.289 * * [simplify]: iteration done : 4 enodes (cost 1 ) 117.289 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 117.290 * * [simplify]: iteration done : 2 enodes (cost 2 ) 117.290 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 117.291 * * [simplify]: iteration done : 4 enodes (cost 7 ) 117.291 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 117.291 * * [simplify]: iteration done : 3 enodes (cost 3 ) 117.292 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 117.292 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 117.293 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 117.294 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 117.295 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 117.296 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 117.297 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 117.300 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 117.309 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 117.357 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 117.832 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 120.467 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 120.467 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 120.467 * * [simplify]: iteration done : 3 enodes (cost 3 ) 120.472 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 120.472 * * [simplify]: iteration done : 3 enodes (cost 3 ) 120.473 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 120.473 * * [simplify]: iteration done : 3 enodes (cost 3 ) 120.474 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 120.474 * * [simplify]: iteration done : 3 enodes (cost 3 ) 120.475 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 120.475 * * [simplify]: iteration done : 4 enodes (cost 6 ) 120.476 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 120.476 * * [simplify]: iteration done : 3 enodes (cost 3 ) 120.477 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 120.477 * * [simplify]: iteration done : 3 enodes (cost 3 ) 120.478 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 120.478 * * [simplify]: iteration done : 3 enodes (cost 3 ) 120.479 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 120.479 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 120.479 * * [simplify]: iteration done : 4 enodes (cost 1 ) 120.480 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 120.480 * * [simplify]: iteration done : 2 enodes (cost 2 ) 120.480 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 120.481 * * [simplify]: iteration done : 4 enodes (cost 7 ) 120.481 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 120.482 * * [simplify]: iteration done : 3 enodes (cost 3 ) 120.482 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 120.483 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 120.483 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 120.484 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 120.485 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 120.486 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 120.487 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 120.490 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 120.499 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 120.544 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 121.007 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 123.407 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 123.407 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 123.408 * * [simplify]: iteration done : 3 enodes (cost 3 ) 123.408 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 123.408 * * [simplify]: iteration done : 3 enodes (cost 3 ) 123.409 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 123.410 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 123.412 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 123.416 * * [simplify]: iteration 3 : 49 enodes (cost 3 ) 123.421 * * [simplify]: iteration 4 : 86 enodes (cost 3 ) 123.444 * * [simplify]: iteration 5 : 171 enodes (cost 3 ) 123.497 * * [simplify]: iteration 6 : 356 enodes (cost 3 ) 123.680 * * [simplify]: iteration 7 : 897 enodes (cost 3 ) 125.067 * * [simplify]: iteration 8 : 3055 enodes (cost 3 ) 126.862 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 126.863 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 126.864 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 126.867 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 126.872 * * [simplify]: iteration 3 : 71 enodes (cost 3 ) 126.880 * * [simplify]: iteration 4 : 125 enodes (cost 3 ) 126.912 * * [simplify]: iteration 5 : 263 enodes (cost 3 ) 127.021 * * [simplify]: iteration 6 : 562 enodes (cost 3 ) 127.521 * * [simplify]: iteration 7 : 1633 enodes (cost 3 ) 129.203 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 129.204 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 129.205 * * [simplify]: iteration 1 : 31 enodes (cost 13 ) 129.209 * * [simplify]: iteration 2 : 57 enodes (cost 12 ) 129.217 * * [simplify]: iteration 3 : 139 enodes (cost 12 ) 129.255 * * [simplify]: iteration 4 : 398 enodes (cost 11 ) 129.578 * * [simplify]: iteration 5 : 1510 enodes (cost 9 ) 131.480 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 131.481 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 131.482 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 131.484 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 131.488 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 131.494 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 131.510 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 131.563 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 131.757 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 133.122 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 134.923 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 134.924 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 134.925 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 134.928 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 134.933 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 134.941 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 134.970 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 135.079 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 135.575 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 137.351 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 137.352 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 137.353 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 137.356 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 137.362 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 137.387 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 137.458 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 137.746 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 139.143 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 140.647 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 140.648 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 140.649 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 140.652 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 140.655 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 140.661 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 140.677 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 140.730 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 140.927 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 142.327 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 144.153 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 144.154 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 144.156 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 144.158 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 144.164 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 144.172 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 144.204 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 144.313 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 144.814 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 146.586 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 146.586 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 146.588 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 146.591 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 146.597 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 146.623 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 146.693 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 146.985 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 148.387 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 149.674 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 149.675 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 149.676 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 149.679 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 149.682 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 149.688 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 149.704 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 149.757 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 149.952 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 151.320 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 153.122 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 153.123 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 153.124 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 153.126 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 153.131 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 153.139 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 153.171 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 153.280 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 153.779 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 155.559 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 155.560 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 155.561 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 155.564 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 155.570 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 155.597 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 155.669 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 155.964 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 157.374 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 158.885 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 158.886 * [simplify]: Simplified to: (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))) 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 z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (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 (* (cbrt z) (cbrt z))) (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 (* (cbrt z) (cbrt z))) (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 1/9) (pow z 1/9) (* (cbrt (cbrt -1)) (pow (/ -1 z) -1/9)) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) (cbrt z) 158.886 * * * [progress]: adding candidates to table 158.947 * [progress]: [Phase 3 of 3] Extracting. 158.947 * * [regime]: Finding splitpoints for: (# # # # #) 158.949 * * * [regime-changes]: Trying 4 branch expressions: ((+ (* x (+ y z)) (* z 5.0)) z y x) 158.949 * * * * [regimes]: Trying to branch on (+ (* x (+ y z)) (* z 5.0)) from (# # # # #) 159.004 * * * * [regimes]: Trying to branch on z from (# # # # #) 159.057 * * * * [regimes]: Trying to branch on y from (# # # # #) 159.108 * * * * [regimes]: Trying to branch on x from (# # # # #) 159.161 * * * [regime]: Found split indices: #