591.506 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.027 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (+ (+ (/ x 2.0) (* y x)) z) 0.031 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.032 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.034 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 0.036 * * [simplify]: iteration done : 19 enodes (cost 9 ) 0.036 * [simplify]: Simplified to: (+ (+ (/ x 2.0) (* y x)) z) 0.037 * * [progress]: iteration 1 / 4 0.037 * * * [progress]: picking best candidate 0.040 * * * * [pick]: Picked # 0.040 * * * [progress]: localizing error 0.047 * * * [progress]: generating rewritten candidates 0.047 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.054 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.065 * * * [progress]: generating series expansions 0.065 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.065 * [approximate]: Taking taylor expansion of (+ (* 0.5 x) (* x y)) in (x y) around 0 0.065 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* x y)) in y 0.065 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 0.065 * [taylor]: Taking taylor expansion of 0.5 in y 0.065 * [taylor]: Taking taylor expansion of x in y 0.065 * [taylor]: Taking taylor expansion of (* x y) in y 0.065 * [taylor]: Taking taylor expansion of x in y 0.065 * [taylor]: Taking taylor expansion of y in y 0.065 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* x y)) in x 0.065 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 0.065 * [taylor]: Taking taylor expansion of 0.5 in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of (* x y) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of y in x 0.065 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* x y)) in x 0.065 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 0.065 * [taylor]: Taking taylor expansion of 0.5 in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of (* x y) in x 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of y in x 0.065 * [taylor]: Taking taylor expansion of 0 in y 0.065 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 0.065 * [taylor]: Taking taylor expansion of y in y 0.065 * [taylor]: Taking taylor expansion of 0.5 in y 0.066 * [taylor]: Taking taylor expansion of 0 in y 0.066 * [taylor]: Taking taylor expansion of 0 in y 0.066 * [taylor]: Taking taylor expansion of 0 in y 0.066 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (/ 1 (* x y))) in (x y) around 0 0.066 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (/ 1 (* x y))) in y 0.066 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 0.066 * [taylor]: Taking taylor expansion of 0.5 in y 0.066 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.066 * [taylor]: Taking taylor expansion of x in y 0.066 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.066 * [taylor]: Taking taylor expansion of (* x y) in y 0.066 * [taylor]: Taking taylor expansion of x in y 0.066 * [taylor]: Taking taylor expansion of y in y 0.067 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (/ 1 (* x y))) in x 0.067 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.067 * [taylor]: Taking taylor expansion of 0.5 in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.067 * [taylor]: Taking taylor expansion of (* x y) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [taylor]: Taking taylor expansion of y in x 0.067 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (/ 1 (* x y))) in x 0.067 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.067 * [taylor]: Taking taylor expansion of 0.5 in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.067 * [taylor]: Taking taylor expansion of (* x y) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [taylor]: Taking taylor expansion of y in x 0.067 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 0.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.067 * [taylor]: Taking taylor expansion of y in y 0.067 * [taylor]: Taking taylor expansion of 0.5 in y 0.067 * [taylor]: Taking taylor expansion of 0 in y 0.068 * [taylor]: Taking taylor expansion of 0 in y 0.068 * [taylor]: Taking taylor expansion of 0 in y 0.069 * [taylor]: Taking taylor expansion of 0 in y 0.069 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 0.5 (/ 1 x))) in (x y) around 0 0.069 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 0.5 (/ 1 x))) in y 0.069 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.069 * [taylor]: Taking taylor expansion of (* x y) in y 0.069 * [taylor]: Taking taylor expansion of x in y 0.069 * [taylor]: Taking taylor expansion of y in y 0.069 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 0.069 * [taylor]: Taking taylor expansion of 0.5 in y 0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.069 * [taylor]: Taking taylor expansion of x in y 0.069 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 0.5 (/ 1 x))) in x 0.069 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.069 * [taylor]: Taking taylor expansion of (* x y) in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of y in x 0.069 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.069 * [taylor]: Taking taylor expansion of 0.5 in x 0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 0.5 (/ 1 x))) in x 0.069 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.070 * [taylor]: Taking taylor expansion of (* x y) in x 0.070 * [taylor]: Taking taylor expansion of x in x 0.070 * [taylor]: Taking taylor expansion of y in x 0.070 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.070 * [taylor]: Taking taylor expansion of 0.5 in x 0.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.070 * [taylor]: Taking taylor expansion of x in x 0.070 * [taylor]: Taking taylor expansion of (- (/ 1 y) 0.5) in y 0.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.070 * [taylor]: Taking taylor expansion of y in y 0.070 * [taylor]: Taking taylor expansion of 0.5 in y 0.070 * [taylor]: Taking taylor expansion of 0 in y 0.070 * [taylor]: Taking taylor expansion of 0 in y 0.071 * [taylor]: Taking taylor expansion of 0 in y 0.071 * [taylor]: Taking taylor expansion of 0 in y 0.071 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.071 * [approximate]: Taking taylor expansion of (+ (* 0.5 x) (+ (* x y) z)) in (x y z) around 0 0.072 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (+ (* x y) z)) in z 0.072 * [taylor]: Taking taylor expansion of (* 0.5 x) in z 0.072 * [taylor]: Taking taylor expansion of 0.5 in z 0.072 * [taylor]: Taking taylor expansion of x in z 0.072 * [taylor]: Taking taylor expansion of (+ (* x y) z) in z 0.072 * [taylor]: Taking taylor expansion of (* x y) in z 0.072 * [taylor]: Taking taylor expansion of x in z 0.072 * [taylor]: Taking taylor expansion of y in z 0.072 * [taylor]: Taking taylor expansion of z in z 0.072 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (+ (* x y) z)) in y 0.072 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 0.072 * [taylor]: Taking taylor expansion of 0.5 in y 0.072 * [taylor]: Taking taylor expansion of x in y 0.072 * [taylor]: Taking taylor expansion of (+ (* x y) z) in y 0.072 * [taylor]: Taking taylor expansion of (* x y) in y 0.072 * [taylor]: Taking taylor expansion of x in y 0.072 * [taylor]: Taking taylor expansion of y in y 0.072 * [taylor]: Taking taylor expansion of z in y 0.072 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (+ (* x y) z)) in x 0.072 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 0.072 * [taylor]: Taking taylor expansion of 0.5 in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.072 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x 0.072 * [taylor]: Taking taylor expansion of (* x y) in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.072 * [taylor]: Taking taylor expansion of y in x 0.072 * [taylor]: Taking taylor expansion of z in x 0.072 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (+ (* x y) z)) in x 0.072 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 0.072 * [taylor]: Taking taylor expansion of 0.5 in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.072 * [taylor]: Taking taylor expansion of (+ (* x y) z) in x 0.072 * [taylor]: Taking taylor expansion of (* x y) in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.072 * [taylor]: Taking taylor expansion of y in x 0.072 * [taylor]: Taking taylor expansion of z in x 0.072 * [taylor]: Taking taylor expansion of z in y 0.072 * [taylor]: Taking taylor expansion of z in z 0.072 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 0.072 * [taylor]: Taking taylor expansion of y in y 0.072 * [taylor]: Taking taylor expansion of 0.5 in y 0.072 * [taylor]: Taking taylor expansion of 0.5 in z 0.073 * [taylor]: Taking taylor expansion of 0 in z 0.073 * [taylor]: Taking taylor expansion of 0 in y 0.073 * [taylor]: Taking taylor expansion of 0 in z 0.073 * [taylor]: Taking taylor expansion of 1 in z 0.073 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (+ (/ 1 z) (/ 1 (* x y)))) in (x y z) around 0 0.073 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (+ (/ 1 z) (/ 1 (* x y)))) in z 0.073 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z 0.073 * [taylor]: Taking taylor expansion of 0.5 in z 0.073 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.073 * [taylor]: Taking taylor expansion of x in z 0.073 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in z 0.073 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.073 * [taylor]: Taking taylor expansion of z in z 0.073 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.073 * [taylor]: Taking taylor expansion of (* x y) in z 0.073 * [taylor]: Taking taylor expansion of x in z 0.073 * [taylor]: Taking taylor expansion of y in z 0.073 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (+ (/ 1 z) (/ 1 (* x y)))) in y 0.073 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 0.073 * [taylor]: Taking taylor expansion of 0.5 in y 0.073 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.073 * [taylor]: Taking taylor expansion of x in y 0.074 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in y 0.074 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.074 * [taylor]: Taking taylor expansion of z in y 0.074 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.074 * [taylor]: Taking taylor expansion of (* x y) in y 0.074 * [taylor]: Taking taylor expansion of x in y 0.074 * [taylor]: Taking taylor expansion of y in y 0.074 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (+ (/ 1 z) (/ 1 (* x y)))) in x 0.074 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.074 * [taylor]: Taking taylor expansion of 0.5 in x 0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 0.074 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.074 * [taylor]: Taking taylor expansion of z in x 0.074 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.074 * [taylor]: Taking taylor expansion of (* x y) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [taylor]: Taking taylor expansion of y in x 0.074 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (+ (/ 1 z) (/ 1 (* x y)))) in x 0.074 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.074 * [taylor]: Taking taylor expansion of 0.5 in x 0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 0.074 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.074 * [taylor]: Taking taylor expansion of z in x 0.074 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.074 * [taylor]: Taking taylor expansion of (* x y) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [taylor]: Taking taylor expansion of y in x 0.074 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 0.074 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.074 * [taylor]: Taking taylor expansion of y in y 0.075 * [taylor]: Taking taylor expansion of 0.5 in y 0.075 * [taylor]: Taking taylor expansion of 1 in z 0.075 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.075 * [taylor]: Taking taylor expansion of z in y 0.075 * [taylor]: Taking taylor expansion of 0.5 in z 0.075 * [taylor]: Taking taylor expansion of 0 in y 0.075 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.075 * [taylor]: Taking taylor expansion of z in z 0.075 * [taylor]: Taking taylor expansion of 0 in z 0.076 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 x)) (/ 1 z))) in (x y z) around 0 0.076 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 x)) (/ 1 z))) in z 0.076 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) 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 (+ (* 0.5 (/ 1 x)) (/ 1 z)) in z 0.076 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z 0.076 * [taylor]: Taking taylor expansion of 0.5 in z 0.076 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.076 * [taylor]: Taking taylor expansion of x in z 0.076 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.076 * [taylor]: Taking taylor expansion of z in z 0.076 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 x)) (/ 1 z))) in y 0.076 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) 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 (+ (* 0.5 (/ 1 x)) (/ 1 z)) in y 0.076 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 0.076 * [taylor]: Taking taylor expansion of 0.5 in y 0.076 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.076 * [taylor]: Taking taylor expansion of x in y 0.076 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.076 * [taylor]: Taking taylor expansion of z in y 0.076 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 x)) (/ 1 z))) in x 0.076 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) 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.077 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (/ 1 z)) in x 0.077 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.077 * [taylor]: Taking taylor expansion of 0.5 in x 0.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.077 * [taylor]: Taking taylor expansion of x in x 0.077 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.077 * [taylor]: Taking taylor expansion of z in x 0.077 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 x)) (/ 1 z))) in x 0.077 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.077 * [taylor]: Taking taylor expansion of (* x y) in x 0.077 * [taylor]: Taking taylor expansion of x in x 0.077 * [taylor]: Taking taylor expansion of y in x 0.077 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (/ 1 z)) in x 0.077 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.077 * [taylor]: Taking taylor expansion of 0.5 in x 0.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.077 * [taylor]: Taking taylor expansion of x in x 0.077 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.077 * [taylor]: Taking taylor expansion of z in x 0.077 * [taylor]: Taking taylor expansion of (- (/ 1 y) 0.5) in y 0.077 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.077 * [taylor]: Taking taylor expansion of y in y 0.077 * [taylor]: Taking taylor expansion of 0.5 in y 0.077 * [taylor]: Taking taylor expansion of 1 in z 0.077 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 0.077 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.077 * [taylor]: Taking taylor expansion of z in y 0.078 * [taylor]: Taking taylor expansion of (neg 0.5) in z 0.078 * [taylor]: Taking taylor expansion of 0.5 in z 0.078 * [taylor]: Taking taylor expansion of 0 in y 0.078 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) 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 0 in z 0.078 * * * [progress]: simplifying candidates 0.079 * [simplify]: Simplifying using # : (* (exp (/ x 2.0)) (exp (* y x))) (log (+ (/ x 2.0) (* y x))) (exp (+ (/ x 2.0) (* y x))) (* (cbrt (+ (/ x 2.0) (* y x))) (cbrt (+ (/ x 2.0) (* y x)))) (cbrt (+ (/ x 2.0) (* y x))) (* (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (+ (/ x 2.0) (* y x))) (sqrt (+ (/ x 2.0) (* y x))) (sqrt (+ (/ x 2.0) (* y x))) (+ (pow (/ x 2.0) 3) (pow (* y x) 3)) (+ (* (/ x 2.0) (/ x 2.0)) (- (* (* y x) (* y x)) (* (/ x 2.0) (* y x)))) (- (* (/ x 2.0) (/ x 2.0)) (* (* y x) (* y x))) (- (/ x 2.0) (* y x)) (* (* (exp (/ x 2.0)) (exp (* y x))) (exp z)) (* (exp (+ (/ x 2.0) (* y x))) (exp z)) (log (+ (+ (/ x 2.0) (* y x)) z)) (exp (+ (+ (/ x 2.0) (* y x)) z)) (* (cbrt (+ (+ (/ x 2.0) (* y x)) z)) (cbrt (+ (+ (/ x 2.0) (* y x)) z))) (cbrt (+ (+ (/ x 2.0) (* y x)) z)) (* (* (+ (+ (/ x 2.0) (* y x)) z) (+ (+ (/ x 2.0) (* y x)) z)) (+ (+ (/ x 2.0) (* y x)) z)) (sqrt (+ (+ (/ x 2.0) (* y x)) z)) (sqrt (+ (+ (/ x 2.0) (* y x)) z)) (+ (pow (+ (/ x 2.0) (* y x)) 3) (pow z 3)) (+ (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (- (* z z) (* (+ (/ x 2.0) (* y x)) z))) (- (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (* z z)) (- (+ (/ x 2.0) (* y x)) z) (+ (+ (/ x 2.0) (* y x)) z) (+ (* y x) z) (+ (* x y) (* 0.5 x)) (+ (* 0.5 x) (* x y)) (+ (* 0.5 x) (* x y)) (+ (* x y) (+ z (* 0.5 x))) (+ (* 0.5 x) (+ (* x y) z)) (+ (* 0.5 x) (+ (* x y) z)) 0.080 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.081 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.082 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 0.085 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 0.090 * * [simplify]: iteration 4 : 68 enodes (cost 8 ) 0.106 * * [simplify]: iteration 5 : 158 enodes (cost 8 ) 0.170 * * [simplify]: iteration 6 : 413 enodes (cost 8 ) 0.515 * * [simplify]: iteration 7 : 1266 enodes (cost 8 ) 3.353 * * [simplify]: iteration 8 : 4697 enodes (cost 8 ) 5.507 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 5.508 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 5.509 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 5.510 * * [simplify]: iteration done : 9 enodes (cost 8 ) 5.510 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 5.511 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 5.513 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 5.515 * * [simplify]: iteration 3 : 24 enodes (cost 8 ) 5.518 * * [simplify]: iteration 4 : 42 enodes (cost 8 ) 5.529 * * [simplify]: iteration 5 : 92 enodes (cost 8 ) 5.548 * * [simplify]: iteration 6 : 217 enodes (cost 8 ) 5.650 * * [simplify]: iteration 7 : 583 enodes (cost 8 ) 6.224 * * [simplify]: iteration 8 : 1952 enodes (cost 8 ) 7.497 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 7.497 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 7.498 * * [simplify]: iteration 1 : 10 enodes (cost 17 ) 7.499 * * [simplify]: iteration done : 10 enodes (cost 17 ) 7.500 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 7.501 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 7.502 * * [simplify]: iteration done : 9 enodes (cost 8 ) 7.503 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 7.504 * * [simplify]: iteration 1 : 23 enodes (cost 23 ) 7.508 * * [simplify]: iteration 2 : 75 enodes (cost 9 ) 7.529 * * [simplify]: iteration 3 : 247 enodes (cost 9 ) 7.635 * * [simplify]: iteration 4 : 676 enodes (cost 9 ) 8.091 * * [simplify]: iteration 5 : 1786 enodes (cost 9 ) 9.780 * * [simplify]: iteration 6 : 4187 enodes (cost 9 ) 11.225 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 11.226 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 11.227 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 11.228 * * [simplify]: iteration done : 9 enodes (cost 8 ) 11.228 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 11.229 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 11.230 * * [simplify]: iteration done : 9 enodes (cost 8 ) 11.231 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 11.232 * * [simplify]: iteration 1 : 29 enodes (cost 11 ) 11.237 * * [simplify]: iteration 2 : 80 enodes (cost 11 ) 11.260 * * [simplify]: iteration 3 : 214 enodes (cost 11 ) 11.331 * * [simplify]: iteration 4 : 478 enodes (cost 11 ) 11.557 * * [simplify]: iteration 5 : 1353 enodes (cost 11 ) 12.994 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 12.995 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 12.997 * * [simplify]: iteration 1 : 33 enodes (cost 19 ) 13.002 * * [simplify]: iteration 2 : 83 enodes (cost 19 ) 13.021 * * [simplify]: iteration 3 : 162 enodes (cost 19 ) 13.062 * * [simplify]: iteration 4 : 255 enodes (cost 17 ) 13.122 * * [simplify]: iteration 5 : 362 enodes (cost 17 ) 13.247 * * [simplify]: iteration 6 : 497 enodes (cost 17 ) 13.363 * * [simplify]: iteration 7 : 636 enodes (cost 17 ) 13.631 * * [simplify]: iteration 8 : 958 enodes (cost 17 ) 14.264 * * [simplify]: iteration 9 : 1373 enodes (cost 17 ) 14.571 * * [simplify]: iteration 10 : 1385 enodes (cost 17 ) 14.850 * * [simplify]: iteration done : 1385 enodes (cost 17 ) 14.851 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 14.852 * * [simplify]: iteration 1 : 25 enodes (cost 15 ) 14.856 * * [simplify]: iteration 2 : 60 enodes (cost 15 ) 14.872 * * [simplify]: iteration 3 : 124 enodes (cost 15 ) 14.899 * * [simplify]: iteration 4 : 191 enodes (cost 13 ) 14.944 * * [simplify]: iteration 5 : 291 enodes (cost 13 ) 15.032 * * [simplify]: iteration 6 : 437 enodes (cost 13 ) 15.201 * * [simplify]: iteration 7 : 819 enodes (cost 13 ) 16.441 * * [simplify]: iteration 8 : 2639 enodes (cost 13 ) 19.502 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 19.503 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 19.504 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 19.505 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 19.507 * * [simplify]: iteration done : 16 enodes (cost 7 ) 19.508 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 19.509 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 19.512 * * [simplify]: iteration 2 : 39 enodes (cost 10 ) 19.517 * * [simplify]: iteration 3 : 68 enodes (cost 10 ) 19.529 * * [simplify]: iteration 4 : 139 enodes (cost 10 ) 19.568 * * [simplify]: iteration 5 : 331 enodes (cost 10 ) 19.768 * * [simplify]: iteration 6 : 899 enodes (cost 10 ) 21.177 * * [simplify]: iteration 7 : 2917 enodes (cost 10 ) 23.273 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 23.274 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 23.275 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 23.278 * * [simplify]: iteration 2 : 32 enodes (cost 10 ) 23.282 * * [simplify]: iteration 3 : 51 enodes (cost 10 ) 23.289 * * [simplify]: iteration 4 : 85 enodes (cost 10 ) 23.310 * * [simplify]: iteration 5 : 187 enodes (cost 10 ) 23.375 * * [simplify]: iteration 6 : 462 enodes (cost 10 ) 23.758 * * [simplify]: iteration 7 : 1334 enodes (cost 10 ) 26.351 * * [simplify]: iteration 8 : 4527 enodes (cost 10 ) 28.233 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 28.234 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 28.235 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 28.236 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 28.239 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 28.241 * * [simplify]: iteration done : 22 enodes (cost 10 ) 28.242 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 28.247 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 28.249 * * [simplify]: iteration 2 : 30 enodes (cost 10 ) 28.253 * * [simplify]: iteration 3 : 46 enodes (cost 10 ) 28.260 * * [simplify]: iteration 4 : 55 enodes (cost 10 ) 28.267 * * [simplify]: iteration 5 : 89 enodes (cost 10 ) 28.285 * * [simplify]: iteration 6 : 189 enodes (cost 10 ) 28.349 * * [simplify]: iteration 7 : 465 enodes (cost 10 ) 28.731 * * [simplify]: iteration 8 : 1337 enodes (cost 10 ) 31.341 * * [simplify]: iteration 9 : 4540 enodes (cost 10 ) 33.221 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 33.222 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 33.223 * * [simplify]: iteration 1 : 15 enodes (cost 21 ) 33.225 * * [simplify]: iteration 2 : 21 enodes (cost 21 ) 33.227 * * [simplify]: iteration done : 21 enodes (cost 21 ) 33.228 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 33.229 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 33.234 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 33.237 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 33.239 * * [simplify]: iteration done : 22 enodes (cost 10 ) 33.240 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 33.241 * * [simplify]: iteration 1 : 28 enodes (cost 29 ) 33.247 * * [simplify]: iteration 2 : 102 enodes (cost 11 ) 33.281 * * [simplify]: iteration 3 : 460 enodes (cost 11 ) 33.653 * * [simplify]: iteration 4 : 2560 enodes (cost 11 ) 34.770 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 34.771 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 34.776 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 34.778 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 34.781 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 34.783 * * [simplify]: iteration done : 22 enodes (cost 10 ) 34.784 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 34.785 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 34.787 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 34.789 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 34.791 * * [simplify]: iteration done : 22 enodes (cost 10 ) 34.792 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 34.794 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 34.797 * * [simplify]: iteration 2 : 52 enodes (cost 13 ) 34.806 * * [simplify]: iteration 3 : 129 enodes (cost 13 ) 34.843 * * [simplify]: iteration 4 : 375 enodes (cost 13 ) 35.019 * * [simplify]: iteration 5 : 1118 enodes (cost 13 ) 36.068 * * [simplify]: iteration 6 : 3553 enodes (cost 13 ) 37.448 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 37.449 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 37.451 * * [simplify]: iteration 1 : 28 enodes (cost 27 ) 37.456 * * [simplify]: iteration 2 : 84 enodes (cost 27 ) 37.477 * * [simplify]: iteration 3 : 242 enodes (cost 21 ) 37.573 * * [simplify]: iteration 4 : 849 enodes (cost 21 ) 38.320 * * [simplify]: iteration 5 : 2602 enodes (cost 21 ) 40.075 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 40.076 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 40.078 * * [simplify]: iteration 1 : 23 enodes (cost 19 ) 40.081 * * [simplify]: iteration 2 : 65 enodes (cost 19 ) 40.094 * * [simplify]: iteration 3 : 189 enodes (cost 19 ) 40.154 * * [simplify]: iteration 4 : 553 enodes (cost 19 ) 40.521 * * [simplify]: iteration 5 : 1570 enodes (cost 19 ) 42.094 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 42.095 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 42.096 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 42.098 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 42.100 * * [simplify]: iteration 3 : 27 enodes (cost 9 ) 42.104 * * [simplify]: iteration 4 : 33 enodes (cost 9 ) 42.108 * * [simplify]: iteration 5 : 44 enodes (cost 9 ) 42.115 * * [simplify]: iteration 6 : 64 enodes (cost 9 ) 42.125 * * [simplify]: iteration 7 : 91 enodes (cost 9 ) 42.141 * * [simplify]: iteration 8 : 112 enodes (cost 9 ) 42.154 * * [simplify]: iteration 9 : 119 enodes (cost 9 ) 42.172 * * [simplify]: iteration 10 : 136 enodes (cost 9 ) 42.191 * * [simplify]: iteration 11 : 140 enodes (cost 9 ) 42.207 * * [simplify]: iteration done : 140 enodes (cost 9 ) 42.208 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 42.209 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 42.210 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 42.212 * * [simplify]: iteration done : 19 enodes (cost 9 ) 42.213 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 42.213 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 42.214 * * [simplify]: iteration done : 7 enodes (cost 5 ) 42.215 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 42.216 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 42.217 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 42.218 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 42.220 * * [simplify]: iteration done : 15 enodes (cost 5 ) 42.221 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 42.221 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 42.222 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 42.224 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 42.226 * * [simplify]: iteration done : 15 enodes (cost 5 ) 42.226 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 42.227 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 42.228 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 42.230 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 42.232 * * [simplify]: iteration done : 15 enodes (cost 5 ) 42.233 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 42.234 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 42.235 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 42.238 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 42.242 * * [simplify]: iteration 4 : 28 enodes (cost 7 ) 42.247 * * [simplify]: iteration done : 28 enodes (cost 7 ) 42.248 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 42.249 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 42.251 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 42.254 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 42.257 * * [simplify]: iteration done : 26 enodes (cost 7 ) 42.258 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 42.259 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 42.261 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 42.264 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 42.267 * * [simplify]: iteration done : 26 enodes (cost 7 ) 42.267 * [simplify]: Simplified to: (exp (+ (/ x 2.0) (* y x))) (log (+ (/ x 2.0) (* y x))) (exp (+ (/ x 2.0) (* y x))) (* (cbrt (+ (/ x 2.0) (* y x))) (cbrt (+ (/ x 2.0) (* y x)))) (cbrt (+ (/ x 2.0) (* y x))) (pow (+ (/ x 2.0) (* y x)) 3) (sqrt (+ (/ x 2.0) (* y x))) (sqrt (+ (/ x 2.0) (* y x))) (+ (pow (/ x 2.0) 3) (pow (* y x) 3)) (* x (+ (/ (/ x 2.0) 2.0) (* (- (* y x) (/ x 2.0)) y))) (* x (- (/ (/ x 2.0) 2.0) (* (* y y) x))) (- (/ x 2.0) (* y x)) (exp (+ z (+ (/ x 2.0) (* y x)))) (exp (+ (+ (/ x 2.0) (* y x)) z)) (log (+ (+ (/ x 2.0) (* y x)) z)) (exp (+ (+ (/ x 2.0) (* y x)) z)) (* (cbrt (+ (+ (/ x 2.0) (* y x)) z)) (cbrt (+ (+ (/ x 2.0) (* y x)) z))) (cbrt (+ (+ (/ x 2.0) (* y x)) z)) (pow (+ (+ (/ x 2.0) (* y x)) z) 3) (sqrt (+ (+ (/ x 2.0) (* y x)) z)) (sqrt (+ (+ (/ x 2.0) (* y x)) z)) (+ (pow (+ (/ x 2.0) (* y x)) 3) (pow z 3)) (- (* z z) (* (+ (/ x 2.0) (* y x)) (- z (+ (/ x 2.0) (* y x))))) (- (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (* z z)) (- (+ (/ x 2.0) (* y x)) z) (+ (+ (/ x 2.0) (* y x)) z) (+ (* y x) z) (* x (+ y 0.5)) (* x (+ 0.5 y)) (* x (+ 0.5 y)) (+ z (* x (+ 0.5 y))) (+ z (* x (+ 0.5 y))) (+ z (* x (+ 0.5 y))) 42.267 * * * [progress]: adding candidates to table 42.305 * * [progress]: iteration 2 / 4 42.305 * * * [progress]: picking best candidate 42.308 * * * * [pick]: Picked # 42.308 * * * [progress]: localizing error 42.316 * * * [progress]: generating rewritten candidates 42.316 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 42.323 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 42.330 * * * [progress]: generating series expansions 42.330 * * * * [progress]: [ 1 / 2 ] generating series at (2) 42.330 * [approximate]: Taking taylor expansion of (+ (* x y) (+ z (* 0.5 x))) in (x y z) around 0 42.330 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z (* 0.5 x))) in z 42.330 * [taylor]: Taking taylor expansion of (* x y) in z 42.330 * [taylor]: Taking taylor expansion of x in z 42.330 * [taylor]: Taking taylor expansion of y in z 42.330 * [taylor]: Taking taylor expansion of (+ z (* 0.5 x)) in z 42.330 * [taylor]: Taking taylor expansion of z in z 42.330 * [taylor]: Taking taylor expansion of (* 0.5 x) in z 42.330 * [taylor]: Taking taylor expansion of 0.5 in z 42.330 * [taylor]: Taking taylor expansion of x in z 42.330 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z (* 0.5 x))) in y 42.330 * [taylor]: Taking taylor expansion of (* x y) in y 42.331 * [taylor]: Taking taylor expansion of x in y 42.331 * [taylor]: Taking taylor expansion of y in y 42.331 * [taylor]: Taking taylor expansion of (+ z (* 0.5 x)) in y 42.331 * [taylor]: Taking taylor expansion of z in y 42.331 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 42.331 * [taylor]: Taking taylor expansion of 0.5 in y 42.331 * [taylor]: Taking taylor expansion of x in y 42.331 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z (* 0.5 x))) in x 42.331 * [taylor]: Taking taylor expansion of (* x y) in x 42.331 * [taylor]: Taking taylor expansion of x in x 42.331 * [taylor]: Taking taylor expansion of y in x 42.331 * [taylor]: Taking taylor expansion of (+ z (* 0.5 x)) in x 42.331 * [taylor]: Taking taylor expansion of z in x 42.331 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 42.331 * [taylor]: Taking taylor expansion of 0.5 in x 42.331 * [taylor]: Taking taylor expansion of x in x 42.331 * [taylor]: Taking taylor expansion of (+ (* x y) (+ z (* 0.5 x))) in x 42.331 * [taylor]: Taking taylor expansion of (* x y) in x 42.331 * [taylor]: Taking taylor expansion of x in x 42.331 * [taylor]: Taking taylor expansion of y in x 42.331 * [taylor]: Taking taylor expansion of (+ z (* 0.5 x)) in x 42.331 * [taylor]: Taking taylor expansion of z in x 42.331 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 42.331 * [taylor]: Taking taylor expansion of 0.5 in x 42.331 * [taylor]: Taking taylor expansion of x in x 42.331 * [taylor]: Taking taylor expansion of z in y 42.331 * [taylor]: Taking taylor expansion of z in z 42.331 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 42.331 * [taylor]: Taking taylor expansion of y in y 42.331 * [taylor]: Taking taylor expansion of 0.5 in y 42.331 * [taylor]: Taking taylor expansion of 0.5 in z 42.332 * [taylor]: Taking taylor expansion of 0 in z 42.332 * [taylor]: Taking taylor expansion of 0 in y 42.332 * [taylor]: Taking taylor expansion of 0 in z 42.332 * [taylor]: Taking taylor expansion of 1 in z 42.332 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (+ (/ 1 z) (/ 1 (* x y)))) in (x y z) around 0 42.332 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (+ (/ 1 z) (/ 1 (* x y)))) in z 42.332 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z 42.332 * [taylor]: Taking taylor expansion of 0.5 in z 42.332 * [taylor]: Taking taylor expansion of (/ 1 x) in z 42.332 * [taylor]: Taking taylor expansion of x in z 42.332 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in z 42.332 * [taylor]: Taking taylor expansion of (/ 1 z) in z 42.332 * [taylor]: Taking taylor expansion of z in z 42.332 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 42.332 * [taylor]: Taking taylor expansion of (* x y) in z 42.332 * [taylor]: Taking taylor expansion of x in z 42.332 * [taylor]: Taking taylor expansion of y in z 42.332 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (+ (/ 1 z) (/ 1 (* x y)))) in y 42.332 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 42.332 * [taylor]: Taking taylor expansion of 0.5 in y 42.332 * [taylor]: Taking taylor expansion of (/ 1 x) in y 42.332 * [taylor]: Taking taylor expansion of x in y 42.332 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in y 42.333 * [taylor]: Taking taylor expansion of (/ 1 z) in y 42.333 * [taylor]: Taking taylor expansion of z in y 42.333 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 42.333 * [taylor]: Taking taylor expansion of (* x y) in y 42.333 * [taylor]: Taking taylor expansion of x in y 42.333 * [taylor]: Taking taylor expansion of y in y 42.333 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (+ (/ 1 z) (/ 1 (* x y)))) in x 42.333 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 42.333 * [taylor]: Taking taylor expansion of 0.5 in x 42.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x 42.333 * [taylor]: Taking taylor expansion of x in x 42.333 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 42.333 * [taylor]: Taking taylor expansion of (/ 1 z) in x 42.333 * [taylor]: Taking taylor expansion of z in x 42.333 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 42.333 * [taylor]: Taking taylor expansion of (* x y) in x 42.333 * [taylor]: Taking taylor expansion of x in x 42.333 * [taylor]: Taking taylor expansion of y in x 42.333 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (+ (/ 1 z) (/ 1 (* x y)))) in x 42.333 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 42.333 * [taylor]: Taking taylor expansion of 0.5 in x 42.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x 42.333 * [taylor]: Taking taylor expansion of x in x 42.333 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 (* x y))) in x 42.333 * [taylor]: Taking taylor expansion of (/ 1 z) in x 42.333 * [taylor]: Taking taylor expansion of z in x 42.333 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 42.333 * [taylor]: Taking taylor expansion of (* x y) in x 42.333 * [taylor]: Taking taylor expansion of x in x 42.333 * [taylor]: Taking taylor expansion of y in x 42.333 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y 42.333 * [taylor]: Taking taylor expansion of (/ 1 y) in y 42.333 * [taylor]: Taking taylor expansion of y in y 42.334 * [taylor]: Taking taylor expansion of 0.5 in y 42.334 * [taylor]: Taking taylor expansion of 1 in z 42.334 * [taylor]: Taking taylor expansion of (/ 1 z) in y 42.334 * [taylor]: Taking taylor expansion of z in y 42.334 * [taylor]: Taking taylor expansion of 0.5 in z 42.334 * [taylor]: Taking taylor expansion of 0 in y 42.334 * [taylor]: Taking taylor expansion of (/ 1 z) in z 42.334 * [taylor]: Taking taylor expansion of z in z 42.334 * [taylor]: Taking taylor expansion of 0 in z 42.335 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 x)) (/ 1 z))) in (x y z) around 0 42.335 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 x)) (/ 1 z))) in z 42.335 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 42.335 * [taylor]: Taking taylor expansion of (* x y) in z 42.335 * [taylor]: Taking taylor expansion of x in z 42.335 * [taylor]: Taking taylor expansion of y in z 42.335 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (/ 1 z)) in z 42.335 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in z 42.335 * [taylor]: Taking taylor expansion of 0.5 in z 42.335 * [taylor]: Taking taylor expansion of (/ 1 x) in z 42.335 * [taylor]: Taking taylor expansion of x in z 42.335 * [taylor]: Taking taylor expansion of (/ 1 z) in z 42.335 * [taylor]: Taking taylor expansion of z in z 42.335 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 x)) (/ 1 z))) in y 42.335 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 42.335 * [taylor]: Taking taylor expansion of (* x y) in y 42.335 * [taylor]: Taking taylor expansion of x in y 42.335 * [taylor]: Taking taylor expansion of y in y 42.335 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (/ 1 z)) in y 42.335 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 42.335 * [taylor]: Taking taylor expansion of 0.5 in y 42.335 * [taylor]: Taking taylor expansion of (/ 1 x) in y 42.335 * [taylor]: Taking taylor expansion of x in y 42.335 * [taylor]: Taking taylor expansion of (/ 1 z) in y 42.335 * [taylor]: Taking taylor expansion of z in y 42.335 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 x)) (/ 1 z))) in x 42.335 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 42.335 * [taylor]: Taking taylor expansion of (* x y) in x 42.335 * [taylor]: Taking taylor expansion of x in x 42.335 * [taylor]: Taking taylor expansion of y in x 42.335 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (/ 1 z)) in x 42.336 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 42.336 * [taylor]: Taking taylor expansion of 0.5 in x 42.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 42.336 * [taylor]: Taking taylor expansion of x in x 42.336 * [taylor]: Taking taylor expansion of (/ 1 z) in x 42.336 * [taylor]: Taking taylor expansion of z in x 42.336 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (* 0.5 (/ 1 x)) (/ 1 z))) in x 42.336 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 42.336 * [taylor]: Taking taylor expansion of (* x y) in x 42.336 * [taylor]: Taking taylor expansion of x in x 42.336 * [taylor]: Taking taylor expansion of y in x 42.336 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) (/ 1 z)) in x 42.336 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 42.336 * [taylor]: Taking taylor expansion of 0.5 in x 42.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 42.336 * [taylor]: Taking taylor expansion of x in x 42.336 * [taylor]: Taking taylor expansion of (/ 1 z) in x 42.336 * [taylor]: Taking taylor expansion of z in x 42.336 * [taylor]: Taking taylor expansion of (- (/ 1 y) 0.5) in y 42.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y 42.336 * [taylor]: Taking taylor expansion of y in y 42.336 * [taylor]: Taking taylor expansion of 0.5 in y 42.336 * [taylor]: Taking taylor expansion of 1 in z 42.336 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 42.336 * [taylor]: Taking taylor expansion of (/ 1 z) in y 42.336 * [taylor]: Taking taylor expansion of z in y 42.337 * [taylor]: Taking taylor expansion of (neg 0.5) in z 42.337 * [taylor]: Taking taylor expansion of 0.5 in z 42.337 * [taylor]: Taking taylor expansion of 0 in y 42.337 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 42.337 * [taylor]: Taking taylor expansion of (/ 1 z) in z 42.337 * [taylor]: Taking taylor expansion of z in z 42.337 * [taylor]: Taking taylor expansion of 0 in z 42.337 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 42.337 * [approximate]: Taking taylor expansion of (* (+ y 0.5) x) in (x y) around 0 42.337 * [taylor]: Taking taylor expansion of (* (+ y 0.5) x) in y 42.337 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 42.338 * [taylor]: Taking taylor expansion of y in y 42.338 * [taylor]: Taking taylor expansion of 0.5 in y 42.338 * [taylor]: Taking taylor expansion of x in y 42.338 * [taylor]: Taking taylor expansion of (* (+ y 0.5) x) in x 42.338 * [taylor]: Taking taylor expansion of (+ y 0.5) in x 42.338 * [taylor]: Taking taylor expansion of y in x 42.338 * [taylor]: Taking taylor expansion of 0.5 in x 42.338 * [taylor]: Taking taylor expansion of x in x 42.338 * [taylor]: Taking taylor expansion of (* (+ y 0.5) x) in x 42.338 * [taylor]: Taking taylor expansion of (+ y 0.5) in x 42.338 * [taylor]: Taking taylor expansion of y in x 42.338 * [taylor]: Taking taylor expansion of 0.5 in x 42.338 * [taylor]: Taking taylor expansion of x in x 42.338 * [taylor]: Taking taylor expansion of 0 in y 42.338 * [taylor]: Taking taylor expansion of (+ y 0.5) in y 42.338 * [taylor]: Taking taylor expansion of y in y 42.338 * [taylor]: Taking taylor expansion of 0.5 in y 42.338 * [taylor]: Taking taylor expansion of 0 in y 42.338 * [taylor]: Taking taylor expansion of 0 in y 42.338 * [taylor]: Taking taylor expansion of 0 in y 42.338 * [approximate]: Taking taylor expansion of (/ (+ 0.5 (/ 1 y)) x) in (x y) around 0 42.339 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (/ 1 y)) x) in y 42.339 * [taylor]: Taking taylor expansion of (+ 0.5 (/ 1 y)) in y 42.339 * [taylor]: Taking taylor expansion of 0.5 in y 42.339 * [taylor]: Taking taylor expansion of (/ 1 y) in y 42.339 * [taylor]: Taking taylor expansion of y in y 42.339 * [taylor]: Taking taylor expansion of x in y 42.339 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (/ 1 y)) x) in x 42.339 * [taylor]: Taking taylor expansion of (+ 0.5 (/ 1 y)) in x 42.339 * [taylor]: Taking taylor expansion of 0.5 in x 42.339 * [taylor]: Taking taylor expansion of (/ 1 y) in x 42.339 * [taylor]: Taking taylor expansion of y in x 42.339 * [taylor]: Taking taylor expansion of x in x 42.339 * [taylor]: Taking taylor expansion of (/ (+ 0.5 (/ 1 y)) x) in x 42.339 * [taylor]: Taking taylor expansion of (+ 0.5 (/ 1 y)) in x 42.339 * [taylor]: Taking taylor expansion of 0.5 in x 42.339 * [taylor]: Taking taylor expansion of (/ 1 y) in x 42.339 * [taylor]: Taking taylor expansion of y in x 42.339 * [taylor]: Taking taylor expansion of x in x 42.339 * [taylor]: Taking taylor expansion of (+ 0.5 (/ 1 y)) in y 42.339 * [taylor]: Taking taylor expansion of 0.5 in y 42.339 * [taylor]: Taking taylor expansion of (/ 1 y) in y 42.339 * [taylor]: Taking taylor expansion of y in y 42.340 * [taylor]: Taking taylor expansion of 0 in y 42.340 * [taylor]: Taking taylor expansion of 0 in y 42.340 * [taylor]: Taking taylor expansion of 0 in y 42.340 * [taylor]: Taking taylor expansion of 0 in y 42.341 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.5 (/ 1 y)) x)) in (x y) around 0 42.341 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.5 (/ 1 y)) x)) in y 42.341 * [taylor]: Taking taylor expansion of -1 in y 42.341 * [taylor]: Taking taylor expansion of (/ (- 0.5 (/ 1 y)) x) in y 42.341 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 42.341 * [taylor]: Taking taylor expansion of 0.5 in y 42.341 * [taylor]: Taking taylor expansion of (/ 1 y) in y 42.341 * [taylor]: Taking taylor expansion of y in y 42.341 * [taylor]: Taking taylor expansion of x in y 42.341 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.5 (/ 1 y)) x)) in x 42.341 * [taylor]: Taking taylor expansion of -1 in x 42.341 * [taylor]: Taking taylor expansion of (/ (- 0.5 (/ 1 y)) x) in x 42.341 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in x 42.341 * [taylor]: Taking taylor expansion of 0.5 in x 42.341 * [taylor]: Taking taylor expansion of (/ 1 y) in x 42.341 * [taylor]: Taking taylor expansion of y in x 42.341 * [taylor]: Taking taylor expansion of x in x 42.341 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.5 (/ 1 y)) x)) in x 42.341 * [taylor]: Taking taylor expansion of -1 in x 42.341 * [taylor]: Taking taylor expansion of (/ (- 0.5 (/ 1 y)) x) in x 42.341 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in x 42.341 * [taylor]: Taking taylor expansion of 0.5 in x 42.341 * [taylor]: Taking taylor expansion of (/ 1 y) in x 42.341 * [taylor]: Taking taylor expansion of y in x 42.341 * [taylor]: Taking taylor expansion of x in x 42.342 * [taylor]: Taking taylor expansion of (* -1 (- 0.5 (/ 1 y))) in y 42.342 * [taylor]: Taking taylor expansion of -1 in y 42.342 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y 42.342 * [taylor]: Taking taylor expansion of 0.5 in y 42.342 * [taylor]: Taking taylor expansion of (/ 1 y) in y 42.342 * [taylor]: Taking taylor expansion of y in y 42.342 * [taylor]: Taking taylor expansion of 0 in y 42.342 * [taylor]: Taking taylor expansion of 0 in y 42.343 * [taylor]: Taking taylor expansion of 0 in y 42.343 * [taylor]: Taking taylor expansion of 0 in y 42.343 * * * [progress]: simplifying candidates 42.344 * [simplify]: Simplifying using # : (* (exp (* x (+ y 0.5))) (exp z)) (log (+ (* x (+ y 0.5)) z)) (exp (+ (* x (+ y 0.5)) z)) (* (cbrt (+ (* x (+ y 0.5)) z)) (cbrt (+ (* x (+ y 0.5)) z))) (cbrt (+ (* x (+ y 0.5)) z)) (* (* (+ (* x (+ y 0.5)) z) (+ (* x (+ y 0.5)) z)) (+ (* x (+ y 0.5)) z)) (sqrt (+ (* x (+ y 0.5)) z)) (sqrt (+ (* x (+ y 0.5)) z)) (+ (pow (* x (+ y 0.5)) 3) (pow z 3)) (+ (* (* x (+ y 0.5)) (* x (+ y 0.5))) (- (* z z) (* (* x (+ y 0.5)) z))) (- (* (* x (+ y 0.5)) (* x (+ y 0.5))) (* z z)) (- (* x (+ y 0.5)) z) (+ (* x 0.5) z) (+ (* 0.5 x) z) (* x (+ y 0.5)) (+ (log x) (log (+ y 0.5))) (log (* x (+ y 0.5))) (exp (* x (+ y 0.5))) (* (* (* x x) x) (* (* (+ y 0.5) (+ y 0.5)) (+ y 0.5))) (* (cbrt (* x (+ y 0.5))) (cbrt (* x (+ y 0.5)))) (cbrt (* x (+ y 0.5))) (* (* (* x (+ y 0.5)) (* x (+ y 0.5))) (* x (+ y 0.5))) (sqrt (* x (+ y 0.5))) (sqrt (* x (+ y 0.5))) (* (sqrt x) (sqrt (+ y 0.5))) (* (sqrt x) (sqrt (+ y 0.5))) (* x y) (* x 0.5) (* y x) (* 0.5 x) (* x (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5)))) (* x (sqrt (+ y 0.5))) (* x 1) (* x 1) (* (cbrt x) (+ y 0.5)) (* (sqrt x) (+ y 0.5)) (* x (+ y 0.5)) (* x (+ (pow y 3) (pow 0.5 3))) (* x (- (* y y) (* 0.5 0.5))) (+ (* x y) (+ z (* 0.5 x))) (+ (* 0.5 x) (+ (* x y) z)) (+ (* 0.5 x) (+ (* x y) z)) (+ (* x y) (* 0.5 x)) (+ (* 0.5 x) (* x y)) (+ (* 0.5 x) (* x y)) 42.345 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 42.346 * * [simplify]: iteration 1 : 22 enodes (cost 8 ) 42.349 * * [simplify]: iteration 2 : 35 enodes (cost 8 ) 42.354 * * [simplify]: iteration 3 : 68 enodes (cost 8 ) 42.365 * * [simplify]: iteration 4 : 123 enodes (cost 8 ) 42.392 * * [simplify]: iteration 5 : 304 enodes (cost 8 ) 42.532 * * [simplify]: iteration 6 : 883 enodes (cost 8 ) 43.572 * * [simplify]: iteration 7 : 3370 enodes (cost 8 ) 45.017 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 45.018 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 45.019 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 45.021 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 45.024 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 45.028 * * [simplify]: iteration done : 26 enodes (cost 8 ) 45.028 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 45.029 * * [simplify]: iteration 1 : 20 enodes (cost 8 ) 45.032 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 45.036 * * [simplify]: iteration 3 : 61 enodes (cost 8 ) 45.051 * * [simplify]: iteration 4 : 95 enodes (cost 8 ) 45.069 * * [simplify]: iteration 5 : 227 enodes (cost 8 ) 45.151 * * [simplify]: iteration 6 : 688 enodes (cost 8 ) 45.883 * * [simplify]: iteration 7 : 2684 enodes (cost 8 ) 47.081 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 47.082 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 47.083 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 47.085 * * [simplify]: iteration 2 : 23 enodes (cost 17 ) 47.088 * * [simplify]: iteration 3 : 27 enodes (cost 17 ) 47.092 * * [simplify]: iteration done : 27 enodes (cost 17 ) 47.092 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 47.093 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 47.096 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 47.098 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 47.107 * * [simplify]: iteration done : 26 enodes (cost 8 ) 47.107 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 47.109 * * [simplify]: iteration 1 : 31 enodes (cost 23 ) 47.115 * * [simplify]: iteration 2 : 96 enodes (cost 9 ) 47.145 * * [simplify]: iteration 3 : 451 enodes (cost 9 ) 47.484 * * [simplify]: iteration 4 : 2387 enodes (cost 9 ) 48.711 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 48.712 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 48.713 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 48.715 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 48.717 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 48.721 * * [simplify]: iteration done : 26 enodes (cost 8 ) 48.721 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 48.722 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 48.724 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 48.727 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 48.730 * * [simplify]: iteration done : 26 enodes (cost 8 ) 48.731 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 48.732 * * [simplify]: iteration 1 : 35 enodes (cost 11 ) 48.742 * * [simplify]: iteration 2 : 86 enodes (cost 11 ) 48.766 * * [simplify]: iteration 3 : 321 enodes (cost 11 ) 48.956 * * [simplify]: iteration 4 : 906 enodes (cost 11 ) 49.740 * * [simplify]: iteration 5 : 2337 enodes (cost 11 ) 51.230 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 51.231 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 51.233 * * [simplify]: iteration 1 : 36 enodes (cost 21 ) 51.245 * * [simplify]: iteration 2 : 109 enodes (cost 21 ) 51.272 * * [simplify]: iteration 3 : 309 enodes (cost 17 ) 51.391 * * [simplify]: iteration 4 : 832 enodes (cost 17 ) 51.962 * * [simplify]: iteration 5 : 2607 enodes (cost 17 ) 53.300 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 53.301 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 53.302 * * [simplify]: iteration 1 : 29 enodes (cost 15 ) 53.308 * * [simplify]: iteration 2 : 80 enodes (cost 15 ) 53.325 * * [simplify]: iteration 3 : 217 enodes (cost 15 ) 53.391 * * [simplify]: iteration 4 : 547 enodes (cost 15 ) 53.698 * * [simplify]: iteration 5 : 1449 enodes (cost 15 ) 55.074 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 55.074 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 55.075 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 55.078 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 55.081 * * [simplify]: iteration 3 : 32 enodes (cost 7 ) 55.085 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 55.090 * * [simplify]: iteration 5 : 41 enodes (cost 7 ) 55.095 * * [simplify]: iteration 6 : 56 enodes (cost 7 ) 55.106 * * [simplify]: iteration 7 : 82 enodes (cost 7 ) 55.123 * * [simplify]: iteration 8 : 123 enodes (cost 7 ) 55.141 * * [simplify]: iteration 9 : 155 enodes (cost 7 ) 55.164 * * [simplify]: iteration 10 : 181 enodes (cost 7 ) 55.194 * * [simplify]: iteration 11 : 206 enodes (cost 7 ) 55.222 * * [simplify]: iteration 12 : 210 enodes (cost 7 ) 55.246 * * [simplify]: iteration done : 210 enodes (cost 7 ) 55.247 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 55.248 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 55.248 * * [simplify]: iteration done : 7 enodes (cost 5 ) 55.249 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 55.250 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 55.251 * * [simplify]: iteration done : 7 enodes (cost 5 ) 55.251 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 55.252 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 55.253 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 55.255 * * [simplify]: iteration done : 14 enodes (cost 5 ) 55.256 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 55.256 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 55.257 * * [simplify]: iteration done : 9 enodes (cost 7 ) 55.258 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 55.258 * * [simplify]: iteration 1 : 17 enodes (cost 6 ) 55.260 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 55.262 * * [simplify]: iteration done : 19 enodes (cost 6 ) 55.263 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 55.264 * * [simplify]: iteration 1 : 16 enodes (cost 6 ) 55.268 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 55.271 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 55.277 * * [simplify]: iteration 4 : 76 enodes (cost 6 ) 55.290 * * [simplify]: iteration 5 : 188 enodes (cost 6 ) 55.362 * * [simplify]: iteration 6 : 504 enodes (cost 6 ) 55.756 * * [simplify]: iteration 7 : 1671 enodes (cost 6 ) 57.374 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 57.374 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 57.376 * * [simplify]: iteration 1 : 29 enodes (cost 17 ) 57.382 * * [simplify]: iteration 2 : 110 enodes (cost 9 ) 57.415 * * [simplify]: iteration 3 : 373 enodes (cost 9 ) 57.648 * * [simplify]: iteration 4 : 1303 enodes (cost 7 ) 59.180 * * [simplify]: iteration 5 : 4152 enodes (cost 7 ) 61.001 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 61.001 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 61.002 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 61.010 * * [simplify]: iteration 2 : 16 enodes (cost 13 ) 61.012 * * [simplify]: iteration done : 16 enodes (cost 13 ) 61.013 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 61.014 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 61.015 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 61.017 * * [simplify]: iteration done : 15 enodes (cost 6 ) 61.018 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 61.019 * * [simplify]: iteration 1 : 25 enodes (cost 17 ) 61.024 * * [simplify]: iteration 2 : 97 enodes (cost 7 ) 61.059 * * [simplify]: iteration 3 : 352 enodes (cost 7 ) 61.268 * * [simplify]: iteration 4 : 820 enodes (cost 7 ) 62.000 * * [simplify]: iteration 5 : 2225 enodes (cost 7 ) 64.818 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 64.818 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 64.819 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 64.821 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 64.823 * * [simplify]: iteration done : 15 enodes (cost 6 ) 64.823 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 64.824 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 64.826 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 64.827 * * [simplify]: iteration done : 15 enodes (cost 6 ) 64.828 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 64.829 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 64.830 * * [simplify]: iteration done : 9 enodes (cost 7 ) 64.830 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 64.831 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 64.832 * * [simplify]: iteration done : 9 enodes (cost 7 ) 64.832 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 64.833 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 64.833 * * [simplify]: iteration done : 4 enodes (cost 3 ) 64.834 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 64.834 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 64.834 * * [simplify]: iteration done : 4 enodes (cost 3 ) 64.835 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 64.836 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 64.836 * * [simplify]: iteration done : 4 enodes (cost 3 ) 64.837 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 64.837 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 64.837 * * [simplify]: iteration done : 4 enodes (cost 3 ) 64.838 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 64.839 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 64.840 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 64.842 * * [simplify]: iteration done : 13 enodes (cost 11 ) 64.842 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 64.843 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 64.844 * * [simplify]: iteration done : 8 enodes (cost 6 ) 64.844 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 64.845 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 64.845 * * [simplify]: iteration done : 6 enodes (cost 1 ) 64.845 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 64.846 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 64.846 * * [simplify]: iteration done : 6 enodes (cost 1 ) 64.847 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 64.847 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 64.849 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 64.851 * * [simplify]: iteration done : 15 enodes (cost 6 ) 64.852 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 64.852 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 64.854 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 64.856 * * [simplify]: iteration done : 15 enodes (cost 6 ) 64.857 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 64.857 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 64.859 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 64.860 * * [simplify]: iteration done : 14 enodes (cost 5 ) 64.861 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 64.862 * * [simplify]: iteration 1 : 29 enodes (cost 9 ) 64.867 * * [simplify]: iteration 2 : 63 enodes (cost 9 ) 64.878 * * [simplify]: iteration 3 : 105 enodes (cost 9 ) 64.902 * * [simplify]: iteration 4 : 194 enodes (cost 9 ) 64.968 * * [simplify]: iteration 5 : 477 enodes (cost 9 ) 65.398 * * [simplify]: iteration 6 : 1523 enodes (cost 9 ) 67.075 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 67.076 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 67.077 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 67.078 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 67.083 * * [simplify]: iteration 3 : 76 enodes (cost 9 ) 67.103 * * [simplify]: iteration 4 : 159 enodes (cost 9 ) 67.142 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 67.221 * * [simplify]: iteration 6 : 400 enodes (cost 9 ) 67.410 * * [simplify]: iteration 7 : 771 enodes (cost 9 ) 69.095 * * [simplify]: iteration 8 : 3375 enodes (cost 9 ) 71.303 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 71.304 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 71.305 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 71.306 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 71.310 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 71.313 * * [simplify]: iteration 4 : 28 enodes (cost 7 ) 71.316 * * [simplify]: iteration done : 28 enodes (cost 7 ) 71.317 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 71.318 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 71.325 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 71.328 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 71.331 * * [simplify]: iteration done : 26 enodes (cost 7 ) 71.332 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 71.333 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 71.335 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 71.338 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 71.341 * * [simplify]: iteration done : 26 enodes (cost 7 ) 71.342 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 71.342 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 71.344 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 71.345 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 71.347 * * [simplify]: iteration done : 15 enodes (cost 5 ) 71.347 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 71.348 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 71.349 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 71.351 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 71.353 * * [simplify]: iteration done : 15 enodes (cost 5 ) 71.353 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 71.354 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 71.355 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 71.357 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 71.358 * * [simplify]: iteration done : 15 enodes (cost 5 ) 71.359 * [simplify]: Simplified to: (exp (+ (* x (+ y 0.5)) z)) (log (+ (* x (+ y 0.5)) z)) (exp (+ (* x (+ y 0.5)) z)) (* (cbrt (+ (* x (+ y 0.5)) z)) (cbrt (+ (* x (+ y 0.5)) z))) (cbrt (+ (* x (+ y 0.5)) z)) (pow (+ (* x (+ y 0.5)) z) 3) (sqrt (+ (* x (+ y 0.5)) z)) (sqrt (+ (* x (+ y 0.5)) z)) (+ (pow (* x (+ y 0.5)) 3) (pow z 3)) (- (* z z) (* (* x (+ y 0.5)) (- z (* x (+ y 0.5))))) (- (* (* x (+ y 0.5)) (* x (+ y 0.5))) (* z z)) (- (* x (+ y 0.5)) z) (+ (* x 0.5) z) (+ (* 0.5 x) z) (* x (+ y 0.5)) (+ (log x) (log (+ y 0.5))) (log (* x (+ y 0.5))) (exp (* x (+ y 0.5))) (pow (* x (+ y 0.5)) 3) (* (cbrt (* x (+ y 0.5))) (cbrt (* x (+ y 0.5)))) (cbrt (* x (+ y 0.5))) (pow (* x (+ y 0.5)) 3) (sqrt (* x (+ y 0.5))) (sqrt (* x (+ y 0.5))) (* (sqrt x) (sqrt (+ y 0.5))) (* (sqrt x) (sqrt (+ y 0.5))) (* x y) (* x 0.5) (* y x) (* 0.5 x) (* x (* (cbrt (+ y 0.5)) (cbrt (+ y 0.5)))) (* x (sqrt (+ y 0.5))) x x (* (cbrt x) (+ y 0.5)) (* (sqrt x) (+ y 0.5)) (* x (+ y 0.5)) (* x (+ (pow y 3) (pow 0.5 3))) (* x (* (- y 0.5) (+ y 0.5))) (+ z (* x (+ 0.5 y))) (+ z (* x (+ 0.5 y))) (+ z (* x (+ 0.5 y))) (* x (+ y 0.5)) (* x (+ 0.5 y)) (* x (+ 0.5 y)) 71.359 * * * [progress]: adding candidates to table 71.409 * [progress]: [Phase 3 of 3] Extracting. 71.409 * * [regime]: Finding splitpoints for: (# #) 71.410 * * * [regime-changes]: Trying 5 branch expressions: ((+ (/ x 2.0) (* y x)) (+ (+ (/ x 2.0) (* y x)) z) z y x) 71.410 * * * * [regimes]: Trying to branch on (+ (/ x 2.0) (* y x)) from (# #) 71.453 * * * * [regimes]: Trying to branch on (+ (+ (/ x 2.0) (* y x)) z) from (# #) 71.498 * * * * [regimes]: Trying to branch on z from (# #) 71.541 * * * * [regimes]: Trying to branch on y from (# #) 71.581 * * * * [regimes]: Trying to branch on x from (# #) 71.622 * * * [regime]: Found split indices: #