464.112 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying using # : (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) 0.029 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.031 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 0.034 * * [simplify]: iteration 2 : 47 enodes (cost 15 ) 0.041 * * [simplify]: iteration 3 : 86 enodes (cost 15 ) 0.056 * * [simplify]: iteration 4 : 166 enodes (cost 15 ) 0.100 * * [simplify]: iteration 5 : 291 enodes (cost 15 ) 0.198 * * [simplify]: iteration 6 : 520 enodes (cost 15 ) 0.454 * * [simplify]: iteration 7 : 870 enodes (cost 15 ) 1.796 * * [simplify]: iteration 8 : 2670 enodes (cost 15 ) 3.927 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 3.927 * [simplify]: Simplified to: (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) 3.927 * * [progress]: iteration 1 / 4 3.927 * * * [progress]: picking best candidate 3.936 * * * * [pick]: Picked # 3.936 * * * [progress]: localizing error 3.946 * * * [progress]: generating rewritten candidates 3.946 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.960 * * * [progress]: generating series expansions 3.960 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.960 * [approximate]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in (x y) around 0 3.961 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in y 3.961 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in y 3.961 * [taylor]: Taking taylor expansion of (+ x y) in y 3.961 * [taylor]: Taking taylor expansion of x in y 3.961 * [taylor]: Taking taylor expansion of y in y 3.961 * [taylor]: Taking taylor expansion of (- x y) in y 3.961 * [taylor]: Taking taylor expansion of x in y 3.961 * [taylor]: Taking taylor expansion of y in y 3.961 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 3.961 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.961 * [taylor]: Taking taylor expansion of x in y 3.961 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.961 * [taylor]: Taking taylor expansion of y in y 3.961 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in x 3.961 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x 3.961 * [taylor]: Taking taylor expansion of (+ x y) in x 3.961 * [taylor]: Taking taylor expansion of x in x 3.961 * [taylor]: Taking taylor expansion of y in x 3.961 * [taylor]: Taking taylor expansion of (- x y) in x 3.961 * [taylor]: Taking taylor expansion of x in x 3.961 * [taylor]: Taking taylor expansion of y in x 3.961 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 3.961 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.961 * [taylor]: Taking taylor expansion of x in x 3.961 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.961 * [taylor]: Taking taylor expansion of y in x 3.962 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in x 3.962 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x 3.962 * [taylor]: Taking taylor expansion of (+ x y) in x 3.962 * [taylor]: Taking taylor expansion of x in x 3.962 * [taylor]: Taking taylor expansion of y in x 3.962 * [taylor]: Taking taylor expansion of (- x y) in x 3.962 * [taylor]: Taking taylor expansion of x in x 3.962 * [taylor]: Taking taylor expansion of y in x 3.962 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 3.962 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.962 * [taylor]: Taking taylor expansion of x in x 3.962 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.962 * [taylor]: Taking taylor expansion of y in x 3.962 * [taylor]: Taking taylor expansion of -1 in y 3.962 * [taylor]: Taking taylor expansion of 0 in y 3.963 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 3.963 * [taylor]: Taking taylor expansion of 2 in y 3.963 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.963 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.963 * [taylor]: Taking taylor expansion of y in y 3.964 * [taylor]: Taking taylor expansion of 0 in y 3.964 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in (x y) around 0 3.964 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y 3.964 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in y 3.964 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 3.964 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.964 * [taylor]: Taking taylor expansion of x in y 3.964 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.964 * [taylor]: Taking taylor expansion of y in y 3.964 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 3.964 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.964 * [taylor]: Taking taylor expansion of x in y 3.964 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.964 * [taylor]: Taking taylor expansion of y in y 3.964 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 3.964 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.964 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.964 * [taylor]: Taking taylor expansion of x in y 3.964 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.964 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.964 * [taylor]: Taking taylor expansion of y in y 3.964 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 3.964 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in x 3.964 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 3.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.965 * [taylor]: Taking taylor expansion of x in x 3.965 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.965 * [taylor]: Taking taylor expansion of y in x 3.965 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 3.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.965 * [taylor]: Taking taylor expansion of x in x 3.965 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.965 * [taylor]: Taking taylor expansion of y in x 3.965 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 3.965 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.965 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.965 * [taylor]: Taking taylor expansion of x in x 3.965 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 3.965 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.965 * [taylor]: Taking taylor expansion of y in x 3.965 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 3.965 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in x 3.965 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 3.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.965 * [taylor]: Taking taylor expansion of x in x 3.965 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.965 * [taylor]: Taking taylor expansion of y in x 3.965 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 3.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.965 * [taylor]: Taking taylor expansion of x in x 3.965 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.965 * [taylor]: Taking taylor expansion of y in x 3.965 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 3.965 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.965 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.965 * [taylor]: Taking taylor expansion of x in x 3.965 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 3.965 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.965 * [taylor]: Taking taylor expansion of y in x 3.966 * [taylor]: Taking taylor expansion of 1 in y 3.966 * [taylor]: Taking taylor expansion of 0 in y 3.967 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow y 2)))) in y 3.967 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 3.967 * [taylor]: Taking taylor expansion of 2 in y 3.967 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.967 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.967 * [taylor]: Taking taylor expansion of y in y 3.968 * [taylor]: Taking taylor expansion of 0 in y 3.968 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in (x y) around 0 3.968 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in y 3.968 * [taylor]: Taking taylor expansion of -1 in y 3.968 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y 3.968 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) in y 3.968 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 3.968 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.968 * [taylor]: Taking taylor expansion of x in y 3.968 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.968 * [taylor]: Taking taylor expansion of y in y 3.968 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 3.968 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.968 * [taylor]: Taking taylor expansion of y in y 3.968 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.968 * [taylor]: Taking taylor expansion of x in y 3.968 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 3.968 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 3.968 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.968 * [taylor]: Taking taylor expansion of x in y 3.969 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.969 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.969 * [taylor]: Taking taylor expansion of y in y 3.969 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in x 3.969 * [taylor]: Taking taylor expansion of -1 in x 3.969 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 3.969 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) in x 3.969 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 3.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.969 * [taylor]: Taking taylor expansion of x in x 3.969 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.969 * [taylor]: Taking taylor expansion of y in x 3.969 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 3.969 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.969 * [taylor]: Taking taylor expansion of y in x 3.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.969 * [taylor]: Taking taylor expansion of x in x 3.969 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 3.969 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.969 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.969 * [taylor]: Taking taylor expansion of x in x 3.969 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 3.969 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.969 * [taylor]: Taking taylor expansion of y in x 3.969 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in x 3.969 * [taylor]: Taking taylor expansion of -1 in x 3.969 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 3.969 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) in x 3.969 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 3.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.969 * [taylor]: Taking taylor expansion of x in x 3.970 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.970 * [taylor]: Taking taylor expansion of y in x 3.970 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 3.970 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.970 * [taylor]: Taking taylor expansion of y in x 3.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.970 * [taylor]: Taking taylor expansion of x in x 3.970 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 3.970 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.970 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.970 * [taylor]: Taking taylor expansion of x in x 3.970 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 3.970 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.970 * [taylor]: Taking taylor expansion of y in x 3.970 * [taylor]: Taking taylor expansion of 1 in y 3.970 * [taylor]: Taking taylor expansion of 0 in y 3.971 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow y 2)))) in y 3.971 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 3.971 * [taylor]: Taking taylor expansion of 2 in y 3.971 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.971 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.971 * [taylor]: Taking taylor expansion of y in y 3.972 * [taylor]: Taking taylor expansion of 0 in y 3.972 * * * [progress]: simplifying candidates 3.973 * [simplify]: Simplifying using # : (- (+ (log (- x y)) (log (+ x y))) (log (+ (* x x) (* y y)))) (- (log (* (- x y) (+ x y))) (log (+ (* x x) (* y y)))) (log (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (exp (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (/ (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ x y)) (+ x y))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y)))) (/ (* (* (* (- x y) (+ x y)) (* (- x y) (+ x y))) (* (- x y) (+ x y))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y)))) (* (cbrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (cbrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))) (cbrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (* (* (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (sqrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (sqrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (neg (* (- x y) (+ x y))) (neg (+ (* x x) (* y y))) (/ (- x y) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (/ (+ x y) (cbrt (+ (* x x) (* y y)))) (/ (- x y) (sqrt (+ (* x x) (* y y)))) (/ (+ x y) (sqrt (+ (* x x) (* y y)))) (/ (- x y) 1) (/ (+ x y) (+ (* x x) (* y y))) (/ 1 (+ (* x x) (* y y))) (/ (+ (* x x) (* y y)) (* (- x y) (+ x y))) (/ (* (- x y) (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (/ (* (- x y) (+ x y)) (sqrt (+ (* x x) (* y y)))) (/ (* (- x y) (+ x y)) 1) (/ (+ (* x x) (* y y)) (+ x y)) (/ (* (- x y) (+ x y)) (+ (pow (* x x) 3) (pow (* y y) 3))) (/ (* (- x y) (+ x y)) (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (+ (* x x) (* y y)) (* (+ (* x x) (+ (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* x x) (* y y)) (* (+ (* x x) (+ (* y y) (* x y))) (- x y))) (* (+ (* x x) (* y y)) (* (+ x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* x x) (* y y)) (* (+ x y) (- x y))) (* (+ (* x x) (* y y)) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* x x) (* y y)) (- x y)) (* (+ (* x x) (* y y)) (+ (* x x) (+ (* y y) (* x y)))) (* (+ (* x x) (* y y)) (+ x y)) -1 1 1 3.974 * * [simplify]: iteration 0 : 12 enodes (cost 18 ) 3.975 * * [simplify]: iteration 1 : 21 enodes (cost 18 ) 3.977 * * [simplify]: iteration 2 : 29 enodes (cost 18 ) 3.981 * * [simplify]: iteration 3 : 35 enodes (cost 18 ) 3.985 * * [simplify]: iteration 4 : 41 enodes (cost 18 ) 3.989 * * [simplify]: iteration 5 : 50 enodes (cost 18 ) 3.996 * * [simplify]: iteration 6 : 63 enodes (cost 18 ) 4.005 * * [simplify]: iteration 7 : 81 enodes (cost 18 ) 4.019 * * [simplify]: iteration 8 : 97 enodes (cost 18 ) 4.029 * * [simplify]: iteration 9 : 104 enodes (cost 18 ) 4.044 * * [simplify]: iteration 10 : 121 enodes (cost 18 ) 4.057 * * [simplify]: iteration 11 : 123 enodes (cost 18 ) 4.073 * * [simplify]: iteration done : 123 enodes (cost 18 ) 4.074 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 4.076 * * [simplify]: iteration 1 : 27 enodes (cost 17 ) 4.079 * * [simplify]: iteration 2 : 51 enodes (cost 17 ) 4.086 * * [simplify]: iteration 3 : 81 enodes (cost 17 ) 4.099 * * [simplify]: iteration 4 : 127 enodes (cost 17 ) 4.130 * * [simplify]: iteration 5 : 199 enodes (cost 17 ) 4.188 * * [simplify]: iteration 6 : 302 enodes (cost 17 ) 4.321 * * [simplify]: iteration 7 : 494 enodes (cost 17 ) 4.971 * * [simplify]: iteration 8 : 1534 enodes (cost 17 ) 10.846 * * [simplify]: iteration 9 : 4802 enodes (cost 17 ) 11.969 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 11.970 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 11.971 * * [simplify]: iteration 1 : 26 enodes (cost 16 ) 11.975 * * [simplify]: iteration 2 : 59 enodes (cost 16 ) 11.991 * * [simplify]: iteration 3 : 114 enodes (cost 16 ) 12.011 * * [simplify]: iteration 4 : 210 enodes (cost 16 ) 12.057 * * [simplify]: iteration 5 : 345 enodes (cost 16 ) 12.159 * * [simplify]: iteration 6 : 586 enodes (cost 16 ) 12.420 * * [simplify]: iteration 7 : 958 enodes (cost 16 ) 13.780 * * [simplify]: iteration 8 : 2782 enodes (cost 16 ) 15.985 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 15.985 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 15.987 * * [simplify]: iteration 1 : 23 enodes (cost 16 ) 15.990 * * [simplify]: iteration 2 : 48 enodes (cost 16 ) 15.999 * * [simplify]: iteration 3 : 92 enodes (cost 16 ) 16.016 * * [simplify]: iteration 4 : 192 enodes (cost 16 ) 16.062 * * [simplify]: iteration 5 : 361 enodes (cost 16 ) 16.172 * * [simplify]: iteration 6 : 738 enodes (cost 16 ) 16.550 * * [simplify]: iteration 7 : 1678 enodes (cost 16 ) 17.536 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 17.537 * * [simplify]: iteration 0 : 15 enodes (cost 47 ) 17.540 * * [simplify]: iteration 1 : 58 enodes (cost 47 ) 17.559 * * [simplify]: iteration 2 : 271 enodes (cost 21 ) 17.656 * * [simplify]: iteration 3 : 1205 enodes (cost 21 ) 18.653 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 18.654 * * [simplify]: iteration 0 : 13 enodes (cost 47 ) 18.657 * * [simplify]: iteration 1 : 54 enodes (cost 47 ) 18.670 * * [simplify]: iteration 2 : 279 enodes (cost 19 ) 18.800 * * [simplify]: iteration 3 : 1463 enodes (cost 17 ) 20.245 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 20.246 * * [simplify]: iteration 0 : 11 enodes (cost 33 ) 20.248 * * [simplify]: iteration 1 : 24 enodes (cost 33 ) 20.251 * * [simplify]: iteration 2 : 49 enodes (cost 33 ) 20.259 * * [simplify]: iteration 3 : 88 enodes (cost 33 ) 20.274 * * [simplify]: iteration 4 : 168 enodes (cost 33 ) 20.315 * * [simplify]: iteration 5 : 293 enodes (cost 33 ) 20.410 * * [simplify]: iteration 6 : 522 enodes (cost 33 ) 20.667 * * [simplify]: iteration 7 : 869 enodes (cost 33 ) 22.009 * * [simplify]: iteration 8 : 2680 enodes (cost 33 ) 24.070 * * [simplify]: iteration done : 5000 enodes (cost 33 ) 24.071 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 24.072 * * [simplify]: iteration 1 : 23 enodes (cost 16 ) 24.075 * * [simplify]: iteration 2 : 48 enodes (cost 16 ) 24.083 * * [simplify]: iteration 3 : 87 enodes (cost 16 ) 24.098 * * [simplify]: iteration 4 : 168 enodes (cost 16 ) 24.138 * * [simplify]: iteration 5 : 293 enodes (cost 16 ) 24.234 * * [simplify]: iteration 6 : 522 enodes (cost 16 ) 24.490 * * [simplify]: iteration 7 : 872 enodes (cost 16 ) 25.759 * * [simplify]: iteration 8 : 2667 enodes (cost 16 ) 27.739 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 27.740 * * [simplify]: iteration 0 : 11 enodes (cost 47 ) 27.741 * * [simplify]: iteration 1 : 31 enodes (cost 47 ) 27.753 * * [simplify]: iteration 2 : 105 enodes (cost 17 ) 27.784 * * [simplify]: iteration 3 : 515 enodes (cost 17 ) 28.292 * * [simplify]: iteration 4 : 3575 enodes (cost 17 ) 29.681 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 29.682 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 29.683 * * [simplify]: iteration 1 : 23 enodes (cost 16 ) 29.686 * * [simplify]: iteration 2 : 48 enodes (cost 16 ) 29.695 * * [simplify]: iteration 3 : 87 enodes (cost 16 ) 29.710 * * [simplify]: iteration 4 : 168 enodes (cost 16 ) 29.750 * * [simplify]: iteration 5 : 293 enodes (cost 16 ) 29.845 * * [simplify]: iteration 6 : 522 enodes (cost 16 ) 30.091 * * [simplify]: iteration 7 : 872 enodes (cost 16 ) 31.362 * * [simplify]: iteration 8 : 2667 enodes (cost 16 ) 33.516 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 33.516 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 33.518 * * [simplify]: iteration 1 : 23 enodes (cost 16 ) 33.521 * * [simplify]: iteration 2 : 48 enodes (cost 16 ) 33.534 * * [simplify]: iteration 3 : 87 enodes (cost 16 ) 33.549 * * [simplify]: iteration 4 : 168 enodes (cost 16 ) 33.590 * * [simplify]: iteration 5 : 293 enodes (cost 16 ) 33.681 * * [simplify]: iteration 6 : 522 enodes (cost 16 ) 33.929 * * [simplify]: iteration 7 : 872 enodes (cost 16 ) 35.214 * * [simplify]: iteration 8 : 2667 enodes (cost 16 ) 37.211 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 37.211 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 37.212 * * [simplify]: iteration 1 : 20 enodes (cost 8 ) 37.215 * * [simplify]: iteration 2 : 57 enodes (cost 8 ) 37.227 * * [simplify]: iteration 3 : 127 enodes (cost 8 ) 37.263 * * [simplify]: iteration 4 : 233 enodes (cost 7 ) 37.332 * * [simplify]: iteration 5 : 408 enodes (cost 7 ) 37.561 * * [simplify]: iteration 6 : 680 enodes (cost 7 ) 38.126 * * [simplify]: iteration 7 : 1221 enodes (cost 7 ) 41.466 * * [simplify]: iteration 8 : 3342 enodes (cost 7 ) 43.511 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 43.511 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 43.512 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 43.514 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 43.516 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 43.518 * * [simplify]: iteration done : 19 enodes (cost 8 ) 43.519 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 43.520 * * [simplify]: iteration 1 : 17 enodes (cost 21 ) 43.522 * * [simplify]: iteration 2 : 25 enodes (cost 21 ) 43.525 * * [simplify]: iteration 3 : 30 enodes (cost 21 ) 43.528 * * [simplify]: iteration 4 : 33 enodes (cost 21 ) 43.532 * * [simplify]: iteration done : 33 enodes (cost 21 ) 43.532 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 43.533 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 43.534 * * [simplify]: iteration done : 10 enodes (cost 12 ) 43.535 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 43.536 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 43.538 * * [simplify]: iteration 2 : 17 enodes (cost 12 ) 43.540 * * [simplify]: iteration 3 : 19 enodes (cost 12 ) 43.542 * * [simplify]: iteration done : 19 enodes (cost 12 ) 43.542 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 43.543 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 43.544 * * [simplify]: iteration done : 10 enodes (cost 12 ) 43.545 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 43.545 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 43.547 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 43.548 * * [simplify]: iteration done : 17 enodes (cost 3 ) 43.549 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 43.550 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 43.551 * * [simplify]: iteration done : 9 enodes (cost 11 ) 43.551 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 43.552 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 43.553 * * [simplify]: iteration done : 10 enodes (cost 9 ) 43.554 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 43.555 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 43.558 * * [simplify]: iteration 2 : 42 enodes (cost 15 ) 43.564 * * [simplify]: iteration 3 : 63 enodes (cost 15 ) 43.577 * * [simplify]: iteration 4 : 107 enodes (cost 15 ) 43.604 * * [simplify]: iteration 5 : 173 enodes (cost 15 ) 43.659 * * [simplify]: iteration 6 : 267 enodes (cost 15 ) 43.793 * * [simplify]: iteration 7 : 446 enodes (cost 15 ) 44.428 * * [simplify]: iteration 8 : 1469 enodes (cost 15 ) 50.222 * * [simplify]: iteration 9 : 4779 enodes (cost 15 ) 51.642 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 51.643 * * [simplify]: iteration 0 : 11 enodes (cost 25 ) 51.644 * * [simplify]: iteration 1 : 29 enodes (cost 25 ) 51.649 * * [simplify]: iteration 2 : 67 enodes (cost 25 ) 51.659 * * [simplify]: iteration 3 : 131 enodes (cost 25 ) 51.688 * * [simplify]: iteration 4 : 268 enodes (cost 25 ) 51.756 * * [simplify]: iteration 5 : 472 enodes (cost 25 ) 51.914 * * [simplify]: iteration 6 : 858 enodes (cost 25 ) 52.365 * * [simplify]: iteration 7 : 1429 enodes (cost 25 ) 54.436 * * [simplify]: iteration 8 : 4138 enodes (cost 25 ) 56.034 * * [simplify]: iteration done : 5000 enodes (cost 25 ) 56.035 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 56.037 * * [simplify]: iteration 1 : 23 enodes (cost 16 ) 56.040 * * [simplify]: iteration 2 : 48 enodes (cost 16 ) 56.053 * * [simplify]: iteration 3 : 87 enodes (cost 16 ) 56.068 * * [simplify]: iteration 4 : 168 enodes (cost 16 ) 56.108 * * [simplify]: iteration 5 : 293 enodes (cost 16 ) 56.198 * * [simplify]: iteration 6 : 522 enodes (cost 16 ) 56.443 * * [simplify]: iteration 7 : 872 enodes (cost 16 ) 57.707 * * [simplify]: iteration 8 : 2667 enodes (cost 16 ) 59.682 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 59.683 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 59.684 * * [simplify]: iteration 1 : 21 enodes (cost 7 ) 59.687 * * [simplify]: iteration 2 : 51 enodes (cost 7 ) 59.696 * * [simplify]: iteration 3 : 100 enodes (cost 7 ) 59.723 * * [simplify]: iteration 4 : 190 enodes (cost 7 ) 59.764 * * [simplify]: iteration 5 : 278 enodes (cost 7 ) 59.854 * * [simplify]: iteration 6 : 465 enodes (cost 7 ) 60.025 * * [simplify]: iteration 7 : 716 enodes (cost 7 ) 60.716 * * [simplify]: iteration 8 : 1770 enodes (cost 7 ) 66.524 * * [simplify]: iteration 9 : 4870 enodes (cost 7 ) 67.625 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 67.626 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 67.627 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 67.628 * * [simplify]: iteration done : 9 enodes (cost 11 ) 67.628 * * [simplify]: iteration 0 : 12 enodes (cost 19 ) 67.630 * * [simplify]: iteration 1 : 42 enodes (cost 19 ) 67.637 * * [simplify]: iteration 2 : 104 enodes (cost 15 ) 67.663 * * [simplify]: iteration 3 : 198 enodes (cost 15 ) 67.707 * * [simplify]: iteration 4 : 424 enodes (cost 15 ) 67.853 * * [simplify]: iteration 5 : 974 enodes (cost 15 ) 68.521 * * [simplify]: iteration 6 : 2830 enodes (cost 15 ) 69.876 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 69.877 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 69.879 * * [simplify]: iteration 1 : 36 enodes (cost 23 ) 69.884 * * [simplify]: iteration 2 : 90 enodes (cost 19 ) 69.903 * * [simplify]: iteration 3 : 252 enodes (cost 15 ) 69.980 * * [simplify]: iteration 4 : 938 enodes (cost 9 ) 70.588 * * [simplify]: iteration 5 : 2951 enodes (cost 9 ) 71.758 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 71.759 * * [simplify]: iteration 0 : 12 enodes (cost 31 ) 71.761 * * [simplify]: iteration 1 : 35 enodes (cost 27 ) 71.767 * * [simplify]: iteration 2 : 152 enodes (cost 27 ) 71.821 * * [simplify]: iteration 3 : 744 enodes (cost 27 ) 72.379 * * [simplify]: iteration 4 : 3674 enodes (cost 27 ) 73.818 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 73.819 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 73.821 * * [simplify]: iteration 1 : 24 enodes (cost 21 ) 73.826 * * [simplify]: iteration 2 : 84 enodes (cost 21 ) 73.849 * * [simplify]: iteration 3 : 392 enodes (cost 21 ) 74.043 * * [simplify]: iteration 4 : 1451 enodes (cost 21 ) 75.341 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 75.342 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 75.344 * * [simplify]: iteration 1 : 30 enodes (cost 21 ) 75.350 * * [simplify]: iteration 2 : 121 enodes (cost 21 ) 75.385 * * [simplify]: iteration 3 : 446 enodes (cost 21 ) 75.604 * * [simplify]: iteration 4 : 1714 enodes (cost 21 ) 76.847 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 76.848 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 76.849 * * [simplify]: iteration 1 : 17 enodes (cost 15 ) 76.852 * * [simplify]: iteration 2 : 60 enodes (cost 15 ) 76.869 * * [simplify]: iteration 3 : 224 enodes (cost 15 ) 76.940 * * [simplify]: iteration 4 : 591 enodes (cost 15 ) 77.262 * * [simplify]: iteration 5 : 1726 enodes (cost 15 ) 78.411 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 78.412 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 78.413 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 78.420 * * [simplify]: iteration 2 : 78 enodes (cost 17 ) 78.437 * * [simplify]: iteration 3 : 227 enodes (cost 17 ) 78.519 * * [simplify]: iteration 4 : 597 enodes (cost 17 ) 78.823 * * [simplify]: iteration 5 : 1282 enodes (cost 17 ) 79.940 * * [simplify]: iteration 6 : 2555 enodes (cost 17 ) 82.876 * * [simplify]: iteration done : 5002 enodes (cost 17 ) 82.876 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 82.877 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 82.879 * * [simplify]: iteration 2 : 26 enodes (cost 11 ) 82.883 * * [simplify]: iteration 3 : 63 enodes (cost 11 ) 82.896 * * [simplify]: iteration 4 : 133 enodes (cost 11 ) 82.930 * * [simplify]: iteration 5 : 202 enodes (cost 11 ) 82.981 * * [simplify]: iteration 6 : 283 enodes (cost 11 ) 83.066 * * [simplify]: iteration 7 : 418 enodes (cost 11 ) 83.232 * * [simplify]: iteration 8 : 767 enodes (cost 11 ) 83.733 * * [simplify]: iteration 9 : 1576 enodes (cost 11 ) 84.523 * * [simplify]: iteration 10 : 3167 enodes (cost 11 ) 85.978 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 85.978 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 85.980 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 85.988 * * [simplify]: iteration 2 : 74 enodes (cost 17 ) 86.006 * * [simplify]: iteration 3 : 212 enodes (cost 17 ) 86.087 * * [simplify]: iteration 4 : 485 enodes (cost 17 ) 86.335 * * [simplify]: iteration 5 : 915 enodes (cost 17 ) 86.937 * * [simplify]: iteration 6 : 1390 enodes (cost 17 ) 87.918 * * [simplify]: iteration 7 : 1723 enodes (cost 17 ) 88.745 * * [simplify]: iteration 8 : 2116 enodes (cost 17 ) 90.022 * * [simplify]: iteration 9 : 3504 enodes (cost 17 ) 91.264 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 91.265 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 91.266 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 91.269 * * [simplify]: iteration 2 : 41 enodes (cost 11 ) 91.282 * * [simplify]: iteration 3 : 78 enodes (cost 11 ) 91.297 * * [simplify]: iteration 4 : 125 enodes (cost 11 ) 91.324 * * [simplify]: iteration 5 : 147 enodes (cost 11 ) 91.357 * * [simplify]: iteration 6 : 167 enodes (cost 11 ) 91.397 * * [simplify]: iteration 7 : 208 enodes (cost 11 ) 91.449 * * [simplify]: iteration 8 : 316 enodes (cost 11 ) 91.573 * * [simplify]: iteration 9 : 722 enodes (cost 11 ) 92.508 * * [simplify]: iteration 10 : 2542 enodes (cost 11 ) 94.643 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 94.644 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 94.644 * * [simplify]: iteration done : 1 enodes (cost 1 ) 94.644 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 94.644 * * [simplify]: iteration 1 : 3 enodes (cost 1 ) 94.645 * * [simplify]: iteration done : 3 enodes (cost 1 ) 94.645 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 94.645 * * [simplify]: iteration 1 : 3 enodes (cost 1 ) 94.645 * * [simplify]: iteration done : 3 enodes (cost 1 ) 94.646 * [simplify]: Simplified to: (- (+ (log (- x y)) (log (+ x y))) (log (+ (* x x) (* y y)))) (- (log (* (- x y) (+ x y))) (log (+ (* x x) (* y y)))) (log (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (pow (exp (/ (- x y) (+ (* x x) (* y y)))) (+ x y)) (/ (* (pow (+ x y) 3) (pow (- x y) 3)) (pow (+ (* x x) (* y y)) 3)) (pow (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) 3) (* (cbrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (cbrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))) (cbrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (pow (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) 3) (sqrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (sqrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (* (- y x) (+ y x)) (neg (+ (* x x) (* y y))) (/ (- x y) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (/ (+ x y) (cbrt (+ (* x x) (* y y)))) (/ (- x y) (sqrt (+ (* x x) (* y y)))) (/ (+ x y) (sqrt (+ (* x x) (* y y)))) (- x y) (/ (+ x y) (+ (* x x) (* y y))) (/ 1 (+ (* x x) (* y y))) (/ (+ (* x x) (* y y)) (* (- x y) (+ x y))) (* (+ x y) (/ (- x y) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))) (* (/ (+ x y) (sqrt (+ (* x x) (* y y)))) (- x y)) (- (* x x) (* y y)) (/ (+ (* x x) (* y y)) (+ x y)) (/ (* (- x y) (+ x y)) (+ (pow y 6) (pow x 6))) (/ 1 (+ (* x x) (* y y))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y (+ y x)))) (+ (* y (- y x)) (* x x))) (* (* (- x y) (+ (* x x) (* y (+ y x)))) (+ (* x x) (* y y))) (* (* (+ (* x x) (* y y)) (+ x y)) (+ (* y (- y x)) (* x x))) (* (+ (* x x) (* y y)) (* (+ x y) (- x y))) (* (+ (* x x) (* y (- y x))) (+ (* x x) (* y y))) (* (+ (* x x) (* y y)) (- x y)) (* (+ (* x x) (* y (+ y x))) (+ (* x x) (* y y))) (* (+ (* x x) (* y y)) (+ x y)) -1 1 1 94.646 * * * [progress]: adding candidates to table 94.692 * * [progress]: iteration 2 / 4 94.692 * * * [progress]: picking best candidate 94.698 * * * * [pick]: Picked # 94.698 * * * [progress]: localizing error 94.699 * * * [progress]: generating rewritten candidates 94.699 * * * [progress]: generating series expansions 94.699 * * * [progress]: simplifying candidates 94.699 * [simplify]: Simplifying using # : 94.699 * [simplify]: Simplified to: 94.699 * * * [progress]: adding candidates to table 94.699 * * [progress]: iteration 3 / 4 94.699 * * * [progress]: picking best candidate 94.704 * * * * [pick]: Picked # 94.704 * * * [progress]: localizing error 94.716 * * * [progress]: generating rewritten candidates 94.717 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 94.725 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 94.745 * * * [progress]: generating series expansions 94.745 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 94.745 * [approximate]: Taking taylor expansion of (/ (+ x y) (+ (pow x 2) (pow y 2))) in (x y) around 0 94.745 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ (pow x 2) (pow y 2))) in y 94.745 * [taylor]: Taking taylor expansion of (+ x y) in y 94.745 * [taylor]: Taking taylor expansion of x in y 94.745 * [taylor]: Taking taylor expansion of y in y 94.745 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 94.745 * [taylor]: Taking taylor expansion of (pow x 2) in y 94.745 * [taylor]: Taking taylor expansion of x in y 94.745 * [taylor]: Taking taylor expansion of (pow y 2) in y 94.745 * [taylor]: Taking taylor expansion of y in y 94.746 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ (pow x 2) (pow y 2))) in x 94.746 * [taylor]: Taking taylor expansion of (+ x y) in x 94.746 * [taylor]: Taking taylor expansion of x in x 94.746 * [taylor]: Taking taylor expansion of y in x 94.746 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 94.746 * [taylor]: Taking taylor expansion of (pow x 2) in x 94.746 * [taylor]: Taking taylor expansion of x in x 94.746 * [taylor]: Taking taylor expansion of (pow y 2) in x 94.746 * [taylor]: Taking taylor expansion of y in x 94.746 * [taylor]: Taking taylor expansion of (/ (+ x y) (+ (pow x 2) (pow y 2))) in x 94.746 * [taylor]: Taking taylor expansion of (+ x y) in x 94.746 * [taylor]: Taking taylor expansion of x in x 94.746 * [taylor]: Taking taylor expansion of y in x 94.746 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 94.746 * [taylor]: Taking taylor expansion of (pow x 2) in x 94.746 * [taylor]: Taking taylor expansion of x in x 94.746 * [taylor]: Taking taylor expansion of (pow y 2) in x 94.746 * [taylor]: Taking taylor expansion of y in x 94.746 * [taylor]: Taking taylor expansion of (/ 1 y) in y 94.746 * [taylor]: Taking taylor expansion of y in y 94.747 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 94.747 * [taylor]: Taking taylor expansion of (pow y 2) in y 94.747 * [taylor]: Taking taylor expansion of y in y 94.747 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 3))) in y 94.747 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 94.747 * [taylor]: Taking taylor expansion of (pow y 3) in y 94.747 * [taylor]: Taking taylor expansion of y in y 94.748 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in (x y) around 0 94.748 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y 94.748 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 94.748 * [taylor]: Taking taylor expansion of (/ 1 x) in y 94.748 * [taylor]: Taking taylor expansion of x in y 94.748 * [taylor]: Taking taylor expansion of (/ 1 y) in y 94.748 * [taylor]: Taking taylor expansion of y in y 94.748 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 94.748 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 94.748 * [taylor]: Taking taylor expansion of (pow x 2) in y 94.748 * [taylor]: Taking taylor expansion of x in y 94.748 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 94.748 * [taylor]: Taking taylor expansion of (pow y 2) in y 94.748 * [taylor]: Taking taylor expansion of y in y 94.748 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 94.748 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 94.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x 94.749 * [taylor]: Taking taylor expansion of x in x 94.749 * [taylor]: Taking taylor expansion of (/ 1 y) in x 94.749 * [taylor]: Taking taylor expansion of y in x 94.749 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 94.749 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 94.749 * [taylor]: Taking taylor expansion of (pow x 2) in x 94.749 * [taylor]: Taking taylor expansion of x in x 94.749 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 94.749 * [taylor]: Taking taylor expansion of (pow y 2) in x 94.749 * [taylor]: Taking taylor expansion of y in x 94.749 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 94.749 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 94.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x 94.749 * [taylor]: Taking taylor expansion of x in x 94.749 * [taylor]: Taking taylor expansion of (/ 1 y) in x 94.749 * [taylor]: Taking taylor expansion of y in x 94.749 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 94.749 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 94.749 * [taylor]: Taking taylor expansion of (pow x 2) in x 94.749 * [taylor]: Taking taylor expansion of x in x 94.749 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 94.749 * [taylor]: Taking taylor expansion of (pow y 2) in x 94.749 * [taylor]: Taking taylor expansion of y in x 94.750 * [taylor]: Taking taylor expansion of 1 in y 94.750 * [taylor]: Taking taylor expansion of (/ 1 y) in y 94.750 * [taylor]: Taking taylor expansion of y in y 94.750 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 2))) in y 94.750 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 94.750 * [taylor]: Taking taylor expansion of (pow y 2) in y 94.750 * [taylor]: Taking taylor expansion of y in y 94.751 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in (x y) around 0 94.751 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in y 94.751 * [taylor]: Taking taylor expansion of -1 in y 94.751 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y 94.751 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 94.751 * [taylor]: Taking taylor expansion of (/ 1 x) in y 94.751 * [taylor]: Taking taylor expansion of x in y 94.751 * [taylor]: Taking taylor expansion of (/ 1 y) in y 94.751 * [taylor]: Taking taylor expansion of y in y 94.751 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 94.751 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 94.751 * [taylor]: Taking taylor expansion of (pow x 2) in y 94.751 * [taylor]: Taking taylor expansion of x in y 94.751 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 94.751 * [taylor]: Taking taylor expansion of (pow y 2) in y 94.751 * [taylor]: Taking taylor expansion of y in y 94.752 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in x 94.752 * [taylor]: Taking taylor expansion of -1 in x 94.752 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 94.752 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 94.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x 94.752 * [taylor]: Taking taylor expansion of x in x 94.752 * [taylor]: Taking taylor expansion of (/ 1 y) in x 94.752 * [taylor]: Taking taylor expansion of y in x 94.752 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 94.752 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 94.752 * [taylor]: Taking taylor expansion of (pow x 2) in x 94.752 * [taylor]: Taking taylor expansion of x in x 94.752 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 94.752 * [taylor]: Taking taylor expansion of (pow y 2) in x 94.752 * [taylor]: Taking taylor expansion of y in x 94.752 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) (/ 1 y)) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in x 94.752 * [taylor]: Taking taylor expansion of -1 in x 94.752 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 94.752 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 94.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x 94.752 * [taylor]: Taking taylor expansion of x in x 94.752 * [taylor]: Taking taylor expansion of (/ 1 y) in x 94.752 * [taylor]: Taking taylor expansion of y in x 94.752 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 94.752 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 94.752 * [taylor]: Taking taylor expansion of (pow x 2) in x 94.752 * [taylor]: Taking taylor expansion of x in x 94.752 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 94.752 * [taylor]: Taking taylor expansion of (pow y 2) in x 94.752 * [taylor]: Taking taylor expansion of y in x 94.753 * [taylor]: Taking taylor expansion of -1 in y 94.753 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 94.753 * [taylor]: Taking taylor expansion of (/ 1 y) in y 94.753 * [taylor]: Taking taylor expansion of y in y 94.753 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 94.753 * [taylor]: Taking taylor expansion of (pow y 2) in y 94.753 * [taylor]: Taking taylor expansion of y in y 94.754 * * * * [progress]: [ 2 / 2 ] generating series at (2) 94.754 * [approximate]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in (x y) around 0 94.754 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in y 94.754 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in y 94.754 * [taylor]: Taking taylor expansion of (+ x y) in y 94.754 * [taylor]: Taking taylor expansion of x in y 94.754 * [taylor]: Taking taylor expansion of y in y 94.754 * [taylor]: Taking taylor expansion of (- x y) in y 94.754 * [taylor]: Taking taylor expansion of x in y 94.754 * [taylor]: Taking taylor expansion of y in y 94.754 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 94.754 * [taylor]: Taking taylor expansion of (pow x 2) in y 94.754 * [taylor]: Taking taylor expansion of x in y 94.754 * [taylor]: Taking taylor expansion of (pow y 2) in y 94.754 * [taylor]: Taking taylor expansion of y in y 94.754 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in x 94.754 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x 94.754 * [taylor]: Taking taylor expansion of (+ x y) in x 94.755 * [taylor]: Taking taylor expansion of x in x 94.755 * [taylor]: Taking taylor expansion of y in x 94.755 * [taylor]: Taking taylor expansion of (- x y) in x 94.755 * [taylor]: Taking taylor expansion of x in x 94.755 * [taylor]: Taking taylor expansion of y in x 94.755 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 94.755 * [taylor]: Taking taylor expansion of (pow x 2) in x 94.755 * [taylor]: Taking taylor expansion of x in x 94.755 * [taylor]: Taking taylor expansion of (pow y 2) in x 94.755 * [taylor]: Taking taylor expansion of y in x 94.755 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in x 94.755 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x 94.755 * [taylor]: Taking taylor expansion of (+ x y) in x 94.755 * [taylor]: Taking taylor expansion of x in x 94.755 * [taylor]: Taking taylor expansion of y in x 94.755 * [taylor]: Taking taylor expansion of (- x y) in x 94.755 * [taylor]: Taking taylor expansion of x in x 94.755 * [taylor]: Taking taylor expansion of y in x 94.755 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 94.755 * [taylor]: Taking taylor expansion of (pow x 2) in x 94.755 * [taylor]: Taking taylor expansion of x in x 94.755 * [taylor]: Taking taylor expansion of (pow y 2) in x 94.755 * [taylor]: Taking taylor expansion of y in x 94.755 * [taylor]: Taking taylor expansion of -1 in y 94.756 * [taylor]: Taking taylor expansion of 0 in y 94.756 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 94.756 * [taylor]: Taking taylor expansion of 2 in y 94.756 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 94.756 * [taylor]: Taking taylor expansion of (pow y 2) in y 94.756 * [taylor]: Taking taylor expansion of y in y 94.757 * [taylor]: Taking taylor expansion of 0 in y 94.757 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in (x y) around 0 94.757 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y 94.757 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in y 94.757 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 94.757 * [taylor]: Taking taylor expansion of (/ 1 x) in y 94.757 * [taylor]: Taking taylor expansion of x in y 94.757 * [taylor]: Taking taylor expansion of (/ 1 y) in y 94.757 * [taylor]: Taking taylor expansion of y in y 94.757 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 94.757 * [taylor]: Taking taylor expansion of (/ 1 x) in y 94.757 * [taylor]: Taking taylor expansion of x in y 94.757 * [taylor]: Taking taylor expansion of (/ 1 y) in y 94.757 * [taylor]: Taking taylor expansion of y in y 94.757 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 94.757 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 94.757 * [taylor]: Taking taylor expansion of (pow x 2) in y 94.757 * [taylor]: Taking taylor expansion of x in y 94.758 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 94.758 * [taylor]: Taking taylor expansion of (pow y 2) in y 94.758 * [taylor]: Taking taylor expansion of y in y 94.758 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 94.758 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in x 94.758 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 94.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x 94.758 * [taylor]: Taking taylor expansion of x in x 94.758 * [taylor]: Taking taylor expansion of (/ 1 y) in x 94.758 * [taylor]: Taking taylor expansion of y in x 94.758 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 94.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x 94.758 * [taylor]: Taking taylor expansion of x in x 94.758 * [taylor]: Taking taylor expansion of (/ 1 y) in x 94.758 * [taylor]: Taking taylor expansion of y in x 94.758 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 94.758 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 94.758 * [taylor]: Taking taylor expansion of (pow x 2) in x 94.758 * [taylor]: Taking taylor expansion of x in x 94.758 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 94.758 * [taylor]: Taking taylor expansion of (pow y 2) in x 94.758 * [taylor]: Taking taylor expansion of y in x 94.758 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 94.758 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in x 94.758 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 94.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x 94.758 * [taylor]: Taking taylor expansion of x in x 94.758 * [taylor]: Taking taylor expansion of (/ 1 y) in x 94.758 * [taylor]: Taking taylor expansion of y in x 94.758 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 94.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x 94.759 * [taylor]: Taking taylor expansion of x in x 94.759 * [taylor]: Taking taylor expansion of (/ 1 y) in x 94.759 * [taylor]: Taking taylor expansion of y in x 94.759 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 94.759 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 94.759 * [taylor]: Taking taylor expansion of (pow x 2) in x 94.759 * [taylor]: Taking taylor expansion of x in x 94.759 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 94.759 * [taylor]: Taking taylor expansion of (pow y 2) in x 94.759 * [taylor]: Taking taylor expansion of y in x 94.759 * [taylor]: Taking taylor expansion of 1 in y 94.759 * [taylor]: Taking taylor expansion of 0 in y 94.760 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow y 2)))) in y 94.760 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 94.760 * [taylor]: Taking taylor expansion of 2 in y 94.760 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 94.760 * [taylor]: Taking taylor expansion of (pow y 2) in y 94.760 * [taylor]: Taking taylor expansion of y in y 94.761 * [taylor]: Taking taylor expansion of 0 in y 94.761 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in (x y) around 0 94.761 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in y 94.761 * [taylor]: Taking taylor expansion of -1 in y 94.761 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y 94.761 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) in y 94.761 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 94.761 * [taylor]: Taking taylor expansion of (/ 1 x) in y 94.761 * [taylor]: Taking taylor expansion of x in y 94.761 * [taylor]: Taking taylor expansion of (/ 1 y) in y 94.761 * [taylor]: Taking taylor expansion of y in y 94.762 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 94.762 * [taylor]: Taking taylor expansion of (/ 1 y) in y 94.762 * [taylor]: Taking taylor expansion of y in y 94.762 * [taylor]: Taking taylor expansion of (/ 1 x) in y 94.762 * [taylor]: Taking taylor expansion of x in y 94.762 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 94.762 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 94.762 * [taylor]: Taking taylor expansion of (pow x 2) in y 94.762 * [taylor]: Taking taylor expansion of x in y 94.762 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 94.762 * [taylor]: Taking taylor expansion of (pow y 2) in y 94.762 * [taylor]: Taking taylor expansion of y in y 94.762 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in x 94.762 * [taylor]: Taking taylor expansion of -1 in x 94.762 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 94.762 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) in x 94.762 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 94.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x 94.762 * [taylor]: Taking taylor expansion of x in x 94.762 * [taylor]: Taking taylor expansion of (/ 1 y) in x 94.762 * [taylor]: Taking taylor expansion of y in x 94.762 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 94.762 * [taylor]: Taking taylor expansion of (/ 1 y) in x 94.762 * [taylor]: Taking taylor expansion of y in x 94.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x 94.762 * [taylor]: Taking taylor expansion of x in x 94.762 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 94.762 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 94.762 * [taylor]: Taking taylor expansion of (pow x 2) in x 94.762 * [taylor]: Taking taylor expansion of x in x 94.762 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 94.762 * [taylor]: Taking taylor expansion of (pow y 2) in x 94.762 * [taylor]: Taking taylor expansion of y in x 94.763 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in x 94.763 * [taylor]: Taking taylor expansion of -1 in x 94.763 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 94.763 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) in x 94.763 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 94.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 94.763 * [taylor]: Taking taylor expansion of x in x 94.763 * [taylor]: Taking taylor expansion of (/ 1 y) in x 94.763 * [taylor]: Taking taylor expansion of y in x 94.763 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 94.763 * [taylor]: Taking taylor expansion of (/ 1 y) in x 94.763 * [taylor]: Taking taylor expansion of y in x 94.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 94.763 * [taylor]: Taking taylor expansion of x in x 94.763 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 94.763 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 94.763 * [taylor]: Taking taylor expansion of (pow x 2) in x 94.763 * [taylor]: Taking taylor expansion of x in x 94.763 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 94.763 * [taylor]: Taking taylor expansion of (pow y 2) in x 94.763 * [taylor]: Taking taylor expansion of y in x 94.763 * [taylor]: Taking taylor expansion of 1 in y 94.764 * [taylor]: Taking taylor expansion of 0 in y 94.764 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow y 2)))) in y 94.764 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y 94.764 * [taylor]: Taking taylor expansion of 2 in y 94.764 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 94.764 * [taylor]: Taking taylor expansion of (pow y 2) in y 94.764 * [taylor]: Taking taylor expansion of y in y 94.765 * [taylor]: Taking taylor expansion of 0 in y 94.766 * * * [progress]: simplifying candidates 94.767 * [simplify]: Simplifying using # : (- (log (+ x y)) (log (+ (* x x) (* y y)))) (log (/ (+ x y) (+ (* x x) (* y y)))) (exp (/ (+ x y) (+ (* x x) (* y y)))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y)))) (* (cbrt (/ (+ x y) (+ (* x x) (* y y)))) (cbrt (/ (+ x y) (+ (* x x) (* y y))))) (cbrt (/ (+ x y) (+ (* x x) (* y y)))) (* (* (/ (+ x y) (+ (* x x) (* y y))) (/ (+ x y) (+ (* x x) (* y y)))) (/ (+ x y) (+ (* x x) (* y y)))) (sqrt (/ (+ x y) (+ (* x x) (* y y)))) (sqrt (/ (+ x y) (+ (* x x) (* y y)))) (neg (+ x y)) (neg (+ (* x x) (* y y))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (/ (cbrt (+ x y)) (cbrt (+ (* x x) (* y y)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ (* x x) (* y y)))) (/ (cbrt (+ x y)) (sqrt (+ (* x x) (* y y)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1) (/ (cbrt (+ x y)) (+ (* x x) (* y y))) (/ (sqrt (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (/ (sqrt (+ x y)) (cbrt (+ (* x x) (* y y)))) (/ (sqrt (+ x y)) (sqrt (+ (* x x) (* y y)))) (/ (sqrt (+ x y)) (sqrt (+ (* x x) (* y y)))) (/ (sqrt (+ x y)) 1) (/ (sqrt (+ x y)) (+ (* x x) (* y y))) (/ 1 (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (/ (+ x y) (cbrt (+ (* x x) (* y y)))) (/ 1 (sqrt (+ (* x x) (* y y)))) (/ (+ x y) (sqrt (+ (* x x) (* y y)))) (/ 1 1) (/ (+ x y) (+ (* x x) (* y y))) (/ 1 (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (/ (+ x y) (cbrt (+ (* x x) (* y y)))) (/ 1 (sqrt (+ (* x x) (* y y)))) (/ (+ x y) (sqrt (+ (* x x) (* y y)))) (/ 1 1) (/ (+ x y) (+ (* x x) (* y y))) (/ 1 (+ (* x x) (* y y))) (/ (+ (* x x) (* y y)) (+ x y)) (/ (+ x y) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (/ (+ x y) (sqrt (+ (* x x) (* y y)))) (/ (+ x y) 1) (/ (+ (* x x) (* y y)) (cbrt (+ x y))) (/ (+ (* x x) (* y y)) (sqrt (+ x y))) (/ (+ (* x x) (* y y)) (+ x y)) (/ (+ (* x x) (* y y)) (+ x y)) (/ (+ x y) (+ (pow (* x x) 3) (pow (* y y) 3))) (/ (+ x y) (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (+ (* x x) (* y y)) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* x x) (* y y)) (- x y)) (* (- x y) (/ (+ x y) (+ (* x x) (* y y)))) (+ (log (- x y)) (- (log (+ x y)) (log (+ (* x x) (* y y))))) (+ (log (- x y)) (log (/ (+ x y) (+ (* x x) (* y y))))) (log (* (- x y) (/ (+ x y) (+ (* x x) (* y y))))) (exp (* (- x y) (/ (+ x y) (+ (* x x) (* y y))))) (* (* (* (- x y) (- x y)) (- x y)) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))) (* (* (* (- x y) (- x y)) (- x y)) (* (* (/ (+ x y) (+ (* x x) (* y y))) (/ (+ x y) (+ (* x x) (* y y)))) (/ (+ x y) (+ (* x x) (* y y))))) (* (cbrt (* (- x y) (/ (+ x y) (+ (* x x) (* y y))))) (cbrt (* (- x y) (/ (+ x y) (+ (* x x) (* y y)))))) (cbrt (* (- x y) (/ (+ x y) (+ (* x x) (* y y))))) (* (* (* (- x y) (/ (+ x y) (+ (* x x) (* y y)))) (* (- x y) (/ (+ x y) (+ (* x x) (* y y))))) (* (- x y) (/ (+ x y) (+ (* x x) (* y y))))) (sqrt (* (- x y) (/ (+ x y) (+ (* x x) (* y y))))) (sqrt (* (- x y) (/ (+ x y) (+ (* x x) (* y y))))) (* (- (pow x 3) (pow y 3)) (+ x y)) (* (+ (* x x) (+ (* y y) (* x y))) (+ (* x x) (* y y))) (* (- (* x x) (* y y)) (+ x y)) (* (+ x y) (+ (* x x) (* y y))) (* (sqrt (- x y)) (sqrt (/ (+ x y) (+ (* x x) (* y y))))) (* (sqrt (- x y)) (sqrt (/ (+ x y) (+ (* x x) (* y y))))) (* (sqrt (- x y)) (/ (sqrt (+ x y)) (sqrt (+ (* x x) (* y y))))) (* (sqrt (- x y)) (/ (sqrt (+ x y)) (sqrt (+ (* x x) (* y y))))) (* (- x y) (* (cbrt (/ (+ x y) (+ (* x x) (* y y)))) (cbrt (/ (+ x y) (+ (* x x) (* y y)))))) (* (- x y) (sqrt (/ (+ x y) (+ (* x x) (* y y))))) (* (- x y) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))) (* (- x y) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ (* x x) (* y y))))) (* (- x y) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1)) (* (- x y) (/ (sqrt (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))) (* (- x y) (/ (sqrt (+ x y)) (sqrt (+ (* x x) (* y y))))) (* (- x y) (/ (sqrt (+ x y)) 1)) (* (- x y) (/ 1 (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))) (* (- x y) (/ 1 (sqrt (+ (* x x) (* y y))))) (* (- x y) (/ 1 1)) (* (- x y) (/ 1 (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))) (* (- x y) (/ 1 (sqrt (+ (* x x) (* y y))))) (* (- x y) (/ 1 1)) (* (- x y) 1) (* (- x y) (+ x y)) (* (- x y) (/ (+ x y) (+ (pow (* x x) 3) (pow (* y y) 3)))) (* (- x y) (/ (+ x y) (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (* (cbrt (- x y)) (/ (+ x y) (+ (* x x) (* y y)))) (* (sqrt (- x y)) (/ (+ x y) (+ (* x x) (* y y)))) (* (- x y) (/ (+ x y) (+ (* x x) (* y y)))) (* (- (sqrt x) (sqrt y)) (/ (+ x y) (+ (* x x) (* y y)))) (* (- x y) (/ (+ x y) (+ (* x x) (* y y)))) (* (- x y) (+ x y)) (* (- (pow x 3) (pow y 3)) (/ (+ x y) (+ (* x x) (* y y)))) (* (- (* x x) (* y y)) (/ (+ x y) (+ (* x x) (* y y)))) 0 0 0 -1 1 1 94.767 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 94.768 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 94.770 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 94.771 * * [simplify]: iteration done : 14 enodes (cost 13 ) 94.772 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 94.773 * * [simplify]: iteration 1 : 13 enodes (cost 12 ) 94.774 * * [simplify]: iteration 2 : 15 enodes (cost 12 ) 94.776 * * [simplify]: iteration 3 : 16 enodes (cost 12 ) 94.778 * * [simplify]: iteration done : 16 enodes (cost 12 ) 94.778 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 94.779 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 94.780 * * [simplify]: iteration done : 10 enodes (cost 12 ) 94.781 * * [simplify]: iteration 0 : 11 enodes (cost 35 ) 94.783 * * [simplify]: iteration 1 : 46 enodes (cost 35 ) 94.797 * * [simplify]: iteration 2 : 156 enodes (cost 15 ) 94.836 * * [simplify]: iteration 3 : 432 enodes (cost 13 ) 95.000 * * [simplify]: iteration 4 : 1209 enodes (cost 13 ) 95.757 * * [simplify]: iteration 5 : 3286 enodes (cost 13 ) 96.805 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 96.806 * * [simplify]: iteration 0 : 9 enodes (cost 25 ) 96.807 * * [simplify]: iteration 1 : 11 enodes (cost 25 ) 96.808 * * [simplify]: iteration done : 11 enodes (cost 25 ) 96.809 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 96.810 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 96.811 * * [simplify]: iteration done : 10 enodes (cost 12 ) 96.812 * * [simplify]: iteration 0 : 9 enodes (cost 35 ) 96.813 * * [simplify]: iteration 1 : 18 enodes (cost 35 ) 96.816 * * [simplify]: iteration 2 : 50 enodes (cost 13 ) 96.831 * * [simplify]: iteration 3 : 122 enodes (cost 13 ) 96.860 * * [simplify]: iteration 4 : 315 enodes (cost 13 ) 96.961 * * [simplify]: iteration 5 : 709 enodes (cost 13 ) 97.252 * * [simplify]: iteration 6 : 1632 enodes (cost 13 ) 98.335 * * [simplify]: iteration 7 : 4368 enodes (cost 13 ) 99.437 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 99.438 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 99.439 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 99.440 * * [simplify]: iteration done : 10 enodes (cost 12 ) 99.446 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 99.447 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 99.448 * * [simplify]: iteration done : 10 enodes (cost 12 ) 99.448 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 99.449 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 99.450 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 99.451 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 99.452 * * [simplify]: iteration done : 11 enodes (cost 4 ) 99.452 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 99.453 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 99.454 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 99.456 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 99.459 * * [simplify]: iteration done : 19 enodes (cost 8 ) 99.459 * * [simplify]: iteration 0 : 11 enodes (cost 27 ) 99.461 * * [simplify]: iteration 1 : 19 enodes (cost 27 ) 99.463 * * [simplify]: iteration 2 : 28 enodes (cost 27 ) 99.466 * * [simplify]: iteration 3 : 34 enodes (cost 27 ) 99.470 * * [simplify]: iteration done : 34 enodes (cost 27 ) 99.471 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 99.472 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 99.473 * * [simplify]: iteration done : 11 enodes (cost 13 ) 99.474 * * [simplify]: iteration 0 : 10 enodes (cost 18 ) 99.475 * * [simplify]: iteration 1 : 14 enodes (cost 18 ) 99.476 * * [simplify]: iteration 2 : 16 enodes (cost 18 ) 99.478 * * [simplify]: iteration 3 : 17 enodes (cost 18 ) 99.480 * * [simplify]: iteration done : 17 enodes (cost 18 ) 99.481 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 99.482 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 99.483 * * [simplify]: iteration done : 11 enodes (cost 13 ) 99.484 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 99.484 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 99.486 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 99.488 * * [simplify]: iteration 3 : 23 enodes (cost 9 ) 99.489 * * [simplify]: iteration done : 23 enodes (cost 9 ) 99.490 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 99.491 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 99.492 * * [simplify]: iteration done : 10 enodes (cost 12 ) 99.493 * * [simplify]: iteration 0 : 10 enodes (cost 22 ) 99.494 * * [simplify]: iteration 1 : 14 enodes (cost 22 ) 99.495 * * [simplify]: iteration done : 14 enodes (cost 22 ) 99.496 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 99.497 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 99.498 * * [simplify]: iteration done : 11 enodes (cost 13 ) 99.499 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 99.500 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 99.501 * * [simplify]: iteration done : 11 enodes (cost 13 ) 99.501 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 99.502 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 99.504 * * [simplify]: iteration done : 11 enodes (cost 13 ) 99.504 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 99.505 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 99.506 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 99.509 * * [simplify]: iteration done : 11 enodes (cost 4 ) 99.509 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 99.510 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 99.512 * * [simplify]: iteration done : 10 enodes (cost 12 ) 99.512 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 99.513 * * [simplify]: iteration 1 : 14 enodes (cost 19 ) 99.515 * * [simplify]: iteration done : 14 enodes (cost 19 ) 99.515 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 99.516 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 99.517 * * [simplify]: iteration done : 10 enodes (cost 12 ) 99.518 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 99.519 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 99.520 * * [simplify]: iteration done : 11 enodes (cost 10 ) 99.520 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 99.521 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 99.523 * * [simplify]: iteration done : 10 enodes (cost 12 ) 99.523 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 99.523 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 99.524 * * [simplify]: iteration done : 4 enodes (cost 1 ) 99.524 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 99.525 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 99.526 * * [simplify]: iteration done : 9 enodes (cost 11 ) 99.527 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 99.528 * * [simplify]: iteration 1 : 14 enodes (cost 19 ) 99.529 * * [simplify]: iteration done : 14 enodes (cost 19 ) 99.530 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 99.531 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 99.532 * * [simplify]: iteration done : 10 enodes (cost 12 ) 99.532 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 99.533 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 99.534 * * [simplify]: iteration done : 11 enodes (cost 10 ) 99.536 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 99.537 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 99.538 * * [simplify]: iteration done : 10 enodes (cost 12 ) 99.539 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 99.539 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 99.539 * * [simplify]: iteration done : 4 enodes (cost 1 ) 99.540 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 99.541 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 99.542 * * [simplify]: iteration done : 9 enodes (cost 11 ) 99.542 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 99.543 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 99.544 * * [simplify]: iteration done : 10 enodes (cost 9 ) 99.545 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 99.545 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 99.547 * * [simplify]: iteration done : 9 enodes (cost 11 ) 99.547 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 99.548 * * [simplify]: iteration 1 : 13 enodes (cost 21 ) 99.550 * * [simplify]: iteration done : 13 enodes (cost 21 ) 99.550 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 99.551 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 99.552 * * [simplify]: iteration done : 10 enodes (cost 12 ) 99.553 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 99.553 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 99.554 * * [simplify]: iteration 2 : 10 enodes (cost 3 ) 99.555 * * [simplify]: iteration done : 10 enodes (cost 3 ) 99.555 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 99.556 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 99.557 * * [simplify]: iteration done : 10 enodes (cost 12 ) 99.558 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 99.559 * * [simplify]: iteration 1 : 10 enodes (cost 12 ) 99.560 * * [simplify]: iteration done : 10 enodes (cost 12 ) 99.561 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 99.562 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 99.563 * * [simplify]: iteration done : 9 enodes (cost 11 ) 99.563 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 99.564 * * [simplify]: iteration 1 : 9 enodes (cost 11 ) 99.565 * * [simplify]: iteration done : 9 enodes (cost 11 ) 99.566 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 99.567 * * [simplify]: iteration 1 : 29 enodes (cost 15 ) 99.572 * * [simplify]: iteration 2 : 66 enodes (cost 11 ) 99.588 * * [simplify]: iteration 3 : 121 enodes (cost 11 ) 99.613 * * [simplify]: iteration 4 : 263 enodes (cost 11 ) 99.721 * * [simplify]: iteration 5 : 695 enodes (cost 11 ) 100.304 * * [simplify]: iteration 6 : 2337 enodes (cost 11 ) 101.741 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 101.741 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 101.743 * * [simplify]: iteration 1 : 23 enodes (cost 19 ) 101.753 * * [simplify]: iteration 2 : 43 enodes (cost 15 ) 101.761 * * [simplify]: iteration 3 : 92 enodes (cost 11 ) 101.778 * * [simplify]: iteration 4 : 225 enodes (cost 11 ) 101.848 * * [simplify]: iteration 5 : 596 enodes (cost 11 ) 102.108 * * [simplify]: iteration 6 : 1501 enodes (cost 11 ) 103.315 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 103.316 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 103.317 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 103.321 * * [simplify]: iteration 2 : 78 enodes (cost 17 ) 103.341 * * [simplify]: iteration 3 : 227 enodes (cost 17 ) 103.425 * * [simplify]: iteration 4 : 597 enodes (cost 17 ) 103.736 * * [simplify]: iteration 5 : 1282 enodes (cost 17 ) 104.873 * * [simplify]: iteration 6 : 2555 enodes (cost 17 ) 108.030 * * [simplify]: iteration done : 5002 enodes (cost 17 ) 108.031 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 108.032 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 108.033 * * [simplify]: iteration 2 : 26 enodes (cost 11 ) 108.037 * * [simplify]: iteration 3 : 63 enodes (cost 11 ) 108.050 * * [simplify]: iteration 4 : 133 enodes (cost 11 ) 108.085 * * [simplify]: iteration 5 : 202 enodes (cost 11 ) 108.139 * * [simplify]: iteration 6 : 283 enodes (cost 11 ) 108.230 * * [simplify]: iteration 7 : 418 enodes (cost 11 ) 108.400 * * [simplify]: iteration 8 : 767 enodes (cost 11 ) 108.917 * * [simplify]: iteration 9 : 1576 enodes (cost 11 ) 109.705 * * [simplify]: iteration 10 : 3167 enodes (cost 11 ) 111.140 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 111.140 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 111.142 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 111.144 * * [simplify]: iteration 2 : 34 enodes (cost 15 ) 111.149 * * [simplify]: iteration 3 : 72 enodes (cost 15 ) 111.165 * * [simplify]: iteration 4 : 125 enodes (cost 15 ) 111.186 * * [simplify]: iteration 5 : 203 enodes (cost 15 ) 111.235 * * [simplify]: iteration 6 : 345 enodes (cost 15 ) 111.348 * * [simplify]: iteration 7 : 609 enodes (cost 15 ) 111.902 * * [simplify]: iteration 8 : 1427 enodes (cost 15 ) 116.448 * * [simplify]: iteration 9 : 4670 enodes (cost 15 ) 117.662 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 117.663 * * [simplify]: iteration 0 : 12 enodes (cost 18 ) 117.664 * * [simplify]: iteration 1 : 21 enodes (cost 18 ) 117.667 * * [simplify]: iteration 2 : 29 enodes (cost 18 ) 117.670 * * [simplify]: iteration 3 : 38 enodes (cost 18 ) 117.674 * * [simplify]: iteration 4 : 44 enodes (cost 18 ) 117.680 * * [simplify]: iteration 5 : 54 enodes (cost 18 ) 117.693 * * [simplify]: iteration 6 : 61 enodes (cost 18 ) 117.700 * * [simplify]: iteration 7 : 73 enodes (cost 18 ) 117.710 * * [simplify]: iteration 8 : 96 enodes (cost 18 ) 117.723 * * [simplify]: iteration 9 : 110 enodes (cost 18 ) 117.735 * * [simplify]: iteration 10 : 116 enodes (cost 18 ) 117.750 * * [simplify]: iteration done : 116 enodes (cost 18 ) 117.751 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 117.752 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 117.755 * * [simplify]: iteration 2 : 26 enodes (cost 17 ) 117.757 * * [simplify]: iteration 3 : 35 enodes (cost 17 ) 117.761 * * [simplify]: iteration 4 : 45 enodes (cost 17 ) 117.767 * * [simplify]: iteration 5 : 54 enodes (cost 17 ) 117.773 * * [simplify]: iteration 6 : 59 enodes (cost 17 ) 117.779 * * [simplify]: iteration 7 : 68 enodes (cost 17 ) 117.787 * * [simplify]: iteration 8 : 85 enodes (cost 17 ) 117.803 * * [simplify]: iteration 9 : 104 enodes (cost 17 ) 117.814 * * [simplify]: iteration 10 : 112 enodes (cost 17 ) 117.828 * * [simplify]: iteration done : 112 enodes (cost 17 ) 117.828 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 117.830 * * [simplify]: iteration 1 : 20 enodes (cost 16 ) 117.832 * * [simplify]: iteration 2 : 44 enodes (cost 16 ) 117.838 * * [simplify]: iteration 3 : 92 enodes (cost 16 ) 117.852 * * [simplify]: iteration 4 : 164 enodes (cost 16 ) 117.882 * * [simplify]: iteration 5 : 256 enodes (cost 16 ) 117.937 * * [simplify]: iteration 6 : 410 enodes (cost 16 ) 118.058 * * [simplify]: iteration 7 : 692 enodes (cost 16 ) 118.635 * * [simplify]: iteration 8 : 1520 enodes (cost 16 ) 123.117 * * [simplify]: iteration 9 : 4770 enodes (cost 16 ) 124.107 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 124.108 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 124.109 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 124.112 * * [simplify]: iteration 2 : 48 enodes (cost 16 ) 124.119 * * [simplify]: iteration 3 : 102 enodes (cost 16 ) 124.142 * * [simplify]: iteration 4 : 213 enodes (cost 16 ) 124.178 * * [simplify]: iteration 5 : 427 enodes (cost 16 ) 124.334 * * [simplify]: iteration 6 : 923 enodes (cost 16 ) 125.058 * * [simplify]: iteration 7 : 2780 enodes (cost 16 ) 126.311 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 126.312 * * [simplify]: iteration 0 : 15 enodes (cost 47 ) 126.314 * * [simplify]: iteration 1 : 58 enodes (cost 47 ) 126.326 * * [simplify]: iteration 2 : 233 enodes (cost 21 ) 126.407 * * [simplify]: iteration 3 : 965 enodes (cost 19 ) 127.509 * * [simplify]: iteration 4 : 4972 enodes (cost 19 ) 128.587 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 128.588 * * [simplify]: iteration 0 : 13 enodes (cost 47 ) 128.590 * * [simplify]: iteration 1 : 30 enodes (cost 47 ) 128.596 * * [simplify]: iteration 2 : 108 enodes (cost 19 ) 128.629 * * [simplify]: iteration 3 : 415 enodes (cost 19 ) 128.927 * * [simplify]: iteration 4 : 2048 enodes (cost 17 ) 130.056 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 130.057 * * [simplify]: iteration 0 : 11 enodes (cost 33 ) 130.058 * * [simplify]: iteration 1 : 18 enodes (cost 33 ) 130.060 * * [simplify]: iteration 2 : 36 enodes (cost 33 ) 130.066 * * [simplify]: iteration 3 : 74 enodes (cost 33 ) 130.077 * * [simplify]: iteration 4 : 127 enodes (cost 33 ) 130.099 * * [simplify]: iteration 5 : 203 enodes (cost 33 ) 130.146 * * [simplify]: iteration 6 : 343 enodes (cost 33 ) 130.258 * * [simplify]: iteration 7 : 610 enodes (cost 33 ) 130.843 * * [simplify]: iteration 8 : 1424 enodes (cost 33 ) 135.633 * * [simplify]: iteration 9 : 4684 enodes (cost 33 ) 136.814 * * [simplify]: iteration done : 5001 enodes (cost 33 ) 136.815 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 136.816 * * [simplify]: iteration 1 : 17 enodes (cost 16 ) 136.819 * * [simplify]: iteration 2 : 35 enodes (cost 16 ) 136.824 * * [simplify]: iteration 3 : 73 enodes (cost 16 ) 136.842 * * [simplify]: iteration 4 : 126 enodes (cost 16 ) 136.864 * * [simplify]: iteration 5 : 209 enodes (cost 16 ) 136.912 * * [simplify]: iteration 6 : 349 enodes (cost 16 ) 137.025 * * [simplify]: iteration 7 : 616 enodes (cost 16 ) 137.574 * * [simplify]: iteration 8 : 1431 enodes (cost 16 ) 142.036 * * [simplify]: iteration 9 : 4698 enodes (cost 16 ) 143.168 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 143.169 * * [simplify]: iteration 0 : 11 enodes (cost 47 ) 143.171 * * [simplify]: iteration 1 : 28 enodes (cost 47 ) 143.177 * * [simplify]: iteration 2 : 113 enodes (cost 17 ) 143.233 * * [simplify]: iteration 3 : 576 enodes (cost 17 ) 144.044 * * [simplify]: iteration 4 : 2717 enodes (cost 17 ) 145.385 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 145.385 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 145.387 * * [simplify]: iteration 1 : 17 enodes (cost 16 ) 145.389 * * [simplify]: iteration 2 : 35 enodes (cost 16 ) 145.394 * * [simplify]: iteration 3 : 73 enodes (cost 16 ) 145.410 * * [simplify]: iteration 4 : 126 enodes (cost 16 ) 145.432 * * [simplify]: iteration 5 : 209 enodes (cost 16 ) 145.481 * * [simplify]: iteration 6 : 349 enodes (cost 16 ) 145.595 * * [simplify]: iteration 7 : 616 enodes (cost 16 ) 146.150 * * [simplify]: iteration 8 : 1431 enodes (cost 16 ) 150.690 * * [simplify]: iteration 9 : 4698 enodes (cost 16 ) 151.825 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 151.826 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 151.827 * * [simplify]: iteration 1 : 17 enodes (cost 16 ) 151.829 * * [simplify]: iteration 2 : 35 enodes (cost 16 ) 151.834 * * [simplify]: iteration 3 : 73 enodes (cost 16 ) 151.847 * * [simplify]: iteration 4 : 126 enodes (cost 16 ) 151.875 * * [simplify]: iteration 5 : 209 enodes (cost 16 ) 151.924 * * [simplify]: iteration 6 : 349 enodes (cost 16 ) 152.037 * * [simplify]: iteration 7 : 616 enodes (cost 16 ) 152.593 * * [simplify]: iteration 8 : 1431 enodes (cost 16 ) 157.063 * * [simplify]: iteration 9 : 4698 enodes (cost 16 ) 158.199 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 158.200 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 158.201 * * [simplify]: iteration 1 : 31 enodes (cost 11 ) 158.206 * * [simplify]: iteration 2 : 72 enodes (cost 11 ) 158.220 * * [simplify]: iteration 3 : 238 enodes (cost 11 ) 158.298 * * [simplify]: iteration 4 : 697 enodes (cost 11 ) 158.746 * * [simplify]: iteration 5 : 2328 enodes (cost 11 ) 160.122 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 160.123 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 160.124 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 160.129 * * [simplify]: iteration 2 : 78 enodes (cost 17 ) 160.147 * * [simplify]: iteration 3 : 240 enodes (cost 17 ) 160.244 * * [simplify]: iteration 4 : 547 enodes (cost 17 ) 160.533 * * [simplify]: iteration 5 : 1034 enodes (cost 17 ) 161.114 * * [simplify]: iteration 6 : 1434 enodes (cost 17 ) 162.071 * * [simplify]: iteration 7 : 1653 enodes (cost 17 ) 162.856 * * [simplify]: iteration 8 : 2039 enodes (cost 17 ) 164.074 * * [simplify]: iteration 9 : 3436 enodes (cost 17 ) 165.275 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 165.276 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 165.277 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 165.280 * * [simplify]: iteration 2 : 54 enodes (cost 11 ) 165.291 * * [simplify]: iteration 3 : 145 enodes (cost 11 ) 165.335 * * [simplify]: iteration 4 : 330 enodes (cost 11 ) 165.503 * * [simplify]: iteration 5 : 921 enodes (cost 11 ) 167.217 * * [simplify]: iteration 6 : 4155 enodes (cost 11 ) 168.916 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 168.917 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 168.918 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 168.921 * * [simplify]: iteration 2 : 49 enodes (cost 11 ) 168.933 * * [simplify]: iteration 3 : 88 enodes (cost 11 ) 168.950 * * [simplify]: iteration 4 : 127 enodes (cost 11 ) 168.978 * * [simplify]: iteration 5 : 147 enodes (cost 11 ) 169.008 * * [simplify]: iteration 6 : 167 enodes (cost 11 ) 169.045 * * [simplify]: iteration 7 : 206 enodes (cost 11 ) 169.095 * * [simplify]: iteration 8 : 323 enodes (cost 11 ) 169.215 * * [simplify]: iteration 9 : 726 enodes (cost 11 ) 170.149 * * [simplify]: iteration 10 : 2561 enodes (cost 11 ) 172.450 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 172.451 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 172.452 * * [simplify]: iteration 1 : 16 enodes (cost 17 ) 172.454 * * [simplify]: iteration 2 : 17 enodes (cost 17 ) 172.456 * * [simplify]: iteration done : 17 enodes (cost 17 ) 172.457 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 172.458 * * [simplify]: iteration 1 : 16 enodes (cost 17 ) 172.460 * * [simplify]: iteration 2 : 17 enodes (cost 17 ) 172.461 * * [simplify]: iteration done : 17 enodes (cost 17 ) 172.462 * * [simplify]: iteration 0 : 12 enodes (cost 18 ) 172.463 * * [simplify]: iteration 1 : 19 enodes (cost 18 ) 172.465 * * [simplify]: iteration 2 : 23 enodes (cost 18 ) 172.468 * * [simplify]: iteration 3 : 27 enodes (cost 18 ) 172.471 * * [simplify]: iteration 4 : 28 enodes (cost 18 ) 172.474 * * [simplify]: iteration done : 28 enodes (cost 18 ) 172.475 * * [simplify]: iteration 0 : 12 enodes (cost 18 ) 172.476 * * [simplify]: iteration 1 : 19 enodes (cost 18 ) 172.478 * * [simplify]: iteration 2 : 23 enodes (cost 18 ) 172.481 * * [simplify]: iteration 3 : 27 enodes (cost 18 ) 172.484 * * [simplify]: iteration 4 : 28 enodes (cost 18 ) 172.487 * * [simplify]: iteration done : 28 enodes (cost 18 ) 172.488 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 172.489 * * [simplify]: iteration 1 : 18 enodes (cost 29 ) 172.491 * * [simplify]: iteration 2 : 27 enodes (cost 29 ) 172.495 * * [simplify]: iteration 3 : 44 enodes (cost 29 ) 172.504 * * [simplify]: iteration 4 : 56 enodes (cost 29 ) 172.511 * * [simplify]: iteration 5 : 64 enodes (cost 29 ) 172.520 * * [simplify]: iteration done : 64 enodes (cost 29 ) 172.521 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 172.522 * * [simplify]: iteration 1 : 15 enodes (cost 16 ) 172.524 * * [simplify]: iteration 2 : 22 enodes (cost 16 ) 172.527 * * [simplify]: iteration 3 : 27 enodes (cost 16 ) 172.530 * * [simplify]: iteration 4 : 31 enodes (cost 16 ) 172.534 * * [simplify]: iteration done : 31 enodes (cost 16 ) 172.535 * * [simplify]: iteration 0 : 13 enodes (cost 31 ) 172.536 * * [simplify]: iteration 1 : 26 enodes (cost 31 ) 172.540 * * [simplify]: iteration 2 : 62 enodes (cost 31 ) 172.552 * * [simplify]: iteration 3 : 166 enodes (cost 31 ) 172.599 * * [simplify]: iteration 4 : 353 enodes (cost 31 ) 172.714 * * [simplify]: iteration 5 : 575 enodes (cost 31 ) 172.914 * * [simplify]: iteration 6 : 741 enodes (cost 31 ) 173.144 * * [simplify]: iteration 7 : 783 enodes (cost 31 ) 173.379 * * [simplify]: iteration 8 : 785 enodes (cost 31 ) 173.610 * * [simplify]: iteration done : 785 enodes (cost 31 ) 173.610 * * [simplify]: iteration 0 : 12 enodes (cost 22 ) 173.612 * * [simplify]: iteration 1 : 21 enodes (cost 22 ) 173.614 * * [simplify]: iteration 2 : 38 enodes (cost 22 ) 173.620 * * [simplify]: iteration 3 : 91 enodes (cost 22 ) 173.637 * * [simplify]: iteration 4 : 167 enodes (cost 22 ) 173.672 * * [simplify]: iteration 5 : 234 enodes (cost 22 ) 173.722 * * [simplify]: iteration 6 : 283 enodes (cost 22 ) 173.776 * * [simplify]: iteration 7 : 288 enodes (cost 22 ) 173.832 * * [simplify]: iteration done : 288 enodes (cost 22 ) 173.833 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 173.834 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 173.836 * * [simplify]: iteration 2 : 43 enodes (cost 13 ) 173.847 * * [simplify]: iteration 3 : 116 enodes (cost 13 ) 173.875 * * [simplify]: iteration 4 : 208 enodes (cost 13 ) 173.925 * * [simplify]: iteration 5 : 321 enodes (cost 13 ) 173.970 * * [simplify]: iteration 6 : 386 enodes (cost 13 ) 174.024 * * [simplify]: iteration 7 : 420 enodes (cost 13 ) 174.076 * * [simplify]: iteration done : 420 enodes (cost 13 ) 174.076 * * [simplify]: iteration 0 : 12 enodes (cost 26 ) 174.078 * * [simplify]: iteration 1 : 21 enodes (cost 26 ) 174.083 * * [simplify]: iteration 2 : 39 enodes (cost 26 ) 174.089 * * [simplify]: iteration 3 : 88 enodes (cost 26 ) 174.103 * * [simplify]: iteration 4 : 147 enodes (cost 26 ) 174.126 * * [simplify]: iteration 5 : 212 enodes (cost 26 ) 174.164 * * [simplify]: iteration 6 : 247 enodes (cost 26 ) 174.206 * * [simplify]: iteration 7 : 254 enodes (cost 26 ) 174.247 * * [simplify]: iteration done : 254 enodes (cost 26 ) 174.248 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 174.249 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 174.251 * * [simplify]: iteration 2 : 28 enodes (cost 17 ) 174.256 * * [simplify]: iteration 3 : 52 enodes (cost 17 ) 174.263 * * [simplify]: iteration 4 : 75 enodes (cost 17 ) 174.273 * * [simplify]: iteration 5 : 91 enodes (cost 17 ) 174.285 * * [simplify]: iteration 6 : 102 enodes (cost 17 ) 174.300 * * [simplify]: iteration done : 102 enodes (cost 17 ) 174.301 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 174.302 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 174.303 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 174.308 * * [simplify]: iteration 3 : 49 enodes (cost 8 ) 174.315 * * [simplify]: iteration 4 : 73 enodes (cost 8 ) 174.327 * * [simplify]: iteration 5 : 107 enodes (cost 8 ) 174.339 * * [simplify]: iteration 6 : 132 enodes (cost 8 ) 174.354 * * [simplify]: iteration 7 : 138 enodes (cost 8 ) 174.365 * * [simplify]: iteration done : 138 enodes (cost 8 ) 174.366 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 174.367 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 174.370 * * [simplify]: iteration 2 : 38 enodes (cost 21 ) 174.377 * * [simplify]: iteration 3 : 103 enodes (cost 21 ) 174.411 * * [simplify]: iteration 4 : 207 enodes (cost 21 ) 174.457 * * [simplify]: iteration 5 : 280 enodes (cost 21 ) 174.522 * * [simplify]: iteration 6 : 353 enodes (cost 21 ) 174.596 * * [simplify]: iteration 7 : 383 enodes (cost 21 ) 174.674 * * [simplify]: iteration 8 : 401 enodes (cost 21 ) 174.749 * * [simplify]: iteration 9 : 403 enodes (cost 21 ) 174.819 * * [simplify]: iteration done : 403 enodes (cost 21 ) 174.820 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 174.822 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 174.824 * * [simplify]: iteration 2 : 28 enodes (cost 12 ) 174.828 * * [simplify]: iteration 3 : 63 enodes (cost 12 ) 174.841 * * [simplify]: iteration 4 : 105 enodes (cost 12 ) 174.859 * * [simplify]: iteration 5 : 132 enodes (cost 12 ) 174.876 * * [simplify]: iteration 6 : 151 enodes (cost 12 ) 174.893 * * [simplify]: iteration 7 : 153 enodes (cost 12 ) 174.913 * * [simplify]: iteration 8 : 154 enodes (cost 12 ) 174.930 * * [simplify]: iteration done : 154 enodes (cost 12 ) 174.931 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 174.932 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 174.934 * * [simplify]: iteration 2 : 25 enodes (cost 3 ) 174.938 * * [simplify]: iteration 3 : 43 enodes (cost 3 ) 174.943 * * [simplify]: iteration 4 : 54 enodes (cost 3 ) 174.947 * * [simplify]: iteration 5 : 58 enodes (cost 3 ) 174.950 * * [simplify]: iteration done : 58 enodes (cost 3 ) 174.951 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 174.952 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 174.958 * * [simplify]: iteration 2 : 38 enodes (cost 21 ) 174.965 * * [simplify]: iteration 3 : 103 enodes (cost 21 ) 174.996 * * [simplify]: iteration 4 : 207 enodes (cost 21 ) 175.045 * * [simplify]: iteration 5 : 280 enodes (cost 21 ) 175.107 * * [simplify]: iteration 6 : 353 enodes (cost 21 ) 175.183 * * [simplify]: iteration 7 : 383 enodes (cost 21 ) 175.262 * * [simplify]: iteration 8 : 401 enodes (cost 21 ) 175.337 * * [simplify]: iteration 9 : 403 enodes (cost 21 ) 175.408 * * [simplify]: iteration done : 403 enodes (cost 21 ) 175.409 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 175.410 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 175.412 * * [simplify]: iteration 2 : 28 enodes (cost 12 ) 175.417 * * [simplify]: iteration 3 : 63 enodes (cost 12 ) 175.430 * * [simplify]: iteration 4 : 105 enodes (cost 12 ) 175.444 * * [simplify]: iteration 5 : 132 enodes (cost 12 ) 175.472 * * [simplify]: iteration 6 : 151 enodes (cost 12 ) 175.489 * * [simplify]: iteration 7 : 153 enodes (cost 12 ) 175.506 * * [simplify]: iteration 8 : 154 enodes (cost 12 ) 175.526 * * [simplify]: iteration done : 154 enodes (cost 12 ) 175.527 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 175.528 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 175.530 * * [simplify]: iteration 2 : 25 enodes (cost 3 ) 175.534 * * [simplify]: iteration 3 : 43 enodes (cost 3 ) 175.539 * * [simplify]: iteration 4 : 54 enodes (cost 3 ) 175.543 * * [simplify]: iteration 5 : 58 enodes (cost 3 ) 175.547 * * [simplify]: iteration done : 58 enodes (cost 3 ) 175.547 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 175.548 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 175.549 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 175.551 * * [simplify]: iteration 3 : 31 enodes (cost 3 ) 175.554 * * [simplify]: iteration 4 : 40 enodes (cost 3 ) 175.556 * * [simplify]: iteration 5 : 44 enodes (cost 3 ) 175.558 * * [simplify]: iteration done : 44 enodes (cost 3 ) 175.559 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 175.560 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 175.562 * * [simplify]: iteration 2 : 34 enodes (cost 7 ) 175.570 * * [simplify]: iteration 3 : 56 enodes (cost 7 ) 175.581 * * [simplify]: iteration 4 : 101 enodes (cost 7 ) 175.605 * * [simplify]: iteration 5 : 167 enodes (cost 7 ) 175.658 * * [simplify]: iteration 6 : 261 enodes (cost 7 ) 175.787 * * [simplify]: iteration 7 : 440 enodes (cost 7 ) 176.426 * * [simplify]: iteration 8 : 1436 enodes (cost 7 ) 182.052 * * [simplify]: iteration 9 : 4384 enodes (cost 7 ) 183.785 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 183.786 * * [simplify]: iteration 0 : 12 enodes (cost 19 ) 183.788 * * [simplify]: iteration 1 : 36 enodes (cost 19 ) 183.794 * * [simplify]: iteration 2 : 91 enodes (cost 15 ) 183.816 * * [simplify]: iteration 3 : 184 enodes (cost 15 ) 183.852 * * [simplify]: iteration 4 : 379 enodes (cost 15 ) 183.987 * * [simplify]: iteration 5 : 889 enodes (cost 15 ) 184.591 * * [simplify]: iteration 6 : 2622 enodes (cost 15 ) 185.801 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 185.801 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 185.803 * * [simplify]: iteration 1 : 30 enodes (cost 23 ) 185.808 * * [simplify]: iteration 2 : 74 enodes (cost 19 ) 185.822 * * [simplify]: iteration 3 : 218 enodes (cost 15 ) 185.888 * * [simplify]: iteration 4 : 763 enodes (cost 9 ) 186.343 * * [simplify]: iteration 5 : 2269 enodes (cost 9 ) 187.604 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 187.605 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 187.606 * * [simplify]: iteration 1 : 17 enodes (cost 16 ) 187.608 * * [simplify]: iteration 2 : 29 enodes (cost 16 ) 187.612 * * [simplify]: iteration 3 : 33 enodes (cost 16 ) 187.616 * * [simplify]: iteration 4 : 42 enodes (cost 16 ) 187.629 * * [simplify]: iteration 5 : 44 enodes (cost 16 ) 187.635 * * [simplify]: iteration 6 : 50 enodes (cost 16 ) 187.641 * * [simplify]: iteration 7 : 54 enodes (cost 16 ) 187.647 * * [simplify]: iteration 8 : 60 enodes (cost 16 ) 187.655 * * [simplify]: iteration 9 : 62 enodes (cost 16 ) 187.663 * * [simplify]: iteration done : 62 enodes (cost 16 ) 187.663 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 187.665 * * [simplify]: iteration 1 : 17 enodes (cost 16 ) 187.667 * * [simplify]: iteration 2 : 29 enodes (cost 16 ) 187.670 * * [simplify]: iteration 3 : 33 enodes (cost 16 ) 187.675 * * [simplify]: iteration 4 : 42 enodes (cost 16 ) 187.684 * * [simplify]: iteration 5 : 44 enodes (cost 16 ) 187.690 * * [simplify]: iteration 6 : 50 enodes (cost 16 ) 187.696 * * [simplify]: iteration 7 : 54 enodes (cost 16 ) 187.702 * * [simplify]: iteration 8 : 60 enodes (cost 16 ) 187.710 * * [simplify]: iteration 9 : 62 enodes (cost 16 ) 187.718 * * [simplify]: iteration done : 62 enodes (cost 16 ) 187.719 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 187.720 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 187.722 * * [simplify]: iteration 2 : 34 enodes (cost 15 ) 187.727 * * [simplify]: iteration 3 : 72 enodes (cost 15 ) 187.743 * * [simplify]: iteration 4 : 125 enodes (cost 15 ) 187.764 * * [simplify]: iteration 5 : 203 enodes (cost 15 ) 187.812 * * [simplify]: iteration 6 : 345 enodes (cost 15 ) 187.928 * * [simplify]: iteration 7 : 609 enodes (cost 15 ) 188.486 * * [simplify]: iteration 8 : 1427 enodes (cost 15 ) 193.075 * * [simplify]: iteration 9 : 4670 enodes (cost 15 ) 194.300 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 194.301 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 194.302 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 194.304 * * [simplify]: iteration 2 : 36 enodes (cost 17 ) 194.309 * * [simplify]: iteration 3 : 76 enodes (cost 17 ) 194.322 * * [simplify]: iteration 4 : 135 enodes (cost 17 ) 194.353 * * [simplify]: iteration 5 : 210 enodes (cost 17 ) 194.401 * * [simplify]: iteration 6 : 329 enodes (cost 17 ) 194.502 * * [simplify]: iteration 7 : 547 enodes (cost 17 ) 194.702 * * [simplify]: iteration 8 : 879 enodes (cost 17 ) 195.124 * * [simplify]: iteration 9 : 1365 enodes (cost 17 ) 195.567 * * [simplify]: iteration 10 : 1706 enodes (cost 17 ) 196.166 * * [simplify]: iteration 11 : 1833 enodes (cost 17 ) 196.762 * * [simplify]: iteration 12 : 1834 enodes (cost 17 ) 197.355 * * [simplify]: iteration done : 1834 enodes (cost 17 ) 197.356 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 197.357 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 197.360 * * [simplify]: iteration 2 : 34 enodes (cost 15 ) 197.365 * * [simplify]: iteration 3 : 72 enodes (cost 15 ) 197.377 * * [simplify]: iteration 4 : 125 enodes (cost 15 ) 197.403 * * [simplify]: iteration 5 : 203 enodes (cost 15 ) 197.450 * * [simplify]: iteration 6 : 345 enodes (cost 15 ) 197.562 * * [simplify]: iteration 7 : 609 enodes (cost 15 ) 198.118 * * [simplify]: iteration 8 : 1427 enodes (cost 15 ) 202.867 * * [simplify]: iteration 9 : 4670 enodes (cost 15 ) 204.066 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 204.067 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 204.067 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 204.069 * * [simplify]: iteration 2 : 34 enodes (cost 7 ) 204.075 * * [simplify]: iteration 3 : 56 enodes (cost 7 ) 204.085 * * [simplify]: iteration 4 : 101 enodes (cost 7 ) 204.115 * * [simplify]: iteration 5 : 167 enodes (cost 7 ) 204.170 * * [simplify]: iteration 6 : 261 enodes (cost 7 ) 204.296 * * [simplify]: iteration 7 : 440 enodes (cost 7 ) 204.957 * * [simplify]: iteration 8 : 1436 enodes (cost 7 ) 210.740 * * [simplify]: iteration 9 : 4384 enodes (cost 7 ) 212.291 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 212.292 * * [simplify]: iteration 0 : 12 enodes (cost 19 ) 212.299 * * [simplify]: iteration 1 : 30 enodes (cost 19 ) 212.303 * * [simplify]: iteration 2 : 69 enodes (cost 19 ) 212.315 * * [simplify]: iteration 3 : 197 enodes (cost 19 ) 212.367 * * [simplify]: iteration 4 : 688 enodes (cost 19 ) 212.770 * * [simplify]: iteration 5 : 2789 enodes (cost 19 ) 214.067 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 214.068 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 214.069 * * [simplify]: iteration 1 : 18 enodes (cost 19 ) 214.072 * * [simplify]: iteration 2 : 45 enodes (cost 19 ) 214.081 * * [simplify]: iteration 3 : 144 enodes (cost 19 ) 214.119 * * [simplify]: iteration 4 : 379 enodes (cost 19 ) 214.251 * * [simplify]: iteration 5 : 780 enodes (cost 19 ) 214.749 * * [simplify]: iteration 6 : 2362 enodes (cost 19 ) 215.935 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 215.935 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 215.935 * * [simplify]: iteration done : 1 enodes (cost 1 ) 215.936 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 215.936 * * [simplify]: iteration done : 1 enodes (cost 1 ) 215.937 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 215.937 * * [simplify]: iteration done : 1 enodes (cost 1 ) 215.937 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 215.937 * * [simplify]: iteration done : 1 enodes (cost 1 ) 215.938 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 215.938 * * [simplify]: iteration 1 : 3 enodes (cost 1 ) 215.938 * * [simplify]: iteration done : 3 enodes (cost 1 ) 215.939 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 215.939 * * [simplify]: iteration 1 : 3 enodes (cost 1 ) 215.939 * * [simplify]: iteration done : 3 enodes (cost 1 ) 215.940 * [simplify]: Simplified to: (- (log (+ x y)) (log (+ (* x x) (* y y)))) (log (/ (+ x y) (+ (* x x) (* y y)))) (exp (/ (+ x y) (+ (* x x) (* y y)))) (pow (/ (+ x y) (+ (* x x) (* y y))) 3) (* (cbrt (/ (+ x y) (+ (* x x) (* y y)))) (cbrt (/ (+ x y) (+ (* x x) (* y y))))) (cbrt (/ (+ x y) (+ (* x x) (* y y)))) (pow (/ (+ x y) (+ (* x x) (* y y))) 3) (sqrt (/ (+ x y) (+ (* x x) (* y y)))) (sqrt (/ (+ x y) (+ (* x x) (* y y)))) (neg (+ x y)) (neg (+ (* x x) (* y y))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (/ (cbrt (+ x y)) (cbrt (+ (* x x) (* y y)))) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ (* x x) (* y y)))) (/ (cbrt (+ x y)) (sqrt (+ (* x x) (* y y)))) (* (cbrt (+ x y)) (cbrt (+ x y))) (/ (cbrt (+ x y)) (+ (* x x) (* y y))) (/ (sqrt (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (/ (sqrt (+ x y)) (cbrt (+ (* x x) (* y y)))) (/ (sqrt (+ x y)) (sqrt (+ (* x x) (* y y)))) (/ (sqrt (+ x y)) (sqrt (+ (* x x) (* y y)))) (sqrt (+ x y)) (/ (sqrt (+ x y)) (+ (* x x) (* y y))) (/ 1 (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (/ (+ x y) (cbrt (+ (* x x) (* y y)))) (/ 1 (sqrt (+ (* x x) (* y y)))) (/ (+ x y) (sqrt (+ (* x x) (* y y)))) 1 (/ (+ x y) (+ (* x x) (* y y))) (/ 1 (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (/ (+ x y) (cbrt (+ (* x x) (* y y)))) (/ 1 (sqrt (+ (* x x) (* y y)))) (/ (+ x y) (sqrt (+ (* x x) (* y y)))) 1 (/ (+ x y) (+ (* x x) (* y y))) (/ 1 (+ (* x x) (* y y))) (/ (+ (* x x) (* y y)) (+ x y)) (/ (+ x y) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (/ (+ x y) (sqrt (+ (* x x) (* y y)))) (+ x y) (/ (+ (* x x) (* y y)) (cbrt (+ x y))) (/ (+ (* x x) (* y y)) (sqrt (+ x y))) (/ (+ (* x x) (* y y)) (+ x y)) (/ (+ (* x x) (* y y)) (+ x y)) (/ (+ x y) (+ (pow x 6) (pow y 6))) (/ (+ x y) (- (pow x 4) (pow y 4))) (* (+ (* x x) (* y (- y x))) (+ (* x x) (* y y))) (* (+ (* x x) (* y y)) (- x y)) (* (+ x y) (/ (- x y) (+ (* x x) (* y y)))) (+ (log (- x y)) (- (log (+ x y)) (log (+ (* x x) (* y y))))) (+ (log (- x y)) (log (/ (+ x y) (+ (* x x) (* y y))))) (log (* (- x y) (/ (+ x y) (+ (* x x) (* y y))))) (exp (* (- x y) (/ (+ x y) (+ (* x x) (* y y))))) (* (pow (/ (+ x y) (+ (* x x) (* y y))) 3) (pow (- x y) 3)) (pow (* (- x y) (/ (+ x y) (+ (* x x) (* y y)))) 3) (* (cbrt (* (- x y) (/ (+ x y) (+ (* x x) (* y y))))) (cbrt (* (- x y) (/ (+ x y) (+ (* x x) (* y y)))))) (cbrt (* (- x y) (/ (+ x y) (+ (* x x) (* y y))))) (pow (* (- x y) (/ (+ x y) (+ (* x x) (* y y)))) 3) (sqrt (* (- x y) (/ (+ x y) (+ (* x x) (* y y))))) (sqrt (* (- x y) (/ (+ x y) (+ (* x x) (* y y))))) (* (- (pow x 3) (pow y 3)) (+ x y)) (* (+ (* x x) (* y y)) (+ (* y (+ y x)) (* x x))) (* (- (* x x) (* y y)) (+ x y)) (* (+ x y) (+ (* x x) (* y y))) (* (sqrt (- x y)) (sqrt (/ (+ x y) (+ (* x x) (* y y))))) (* (sqrt (- x y)) (sqrt (/ (+ x y) (+ (* x x) (* y y))))) (* (sqrt (- x y)) (/ (sqrt (+ x y)) (sqrt (+ (* x x) (* y y))))) (* (sqrt (- x y)) (/ (sqrt (+ x y)) (sqrt (+ (* x x) (* y y))))) (* (- x y) (* (cbrt (/ (+ x y) (+ (* x x) (* y y)))) (cbrt (/ (+ x y) (+ (* x x) (* y y)))))) (* (- x y) (sqrt (/ (+ x y) (+ (* x x) (* y y))))) (* (- x y) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))) (* (- x y) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (+ (* x x) (* y y))))) (* (- x y) (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (- x y) (/ (sqrt (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))) (* (- x y) (/ (sqrt (+ x y)) (sqrt (+ (* x x) (* y y))))) (* (sqrt (+ x y)) (- x y)) (/ (- x y) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (/ (- x y) (sqrt (+ (* x x) (* y y)))) (- x y) (/ (- x y) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (/ (- x y) (sqrt (+ (* x x) (* y y)))) (- x y) (- x y) (* (- x y) (+ x y)) (/ (* (- x y) (+ x y)) (+ (pow y 6) (pow x 6))) (/ 1 (+ (* x x) (* y y))) (* (cbrt (- x y)) (/ (+ x y) (+ (* x x) (* y y)))) (* (sqrt (- x y)) (/ (+ x y) (+ (* x x) (* y y)))) (* (+ x y) (/ (- x y) (+ (* x x) (* y y)))) (* (- (sqrt x) (sqrt y)) (/ (+ x y) (+ (* x x) (* y y)))) (* (+ x y) (/ (- x y) (+ (* x x) (* y y)))) (* (- x y) (+ x y)) (* (- (pow x 3) (pow y 3)) (/ (+ x y) (+ (* x x) (* y y)))) (* (- (* x x) (* y y)) (/ (+ x y) (+ (* x x) (* y y)))) 0 0 0 -1 1 1 215.941 * * * [progress]: adding candidates to table 216.014 * * [progress]: iteration 4 / 4 216.014 * * * [progress]: picking best candidate 216.016 * * * * [pick]: Picked # 216.016 * * * [progress]: localizing error 216.016 * * * [progress]: generating rewritten candidates 216.016 * * * [progress]: generating series expansions 216.016 * * * [progress]: simplifying candidates 216.017 * [simplify]: Simplifying using # : 216.017 * [simplify]: Simplified to: 216.017 * * * [progress]: adding candidates to table 216.017 * [progress]: [Phase 3 of 3] Extracting. 216.017 * * [regime]: Finding splitpoints for: (# # # #) 216.017 * * * [regime-changes]: Trying 3 branch expressions: ((/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) y x) 216.017 * * * * [regimes]: Trying to branch on (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) from (# # # #) 216.055 * * * * [regimes]: Trying to branch on y from (# # # #) 216.111 * * * * [regimes]: Trying to branch on x from (# # # #) 216.161 * * * [regime]: Found split indices: #