729.533 * [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 (- y 1.0)) (* y 0.5)) 0.918938533204673) 0.023 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.025 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 0.027 * * [simplify]: iteration 2 : 42 enodes (cost 11 ) 0.034 * * [simplify]: iteration 3 : 70 enodes (cost 11 ) 0.050 * * [simplify]: iteration 4 : 133 enodes (cost 11 ) 0.091 * * [simplify]: iteration 5 : 205 enodes (cost 11 ) 0.160 * * [simplify]: iteration 6 : 302 enodes (cost 11 ) 0.316 * * [simplify]: iteration 7 : 505 enodes (cost 11 ) 0.513 * * [simplify]: iteration 8 : 683 enodes (cost 11 ) 0.688 * * [simplify]: iteration 9 : 702 enodes (cost 11 ) 0.844 * * [simplify]: iteration 10 : 705 enodes (cost 11 ) 0.999 * * [simplify]: iteration done : 705 enodes (cost 11 ) 0.999 * [simplify]: Simplified to: (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) 0.999 * * [progress]: iteration 1 / 4 0.999 * * * [progress]: picking best candidate 1.001 * * * * [pick]: Picked # 1.002 * * * [progress]: localizing error 1.009 * * * [progress]: generating rewritten candidates 1.009 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 1.016 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.029 * * * [progress]: generating series expansions 1.029 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 1.029 * [approximate]: Taking taylor expansion of (* (- y 1.0) x) in (x y) around 0 1.029 * [taylor]: Taking taylor expansion of (* (- y 1.0) x) in y 1.029 * [taylor]: Taking taylor expansion of (- y 1.0) in y 1.029 * [taylor]: Taking taylor expansion of y in y 1.029 * [taylor]: Taking taylor expansion of 1.0 in y 1.029 * [taylor]: Taking taylor expansion of x in y 1.029 * [taylor]: Taking taylor expansion of (* (- y 1.0) x) in x 1.029 * [taylor]: Taking taylor expansion of (- y 1.0) in x 1.029 * [taylor]: Taking taylor expansion of y in x 1.029 * [taylor]: Taking taylor expansion of 1.0 in x 1.029 * [taylor]: Taking taylor expansion of x in x 1.029 * [taylor]: Taking taylor expansion of (* (- y 1.0) x) in x 1.029 * [taylor]: Taking taylor expansion of (- y 1.0) in x 1.029 * [taylor]: Taking taylor expansion of y in x 1.029 * [taylor]: Taking taylor expansion of 1.0 in x 1.029 * [taylor]: Taking taylor expansion of x in x 1.029 * [taylor]: Taking taylor expansion of 0 in y 1.029 * [taylor]: Taking taylor expansion of (- y 1.0) in y 1.029 * [taylor]: Taking taylor expansion of y in y 1.029 * [taylor]: Taking taylor expansion of 1.0 in y 1.030 * [taylor]: Taking taylor expansion of 0 in y 1.030 * [taylor]: Taking taylor expansion of 0 in y 1.030 * [taylor]: Taking taylor expansion of 0 in y 1.030 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in (x y) around 0 1.030 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in y 1.030 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 1.030 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.030 * [taylor]: Taking taylor expansion of y in y 1.030 * [taylor]: Taking taylor expansion of 1.0 in y 1.030 * [taylor]: Taking taylor expansion of x in y 1.030 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in x 1.030 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 1.030 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.030 * [taylor]: Taking taylor expansion of y in x 1.030 * [taylor]: Taking taylor expansion of 1.0 in x 1.030 * [taylor]: Taking taylor expansion of x in x 1.031 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) x) in x 1.031 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in x 1.031 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.031 * [taylor]: Taking taylor expansion of y in x 1.031 * [taylor]: Taking taylor expansion of 1.0 in x 1.031 * [taylor]: Taking taylor expansion of x in x 1.031 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 1.031 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.031 * [taylor]: Taking taylor expansion of y in y 1.031 * [taylor]: Taking taylor expansion of 1.0 in y 1.031 * [taylor]: Taking taylor expansion of 0 in y 1.031 * [taylor]: Taking taylor expansion of 0 in y 1.032 * [taylor]: Taking taylor expansion of 0 in y 1.032 * [taylor]: Taking taylor expansion of 0 in y 1.032 * [approximate]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) x) in (x y) around 0 1.033 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) x) in y 1.033 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 1.033 * [taylor]: Taking taylor expansion of 1.0 in y 1.033 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.033 * [taylor]: Taking taylor expansion of y in y 1.033 * [taylor]: Taking taylor expansion of x in y 1.033 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) x) in x 1.033 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 1.033 * [taylor]: Taking taylor expansion of 1.0 in x 1.033 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.033 * [taylor]: Taking taylor expansion of y in x 1.033 * [taylor]: Taking taylor expansion of x in x 1.033 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 y)) x) in x 1.033 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 1.033 * [taylor]: Taking taylor expansion of 1.0 in x 1.033 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.033 * [taylor]: Taking taylor expansion of y in x 1.033 * [taylor]: Taking taylor expansion of x in x 1.033 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 1.033 * [taylor]: Taking taylor expansion of 1.0 in y 1.033 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.033 * [taylor]: Taking taylor expansion of y in y 1.033 * [taylor]: Taking taylor expansion of 0 in y 1.034 * [taylor]: Taking taylor expansion of 0 in y 1.034 * [taylor]: Taking taylor expansion of 0 in y 1.034 * [taylor]: Taking taylor expansion of 0 in y 1.034 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.035 * [approximate]: Taking taylor expansion of (- (+ 0.918938533204673 (* x y)) (+ (* 0.5 y) (* 1.0 x))) in (x y) around 0 1.035 * [taylor]: Taking taylor expansion of (- (+ 0.918938533204673 (* x y)) (+ (* 0.5 y) (* 1.0 x))) in y 1.035 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (* x y)) in y 1.035 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 1.035 * [taylor]: Taking taylor expansion of (* x y) in y 1.035 * [taylor]: Taking taylor expansion of x in y 1.035 * [taylor]: Taking taylor expansion of y in y 1.035 * [taylor]: Taking taylor expansion of (+ (* 0.5 y) (* 1.0 x)) in y 1.035 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 1.035 * [taylor]: Taking taylor expansion of 0.5 in y 1.035 * [taylor]: Taking taylor expansion of y in y 1.035 * [taylor]: Taking taylor expansion of (* 1.0 x) in y 1.035 * [taylor]: Taking taylor expansion of 1.0 in y 1.035 * [taylor]: Taking taylor expansion of x in y 1.035 * [taylor]: Taking taylor expansion of (- (+ 0.918938533204673 (* x y)) (+ (* 0.5 y) (* 1.0 x))) in x 1.035 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (* x y)) in x 1.035 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 1.035 * [taylor]: Taking taylor expansion of (* x y) in x 1.035 * [taylor]: Taking taylor expansion of x in x 1.035 * [taylor]: Taking taylor expansion of y in x 1.035 * [taylor]: Taking taylor expansion of (+ (* 0.5 y) (* 1.0 x)) in x 1.035 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 1.035 * [taylor]: Taking taylor expansion of 0.5 in x 1.035 * [taylor]: Taking taylor expansion of y in x 1.035 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.035 * [taylor]: Taking taylor expansion of 1.0 in x 1.035 * [taylor]: Taking taylor expansion of x in x 1.035 * [taylor]: Taking taylor expansion of (- (+ 0.918938533204673 (* x y)) (+ (* 0.5 y) (* 1.0 x))) in x 1.035 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (* x y)) in x 1.035 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 1.035 * [taylor]: Taking taylor expansion of (* x y) in x 1.035 * [taylor]: Taking taylor expansion of x in x 1.035 * [taylor]: Taking taylor expansion of y in x 1.035 * [taylor]: Taking taylor expansion of (+ (* 0.5 y) (* 1.0 x)) in x 1.035 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 1.035 * [taylor]: Taking taylor expansion of 0.5 in x 1.035 * [taylor]: Taking taylor expansion of y in x 1.035 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 1.035 * [taylor]: Taking taylor expansion of 1.0 in x 1.035 * [taylor]: Taking taylor expansion of x in x 1.035 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 1.036 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 1.036 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 1.036 * [taylor]: Taking taylor expansion of 0.5 in y 1.036 * [taylor]: Taking taylor expansion of y in y 1.036 * [taylor]: Taking taylor expansion of (- y 1.0) in y 1.036 * [taylor]: Taking taylor expansion of y in y 1.036 * [taylor]: Taking taylor expansion of 1.0 in y 1.036 * [approximate]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y)))) in (x y) around 0 1.036 * [taylor]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y)))) in y 1.036 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (/ 1 (* x y))) in y 1.036 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 1.036 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.036 * [taylor]: Taking taylor expansion of (* x y) in y 1.036 * [taylor]: Taking taylor expansion of x in y 1.036 * [taylor]: Taking taylor expansion of y in y 1.037 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y))) in y 1.037 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 1.037 * [taylor]: Taking taylor expansion of 1.0 in y 1.037 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.037 * [taylor]: Taking taylor expansion of x in y 1.037 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 1.037 * [taylor]: Taking taylor expansion of 0.5 in y 1.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.037 * [taylor]: Taking taylor expansion of y in y 1.037 * [taylor]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y)))) in x 1.037 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (/ 1 (* x y))) in x 1.037 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 1.037 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.037 * [taylor]: Taking taylor expansion of (* x y) in x 1.037 * [taylor]: Taking taylor expansion of x in x 1.037 * [taylor]: Taking taylor expansion of y in x 1.037 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y))) in x 1.037 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 1.037 * [taylor]: Taking taylor expansion of 1.0 in x 1.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.037 * [taylor]: Taking taylor expansion of x in x 1.037 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 1.037 * [taylor]: Taking taylor expansion of 0.5 in x 1.037 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.037 * [taylor]: Taking taylor expansion of y in x 1.037 * [taylor]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y)))) in x 1.037 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (/ 1 (* x y))) in x 1.037 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 1.037 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.037 * [taylor]: Taking taylor expansion of (* x y) in x 1.037 * [taylor]: Taking taylor expansion of x in x 1.037 * [taylor]: Taking taylor expansion of y in x 1.037 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y))) in x 1.037 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 1.037 * [taylor]: Taking taylor expansion of 1.0 in x 1.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.037 * [taylor]: Taking taylor expansion of x in x 1.037 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 1.037 * [taylor]: Taking taylor expansion of 0.5 in x 1.038 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.038 * [taylor]: Taking taylor expansion of y in x 1.038 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 1.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.038 * [taylor]: Taking taylor expansion of y in y 1.038 * [taylor]: Taking taylor expansion of 1.0 in y 1.038 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 (/ 1 y))) in y 1.038 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 1.038 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 1.038 * [taylor]: Taking taylor expansion of 0.5 in y 1.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.038 * [taylor]: Taking taylor expansion of y in y 1.039 * [approximate]: Taking taylor expansion of (+ 0.918938533204673 (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y))))) in (x y) around 0 1.039 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y))))) in y 1.039 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 1.039 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y)))) in y 1.039 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.039 * [taylor]: Taking taylor expansion of (* x y) in y 1.039 * [taylor]: Taking taylor expansion of x in y 1.039 * [taylor]: Taking taylor expansion of y in y 1.039 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y))) in y 1.039 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 1.039 * [taylor]: Taking taylor expansion of 1.0 in y 1.039 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.039 * [taylor]: Taking taylor expansion of x in y 1.039 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 1.039 * [taylor]: Taking taylor expansion of 0.5 in y 1.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.039 * [taylor]: Taking taylor expansion of y in y 1.039 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y))))) in x 1.039 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 1.039 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y)))) in x 1.039 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.039 * [taylor]: Taking taylor expansion of (* x y) in x 1.039 * [taylor]: Taking taylor expansion of x in x 1.039 * [taylor]: Taking taylor expansion of y in x 1.040 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y))) in x 1.040 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 1.040 * [taylor]: Taking taylor expansion of 1.0 in x 1.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.040 * [taylor]: Taking taylor expansion of x in x 1.040 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 1.040 * [taylor]: Taking taylor expansion of 0.5 in x 1.040 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.040 * [taylor]: Taking taylor expansion of y in x 1.040 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y))))) in x 1.040 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 1.040 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y)))) in x 1.040 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.040 * [taylor]: Taking taylor expansion of (* x y) in x 1.040 * [taylor]: Taking taylor expansion of x in x 1.040 * [taylor]: Taking taylor expansion of y in x 1.040 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y))) in x 1.040 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 1.040 * [taylor]: Taking taylor expansion of 1.0 in x 1.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.040 * [taylor]: Taking taylor expansion of x in x 1.040 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 1.040 * [taylor]: Taking taylor expansion of 0.5 in x 1.040 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.040 * [taylor]: Taking taylor expansion of y in x 1.040 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.040 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.040 * [taylor]: Taking taylor expansion of y in y 1.040 * [taylor]: Taking taylor expansion of 1.0 in y 1.041 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) 0.918938533204673) in y 1.041 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 1.041 * [taylor]: Taking taylor expansion of 0.5 in y 1.041 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.041 * [taylor]: Taking taylor expansion of y in y 1.041 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 1.041 * * * [progress]: simplifying candidates 1.042 * [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))) (* (/ (exp (* x (- y 1.0))) (exp (* y 0.5))) (exp 0.918938533204673)) (* (exp (- (* x (- y 1.0)) (* y 0.5))) (exp 0.918938533204673)) (log (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (exp (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (* (cbrt (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (cbrt (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673))) (cbrt (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (* (* (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (sqrt (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (sqrt (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (+ (pow (- (* x (- y 1.0)) (* y 0.5)) 3) (pow 0.918938533204673 3)) (+ (* (- (* x (- y 1.0)) (* y 0.5)) (- (* x (- y 1.0)) (* y 0.5))) (- (* 0.918938533204673 0.918938533204673) (* (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673))) (- (* (- (* x (- y 1.0)) (* y 0.5)) (- (* x (- y 1.0)) (* y 0.5))) (* 0.918938533204673 0.918938533204673)) (- (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) (+ (neg (* y 0.5)) 0.918938533204673) (+ (- (* x (neg 1.0)) (* y 0.5)) 0.918938533204673) (+ (- (* x (neg 1.0)) (* y 0.5)) 0.918938533204673) (+ (- (* (neg 1.0) x) (* y 0.5)) 0.918938533204673) (+ (- (* (neg 1.0) x) (* y 0.5)) 0.918938533204673) (+ (neg (* y 0.5)) 0.918938533204673) (- (* y 0.5) 0.918938533204673) (- (* x y) (* 1.0 x)) (- (* x y) (* 1.0 x)) (- (* x y) (* 1.0 x)) (- 0.918938533204673 (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) 1.042 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 1.043 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 1.044 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 1.050 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 1.052 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 1.055 * * [simplify]: iteration done : 24 enodes (cost 5 ) 1.056 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 1.057 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 1.058 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 1.059 * * [simplify]: iteration done : 11 enodes (cost 7 ) 1.059 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 1.060 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 1.061 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 1.064 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 1.067 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 1.070 * * [simplify]: iteration done : 29 enodes (cost 6 ) 1.071 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 1.071 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 1.073 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 1.076 * * [simplify]: iteration 3 : 49 enodes (cost 6 ) 1.083 * * [simplify]: iteration 4 : 90 enodes (cost 6 ) 1.098 * * [simplify]: iteration 5 : 192 enodes (cost 6 ) 1.170 * * [simplify]: iteration 6 : 441 enodes (cost 6 ) 1.470 * * [simplify]: iteration 7 : 1402 enodes (cost 6 ) 3.122 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 3.123 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 3.124 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 3.128 * * [simplify]: iteration 2 : 62 enodes (cost 9 ) 3.144 * * [simplify]: iteration 3 : 243 enodes (cost 9 ) 3.258 * * [simplify]: iteration 4 : 855 enodes (cost 7 ) 4.075 * * [simplify]: iteration 5 : 2965 enodes (cost 7 ) 5.698 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 5.699 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 5.700 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 5.701 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 5.703 * * [simplify]: iteration 3 : 22 enodes (cost 13 ) 5.706 * * [simplify]: iteration 4 : 26 enodes (cost 13 ) 5.709 * * [simplify]: iteration done : 26 enodes (cost 13 ) 5.710 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 5.711 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 5.712 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 5.714 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 5.716 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 5.722 * * [simplify]: iteration done : 25 enodes (cost 6 ) 5.723 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 5.724 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 5.728 * * [simplify]: iteration 2 : 74 enodes (cost 7 ) 5.751 * * [simplify]: iteration 3 : 266 enodes (cost 7 ) 5.900 * * [simplify]: iteration 4 : 818 enodes (cost 7 ) 6.923 * * [simplify]: iteration 5 : 2511 enodes (cost 7 ) 8.849 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 8.850 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.851 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 8.852 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 8.854 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 8.857 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 8.860 * * [simplify]: iteration done : 25 enodes (cost 6 ) 8.860 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.861 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 8.862 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 8.864 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 8.866 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 8.869 * * [simplify]: iteration done : 25 enodes (cost 6 ) 8.870 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 8.871 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 8.872 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 8.873 * * [simplify]: iteration done : 11 enodes (cost 7 ) 8.873 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 8.874 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 8.875 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 8.876 * * [simplify]: iteration done : 11 enodes (cost 7 ) 8.877 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.877 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.878 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.878 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 8.879 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 8.880 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 8.881 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 8.882 * * [simplify]: iteration done : 11 enodes (cost 4 ) 8.883 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.883 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.884 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.884 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 8.885 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 8.885 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 8.886 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 8.888 * * [simplify]: iteration done : 11 enodes (cost 4 ) 8.888 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.889 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.889 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.890 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 8.890 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 8.891 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 8.892 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 8.893 * * [simplify]: iteration done : 11 enodes (cost 4 ) 8.894 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.894 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.895 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.895 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 8.896 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 8.896 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 8.897 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 8.899 * * [simplify]: iteration done : 11 enodes (cost 4 ) 8.899 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 8.900 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 8.902 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 8.904 * * [simplify]: iteration done : 15 enodes (cost 11 ) 8.904 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.905 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 8.906 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 8.907 * * [simplify]: iteration done : 10 enodes (cost 6 ) 8.907 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.908 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 8.908 * * [simplify]: iteration done : 6 enodes (cost 1 ) 8.909 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 8.909 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 8.911 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 8.913 * * [simplify]: iteration done : 16 enodes (cost 7 ) 8.914 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.914 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 8.915 * * [simplify]: iteration done : 6 enodes (cost 1 ) 8.915 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.916 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 8.920 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 8.923 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 8.925 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 8.928 * * [simplify]: iteration done : 25 enodes (cost 6 ) 8.929 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 8.930 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 8.931 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 8.933 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 8.936 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 8.938 * * [simplify]: iteration done : 25 enodes (cost 6 ) 8.939 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 8.940 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 8.941 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 8.942 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 8.945 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 8.948 * * [simplify]: iteration done : 24 enodes (cost 5 ) 8.948 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 8.950 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 8.953 * * [simplify]: iteration 2 : 52 enodes (cost 9 ) 8.963 * * [simplify]: iteration 3 : 131 enodes (cost 9 ) 8.995 * * [simplify]: iteration 4 : 309 enodes (cost 9 ) 9.127 * * [simplify]: iteration 5 : 988 enodes (cost 9 ) 10.216 * * [simplify]: iteration 6 : 4466 enodes (cost 9 ) 12.390 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 12.391 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 12.392 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 12.394 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 12.399 * * [simplify]: iteration 3 : 76 enodes (cost 9 ) 12.414 * * [simplify]: iteration 4 : 159 enodes (cost 9 ) 12.456 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 12.534 * * [simplify]: iteration 6 : 400 enodes (cost 9 ) 12.722 * * [simplify]: iteration 7 : 771 enodes (cost 9 ) 14.421 * * [simplify]: iteration 8 : 3375 enodes (cost 9 ) 16.620 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 16.621 * * [simplify]: iteration 0 : 13 enodes (cost 14 ) 16.622 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 16.626 * * [simplify]: iteration 2 : 55 enodes (cost 12 ) 16.635 * * [simplify]: iteration 3 : 129 enodes (cost 12 ) 16.665 * * [simplify]: iteration 4 : 407 enodes (cost 12 ) 16.899 * * [simplify]: iteration 5 : 1858 enodes (cost 12 ) 17.814 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 17.814 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 17.816 * * [simplify]: iteration 1 : 24 enodes (cost 12 ) 17.819 * * [simplify]: iteration 2 : 57 enodes (cost 12 ) 17.828 * * [simplify]: iteration 3 : 126 enodes (cost 12 ) 17.855 * * [simplify]: iteration 4 : 353 enodes (cost 12 ) 18.038 * * [simplify]: iteration 5 : 1343 enodes (cost 12 ) 19.257 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 19.258 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 19.259 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 19.262 * * [simplify]: iteration 2 : 43 enodes (cost 12 ) 19.269 * * [simplify]: iteration 3 : 71 enodes (cost 12 ) 19.285 * * [simplify]: iteration 4 : 134 enodes (cost 12 ) 19.325 * * [simplify]: iteration 5 : 204 enodes (cost 12 ) 19.392 * * [simplify]: iteration 6 : 301 enodes (cost 12 ) 19.541 * * [simplify]: iteration 7 : 504 enodes (cost 12 ) 19.732 * * [simplify]: iteration 8 : 682 enodes (cost 12 ) 19.891 * * [simplify]: iteration 9 : 701 enodes (cost 12 ) 20.051 * * [simplify]: iteration 10 : 704 enodes (cost 12 ) 20.208 * * [simplify]: iteration done : 704 enodes (cost 12 ) 20.209 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 20.210 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 20.214 * * [simplify]: iteration 2 : 54 enodes (cost 12 ) 20.223 * * [simplify]: iteration 3 : 119 enodes (cost 12 ) 20.254 * * [simplify]: iteration 4 : 272 enodes (cost 12 ) 20.356 * * [simplify]: iteration 5 : 802 enodes (cost 12 ) 21.766 * * [simplify]: iteration 6 : 4160 enodes (cost 12 ) 23.237 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 23.238 * * [simplify]: iteration 0 : 12 enodes (cost 25 ) 23.239 * * [simplify]: iteration 1 : 21 enodes (cost 25 ) 23.242 * * [simplify]: iteration 2 : 44 enodes (cost 25 ) 23.248 * * [simplify]: iteration 3 : 72 enodes (cost 25 ) 23.272 * * [simplify]: iteration 4 : 135 enodes (cost 25 ) 23.305 * * [simplify]: iteration 5 : 202 enodes (cost 25 ) 23.379 * * [simplify]: iteration 6 : 299 enodes (cost 25 ) 23.530 * * [simplify]: iteration 7 : 502 enodes (cost 25 ) 23.725 * * [simplify]: iteration 8 : 680 enodes (cost 25 ) 23.884 * * [simplify]: iteration 9 : 699 enodes (cost 25 ) 24.047 * * [simplify]: iteration 10 : 702 enodes (cost 25 ) 24.202 * * [simplify]: iteration done : 702 enodes (cost 25 ) 24.203 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 24.204 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 24.212 * * [simplify]: iteration 2 : 43 enodes (cost 12 ) 24.218 * * [simplify]: iteration 3 : 71 enodes (cost 12 ) 24.235 * * [simplify]: iteration 4 : 134 enodes (cost 12 ) 24.273 * * [simplify]: iteration 5 : 204 enodes (cost 12 ) 24.342 * * [simplify]: iteration 6 : 301 enodes (cost 12 ) 24.495 * * [simplify]: iteration 7 : 504 enodes (cost 12 ) 24.690 * * [simplify]: iteration 8 : 682 enodes (cost 12 ) 24.853 * * [simplify]: iteration 9 : 701 enodes (cost 12 ) 25.014 * * [simplify]: iteration 10 : 704 enodes (cost 12 ) 25.172 * * [simplify]: iteration done : 704 enodes (cost 12 ) 25.173 * * [simplify]: iteration 0 : 12 enodes (cost 35 ) 25.174 * * [simplify]: iteration 1 : 34 enodes (cost 35 ) 25.181 * * [simplify]: iteration 2 : 101 enodes (cost 13 ) 25.207 * * [simplify]: iteration 3 : 436 enodes (cost 13 ) 25.722 * * [simplify]: iteration 4 : 3325 enodes (cost 13 ) 26.850 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 26.851 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 26.857 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 26.860 * * [simplify]: iteration 2 : 43 enodes (cost 12 ) 26.867 * * [simplify]: iteration 3 : 71 enodes (cost 12 ) 26.883 * * [simplify]: iteration 4 : 134 enodes (cost 12 ) 26.922 * * [simplify]: iteration 5 : 204 enodes (cost 12 ) 26.991 * * [simplify]: iteration 6 : 301 enodes (cost 12 ) 27.145 * * [simplify]: iteration 7 : 504 enodes (cost 12 ) 27.338 * * [simplify]: iteration 8 : 682 enodes (cost 12 ) 27.499 * * [simplify]: iteration 9 : 701 enodes (cost 12 ) 27.662 * * [simplify]: iteration 10 : 704 enodes (cost 12 ) 27.819 * * [simplify]: iteration done : 704 enodes (cost 12 ) 27.820 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 27.821 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 27.824 * * [simplify]: iteration 2 : 43 enodes (cost 12 ) 27.830 * * [simplify]: iteration 3 : 71 enodes (cost 12 ) 27.851 * * [simplify]: iteration 4 : 134 enodes (cost 12 ) 27.885 * * [simplify]: iteration 5 : 204 enodes (cost 12 ) 27.957 * * [simplify]: iteration 6 : 301 enodes (cost 12 ) 28.106 * * [simplify]: iteration 7 : 504 enodes (cost 12 ) 28.308 * * [simplify]: iteration 8 : 682 enodes (cost 12 ) 28.471 * * [simplify]: iteration 9 : 701 enodes (cost 12 ) 28.633 * * [simplify]: iteration 10 : 704 enodes (cost 12 ) 28.786 * * [simplify]: iteration done : 704 enodes (cost 12 ) 28.787 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 28.789 * * [simplify]: iteration 1 : 33 enodes (cost 15 ) 28.794 * * [simplify]: iteration 2 : 68 enodes (cost 15 ) 28.811 * * [simplify]: iteration 3 : 198 enodes (cost 15 ) 28.883 * * [simplify]: iteration 4 : 905 enodes (cost 15 ) 29.687 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 29.688 * * [simplify]: iteration 0 : 14 enodes (cost 35 ) 29.690 * * [simplify]: iteration 1 : 28 enodes (cost 33 ) 29.694 * * [simplify]: iteration 2 : 72 enodes (cost 33 ) 29.712 * * [simplify]: iteration 3 : 222 enodes (cost 25 ) 29.792 * * [simplify]: iteration 4 : 946 enodes (cost 25 ) 30.818 * * [simplify]: iteration 5 : 4529 enodes (cost 25 ) 32.297 * * [simplify]: iteration done : 5000 enodes (cost 25 ) 32.297 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 32.299 * * [simplify]: iteration 1 : 23 enodes (cost 23 ) 32.310 * * [simplify]: iteration 2 : 58 enodes (cost 23 ) 32.321 * * [simplify]: iteration 3 : 178 enodes (cost 23 ) 32.388 * * [simplify]: iteration 4 : 912 enodes (cost 23 ) 33.409 * * [simplify]: iteration 5 : 4615 enodes (cost 23 ) 34.819 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 34.820 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 34.822 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 34.824 * * [simplify]: iteration 2 : 44 enodes (cost 11 ) 34.832 * * [simplify]: iteration 3 : 79 enodes (cost 11 ) 34.850 * * [simplify]: iteration 4 : 146 enodes (cost 11 ) 34.887 * * [simplify]: iteration 5 : 227 enodes (cost 11 ) 34.958 * * [simplify]: iteration 6 : 335 enodes (cost 11 ) 35.124 * * [simplify]: iteration 7 : 562 enodes (cost 11 ) 35.337 * * [simplify]: iteration 8 : 742 enodes (cost 11 ) 35.500 * * [simplify]: iteration 9 : 744 enodes (cost 11 ) 35.658 * * [simplify]: iteration 10 : 750 enodes (cost 11 ) 35.817 * * [simplify]: iteration 11 : 754 enodes (cost 11 ) 35.972 * * [simplify]: iteration done : 754 enodes (cost 11 ) 35.973 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 35.974 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 35.977 * * [simplify]: iteration 2 : 42 enodes (cost 11 ) 35.984 * * [simplify]: iteration 3 : 70 enodes (cost 11 ) 36.001 * * [simplify]: iteration 4 : 133 enodes (cost 11 ) 36.041 * * [simplify]: iteration 5 : 205 enodes (cost 11 ) 36.110 * * [simplify]: iteration 6 : 302 enodes (cost 11 ) 36.261 * * [simplify]: iteration 7 : 505 enodes (cost 11 ) 36.455 * * [simplify]: iteration 8 : 683 enodes (cost 11 ) 36.613 * * [simplify]: iteration 9 : 702 enodes (cost 11 ) 36.772 * * [simplify]: iteration 10 : 705 enodes (cost 11 ) 36.928 * * [simplify]: iteration done : 705 enodes (cost 11 ) 36.929 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 36.930 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 36.931 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 36.933 * * [simplify]: iteration done : 15 enodes (cost 5 ) 36.933 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 36.935 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 36.937 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 36.943 * * [simplify]: iteration 3 : 56 enodes (cost 9 ) 36.957 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 36.971 * * [simplify]: iteration 5 : 93 enodes (cost 9 ) 36.990 * * [simplify]: iteration 6 : 122 enodes (cost 9 ) 37.020 * * [simplify]: iteration 7 : 159 enodes (cost 9 ) 37.044 * * [simplify]: iteration 8 : 170 enodes (cost 9 ) 37.063 * * [simplify]: iteration done : 170 enodes (cost 9 ) 37.063 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 37.069 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 37.071 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 37.077 * * [simplify]: iteration 3 : 56 enodes (cost 9 ) 37.088 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 37.102 * * [simplify]: iteration 5 : 93 enodes (cost 9 ) 37.121 * * [simplify]: iteration 6 : 122 enodes (cost 9 ) 37.151 * * [simplify]: iteration 7 : 159 enodes (cost 9 ) 37.174 * * [simplify]: iteration 8 : 170 enodes (cost 9 ) 37.197 * * [simplify]: iteration done : 170 enodes (cost 9 ) 37.198 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 37.199 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 37.202 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 37.208 * * [simplify]: iteration 3 : 56 enodes (cost 9 ) 37.220 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 37.233 * * [simplify]: iteration 5 : 93 enodes (cost 9 ) 37.255 * * [simplify]: iteration 6 : 122 enodes (cost 9 ) 37.282 * * [simplify]: iteration 7 : 159 enodes (cost 9 ) 37.310 * * [simplify]: iteration 8 : 170 enodes (cost 9 ) 37.329 * * [simplify]: iteration done : 170 enodes (cost 9 ) 37.330 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 37.331 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 37.333 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 37.339 * * [simplify]: iteration 3 : 56 enodes (cost 9 ) 37.354 * * [simplify]: iteration 4 : 77 enodes (cost 9 ) 37.369 * * [simplify]: iteration 5 : 93 enodes (cost 9 ) 37.387 * * [simplify]: iteration 6 : 122 enodes (cost 9 ) 37.418 * * [simplify]: iteration 7 : 159 enodes (cost 9 ) 37.441 * * [simplify]: iteration 8 : 170 enodes (cost 9 ) 37.461 * * [simplify]: iteration done : 170 enodes (cost 9 ) 37.461 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 37.462 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 37.464 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 37.469 * * [simplify]: iteration done : 15 enodes (cost 5 ) 37.470 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 37.471 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 37.472 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 37.473 * * [simplify]: iteration done : 9 enodes (cost 5 ) 37.473 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 37.474 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 37.476 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 37.478 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 37.482 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 37.484 * * [simplify]: iteration done : 24 enodes (cost 5 ) 37.485 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 37.486 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 37.487 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 37.490 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 37.493 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 37.496 * * [simplify]: iteration done : 24 enodes (cost 5 ) 37.497 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 37.497 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 37.499 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 37.501 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 37.504 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 37.507 * * [simplify]: iteration done : 24 enodes (cost 5 ) 37.508 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 37.509 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 37.512 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 37.515 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 37.523 * * [simplify]: iteration 4 : 59 enodes (cost 9 ) 37.537 * * [simplify]: iteration 5 : 83 enodes (cost 9 ) 37.554 * * [simplify]: iteration 6 : 120 enodes (cost 9 ) 37.576 * * [simplify]: iteration 7 : 146 enodes (cost 9 ) 37.598 * * [simplify]: iteration 8 : 151 enodes (cost 9 ) 37.617 * * [simplify]: iteration done : 151 enodes (cost 9 ) 37.617 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 37.619 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 37.621 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 37.626 * * [simplify]: iteration 3 : 54 enodes (cost 9 ) 37.635 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 37.653 * * [simplify]: iteration 5 : 98 enodes (cost 9 ) 37.675 * * [simplify]: iteration 6 : 153 enodes (cost 9 ) 37.712 * * [simplify]: iteration 7 : 208 enodes (cost 9 ) 37.745 * * [simplify]: iteration 8 : 228 enodes (cost 9 ) 37.787 * * [simplify]: iteration 9 : 235 enodes (cost 9 ) 37.824 * * [simplify]: iteration done : 235 enodes (cost 9 ) 37.825 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 37.826 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 37.828 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 37.833 * * [simplify]: iteration 3 : 54 enodes (cost 9 ) 37.842 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 37.857 * * [simplify]: iteration 5 : 98 enodes (cost 9 ) 37.882 * * [simplify]: iteration 6 : 153 enodes (cost 9 ) 37.914 * * [simplify]: iteration 7 : 208 enodes (cost 9 ) 37.951 * * [simplify]: iteration 8 : 228 enodes (cost 9 ) 37.992 * * [simplify]: iteration 9 : 235 enodes (cost 9 ) 38.026 * * [simplify]: iteration done : 235 enodes (cost 9 ) 38.027 * [simplify]: Simplified to: (* x (- y 1.0)) (+ (log x) (log (- 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))) (* 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 (* 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 1.0) (+ y 1.0))) (exp (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (exp (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (log (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (exp (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (* (cbrt (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (cbrt (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673))) (cbrt (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (pow (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) 3) (sqrt (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (sqrt (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)) (+ (pow (- (* x (- y 1.0)) (* y 0.5)) 3) (pow 0.918938533204673 3)) (- (* 0.918938533204673 0.918938533204673) (* (- (* x (- y 1.0)) (* y 0.5)) (- 0.918938533204673 (- (* x (- y 1.0)) (* y 0.5))))) (- (* (- (* x (- y 1.0)) (* y 0.5)) (- (* x (- y 1.0)) (* y 0.5))) (* 0.918938533204673 0.918938533204673)) (- (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) (- 0.918938533204673 (* y 0.5)) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))) (- 0.918938533204673 (+ (* 1.0 x) (* y 0.5))) (- 0.918938533204673 (+ (* 1.0 x) (* y 0.5))) (- 0.918938533204673 (* y 0.5)) (- (* y 0.5) 0.918938533204673) (* x (- y 1.0)) (* x (- y 1.0)) (* x (- y 1.0)) (- 0.918938533204673 (+ (* 1.0 x) (* 0.5 y))) (- (* x (- y 1.0)) (* 0.5 y)) (- (* x (- y 1.0)) (* 0.5 y)) 38.027 * * * [progress]: adding candidates to table 38.089 * * [progress]: iteration 2 / 4 38.089 * * * [progress]: picking best candidate 38.092 * * * * [pick]: Picked # 38.092 * * * [progress]: localizing error 38.102 * * * [progress]: generating rewritten candidates 38.102 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 38.112 * * * [progress]: generating series expansions 38.112 * * * * [progress]: [ 1 / 1 ] generating series at (2) 38.112 * [approximate]: Taking taylor expansion of (- (+ (* x y) 0.918938533204673) (+ (* 1.0 x) (* 0.5 y))) in (x y) around 0 38.112 * [taylor]: Taking taylor expansion of (- (+ (* x y) 0.918938533204673) (+ (* 1.0 x) (* 0.5 y))) in y 38.112 * [taylor]: Taking taylor expansion of (+ (* x y) 0.918938533204673) in y 38.112 * [taylor]: Taking taylor expansion of (* x y) in y 38.112 * [taylor]: Taking taylor expansion of x in y 38.112 * [taylor]: Taking taylor expansion of y in y 38.112 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 38.112 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 0.5 y)) in y 38.112 * [taylor]: Taking taylor expansion of (* 1.0 x) in y 38.112 * [taylor]: Taking taylor expansion of 1.0 in y 38.112 * [taylor]: Taking taylor expansion of x in y 38.112 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 38.112 * [taylor]: Taking taylor expansion of 0.5 in y 38.112 * [taylor]: Taking taylor expansion of y in y 38.112 * [taylor]: Taking taylor expansion of (- (+ (* x y) 0.918938533204673) (+ (* 1.0 x) (* 0.5 y))) in x 38.112 * [taylor]: Taking taylor expansion of (+ (* x y) 0.918938533204673) in x 38.112 * [taylor]: Taking taylor expansion of (* x y) in x 38.112 * [taylor]: Taking taylor expansion of x in x 38.112 * [taylor]: Taking taylor expansion of y in x 38.112 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 38.112 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 0.5 y)) in x 38.112 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 38.112 * [taylor]: Taking taylor expansion of 1.0 in x 38.112 * [taylor]: Taking taylor expansion of x in x 38.112 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 38.112 * [taylor]: Taking taylor expansion of 0.5 in x 38.112 * [taylor]: Taking taylor expansion of y in x 38.112 * [taylor]: Taking taylor expansion of (- (+ (* x y) 0.918938533204673) (+ (* 1.0 x) (* 0.5 y))) in x 38.113 * [taylor]: Taking taylor expansion of (+ (* x y) 0.918938533204673) in x 38.113 * [taylor]: Taking taylor expansion of (* x y) in x 38.113 * [taylor]: Taking taylor expansion of x in x 38.113 * [taylor]: Taking taylor expansion of y in x 38.113 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 38.113 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) (* 0.5 y)) in x 38.113 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 38.113 * [taylor]: Taking taylor expansion of 1.0 in x 38.113 * [taylor]: Taking taylor expansion of x in x 38.113 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 38.113 * [taylor]: Taking taylor expansion of 0.5 in x 38.113 * [taylor]: Taking taylor expansion of y in x 38.113 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 y)) in y 38.113 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 38.113 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 38.113 * [taylor]: Taking taylor expansion of 0.5 in y 38.113 * [taylor]: Taking taylor expansion of y in y 38.113 * [taylor]: Taking taylor expansion of (- y 1.0) in y 38.113 * [taylor]: Taking taylor expansion of y in y 38.113 * [taylor]: Taking taylor expansion of 1.0 in y 38.114 * [approximate]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y)))) in (x y) around 0 38.114 * [taylor]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y)))) in y 38.114 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (/ 1 (* x y))) in y 38.114 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 38.114 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 38.114 * [taylor]: Taking taylor expansion of (* x y) in y 38.114 * [taylor]: Taking taylor expansion of x in y 38.114 * [taylor]: Taking taylor expansion of y in y 38.114 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y))) in y 38.114 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 38.114 * [taylor]: Taking taylor expansion of 1.0 in y 38.114 * [taylor]: Taking taylor expansion of (/ 1 x) in y 38.114 * [taylor]: Taking taylor expansion of x in y 38.114 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 38.114 * [taylor]: Taking taylor expansion of 0.5 in y 38.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.114 * [taylor]: Taking taylor expansion of y in y 38.114 * [taylor]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y)))) in x 38.114 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (/ 1 (* x y))) in x 38.114 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 38.114 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 38.114 * [taylor]: Taking taylor expansion of (* x y) in x 38.114 * [taylor]: Taking taylor expansion of x in x 38.114 * [taylor]: Taking taylor expansion of y in x 38.114 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y))) in x 38.114 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 38.114 * [taylor]: Taking taylor expansion of 1.0 in x 38.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.114 * [taylor]: Taking taylor expansion of x in x 38.114 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 38.114 * [taylor]: Taking taylor expansion of 0.5 in x 38.115 * [taylor]: Taking taylor expansion of (/ 1 y) in x 38.115 * [taylor]: Taking taylor expansion of y in x 38.115 * [taylor]: Taking taylor expansion of (- (+ 0.918938533204673 (/ 1 (* x y))) (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y)))) in x 38.115 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (/ 1 (* x y))) in x 38.115 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 38.115 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 38.115 * [taylor]: Taking taylor expansion of (* x y) in x 38.115 * [taylor]: Taking taylor expansion of x in x 38.115 * [taylor]: Taking taylor expansion of y in x 38.115 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (* 0.5 (/ 1 y))) in x 38.115 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 38.115 * [taylor]: Taking taylor expansion of 1.0 in x 38.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.115 * [taylor]: Taking taylor expansion of x in x 38.115 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 38.115 * [taylor]: Taking taylor expansion of 0.5 in x 38.115 * [taylor]: Taking taylor expansion of (/ 1 y) in x 38.115 * [taylor]: Taking taylor expansion of y in x 38.115 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 38.115 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.115 * [taylor]: Taking taylor expansion of y in y 38.115 * [taylor]: Taking taylor expansion of 1.0 in y 38.115 * [taylor]: Taking taylor expansion of (- 0.918938533204673 (* 0.5 (/ 1 y))) in y 38.116 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 38.116 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 38.116 * [taylor]: Taking taylor expansion of 0.5 in y 38.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.116 * [taylor]: Taking taylor expansion of y in y 38.116 * [approximate]: Taking taylor expansion of (+ 0.918938533204673 (+ (* 1.0 (/ 1 x)) (+ (* 0.5 (/ 1 y)) (/ 1 (* x y))))) in (x y) around 0 38.116 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (+ (* 1.0 (/ 1 x)) (+ (* 0.5 (/ 1 y)) (/ 1 (* x y))))) in y 38.116 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 38.116 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (+ (* 0.5 (/ 1 y)) (/ 1 (* x y)))) in y 38.116 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in y 38.116 * [taylor]: Taking taylor expansion of 1.0 in y 38.116 * [taylor]: Taking taylor expansion of (/ 1 x) in y 38.116 * [taylor]: Taking taylor expansion of x in y 38.116 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (/ 1 (* x y))) in y 38.116 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 38.116 * [taylor]: Taking taylor expansion of 0.5 in y 38.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.116 * [taylor]: Taking taylor expansion of y in y 38.116 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 38.116 * [taylor]: Taking taylor expansion of (* x y) in y 38.116 * [taylor]: Taking taylor expansion of x in y 38.116 * [taylor]: Taking taylor expansion of y in y 38.117 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (+ (* 1.0 (/ 1 x)) (+ (* 0.5 (/ 1 y)) (/ 1 (* x y))))) in x 38.117 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 38.117 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (+ (* 0.5 (/ 1 y)) (/ 1 (* x y)))) in x 38.117 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 38.117 * [taylor]: Taking taylor expansion of 1.0 in x 38.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.117 * [taylor]: Taking taylor expansion of x in x 38.117 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (/ 1 (* x y))) in x 38.117 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 38.117 * [taylor]: Taking taylor expansion of 0.5 in x 38.117 * [taylor]: Taking taylor expansion of (/ 1 y) in x 38.117 * [taylor]: Taking taylor expansion of y in x 38.117 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 38.117 * [taylor]: Taking taylor expansion of (* x y) in x 38.117 * [taylor]: Taking taylor expansion of x in x 38.117 * [taylor]: Taking taylor expansion of y in x 38.117 * [taylor]: Taking taylor expansion of (+ 0.918938533204673 (+ (* 1.0 (/ 1 x)) (+ (* 0.5 (/ 1 y)) (/ 1 (* x y))))) in x 38.117 * [taylor]: Taking taylor expansion of 0.918938533204673 in x 38.117 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 x)) (+ (* 0.5 (/ 1 y)) (/ 1 (* x y)))) in x 38.117 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 38.117 * [taylor]: Taking taylor expansion of 1.0 in x 38.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x 38.117 * [taylor]: Taking taylor expansion of x in x 38.117 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (/ 1 (* x y))) in x 38.117 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 38.117 * [taylor]: Taking taylor expansion of 0.5 in x 38.117 * [taylor]: Taking taylor expansion of (/ 1 y) in x 38.117 * [taylor]: Taking taylor expansion of y in x 38.117 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 38.117 * [taylor]: Taking taylor expansion of (* x y) in x 38.117 * [taylor]: Taking taylor expansion of x in x 38.117 * [taylor]: Taking taylor expansion of y in x 38.118 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 38.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.118 * [taylor]: Taking taylor expansion of y in y 38.118 * [taylor]: Taking taylor expansion of 1.0 in y 38.118 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) 0.918938533204673) in y 38.118 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 38.118 * [taylor]: Taking taylor expansion of 0.5 in y 38.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y 38.118 * [taylor]: Taking taylor expansion of y in y 38.118 * [taylor]: Taking taylor expansion of 0.918938533204673 in y 38.118 * * * [progress]: simplifying candidates 38.119 * [simplify]: Simplifying using # : (* (exp (* x y)) (/ (exp 0.918938533204673) (* (exp (* x 1.0)) (exp (* y 0.5))))) (* (exp (* x y)) (/ (exp 0.918938533204673) (exp (+ (* x 1.0) (* y 0.5))))) (* (exp (* x y)) (exp (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))))) (log (+ (* x y) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))))) (exp (+ (* x y) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))))) (* (cbrt (+ (* x y) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))))) (cbrt (+ (* x y) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5)))))) (cbrt (+ (* x y) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))))) (* (* (+ (* x y) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5)))) (+ (* x y) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))))) (+ (* x y) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))))) (sqrt (+ (* x y) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))))) (sqrt (+ (* x y) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))))) (+ (pow (* x y) 3) (pow (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))) 3)) (+ (* (* x y) (* x y)) (- (* (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5)))) (* (* x y) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5)))))) (- (* (* x y) (* x y)) (* (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))))) (- (* x y) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5)))) (+ (* x y) 0.918938533204673) (+ (* x y) 0.918938533204673) (+ (* x y) 0.918938533204673) (- 0.918938533204673 (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) (- (* x y) (+ (* 1.0 x) (* 0.5 y))) 38.120 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 38.122 * * [simplify]: iteration 1 : 31 enodes (cost 16 ) 38.127 * * [simplify]: iteration 2 : 70 enodes (cost 15 ) 38.139 * * [simplify]: iteration 3 : 209 enodes (cost 14 ) 38.213 * * [simplify]: iteration 4 : 970 enodes (cost 12 ) 39.162 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 39.162 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 39.164 * * [simplify]: iteration 1 : 28 enodes (cost 15 ) 39.168 * * [simplify]: iteration 2 : 63 enodes (cost 14 ) 39.182 * * [simplify]: iteration 3 : 154 enodes (cost 14 ) 39.221 * * [simplify]: iteration 4 : 579 enodes (cost 12 ) 39.801 * * [simplify]: iteration 5 : 3660 enodes (cost 12 ) 41.017 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 41.018 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 41.020 * * [simplify]: iteration 1 : 29 enodes (cost 14 ) 41.024 * * [simplify]: iteration 2 : 62 enodes (cost 14 ) 41.035 * * [simplify]: iteration 3 : 172 enodes (cost 14 ) 41.083 * * [simplify]: iteration 4 : 480 enodes (cost 12 ) 41.628 * * [simplify]: iteration 5 : 1793 enodes (cost 12 ) 42.547 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 42.548 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 42.550 * * [simplify]: iteration 1 : 23 enodes (cost 14 ) 42.553 * * [simplify]: iteration 2 : 46 enodes (cost 14 ) 42.562 * * [simplify]: iteration 3 : 105 enodes (cost 12 ) 42.593 * * [simplify]: iteration 4 : 191 enodes (cost 12 ) 42.675 * * [simplify]: iteration 5 : 336 enodes (cost 12 ) 42.819 * * [simplify]: iteration 6 : 520 enodes (cost 12 ) 42.981 * * [simplify]: iteration 7 : 620 enodes (cost 12 ) 43.122 * * [simplify]: iteration 8 : 645 enodes (cost 12 ) 43.278 * * [simplify]: iteration 9 : 648 enodes (cost 12 ) 43.434 * * [simplify]: iteration done : 648 enodes (cost 12 ) 43.435 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 43.437 * * [simplify]: iteration 1 : 26 enodes (cost 14 ) 43.440 * * [simplify]: iteration 2 : 64 enodes (cost 14 ) 43.453 * * [simplify]: iteration 3 : 170 enodes (cost 12 ) 43.501 * * [simplify]: iteration 4 : 402 enodes (cost 12 ) 43.726 * * [simplify]: iteration 5 : 1165 enodes (cost 12 ) 45.086 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 45.086 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 45.088 * * [simplify]: iteration 1 : 24 enodes (cost 29 ) 45.092 * * [simplify]: iteration 2 : 47 enodes (cost 29 ) 45.100 * * [simplify]: iteration 3 : 106 enodes (cost 25 ) 45.131 * * [simplify]: iteration 4 : 192 enodes (cost 25 ) 45.215 * * [simplify]: iteration 5 : 337 enodes (cost 25 ) 45.360 * * [simplify]: iteration 6 : 521 enodes (cost 25 ) 45.522 * * [simplify]: iteration 7 : 623 enodes (cost 25 ) 45.668 * * [simplify]: iteration 8 : 646 enodes (cost 25 ) 45.826 * * [simplify]: iteration 9 : 647 enodes (cost 25 ) 45.985 * * [simplify]: iteration done : 647 enodes (cost 25 ) 45.985 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 45.987 * * [simplify]: iteration 1 : 23 enodes (cost 14 ) 45.990 * * [simplify]: iteration 2 : 46 enodes (cost 14 ) 45.999 * * [simplify]: iteration 3 : 105 enodes (cost 12 ) 46.030 * * [simplify]: iteration 4 : 191 enodes (cost 12 ) 46.113 * * [simplify]: iteration 5 : 336 enodes (cost 12 ) 46.259 * * [simplify]: iteration 6 : 520 enodes (cost 12 ) 46.422 * * [simplify]: iteration 7 : 620 enodes (cost 12 ) 46.565 * * [simplify]: iteration 8 : 645 enodes (cost 12 ) 46.725 * * [simplify]: iteration 9 : 648 enodes (cost 12 ) 46.881 * * [simplify]: iteration done : 648 enodes (cost 12 ) 46.882 * * [simplify]: iteration 0 : 13 enodes (cost 41 ) 46.884 * * [simplify]: iteration 1 : 37 enodes (cost 41 ) 46.891 * * [simplify]: iteration 2 : 120 enodes (cost 15 ) 46.932 * * [simplify]: iteration 3 : 554 enodes (cost 13 ) 47.400 * * [simplify]: iteration 4 : 3838 enodes (cost 13 ) 48.804 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 48.805 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 48.807 * * [simplify]: iteration 1 : 23 enodes (cost 14 ) 48.810 * * [simplify]: iteration 2 : 46 enodes (cost 14 ) 48.819 * * [simplify]: iteration 3 : 105 enodes (cost 12 ) 48.847 * * [simplify]: iteration 4 : 191 enodes (cost 12 ) 48.932 * * [simplify]: iteration 5 : 336 enodes (cost 12 ) 49.071 * * [simplify]: iteration 6 : 520 enodes (cost 12 ) 49.230 * * [simplify]: iteration 7 : 620 enodes (cost 12 ) 49.371 * * [simplify]: iteration 8 : 645 enodes (cost 12 ) 49.522 * * [simplify]: iteration 9 : 648 enodes (cost 12 ) 49.675 * * [simplify]: iteration done : 648 enodes (cost 12 ) 49.676 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 49.678 * * [simplify]: iteration 1 : 23 enodes (cost 14 ) 49.681 * * [simplify]: iteration 2 : 46 enodes (cost 14 ) 49.689 * * [simplify]: iteration 3 : 105 enodes (cost 12 ) 49.716 * * [simplify]: iteration 4 : 191 enodes (cost 12 ) 49.801 * * [simplify]: iteration 5 : 336 enodes (cost 12 ) 49.944 * * [simplify]: iteration 6 : 520 enodes (cost 12 ) 50.109 * * [simplify]: iteration 7 : 620 enodes (cost 12 ) 50.252 * * [simplify]: iteration 8 : 645 enodes (cost 12 ) 50.407 * * [simplify]: iteration 9 : 648 enodes (cost 12 ) 50.562 * * [simplify]: iteration done : 648 enodes (cost 12 ) 50.563 * * [simplify]: iteration 0 : 14 enodes (cost 17 ) 50.565 * * [simplify]: iteration 1 : 39 enodes (cost 17 ) 50.572 * * [simplify]: iteration 2 : 98 enodes (cost 17 ) 50.593 * * [simplify]: iteration 3 : 274 enodes (cost 17 ) 50.697 * * [simplify]: iteration 4 : 954 enodes (cost 17 ) 51.398 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 51.399 * * [simplify]: iteration 0 : 15 enodes (cost 41 ) 51.401 * * [simplify]: iteration 1 : 40 enodes (cost 31 ) 51.408 * * [simplify]: iteration 2 : 109 enodes (cost 31 ) 51.435 * * [simplify]: iteration 3 : 375 enodes (cost 29 ) 51.635 * * [simplify]: iteration 4 : 1686 enodes (cost 29 ) 52.537 * * [simplify]: iteration done : 5000 enodes (cost 29 ) 52.538 * * [simplify]: iteration 0 : 13 enodes (cost 27 ) 52.541 * * [simplify]: iteration 1 : 33 enodes (cost 27 ) 52.546 * * [simplify]: iteration 2 : 76 enodes (cost 27 ) 52.561 * * [simplify]: iteration 3 : 240 enodes (cost 27 ) 52.668 * * [simplify]: iteration 4 : 1212 enodes (cost 25 ) 53.748 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 53.749 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 53.750 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 53.756 * * [simplify]: iteration 2 : 45 enodes (cost 13 ) 53.764 * * [simplify]: iteration 3 : 102 enodes (cost 13 ) 53.791 * * [simplify]: iteration 4 : 223 enodes (cost 13 ) 53.860 * * [simplify]: iteration 5 : 314 enodes (cost 11 ) 53.952 * * [simplify]: iteration 6 : 427 enodes (cost 11 ) 54.105 * * [simplify]: iteration 7 : 612 enodes (cost 11 ) 54.260 * * [simplify]: iteration 8 : 659 enodes (cost 11 ) 54.425 * * [simplify]: iteration 9 : 665 enodes (cost 11 ) 54.582 * * [simplify]: iteration done : 665 enodes (cost 11 ) 54.583 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 54.584 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 54.584 * * [simplify]: iteration done : 7 enodes (cost 5 ) 54.585 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 54.586 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 54.586 * * [simplify]: iteration done : 7 enodes (cost 5 ) 54.587 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 54.587 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 54.588 * * [simplify]: iteration done : 7 enodes (cost 5 ) 54.589 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 54.590 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 54.592 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 54.595 * * [simplify]: iteration 3 : 47 enodes (cost 9 ) 54.603 * * [simplify]: iteration 4 : 59 enodes (cost 9 ) 54.614 * * [simplify]: iteration 5 : 83 enodes (cost 9 ) 54.632 * * [simplify]: iteration 6 : 120 enodes (cost 9 ) 54.657 * * [simplify]: iteration 7 : 146 enodes (cost 9 ) 54.675 * * [simplify]: iteration 8 : 151 enodes (cost 9 ) 54.698 * * [simplify]: iteration done : 151 enodes (cost 9 ) 54.698 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 54.700 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 54.702 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 54.707 * * [simplify]: iteration 3 : 54 enodes (cost 9 ) 54.717 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 54.730 * * [simplify]: iteration 5 : 98 enodes (cost 9 ) 54.756 * * [simplify]: iteration 6 : 153 enodes (cost 9 ) 54.788 * * [simplify]: iteration 7 : 208 enodes (cost 9 ) 54.825 * * [simplify]: iteration 8 : 228 enodes (cost 9 ) 54.867 * * [simplify]: iteration 9 : 235 enodes (cost 9 ) 54.901 * * [simplify]: iteration done : 235 enodes (cost 9 ) 54.902 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 54.903 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 54.905 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 54.910 * * [simplify]: iteration 3 : 54 enodes (cost 9 ) 54.922 * * [simplify]: iteration 4 : 69 enodes (cost 9 ) 54.937 * * [simplify]: iteration 5 : 98 enodes (cost 9 ) 54.959 * * [simplify]: iteration 6 : 153 enodes (cost 9 ) 54.995 * * [simplify]: iteration 7 : 208 enodes (cost 9 ) 55.029 * * [simplify]: iteration 8 : 228 enodes (cost 9 ) 55.071 * * [simplify]: iteration 9 : 235 enodes (cost 9 ) 55.109 * * [simplify]: iteration done : 235 enodes (cost 9 ) 55.110 * [simplify]: Simplified to: (exp (+ (- 0.918938533204673 (* y 0.5)) (* x (- y 1.0)))) (exp (+ (- 0.918938533204673 (* y 0.5)) (* x (- y 1.0)))) (exp (- (- 0.918938533204673 (* x 1.0)) (* y (- 0.5 x)))) (log (- (- 0.918938533204673 (* x 1.0)) (* y (- 0.5 x)))) (exp (- (- 0.918938533204673 (* x 1.0)) (* y (- 0.5 x)))) (* (cbrt (- (- 0.918938533204673 (* x 1.0)) (* y (- 0.5 x)))) (cbrt (- (- 0.918938533204673 (* x 1.0)) (* y (- 0.5 x))))) (cbrt (- (- 0.918938533204673 (* x 1.0)) (* y (- 0.5 x)))) (pow (- (- 0.918938533204673 (* x 1.0)) (* y (- 0.5 x))) 3) (sqrt (- (- 0.918938533204673 (* x 1.0)) (* y (- 0.5 x)))) (sqrt (- (- 0.918938533204673 (* x 1.0)) (* y (- 0.5 x)))) (+ (pow (* x y) 3) (pow (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))) 3)) (+ (* (* x y) (* x y)) (* (- (- 0.918938533204673 (* x 1.0)) (* y (+ 0.5 x))) (- 0.918938533204673 (+ (* x 1.0) (* y 0.5))))) (* (- (* y (+ 0.5 x)) (- 0.918938533204673 (* x 1.0))) (- (- 0.918938533204673 (* y 0.5)) (* x (- 1.0 y)))) (- (* x (+ y 1.0)) (- 0.918938533204673 (* y 0.5))) (+ (* x y) 0.918938533204673) (+ (* x y) 0.918938533204673) (+ (* x y) 0.918938533204673) (- 0.918938533204673 (+ (* 1.0 x) (* 0.5 y))) (- (* x (- y 1.0)) (* 0.5 y)) (- (* x (- y 1.0)) (* 0.5 y)) 55.110 * * * [progress]: adding candidates to table 55.134 * [progress]: [Phase 3 of 3] Extracting. 55.134 * * [regime]: Finding splitpoints for: (# #) 55.134 * * * [regime-changes]: Trying 4 branch expressions: ((- (* x (- y 1.0)) (* y 0.5)) (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) y x) 55.134 * * * * [regimes]: Trying to branch on (- (* x (- y 1.0)) (* y 0.5)) from (# #) 55.175 * * * * [regimes]: Trying to branch on (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673) from (# #) 55.211 * * * * [regimes]: Trying to branch on y from (# #) 55.246 * * * * [regimes]: Trying to branch on x from (# #) 55.279 * * * [regime]: Found split indices: #