1450.047 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying using # : (* (* (- x (/ 16.0 116.0)) 3.0) y) 0.023 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.024 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.026 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 0.031 * * [simplify]: iteration 3 : 61 enodes (cost 9 ) 0.041 * * [simplify]: iteration 4 : 104 enodes (cost 9 ) 0.064 * * [simplify]: iteration 5 : 164 enodes (cost 9 ) 0.105 * * [simplify]: iteration 6 : 241 enodes (cost 9 ) 0.163 * * [simplify]: iteration 7 : 299 enodes (cost 9 ) 0.245 * * [simplify]: iteration 8 : 335 enodes (cost 9 ) 0.341 * * [simplify]: iteration 9 : 348 enodes (cost 9 ) 0.437 * * [simplify]: iteration done : 348 enodes (cost 9 ) 0.437 * [simplify]: Simplified to: (* (* (- x (/ 16.0 116.0)) 3.0) y) 0.438 * * [progress]: iteration 1 / 4 0.438 * * * [progress]: picking best candidate 0.440 * * * * [pick]: Picked # 0.440 * * * [progress]: localizing error 0.447 * * * [progress]: generating rewritten candidates 0.447 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.458 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.468 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 0.477 * * * [progress]: generating series expansions 0.478 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.478 * [approximate]: Taking taylor expansion of (* 3.0 (* y (- x 0.13793103448275862))) in (x y) around 0 0.478 * [taylor]: Taking taylor expansion of (* 3.0 (* y (- x 0.13793103448275862))) in y 0.478 * [taylor]: Taking taylor expansion of 3.0 in y 0.478 * [taylor]: Taking taylor expansion of (* y (- x 0.13793103448275862)) in y 0.478 * [taylor]: Taking taylor expansion of y in y 0.478 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in y 0.478 * [taylor]: Taking taylor expansion of x in y 0.478 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.478 * [taylor]: Taking taylor expansion of (* 3.0 (* y (- x 0.13793103448275862))) in x 0.478 * [taylor]: Taking taylor expansion of 3.0 in x 0.478 * [taylor]: Taking taylor expansion of (* y (- x 0.13793103448275862)) in x 0.478 * [taylor]: Taking taylor expansion of y in x 0.478 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x 0.478 * [taylor]: Taking taylor expansion of x in x 0.478 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.478 * [taylor]: Taking taylor expansion of (* 3.0 (* y (- x 0.13793103448275862))) in x 0.478 * [taylor]: Taking taylor expansion of 3.0 in x 0.478 * [taylor]: Taking taylor expansion of (* y (- x 0.13793103448275862)) in x 0.478 * [taylor]: Taking taylor expansion of y in x 0.478 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x 0.478 * [taylor]: Taking taylor expansion of x in x 0.478 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.478 * [taylor]: Taking taylor expansion of (* -0.41379310344827586 y) in y 0.478 * [taylor]: Taking taylor expansion of -0.41379310344827586 in y 0.478 * [taylor]: Taking taylor expansion of y in y 0.479 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 0.479 * [taylor]: Taking taylor expansion of 3.0 in y 0.479 * [taylor]: Taking taylor expansion of y in y 0.479 * [taylor]: Taking taylor expansion of 0 in y 0.480 * [taylor]: Taking taylor expansion of 0 in y 0.480 * [taylor]: Taking taylor expansion of 0 in y 0.480 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in (x y) around 0 0.480 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in y 0.480 * [taylor]: Taking taylor expansion of 3.0 in y 0.480 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in y 0.480 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in y 0.480 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.480 * [taylor]: Taking taylor expansion of x in y 0.480 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.480 * [taylor]: Taking taylor expansion of y in y 0.480 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x 0.480 * [taylor]: Taking taylor expansion of 3.0 in x 0.480 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x 0.480 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.481 * [taylor]: Taking taylor expansion of x in x 0.481 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.481 * [taylor]: Taking taylor expansion of y in x 0.481 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (/ 1 x) 0.13793103448275862) y)) in x 0.481 * [taylor]: Taking taylor expansion of 3.0 in x 0.481 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 0.13793103448275862) y) in x 0.481 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.481 * [taylor]: Taking taylor expansion of x in x 0.481 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.481 * [taylor]: Taking taylor expansion of y in x 0.481 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.481 * [taylor]: Taking taylor expansion of 3.0 in y 0.481 * [taylor]: Taking taylor expansion of y in y 0.481 * [taylor]: Taking taylor expansion of (neg (* 0.41379310344827586 (/ 1 y))) in y 0.481 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y 0.481 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 0.481 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.481 * [taylor]: Taking taylor expansion of y in y 0.482 * [taylor]: Taking taylor expansion of 0 in y 0.482 * [taylor]: Taking taylor expansion of 0 in y 0.483 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ (/ 1 x) 0.13793103448275862) y)) in (x y) around 0 0.483 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ (/ 1 x) 0.13793103448275862) y)) in y 0.483 * [taylor]: Taking taylor expansion of 3.0 in y 0.483 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 0.13793103448275862) y) in y 0.483 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 0.13793103448275862) in y 0.483 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.483 * [taylor]: Taking taylor expansion of x in y 0.483 * [taylor]: Taking taylor expansion of 0.13793103448275862 in y 0.483 * [taylor]: Taking taylor expansion of y in y 0.483 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ (/ 1 x) 0.13793103448275862) y)) in x 0.483 * [taylor]: Taking taylor expansion of 3.0 in x 0.483 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 0.13793103448275862) y) in x 0.483 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 0.13793103448275862) in x 0.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.483 * [taylor]: Taking taylor expansion of x in x 0.483 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.483 * [taylor]: Taking taylor expansion of y in x 0.483 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ (/ 1 x) 0.13793103448275862) y)) in x 0.483 * [taylor]: Taking taylor expansion of 3.0 in x 0.483 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 0.13793103448275862) y) in x 0.483 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 0.13793103448275862) in x 0.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.483 * [taylor]: Taking taylor expansion of x in x 0.483 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.483 * [taylor]: Taking taylor expansion of y in x 0.483 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 0.483 * [taylor]: Taking taylor expansion of 3.0 in y 0.483 * [taylor]: Taking taylor expansion of y in y 0.484 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y 0.484 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 0.484 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.484 * [taylor]: Taking taylor expansion of y in y 0.484 * [taylor]: Taking taylor expansion of 0 in y 0.485 * [taylor]: Taking taylor expansion of 0 in y 0.485 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.485 * [approximate]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in (x) around 0 0.485 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x 0.485 * [taylor]: Taking taylor expansion of 3.0 in x 0.485 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x 0.485 * [taylor]: Taking taylor expansion of x in x 0.485 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.485 * [taylor]: Taking taylor expansion of (* 3.0 (- x 0.13793103448275862)) in x 0.485 * [taylor]: Taking taylor expansion of 3.0 in x 0.485 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x 0.485 * [taylor]: Taking taylor expansion of x in x 0.485 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.486 * [approximate]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in (x) around 0 0.486 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x 0.486 * [taylor]: Taking taylor expansion of 3.0 in x 0.486 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.486 * [taylor]: Taking taylor expansion of x in x 0.486 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.486 * [taylor]: Taking taylor expansion of (* 3.0 (- (/ 1 x) 0.13793103448275862)) in x 0.486 * [taylor]: Taking taylor expansion of 3.0 in x 0.486 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.486 * [taylor]: Taking taylor expansion of x in x 0.486 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.488 * [approximate]: Taking taylor expansion of (* -3.0 (+ (/ 1 x) 0.13793103448275862)) in (x) around 0 0.488 * [taylor]: Taking taylor expansion of (* -3.0 (+ (/ 1 x) 0.13793103448275862)) in x 0.488 * [taylor]: Taking taylor expansion of -3.0 in x 0.488 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 0.13793103448275862) in x 0.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.488 * [taylor]: Taking taylor expansion of x in x 0.488 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.488 * [taylor]: Taking taylor expansion of (* -3.0 (+ (/ 1 x) 0.13793103448275862)) in x 0.488 * [taylor]: Taking taylor expansion of -3.0 in x 0.488 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 0.13793103448275862) in x 0.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.488 * [taylor]: Taking taylor expansion of x in x 0.488 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.492 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 0.492 * [approximate]: Taking taylor expansion of (- x 0.13793103448275862) in (x) around 0 0.492 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x 0.492 * [taylor]: Taking taylor expansion of x in x 0.492 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.493 * [taylor]: Taking taylor expansion of (- x 0.13793103448275862) in x 0.493 * [taylor]: Taking taylor expansion of x in x 0.493 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.493 * [approximate]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in (x) around 0 0.493 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.493 * [taylor]: Taking taylor expansion of x in x 0.493 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.493 * [taylor]: Taking taylor expansion of (- (/ 1 x) 0.13793103448275862) in x 0.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.493 * [taylor]: Taking taylor expansion of x in x 0.493 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.494 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 x) 0.13793103448275862)) in (x) around 0 0.494 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) 0.13793103448275862)) in x 0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 0.13793103448275862) in x 0.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.494 * [taylor]: Taking taylor expansion of x in x 0.494 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.494 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) 0.13793103448275862)) in x 0.494 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 0.13793103448275862) in x 0.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.494 * [taylor]: Taking taylor expansion of x in x 0.494 * [taylor]: Taking taylor expansion of 0.13793103448275862 in x 0.495 * * * [progress]: simplifying candidates 0.496 * [simplify]: Simplifying using # : (* (* (- x (/ 16.0 116.0)) 3.0) y) (* (* (- x (/ 16.0 116.0)) 3.0) y) (+ (+ (log (- x (/ 16.0 116.0))) (log 3.0)) (log y)) (+ (log (* (- x (/ 16.0 116.0)) 3.0)) (log y)) (log (* (* (- x (/ 16.0 116.0)) 3.0) y)) (exp (* (* (- x (/ 16.0 116.0)) 3.0) y)) (* (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* 3.0 3.0) 3.0)) (* (* y y) y)) (* (* (* (* (- x (/ 16.0 116.0)) 3.0) (* (- x (/ 16.0 116.0)) 3.0)) (* (- x (/ 16.0 116.0)) 3.0)) (* (* y y) y)) (* (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y)) (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y))) (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y)) (* (* (* (* (- x (/ 16.0 116.0)) 3.0) y) (* (* (- x (/ 16.0 116.0)) 3.0) y)) (* (* (- x (/ 16.0 116.0)) 3.0) y)) (sqrt (* (* (- x (/ 16.0 116.0)) 3.0) y)) (sqrt (* (* (- x (/ 16.0 116.0)) 3.0) y)) (* (* (- x (/ 16.0 116.0)) 3.0) (* (cbrt y) (cbrt y))) (* (* (- x (/ 16.0 116.0)) 3.0) (sqrt y)) (* (* (- x (/ 16.0 116.0)) 3.0) 1) (* 3.0 y) (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (* (- x (/ 16.0 116.0)) 3.0) (+ (log (- x (/ 16.0 116.0))) (log 3.0)) (log (* (- x (/ 16.0 116.0)) 3.0)) (exp (* (- x (/ 16.0 116.0)) 3.0)) (* (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (* (* 3.0 3.0) 3.0)) (* (cbrt (* (- x (/ 16.0 116.0)) 3.0)) (cbrt (* (- x (/ 16.0 116.0)) 3.0))) (cbrt (* (- x (/ 16.0 116.0)) 3.0)) (* (* (* (- x (/ 16.0 116.0)) 3.0) (* (- x (/ 16.0 116.0)) 3.0)) (* (- x (/ 16.0 116.0)) 3.0)) (sqrt (* (- x (/ 16.0 116.0)) 3.0)) (sqrt (* (- x (/ 16.0 116.0)) 3.0)) (* (sqrt (- x (/ 16.0 116.0))) (sqrt 3.0)) (* (sqrt (- x (/ 16.0 116.0))) (sqrt 3.0)) (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (- x (/ 16.0 116.0)) (sqrt 3.0)) (* (- x (/ 16.0 116.0)) 1) (* (cbrt (- x (/ 16.0 116.0))) 3.0) (* (sqrt (- x (/ 16.0 116.0))) 3.0) (* (- x (/ 16.0 116.0)) 3.0) (* (- (sqrt x) (sqrt (/ 16.0 116.0))) 3.0) (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) 3.0) (* (- x (/ 16.0 116.0)) 3.0) (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) (/ (exp x) (exp (/ 16.0 116.0))) (log (- x (/ 16.0 116.0))) (exp (- x (/ 16.0 116.0))) (* (cbrt (- x (/ 16.0 116.0))) (cbrt (- x (/ 16.0 116.0)))) (cbrt (- x (/ 16.0 116.0))) (* (* (- x (/ 16.0 116.0)) (- x (/ 16.0 116.0))) (- x (/ 16.0 116.0))) (sqrt (- x (/ 16.0 116.0))) (sqrt (- x (/ 16.0 116.0))) (- (pow x 3) (pow (/ 16.0 116.0) 3)) (+ (* x x) (+ (* (/ 16.0 116.0) (/ 16.0 116.0)) (* x (/ 16.0 116.0)))) (neg (/ 16.0 116.0)) (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) (+ x (/ 16.0 116.0)) (+ (sqrt x) (sqrt (/ 16.0 116.0))) (- (sqrt x) (sqrt (/ 16.0 116.0))) (+ (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) (- x (/ 16.0 116.0)) (neg (/ 16.0 116.0)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) (- x 0.13793103448275862) (- x 0.13793103448275862) (- x 0.13793103448275862) 0.497 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.498 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.499 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 0.504 * * [simplify]: iteration 3 : 61 enodes (cost 9 ) 0.514 * * [simplify]: iteration 4 : 104 enodes (cost 9 ) 0.531 * * [simplify]: iteration 5 : 164 enodes (cost 9 ) 0.574 * * [simplify]: iteration 6 : 241 enodes (cost 9 ) 0.633 * * [simplify]: iteration 7 : 299 enodes (cost 9 ) 0.719 * * [simplify]: iteration 8 : 335 enodes (cost 9 ) 0.816 * * [simplify]: iteration 9 : 348 enodes (cost 9 ) 0.907 * * [simplify]: iteration done : 348 enodes (cost 9 ) 0.908 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.909 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.911 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 0.915 * * [simplify]: iteration 3 : 61 enodes (cost 9 ) 0.928 * * [simplify]: iteration 4 : 104 enodes (cost 9 ) 0.945 * * [simplify]: iteration 5 : 164 enodes (cost 9 ) 0.986 * * [simplify]: iteration 6 : 241 enodes (cost 9 ) 1.044 * * [simplify]: iteration 7 : 299 enodes (cost 9 ) 1.124 * * [simplify]: iteration 8 : 335 enodes (cost 9 ) 1.219 * * [simplify]: iteration 9 : 348 enodes (cost 9 ) 1.310 * * [simplify]: iteration done : 348 enodes (cost 9 ) 1.311 * * [simplify]: iteration 0 : 12 enodes (cost 12 ) 1.312 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 1.314 * * [simplify]: iteration 2 : 27 enodes (cost 12 ) 1.317 * * [simplify]: iteration done : 27 enodes (cost 12 ) 1.317 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 1.318 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 1.320 * * [simplify]: iteration 2 : 32 enodes (cost 11 ) 1.324 * * [simplify]: iteration 3 : 45 enodes (cost 11 ) 1.329 * * [simplify]: iteration 4 : 59 enodes (cost 11 ) 1.339 * * [simplify]: iteration 5 : 68 enodes (cost 11 ) 1.347 * * [simplify]: iteration 6 : 73 enodes (cost 11 ) 1.355 * * [simplify]: iteration 7 : 78 enodes (cost 11 ) 1.365 * * [simplify]: iteration 8 : 80 enodes (cost 11 ) 1.375 * * [simplify]: iteration done : 80 enodes (cost 11 ) 1.375 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 1.376 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 1.379 * * [simplify]: iteration 2 : 41 enodes (cost 10 ) 1.384 * * [simplify]: iteration 3 : 84 enodes (cost 10 ) 1.399 * * [simplify]: iteration 4 : 129 enodes (cost 10 ) 1.419 * * [simplify]: iteration 5 : 189 enodes (cost 10 ) 1.462 * * [simplify]: iteration 6 : 264 enodes (cost 10 ) 1.521 * * [simplify]: iteration 7 : 322 enodes (cost 10 ) 1.606 * * [simplify]: iteration 8 : 357 enodes (cost 10 ) 1.702 * * [simplify]: iteration 9 : 370 enodes (cost 10 ) 1.793 * * [simplify]: iteration done : 370 enodes (cost 10 ) 1.794 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 1.796 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 1.798 * * [simplify]: iteration 2 : 44 enodes (cost 10 ) 1.807 * * [simplify]: iteration 3 : 108 enodes (cost 10 ) 1.824 * * [simplify]: iteration 4 : 227 enodes (cost 10 ) 1.867 * * [simplify]: iteration 5 : 483 enodes (cost 10 ) 2.068 * * [simplify]: iteration 6 : 1116 enodes (cost 10 ) 2.934 * * [simplify]: iteration 7 : 3194 enodes (cost 10 ) 3.903 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 3.904 * * [simplify]: iteration 0 : 15 enodes (cost 29 ) 3.906 * * [simplify]: iteration 1 : 30 enodes (cost 29 ) 3.912 * * [simplify]: iteration 2 : 110 enodes (cost 15 ) 3.959 * * [simplify]: iteration 3 : 466 enodes (cost 15 ) 4.551 * * [simplify]: iteration 4 : 2149 enodes (cost 13 ) 5.588 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 5.589 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 5.591 * * [simplify]: iteration 1 : 32 enodes (cost 29 ) 5.598 * * [simplify]: iteration 2 : 126 enodes (cost 13 ) 5.657 * * [simplify]: iteration 3 : 605 enodes (cost 13 ) 6.318 * * [simplify]: iteration 4 : 2817 enodes (cost 11 ) 7.548 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 7.549 * * [simplify]: iteration 0 : 11 enodes (cost 21 ) 7.550 * * [simplify]: iteration 1 : 17 enodes (cost 21 ) 7.552 * * [simplify]: iteration 2 : 32 enodes (cost 21 ) 7.556 * * [simplify]: iteration 3 : 63 enodes (cost 21 ) 7.567 * * [simplify]: iteration 4 : 106 enodes (cost 21 ) 7.585 * * [simplify]: iteration 5 : 166 enodes (cost 21 ) 7.626 * * [simplify]: iteration 6 : 243 enodes (cost 21 ) 7.683 * * [simplify]: iteration 7 : 301 enodes (cost 21 ) 7.765 * * [simplify]: iteration 8 : 336 enodes (cost 21 ) 7.858 * * [simplify]: iteration 9 : 348 enodes (cost 21 ) 7.950 * * [simplify]: iteration done : 348 enodes (cost 21 ) 7.950 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 7.951 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 7.953 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 7.958 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 7.969 * * [simplify]: iteration 4 : 107 enodes (cost 10 ) 7.987 * * [simplify]: iteration 5 : 167 enodes (cost 10 ) 8.028 * * [simplify]: iteration 6 : 242 enodes (cost 10 ) 8.085 * * [simplify]: iteration 7 : 300 enodes (cost 10 ) 8.168 * * [simplify]: iteration 8 : 337 enodes (cost 10 ) 8.262 * * [simplify]: iteration 9 : 350 enodes (cost 10 ) 8.353 * * [simplify]: iteration done : 350 enodes (cost 10 ) 8.354 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 8.355 * * [simplify]: iteration 1 : 27 enodes (cost 29 ) 8.361 * * [simplify]: iteration 2 : 106 enodes (cost 11 ) 8.421 * * [simplify]: iteration 3 : 586 enodes (cost 11 ) 9.265 * * [simplify]: iteration 4 : 2909 enodes (cost 11 ) 10.660 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 10.661 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 10.662 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 10.664 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 10.669 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 10.683 * * [simplify]: iteration 4 : 107 enodes (cost 10 ) 10.702 * * [simplify]: iteration 5 : 167 enodes (cost 10 ) 10.741 * * [simplify]: iteration 6 : 242 enodes (cost 10 ) 10.799 * * [simplify]: iteration 7 : 300 enodes (cost 10 ) 10.880 * * [simplify]: iteration 8 : 337 enodes (cost 10 ) 10.972 * * [simplify]: iteration 9 : 350 enodes (cost 10 ) 11.063 * * [simplify]: iteration done : 350 enodes (cost 10 ) 11.064 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 11.065 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 11.067 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 11.072 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 11.082 * * [simplify]: iteration 4 : 107 enodes (cost 10 ) 11.101 * * [simplify]: iteration 5 : 167 enodes (cost 10 ) 11.141 * * [simplify]: iteration 6 : 242 enodes (cost 10 ) 11.198 * * [simplify]: iteration 7 : 300 enodes (cost 10 ) 11.279 * * [simplify]: iteration 8 : 337 enodes (cost 10 ) 11.371 * * [simplify]: iteration 9 : 350 enodes (cost 10 ) 11.461 * * [simplify]: iteration done : 350 enodes (cost 10 ) 11.462 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 11.463 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 11.466 * * [simplify]: iteration 2 : 41 enodes (cost 13 ) 11.473 * * [simplify]: iteration 3 : 88 enodes (cost 13 ) 11.490 * * [simplify]: iteration 4 : 170 enodes (cost 13 ) 11.531 * * [simplify]: iteration 5 : 294 enodes (cost 13 ) 11.634 * * [simplify]: iteration 6 : 490 enodes (cost 13 ) 11.846 * * [simplify]: iteration 7 : 692 enodes (cost 13 ) 12.173 * * [simplify]: iteration 8 : 829 enodes (cost 13 ) 12.585 * * [simplify]: iteration 9 : 874 enodes (cost 13 ) 12.999 * * [simplify]: iteration 10 : 877 enodes (cost 13 ) 13.412 * * [simplify]: iteration done : 877 enodes (cost 13 ) 13.413 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 13.414 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 13.416 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 13.423 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 13.434 * * [simplify]: iteration 4 : 107 enodes (cost 10 ) 13.452 * * [simplify]: iteration 5 : 167 enodes (cost 10 ) 13.492 * * [simplify]: iteration 6 : 242 enodes (cost 10 ) 13.550 * * [simplify]: iteration 7 : 300 enodes (cost 10 ) 13.633 * * [simplify]: iteration 8 : 337 enodes (cost 10 ) 13.726 * * [simplify]: iteration 9 : 350 enodes (cost 10 ) 13.818 * * [simplify]: iteration done : 350 enodes (cost 10 ) 13.819 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 13.820 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 13.823 * * [simplify]: iteration 2 : 38 enodes (cost 7 ) 13.828 * * [simplify]: iteration 3 : 65 enodes (cost 7 ) 13.841 * * [simplify]: iteration 4 : 108 enodes (cost 7 ) 13.858 * * [simplify]: iteration 5 : 168 enodes (cost 7 ) 13.905 * * [simplify]: iteration 6 : 281 enodes (cost 7 ) 13.960 * * [simplify]: iteration 7 : 351 enodes (cost 7 ) 14.039 * * [simplify]: iteration 8 : 401 enodes (cost 7 ) 14.118 * * [simplify]: iteration 9 : 418 enodes (cost 7 ) 14.183 * * [simplify]: iteration done : 418 enodes (cost 7 ) 14.184 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 14.185 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 14.185 * * [simplify]: iteration done : 4 enodes (cost 3 ) 14.186 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 14.187 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 14.192 * * [simplify]: iteration 2 : 88 enodes (cost 13 ) 14.212 * * [simplify]: iteration 3 : 277 enodes (cost 13 ) 14.323 * * [simplify]: iteration 4 : 1189 enodes (cost 13 ) 15.446 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 15.447 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 15.448 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 15.451 * * [simplify]: iteration 2 : 57 enodes (cost 15 ) 15.464 * * [simplify]: iteration 3 : 169 enodes (cost 15 ) 15.506 * * [simplify]: iteration 4 : 514 enodes (cost 15 ) 15.715 * * [simplify]: iteration 5 : 1287 enodes (cost 15 ) 16.724 * * [simplify]: iteration 6 : 2769 enodes (cost 15 ) 19.370 * * [simplify]: iteration 7 : 4705 enodes (cost 15 ) 20.431 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 20.432 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 20.432 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 20.434 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 20.436 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 20.447 * * [simplify]: iteration 4 : 42 enodes (cost 7 ) 20.453 * * [simplify]: iteration 5 : 51 enodes (cost 7 ) 20.465 * * [simplify]: iteration 6 : 56 enodes (cost 7 ) 20.472 * * [simplify]: iteration 7 : 61 enodes (cost 7 ) 20.480 * * [simplify]: iteration 8 : 63 enodes (cost 7 ) 20.488 * * [simplify]: iteration done : 63 enodes (cost 7 ) 20.488 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 20.489 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 20.490 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 20.492 * * [simplify]: iteration done : 15 enodes (cost 9 ) 20.492 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 20.494 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 20.495 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 20.498 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 20.502 * * [simplify]: iteration 4 : 47 enodes (cost 8 ) 20.508 * * [simplify]: iteration 5 : 56 enodes (cost 8 ) 20.514 * * [simplify]: iteration 6 : 61 enodes (cost 8 ) 20.524 * * [simplify]: iteration 7 : 66 enodes (cost 8 ) 20.533 * * [simplify]: iteration 8 : 68 enodes (cost 8 ) 20.541 * * [simplify]: iteration done : 68 enodes (cost 8 ) 20.542 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 20.543 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 20.544 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 20.548 * * [simplify]: iteration 3 : 56 enodes (cost 8 ) 20.556 * * [simplify]: iteration 4 : 109 enodes (cost 8 ) 20.573 * * [simplify]: iteration 5 : 203 enodes (cost 8 ) 20.640 * * [simplify]: iteration 6 : 467 enodes (cost 8 ) 20.929 * * [simplify]: iteration 7 : 1377 enodes (cost 8 ) 22.696 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 22.697 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 22.698 * * [simplify]: iteration 1 : 20 enodes (cost 23 ) 22.702 * * [simplify]: iteration 2 : 60 enodes (cost 11 ) 22.716 * * [simplify]: iteration 3 : 191 enodes (cost 11 ) 22.796 * * [simplify]: iteration 4 : 710 enodes (cost 9 ) 23.431 * * [simplify]: iteration 5 : 3055 enodes (cost 9 ) 24.651 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 24.652 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 24.658 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 24.659 * * [simplify]: iteration 2 : 21 enodes (cost 17 ) 24.661 * * [simplify]: iteration 3 : 30 enodes (cost 17 ) 24.665 * * [simplify]: iteration 4 : 44 enodes (cost 17 ) 24.671 * * [simplify]: iteration 5 : 53 enodes (cost 17 ) 24.677 * * [simplify]: iteration 6 : 58 enodes (cost 17 ) 24.684 * * [simplify]: iteration 7 : 63 enodes (cost 17 ) 24.693 * * [simplify]: iteration 8 : 65 enodes (cost 17 ) 24.701 * * [simplify]: iteration done : 65 enodes (cost 17 ) 24.702 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 24.703 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 24.704 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 24.706 * * [simplify]: iteration 3 : 29 enodes (cost 8 ) 24.710 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 24.719 * * [simplify]: iteration 5 : 52 enodes (cost 8 ) 24.725 * * [simplify]: iteration 6 : 57 enodes (cost 8 ) 24.732 * * [simplify]: iteration 7 : 62 enodes (cost 8 ) 24.740 * * [simplify]: iteration 8 : 64 enodes (cost 8 ) 24.748 * * [simplify]: iteration done : 64 enodes (cost 8 ) 24.749 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 24.750 * * [simplify]: iteration 1 : 22 enodes (cost 23 ) 24.754 * * [simplify]: iteration 2 : 78 enodes (cost 9 ) 24.781 * * [simplify]: iteration 3 : 304 enodes (cost 9 ) 24.951 * * [simplify]: iteration 4 : 1044 enodes (cost 9 ) 26.110 * * [simplify]: iteration 5 : 3963 enodes (cost 9 ) 27.566 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 27.566 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 27.567 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 27.568 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 27.571 * * [simplify]: iteration 3 : 29 enodes (cost 8 ) 27.574 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 27.580 * * [simplify]: iteration 5 : 52 enodes (cost 8 ) 27.586 * * [simplify]: iteration 6 : 57 enodes (cost 8 ) 27.594 * * [simplify]: iteration 7 : 62 enodes (cost 8 ) 27.602 * * [simplify]: iteration 8 : 64 enodes (cost 8 ) 27.610 * * [simplify]: iteration done : 64 enodes (cost 8 ) 27.610 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 27.611 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 27.612 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 27.615 * * [simplify]: iteration 3 : 29 enodes (cost 8 ) 27.622 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 27.627 * * [simplify]: iteration 5 : 52 enodes (cost 8 ) 27.633 * * [simplify]: iteration 6 : 57 enodes (cost 8 ) 27.640 * * [simplify]: iteration 7 : 62 enodes (cost 8 ) 27.649 * * [simplify]: iteration 8 : 64 enodes (cost 8 ) 27.657 * * [simplify]: iteration done : 64 enodes (cost 8 ) 27.658 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 27.659 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 27.660 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 27.661 * * [simplify]: iteration done : 15 enodes (cost 9 ) 27.662 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 27.663 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 27.664 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 27.665 * * [simplify]: iteration done : 15 enodes (cost 9 ) 27.666 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 27.667 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 27.669 * * [simplify]: iteration 2 : 25 enodes (cost 11 ) 27.672 * * [simplify]: iteration 3 : 46 enodes (cost 11 ) 27.683 * * [simplify]: iteration 4 : 72 enodes (cost 11 ) 27.695 * * [simplify]: iteration 5 : 108 enodes (cost 11 ) 27.714 * * [simplify]: iteration 6 : 137 enodes (cost 11 ) 27.743 * * [simplify]: iteration 7 : 165 enodes (cost 11 ) 27.778 * * [simplify]: iteration 8 : 182 enodes (cost 11 ) 27.821 * * [simplify]: iteration 9 : 190 enodes (cost 11 ) 27.863 * * [simplify]: iteration done : 190 enodes (cost 11 ) 27.864 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 27.865 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 27.866 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 27.868 * * [simplify]: iteration 3 : 29 enodes (cost 8 ) 27.873 * * [simplify]: iteration 4 : 43 enodes (cost 8 ) 27.878 * * [simplify]: iteration 5 : 52 enodes (cost 8 ) 27.884 * * [simplify]: iteration 6 : 57 enodes (cost 8 ) 27.891 * * [simplify]: iteration 7 : 62 enodes (cost 8 ) 27.903 * * [simplify]: iteration 8 : 64 enodes (cost 8 ) 27.911 * * [simplify]: iteration done : 64 enodes (cost 8 ) 27.912 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 27.912 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 27.914 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 27.917 * * [simplify]: iteration 3 : 39 enodes (cost 5 ) 27.922 * * [simplify]: iteration 4 : 62 enodes (cost 5 ) 27.931 * * [simplify]: iteration 5 : 94 enodes (cost 5 ) 27.937 * * [simplify]: iteration 6 : 107 enodes (cost 5 ) 27.948 * * [simplify]: iteration 7 : 120 enodes (cost 5 ) 27.965 * * [simplify]: iteration 8 : 126 enodes (cost 5 ) 27.976 * * [simplify]: iteration done : 126 enodes (cost 5 ) 27.977 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 27.978 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 27.979 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 27.981 * * [simplify]: iteration done : 14 enodes (cost 8 ) 27.981 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 27.982 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 27.983 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 27.984 * * [simplify]: iteration done : 14 enodes (cost 8 ) 27.985 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 27.986 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 27.987 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 27.990 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 27.993 * * [simplify]: iteration 4 : 42 enodes (cost 7 ) 27.999 * * [simplify]: iteration 5 : 51 enodes (cost 7 ) 28.005 * * [simplify]: iteration 6 : 56 enodes (cost 7 ) 28.012 * * [simplify]: iteration 7 : 61 enodes (cost 7 ) 28.022 * * [simplify]: iteration 8 : 63 enodes (cost 7 ) 28.031 * * [simplify]: iteration done : 63 enodes (cost 7 ) 28.031 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 28.032 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 28.034 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 28.036 * * [simplify]: iteration 3 : 24 enodes (cost 9 ) 28.039 * * [simplify]: iteration 4 : 28 enodes (cost 9 ) 28.042 * * [simplify]: iteration done : 28 enodes (cost 9 ) 28.043 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 28.043 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 28.045 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 28.048 * * [simplify]: iteration 3 : 31 enodes (cost 10 ) 28.052 * * [simplify]: iteration 4 : 45 enodes (cost 10 ) 28.057 * * [simplify]: iteration 5 : 54 enodes (cost 10 ) 28.064 * * [simplify]: iteration 6 : 59 enodes (cost 10 ) 28.071 * * [simplify]: iteration 7 : 64 enodes (cost 10 ) 28.082 * * [simplify]: iteration 8 : 66 enodes (cost 10 ) 28.090 * * [simplify]: iteration done : 66 enodes (cost 10 ) 28.091 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 28.092 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 28.093 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 28.095 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 28.099 * * [simplify]: iteration 4 : 42 enodes (cost 7 ) 28.104 * * [simplify]: iteration 5 : 51 enodes (cost 7 ) 28.110 * * [simplify]: iteration 6 : 56 enodes (cost 7 ) 28.117 * * [simplify]: iteration 7 : 61 enodes (cost 7 ) 28.126 * * [simplify]: iteration 8 : 63 enodes (cost 7 ) 28.136 * * [simplify]: iteration done : 63 enodes (cost 7 ) 28.137 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 28.138 * * [simplify]: iteration 1 : 29 enodes (cost 11 ) 28.143 * * [simplify]: iteration 2 : 77 enodes (cost 11 ) 28.158 * * [simplify]: iteration 3 : 236 enodes (cost 11 ) 28.247 * * [simplify]: iteration 4 : 882 enodes (cost 11 ) 29.251 * * [simplify]: iteration 5 : 3773 enodes (cost 11 ) 30.686 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 30.687 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 30.688 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 30.691 * * [simplify]: iteration 2 : 44 enodes (cost 13 ) 30.698 * * [simplify]: iteration 3 : 113 enodes (cost 13 ) 30.720 * * [simplify]: iteration 4 : 280 enodes (cost 13 ) 30.806 * * [simplify]: iteration 5 : 575 enodes (cost 13 ) 31.024 * * [simplify]: iteration 6 : 945 enodes (cost 13 ) 31.447 * * [simplify]: iteration 7 : 1525 enodes (cost 13 ) 33.602 * * [simplify]: iteration 8 : 4573 enodes (cost 13 ) 35.308 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 35.309 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 35.310 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 35.311 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 35.312 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 35.314 * * [simplify]: iteration 4 : 19 enodes (cost 6 ) 35.316 * * [simplify]: iteration 5 : 25 enodes (cost 6 ) 35.318 * * [simplify]: iteration 6 : 29 enodes (cost 6 ) 35.322 * * [simplify]: iteration 7 : 45 enodes (cost 6 ) 35.327 * * [simplify]: iteration 8 : 49 enodes (cost 6 ) 35.336 * * [simplify]: iteration 9 : 54 enodes (cost 6 ) 35.342 * * [simplify]: iteration 10 : 61 enodes (cost 6 ) 35.349 * * [simplify]: iteration 11 : 79 enodes (cost 6 ) 35.359 * * [simplify]: iteration 12 : 100 enodes (cost 6 ) 35.372 * * [simplify]: iteration 13 : 113 enodes (cost 6 ) 35.387 * * [simplify]: iteration 14 : 118 enodes (cost 6 ) 35.404 * * [simplify]: iteration 15 : 120 enodes (cost 6 ) 35.417 * * [simplify]: iteration done : 120 enodes (cost 6 ) 35.417 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 35.418 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 35.419 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 35.420 * * [simplify]: iteration done : 11 enodes (cost 6 ) 35.420 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 35.421 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 35.422 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 35.424 * * [simplify]: iteration 3 : 19 enodes (cost 6 ) 35.426 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 35.429 * * [simplify]: iteration 5 : 29 enodes (cost 6 ) 35.432 * * [simplify]: iteration 6 : 45 enodes (cost 6 ) 35.437 * * [simplify]: iteration 7 : 51 enodes (cost 6 ) 35.442 * * [simplify]: iteration 8 : 56 enodes (cost 6 ) 35.452 * * [simplify]: iteration 9 : 63 enodes (cost 6 ) 35.460 * * [simplify]: iteration 10 : 82 enodes (cost 6 ) 35.470 * * [simplify]: iteration 11 : 103 enodes (cost 6 ) 35.483 * * [simplify]: iteration 12 : 116 enodes (cost 6 ) 35.497 * * [simplify]: iteration 13 : 121 enodes (cost 6 ) 35.514 * * [simplify]: iteration 14 : 123 enodes (cost 6 ) 35.528 * * [simplify]: iteration done : 123 enodes (cost 6 ) 35.528 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 35.529 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 35.530 * * [simplify]: iteration 2 : 12 enodes (cost 13 ) 35.531 * * [simplify]: iteration done : 12 enodes (cost 13 ) 35.532 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 35.532 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 35.533 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 35.534 * * [simplify]: iteration done : 11 enodes (cost 6 ) 35.535 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 35.536 * * [simplify]: iteration 1 : 10 enodes (cost 17 ) 35.537 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 35.542 * * [simplify]: iteration 3 : 78 enodes (cost 7 ) 35.560 * * [simplify]: iteration 4 : 242 enodes (cost 7 ) 35.657 * * [simplify]: iteration 5 : 792 enodes (cost 7 ) 36.380 * * [simplify]: iteration 6 : 2652 enodes (cost 7 ) 37.553 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 37.553 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 37.554 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 37.555 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 37.556 * * [simplify]: iteration done : 11 enodes (cost 6 ) 37.556 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 37.557 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 37.558 * * [simplify]: iteration 2 : 11 enodes (cost 6 ) 37.559 * * [simplify]: iteration done : 11 enodes (cost 6 ) 37.559 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 37.561 * * [simplify]: iteration 1 : 26 enodes (cost 9 ) 37.565 * * [simplify]: iteration 2 : 68 enodes (cost 9 ) 37.577 * * [simplify]: iteration 3 : 178 enodes (cost 9 ) 37.635 * * [simplify]: iteration 4 : 565 enodes (cost 9 ) 38.040 * * [simplify]: iteration 5 : 1964 enodes (cost 9 ) 39.706 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 39.706 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 39.708 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 39.711 * * [simplify]: iteration 2 : 40 enodes (cost 13 ) 39.717 * * [simplify]: iteration 3 : 59 enodes (cost 13 ) 39.725 * * [simplify]: iteration 4 : 71 enodes (cost 13 ) 39.735 * * [simplify]: iteration 5 : 75 enodes (cost 13 ) 39.749 * * [simplify]: iteration 6 : 76 enodes (cost 13 ) 39.760 * * [simplify]: iteration done : 76 enodes (cost 13 ) 39.761 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 39.761 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 39.762 * * [simplify]: iteration done : 6 enodes (cost 4 ) 39.762 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 39.763 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 39.766 * * [simplify]: iteration 2 : 31 enodes (cost 11 ) 39.770 * * [simplify]: iteration 3 : 65 enodes (cost 11 ) 39.779 * * [simplify]: iteration 4 : 119 enodes (cost 11 ) 39.805 * * [simplify]: iteration 5 : 197 enodes (cost 11 ) 39.845 * * [simplify]: iteration 6 : 283 enodes (cost 11 ) 39.924 * * [simplify]: iteration 7 : 473 enodes (cost 11 ) 40.718 * * [simplify]: iteration 8 : 1859 enodes (cost 11 ) 46.048 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 46.048 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 46.054 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 46.054 * * [simplify]: iteration done : 6 enodes (cost 5 ) 46.055 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 46.056 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 46.056 * * [simplify]: iteration done : 8 enodes (cost 7 ) 46.057 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 46.058 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 46.059 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 46.060 * * [simplify]: iteration done : 10 enodes (cost 7 ) 46.060 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 46.061 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 46.062 * * [simplify]: iteration done : 9 enodes (cost 8 ) 46.063 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 46.063 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 46.064 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 46.065 * * [simplify]: iteration done : 13 enodes (cost 8 ) 46.066 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 46.067 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 46.067 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 46.068 * * [simplify]: iteration done : 10 enodes (cost 5 ) 46.069 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 46.069 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 46.070 * * [simplify]: iteration done : 6 enodes (cost 4 ) 46.071 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 46.072 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 46.074 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 46.078 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 46.087 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 46.092 * * [simplify]: iteration done : 35 enodes (cost 7 ) 46.092 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 46.093 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 46.095 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 46.100 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 46.105 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 46.109 * * [simplify]: iteration done : 35 enodes (cost 7 ) 46.110 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 46.111 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 46.113 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 46.118 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 46.123 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 46.127 * * [simplify]: iteration done : 35 enodes (cost 7 ) 46.128 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 46.129 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 46.130 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 46.131 * * [simplify]: iteration done : 9 enodes (cost 5 ) 46.131 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 46.132 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 46.133 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 46.134 * * [simplify]: iteration done : 9 enodes (cost 5 ) 46.135 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 46.135 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 46.136 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 46.137 * * [simplify]: iteration done : 9 enodes (cost 5 ) 46.138 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 46.138 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 46.139 * * [simplify]: iteration 2 : 6 enodes (cost 3 ) 46.139 * * [simplify]: iteration done : 6 enodes (cost 3 ) 46.140 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 46.142 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 46.143 * * [simplify]: iteration 2 : 6 enodes (cost 3 ) 46.144 * * [simplify]: iteration done : 6 enodes (cost 3 ) 46.144 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 46.145 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 46.145 * * [simplify]: iteration 2 : 6 enodes (cost 3 ) 46.146 * * [simplify]: iteration done : 6 enodes (cost 3 ) 46.146 * [simplify]: Simplified to: (* (* (- x (/ 16.0 116.0)) 3.0) y) (* (* (- x (/ 16.0 116.0)) 3.0) y) (+ (+ (log (- x (/ 16.0 116.0))) (log 3.0)) (log y)) (+ (log (* (- x (/ 16.0 116.0)) 3.0)) (log y)) (log (* (* (- x (/ 16.0 116.0)) 3.0) y)) (exp (* (* (- x (/ 16.0 116.0)) 3.0) y)) (* (pow y 3) (pow (* (- x (/ 16.0 116.0)) 3.0) 3)) (pow (* (* (- x (/ 16.0 116.0)) 3.0) y) 3) (* (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y)) (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y))) (cbrt (* (* (- x (/ 16.0 116.0)) 3.0) y)) (pow (* (* (- x (/ 16.0 116.0)) 3.0) y) 3) (sqrt (* (* (- x (/ 16.0 116.0)) 3.0) y)) (sqrt (* (* (- x (/ 16.0 116.0)) 3.0) y)) (* (* (- x (/ 16.0 116.0)) 3.0) (* (cbrt y) (cbrt y))) (* (* (- x (/ 16.0 116.0)) 3.0) (sqrt y)) (* (- x (/ 16.0 116.0)) 3.0) (* 3.0 y) (* (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) y) (* (* (- (* x x) (* (/ 16.0 116.0) (/ 16.0 116.0))) 3.0) y) (* (- x (/ 16.0 116.0)) 3.0) (+ (log (- x (/ 16.0 116.0))) (log 3.0)) (log (* (- x (/ 16.0 116.0)) 3.0)) (exp (* (- x (/ 16.0 116.0)) 3.0)) (pow (* (- x (/ 16.0 116.0)) 3.0) 3) (* (cbrt (* (- x (/ 16.0 116.0)) 3.0)) (cbrt (* (- x (/ 16.0 116.0)) 3.0))) (cbrt (* (- x (/ 16.0 116.0)) 3.0)) (pow (* (- x (/ 16.0 116.0)) 3.0) 3) (sqrt (* (- x (/ 16.0 116.0)) 3.0)) (sqrt (* (- x (/ 16.0 116.0)) 3.0)) (* (sqrt (- x (/ 16.0 116.0))) (sqrt 3.0)) (* (sqrt (- x (/ 16.0 116.0))) (sqrt 3.0)) (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (- x (/ 16.0 116.0)) (sqrt 3.0)) (- x (/ 16.0 116.0)) (* (cbrt (- x (/ 16.0 116.0))) 3.0) (* (sqrt (- x (/ 16.0 116.0))) 3.0) (* (- x (/ 16.0 116.0)) 3.0) (* (- (sqrt x) (sqrt (/ 16.0 116.0))) 3.0) (* (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) 3.0) (* (- x (/ 16.0 116.0)) 3.0) (* (- (pow x 3) (pow (/ 16.0 116.0) 3)) 3.0) (* (+ x (/ 16.0 116.0)) (* (- x (/ 16.0 116.0)) 3.0)) (exp (- x (/ 16.0 116.0))) (log (- x (/ 16.0 116.0))) (exp (- x (/ 16.0 116.0))) (* (cbrt (- x (/ 16.0 116.0))) (cbrt (- x (/ 16.0 116.0)))) (cbrt (- x (/ 16.0 116.0))) (pow (- x (/ 16.0 116.0)) 3) (sqrt (- x (/ 16.0 116.0))) (sqrt (- x (/ 16.0 116.0))) (- (pow x 3) (pow (/ 16.0 116.0) 3)) (+ (* (/ 16.0 116.0) (+ (/ 16.0 116.0) x)) (* x x)) (neg (/ 16.0 116.0)) (* (- x (/ 16.0 116.0)) (+ x (/ 16.0 116.0))) (+ x (/ 16.0 116.0)) (+ (sqrt x) (sqrt (/ 16.0 116.0))) (- (sqrt x) (sqrt (/ 16.0 116.0))) (+ (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) (- (sqrt x) (/ (sqrt 16.0) (sqrt 116.0))) (- x (/ 16.0 116.0)) (neg (/ 16.0 116.0)) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) (- x 0.13793103448275862) (- x 0.13793103448275862) (- x 0.13793103448275862) 46.147 * * * [progress]: adding candidates to table 46.244 * * [progress]: iteration 2 / 4 46.244 * * * [progress]: picking best candidate 46.262 * * * * [pick]: Picked # 46.262 * * * [progress]: localizing error 46.267 * * * [progress]: generating rewritten candidates 46.267 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 46.275 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 46.280 * * * [progress]: generating series expansions 46.280 * * * * [progress]: [ 1 / 2 ] generating series at (2) 46.280 * [approximate]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in (y x) around 0 46.280 * [taylor]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in x 46.280 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x 46.280 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 46.280 * [taylor]: Taking taylor expansion of 3.0 in x 46.280 * [taylor]: Taking taylor expansion of x in x 46.280 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 46.280 * [taylor]: Taking taylor expansion of y in x 46.280 * [taylor]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in y 46.280 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in y 46.280 * [taylor]: Taking taylor expansion of (* 3.0 x) in y 46.280 * [taylor]: Taking taylor expansion of 3.0 in y 46.280 * [taylor]: Taking taylor expansion of x in y 46.280 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 46.280 * [taylor]: Taking taylor expansion of y in y 46.280 * [taylor]: Taking taylor expansion of (* (- (* 3.0 x) 0.41379310344827586) y) in y 46.280 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in y 46.280 * [taylor]: Taking taylor expansion of (* 3.0 x) in y 46.280 * [taylor]: Taking taylor expansion of 3.0 in y 46.280 * [taylor]: Taking taylor expansion of x in y 46.280 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 46.280 * [taylor]: Taking taylor expansion of y in y 46.281 * [taylor]: Taking taylor expansion of 0 in x 46.281 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x 46.281 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 46.281 * [taylor]: Taking taylor expansion of 3.0 in x 46.281 * [taylor]: Taking taylor expansion of x in x 46.281 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 46.281 * [taylor]: Taking taylor expansion of 0 in x 46.281 * [taylor]: Taking taylor expansion of 0 in x 46.285 * [taylor]: Taking taylor expansion of 0 in x 46.285 * [approximate]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in (y x) around 0 46.285 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in x 46.285 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x 46.285 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 46.285 * [taylor]: Taking taylor expansion of 3.0 in x 46.285 * [taylor]: Taking taylor expansion of (/ 1 x) in x 46.285 * [taylor]: Taking taylor expansion of x in x 46.285 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 46.285 * [taylor]: Taking taylor expansion of y in x 46.286 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in y 46.286 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in y 46.286 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 46.286 * [taylor]: Taking taylor expansion of 3.0 in y 46.286 * [taylor]: Taking taylor expansion of (/ 1 x) in y 46.286 * [taylor]: Taking taylor expansion of x in y 46.286 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 46.286 * [taylor]: Taking taylor expansion of y in y 46.286 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 0.41379310344827586) y) in y 46.286 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in y 46.286 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 46.286 * [taylor]: Taking taylor expansion of 3.0 in y 46.286 * [taylor]: Taking taylor expansion of (/ 1 x) in y 46.286 * [taylor]: Taking taylor expansion of x in y 46.286 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 46.286 * [taylor]: Taking taylor expansion of y in y 46.286 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x 46.286 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 46.286 * [taylor]: Taking taylor expansion of 3.0 in x 46.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x 46.286 * [taylor]: Taking taylor expansion of x in x 46.286 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 46.287 * [taylor]: Taking taylor expansion of 0 in x 46.287 * [taylor]: Taking taylor expansion of 0 in x 46.287 * [taylor]: Taking taylor expansion of 0 in x 46.288 * [taylor]: Taking taylor expansion of 0 in x 46.288 * [approximate]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 0.41379310344827586) y) in (y x) around 0 46.288 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 0.41379310344827586) y) in x 46.288 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 0.41379310344827586) in x 46.288 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 46.288 * [taylor]: Taking taylor expansion of 3.0 in x 46.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x 46.288 * [taylor]: Taking taylor expansion of x in x 46.288 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 46.288 * [taylor]: Taking taylor expansion of y in x 46.288 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 0.41379310344827586) y) in y 46.288 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 0.41379310344827586) in y 46.288 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 46.288 * [taylor]: Taking taylor expansion of 3.0 in y 46.288 * [taylor]: Taking taylor expansion of (/ 1 x) in y 46.288 * [taylor]: Taking taylor expansion of x in y 46.288 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 46.288 * [taylor]: Taking taylor expansion of y in y 46.288 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 0.41379310344827586) y) in y 46.289 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 0.41379310344827586) in y 46.289 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in y 46.289 * [taylor]: Taking taylor expansion of 3.0 in y 46.289 * [taylor]: Taking taylor expansion of (/ 1 x) in y 46.289 * [taylor]: Taking taylor expansion of x in y 46.289 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 46.289 * [taylor]: Taking taylor expansion of y in y 46.289 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 0.41379310344827586) in x 46.289 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 46.289 * [taylor]: Taking taylor expansion of 3.0 in x 46.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 46.289 * [taylor]: Taking taylor expansion of x in x 46.289 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 46.289 * [taylor]: Taking taylor expansion of 0 in x 46.290 * [taylor]: Taking taylor expansion of 0 in x 46.290 * [taylor]: Taking taylor expansion of 0 in x 46.290 * [taylor]: Taking taylor expansion of 0 in x 46.291 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 46.291 * [approximate]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in (x) around 0 46.291 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x 46.291 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 46.291 * [taylor]: Taking taylor expansion of 3.0 in x 46.291 * [taylor]: Taking taylor expansion of x in x 46.291 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 46.291 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x 46.291 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 46.291 * [taylor]: Taking taylor expansion of 3.0 in x 46.291 * [taylor]: Taking taylor expansion of x in x 46.291 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 46.292 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in (x) around 0 46.292 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x 46.292 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 46.292 * [taylor]: Taking taylor expansion of 3.0 in x 46.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 46.292 * [taylor]: Taking taylor expansion of x in x 46.292 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 46.292 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x 46.292 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 46.292 * [taylor]: Taking taylor expansion of 3.0 in x 46.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 46.292 * [taylor]: Taking taylor expansion of x in x 46.292 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 46.293 * [approximate]: Taking taylor expansion of (neg (+ (* 3.0 (/ 1 x)) 0.41379310344827586)) in (x) around 0 46.293 * [taylor]: Taking taylor expansion of (neg (+ (* 3.0 (/ 1 x)) 0.41379310344827586)) in x 46.293 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 0.41379310344827586) in x 46.293 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 46.293 * [taylor]: Taking taylor expansion of 3.0 in x 46.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x 46.293 * [taylor]: Taking taylor expansion of x in x 46.293 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 46.293 * [taylor]: Taking taylor expansion of (neg (+ (* 3.0 (/ 1 x)) 0.41379310344827586)) in x 46.293 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 0.41379310344827586) in x 46.293 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 46.293 * [taylor]: Taking taylor expansion of 3.0 in x 46.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x 46.293 * [taylor]: Taking taylor expansion of x in x 46.293 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 46.294 * * * [progress]: simplifying candidates 46.295 * [simplify]: Simplifying using # : (* y (- (* 3.0 x) 0.41379310344827586)) (+ (log y) (log (- (* 3.0 x) 0.41379310344827586))) (log (* y (- (* 3.0 x) 0.41379310344827586))) (exp (* y (- (* 3.0 x) 0.41379310344827586))) (* (* (* y y) y) (* (* (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586)) (- (* 3.0 x) 0.41379310344827586))) (* (cbrt (* y (- (* 3.0 x) 0.41379310344827586))) (cbrt (* y (- (* 3.0 x) 0.41379310344827586)))) (cbrt (* y (- (* 3.0 x) 0.41379310344827586))) (* (* (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586))) (* y (- (* 3.0 x) 0.41379310344827586))) (sqrt (* y (- (* 3.0 x) 0.41379310344827586))) (sqrt (* y (- (* 3.0 x) 0.41379310344827586))) (* (sqrt y) (sqrt (- (* 3.0 x) 0.41379310344827586))) (* (sqrt y) (sqrt (- (* 3.0 x) 0.41379310344827586))) (* y (* 3.0 x)) (* y (neg 0.41379310344827586)) (* y (* 3.0 x)) (* y (neg 0.41379310344827586)) (* (* 3.0 x) y) (* (neg 0.41379310344827586) y) (* (* 3.0 x) y) (* (neg 0.41379310344827586) y) (* y (* (cbrt (- (* 3.0 x) 0.41379310344827586)) (cbrt (- (* 3.0 x) 0.41379310344827586)))) (* y (sqrt (- (* 3.0 x) 0.41379310344827586))) (* y 1) (* (cbrt y) (- (* 3.0 x) 0.41379310344827586)) (* (sqrt y) (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3))) (* y (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586))) (/ (exp (* 3.0 x)) (exp 0.41379310344827586)) (log (- (* 3.0 x) 0.41379310344827586)) (exp (- (* 3.0 x) 0.41379310344827586)) (* (cbrt (- (* 3.0 x) 0.41379310344827586)) (cbrt (- (* 3.0 x) 0.41379310344827586))) (cbrt (- (* 3.0 x) 0.41379310344827586)) (* (* (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586)) (- (* 3.0 x) 0.41379310344827586)) (sqrt (- (* 3.0 x) 0.41379310344827586)) (sqrt (- (* 3.0 x) 0.41379310344827586)) (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3)) (+ (* (* 3.0 x) (* 3.0 x)) (+ (* 0.41379310344827586 0.41379310344827586) (* (* 3.0 x) 0.41379310344827586))) (neg 0.41379310344827586) (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586)) (+ (* 3.0 x) 0.41379310344827586) (neg 0.41379310344827586) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) 46.296 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 46.297 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 46.298 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 46.300 * * [simplify]: iteration 3 : 31 enodes (cost 7 ) 46.304 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 46.310 * * [simplify]: iteration done : 35 enodes (cost 7 ) 46.310 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 46.311 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 46.313 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 46.314 * * [simplify]: iteration done : 14 enodes (cost 9 ) 46.315 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 46.316 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 46.318 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 46.321 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 46.326 * * [simplify]: iteration 4 : 40 enodes (cost 8 ) 46.331 * * [simplify]: iteration done : 40 enodes (cost 8 ) 46.332 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 46.333 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 46.335 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 46.338 * * [simplify]: iteration 3 : 60 enodes (cost 8 ) 46.350 * * [simplify]: iteration 4 : 115 enodes (cost 8 ) 46.368 * * [simplify]: iteration 5 : 243 enodes (cost 8 ) 46.474 * * [simplify]: iteration 6 : 650 enodes (cost 8 ) 47.114 * * [simplify]: iteration 7 : 2399 enodes (cost 8 ) 48.151 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 48.152 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 48.154 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 48.158 * * [simplify]: iteration 2 : 65 enodes (cost 11 ) 48.175 * * [simplify]: iteration 3 : 264 enodes (cost 11 ) 48.318 * * [simplify]: iteration 4 : 1127 enodes (cost 9 ) 49.869 * * [simplify]: iteration 5 : 4829 enodes (cost 9 ) 51.571 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 51.572 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 51.578 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 51.579 * * [simplify]: iteration 2 : 20 enodes (cost 17 ) 51.582 * * [simplify]: iteration 3 : 33 enodes (cost 17 ) 51.587 * * [simplify]: iteration 4 : 37 enodes (cost 17 ) 51.592 * * [simplify]: iteration done : 37 enodes (cost 17 ) 51.593 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 51.594 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 51.596 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 51.598 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 51.603 * * [simplify]: iteration 4 : 40 enodes (cost 8 ) 51.608 * * [simplify]: iteration done : 40 enodes (cost 8 ) 51.609 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 51.615 * * [simplify]: iteration 1 : 23 enodes (cost 23 ) 51.620 * * [simplify]: iteration 2 : 77 enodes (cost 9 ) 51.643 * * [simplify]: iteration 3 : 298 enodes (cost 9 ) 51.831 * * [simplify]: iteration 4 : 1134 enodes (cost 9 ) 53.334 * * [simplify]: iteration 5 : 4262 enodes (cost 9 ) 55.288 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 55.289 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 55.290 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 55.291 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 55.299 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 55.304 * * [simplify]: iteration 4 : 40 enodes (cost 8 ) 55.308 * * [simplify]: iteration done : 40 enodes (cost 8 ) 55.309 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 55.310 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 55.311 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 55.314 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 55.319 * * [simplify]: iteration 4 : 40 enodes (cost 8 ) 55.324 * * [simplify]: iteration done : 40 enodes (cost 8 ) 55.325 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 55.326 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 55.327 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 55.328 * * [simplify]: iteration done : 14 enodes (cost 9 ) 55.329 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 55.330 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 55.331 * * [simplify]: iteration 2 : 14 enodes (cost 9 ) 55.333 * * [simplify]: iteration done : 14 enodes (cost 9 ) 55.333 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 55.334 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 55.335 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 55.337 * * [simplify]: iteration done : 15 enodes (cost 5 ) 55.338 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 55.338 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 55.339 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 55.340 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 55.341 * * [simplify]: iteration done : 11 enodes (cost 4 ) 55.342 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 55.342 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 55.344 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 55.345 * * [simplify]: iteration done : 15 enodes (cost 5 ) 55.346 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 55.346 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 55.347 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 55.348 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 55.349 * * [simplify]: iteration done : 11 enodes (cost 4 ) 55.350 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 55.351 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 55.352 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 55.353 * * [simplify]: iteration done : 15 enodes (cost 5 ) 55.354 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 55.355 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 55.355 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 55.356 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 55.358 * * [simplify]: iteration done : 11 enodes (cost 4 ) 55.358 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 55.361 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 55.362 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 55.364 * * [simplify]: iteration done : 15 enodes (cost 5 ) 55.365 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 55.365 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 55.366 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 55.367 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 55.369 * * [simplify]: iteration done : 11 enodes (cost 4 ) 55.369 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 55.370 * * [simplify]: iteration 1 : 15 enodes (cost 15 ) 55.372 * * [simplify]: iteration 2 : 18 enodes (cost 15 ) 55.374 * * [simplify]: iteration done : 18 enodes (cost 15 ) 55.375 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 55.376 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 55.377 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 55.378 * * [simplify]: iteration done : 13 enodes (cost 8 ) 55.379 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 55.379 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 55.379 * * [simplify]: iteration done : 6 enodes (cost 1 ) 55.380 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 55.381 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 55.382 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 55.385 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 55.389 * * [simplify]: iteration 4 : 40 enodes (cost 8 ) 55.394 * * [simplify]: iteration done : 40 enodes (cost 8 ) 55.395 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 55.396 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 55.397 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 55.399 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 55.404 * * [simplify]: iteration 4 : 40 enodes (cost 8 ) 55.409 * * [simplify]: iteration done : 40 enodes (cost 8 ) 55.409 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 55.410 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 55.411 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 55.414 * * [simplify]: iteration 3 : 31 enodes (cost 7 ) 55.418 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 55.427 * * [simplify]: iteration done : 35 enodes (cost 7 ) 55.428 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 55.429 * * [simplify]: iteration 1 : 30 enodes (cost 11 ) 55.434 * * [simplify]: iteration 2 : 87 enodes (cost 11 ) 55.454 * * [simplify]: iteration 3 : 260 enodes (cost 11 ) 55.556 * * [simplify]: iteration 4 : 736 enodes (cost 11 ) 56.209 * * [simplify]: iteration 5 : 2193 enodes (cost 11 ) 58.070 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 58.071 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 58.072 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 58.076 * * [simplify]: iteration 2 : 51 enodes (cost 13 ) 58.086 * * [simplify]: iteration 3 : 122 enodes (cost 13 ) 58.119 * * [simplify]: iteration 4 : 291 enodes (cost 13 ) 58.196 * * [simplify]: iteration 5 : 487 enodes (cost 13 ) 58.363 * * [simplify]: iteration 6 : 721 enodes (cost 13 ) 58.943 * * [simplify]: iteration 7 : 1284 enodes (cost 13 ) 61.114 * * [simplify]: iteration 8 : 4426 enodes (cost 13 ) 63.311 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 63.312 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 63.313 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 63.314 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 63.316 * * [simplify]: iteration 3 : 33 enodes (cost 6 ) 63.321 * * [simplify]: iteration 4 : 71 enodes (cost 6 ) 63.338 * * [simplify]: iteration 5 : 182 enodes (cost 6 ) 63.423 * * [simplify]: iteration 6 : 560 enodes (cost 6 ) 64.218 * * [simplify]: iteration 7 : 2181 enodes (cost 6 ) 66.269 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 66.269 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 66.270 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 66.271 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 66.272 * * [simplify]: iteration done : 10 enodes (cost 6 ) 66.273 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 66.273 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 66.275 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 66.277 * * [simplify]: iteration 3 : 29 enodes (cost 6 ) 66.281 * * [simplify]: iteration 4 : 57 enodes (cost 6 ) 66.291 * * [simplify]: iteration 5 : 135 enodes (cost 6 ) 66.352 * * [simplify]: iteration 6 : 423 enodes (cost 6 ) 66.663 * * [simplify]: iteration 7 : 1175 enodes (cost 6 ) 68.490 * * [simplify]: iteration 8 : 3709 enodes (cost 6 ) 69.700 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 69.701 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 69.702 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 69.703 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 69.704 * * [simplify]: iteration done : 11 enodes (cost 13 ) 69.704 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 69.705 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 69.706 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 69.707 * * [simplify]: iteration done : 10 enodes (cost 6 ) 69.708 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 69.709 * * [simplify]: iteration 1 : 11 enodes (cost 17 ) 69.710 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 69.715 * * [simplify]: iteration 3 : 85 enodes (cost 7 ) 69.737 * * [simplify]: iteration 4 : 282 enodes (cost 7 ) 69.866 * * [simplify]: iteration 5 : 873 enodes (cost 7 ) 70.694 * * [simplify]: iteration 6 : 2661 enodes (cost 7 ) 72.130 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 72.131 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 72.131 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 72.132 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 72.133 * * [simplify]: iteration done : 10 enodes (cost 6 ) 72.134 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 72.135 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 72.136 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 72.137 * * [simplify]: iteration done : 10 enodes (cost 6 ) 72.138 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 72.139 * * [simplify]: iteration 1 : 27 enodes (cost 9 ) 72.144 * * [simplify]: iteration 2 : 78 enodes (cost 9 ) 72.160 * * [simplify]: iteration 3 : 171 enodes (cost 9 ) 72.217 * * [simplify]: iteration 4 : 351 enodes (cost 9 ) 72.381 * * [simplify]: iteration 5 : 1014 enodes (cost 9 ) 73.429 * * [simplify]: iteration 6 : 4288 enodes (cost 9 ) 75.331 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 75.332 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 75.333 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 75.338 * * [simplify]: iteration 2 : 51 enodes (cost 15 ) 75.348 * * [simplify]: iteration 3 : 60 enodes (cost 13 ) 75.363 * * [simplify]: iteration 4 : 69 enodes (cost 13 ) 75.376 * * [simplify]: iteration 5 : 71 enodes (cost 13 ) 75.389 * * [simplify]: iteration done : 71 enodes (cost 13 ) 75.389 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 75.389 * * [simplify]: iteration done : 2 enodes (cost 2 ) 75.390 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 75.391 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 75.394 * * [simplify]: iteration 2 : 38 enodes (cost 11 ) 75.401 * * [simplify]: iteration 3 : 53 enodes (cost 11 ) 75.410 * * [simplify]: iteration 4 : 94 enodes (cost 11 ) 75.433 * * [simplify]: iteration 5 : 171 enodes (cost 11 ) 75.479 * * [simplify]: iteration 6 : 259 enodes (cost 11 ) 75.568 * * [simplify]: iteration 7 : 487 enodes (cost 11 ) 76.377 * * [simplify]: iteration 8 : 1905 enodes (cost 11 ) 80.742 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 80.743 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 80.744 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 80.744 * * [simplify]: iteration done : 7 enodes (cost 5 ) 80.745 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 80.745 * * [simplify]: iteration done : 2 enodes (cost 2 ) 80.746 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 80.747 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 80.749 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 80.757 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 80.762 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 80.767 * * [simplify]: iteration done : 35 enodes (cost 7 ) 80.768 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 80.769 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 80.771 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 80.776 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 80.781 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 80.785 * * [simplify]: iteration done : 35 enodes (cost 7 ) 80.786 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 80.787 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 80.789 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 80.793 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 80.798 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 80.803 * * [simplify]: iteration done : 35 enodes (cost 7 ) 80.804 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 80.804 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 80.805 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 80.806 * * [simplify]: iteration done : 9 enodes (cost 5 ) 80.807 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 80.807 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 80.808 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 80.809 * * [simplify]: iteration done : 9 enodes (cost 5 ) 80.810 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 80.813 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 80.814 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 80.815 * * [simplify]: iteration done : 9 enodes (cost 5 ) 80.816 * [simplify]: Simplified to: (* y (- (* 3.0 x) 0.41379310344827586)) (+ (log y) (log (- (* 3.0 x) 0.41379310344827586))) (log (* y (- (* 3.0 x) 0.41379310344827586))) (exp (* y (- (* 3.0 x) 0.41379310344827586))) (pow (* y (- (* 3.0 x) 0.41379310344827586)) 3) (* (cbrt (* y (- (* 3.0 x) 0.41379310344827586))) (cbrt (* y (- (* 3.0 x) 0.41379310344827586)))) (cbrt (* y (- (* 3.0 x) 0.41379310344827586))) (pow (* y (- (* 3.0 x) 0.41379310344827586)) 3) (sqrt (* y (- (* 3.0 x) 0.41379310344827586))) (sqrt (* y (- (* 3.0 x) 0.41379310344827586))) (* (sqrt y) (sqrt (- (* 3.0 x) 0.41379310344827586))) (* (sqrt y) (sqrt (- (* 3.0 x) 0.41379310344827586))) (* y (* 3.0 x)) (* y (neg 0.41379310344827586)) (* y (* 3.0 x)) (* y (neg 0.41379310344827586)) (* (* 3.0 x) y) (* (neg 0.41379310344827586) y) (* (* 3.0 x) y) (* (neg 0.41379310344827586) y) (* y (* (cbrt (- (* 3.0 x) 0.41379310344827586)) (cbrt (- (* 3.0 x) 0.41379310344827586)))) (* y (sqrt (- (* 3.0 x) 0.41379310344827586))) y (* (cbrt y) (- (* 3.0 x) 0.41379310344827586)) (* (sqrt y) (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3))) (* (+ (* 3.0 x) 0.41379310344827586) (* (- (* 3.0 x) 0.41379310344827586) y)) (exp (- (* 3.0 x) 0.41379310344827586)) (log (- (* 3.0 x) 0.41379310344827586)) (exp (- (* 3.0 x) 0.41379310344827586)) (* (cbrt (- (* 3.0 x) 0.41379310344827586)) (cbrt (- (* 3.0 x) 0.41379310344827586))) (cbrt (- (* 3.0 x) 0.41379310344827586)) (pow (- (* 3.0 x) 0.41379310344827586) 3) (sqrt (- (* 3.0 x) 0.41379310344827586)) (sqrt (- (* 3.0 x) 0.41379310344827586)) (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3)) (+ (* (* 3.0 x) (+ 0.41379310344827586 (* 3.0 x))) (* 0.41379310344827586 0.41379310344827586)) (neg 0.41379310344827586) (* (+ (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586)) (+ (* 3.0 x) 0.41379310344827586) (neg 0.41379310344827586) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) (- (* 3.0 x) 0.41379310344827586) 80.816 * * * [progress]: adding candidates to table 80.866 * * [progress]: iteration 3 / 4 80.866 * * * [progress]: picking best candidate 80.883 * * * * [pick]: Picked # 80.883 * * * [progress]: localizing error 80.891 * * * [progress]: generating rewritten candidates 80.891 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 80.897 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 80.903 * * * [progress]: generating series expansions 80.903 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 80.903 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (y x) around 0 80.903 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 80.903 * [taylor]: Taking taylor expansion of 3.0 in x 80.903 * [taylor]: Taking taylor expansion of (* x y) in x 80.903 * [taylor]: Taking taylor expansion of x in x 80.903 * [taylor]: Taking taylor expansion of y in x 80.903 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 80.903 * [taylor]: Taking taylor expansion of 3.0 in y 80.903 * [taylor]: Taking taylor expansion of (* x y) in y 80.903 * [taylor]: Taking taylor expansion of x in y 80.903 * [taylor]: Taking taylor expansion of y in y 80.903 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 80.903 * [taylor]: Taking taylor expansion of 3.0 in y 80.903 * [taylor]: Taking taylor expansion of (* x y) in y 80.903 * [taylor]: Taking taylor expansion of x in y 80.903 * [taylor]: Taking taylor expansion of y in y 80.904 * [taylor]: Taking taylor expansion of 0 in x 80.904 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 80.904 * [taylor]: Taking taylor expansion of 3.0 in x 80.904 * [taylor]: Taking taylor expansion of x in x 80.904 * [taylor]: Taking taylor expansion of 0 in x 80.904 * [taylor]: Taking taylor expansion of 0 in x 80.904 * [taylor]: Taking taylor expansion of 0 in x 80.904 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (y x) around 0 80.904 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 80.904 * [taylor]: Taking taylor expansion of 3.0 in x 80.904 * [taylor]: Taking taylor expansion of (* x y) in x 80.904 * [taylor]: Taking taylor expansion of x in x 80.904 * [taylor]: Taking taylor expansion of y in x 80.905 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 80.905 * [taylor]: Taking taylor expansion of 3.0 in y 80.905 * [taylor]: Taking taylor expansion of (* x y) in y 80.905 * [taylor]: Taking taylor expansion of x in y 80.905 * [taylor]: Taking taylor expansion of y in y 80.905 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 80.905 * [taylor]: Taking taylor expansion of 3.0 in y 80.905 * [taylor]: Taking taylor expansion of (* x y) in y 80.905 * [taylor]: Taking taylor expansion of x in y 80.905 * [taylor]: Taking taylor expansion of y in y 80.905 * [taylor]: Taking taylor expansion of (/ 3.0 x) in x 80.905 * [taylor]: Taking taylor expansion of 3.0 in x 80.905 * [taylor]: Taking taylor expansion of x in x 80.905 * [taylor]: Taking taylor expansion of 0 in x 80.905 * [taylor]: Taking taylor expansion of 0 in x 80.906 * [taylor]: Taking taylor expansion of 0 in x 80.906 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (y x) around 0 80.906 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 80.906 * [taylor]: Taking taylor expansion of 3.0 in x 80.906 * [taylor]: Taking taylor expansion of (* x y) in x 80.906 * [taylor]: Taking taylor expansion of x in x 80.906 * [taylor]: Taking taylor expansion of y in x 80.906 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 80.906 * [taylor]: Taking taylor expansion of 3.0 in y 80.906 * [taylor]: Taking taylor expansion of (* x y) in y 80.906 * [taylor]: Taking taylor expansion of x in y 80.906 * [taylor]: Taking taylor expansion of y in y 80.906 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 80.906 * [taylor]: Taking taylor expansion of 3.0 in y 80.906 * [taylor]: Taking taylor expansion of (* x y) in y 80.906 * [taylor]: Taking taylor expansion of x in y 80.906 * [taylor]: Taking taylor expansion of y in y 80.906 * [taylor]: Taking taylor expansion of (/ 3.0 x) in x 80.906 * [taylor]: Taking taylor expansion of 3.0 in x 80.906 * [taylor]: Taking taylor expansion of x in x 80.907 * [taylor]: Taking taylor expansion of 0 in x 80.907 * [taylor]: Taking taylor expansion of 0 in x 80.907 * [taylor]: Taking taylor expansion of 0 in x 80.907 * * * * [progress]: [ 2 / 2 ] generating series at (2) 80.907 * [approximate]: Taking taylor expansion of (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) in (y x) around 0 80.907 * [taylor]: Taking taylor expansion of (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) in x 80.907 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 80.907 * [taylor]: Taking taylor expansion of 3.0 in x 80.907 * [taylor]: Taking taylor expansion of (* x y) in x 80.907 * [taylor]: Taking taylor expansion of x in x 80.907 * [taylor]: Taking taylor expansion of y in x 80.907 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 y) in x 80.908 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 80.908 * [taylor]: Taking taylor expansion of y in x 80.908 * [taylor]: Taking taylor expansion of (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) in y 80.908 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 80.908 * [taylor]: Taking taylor expansion of 3.0 in y 80.908 * [taylor]: Taking taylor expansion of (* x y) in y 80.908 * [taylor]: Taking taylor expansion of x in y 80.908 * [taylor]: Taking taylor expansion of y in y 80.908 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 y) in y 80.908 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 80.908 * [taylor]: Taking taylor expansion of y in y 80.908 * [taylor]: Taking taylor expansion of (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) in y 80.908 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 80.908 * [taylor]: Taking taylor expansion of 3.0 in y 80.908 * [taylor]: Taking taylor expansion of (* x y) in y 80.908 * [taylor]: Taking taylor expansion of x in y 80.908 * [taylor]: Taking taylor expansion of y in y 80.908 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 y) in y 80.908 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 80.908 * [taylor]: Taking taylor expansion of y in y 80.908 * [taylor]: Taking taylor expansion of 0 in x 80.908 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 0.41379310344827586) in x 80.908 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 80.908 * [taylor]: Taking taylor expansion of 3.0 in x 80.908 * [taylor]: Taking taylor expansion of x in x 80.908 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 80.908 * [taylor]: Taking taylor expansion of 0 in x 80.909 * [taylor]: Taking taylor expansion of 0 in x 80.909 * [taylor]: Taking taylor expansion of 0 in x 80.909 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (* 0.41379310344827586 (/ 1 y))) in (y x) around 0 80.909 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (* 0.41379310344827586 (/ 1 y))) in x 80.909 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in x 80.909 * [taylor]: Taking taylor expansion of 3.0 in x 80.909 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 80.909 * [taylor]: Taking taylor expansion of (* x y) in x 80.909 * [taylor]: Taking taylor expansion of x in x 80.909 * [taylor]: Taking taylor expansion of y in x 80.909 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in x 80.909 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 80.909 * [taylor]: Taking taylor expansion of (/ 1 y) in x 80.909 * [taylor]: Taking taylor expansion of y in x 80.909 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (* 0.41379310344827586 (/ 1 y))) in y 80.910 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in y 80.910 * [taylor]: Taking taylor expansion of 3.0 in y 80.910 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 80.910 * [taylor]: Taking taylor expansion of (* x y) in y 80.910 * [taylor]: Taking taylor expansion of x in y 80.910 * [taylor]: Taking taylor expansion of y in y 80.910 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y 80.910 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 80.910 * [taylor]: Taking taylor expansion of (/ 1 y) in y 80.910 * [taylor]: Taking taylor expansion of y in y 80.910 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (* 0.41379310344827586 (/ 1 y))) in y 80.910 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in y 80.910 * [taylor]: Taking taylor expansion of 3.0 in y 80.910 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 80.910 * [taylor]: Taking taylor expansion of (* x y) in y 80.910 * [taylor]: Taking taylor expansion of x in y 80.910 * [taylor]: Taking taylor expansion of y in y 80.910 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y 80.910 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 80.910 * [taylor]: Taking taylor expansion of (/ 1 y) in y 80.910 * [taylor]: Taking taylor expansion of y in y 80.910 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 0.41379310344827586) in x 80.910 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 80.910 * [taylor]: Taking taylor expansion of 3.0 in x 80.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x 80.910 * [taylor]: Taking taylor expansion of x in x 80.910 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 80.911 * [taylor]: Taking taylor expansion of 0 in x 80.911 * [taylor]: Taking taylor expansion of 0 in x 80.911 * [taylor]: Taking taylor expansion of 0 in x 80.912 * [taylor]: Taking taylor expansion of 0 in x 80.912 * [approximate]: Taking taylor expansion of (+ (* 0.41379310344827586 (/ 1 y)) (* 3.0 (/ 1 (* x y)))) in (y x) around 0 80.912 * [taylor]: Taking taylor expansion of (+ (* 0.41379310344827586 (/ 1 y)) (* 3.0 (/ 1 (* x y)))) in x 80.912 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in x 80.912 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 80.912 * [taylor]: Taking taylor expansion of (/ 1 y) in x 80.912 * [taylor]: Taking taylor expansion of y in x 80.912 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in x 80.912 * [taylor]: Taking taylor expansion of 3.0 in x 80.912 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 80.912 * [taylor]: Taking taylor expansion of (* x y) in x 80.912 * [taylor]: Taking taylor expansion of x in x 80.912 * [taylor]: Taking taylor expansion of y in x 80.912 * [taylor]: Taking taylor expansion of (+ (* 0.41379310344827586 (/ 1 y)) (* 3.0 (/ 1 (* x y)))) in y 80.912 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y 80.912 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 80.912 * [taylor]: Taking taylor expansion of (/ 1 y) in y 80.913 * [taylor]: Taking taylor expansion of y in y 80.913 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in y 80.913 * [taylor]: Taking taylor expansion of 3.0 in y 80.913 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 80.913 * [taylor]: Taking taylor expansion of (* x y) in y 80.913 * [taylor]: Taking taylor expansion of x in y 80.913 * [taylor]: Taking taylor expansion of y in y 80.913 * [taylor]: Taking taylor expansion of (+ (* 0.41379310344827586 (/ 1 y)) (* 3.0 (/ 1 (* x y)))) in y 80.913 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y 80.913 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 80.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y 80.913 * [taylor]: Taking taylor expansion of y in y 80.913 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in y 80.913 * [taylor]: Taking taylor expansion of 3.0 in y 80.913 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 80.913 * [taylor]: Taking taylor expansion of (* x y) in y 80.913 * [taylor]: Taking taylor expansion of x in y 80.913 * [taylor]: Taking taylor expansion of y in y 80.913 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 0.41379310344827586) in x 80.913 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 80.913 * [taylor]: Taking taylor expansion of 3.0 in x 80.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x 80.913 * [taylor]: Taking taylor expansion of x in x 80.913 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 80.913 * [taylor]: Taking taylor expansion of 0 in x 80.914 * [taylor]: Taking taylor expansion of 0 in x 80.914 * [taylor]: Taking taylor expansion of 0 in x 80.915 * [taylor]: Taking taylor expansion of 0 in x 80.915 * * * [progress]: simplifying candidates 80.916 * [simplify]: Simplifying using # : (* y (* 3.0 x)) (* y (* 3.0 x)) (+ (log y) (+ (log 3.0) (log x))) (+ (log y) (log (* 3.0 x))) (log (* y (* 3.0 x))) (exp (* y (* 3.0 x))) (* (* (* y y) y) (* (* (* 3.0 3.0) 3.0) (* (* x x) x))) (* (* (* y y) y) (* (* (* 3.0 x) (* 3.0 x)) (* 3.0 x))) (* (cbrt (* y (* 3.0 x))) (cbrt (* y (* 3.0 x)))) (cbrt (* y (* 3.0 x))) (* (* (* y (* 3.0 x)) (* y (* 3.0 x))) (* y (* 3.0 x))) (sqrt (* y (* 3.0 x))) (sqrt (* y (* 3.0 x))) (* y 3.0) (* (cbrt y) (* 3.0 x)) (* (sqrt y) (* 3.0 x)) (* y (* 3.0 x)) (* (exp (* y (* 3.0 x))) (exp (* y (neg 0.41379310344827586)))) (log (+ (* y (* 3.0 x)) (* y (neg 0.41379310344827586)))) (exp (+ (* y (* 3.0 x)) (* y (neg 0.41379310344827586)))) (* (cbrt (+ (* y (* 3.0 x)) (* y (neg 0.41379310344827586)))) (cbrt (+ (* y (* 3.0 x)) (* y (neg 0.41379310344827586))))) (cbrt (+ (* y (* 3.0 x)) (* y (neg 0.41379310344827586)))) (* (* (+ (* y (* 3.0 x)) (* y (neg 0.41379310344827586))) (+ (* y (* 3.0 x)) (* y (neg 0.41379310344827586)))) (+ (* y (* 3.0 x)) (* y (neg 0.41379310344827586)))) (sqrt (+ (* y (* 3.0 x)) (* y (neg 0.41379310344827586)))) (sqrt (+ (* y (* 3.0 x)) (* y (neg 0.41379310344827586)))) (+ (pow (* y (* 3.0 x)) 3) (pow (* y (neg 0.41379310344827586)) 3)) (+ (* (* y (* 3.0 x)) (* y (* 3.0 x))) (- (* (* y (neg 0.41379310344827586)) (* y (neg 0.41379310344827586))) (* (* y (* 3.0 x)) (* y (neg 0.41379310344827586))))) (- (* (* y (* 3.0 x)) (* y (* 3.0 x))) (* (* y (neg 0.41379310344827586)) (* y (neg 0.41379310344827586)))) (- (* y (* 3.0 x)) (* y (neg 0.41379310344827586))) (+ (* 3.0 x) (neg 0.41379310344827586)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) 80.916 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 80.917 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 80.918 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 80.920 * * [simplify]: iteration done : 15 enodes (cost 5 ) 80.920 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 80.921 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 80.922 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 80.924 * * [simplify]: iteration done : 15 enodes (cost 5 ) 80.925 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 80.926 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 80.927 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 80.929 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 80.931 * * [simplify]: iteration done : 20 enodes (cost 8 ) 80.932 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 80.933 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 80.934 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 80.937 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 80.939 * * [simplify]: iteration done : 21 enodes (cost 7 ) 80.939 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 80.940 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 80.942 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 80.946 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 80.950 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 80.957 * * [simplify]: iteration done : 40 enodes (cost 6 ) 80.958 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 80.959 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 80.960 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 80.964 * * [simplify]: iteration 3 : 51 enodes (cost 6 ) 80.971 * * [simplify]: iteration 4 : 108 enodes (cost 6 ) 80.990 * * [simplify]: iteration 5 : 245 enodes (cost 6 ) 81.106 * * [simplify]: iteration 6 : 602 enodes (cost 6 ) 81.757 * * [simplify]: iteration 7 : 1789 enodes (cost 6 ) 84.018 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 84.018 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 84.020 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 84.026 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 84.062 * * [simplify]: iteration 3 : 328 enodes (cost 11 ) 84.330 * * [simplify]: iteration 4 : 1011 enodes (cost 9 ) 86.293 * * [simplify]: iteration 5 : 3067 enodes (cost 9 ) 88.257 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 88.258 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 88.259 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 88.265 * * [simplify]: iteration 2 : 94 enodes (cost 9 ) 88.310 * * [simplify]: iteration 3 : 375 enodes (cost 9 ) 88.695 * * [simplify]: iteration 4 : 1093 enodes (cost 7 ) 90.458 * * [simplify]: iteration 5 : 2048 enodes (cost 7 ) 95.672 * * [simplify]: iteration 6 : 4895 enodes (cost 7 ) 96.995 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 96.996 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 96.997 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 96.998 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 97.000 * * [simplify]: iteration done : 17 enodes (cost 13 ) 97.001 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 97.002 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 97.003 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 97.005 * * [simplify]: iteration done : 16 enodes (cost 6 ) 97.005 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 97.012 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 97.016 * * [simplify]: iteration 2 : 92 enodes (cost 7 ) 97.066 * * [simplify]: iteration 3 : 407 enodes (cost 7 ) 97.605 * * [simplify]: iteration 4 : 1210 enodes (cost 7 ) 99.307 * * [simplify]: iteration 5 : 1693 enodes (cost 7 ) 102.140 * * [simplify]: iteration 6 : 3142 enodes (cost 7 ) 104.315 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 104.316 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 104.316 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 104.318 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 104.320 * * [simplify]: iteration done : 16 enodes (cost 6 ) 104.320 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 104.321 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 104.322 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 104.324 * * [simplify]: iteration done : 16 enodes (cost 6 ) 104.325 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 104.325 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 104.325 * * [simplify]: iteration done : 4 enodes (cost 3 ) 104.326 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 104.327 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 104.328 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 104.330 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 104.332 * * [simplify]: iteration done : 18 enodes (cost 6 ) 104.332 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 104.333 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 104.334 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 104.336 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 104.338 * * [simplify]: iteration done : 18 enodes (cost 6 ) 104.339 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 104.339 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 104.341 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 104.342 * * [simplify]: iteration done : 15 enodes (cost 5 ) 104.343 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 104.345 * * [simplify]: iteration 1 : 24 enodes (cost 11 ) 104.354 * * [simplify]: iteration 2 : 53 enodes (cost 9 ) 104.363 * * [simplify]: iteration 3 : 117 enodes (cost 8 ) 104.385 * * [simplify]: iteration 4 : 320 enodes (cost 8 ) 104.646 * * [simplify]: iteration 5 : 1457 enodes (cost 8 ) 105.860 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 105.860 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 105.862 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 105.864 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 105.869 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 105.874 * * [simplify]: iteration done : 38 enodes (cost 8 ) 105.875 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 105.876 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 105.879 * * [simplify]: iteration 2 : 50 enodes (cost 8 ) 105.887 * * [simplify]: iteration 3 : 96 enodes (cost 8 ) 105.904 * * [simplify]: iteration 4 : 229 enodes (cost 8 ) 106.043 * * [simplify]: iteration 5 : 1003 enodes (cost 8 ) 108.395 * * [simplify]: iteration 6 : 4922 enodes (cost 8 ) 109.438 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 109.439 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 109.440 * * [simplify]: iteration 1 : 21 enodes (cost 19 ) 109.443 * * [simplify]: iteration 2 : 34 enodes (cost 17 ) 109.448 * * [simplify]: iteration 3 : 35 enodes (cost 17 ) 109.453 * * [simplify]: iteration done : 35 enodes (cost 17 ) 109.454 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 109.455 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 109.458 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 109.463 * * [simplify]: iteration 3 : 34 enodes (cost 8 ) 109.467 * * [simplify]: iteration done : 34 enodes (cost 8 ) 109.468 * * [simplify]: iteration 0 : 11 enodes (cost 32 ) 109.470 * * [simplify]: iteration 1 : 34 enodes (cost 26 ) 109.484 * * [simplify]: iteration 2 : 140 enodes (cost 9 ) 109.554 * * [simplify]: iteration 3 : 763 enodes (cost 9 ) 110.607 * * [simplify]: iteration 4 : 3653 enodes (cost 9 ) 112.854 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 112.855 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 112.856 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 112.859 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 112.864 * * [simplify]: iteration 3 : 34 enodes (cost 8 ) 112.872 * * [simplify]: iteration done : 34 enodes (cost 8 ) 112.873 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 112.874 * * [simplify]: iteration 1 : 20 enodes (cost 9 ) 112.877 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 112.881 * * [simplify]: iteration 3 : 34 enodes (cost 8 ) 112.886 * * [simplify]: iteration done : 34 enodes (cost 8 ) 112.887 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 112.888 * * [simplify]: iteration 1 : 38 enodes (cost 14 ) 112.896 * * [simplify]: iteration 2 : 143 enodes (cost 14 ) 112.952 * * [simplify]: iteration 3 : 605 enodes (cost 13 ) 113.650 * * [simplify]: iteration 4 : 2104 enodes (cost 13 ) 117.085 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 117.086 * * [simplify]: iteration 0 : 13 enodes (cost 32 ) 117.088 * * [simplify]: iteration 1 : 44 enodes (cost 27 ) 117.098 * * [simplify]: iteration 2 : 184 enodes (cost 25 ) 117.193 * * [simplify]: iteration 3 : 673 enodes (cost 21 ) 117.889 * * [simplify]: iteration 4 : 1694 enodes (cost 19 ) 120.989 * * [simplify]: iteration 5 : 3768 enodes (cost 17 ) 125.470 * * [simplify]: iteration 6 : 4971 enodes (cost 17 ) 126.538 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 126.538 * * [simplify]: iteration 0 : 11 enodes (cost 21 ) 126.540 * * [simplify]: iteration 1 : 36 enodes (cost 21 ) 126.548 * * [simplify]: iteration 2 : 140 enodes (cost 15 ) 126.607 * * [simplify]: iteration 3 : 408 enodes (cost 15 ) 126.796 * * [simplify]: iteration 4 : 667 enodes (cost 15 ) 127.067 * * [simplify]: iteration 5 : 1203 enodes (cost 15 ) 127.887 * * [simplify]: iteration 6 : 2325 enodes (cost 15 ) 130.840 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 130.841 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 130.842 * * [simplify]: iteration 1 : 20 enodes (cost 8 ) 130.845 * * [simplify]: iteration 2 : 37 enodes (cost 8 ) 130.851 * * [simplify]: iteration 3 : 52 enodes (cost 7 ) 130.859 * * [simplify]: iteration 4 : 57 enodes (cost 7 ) 130.865 * * [simplify]: iteration done : 57 enodes (cost 7 ) 130.865 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 130.866 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 130.867 * * [simplify]: iteration done : 9 enodes (cost 5 ) 130.867 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 130.868 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 130.869 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 130.875 * * [simplify]: iteration done : 15 enodes (cost 5 ) 130.876 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 130.876 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 130.878 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 130.880 * * [simplify]: iteration done : 15 enodes (cost 5 ) 130.880 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 130.881 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 130.883 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 130.885 * * [simplify]: iteration done : 15 enodes (cost 5 ) 130.886 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 130.887 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 130.889 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 130.893 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 130.899 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 130.903 * * [simplify]: iteration done : 35 enodes (cost 7 ) 130.904 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 130.905 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 130.907 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 130.911 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 130.916 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 130.921 * * [simplify]: iteration done : 35 enodes (cost 7 ) 130.922 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 130.923 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 130.925 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 130.930 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 130.937 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 130.942 * * [simplify]: iteration done : 35 enodes (cost 7 ) 130.942 * [simplify]: Simplified to: (* y (* 3.0 x)) (* y (* 3.0 x)) (+ (log y) (+ (log 3.0) (log x))) (+ (log y) (log (* 3.0 x))) (log (* y (* 3.0 x))) (exp (* y (* 3.0 x))) (* (pow y 3) (pow (* 3.0 x) 3)) (pow (* y (* 3.0 x)) 3) (* (cbrt (* y (* 3.0 x))) (cbrt (* y (* 3.0 x)))) (cbrt (* y (* 3.0 x))) (pow (* y (* 3.0 x)) 3) (sqrt (* y (* 3.0 x))) (sqrt (* y (* 3.0 x))) (* y 3.0) (* (cbrt y) (* 3.0 x)) (* (sqrt y) (* 3.0 x)) (* y (* 3.0 x)) (pow (exp y) (- (* 3.0 x) 0.41379310344827586)) (log (* y (- (* 3.0 x) 0.41379310344827586))) (exp (* y (- (* 3.0 x) 0.41379310344827586))) (* (cbrt (* y (- (* 3.0 x) 0.41379310344827586))) (cbrt (* y (- (* 3.0 x) 0.41379310344827586)))) (cbrt (* y (- (* 3.0 x) 0.41379310344827586))) (pow (* (- (* 3.0 x) 0.41379310344827586) y) 3) (sqrt (* y (- (* 3.0 x) 0.41379310344827586))) (sqrt (* y (- (* 3.0 x) 0.41379310344827586))) (* (- (pow (* 3.0 x) 3) (pow 0.41379310344827586 3)) (pow y 3)) (* (+ (* 0.41379310344827586 0.41379310344827586) (* (* 3.0 x) (+ 0.41379310344827586 (* 3.0 x)))) (* y y)) (* (* y y) (- (* (* 3.0 x) (* 3.0 x)) (* 0.41379310344827586 0.41379310344827586))) (* y (+ (* 3.0 x) 0.41379310344827586)) (- (* 3.0 x) 0.41379310344827586) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) 130.943 * * * [progress]: adding candidates to table 130.987 * * [progress]: iteration 4 / 4 130.987 * * * [progress]: picking best candidate 130.995 * * * * [pick]: Picked # 130.995 * * * [progress]: localizing error 131.003 * * * [progress]: generating rewritten candidates 131.003 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 131.012 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 131.019 * * * [progress]: generating series expansions 131.019 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 131.019 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0 131.019 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 131.019 * [taylor]: Taking taylor expansion of 3.0 in y 131.019 * [taylor]: Taking taylor expansion of (* x y) in y 131.019 * [taylor]: Taking taylor expansion of x in y 131.019 * [taylor]: Taking taylor expansion of y in y 131.019 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 131.019 * [taylor]: Taking taylor expansion of 3.0 in x 131.019 * [taylor]: Taking taylor expansion of (* x y) in x 131.019 * [taylor]: Taking taylor expansion of x in x 131.019 * [taylor]: Taking taylor expansion of y in x 131.019 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 131.019 * [taylor]: Taking taylor expansion of 3.0 in x 131.019 * [taylor]: Taking taylor expansion of (* x y) in x 131.019 * [taylor]: Taking taylor expansion of x in x 131.019 * [taylor]: Taking taylor expansion of y in x 131.019 * [taylor]: Taking taylor expansion of 0 in y 131.020 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 131.020 * [taylor]: Taking taylor expansion of 3.0 in y 131.020 * [taylor]: Taking taylor expansion of y in y 131.020 * [taylor]: Taking taylor expansion of 0 in y 131.020 * [taylor]: Taking taylor expansion of 0 in y 131.020 * [taylor]: Taking taylor expansion of 0 in y 131.020 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 131.020 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 131.020 * [taylor]: Taking taylor expansion of 3.0 in y 131.020 * [taylor]: Taking taylor expansion of (* x y) in y 131.020 * [taylor]: Taking taylor expansion of x in y 131.020 * [taylor]: Taking taylor expansion of y in y 131.020 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 131.020 * [taylor]: Taking taylor expansion of 3.0 in x 131.020 * [taylor]: Taking taylor expansion of (* x y) in x 131.020 * [taylor]: Taking taylor expansion of x in x 131.020 * [taylor]: Taking taylor expansion of y in x 131.021 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 131.021 * [taylor]: Taking taylor expansion of 3.0 in x 131.021 * [taylor]: Taking taylor expansion of (* x y) in x 131.021 * [taylor]: Taking taylor expansion of x in x 131.021 * [taylor]: Taking taylor expansion of y in x 131.021 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 131.021 * [taylor]: Taking taylor expansion of 3.0 in y 131.021 * [taylor]: Taking taylor expansion of y in y 131.021 * [taylor]: Taking taylor expansion of 0 in y 131.021 * [taylor]: Taking taylor expansion of 0 in y 131.022 * [taylor]: Taking taylor expansion of 0 in y 131.022 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0 131.022 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y 131.022 * [taylor]: Taking taylor expansion of 3.0 in y 131.022 * [taylor]: Taking taylor expansion of (* x y) in y 131.022 * [taylor]: Taking taylor expansion of x in y 131.022 * [taylor]: Taking taylor expansion of y in y 131.022 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 131.022 * [taylor]: Taking taylor expansion of 3.0 in x 131.022 * [taylor]: Taking taylor expansion of (* x y) in x 131.022 * [taylor]: Taking taylor expansion of x in x 131.022 * [taylor]: Taking taylor expansion of y in x 131.022 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x 131.022 * [taylor]: Taking taylor expansion of 3.0 in x 131.022 * [taylor]: Taking taylor expansion of (* x y) in x 131.022 * [taylor]: Taking taylor expansion of x in x 131.022 * [taylor]: Taking taylor expansion of y in x 131.023 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y 131.023 * [taylor]: Taking taylor expansion of 3.0 in y 131.023 * [taylor]: Taking taylor expansion of y in y 131.023 * [taylor]: Taking taylor expansion of 0 in y 131.023 * [taylor]: Taking taylor expansion of 0 in y 131.023 * [taylor]: Taking taylor expansion of 0 in y 131.023 * * * * [progress]: [ 2 / 2 ] generating series at (2) 131.023 * [approximate]: Taking taylor expansion of (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) in (x y) around 0 131.023 * [taylor]: Taking taylor expansion of (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) in y 131.024 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y 131.024 * [taylor]: Taking taylor expansion of 3.0 in y 131.024 * [taylor]: Taking taylor expansion of (* x y) in y 131.024 * [taylor]: Taking taylor expansion of x in y 131.024 * [taylor]: Taking taylor expansion of y in y 131.024 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 y) in y 131.024 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 131.024 * [taylor]: Taking taylor expansion of y in y 131.024 * [taylor]: Taking taylor expansion of (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) in x 131.024 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 131.024 * [taylor]: Taking taylor expansion of 3.0 in x 131.024 * [taylor]: Taking taylor expansion of (* x y) in x 131.024 * [taylor]: Taking taylor expansion of x in x 131.024 * [taylor]: Taking taylor expansion of y in x 131.024 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 y) in x 131.024 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 131.024 * [taylor]: Taking taylor expansion of y in x 131.024 * [taylor]: Taking taylor expansion of (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) in x 131.024 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x 131.024 * [taylor]: Taking taylor expansion of 3.0 in x 131.024 * [taylor]: Taking taylor expansion of (* x y) in x 131.024 * [taylor]: Taking taylor expansion of x in x 131.024 * [taylor]: Taking taylor expansion of y in x 131.024 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 y) in x 131.024 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 131.024 * [taylor]: Taking taylor expansion of y in x 131.024 * [taylor]: Taking taylor expansion of (neg (* 0.41379310344827586 y)) in y 131.024 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 y) in y 131.024 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 131.024 * [taylor]: Taking taylor expansion of y in y 131.024 * [taylor]: Taking taylor expansion of (* 3.0 y) in y 131.024 * [taylor]: Taking taylor expansion of 3.0 in y 131.024 * [taylor]: Taking taylor expansion of y in y 131.025 * [taylor]: Taking taylor expansion of 0 in y 131.025 * [taylor]: Taking taylor expansion of 0 in y 131.025 * [taylor]: Taking taylor expansion of 0 in y 131.025 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (* 0.41379310344827586 (/ 1 y))) in (x y) around 0 131.025 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (* 0.41379310344827586 (/ 1 y))) in y 131.025 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in y 131.025 * [taylor]: Taking taylor expansion of 3.0 in y 131.025 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 131.026 * [taylor]: Taking taylor expansion of (* x y) in y 131.026 * [taylor]: Taking taylor expansion of x in y 131.026 * [taylor]: Taking taylor expansion of y in y 131.026 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y 131.026 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 131.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.026 * [taylor]: Taking taylor expansion of y in y 131.026 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (* 0.41379310344827586 (/ 1 y))) in x 131.026 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in x 131.026 * [taylor]: Taking taylor expansion of 3.0 in x 131.026 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 131.026 * [taylor]: Taking taylor expansion of (* x y) in x 131.026 * [taylor]: Taking taylor expansion of x in x 131.026 * [taylor]: Taking taylor expansion of y in x 131.026 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in x 131.026 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 131.026 * [taylor]: Taking taylor expansion of (/ 1 y) in x 131.026 * [taylor]: Taking taylor expansion of y in x 131.026 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* x y))) (* 0.41379310344827586 (/ 1 y))) in x 131.026 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in x 131.026 * [taylor]: Taking taylor expansion of 3.0 in x 131.026 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 131.026 * [taylor]: Taking taylor expansion of (* x y) in x 131.026 * [taylor]: Taking taylor expansion of x in x 131.026 * [taylor]: Taking taylor expansion of y in x 131.026 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in x 131.026 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 131.026 * [taylor]: Taking taylor expansion of (/ 1 y) in x 131.026 * [taylor]: Taking taylor expansion of y in x 131.026 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 y)) in y 131.026 * [taylor]: Taking taylor expansion of 3.0 in y 131.026 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.026 * [taylor]: Taking taylor expansion of y in y 131.027 * [taylor]: Taking taylor expansion of (neg (* 0.41379310344827586 (/ 1 y))) in y 131.027 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y 131.027 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 131.027 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.027 * [taylor]: Taking taylor expansion of y in y 131.027 * [taylor]: Taking taylor expansion of 0 in y 131.028 * [taylor]: Taking taylor expansion of 0 in y 131.028 * [approximate]: Taking taylor expansion of (+ (* 0.41379310344827586 (/ 1 y)) (* 3.0 (/ 1 (* x y)))) in (x y) around 0 131.028 * [taylor]: Taking taylor expansion of (+ (* 0.41379310344827586 (/ 1 y)) (* 3.0 (/ 1 (* x y)))) in y 131.028 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y 131.028 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 131.028 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.028 * [taylor]: Taking taylor expansion of y in y 131.028 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in y 131.028 * [taylor]: Taking taylor expansion of 3.0 in y 131.028 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 131.028 * [taylor]: Taking taylor expansion of (* x y) in y 131.028 * [taylor]: Taking taylor expansion of x in y 131.028 * [taylor]: Taking taylor expansion of y in y 131.028 * [taylor]: Taking taylor expansion of (+ (* 0.41379310344827586 (/ 1 y)) (* 3.0 (/ 1 (* x y)))) in x 131.028 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in x 131.028 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 131.029 * [taylor]: Taking taylor expansion of (/ 1 y) in x 131.029 * [taylor]: Taking taylor expansion of y in x 131.029 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in x 131.029 * [taylor]: Taking taylor expansion of 3.0 in x 131.029 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 131.029 * [taylor]: Taking taylor expansion of (* x y) in x 131.029 * [taylor]: Taking taylor expansion of x in x 131.029 * [taylor]: Taking taylor expansion of y in x 131.029 * [taylor]: Taking taylor expansion of (+ (* 0.41379310344827586 (/ 1 y)) (* 3.0 (/ 1 (* x y)))) in x 131.029 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in x 131.029 * [taylor]: Taking taylor expansion of 0.41379310344827586 in x 131.029 * [taylor]: Taking taylor expansion of (/ 1 y) in x 131.029 * [taylor]: Taking taylor expansion of y in x 131.029 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* x y))) in x 131.029 * [taylor]: Taking taylor expansion of 3.0 in x 131.029 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 131.029 * [taylor]: Taking taylor expansion of (* x y) in x 131.029 * [taylor]: Taking taylor expansion of x in x 131.029 * [taylor]: Taking taylor expansion of y in x 131.029 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 y)) in y 131.029 * [taylor]: Taking taylor expansion of 3.0 in y 131.029 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.029 * [taylor]: Taking taylor expansion of y in y 131.029 * [taylor]: Taking taylor expansion of (* 0.41379310344827586 (/ 1 y)) in y 131.029 * [taylor]: Taking taylor expansion of 0.41379310344827586 in y 131.029 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.029 * [taylor]: Taking taylor expansion of y in y 131.030 * [taylor]: Taking taylor expansion of 0 in y 131.030 * [taylor]: Taking taylor expansion of 0 in y 131.031 * * * [progress]: simplifying candidates 131.031 * [simplify]: Simplifying using # : (* 3.0 (* x y)) (* 3.0 (* x y)) (+ (log 3.0) (+ (log x) (log y))) (+ (log 3.0) (log (* x y))) (log (* 3.0 (* x y))) (exp (* 3.0 (* x y))) (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* y y) y))) (* (* (* 3.0 3.0) 3.0) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* 3.0 (* x y))) (cbrt (* 3.0 (* x y)))) (cbrt (* 3.0 (* x y))) (* (* (* 3.0 (* x y)) (* 3.0 (* x y))) (* 3.0 (* x y))) (sqrt (* 3.0 (* x y))) (sqrt (* 3.0 (* x y))) (* 3.0 x) (* (cbrt 3.0) (* x y)) (* (sqrt 3.0) (* x y)) (* 3.0 (* x y)) (* (exp (* 3.0 (* x y))) (exp (* y (neg 0.41379310344827586)))) (log (+ (* 3.0 (* x y)) (* y (neg 0.41379310344827586)))) (exp (+ (* 3.0 (* x y)) (* y (neg 0.41379310344827586)))) (* (cbrt (+ (* 3.0 (* x y)) (* y (neg 0.41379310344827586)))) (cbrt (+ (* 3.0 (* x y)) (* y (neg 0.41379310344827586))))) (cbrt (+ (* 3.0 (* x y)) (* y (neg 0.41379310344827586)))) (* (* (+ (* 3.0 (* x y)) (* y (neg 0.41379310344827586))) (+ (* 3.0 (* x y)) (* y (neg 0.41379310344827586)))) (+ (* 3.0 (* x y)) (* y (neg 0.41379310344827586)))) (sqrt (+ (* 3.0 (* x y)) (* y (neg 0.41379310344827586)))) (sqrt (+ (* 3.0 (* x y)) (* y (neg 0.41379310344827586)))) (+ (pow (* 3.0 (* x y)) 3) (pow (* y (neg 0.41379310344827586)) 3)) (+ (* (* 3.0 (* x y)) (* 3.0 (* x y))) (- (* (* y (neg 0.41379310344827586)) (* y (neg 0.41379310344827586))) (* (* 3.0 (* x y)) (* y (neg 0.41379310344827586))))) (- (* (* 3.0 (* x y)) (* 3.0 (* x y))) (* (* y (neg 0.41379310344827586)) (* y (neg 0.41379310344827586)))) (- (* 3.0 (* x y)) (* y (neg 0.41379310344827586))) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) (- (* 3.0 (* x y)) (* 0.41379310344827586 y)) 131.032 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 131.033 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 131.034 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 131.036 * * [simplify]: iteration done : 15 enodes (cost 5 ) 131.037 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 131.037 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 131.038 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 131.041 * * [simplify]: iteration done : 15 enodes (cost 5 ) 131.041 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 131.042 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 131.043 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 131.045 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 131.047 * * [simplify]: iteration done : 20 enodes (cost 8 ) 131.048 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 131.048 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 131.050 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 131.051 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 131.054 * * [simplify]: iteration done : 21 enodes (cost 7 ) 131.054 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 131.055 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 131.056 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 131.060 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 131.064 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 131.068 * * [simplify]: iteration done : 40 enodes (cost 6 ) 131.069 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 131.069 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 131.071 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 131.075 * * [simplify]: iteration 3 : 51 enodes (cost 6 ) 131.087 * * [simplify]: iteration 4 : 108 enodes (cost 6 ) 131.105 * * [simplify]: iteration 5 : 245 enodes (cost 6 ) 131.221 * * [simplify]: iteration 6 : 602 enodes (cost 6 ) 131.858 * * [simplify]: iteration 7 : 1789 enodes (cost 6 ) 134.134 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 134.134 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 134.136 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 134.141 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 134.178 * * [simplify]: iteration 3 : 328 enodes (cost 11 ) 134.443 * * [simplify]: iteration 4 : 1011 enodes (cost 9 ) 136.427 * * [simplify]: iteration 5 : 3067 enodes (cost 9 ) 138.398 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 138.398 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 138.400 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 138.406 * * [simplify]: iteration 2 : 94 enodes (cost 9 ) 138.448 * * [simplify]: iteration 3 : 375 enodes (cost 9 ) 138.835 * * [simplify]: iteration 4 : 1093 enodes (cost 7 ) 140.627 * * [simplify]: iteration 5 : 2048 enodes (cost 7 ) 145.902 * * [simplify]: iteration 6 : 4895 enodes (cost 7 ) 147.227 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 147.228 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 147.229 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 147.231 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 147.233 * * [simplify]: iteration done : 17 enodes (cost 13 ) 147.233 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 147.234 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 147.235 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 147.238 * * [simplify]: iteration done : 16 enodes (cost 6 ) 147.239 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 147.240 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 147.244 * * [simplify]: iteration 2 : 92 enodes (cost 7 ) 147.296 * * [simplify]: iteration 3 : 407 enodes (cost 7 ) 147.846 * * [simplify]: iteration 4 : 1210 enodes (cost 7 ) 149.574 * * [simplify]: iteration 5 : 1693 enodes (cost 7 ) 152.445 * * [simplify]: iteration 6 : 3142 enodes (cost 7 ) 154.633 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 154.634 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 154.635 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 154.636 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 154.638 * * [simplify]: iteration done : 16 enodes (cost 6 ) 154.639 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 154.640 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 154.641 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 154.643 * * [simplify]: iteration done : 16 enodes (cost 6 ) 154.643 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 154.644 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 154.644 * * [simplify]: iteration done : 4 enodes (cost 3 ) 154.645 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 154.645 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 154.647 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 154.649 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 154.651 * * [simplify]: iteration done : 18 enodes (cost 6 ) 154.651 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 154.652 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 154.653 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 154.655 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 154.657 * * [simplify]: iteration done : 18 enodes (cost 6 ) 154.658 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 154.658 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 154.659 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 154.661 * * [simplify]: iteration done : 15 enodes (cost 5 ) 154.662 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 154.663 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 154.667 * * [simplify]: iteration 2 : 54 enodes (cost 9 ) 154.675 * * [simplify]: iteration 3 : 117 enodes (cost 8 ) 154.703 * * [simplify]: iteration 4 : 321 enodes (cost 8 ) 154.970 * * [simplify]: iteration 5 : 1448 enodes (cost 8 ) 155.888 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 155.889 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 155.890 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 155.892 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 155.897 * * [simplify]: iteration 3 : 39 enodes (cost 8 ) 155.902 * * [simplify]: iteration 4 : 40 enodes (cost 8 ) 155.907 * * [simplify]: iteration done : 40 enodes (cost 8 ) 155.908 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 155.909 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 155.912 * * [simplify]: iteration 2 : 49 enodes (cost 9 ) 155.919 * * [simplify]: iteration 3 : 91 enodes (cost 8 ) 155.934 * * [simplify]: iteration 4 : 218 enodes (cost 8 ) 156.066 * * [simplify]: iteration 5 : 971 enodes (cost 8 ) 158.275 * * [simplify]: iteration 6 : 4763 enodes (cost 8 ) 159.472 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 159.473 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 159.474 * * [simplify]: iteration 1 : 19 enodes (cost 23 ) 159.476 * * [simplify]: iteration 2 : 33 enodes (cost 19 ) 159.481 * * [simplify]: iteration 3 : 37 enodes (cost 17 ) 159.486 * * [simplify]: iteration done : 37 enodes (cost 17 ) 159.487 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 159.488 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 159.496 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 159.501 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 159.506 * * [simplify]: iteration done : 36 enodes (cost 8 ) 159.507 * * [simplify]: iteration 0 : 11 enodes (cost 32 ) 159.509 * * [simplify]: iteration 1 : 32 enodes (cost 32 ) 159.516 * * [simplify]: iteration 2 : 124 enodes (cost 10 ) 159.568 * * [simplify]: iteration 3 : 633 enodes (cost 9 ) 160.301 * * [simplify]: iteration 4 : 3241 enodes (cost 9 ) 162.285 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 162.286 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 162.287 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 162.290 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 162.294 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 162.299 * * [simplify]: iteration done : 36 enodes (cost 8 ) 162.300 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 162.301 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 162.303 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 162.311 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 162.316 * * [simplify]: iteration done : 36 enodes (cost 8 ) 162.317 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 162.319 * * [simplify]: iteration 1 : 39 enodes (cost 14 ) 162.327 * * [simplify]: iteration 2 : 143 enodes (cost 14 ) 162.384 * * [simplify]: iteration 3 : 616 enodes (cost 13 ) 163.115 * * [simplify]: iteration 4 : 2222 enodes (cost 13 ) 165.769 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 165.770 * * [simplify]: iteration 0 : 13 enodes (cost 32 ) 165.772 * * [simplify]: iteration 1 : 46 enodes (cost 27 ) 165.782 * * [simplify]: iteration 2 : 186 enodes (cost 25 ) 165.876 * * [simplify]: iteration 3 : 671 enodes (cost 22 ) 166.630 * * [simplify]: iteration 4 : 1733 enodes (cost 20 ) 170.137 * * [simplify]: iteration 5 : 3968 enodes (cost 19 ) 173.510 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 173.511 * * [simplify]: iteration 0 : 11 enodes (cost 21 ) 173.513 * * [simplify]: iteration 1 : 37 enodes (cost 21 ) 173.521 * * [simplify]: iteration 2 : 136 enodes (cost 17 ) 173.579 * * [simplify]: iteration 3 : 390 enodes (cost 15 ) 173.761 * * [simplify]: iteration 4 : 634 enodes (cost 15 ) 174.032 * * [simplify]: iteration 5 : 1179 enodes (cost 15 ) 174.849 * * [simplify]: iteration 6 : 2326 enodes (cost 15 ) 178.100 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 178.100 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 178.101 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 178.104 * * [simplify]: iteration 2 : 35 enodes (cost 8 ) 178.110 * * [simplify]: iteration 3 : 53 enodes (cost 7 ) 178.118 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 178.124 * * [simplify]: iteration done : 59 enodes (cost 7 ) 178.125 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 178.126 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 178.127 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 178.129 * * [simplify]: iteration done : 15 enodes (cost 5 ) 178.129 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 178.130 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 178.131 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 178.133 * * [simplify]: iteration done : 15 enodes (cost 5 ) 178.133 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 178.134 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 178.135 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 178.137 * * [simplify]: iteration done : 15 enodes (cost 5 ) 178.138 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 178.139 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 178.141 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 178.149 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 178.154 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 178.159 * * [simplify]: iteration done : 35 enodes (cost 7 ) 178.159 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 178.160 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 178.162 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 178.167 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 178.172 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 178.177 * * [simplify]: iteration done : 35 enodes (cost 7 ) 178.178 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 178.179 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 178.181 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 178.185 * * [simplify]: iteration 3 : 34 enodes (cost 7 ) 178.190 * * [simplify]: iteration 4 : 35 enodes (cost 7 ) 178.195 * * [simplify]: iteration done : 35 enodes (cost 7 ) 178.196 * [simplify]: Simplified to: (* 3.0 (* x y)) (* 3.0 (* x y)) (+ (log 3.0) (+ (log x) (log y))) (+ (log 3.0) (log (* x y))) (log (* 3.0 (* x y))) (exp (* 3.0 (* x y))) (* (pow 3.0 3) (pow (* x y) 3)) (pow (* 3.0 (* x y)) 3) (* (cbrt (* 3.0 (* x y))) (cbrt (* 3.0 (* x y)))) (cbrt (* 3.0 (* x y))) (pow (* 3.0 (* x y)) 3) (sqrt (* 3.0 (* x y))) (sqrt (* 3.0 (* x y))) (* 3.0 x) (* (cbrt 3.0) (* x y)) (* (sqrt 3.0) (* x y)) (* 3.0 (* x y)) (pow (exp y) (- (* 3.0 x) 0.41379310344827586)) (log (* (- (* 3.0 x) 0.41379310344827586) y)) (exp (* y (- (* 3.0 x) 0.41379310344827586))) (* (cbrt (* (- (* 3.0 x) 0.41379310344827586) y)) (cbrt (* (- (* 3.0 x) 0.41379310344827586) y))) (cbrt (* (- (* 3.0 x) 0.41379310344827586) y)) (pow (* y (- (* 3.0 x) 0.41379310344827586)) 3) (sqrt (* (- (* 3.0 x) 0.41379310344827586) y)) (sqrt (* (- (* 3.0 x) 0.41379310344827586) y)) (- (pow (* 3.0 (* x y)) 3) (pow (* y 0.41379310344827586) 3)) (* y (* y (+ (* (* 3.0 x) (+ 0.41379310344827586 (* 3.0 x))) (* 0.41379310344827586 0.41379310344827586)))) (* (* (* y (+ (* 3.0 x) 0.41379310344827586)) y) (- (* 3.0 x) 0.41379310344827586)) (* y (+ (* 3.0 x) 0.41379310344827586)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* 3.0 (* x y)) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) (* y (- (* 3.0 x) 0.41379310344827586)) 178.196 * * * [progress]: adding candidates to table 178.243 * [progress]: [Phase 3 of 3] Extracting. 178.243 * * [regime]: Finding splitpoints for: (# # # #) 178.243 * * * [regime-changes]: Trying 3 branch expressions: ((- x (/ 16.0 116.0)) y x) 178.243 * * * * [regimes]: Trying to branch on (- x (/ 16.0 116.0)) from (# # # #) 178.284 * * * * [regimes]: Trying to branch on y from (# # # #) 178.323 * * * * [regimes]: Trying to branch on x from (# # # #) 178.364 * * * [regime]: Found split indices: #