4.115 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.028 * [simplify]: Simplifying using # : (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) 0.029 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.030 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 0.032 * * [simplify]: iteration 2 : 42 enodes (cost 11 ) 0.038 * * [simplify]: iteration 3 : 71 enodes (cost 11 ) 0.049 * * [simplify]: iteration 4 : 134 enodes (cost 11 ) 0.069 * * [simplify]: iteration 5 : 212 enodes (cost 11 ) 0.099 * * [simplify]: iteration 6 : 309 enodes (cost 11 ) 0.145 * * [simplify]: iteration 7 : 514 enodes (cost 11 ) 0.243 * * [simplify]: iteration 8 : 840 enodes (cost 11 ) 0.361 * * [simplify]: iteration 9 : 1005 enodes (cost 11 ) 0.470 * * [simplify]: iteration 10 : 1093 enodes (cost 11 ) 0.570 * * [simplify]: iteration 11 : 1157 enodes (cost 11 ) 0.679 * * [simplify]: iteration 12 : 1220 enodes (cost 11 ) 0.792 * * [simplify]: iteration 13 : 1279 enodes (cost 11 ) 0.910 * * [simplify]: iteration 14 : 1340 enodes (cost 11 ) 1.038 * * [simplify]: iteration 15 : 1398 enodes (cost 11 ) 1.168 * * [simplify]: iteration 16 : 1455 enodes (cost 11 ) 1.306 * * [simplify]: iteration 17 : 1503 enodes (cost 11 ) 1.456 * * [simplify]: iteration 18 : 1551 enodes (cost 11 ) 1.608 * * [simplify]: iteration 19 : 1597 enodes (cost 11 ) 1.766 * * [simplify]: iteration 20 : 1645 enodes (cost 11 ) 1.932 * * [simplify]: iteration 21 : 1691 enodes (cost 11 ) 2.109 * * [simplify]: iteration 22 : 1739 enodes (cost 11 ) 2.293 * * [simplify]: iteration 23 : 1785 enodes (cost 11 ) 2.482 * * [simplify]: iteration 24 : 1833 enodes (cost 11 ) 2.677 * * [simplify]: iteration 25 : 1879 enodes (cost 11 ) 2.890 * * [simplify]: iteration 26 : 1927 enodes (cost 11 ) 3.102 * * [simplify]: iteration 27 : 1973 enodes (cost 11 ) 3.330 * * [simplify]: iteration 28 : 2021 enodes (cost 11 ) 3.557 * * [simplify]: iteration 29 : 2067 enodes (cost 11 ) 3.800 * * [simplify]: iteration 30 : 2115 enodes (cost 11 ) 4.047 * * [simplify]: iteration 31 : 2161 enodes (cost 11 ) 4.313 * * [simplify]: iteration 32 : 2209 enodes (cost 11 ) 4.580 * * [simplify]: iteration 33 : 2255 enodes (cost 11 ) 4.863 * * [simplify]: iteration 34 : 2303 enodes (cost 11 ) 5.150 * * [simplify]: iteration 35 : 2349 enodes (cost 11 ) 5.445 * * [simplify]: iteration 36 : 2397 enodes (cost 11 ) 5.755 * * [simplify]: iteration 37 : 2443 enodes (cost 11 ) 6.071 * * [simplify]: iteration 38 : 2491 enodes (cost 11 ) 6.399 * * [simplify]: iteration 39 : 2537 enodes (cost 11 ) 6.739 * * [simplify]: iteration 40 : 2585 enodes (cost 11 ) 7.084 * * [simplify]: iteration 41 : 2631 enodes (cost 11 ) 7.442 * * [simplify]: iteration 42 : 2679 enodes (cost 11 ) 7.801 * * [simplify]: iteration 43 : 2725 enodes (cost 11 ) 8.179 * * [simplify]: iteration 44 : 2773 enodes (cost 11 ) 8.568 * * [simplify]: iteration 45 : 2819 enodes (cost 11 ) 8.967 * * [simplify]: iteration 46 : 2867 enodes (cost 11 ) 9.373 * * [simplify]: iteration 47 : 2913 enodes (cost 11 ) 9.790 * * [simplify]: iteration 48 : 2961 enodes (cost 11 ) 10.219 * * [simplify]: iteration 49 : 3007 enodes (cost 11 ) 10.663 * * [simplify]: iteration 50 : 3055 enodes (cost 11 ) 11.116 * * [simplify]: iteration 51 : 3101 enodes (cost 11 ) 11.571 * * [simplify]: iteration 52 : 3149 enodes (cost 11 ) 12.045 * * [simplify]: iteration 53 : 3195 enodes (cost 11 ) 12.544 * * [simplify]: iteration 54 : 3243 enodes (cost 11 ) 13.035 * * [simplify]: iteration 55 : 3289 enodes (cost 11 ) 13.534 * * [simplify]: iteration 56 : 3337 enodes (cost 11 ) 14.040 * * [simplify]: iteration 57 : 3383 enodes (cost 11 ) 14.579 * * [simplify]: iteration 58 : 3431 enodes (cost 11 ) 15.368 * * [simplify]: iteration 59 : 3477 enodes (cost 11 ) 15.924 * * [simplify]: iteration 60 : 3525 enodes (cost 11 ) 16.487 * * [simplify]: iteration 61 : 3571 enodes (cost 11 ) 17.078 * * [simplify]: iteration 62 : 3619 enodes (cost 11 ) 17.671 * * [simplify]: iteration 63 : 3665 enodes (cost 11 ) 18.275 * * [simplify]: iteration 64 : 3713 enodes (cost 11 ) 18.888 * * [simplify]: iteration 65 : 3759 enodes (cost 11 ) 19.519 * * [simplify]: iteration 66 : 3807 enodes (cost 11 ) 20.149 * * [simplify]: iteration 67 : 3853 enodes (cost 11 ) 20.812 * * [simplify]: iteration 68 : 3901 enodes (cost 11 ) 21.487 * * [simplify]: iteration 69 : 3947 enodes (cost 11 ) 22.161 * * [simplify]: iteration 70 : 3995 enodes (cost 11 ) 22.836 * * [simplify]: iteration 71 : 4041 enodes (cost 11 ) 23.531 * * [simplify]: iteration 72 : 4089 enodes (cost 11 ) 24.244 * * [simplify]: iteration 73 : 4135 enodes (cost 11 ) 24.975 * * [simplify]: iteration 74 : 4183 enodes (cost 11 ) 25.706 * * [simplify]: iteration 75 : 4229 enodes (cost 11 ) 26.461 * * [simplify]: iteration 76 : 4277 enodes (cost 11 ) 27.233 * * [simplify]: iteration 77 : 4323 enodes (cost 11 ) 28.013 * * [simplify]: iteration 78 : 4371 enodes (cost 11 ) 28.830 * * [simplify]: iteration 79 : 4417 enodes (cost 11 ) 29.653 * * [simplify]: iteration 80 : 4465 enodes (cost 11 ) 30.511 * * [simplify]: iteration 81 : 4511 enodes (cost 11 ) 31.638 * * [simplify]: iteration 82 : 4559 enodes (cost 11 ) 32.491 * * [simplify]: iteration 83 : 4605 enodes (cost 11 ) 33.376 * * [simplify]: iteration 84 : 4653 enodes (cost 11 ) 34.305 * * [simplify]: iteration 85 : 4699 enodes (cost 11 ) 35.256 * * [simplify]: iteration 86 : 4747 enodes (cost 11 ) 36.224 * * [simplify]: iteration 87 : 4793 enodes (cost 11 ) 37.229 * * [simplify]: iteration 88 : 4841 enodes (cost 11 ) 38.224 * * [simplify]: iteration 89 : 4887 enodes (cost 11 ) 39.236 * * [simplify]: iteration 90 : 4935 enodes (cost 11 ) 40.246 * * [simplify]: iteration 91 : 4981 enodes (cost 11 ) 41.498 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 41.498 * [simplify]: Simplified to: (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) 41.499 * * [progress]: iteration 1 / 4 41.499 * * * [progress]: picking best candidate 41.501 * * * * [pick]: Picked # 41.501 * * * [progress]: localizing error 41.508 * * * [progress]: generating rewritten candidates 41.508 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1) 41.516 * * * [progress]: generating series expansions 41.516 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1) 41.516 * [approximate]: Taking taylor expansion of (* (- y 1.0) x) in (x y) around 0 41.516 * [taylor]: Taking taylor expansion of (* (- y 1.0) x) in y 41.516 * [taylor]: Taking taylor expansion of (- y 1.0) in y 41.516 * [taylor]: Taking taylor expansion of y in y 41.516 * [taylor]: Taking taylor expansion of 1.0 in y 41.516 * [taylor]: Taking taylor expansion of x in y 41.516 * [taylor]: Taking taylor expansion of (* (- y 1.0) x) in x 41.516 * [taylor]: Taking taylor expansion of (- y 1.0) in x 41.516 * [taylor]: Taking taylor expansion of y in x 41.516 * [taylor]: Taking taylor expansion of 1.0 in x 41.516 * [taylor]: Taking taylor expansion of x in x 41.516 * [taylor]: Taking taylor expansion of (* (- y 1.0) x) in x 41.516 * [taylor]: Taking taylor expansion of (- y 1.0) in x 41.516 * [taylor]: Taking taylor expansion of y in x 41.517 * [taylor]: Taking taylor expansion of 1.0 in x 41.517 * [taylor]: Taking taylor expansion of x in x 41.517 * [taylor]: Taking taylor expansion of 0 in y 41.517 * [taylor]: Taking taylor expansion of (- y 1.0) in y 41.517 * [taylor]: Taking taylor expansion of y in y 41.517 * [taylor]: Taking taylor expansion of 1.0 in y 41.517 * [taylor]: Taking taylor expansion of 0 in y 41.517 * [taylor]: Taking taylor expansion of 0 in y 41.517 * [taylor]: Taking taylor expansion of 0 in y 41.517 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in (x y) around 0 41.517 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in y 41.517 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 41.517 * [taylor]: Taking taylor expansion of (/ 1 y) in y 41.517 * [taylor]: Taking taylor expansion of y in y 41.518 * [taylor]: Taking taylor expansion of 1.0 in y 41.518 * [taylor]: Taking taylor expansion of x in y 41.518 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in x 41.518 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 41.518 * [taylor]: Taking taylor expansion of (/ 1 y) in x 41.518 * [taylor]: Taking taylor expansion of y in x 41.518 * [taylor]: Taking taylor expansion of 1.0 in x 41.518 * [taylor]: Taking taylor expansion of x in x 41.518 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in x 41.518 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 41.518 * [taylor]: Taking taylor expansion of (/ 1 y) in x 41.518 * [taylor]: Taking taylor expansion of y in x 41.518 * [taylor]: Taking taylor expansion of 1.0 in x 41.518 * [taylor]: Taking taylor expansion of x in x 41.518 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 41.518 * [taylor]: Taking taylor expansion of (/ 1 y) in y 41.518 * [taylor]: Taking taylor expansion of y in y 41.518 * [taylor]: Taking taylor expansion of 1.0 in y 41.518 * [taylor]: Taking taylor expansion of 0 in y 41.518 * [taylor]: Taking taylor expansion of 0 in y 41.519 * [taylor]: Taking taylor expansion of 0 in y 41.519 * [taylor]: Taking taylor expansion of 0 in y 41.519 * [approximate]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) x) in (x y) around 0 41.519 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) x) in y 41.519 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 41.519 * [taylor]: Taking taylor expansion of 1.0 in y 41.519 * [taylor]: Taking taylor expansion of (/ 1 y) in y 41.519 * [taylor]: Taking taylor expansion of y in y 41.519 * [taylor]: Taking taylor expansion of x in y 41.520 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) x) in x 41.520 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 41.520 * [taylor]: Taking taylor expansion of 1.0 in x 41.520 * [taylor]: Taking taylor expansion of (/ 1 y) in x 41.520 * [taylor]: Taking taylor expansion of y in x 41.520 * [taylor]: Taking taylor expansion of x in x 41.520 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) x) in x 41.520 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 41.520 * [taylor]: Taking taylor expansion of 1.0 in x 41.520 * [taylor]: Taking taylor expansion of (/ 1 y) in x 41.520 * [taylor]: Taking taylor expansion of y in x 41.520 * [taylor]: Taking taylor expansion of x in x 41.520 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 41.520 * [taylor]: Taking taylor expansion of 1.0 in y 41.520 * [taylor]: Taking taylor expansion of (/ 1 y) in y 41.520 * [taylor]: Taking taylor expansion of y in y 41.520 * [taylor]: Taking taylor expansion of 0 in y 41.520 * [taylor]: Taking taylor expansion of 0 in y 41.521 * [taylor]: Taking taylor expansion of 0 in y 41.521 * [taylor]: Taking taylor expansion of 0 in y 41.521 * * * [progress]: simplifying candidates 41.522 * [simplify]: Simplifying using # : (* x (- y 1.0)) (+ (log x) (log (- y 1.0))) (log (* x (- y 1.0))) (exp (* x (- y 1.0))) (* (* (* x x) x) (* (* (- y 1.0) (- y 1.0)) (- y 1.0))) (* (cbrt (* x (- y 1.0))) (cbrt (* x (- y 1.0)))) (cbrt (* x (- y 1.0))) (* (* (* x (- y 1.0)) (* x (- y 1.0))) (* x (- y 1.0))) (sqrt (* x (- y 1.0))) (sqrt (* x (- y 1.0))) (* (sqrt x) (sqrt (- y 1.0))) (* (sqrt x) (sqrt (- y 1.0))) (* x y) (* x (neg 1.0)) (* x y) (* x (neg 1.0)) (* y x) (* (neg 1.0) x) (* y x) (* (neg 1.0) x) (* x (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* x (sqrt (- y 1.0))) (* x 1) (* x (+ (sqrt y) (sqrt 1.0))) (* x 1) (* (cbrt x) (- y 1.0)) (* (sqrt x) (- y 1.0)) (* x (- y 1.0)) (* x (- (pow y 3) (pow 1.0 3))) (* x (- (* y y) (* 1.0 1.0))) (- (* x y) (* 1.0 x)) (- (* x y) (* 1.0 x)) (- (* x y) (* 1.0 x)) 41.523 * * [simplify]: iteration 0 : 52 enodes (cost 217 ) 41.530 * * [simplify]: iteration 1 : 114 enodes (cost 213 ) 41.552 * * [simplify]: iteration 2 : 266 enodes (cost 186 ) 41.601 * * [simplify]: iteration 3 : 717 enodes (cost 186 ) 41.782 * * [simplify]: iteration 4 : 1900 enodes (cost 186 ) 42.401 * * [simplify]: iteration done : 5001 enodes (cost 186 ) 42.402 * [simplify]: Simplified to: (* x (- y 1.0)) (log (* x (- y 1.0))) (log (* x (- y 1.0))) (exp (* x (- y 1.0))) (pow (* x (- y 1.0)) 3) (* (cbrt (* x (- y 1.0))) (cbrt (* x (- y 1.0)))) (cbrt (* x (- y 1.0))) (pow (* x (- y 1.0)) 3) (sqrt (* x (- y 1.0))) (sqrt (* x (- y 1.0))) (* (sqrt x) (sqrt (- y 1.0))) (* (sqrt x) (sqrt (- y 1.0))) (* y x) (* (neg 1.0) x) (* y x) (* (neg 1.0) x) (* y x) (* (neg 1.0) x) (* y x) (* (neg 1.0) x) (* x (* (cbrt (- y 1.0)) (cbrt (- y 1.0)))) (* x (sqrt (- y 1.0))) x (* x (+ (sqrt y) (sqrt 1.0))) x (* (cbrt x) (- y 1.0)) (* (sqrt x) (- y 1.0)) (* x (- y 1.0)) (* x (- (pow y 3) (pow 1.0 3))) (* x (- (* y y) (* 1.0 1.0))) (* x (- y 1.0)) (* x (- y 1.0)) (* x (- y 1.0)) 42.402 * * * [progress]: adding candidates to table 42.432 * * [progress]: iteration 2 / 4 42.432 * * * [progress]: picking best candidate 42.435 * * * * [pick]: Picked # 42.435 * * * [progress]: localizing error 42.444 * * * [progress]: generating rewritten candidates 42.444 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1) 42.449 * * * [progress]: generating series expansions 42.449 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1) 42.449 * [approximate]: Taking taylor expansion of (- (* x y) (* 1.0 x)) in (y x) around 0 42.449 * [taylor]: Taking taylor expansion of (- (* x y) (* 1.0 x)) in x 42.449 * [taylor]: Taking taylor expansion of (* x y) in x 42.449 * [taylor]: Taking taylor expansion of x in x 42.449 * [taylor]: Taking taylor expansion of y in x 42.449 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 42.449 * [taylor]: Taking taylor expansion of 1.0 in x 42.449 * [taylor]: Taking taylor expansion of x in x 42.449 * [taylor]: Taking taylor expansion of (- (* x y) (* 1.0 x)) in y 42.449 * [taylor]: Taking taylor expansion of (* x y) in y 42.449 * [taylor]: Taking taylor expansion of x in y 42.449 * [taylor]: Taking taylor expansion of y in y 42.449 * [taylor]: Taking taylor expansion of (* 1.0 x) in y 42.449 * [taylor]: Taking taylor expansion of 1.0 in y 42.449 * [taylor]: Taking taylor expansion of x in y 42.449 * [taylor]: Taking taylor expansion of (- (* x y) (* 1.0 x)) in y 42.449 * [taylor]: Taking taylor expansion of (* x y) in y 42.449 * [taylor]: Taking taylor expansion of x in y 42.449 * [taylor]: Taking taylor expansion of y in y 42.449 * [taylor]: Taking taylor expansion of (* 1.0 x) in y 42.449 * [taylor]: Taking taylor expansion of 1.0 in y 42.449 * [taylor]: Taking taylor expansion of x in y 42.449 * [taylor]: Taking taylor expansion of (neg (* 1.0 x)) in x 42.450 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 42.450 * [taylor]: Taking taylor expansion of 1.0 in x 42.450 * [taylor]: Taking taylor expansion of x in x 42.450 * [taylor]: Taking taylor expansion of x in x 42.450 * [taylor]: Taking taylor expansion of 0 in x 42.450 * [taylor]: Taking taylor expansion of 0 in x 42.450 * [taylor]: Taking taylor expansion of 0 in x 42.450 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 1.0 (/ 1 x))) in (y x) around 0 42.450 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 1.0 (/ 1 x))) in x 42.451 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 42.451 * [taylor]: Taking taylor expansion of (* x y) in x 42.451 * [taylor]: Taking taylor expansion of x in x 42.451 * [taylor]: Taking taylor expansion of y in x 42.451 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 42.451 * [taylor]: Taking taylor expansion of 1.0 in x 42.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x 42.451 * [taylor]: Taking taylor expansion of x in x 42.451 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 1.0 (/ 1 x))) in y 42.451 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 42.451 * [taylor]: Taking taylor expansion of (* x y) in y 42.451 * [taylor]: Taking taylor expansion of x in y 42.451 * [taylor]: Taking taylor expansion of y in y 42.451 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 42.451 * [taylor]: Taking taylor expansion of 1.0 in y 42.451 * [taylor]: Taking taylor expansion of (/ 1 x) in y 42.451 * [taylor]: Taking taylor expansion of x in y 42.451 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 1.0 (/ 1 x))) in y 42.451 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 42.451 * [taylor]: Taking taylor expansion of (* x y) in y 42.451 * [taylor]: Taking taylor expansion of x in y 42.451 * [taylor]: Taking taylor expansion of y in y 42.451 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 42.451 * [taylor]: Taking taylor expansion of 1.0 in y 42.451 * [taylor]: Taking taylor expansion of (/ 1 x) in y 42.451 * [taylor]: Taking taylor expansion of x in y 42.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x 42.451 * [taylor]: Taking taylor expansion of x in x 42.451 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 x))) in x 42.452 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 42.452 * [taylor]: Taking taylor expansion of 1.0 in x 42.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x 42.452 * [taylor]: Taking taylor expansion of x in x 42.452 * [taylor]: Taking taylor expansion of 0 in x 42.452 * [taylor]: Taking taylor expansion of 0 in x 42.453 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in (y x) around 0 42.453 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in x 42.453 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 42.453 * [taylor]: Taking taylor expansion of 1.0 in x 42.453 * [taylor]: Taking taylor expansion of (/ 1 x) in x 42.453 * [taylor]: Taking taylor expansion of x in x 42.453 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 42.453 * [taylor]: Taking taylor expansion of (* x y) in x 42.453 * [taylor]: Taking taylor expansion of x in x 42.453 * [taylor]: Taking taylor expansion of y in x 42.453 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in y 42.453 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 42.453 * [taylor]: Taking taylor expansion of 1.0 in y 42.453 * [taylor]: Taking taylor expansion of (/ 1 x) in y 42.453 * [taylor]: Taking taylor expansion of x in y 42.453 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 42.453 * [taylor]: Taking taylor expansion of (* x y) in y 42.453 * [taylor]: Taking taylor expansion of x in y 42.453 * [taylor]: Taking taylor expansion of y in y 42.453 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (/ 1 (* x y))) in y 42.453 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 42.453 * [taylor]: Taking taylor expansion of 1.0 in y 42.453 * [taylor]: Taking taylor expansion of (/ 1 x) in y 42.453 * [taylor]: Taking taylor expansion of x in y 42.453 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 42.453 * [taylor]: Taking taylor expansion of (* x y) in y 42.453 * [taylor]: Taking taylor expansion of x in y 42.453 * [taylor]: Taking taylor expansion of y in y 42.453 * [taylor]: Taking taylor expansion of (/ 1 x) in x 42.453 * [taylor]: Taking taylor expansion of x in x 42.454 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 42.454 * [taylor]: Taking taylor expansion of 1.0 in x 42.454 * [taylor]: Taking taylor expansion of (/ 1 x) in x 42.454 * [taylor]: Taking taylor expansion of x in x 42.454 * [taylor]: Taking taylor expansion of 0 in x 42.454 * [taylor]: Taking taylor expansion of 0 in x 42.455 * * * [progress]: simplifying candidates 42.455 * [simplify]: Simplifying using # : (* (exp (* y x)) (exp (* (neg 1.0) x))) (log (+ (* y x) (* (neg 1.0) x))) (exp (+ (* y x) (* (neg 1.0) x))) (* (cbrt (+ (* y x) (* (neg 1.0) x))) (cbrt (+ (* y x) (* (neg 1.0) x)))) (cbrt (+ (* y x) (* (neg 1.0) x))) (* (* (+ (* y x) (* (neg 1.0) x)) (+ (* y x) (* (neg 1.0) x))) (+ (* y x) (* (neg 1.0) x))) (sqrt (+ (* y x) (* (neg 1.0) x))) (sqrt (+ (* y x) (* (neg 1.0) x))) (+ (pow (* y x) 3) (pow (* (neg 1.0) x) 3)) (+ (* (* y x) (* y x)) (- (* (* (neg 1.0) x) (* (neg 1.0) x)) (* (* y x) (* (neg 1.0) x)))) (- (* (* y x) (* y x)) (* (* (neg 1.0) x) (* (neg 1.0) x))) (- (* y x) (* (neg 1.0) x)) (+ y (neg 1.0)) (- (* x y) (* 1.0 x)) (- (* x y) (* 1.0 x)) (- (* x y) (* 1.0 x)) 42.456 * * [simplify]: iteration 0 : 32 enodes (cost 188 ) 42.461 * * [simplify]: iteration 1 : 106 enodes (cost 141 ) 42.481 * * [simplify]: iteration 2 : 418 enodes (cost 122 ) 42.604 * * [simplify]: iteration 3 : 1535 enodes (cost 118 ) 43.188 * * [simplify]: iteration done : 5000 enodes (cost 116 ) 43.189 * [simplify]: Simplified to: (exp (* x (- y 1.0))) (log (* x (- y 1.0))) (exp (* x (- y 1.0))) (* (cbrt (* x (- y 1.0))) (cbrt (* x (- y 1.0)))) (cbrt (* x (- y 1.0))) (pow (* (- y 1.0) x) 3) (sqrt (* x (- y 1.0))) (sqrt (* x (- y 1.0))) (* (pow x 3) (- (pow y 3) (pow 1.0 3))) (* x (+ (* 1.0 (* (+ 1.0 y) x)) (* (* y y) x))) (* (* x x) (- (* y y) (* 1.0 1.0))) (* x (+ 1.0 y)) (- y 1.0) (* x (- y 1.0)) (* x (- y 1.0)) (* x (- y 1.0)) 43.189 * * * [progress]: adding candidates to table 43.208 * [progress]: [Phase 3 of 3] Extracting. 43.208 * * [regime]: Finding splitpoints for: (# #) 43.208 * * * [regime-changes]: Trying 4 branch expressions: ((- (* x (- y 1.0)) (* y 0.5)) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) y x) 43.208 * * * * [regimes]: Trying to branch on (- (* x (- y 1.0)) (* y 0.5)) from (# #) 43.244 * * * * [regimes]: Trying to branch on (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) from (# #) 43.280 * * * * [regimes]: Trying to branch on y from (# #) 43.312 * * * * [regimes]: Trying to branch on x from (# #) 43.343 * * * [regime]: Found split indices: #