4.017 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (* 2.0 (- (* x x) (* x y))) 0.019 * * [simplify]: iteration 0 : 13 enodes (cost 3 ) 0.020 * * [simplify]: iteration 1 : 32 enodes (cost 3 ) 0.022 * * [simplify]: iteration 2 : 66 enodes (cost 3 ) 0.024 * * [simplify]: iteration 3 : 92 enodes (cost 3 ) 0.026 * * [simplify]: iteration 4 : 100 enodes (cost 3 ) 0.029 * * [simplify]: iteration 5 : 100 enodes (cost 3 ) 0.029 * [simplify]: Simplified to: (* (* x (- x y)) 2.0) 0.031 * * [progress]: iteration 1 / 4 0.031 * * * [progress]: picking best candidate 0.033 * * * * [pick]: Picked # 0.033 * * * [progress]: localizing error 0.040 * * * [progress]: generating rewritten candidates 0.040 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.046 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.058 * * * [progress]: generating series expansions 0.058 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.058 * [approximate]: Taking taylor expansion of (* x (- x y)) in (x y) around 0 0.058 * [taylor]: Taking taylor expansion of (* x (- x y)) in y 0.058 * [taylor]: Taking taylor expansion of x in y 0.058 * [taylor]: Taking taylor expansion of (- x y) in y 0.058 * [taylor]: Taking taylor expansion of x in y 0.058 * [taylor]: Taking taylor expansion of y in y 0.058 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of (- x y) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of y in x 0.058 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of (- x y) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of y in x 0.058 * [taylor]: Taking taylor expansion of 0 in y 0.059 * [taylor]: Taking taylor expansion of (- y) in y 0.060 * [taylor]: Taking taylor expansion of y in y 0.061 * [taylor]: Taking taylor expansion of 1 in y 0.062 * [taylor]: Taking taylor expansion of 0 in y 0.064 * [taylor]: Taking taylor expansion of 0 in y 0.065 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in (x y) around 0 0.065 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in y 0.065 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.065 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.065 * [taylor]: Taking taylor expansion of x in y 0.065 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.065 * [taylor]: Taking taylor expansion of y in y 0.065 * [taylor]: Taking taylor expansion of x in y 0.066 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.066 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.066 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.066 * [taylor]: Taking taylor expansion of y in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.067 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.067 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.067 * [taylor]: Taking taylor expansion of y in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of 1 in y 0.069 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.069 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.069 * [taylor]: Taking taylor expansion of y in y 0.071 * [taylor]: Taking taylor expansion of 0 in y 0.074 * [taylor]: Taking taylor expansion of 0 in y 0.078 * [taylor]: Taking taylor expansion of 0 in y 0.079 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in (x y) around 0 0.079 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in y 0.079 * [taylor]: Taking taylor expansion of -1 in y 0.079 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in y 0.079 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.079 * [taylor]: Taking taylor expansion of y in y 0.079 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.079 * [taylor]: Taking taylor expansion of x in y 0.079 * [taylor]: Taking taylor expansion of x in y 0.080 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.080 * [taylor]: Taking taylor expansion of -1 in x 0.080 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.080 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.080 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.080 * [taylor]: Taking taylor expansion of y in x 0.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.080 * [taylor]: Taking taylor expansion of x in x 0.080 * [taylor]: Taking taylor expansion of x in x 0.081 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.081 * [taylor]: Taking taylor expansion of -1 in x 0.081 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.081 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.081 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.081 * [taylor]: Taking taylor expansion of y in x 0.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.081 * [taylor]: Taking taylor expansion of x in x 0.081 * [taylor]: Taking taylor expansion of x in x 0.082 * [taylor]: Taking taylor expansion of 1 in y 0.084 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.084 * [taylor]: Taking taylor expansion of y in y 0.087 * [taylor]: Taking taylor expansion of 0 in y 0.091 * [taylor]: Taking taylor expansion of 0 in y 0.096 * [taylor]: Taking taylor expansion of 0 in y 0.096 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.096 * [approximate]: Taking taylor expansion of (* 2.0 (* x (- x y))) in (x y) around 0 0.096 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in y 0.096 * [taylor]: Taking taylor expansion of 2.0 in y 0.096 * [taylor]: Taking taylor expansion of (* x (- x y)) in y 0.096 * [taylor]: Taking taylor expansion of x in y 0.096 * [taylor]: Taking taylor expansion of (- x y) in y 0.096 * [taylor]: Taking taylor expansion of x in y 0.096 * [taylor]: Taking taylor expansion of y in y 0.096 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in x 0.096 * [taylor]: Taking taylor expansion of 2.0 in x 0.096 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [taylor]: Taking taylor expansion of (- x y) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [taylor]: Taking taylor expansion of y in x 0.096 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in x 0.096 * [taylor]: Taking taylor expansion of 2.0 in x 0.096 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [taylor]: Taking taylor expansion of (- x y) in x 0.097 * [taylor]: Taking taylor expansion of x in x 0.097 * [taylor]: Taking taylor expansion of y in x 0.097 * [taylor]: Taking taylor expansion of 0 in y 0.098 * [taylor]: Taking taylor expansion of (- (* 2.0 y)) in y 0.098 * [taylor]: Taking taylor expansion of (* 2.0 y) in y 0.098 * [taylor]: Taking taylor expansion of 2.0 in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.100 * [taylor]: Taking taylor expansion of 2.0 in y 0.104 * [taylor]: Taking taylor expansion of 0 in y 0.107 * [taylor]: Taking taylor expansion of 0 in y 0.108 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in (x y) around 0 0.108 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in y 0.108 * [taylor]: Taking taylor expansion of 2.0 in y 0.108 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in y 0.108 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.108 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.108 * [taylor]: Taking taylor expansion of x in y 0.108 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.108 * [taylor]: Taking taylor expansion of y in y 0.109 * [taylor]: Taking taylor expansion of x in y 0.109 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in x 0.109 * [taylor]: Taking taylor expansion of 2.0 in x 0.109 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.109 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.109 * [taylor]: Taking taylor expansion of x in x 0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.109 * [taylor]: Taking taylor expansion of y in x 0.110 * [taylor]: Taking taylor expansion of x in x 0.110 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in x 0.110 * [taylor]: Taking taylor expansion of 2.0 in x 0.110 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.110 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.110 * [taylor]: Taking taylor expansion of x in x 0.110 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.110 * [taylor]: Taking taylor expansion of y in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [taylor]: Taking taylor expansion of 2.0 in y 0.113 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 0.113 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 0.113 * [taylor]: Taking taylor expansion of 2.0 in y 0.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.113 * [taylor]: Taking taylor expansion of y in y 0.116 * [taylor]: Taking taylor expansion of 0 in y 0.124 * [taylor]: Taking taylor expansion of 0 in y 0.129 * [taylor]: Taking taylor expansion of 0 in y 0.130 * [approximate]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in (x y) around 0 0.130 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in y 0.130 * [taylor]: Taking taylor expansion of -2.0 in y 0.130 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in y 0.130 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.130 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.130 * [taylor]: Taking taylor expansion of y in y 0.130 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.130 * [taylor]: Taking taylor expansion of x in y 0.131 * [taylor]: Taking taylor expansion of x in y 0.131 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.131 * [taylor]: Taking taylor expansion of -2.0 in x 0.131 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.131 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.131 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.131 * [taylor]: Taking taylor expansion of y in x 0.131 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.132 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.132 * [taylor]: Taking taylor expansion of -2.0 in x 0.132 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.132 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.132 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.132 * [taylor]: Taking taylor expansion of y in x 0.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.132 * [taylor]: Taking taylor expansion of x in x 0.133 * [taylor]: Taking taylor expansion of x in x 0.134 * [taylor]: Taking taylor expansion of 2.0 in y 0.135 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 0.135 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 0.135 * [taylor]: Taking taylor expansion of 2.0 in y 0.135 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.135 * [taylor]: Taking taylor expansion of y in y 0.139 * [taylor]: Taking taylor expansion of 0 in y 0.144 * [taylor]: Taking taylor expansion of 0 in y 0.149 * [taylor]: Taking taylor expansion of 0 in y 0.149 * * * [progress]: simplifying candidates 0.150 * [simplify]: Simplifying using # : (* x (- x y)) (+ (log x) (log (- x y))) (log (* x (- x y))) (exp (* x (- x y))) (* (* (* x x) x) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* x (- x y))) (cbrt (* x (- x y)))) (cbrt (* x (- x y))) (* (* (* x (- x y)) (* x (- x y))) (* x (- x y))) (sqrt (* x (- x y))) (sqrt (* x (- x y))) (* (sqrt x) (sqrt (- x y))) (* (sqrt x) (sqrt (- x y))) (* x x) (* x (- y)) (* x x) (* x (- y)) (* x x) (* (- y) x) (* x x) (* (- y) x) (* x (* (cbrt (- x y)) (cbrt (- x y)))) (* x (sqrt (- x y))) (* x 1) (* x (+ (sqrt x) (sqrt y))) (* x 1) (* (cbrt x) (- x y)) (* (sqrt x) (- x y)) (* x (- x y)) (* x (- (pow x 3) (pow y 3))) (* x (- (* x x) (* y y))) (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0) (+ (+ (log x) (log (- x y))) (log 2.0)) (+ (log (* x (- x y))) (log 2.0)) (log (* (* x (- x y)) 2.0)) (exp (* (* x (- x y)) 2.0)) (* (* (* (* x x) x) (* (* (- x y) (- x y)) (- x y))) (* (* 2.0 2.0) 2.0)) (* (* (* (* x (- x y)) (* x (- x y))) (* x (- x y))) (* (* 2.0 2.0) 2.0)) (* (cbrt (* (* x (- x y)) 2.0)) (cbrt (* (* x (- x y)) 2.0))) (cbrt (* (* x (- x y)) 2.0)) (* (* (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0)) (* (* x (- x y)) 2.0)) (sqrt (* (* x (- x y)) 2.0)) (sqrt (* (* x (- x y)) 2.0)) (* (sqrt (* x (- x y))) (sqrt 2.0)) (* (sqrt (* x (- x y))) (sqrt 2.0)) (* (* (sqrt x) (sqrt (- x y))) (sqrt 2.0)) (* (* (sqrt x) (sqrt (- x y))) (sqrt 2.0)) (* (* x (- x y)) (* (cbrt 2.0) (cbrt 2.0))) (* (* x (- x y)) (sqrt 2.0)) (* (* x (- x y)) 1) (* (- x y) 2.0) (* (cbrt (* x (- x y))) 2.0) (* (sqrt (* x (- x y))) 2.0) (* (* x (- x y)) 2.0) (* (* (sqrt x) (sqrt (- x y))) 2.0) (* (cbrt (- x y)) 2.0) (* (sqrt (- x y)) 2.0) (* (- x y) 2.0) (* (- (sqrt x) (sqrt y)) 2.0) (* (- x y) 2.0) (* (* (cbrt x) (- x y)) 2.0) (* (* (sqrt x) (- x y)) 2.0) (* (* x (- x y)) 2.0) (* x 2.0) (* (* x (- (pow x 3) (pow y 3))) 2.0) (* (* x (- (* x x) (* y y))) 2.0) (- (pow x 2) (* x y)) (- (pow x 2) (* x y)) (- (pow x 2) (* x y)) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 0.154 * * [simplify]: iteration 0 : 218 enodes (cost 277 ) 0.160 * * [simplify]: iteration 1 : 975 enodes (cost 240 ) 0.186 * * [simplify]: iteration 2 : 5002 enodes (cost 240 ) 0.188 * [simplify]: Simplified to: (* x (- x y)) (log (* x (- x y))) (log (* x (- x y))) (exp (* x (- x y))) (pow (* x (- x y)) 3) (* (cbrt (* x (- x y))) (cbrt (* x (- x y)))) (cbrt (* x (- x y))) (pow (* x (- x y)) 3) (sqrt (* x (- x y))) (sqrt (* x (- x y))) (* (sqrt (- x y)) (pow x 1/2)) (* (sqrt (- x y)) (pow x 1/2)) (pow x 2) (* x (- y)) (pow x 2) (* x (- y)) (pow x 2) (* x (- y)) (pow x 2) (* x (- y)) (* x (* (cbrt (- x y)) (cbrt (- x y)))) (* x (sqrt (- x y))) x (* x (+ (sqrt x) (sqrt y))) x (* (cbrt x) (- x y)) (* (sqrt x) (- x y)) (* x (- x y)) (* x (- (pow x 3) (pow y 3))) (* x (- (* x x) (* y y))) (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0) (log (* (* x (- x y)) 2.0)) (log (* (* x (- x y)) 2.0)) (log (* (* x (- x y)) 2.0)) (exp (* (* x (- x y)) 2.0)) (pow (* (* x (- x y)) 2.0) 3) (pow (* (* x (- x y)) 2.0) 3) (* (cbrt (* (* x (- x y)) 2.0)) (cbrt (* (* x (- x y)) 2.0))) (cbrt (* (* x (- x y)) 2.0)) (pow (* (* x (- x y)) 2.0) 3) (sqrt (* (* x (- x y)) 2.0)) (sqrt (* (* x (- x y)) 2.0)) (* (sqrt (* x (- x y))) (sqrt 2.0)) (* (sqrt (* x (- x y))) (sqrt 2.0)) (* (* (sqrt x) (sqrt (- x y))) (sqrt 2.0)) (* (* (sqrt x) (sqrt (- x y))) (sqrt 2.0)) (* (* x (- x y)) (* (cbrt 2.0) (cbrt 2.0))) (* (* x (- x y)) (sqrt 2.0)) (* x (- x y)) (* (- x y) 2.0) (* (cbrt (* x (- x y))) 2.0) (* (sqrt (* x (- x y))) 2.0) (* (* x (- x y)) 2.0) (* (* (sqrt x) (sqrt (- x y))) 2.0) (* (cbrt (- x y)) 2.0) (* (sqrt (- x y)) 2.0) (* (- x y) 2.0) (* (- (sqrt x) (sqrt y)) 2.0) (* (- x y) 2.0) (* (* (cbrt x) (- x y)) 2.0) (* (* (sqrt x) (- x y)) 2.0) (* (* x (- x y)) 2.0) (* x 2.0) (* (* x (- (pow x 3) (pow y 3))) 2.0) (* (* x (- (* x x) (* y y))) 2.0) (* x (- x y)) (* x (- x y)) (* x (- x y)) (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0) 0.189 * * * [progress]: adding candidates to table 0.255 * * [progress]: iteration 2 / 4 0.255 * * * [progress]: picking best candidate 0.263 * * * * [pick]: Picked # 0.264 * * * [progress]: localizing error 0.268 * * * [progress]: generating rewritten candidates 0.268 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.280 * * * [progress]: generating series expansions 0.280 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.280 * [approximate]: Taking taylor expansion of (* 2.0 (* x (- x y))) in (x y) around 0 0.280 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in y 0.280 * [taylor]: Taking taylor expansion of 2.0 in y 0.280 * [taylor]: Taking taylor expansion of (* x (- x y)) in y 0.280 * [taylor]: Taking taylor expansion of x in y 0.280 * [taylor]: Taking taylor expansion of (- x y) in y 0.280 * [taylor]: Taking taylor expansion of x in y 0.280 * [taylor]: Taking taylor expansion of y in y 0.281 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in x 0.281 * [taylor]: Taking taylor expansion of 2.0 in x 0.281 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.281 * [taylor]: Taking taylor expansion of x in x 0.281 * [taylor]: Taking taylor expansion of (- x y) in x 0.281 * [taylor]: Taking taylor expansion of x in x 0.281 * [taylor]: Taking taylor expansion of y in x 0.281 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in x 0.281 * [taylor]: Taking taylor expansion of 2.0 in x 0.281 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.281 * [taylor]: Taking taylor expansion of x in x 0.281 * [taylor]: Taking taylor expansion of (- x y) in x 0.281 * [taylor]: Taking taylor expansion of x in x 0.281 * [taylor]: Taking taylor expansion of y in x 0.281 * [taylor]: Taking taylor expansion of 0 in y 0.283 * [taylor]: Taking taylor expansion of (- (* 2.0 y)) in y 0.283 * [taylor]: Taking taylor expansion of (* 2.0 y) in y 0.283 * [taylor]: Taking taylor expansion of 2.0 in y 0.283 * [taylor]: Taking taylor expansion of y in y 0.285 * [taylor]: Taking taylor expansion of 2.0 in y 0.288 * [taylor]: Taking taylor expansion of 0 in y 0.292 * [taylor]: Taking taylor expansion of 0 in y 0.293 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in (x y) around 0 0.293 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in y 0.293 * [taylor]: Taking taylor expansion of 2.0 in y 0.293 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in y 0.293 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.293 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.293 * [taylor]: Taking taylor expansion of x in y 0.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.293 * [taylor]: Taking taylor expansion of y in y 0.293 * [taylor]: Taking taylor expansion of x in y 0.294 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in x 0.294 * [taylor]: Taking taylor expansion of 2.0 in x 0.294 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.294 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.294 * [taylor]: Taking taylor expansion of y in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.295 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in x 0.295 * [taylor]: Taking taylor expansion of 2.0 in x 0.295 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.295 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.295 * [taylor]: Taking taylor expansion of x in x 0.295 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.295 * [taylor]: Taking taylor expansion of y in x 0.295 * [taylor]: Taking taylor expansion of x in x 0.296 * [taylor]: Taking taylor expansion of 2.0 in y 0.297 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 0.297 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 0.297 * [taylor]: Taking taylor expansion of 2.0 in y 0.297 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.297 * [taylor]: Taking taylor expansion of y in y 0.301 * [taylor]: Taking taylor expansion of 0 in y 0.305 * [taylor]: Taking taylor expansion of 0 in y 0.311 * [taylor]: Taking taylor expansion of 0 in y 0.311 * [approximate]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in (x y) around 0 0.311 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in y 0.311 * [taylor]: Taking taylor expansion of -2.0 in y 0.311 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in y 0.311 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.311 * [taylor]: Taking taylor expansion of y in y 0.312 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.312 * [taylor]: Taking taylor expansion of x in y 0.312 * [taylor]: Taking taylor expansion of x in y 0.312 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.312 * [taylor]: Taking taylor expansion of -2.0 in x 0.312 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.312 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.312 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.312 * [taylor]: Taking taylor expansion of y in x 0.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.313 * [taylor]: Taking taylor expansion of x in x 0.313 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.313 * [taylor]: Taking taylor expansion of -2.0 in x 0.313 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.313 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.313 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.313 * [taylor]: Taking taylor expansion of y in x 0.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.314 * [taylor]: Taking taylor expansion of x in x 0.314 * [taylor]: Taking taylor expansion of x in x 0.315 * [taylor]: Taking taylor expansion of 2.0 in y 0.316 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 0.317 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 0.317 * [taylor]: Taking taylor expansion of 2.0 in y 0.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.317 * [taylor]: Taking taylor expansion of y in y 0.320 * [taylor]: Taking taylor expansion of 0 in y 0.325 * [taylor]: Taking taylor expansion of 0 in y 0.330 * [taylor]: Taking taylor expansion of 0 in y 0.330 * * * [progress]: simplifying candidates 0.331 * [simplify]: Simplifying using # : (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0)) (+ (log x) (+ (log (- x y)) (log 2.0))) (+ (log x) (log (* (- x y) 2.0))) (log (* x (* (- x y) 2.0))) (exp (* x (* (- x y) 2.0))) (* (* (* x x) x) (* (* (* (- x y) (- x y)) (- x y)) (* (* 2.0 2.0) 2.0))) (* (* (* x x) x) (* (* (* (- x y) 2.0) (* (- x y) 2.0)) (* (- x y) 2.0))) (* (cbrt (* x (* (- x y) 2.0))) (cbrt (* x (* (- x y) 2.0)))) (cbrt (* x (* (- x y) 2.0))) (* (* (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0))) (* x (* (- x y) 2.0))) (sqrt (* x (* (- x y) 2.0))) (sqrt (* x (* (- x y) 2.0))) (* (sqrt x) (sqrt (* (- x y) 2.0))) (* (sqrt x) (sqrt (* (- x y) 2.0))) (* (sqrt x) (* (sqrt (- x y)) (sqrt 2.0))) (* (sqrt x) (* (sqrt (- x y)) (sqrt 2.0))) (* x (- x y)) (* x (* (cbrt (* (- x y) 2.0)) (cbrt (* (- x y) 2.0)))) (* x (sqrt (* (- x y) 2.0))) (* x 1) (* x (* (sqrt (- x y)) (sqrt 2.0))) (* x (* (- x y) (* (cbrt 2.0) (cbrt 2.0)))) (* x (* (- x y) (sqrt 2.0))) (* x (* (- x y) 1)) (* x (* (cbrt (- x y)) (cbrt (- x y)))) (* x (sqrt (- x y))) (* x 1) (* x (+ (sqrt x) (sqrt y))) (* x 1) (* x 2.0) (* (cbrt x) (* (- x y) 2.0)) (* (sqrt x) (* (- x y) 2.0)) (* x (* (- x y) 2.0)) (* x (* (- (pow x 3) (pow y 3)) 2.0)) (* x (* (- (* x x) (* y y)) 2.0)) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) (- (* 2.0 (pow x 2)) (* 2.0 (* x y))) 0.335 * * [simplify]: iteration 0 : 205 enodes (cost 176 ) 0.341 * * [simplify]: iteration 1 : 1005 enodes (cost 152 ) 0.368 * * [simplify]: iteration 2 : 5001 enodes (cost 152 ) 0.370 * [simplify]: Simplified to: (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0)) (log (* x (* (- x y) 2.0))) (log (* x (* (- x y) 2.0))) (log (* x (* (- x y) 2.0))) (exp (* x (* (- x y) 2.0))) (pow (* x (* (- x y) 2.0)) 3) (pow (* x (* (- x y) 2.0)) 3) (* (cbrt (* x (* (- x y) 2.0))) (cbrt (* x (* (- x y) 2.0)))) (cbrt (* x (* (- x y) 2.0))) (pow (* x (* (- x y) 2.0)) 3) (sqrt (* x (* (- x y) 2.0))) (sqrt (* x (* (- x y) 2.0))) (* (sqrt (* (- x y) 2.0)) (pow x 1/2)) (* (sqrt (* (- x y) 2.0)) (pow x 1/2)) (* (sqrt x) (* (sqrt (- x y)) (sqrt 2.0))) (* (sqrt x) (* (sqrt (- x y)) (sqrt 2.0))) (* (- x y) x) (* x (* (cbrt (* (- x y) 2.0)) (cbrt (* (- x y) 2.0)))) (* x (sqrt (* (- x y) 2.0))) x (* x (* (sqrt (- x y)) (sqrt 2.0))) (* x (* (- x y) (* (cbrt 2.0) (cbrt 2.0)))) (* x (* (- x y) (sqrt 2.0))) (* (- x y) x) (* x (* (cbrt (- x y)) (cbrt (- x y)))) (* x (sqrt (- x y))) x (* x (+ (sqrt x) (sqrt y))) x (* x 2.0) (* (cbrt x) (* (- x y) 2.0)) (* (sqrt x) (* (- x y) 2.0)) (* x (* (- x y) 2.0)) (* x (* (- (pow x 3) (pow y 3)) 2.0)) (* x (* (- (* x x) (* y y)) 2.0)) (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0)) (* x (* (- x y) 2.0)) 0.370 * * * [progress]: adding candidates to table 0.409 * * [progress]: iteration 3 / 4 0.409 * * * [progress]: picking best candidate 0.412 * * * * [pick]: Picked # 0.412 * * * [progress]: localizing error 0.419 * * * [progress]: generating rewritten candidates 0.419 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.429 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.451 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.469 * * * [progress]: generating series expansions 0.469 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.470 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in (x y) around 0 0.470 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in y 0.470 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.470 * [taylor]: Taking taylor expansion of 2.0 in y 0.470 * [taylor]: Taking taylor expansion of (- x y) in y 0.470 * [taylor]: Taking taylor expansion of x in y 0.470 * [taylor]: Taking taylor expansion of y in y 0.470 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in x 0.470 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.470 * [taylor]: Taking taylor expansion of 2.0 in x 0.471 * [taylor]: Taking taylor expansion of (- x y) in x 0.471 * [taylor]: Taking taylor expansion of x in x 0.471 * [taylor]: Taking taylor expansion of y in x 0.471 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in x 0.471 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.471 * [taylor]: Taking taylor expansion of 2.0 in x 0.472 * [taylor]: Taking taylor expansion of (- x y) in x 0.472 * [taylor]: Taking taylor expansion of x in x 0.472 * [taylor]: Taking taylor expansion of y in x 0.472 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt 2.0) y)) in y 0.473 * [taylor]: Taking taylor expansion of -1 in y 0.473 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y 0.473 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.473 * [taylor]: Taking taylor expansion of 2.0 in y 0.473 * [taylor]: Taking taylor expansion of y in y 0.475 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.475 * [taylor]: Taking taylor expansion of 2.0 in y 0.481 * [taylor]: Taking taylor expansion of 0 in y 0.485 * [taylor]: Taking taylor expansion of 0 in y 0.487 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in (x y) around 0 0.487 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in y 0.487 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.487 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.487 * [taylor]: Taking taylor expansion of x in y 0.487 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.487 * [taylor]: Taking taylor expansion of y in y 0.488 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.488 * [taylor]: Taking taylor expansion of 2.0 in y 0.488 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in x 0.488 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.488 * [taylor]: Taking taylor expansion of x in x 0.489 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.489 * [taylor]: Taking taylor expansion of y in x 0.489 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.489 * [taylor]: Taking taylor expansion of 2.0 in x 0.489 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in x 0.489 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.489 * [taylor]: Taking taylor expansion of x in x 0.490 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.490 * [taylor]: Taking taylor expansion of y in x 0.490 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.490 * [taylor]: Taking taylor expansion of 2.0 in x 0.491 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.491 * [taylor]: Taking taylor expansion of 2.0 in y 0.493 * [taylor]: Taking taylor expansion of (- (/ (sqrt 2.0) y)) in y 0.493 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y 0.493 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.493 * [taylor]: Taking taylor expansion of 2.0 in y 0.494 * [taylor]: Taking taylor expansion of y in y 0.498 * [taylor]: Taking taylor expansion of 0 in y 0.502 * [taylor]: Taking taylor expansion of 0 in y 0.507 * [taylor]: Taking taylor expansion of 0 in y 0.512 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.512 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in y 0.512 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.512 * [taylor]: Taking taylor expansion of 2.0 in y 0.513 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.513 * [taylor]: Taking taylor expansion of y in y 0.513 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.513 * [taylor]: Taking taylor expansion of x in y 0.513 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in x 0.513 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.513 * [taylor]: Taking taylor expansion of 2.0 in x 0.514 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.514 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.514 * [taylor]: Taking taylor expansion of y in x 0.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.514 * [taylor]: Taking taylor expansion of x in x 0.514 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in x 0.514 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.514 * [taylor]: Taking taylor expansion of 2.0 in x 0.515 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.515 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.515 * [taylor]: Taking taylor expansion of y in x 0.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.515 * [taylor]: Taking taylor expansion of x in x 0.516 * [taylor]: Taking taylor expansion of (* -1 (sqrt 2.0)) in y 0.516 * [taylor]: Taking taylor expansion of -1 in y 0.516 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.516 * [taylor]: Taking taylor expansion of 2.0 in y 0.518 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y 0.518 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.518 * [taylor]: Taking taylor expansion of 2.0 in y 0.519 * [taylor]: Taking taylor expansion of y in y 0.524 * [taylor]: Taking taylor expansion of 0 in y 0.528 * [taylor]: Taking taylor expansion of 0 in y 0.533 * [taylor]: Taking taylor expansion of 0 in y 0.534 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.535 * [approximate]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in (x y) around 0 0.535 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in y 0.535 * [taylor]: Taking taylor expansion of x in y 0.535 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- x y)) in y 0.535 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.535 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.535 * [taylor]: Taking taylor expansion of 2.0 in y 0.536 * [taylor]: Taking taylor expansion of (- x y) in y 0.536 * [taylor]: Taking taylor expansion of x in y 0.536 * [taylor]: Taking taylor expansion of y in y 0.536 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in x 0.536 * [taylor]: Taking taylor expansion of x in x 0.536 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- x y)) in x 0.536 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 0.536 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.536 * [taylor]: Taking taylor expansion of 2.0 in x 0.537 * [taylor]: Taking taylor expansion of (- x y) in x 0.537 * [taylor]: Taking taylor expansion of x in x 0.537 * [taylor]: Taking taylor expansion of y in x 0.537 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in x 0.537 * [taylor]: Taking taylor expansion of x in x 0.537 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- x y)) in x 0.537 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 0.537 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.537 * [taylor]: Taking taylor expansion of 2.0 in x 0.538 * [taylor]: Taking taylor expansion of (- x y) in x 0.538 * [taylor]: Taking taylor expansion of x in x 0.538 * [taylor]: Taking taylor expansion of y in x 0.540 * [taylor]: Taking taylor expansion of 0 in y 0.543 * [taylor]: Taking taylor expansion of (- (* (pow (sqrt 2.0) 2) y)) in y 0.543 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) y) in y 0.543 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.543 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.543 * [taylor]: Taking taylor expansion of 2.0 in y 0.544 * [taylor]: Taking taylor expansion of y in y 0.550 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.550 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.550 * [taylor]: Taking taylor expansion of 2.0 in y 0.561 * [taylor]: Taking taylor expansion of 0 in y 0.569 * [taylor]: Taking taylor expansion of 0 in y 0.572 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in (x y) around 0 0.572 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in y 0.572 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) in y 0.572 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.572 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.572 * [taylor]: Taking taylor expansion of x in y 0.572 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.572 * [taylor]: Taking taylor expansion of y in y 0.572 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.572 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.572 * [taylor]: Taking taylor expansion of 2.0 in y 0.573 * [taylor]: Taking taylor expansion of x in y 0.577 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in x 0.577 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) in x 0.577 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.577 * [taylor]: Taking taylor expansion of x in x 0.577 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.577 * [taylor]: Taking taylor expansion of y in x 0.577 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 0.577 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.577 * [taylor]: Taking taylor expansion of 2.0 in x 0.578 * [taylor]: Taking taylor expansion of x in x 0.581 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in x 0.581 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) in x 0.581 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.581 * [taylor]: Taking taylor expansion of x in x 0.581 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.582 * [taylor]: Taking taylor expansion of y in x 0.582 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 0.582 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.582 * [taylor]: Taking taylor expansion of 2.0 in x 0.582 * [taylor]: Taking taylor expansion of x in x 0.586 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.586 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.586 * [taylor]: Taking taylor expansion of 2.0 in y 0.593 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 2.0) 2) y)) in y 0.593 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) y) in y 0.593 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.593 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.593 * [taylor]: Taking taylor expansion of 2.0 in y 0.593 * [taylor]: Taking taylor expansion of y in y 0.604 * [taylor]: Taking taylor expansion of 0 in y 0.611 * [taylor]: Taking taylor expansion of 0 in y 0.621 * [taylor]: Taking taylor expansion of 0 in y 0.624 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in (x y) around 0 0.624 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in y 0.624 * [taylor]: Taking taylor expansion of -1 in y 0.624 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x) in y 0.624 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) in y 0.624 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.624 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.624 * [taylor]: Taking taylor expansion of 2.0 in y 0.625 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.625 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.625 * [taylor]: Taking taylor expansion of y in y 0.625 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.625 * [taylor]: Taking taylor expansion of x in y 0.625 * [taylor]: Taking taylor expansion of x in y 0.628 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in x 0.628 * [taylor]: Taking taylor expansion of -1 in x 0.628 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x) in x 0.628 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) in x 0.628 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 0.628 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.628 * [taylor]: Taking taylor expansion of 2.0 in x 0.629 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.629 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.629 * [taylor]: Taking taylor expansion of y in x 0.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.633 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in x 0.633 * [taylor]: Taking taylor expansion of -1 in x 0.633 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x) in x 0.633 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) in x 0.633 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 0.633 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.633 * [taylor]: Taking taylor expansion of 2.0 in x 0.634 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.634 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.634 * [taylor]: Taking taylor expansion of y in x 0.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.634 * [taylor]: Taking taylor expansion of x in x 0.634 * [taylor]: Taking taylor expansion of x in x 0.640 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.640 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.640 * [taylor]: Taking taylor expansion of 2.0 in y 0.646 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 2.0) 2) y)) in y 0.646 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) y) in y 0.646 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.646 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.646 * [taylor]: Taking taylor expansion of 2.0 in y 0.646 * [taylor]: Taking taylor expansion of y in y 0.658 * [taylor]: Taking taylor expansion of 0 in y 0.671 * [taylor]: Taking taylor expansion of 0 in y 0.683 * [taylor]: Taking taylor expansion of 0 in y 0.685 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.685 * [approximate]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in (x y) around 0 0.685 * [taylor]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in y 0.685 * [taylor]: Taking taylor expansion of x in y 0.685 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in y 0.685 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.685 * [taylor]: Taking taylor expansion of 2.0 in y 0.686 * [taylor]: Taking taylor expansion of (- x y) in y 0.686 * [taylor]: Taking taylor expansion of x in y 0.686 * [taylor]: Taking taylor expansion of y in y 0.686 * [taylor]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in x 0.686 * [taylor]: Taking taylor expansion of x in x 0.686 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in x 0.686 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.686 * [taylor]: Taking taylor expansion of 2.0 in x 0.687 * [taylor]: Taking taylor expansion of (- x y) in x 0.687 * [taylor]: Taking taylor expansion of x in x 0.687 * [taylor]: Taking taylor expansion of y in x 0.687 * [taylor]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in x 0.687 * [taylor]: Taking taylor expansion of x in x 0.687 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in x 0.687 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.687 * [taylor]: Taking taylor expansion of 2.0 in x 0.688 * [taylor]: Taking taylor expansion of (- x y) in x 0.688 * [taylor]: Taking taylor expansion of x in x 0.688 * [taylor]: Taking taylor expansion of y in x 0.688 * [taylor]: Taking taylor expansion of 0 in y 0.690 * [taylor]: Taking taylor expansion of (- (* (sqrt 2.0) y)) in y 0.690 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y 0.690 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.690 * [taylor]: Taking taylor expansion of 2.0 in y 0.691 * [taylor]: Taking taylor expansion of y in y 0.694 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.694 * [taylor]: Taking taylor expansion of 2.0 in y 0.701 * [taylor]: Taking taylor expansion of 0 in y 0.706 * [taylor]: Taking taylor expansion of 0 in y 0.708 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in (x y) around 0 0.708 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in y 0.708 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in y 0.708 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.708 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.708 * [taylor]: Taking taylor expansion of x in y 0.708 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.708 * [taylor]: Taking taylor expansion of y in y 0.708 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.708 * [taylor]: Taking taylor expansion of 2.0 in y 0.709 * [taylor]: Taking taylor expansion of x in y 0.711 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in x 0.711 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in x 0.711 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.711 * [taylor]: Taking taylor expansion of x in x 0.711 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.711 * [taylor]: Taking taylor expansion of y in x 0.711 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.711 * [taylor]: Taking taylor expansion of 2.0 in x 0.712 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in x 0.713 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in x 0.713 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.714 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.714 * [taylor]: Taking taylor expansion of y in x 0.714 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.714 * [taylor]: Taking taylor expansion of 2.0 in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.716 * [taylor]: Taking taylor expansion of 2.0 in y 0.719 * [taylor]: Taking taylor expansion of (- (/ (sqrt 2.0) y)) in y 0.719 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y 0.719 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.719 * [taylor]: Taking taylor expansion of 2.0 in y 0.719 * [taylor]: Taking taylor expansion of y in y 0.725 * [taylor]: Taking taylor expansion of 0 in y 0.730 * [taylor]: Taking taylor expansion of 0 in y 0.737 * [taylor]: Taking taylor expansion of 0 in y 0.739 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in (x y) around 0 0.739 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in y 0.739 * [taylor]: Taking taylor expansion of -1 in y 0.739 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x) in y 0.739 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in y 0.739 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.739 * [taylor]: Taking taylor expansion of 2.0 in y 0.739 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.739 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.739 * [taylor]: Taking taylor expansion of y in y 0.740 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.740 * [taylor]: Taking taylor expansion of x in y 0.740 * [taylor]: Taking taylor expansion of x in y 0.741 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in x 0.741 * [taylor]: Taking taylor expansion of -1 in x 0.741 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x) in x 0.741 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in x 0.741 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.741 * [taylor]: Taking taylor expansion of 2.0 in x 0.742 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.742 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.742 * [taylor]: Taking taylor expansion of y in x 0.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.742 * [taylor]: Taking taylor expansion of x in x 0.742 * [taylor]: Taking taylor expansion of x in x 0.744 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in x 0.744 * [taylor]: Taking taylor expansion of -1 in x 0.744 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x) in x 0.744 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in x 0.744 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.744 * [taylor]: Taking taylor expansion of 2.0 in x 0.748 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.748 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.748 * [taylor]: Taking taylor expansion of y in x 0.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.748 * [taylor]: Taking taylor expansion of x in x 0.749 * [taylor]: Taking taylor expansion of x in x 0.752 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.752 * [taylor]: Taking taylor expansion of 2.0 in y 0.755 * [taylor]: Taking taylor expansion of (- (/ (sqrt 2.0) y)) in y 0.755 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y 0.755 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.756 * [taylor]: Taking taylor expansion of 2.0 in y 0.756 * [taylor]: Taking taylor expansion of y in y 0.763 * [taylor]: Taking taylor expansion of 0 in y 0.769 * [taylor]: Taking taylor expansion of 0 in y 0.778 * [taylor]: Taking taylor expansion of 0 in y 0.779 * * * [progress]: simplifying candidates 0.781 * [simplify]: Simplifying using # : (* (- x y) (sqrt 2.0)) (+ (log (- x y)) (log (sqrt 2.0))) (log (* (- x y) (sqrt 2.0))) (exp (* (- x y) (sqrt 2.0))) (* (* (* (- x y) (- x y)) (- x y)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (* (- x y) (sqrt 2.0))) (cbrt (* (- x y) (sqrt 2.0)))) (cbrt (* (- x y) (sqrt 2.0))) (* (* (* (- x y) (sqrt 2.0)) (* (- x y) (sqrt 2.0))) (* (- x y) (sqrt 2.0))) (sqrt (* (- x y) (sqrt 2.0))) (sqrt (* (- x y) (sqrt 2.0))) (* (sqrt (- x y)) (sqrt (sqrt 2.0))) (* (sqrt (- x y)) (sqrt (sqrt 2.0))) (* (sqrt (- x y)) (sqrt (sqrt 2.0))) (* (sqrt (- x y)) (sqrt (sqrt 2.0))) (* (- x y) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (* (- x y) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (* (- x y) (sqrt (sqrt 2.0))) (* (- x y) (sqrt 1)) (* (- x y) (sqrt (sqrt 2.0))) (* (- x y) 1) (* (cbrt (- x y)) (sqrt 2.0)) (* (sqrt (- x y)) (sqrt 2.0)) (* (- x y) (sqrt 2.0)) (* (- (sqrt x) (sqrt y)) (sqrt 2.0)) (* (- x y) (sqrt 2.0)) (* (- (pow x 3) (pow y 3)) (sqrt 2.0)) (* (- (* x x) (* y y)) (sqrt 2.0)) (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0)) (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0)) (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0)) (+ (+ (log x) (+ (log (- x y)) (log (sqrt 2.0)))) (log (sqrt 2.0))) (+ (+ (log x) (log (* (- x y) (sqrt 2.0)))) (log (sqrt 2.0))) (+ (log (* x (* (- x y) (sqrt 2.0)))) (log (sqrt 2.0))) (log (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0))) (exp (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0))) (* (* (* (* x x) x) (* (* (* (- x y) (- x y)) (- x y)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (* (* (* x x) x) (* (* (* (- x y) (sqrt 2.0)) (* (- x y) (sqrt 2.0))) (* (- x y) (sqrt 2.0)))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (* (* (* x (* (- x y) (sqrt 2.0))) (* x (* (- x y) (sqrt 2.0)))) (* x (* (- x y) (sqrt 2.0)))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0))) (cbrt (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0)))) (cbrt (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0))) (* (* (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0)) (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0))) (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0))) (sqrt (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0))) (sqrt (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0))) (* (sqrt (* x (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (sqrt (* x (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (sqrt (* x (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (sqrt (* x (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* x (* (- x y) (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (* (* x (* (- x y) (sqrt 2.0))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (* (* x (* (- x y) (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* x (* (- x y) (sqrt 2.0))) (sqrt 1)) (* (* x (* (- x y) (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* x (* (- x y) (sqrt 2.0))) 1) (* (* (- x y) (sqrt 2.0)) (sqrt 2.0)) (* (cbrt (* x (* (- x y) (sqrt 2.0)))) (sqrt 2.0)) (* (sqrt (* x (* (- x y) (sqrt 2.0)))) (sqrt 2.0)) (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0)) (* (* (sqrt x) (sqrt (* (- x y) (sqrt 2.0)))) (sqrt 2.0)) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (sqrt 2.0) (sqrt 2.0)) (* (cbrt (* (- x y) (sqrt 2.0))) (sqrt 2.0)) (* (sqrt (* (- x y) (sqrt 2.0))) (sqrt 2.0)) (* (* (- x y) (sqrt 2.0)) (sqrt 2.0)) (* (* (sqrt (- x y)) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (sqrt (- x y)) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (sqrt 2.0)) (* (sqrt (cbrt 2.0)) (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt 2.0)) (* (sqrt 2.0) (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt 2.0)) (* (sqrt 2.0) (sqrt 2.0)) (* (* (cbrt (- x y)) (sqrt 2.0)) (sqrt 2.0)) (* (* (sqrt (- x y)) (sqrt 2.0)) (sqrt 2.0)) (* (* (- x y) (sqrt 2.0)) (sqrt 2.0)) (* (* (- (sqrt x) (sqrt y)) (sqrt 2.0)) (sqrt 2.0)) (* (* (- x y) (sqrt 2.0)) (sqrt 2.0)) (* (- x y) (sqrt 2.0)) (* (* (cbrt x) (* (- x y) (sqrt 2.0))) (sqrt 2.0)) (* (* (sqrt x) (* (- x y) (sqrt 2.0))) (sqrt 2.0)) (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0)) (* x (sqrt 2.0)) (* (* x (* (- (pow x 3) (pow y 3)) (sqrt 2.0))) (sqrt 2.0)) (* (* x (* (- (* x x) (* y y)) (sqrt 2.0))) (sqrt 2.0)) (* x (* (- x y) (sqrt 2.0))) (* x (* (- x y) (sqrt 2.0))) (+ (log x) (+ (log (- x y)) (log (sqrt 2.0)))) (+ (log x) (log (* (- x y) (sqrt 2.0)))) (log (* x (* (- x y) (sqrt 2.0)))) (exp (* x (* (- x y) (sqrt 2.0)))) (* (* (* x x) x) (* (* (* (- x y) (- x y)) (- x y)) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0)))) (* (* (* x x) x) (* (* (* (- x y) (sqrt 2.0)) (* (- x y) (sqrt 2.0))) (* (- x y) (sqrt 2.0)))) (* (cbrt (* x (* (- x y) (sqrt 2.0)))) (cbrt (* x (* (- x y) (sqrt 2.0))))) (cbrt (* x (* (- x y) (sqrt 2.0)))) (* (* (* x (* (- x y) (sqrt 2.0))) (* x (* (- x y) (sqrt 2.0)))) (* x (* (- x y) (sqrt 2.0)))) (sqrt (* x (* (- x y) (sqrt 2.0)))) (sqrt (* x (* (- x y) (sqrt 2.0)))) (* (sqrt x) (sqrt (* (- x y) (sqrt 2.0)))) (* (sqrt x) (sqrt (* (- x y) (sqrt 2.0)))) (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (* x (- x y)) (* x (* (cbrt (* (- x y) (sqrt 2.0))) (cbrt (* (- x y) (sqrt 2.0))))) (* x (sqrt (* (- x y) (sqrt 2.0)))) (* x 1) (* x (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (* x (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (* x (* (- x y) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* x (* (- x y) (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* x (* (- x y) (sqrt (sqrt 2.0)))) (* x (* (- x y) (sqrt 1))) (* x (* (- x y) (sqrt (sqrt 2.0)))) (* x (* (- x y) 1)) (* x (* (cbrt (- x y)) (cbrt (- x y)))) (* x (sqrt (- x y))) (* x 1) (* x (+ (sqrt x) (sqrt y))) (* x 1) (* x (sqrt 2.0)) (* (cbrt x) (* (- x y) (sqrt 2.0))) (* (sqrt x) (* (- x y) (sqrt 2.0))) (* x (* (- x y) (sqrt 2.0))) (* x (* (- (pow x 3) (pow y 3)) (sqrt 2.0))) (* x (* (- (* x x) (* y y)) (sqrt 2.0))) (- (* (sqrt 2.0) x) (* (sqrt 2.0) y)) (- (* (sqrt 2.0) x) (* (sqrt 2.0) y)) (- (* (sqrt 2.0) x) (* (sqrt 2.0) y)) (- (* (pow (sqrt 2.0) 2) (pow x 2)) (* (pow (sqrt 2.0) 2) (* y x))) (- (* (pow (sqrt 2.0) 2) (pow x 2)) (* (pow (sqrt 2.0) 2) (* y x))) (- (* (pow (sqrt 2.0) 2) (pow x 2)) (* (pow (sqrt 2.0) 2) (* y x))) (- (* (sqrt 2.0) (pow x 2)) (* (sqrt 2.0) (* y x))) (- (* (sqrt 2.0) (pow x 2)) (* (sqrt 2.0) (* y x))) (- (* (sqrt 2.0) (pow x 2)) (* (sqrt 2.0) (* y x))) 0.788 * * [simplify]: iteration 0 : 381 enodes (cost 861 ) 0.798 * * [simplify]: iteration 1 : 1947 enodes (cost 769 ) 0.840 * * [simplify]: iteration 2 : 5002 enodes (cost 751 ) 0.845 * [simplify]: Simplified to: (* (sqrt 2.0) (- x y)) (log (* (- x y) (sqrt 2.0))) (log (* (- x y) (sqrt 2.0))) (exp (* (- x y) (sqrt 2.0))) (pow (* (sqrt 2.0) (- x y)) 3) (* (cbrt (* (- x y) (sqrt 2.0))) (cbrt (* (- x y) (sqrt 2.0)))) (cbrt (* (- x y) (sqrt 2.0))) (pow (* (sqrt 2.0) (- x y)) 3) (sqrt (* (- x y) (sqrt 2.0))) (sqrt (* (- x y) (sqrt 2.0))) (* (sqrt (- x y)) (sqrt (sqrt 2.0))) (* (sqrt (- x y)) (sqrt (sqrt 2.0))) (* (sqrt (- x y)) (sqrt (sqrt 2.0))) (* (sqrt (- x y)) (sqrt (sqrt 2.0))) (* (- x y) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (* (fabs (cbrt 2.0)) (- x y)) (* (- x y) (sqrt (sqrt 2.0))) (- x y) (* (- x y) (sqrt (sqrt 2.0))) (- x y) (* (cbrt (- x y)) (sqrt 2.0)) (* (sqrt (- x y)) (sqrt 2.0)) (* (sqrt 2.0) (- x y)) (* (- (sqrt x) (sqrt y)) (sqrt 2.0)) (* (sqrt 2.0) (- x y)) (* (- (pow x 3) (pow y 3)) (sqrt 2.0)) (* (- (* x x) (* y y)) (sqrt 2.0)) (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0) (+ (log x) (log (* (- x y) 2.0))) (+ (log x) (log (* (- x y) 2.0))) (+ (log x) (log (* (- x y) 2.0))) (+ (log x) (log (* (- x y) 2.0))) (pow (exp x) (* (- x y) 2.0)) (pow (* (* x (- x y)) 2.0) 3) (pow (* (* x (- x y)) 2.0) 3) (pow (* (* x (- x y)) 2.0) 3) (* (cbrt (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0))) (cbrt (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0)))) (cbrt (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0))) (pow (* (* x (- x y)) 2.0) 3) (sqrt (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0))) (sqrt (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0))) (* (sqrt (* x (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (sqrt (* x (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (sqrt (* x (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (sqrt (* x (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (- x y) (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* x (* (- x y) (sqrt 2.0))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (* x (* (* (- x y) (sqrt 2.0)) (fabs (cbrt 2.0)))) (* (* x (* (- x y) (sqrt 2.0))) (sqrt (sqrt 2.0))) (* x (* (- x y) (sqrt 2.0))) (* (* x (* (- x y) (sqrt 2.0))) (sqrt (sqrt 2.0))) (* x (* (- x y) (sqrt 2.0))) (* (- x y) 2.0) (* (cbrt (* x (* (- x y) (sqrt 2.0)))) (sqrt 2.0)) (* (sqrt (* x (* (- x y) (sqrt 2.0)))) (sqrt 2.0)) (* (* x (- x y)) 2.0) (* (* (sqrt x) (sqrt (* (- x y) (sqrt 2.0)))) (sqrt 2.0)) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (sqrt 2.0)) 2.0 (* (cbrt (* (- x y) (sqrt 2.0))) (sqrt 2.0)) (* (sqrt (* (- x y) (sqrt 2.0))) (sqrt 2.0)) (* (- x y) 2.0) (* (* (sqrt (- x y)) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (sqrt (- x y)) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (sqrt 2.0)) (* (sqrt (cbrt 2.0)) (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt 2.0)) 2.0 (* (sqrt (sqrt 2.0)) (sqrt 2.0)) 2.0 (* (cbrt (- x y)) 2.0) (* (sqrt (- x y)) 2.0) (* (- x y) 2.0) (* (- (sqrt x) (sqrt y)) 2.0) (* (- x y) 2.0) (* (sqrt 2.0) (- x y)) (* (cbrt x) (* (- x y) 2.0)) (* (sqrt x) (* (- x y) 2.0)) (* (* x (- x y)) 2.0) (* x (sqrt 2.0)) (* (* x (- (pow x 3) (pow y 3))) 2.0) (* (* x (- (* x x) (* y y))) 2.0) (* x (* (- x y) (sqrt 2.0))) (* x (* (- x y) (sqrt 2.0))) (log (* x (* (- x y) (sqrt 2.0)))) (log (* x (* (- x y) (sqrt 2.0)))) (log (* x (* (- x y) (sqrt 2.0)))) (exp (* x (* (- x y) (sqrt 2.0)))) (pow (* x (* (- x y) (sqrt 2.0))) 3) (pow (* x (* (- x y) (sqrt 2.0))) 3) (* (cbrt (* x (* (- x y) (sqrt 2.0)))) (cbrt (* x (* (- x y) (sqrt 2.0))))) (cbrt (* x (* (- x y) (sqrt 2.0)))) (pow (* x (* (- x y) (sqrt 2.0))) 3) (sqrt (* x (* (- x y) (sqrt 2.0)))) (sqrt (* x (* (- x y) (sqrt 2.0)))) (* (sqrt x) (sqrt (* (- x y) (sqrt 2.0)))) (* (sqrt x) (sqrt (* (- x y) (sqrt 2.0)))) (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (* (sqrt x) (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (* (- x y) x) (* x (* (cbrt (* (- x y) (sqrt 2.0))) (cbrt (* (- x y) (sqrt 2.0))))) (* x (sqrt (* (- x y) (sqrt 2.0)))) x (* x (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (* x (* (sqrt (- x y)) (sqrt (sqrt 2.0)))) (* x (* (- x y) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* x (- x y)) (fabs (cbrt 2.0))) (* x (* (- x y) (sqrt (sqrt 2.0)))) (* (- x y) x) (* x (* (- x y) (sqrt (sqrt 2.0)))) (* (- x y) x) (* x (* (cbrt (- x y)) (cbrt (- x y)))) (* x (sqrt (- x y))) x (* x (+ (sqrt x) (sqrt y))) x (* x (sqrt 2.0)) (* (cbrt x) (* (- x y) (sqrt 2.0))) (* (sqrt x) (* (- x y) (sqrt 2.0))) (* x (* (- x y) (sqrt 2.0))) (* x (* (- (pow x 3) (pow y 3)) (sqrt 2.0))) (* x (* (- (* x x) (* y y)) (sqrt 2.0))) (* (sqrt 2.0) (- x y)) (* (sqrt 2.0) (- x y)) (* (sqrt 2.0) (- x y)) (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0) (* (* x (- x y)) 2.0) (* x (* (- x y) (sqrt 2.0))) (* x (* (- x y) (sqrt 2.0))) (* x (* (- x y) (sqrt 2.0))) 0.846 * * * [progress]: adding candidates to table 0.998 * * [progress]: iteration 4 / 4 0.998 * * * [progress]: picking best candidate 1.000 * * * * [pick]: Picked # 1.000 * * * [progress]: localizing error 1.009 * * * [progress]: generating rewritten candidates 1.009 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.056 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 1.075 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.109 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 1.136 * * * [progress]: generating series expansions 1.136 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.138 * [approximate]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in (x y) around 0 1.138 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in y 1.138 * [taylor]: Taking taylor expansion of x in y 1.138 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- x y)) in y 1.138 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.138 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.138 * [taylor]: Taking taylor expansion of 2.0 in y 1.139 * [taylor]: Taking taylor expansion of (- x y) in y 1.139 * [taylor]: Taking taylor expansion of x in y 1.139 * [taylor]: Taking taylor expansion of y in y 1.139 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in x 1.139 * [taylor]: Taking taylor expansion of x in x 1.139 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- x y)) in x 1.139 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 1.139 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.139 * [taylor]: Taking taylor expansion of 2.0 in x 1.140 * [taylor]: Taking taylor expansion of (- x y) in x 1.140 * [taylor]: Taking taylor expansion of x in x 1.140 * [taylor]: Taking taylor expansion of y in x 1.140 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in x 1.140 * [taylor]: Taking taylor expansion of x in x 1.140 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- x y)) in x 1.140 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 1.140 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.140 * [taylor]: Taking taylor expansion of 2.0 in x 1.141 * [taylor]: Taking taylor expansion of (- x y) in x 1.141 * [taylor]: Taking taylor expansion of x in x 1.141 * [taylor]: Taking taylor expansion of y in x 1.143 * [taylor]: Taking taylor expansion of 0 in y 1.147 * [taylor]: Taking taylor expansion of (- (* (pow (sqrt 2.0) 2) y)) in y 1.147 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) y) in y 1.147 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.147 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.147 * [taylor]: Taking taylor expansion of 2.0 in y 1.147 * [taylor]: Taking taylor expansion of y in y 1.154 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.154 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.154 * [taylor]: Taking taylor expansion of 2.0 in y 1.165 * [taylor]: Taking taylor expansion of 0 in y 1.178 * [taylor]: Taking taylor expansion of 0 in y 1.182 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in (x y) around 0 1.182 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in y 1.182 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) in y 1.182 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.182 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.182 * [taylor]: Taking taylor expansion of x in y 1.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.182 * [taylor]: Taking taylor expansion of y in y 1.182 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.182 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.182 * [taylor]: Taking taylor expansion of 2.0 in y 1.183 * [taylor]: Taking taylor expansion of x in y 1.187 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in x 1.187 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) in x 1.187 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.187 * [taylor]: Taking taylor expansion of x in x 1.187 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.187 * [taylor]: Taking taylor expansion of y in x 1.187 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 1.187 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.187 * [taylor]: Taking taylor expansion of 2.0 in x 1.188 * [taylor]: Taking taylor expansion of x in x 1.191 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in x 1.191 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) in x 1.191 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.191 * [taylor]: Taking taylor expansion of x in x 1.191 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.192 * [taylor]: Taking taylor expansion of y in x 1.192 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 1.192 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.192 * [taylor]: Taking taylor expansion of 2.0 in x 1.192 * [taylor]: Taking taylor expansion of x in x 1.196 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.196 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.196 * [taylor]: Taking taylor expansion of 2.0 in y 1.200 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 2.0) 2) y)) in y 1.200 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) y) in y 1.200 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.200 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.200 * [taylor]: Taking taylor expansion of 2.0 in y 1.201 * [taylor]: Taking taylor expansion of y in y 1.211 * [taylor]: Taking taylor expansion of 0 in y 1.219 * [taylor]: Taking taylor expansion of 0 in y 1.228 * [taylor]: Taking taylor expansion of 0 in y 1.232 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in (x y) around 0 1.232 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in y 1.232 * [taylor]: Taking taylor expansion of -1 in y 1.232 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x) in y 1.232 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) in y 1.232 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.232 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.232 * [taylor]: Taking taylor expansion of 2.0 in y 1.233 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.233 * [taylor]: Taking taylor expansion of y in y 1.233 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.233 * [taylor]: Taking taylor expansion of x in y 1.233 * [taylor]: Taking taylor expansion of x in y 1.236 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in x 1.236 * [taylor]: Taking taylor expansion of -1 in x 1.236 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x) in x 1.236 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) in x 1.236 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 1.236 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.236 * [taylor]: Taking taylor expansion of 2.0 in x 1.237 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.237 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.237 * [taylor]: Taking taylor expansion of y in x 1.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.237 * [taylor]: Taking taylor expansion of x in x 1.237 * [taylor]: Taking taylor expansion of x in x 1.241 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in x 1.241 * [taylor]: Taking taylor expansion of -1 in x 1.241 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x) in x 1.241 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) in x 1.241 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 1.241 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.241 * [taylor]: Taking taylor expansion of 2.0 in x 1.242 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.242 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.242 * [taylor]: Taking taylor expansion of y in x 1.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.242 * [taylor]: Taking taylor expansion of x in x 1.243 * [taylor]: Taking taylor expansion of x in x 1.248 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.248 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.248 * [taylor]: Taking taylor expansion of 2.0 in y 1.254 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 2.0) 2) y)) in y 1.254 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) y) in y 1.254 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.254 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.254 * [taylor]: Taking taylor expansion of 2.0 in y 1.255 * [taylor]: Taking taylor expansion of y in y 1.270 * [taylor]: Taking taylor expansion of 0 in y 1.279 * [taylor]: Taking taylor expansion of 0 in y 1.291 * [taylor]: Taking taylor expansion of 0 in y 1.293 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 1.294 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in (x y) around 0 1.294 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in y 1.294 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.294 * [taylor]: Taking taylor expansion of 2.0 in y 1.295 * [taylor]: Taking taylor expansion of (- x y) in y 1.295 * [taylor]: Taking taylor expansion of x in y 1.295 * [taylor]: Taking taylor expansion of y in y 1.295 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in x 1.295 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.295 * [taylor]: Taking taylor expansion of 2.0 in x 1.296 * [taylor]: Taking taylor expansion of (- x y) in x 1.296 * [taylor]: Taking taylor expansion of x in x 1.296 * [taylor]: Taking taylor expansion of y in x 1.296 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in x 1.296 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.296 * [taylor]: Taking taylor expansion of 2.0 in x 1.297 * [taylor]: Taking taylor expansion of (- x y) in x 1.297 * [taylor]: Taking taylor expansion of x in x 1.297 * [taylor]: Taking taylor expansion of y in x 1.297 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt 2.0) y)) in y 1.297 * [taylor]: Taking taylor expansion of -1 in y 1.297 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y 1.297 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.297 * [taylor]: Taking taylor expansion of 2.0 in y 1.298 * [taylor]: Taking taylor expansion of y in y 1.300 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.300 * [taylor]: Taking taylor expansion of 2.0 in y 1.306 * [taylor]: Taking taylor expansion of 0 in y 1.310 * [taylor]: Taking taylor expansion of 0 in y 1.313 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in (x y) around 0 1.313 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in y 1.313 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.313 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.313 * [taylor]: Taking taylor expansion of x in y 1.313 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.313 * [taylor]: Taking taylor expansion of y in y 1.313 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.313 * [taylor]: Taking taylor expansion of 2.0 in y 1.314 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in x 1.314 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.314 * [taylor]: Taking taylor expansion of x in x 1.314 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.314 * [taylor]: Taking taylor expansion of y in x 1.314 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.314 * [taylor]: Taking taylor expansion of 2.0 in x 1.315 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in x 1.315 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.315 * [taylor]: Taking taylor expansion of x in x 1.315 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.315 * [taylor]: Taking taylor expansion of y in x 1.315 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.315 * [taylor]: Taking taylor expansion of 2.0 in x 1.317 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.317 * [taylor]: Taking taylor expansion of 2.0 in y 1.319 * [taylor]: Taking taylor expansion of (- (/ (sqrt 2.0) y)) in y 1.319 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y 1.319 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.319 * [taylor]: Taking taylor expansion of 2.0 in y 1.320 * [taylor]: Taking taylor expansion of y in y 1.324 * [taylor]: Taking taylor expansion of 0 in y 1.327 * [taylor]: Taking taylor expansion of 0 in y 1.332 * [taylor]: Taking taylor expansion of 0 in y 1.338 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0 1.338 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in y 1.338 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.338 * [taylor]: Taking taylor expansion of 2.0 in y 1.338 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.338 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.338 * [taylor]: Taking taylor expansion of y in y 1.339 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.339 * [taylor]: Taking taylor expansion of x in y 1.339 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in x 1.339 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.339 * [taylor]: Taking taylor expansion of 2.0 in x 1.340 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.340 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.340 * [taylor]: Taking taylor expansion of y in x 1.340 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.340 * [taylor]: Taking taylor expansion of x in x 1.340 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in x 1.340 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.340 * [taylor]: Taking taylor expansion of 2.0 in x 1.341 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.341 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.341 * [taylor]: Taking taylor expansion of y in x 1.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.341 * [taylor]: Taking taylor expansion of x in x 1.342 * [taylor]: Taking taylor expansion of (* -1 (sqrt 2.0)) in y 1.342 * [taylor]: Taking taylor expansion of -1 in y 1.342 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.342 * [taylor]: Taking taylor expansion of 2.0 in y 1.344 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y 1.344 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.344 * [taylor]: Taking taylor expansion of 2.0 in y 1.345 * [taylor]: Taking taylor expansion of y in y 1.349 * [taylor]: Taking taylor expansion of 0 in y 1.353 * [taylor]: Taking taylor expansion of 0 in y 1.359 * [taylor]: Taking taylor expansion of 0 in y 1.360 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.361 * [approximate]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in (x y) around 0 1.361 * [taylor]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in y 1.361 * [taylor]: Taking taylor expansion of x in y 1.361 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in y 1.361 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.361 * [taylor]: Taking taylor expansion of 2.0 in y 1.362 * [taylor]: Taking taylor expansion of (- x y) in y 1.362 * [taylor]: Taking taylor expansion of x in y 1.362 * [taylor]: Taking taylor expansion of y in y 1.362 * [taylor]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in x 1.362 * [taylor]: Taking taylor expansion of x in x 1.362 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in x 1.362 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.362 * [taylor]: Taking taylor expansion of 2.0 in x 1.363 * [taylor]: Taking taylor expansion of (- x y) in x 1.363 * [taylor]: Taking taylor expansion of x in x 1.363 * [taylor]: Taking taylor expansion of y in x 1.363 * [taylor]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in x 1.363 * [taylor]: Taking taylor expansion of x in x 1.363 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in x 1.363 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.363 * [taylor]: Taking taylor expansion of 2.0 in x 1.364 * [taylor]: Taking taylor expansion of (- x y) in x 1.364 * [taylor]: Taking taylor expansion of x in x 1.364 * [taylor]: Taking taylor expansion of y in x 1.365 * [taylor]: Taking taylor expansion of 0 in y 1.366 * [taylor]: Taking taylor expansion of (- (* (sqrt 2.0) y)) in y 1.366 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y 1.367 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.367 * [taylor]: Taking taylor expansion of 2.0 in y 1.367 * [taylor]: Taking taylor expansion of y in y 1.371 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.371 * [taylor]: Taking taylor expansion of 2.0 in y 1.377 * [taylor]: Taking taylor expansion of 0 in y 1.383 * [taylor]: Taking taylor expansion of 0 in y 1.385 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in (x y) around 0 1.385 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in y 1.385 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in y 1.385 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.385 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.385 * [taylor]: Taking taylor expansion of x in y 1.385 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.385 * [taylor]: Taking taylor expansion of y in y 1.386 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.386 * [taylor]: Taking taylor expansion of 2.0 in y 1.386 * [taylor]: Taking taylor expansion of x in y 1.388 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in x 1.388 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in x 1.388 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.388 * [taylor]: Taking taylor expansion of x in x 1.388 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.388 * [taylor]: Taking taylor expansion of y in x 1.388 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.388 * [taylor]: Taking taylor expansion of 2.0 in x 1.389 * [taylor]: Taking taylor expansion of x in x 1.391 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in x 1.391 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in x 1.391 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.391 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.391 * [taylor]: Taking taylor expansion of x in x 1.391 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.391 * [taylor]: Taking taylor expansion of y in x 1.391 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.391 * [taylor]: Taking taylor expansion of 2.0 in x 1.392 * [taylor]: Taking taylor expansion of x in x 1.393 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.393 * [taylor]: Taking taylor expansion of 2.0 in y 1.396 * [taylor]: Taking taylor expansion of (- (/ (sqrt 2.0) y)) in y 1.396 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y 1.396 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.396 * [taylor]: Taking taylor expansion of 2.0 in y 1.397 * [taylor]: Taking taylor expansion of y in y 1.402 * [taylor]: Taking taylor expansion of 0 in y 1.408 * [taylor]: Taking taylor expansion of 0 in y 1.418 * [taylor]: Taking taylor expansion of 0 in y 1.420 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in (x y) around 0 1.420 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in y 1.420 * [taylor]: Taking taylor expansion of -1 in y 1.420 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x) in y 1.420 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in y 1.420 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.420 * [taylor]: Taking taylor expansion of 2.0 in y 1.421 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.421 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.421 * [taylor]: Taking taylor expansion of y in y 1.421 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.421 * [taylor]: Taking taylor expansion of x in y 1.421 * [taylor]: Taking taylor expansion of x in y 1.423 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in x 1.423 * [taylor]: Taking taylor expansion of -1 in x 1.423 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x) in x 1.423 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in x 1.423 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.423 * [taylor]: Taking taylor expansion of 2.0 in x 1.423 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.423 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.423 * [taylor]: Taking taylor expansion of y in x 1.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.423 * [taylor]: Taking taylor expansion of x in x 1.424 * [taylor]: Taking taylor expansion of x in x 1.426 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in x 1.426 * [taylor]: Taking taylor expansion of -1 in x 1.426 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x) in x 1.426 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in x 1.426 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.426 * [taylor]: Taking taylor expansion of 2.0 in x 1.427 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.427 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.427 * [taylor]: Taking taylor expansion of y in x 1.427 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.427 * [taylor]: Taking taylor expansion of x in x 1.427 * [taylor]: Taking taylor expansion of x in x 1.430 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.430 * [taylor]: Taking taylor expansion of 2.0 in y 1.434 * [taylor]: Taking taylor expansion of (- (/ (sqrt 2.0) y)) in y 1.434 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y 1.434 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.434 * [taylor]: Taking taylor expansion of 2.0 in y 1.435 * [taylor]: Taking taylor expansion of y in y 1.441 * [taylor]: Taking taylor expansion of 0 in y 1.448 * [taylor]: Taking taylor expansion of 0 in y 1.456 * [taylor]: Taking taylor expansion of 0 in y 1.457 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 1.458 * [approximate]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- x y)) in (x y) around 0 1.458 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- x y)) in y 1.458 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.458 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.458 * [taylor]: Taking taylor expansion of 2.0 in y 1.460 * [taylor]: Taking taylor expansion of (- x y) in y 1.460 * [taylor]: Taking taylor expansion of x in y 1.460 * [taylor]: Taking taylor expansion of y in y 1.460 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- x y)) in x 1.460 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x 1.460 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.460 * [taylor]: Taking taylor expansion of 2.0 in x 1.462 * [taylor]: Taking taylor expansion of (- x y) in x 1.462 * [taylor]: Taking taylor expansion of x in x 1.462 * [taylor]: Taking taylor expansion of y in x 1.462 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- x y)) in x 1.462 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x 1.462 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.462 * [taylor]: Taking taylor expansion of 2.0 in x 1.464 * [taylor]: Taking taylor expansion of (- x y) in x 1.464 * [taylor]: Taking taylor expansion of x in x 1.464 * [taylor]: Taking taylor expansion of y in x 1.465 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt 2.0)) y)) in y 1.465 * [taylor]: Taking taylor expansion of -1 in y 1.465 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) y) in y 1.465 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.465 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.465 * [taylor]: Taking taylor expansion of 2.0 in y 1.467 * [taylor]: Taking taylor expansion of y in y 1.469 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.469 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.469 * [taylor]: Taking taylor expansion of 2.0 in y 1.478 * [taylor]: Taking taylor expansion of 0 in y 1.484 * [taylor]: Taking taylor expansion of 0 in y 1.487 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt 2.0))) in (x y) around 0 1.487 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt 2.0))) in y 1.487 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.487 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.487 * [taylor]: Taking taylor expansion of x in y 1.487 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.487 * [taylor]: Taking taylor expansion of y in y 1.488 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.488 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.488 * [taylor]: Taking taylor expansion of 2.0 in y 1.489 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt 2.0))) in x 1.489 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.489 * [taylor]: Taking taylor expansion of x in x 1.490 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.490 * [taylor]: Taking taylor expansion of y in x 1.490 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x 1.490 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.490 * [taylor]: Taking taylor expansion of 2.0 in x 1.495 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt 2.0))) in x 1.495 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.495 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.495 * [taylor]: Taking taylor expansion of x in x 1.495 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.495 * [taylor]: Taking taylor expansion of y in x 1.495 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x 1.495 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.495 * [taylor]: Taking taylor expansion of 2.0 in x 1.498 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.498 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.498 * [taylor]: Taking taylor expansion of 2.0 in y 1.501 * [taylor]: Taking taylor expansion of (- (* (sqrt (sqrt 2.0)) (/ 1 y))) in y 1.501 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (/ 1 y)) in y 1.501 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.501 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.501 * [taylor]: Taking taylor expansion of 2.0 in y 1.503 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.503 * [taylor]: Taking taylor expansion of y in y 1.510 * [taylor]: Taking taylor expansion of 0 in y 1.515 * [taylor]: Taking taylor expansion of 0 in y 1.522 * [taylor]: Taking taylor expansion of 0 in y 1.525 * [approximate]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- (/ 1 y) (/ 1 x))) in (x y) around 0 1.525 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- (/ 1 y) (/ 1 x))) in y 1.525 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.525 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.525 * [taylor]: Taking taylor expansion of 2.0 in y 1.527 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.527 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.527 * [taylor]: Taking taylor expansion of y in y 1.527 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.527 * [taylor]: Taking taylor expansion of x in y 1.527 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- (/ 1 y) (/ 1 x))) in x 1.527 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x 1.527 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.527 * [taylor]: Taking taylor expansion of 2.0 in x 1.529 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.529 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.529 * [taylor]: Taking taylor expansion of y in x 1.529 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.529 * [taylor]: Taking taylor expansion of x in x 1.529 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- (/ 1 y) (/ 1 x))) in x 1.529 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x 1.529 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.529 * [taylor]: Taking taylor expansion of 2.0 in x 1.531 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.531 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.531 * [taylor]: Taking taylor expansion of y in x 1.531 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.531 * [taylor]: Taking taylor expansion of x in x 1.533 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt 2.0))) in y 1.533 * [taylor]: Taking taylor expansion of -1 in y 1.533 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.533 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.533 * [taylor]: Taking taylor expansion of 2.0 in y 1.536 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (/ 1 y)) in y 1.536 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.536 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.536 * [taylor]: Taking taylor expansion of 2.0 in y 1.538 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.538 * [taylor]: Taking taylor expansion of y in y 1.545 * [taylor]: Taking taylor expansion of 0 in y 1.550 * [taylor]: Taking taylor expansion of 0 in y 1.558 * [taylor]: Taking taylor expansion of 0 in y 1.560 * * * [progress]: simplifying candidates 1.565 * [simplify]: Simplifying using # : (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (+ (+ (log x) (+ (+ (log (- x y)) (log (sqrt (sqrt 2.0)))) (log (sqrt (sqrt 2.0))))) (log (sqrt 2.0))) (+ (+ (log x) (+ (log (* (- x y) (sqrt (sqrt 2.0)))) (log (sqrt (sqrt 2.0))))) (log (sqrt 2.0))) (+ (+ (log x) (log (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (log (sqrt 2.0))) (+ (log (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (log (sqrt 2.0))) (log (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0))) (exp (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0))) (* (* (* (* x x) x) (* (* (* (* (- x y) (- x y)) (- x y)) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (* (* (* x x) x) (* (* (* (* (- x y) (sqrt (sqrt 2.0))) (* (- x y) (sqrt (sqrt 2.0)))) (* (- x y) (sqrt (sqrt 2.0)))) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (* (* (* x x) x) (* (* (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (* (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (* (sqrt 2.0) (sqrt 2.0)) (sqrt 2.0))) (* (cbrt (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0))) (cbrt (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)))) (cbrt (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0))) (* (* (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0))) (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0))) (sqrt (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0))) (sqrt (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0))) (* (sqrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (sqrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (sqrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (sqrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt (* (cbrt 2.0) (cbrt 2.0)))) (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 1)) (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) 1) (* (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (cbrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (sqrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (sqrt x) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt 2.0)) (* (cbrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (cbrt (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (sqrt (cbrt (sqrt 2.0))) (sqrt 2.0)) (* (sqrt (sqrt (cbrt 2.0))) (sqrt 2.0)) (* (sqrt (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt 2.0)) (* (sqrt (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt 2.0)) (* (sqrt (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (sqrt 2.0)) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (cbrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (cbrt (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (sqrt (cbrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (sqrt (sqrt (cbrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (sqrt (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (sqrt (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (sqrt (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (cbrt (- x y)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (sqrt (- x y)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (- (sqrt x) (sqrt y)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (cbrt x) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (sqrt x) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* x (sqrt 2.0)) (* (* x (* (* (- (pow x 3) (pow y 3)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* x (* (* (- (* x x) (* y y)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (+ (+ (log (- x y)) (log (sqrt (sqrt 2.0)))) (log (sqrt (sqrt 2.0)))) (+ (log (* (- x y) (sqrt (sqrt 2.0)))) (log (sqrt (sqrt 2.0)))) (log (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (exp (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (* (* (* (- x y) (- x y)) (- x y)) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (* (* (* (- x y) (sqrt (sqrt 2.0))) (* (- x y) (sqrt (sqrt 2.0)))) (* (- x y) (sqrt (sqrt 2.0)))) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (cbrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (cbrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (cbrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (* (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (* (- x y) (sqrt (sqrt 2.0))) (* (cbrt (sqrt (sqrt 2.0))) (cbrt (sqrt (sqrt 2.0))))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0)))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 1))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0)))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt 1)) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0)))) (* (* (- x y) (sqrt (sqrt 2.0))) 1) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (* (cbrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (cbrt (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (sqrt (cbrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (sqrt (sqrt (cbrt 2.0))) (sqrt (sqrt 2.0))) (* (sqrt (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (* (sqrt (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (* (sqrt (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (* (* (cbrt (- x y)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (sqrt (- x y)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (- (sqrt x) (sqrt y)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (- x y) (sqrt (sqrt 2.0))) (* (* (- (pow x 3) (pow y 3)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (- (* x x) (* y y)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (+ (log x) (+ (+ (log (- x y)) (log (sqrt (sqrt 2.0)))) (log (sqrt (sqrt 2.0))))) (+ (log x) (+ (log (* (- x y) (sqrt (sqrt 2.0)))) (log (sqrt (sqrt 2.0))))) (+ (log x) (log (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (log (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (exp (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (* (* x x) x) (* (* (* (* (- x y) (- x y)) (- x y)) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (* (* x x) x) (* (* (* (* (- x y) (sqrt (sqrt 2.0))) (* (- x y) (sqrt (sqrt 2.0)))) (* (- x y) (sqrt (sqrt 2.0)))) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (* (* x x) x) (* (* (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (cbrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (cbrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))) (cbrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (sqrt x) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (sqrt x) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (- x y) (sqrt (sqrt 2.0)))) (* x (* (cbrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (cbrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))) (* x (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* x 1) (* x (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (* (cbrt (sqrt (sqrt 2.0))) (cbrt (sqrt (sqrt 2.0)))))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (* (cbrt 2.0) (cbrt 2.0)))))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 1)))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt 1))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) 1)) (* x (- x y)) (* x (* (cbrt (* (- x y) (sqrt (sqrt 2.0)))) (cbrt (* (- x y) (sqrt (sqrt 2.0)))))) (* x (sqrt (* (- x y) (sqrt (sqrt 2.0))))) (* x 1) (* x (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0))))) (* x (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0))))) (* x (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0))))) (* x (* (- x y) (* (cbrt (sqrt (sqrt 2.0))) (cbrt (sqrt (sqrt 2.0)))))) (* x (* (- x y) (sqrt (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))))) (* x (* (- x y) (sqrt (sqrt (* (cbrt 2.0) (cbrt 2.0)))))) (* x (* (- x y) (sqrt (sqrt (sqrt 2.0))))) (* x (* (- x y) (sqrt (sqrt 1)))) (* x (* (- x y) (sqrt (sqrt (sqrt 2.0))))) (* x (* (- x y) (sqrt 1))) (* x (* (- x y) (sqrt (sqrt (sqrt 2.0))))) (* x (* (- x y) 1)) (* x (* (cbrt (- x y)) (cbrt (- x y)))) (* x (sqrt (- x y))) (* x 1) (* x (+ (sqrt x) (sqrt y))) (* x 1) (* x (sqrt (sqrt 2.0))) (* x (sqrt (sqrt 2.0))) (* (cbrt x) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (sqrt x) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* x (* (* (- (pow x 3) (pow y 3)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* x (* (* (- (* x x) (* y y)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (- x y) (sqrt (sqrt 2.0))) (+ (log (- x y)) (log (sqrt (sqrt 2.0)))) (log (* (- x y) (sqrt (sqrt 2.0)))) (exp (* (- x y) (sqrt (sqrt 2.0)))) (* (* (* (- x y) (- x y)) (- x y)) (* (* (sqrt (sqrt 2.0)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (cbrt (* (- x y) (sqrt (sqrt 2.0)))) (cbrt (* (- x y) (sqrt (sqrt 2.0))))) (cbrt (* (- x y) (sqrt (sqrt 2.0)))) (* (* (* (- x y) (sqrt (sqrt 2.0))) (* (- x y) (sqrt (sqrt 2.0)))) (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (* (- x y) (* (cbrt (sqrt (sqrt 2.0))) (cbrt (sqrt (sqrt 2.0))))) (* (- x y) (sqrt (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* (- x y) (sqrt (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (- x y) (sqrt (sqrt (sqrt 2.0)))) (* (- x y) (sqrt (sqrt 1))) (* (- x y) (sqrt (sqrt (sqrt 2.0)))) (* (- x y) (sqrt 1)) (* (- x y) (sqrt (sqrt (sqrt 2.0)))) (* (- x y) 1) (* (cbrt (- x y)) (sqrt (sqrt 2.0))) (* (sqrt (- x y)) (sqrt (sqrt 2.0))) (* (- x y) (sqrt (sqrt 2.0))) (* (- (sqrt x) (sqrt y)) (sqrt (sqrt 2.0))) (* (- x y) (sqrt (sqrt 2.0))) (* (- (pow x 3) (pow y 3)) (sqrt (sqrt 2.0))) (* (- (* x x) (* y y)) (sqrt (sqrt 2.0))) (- (* (pow (sqrt 2.0) 2) (pow x 2)) (* (pow (sqrt 2.0) 2) (* y x))) (- (* (pow (sqrt 2.0) 2) (pow x 2)) (* (pow (sqrt 2.0) 2) (* y x))) (- (* (pow (sqrt 2.0) 2) (pow x 2)) (* (pow (sqrt 2.0) 2) (* y x))) (- (* (sqrt 2.0) x) (* (sqrt 2.0) y)) (- (* (sqrt 2.0) x) (* (sqrt 2.0) y)) (- (* (sqrt 2.0) x) (* (sqrt 2.0) y)) (- (* (sqrt 2.0) (pow x 2)) (* (sqrt 2.0) (* y x))) (- (* (sqrt 2.0) (pow x 2)) (* (sqrt 2.0) (* y x))) (- (* (sqrt 2.0) (pow x 2)) (* (sqrt 2.0) (* y x))) (- (* (sqrt (sqrt 2.0)) x) (* (sqrt (sqrt 2.0)) y)) (- (* (sqrt (sqrt 2.0)) x) (* (sqrt (sqrt 2.0)) y)) (- (* (sqrt (sqrt 2.0)) x) (* (sqrt (sqrt 2.0)) y)) 1.582 * * [simplify]: iteration 0 : 615 enodes (cost 3329 ) 1.598 * * [simplify]: iteration 1 : 3320 enodes (cost 2541 ) 1.665 * * [simplify]: iteration 2 : 5002 enodes (cost 2480 ) 1.678 * [simplify]: Simplified to: (* (* (- x y) 2.0) x) (* (* (- x y) 2.0) x) (* (* (- x y) 2.0) x) (* (* (- x y) 2.0) x) (+ (log 2.0) (log (* (- x y) x))) (+ (log 2.0) (log (* (- x y) x))) (+ (log 2.0) (log (* (- x y) x))) (+ (log 2.0) (log (* (- x y) x))) (+ (log 2.0) (log (* (- x y) x))) (pow (exp x) (* (- x y) 2.0)) (pow (* (* (- x y) 2.0) x) 3) (pow (* (* (- x y) 2.0) x) 3) (pow (* (* (- x y) 2.0) x) 3) (pow (* (* (- x y) 2.0) x) 3) (* (cbrt (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0))) (cbrt (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)))) (cbrt (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0))) (pow (* (* (- x y) 2.0) x) 3) (sqrt (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0))) (sqrt (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0))) (* (sqrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (sqrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (sqrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (sqrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt (sqrt 2.0))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* (* (sqrt (sqrt 2.0)) (sqrt x)) (* (sqrt (sqrt 2.0)) (sqrt (- x y)))) (* x (* (* (- x y) (sqrt 2.0)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))) (* x (* (* (- x y) (sqrt 2.0)) (fabs (cbrt 2.0)))) (* x (* (pow (sqrt (sqrt 2.0)) 3) (- x y))) (* (* (- x y) (sqrt 2.0)) x) (* x (* (pow (sqrt (sqrt 2.0)) 3) (- x y))) (* (* (- x y) (sqrt 2.0)) x) (* (- x y) 2.0) (* (cbrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (sqrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (- x y) 2.0) x) (* (* (sqrt x) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (sqrt 2.0)) (* (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (sqrt 2.0)) (pow (sqrt (sqrt 2.0)) 3) (* (cbrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (- x y) 2.0) (* (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (sqrt 2.0)) (* (sqrt (- x y)) (pow (sqrt (sqrt 2.0)) 3)) (* (sqrt (- x y)) (pow (sqrt (sqrt 2.0)) 3)) (* (sqrt (- x y)) (pow (sqrt (sqrt 2.0)) 3)) (* (sqrt (- x y)) (pow (sqrt (sqrt 2.0)) 3)) (* (sqrt (- x y)) (pow (sqrt (sqrt 2.0)) 3)) (* (sqrt (- x y)) (pow (sqrt (sqrt 2.0)) 3)) (* (sqrt (- x y)) (pow (sqrt (sqrt 2.0)) 3)) (* (sqrt (- x y)) (pow (sqrt (sqrt 2.0)) 3)) (* (sqrt (- x y)) (pow (sqrt (sqrt 2.0)) 3)) (* (cbrt (sqrt (sqrt 2.0))) (sqrt 2.0)) (* (sqrt (cbrt (sqrt 2.0))) (sqrt 2.0)) (* (sqrt (sqrt (cbrt 2.0))) (sqrt 2.0)) (* (sqrt (sqrt (sqrt 2.0))) (sqrt 2.0)) (pow (sqrt (sqrt 2.0)) 3) (* (sqrt (sqrt (sqrt 2.0))) (sqrt 2.0)) (pow (sqrt (sqrt 2.0)) 3) (* (sqrt (sqrt (sqrt 2.0))) (sqrt 2.0)) (pow (sqrt (sqrt 2.0)) 3) 2.0 (* (pow (sqrt (sqrt 2.0)) 3) (cbrt (* (- x y) (sqrt (sqrt 2.0))))) (* (pow (sqrt (sqrt 2.0)) 3) (sqrt (* (- x y) (sqrt (sqrt 2.0))))) (* (- x y) 2.0) (* (pow (sqrt (sqrt 2.0)) 3) (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0))))) (* (pow (sqrt (sqrt 2.0)) 3) (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0))))) (* (pow (sqrt (sqrt 2.0)) 3) (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0))))) (* (pow (sqrt (sqrt 2.0)) 3) (cbrt (sqrt (sqrt 2.0)))) (* (pow (sqrt (sqrt 2.0)) 3) (sqrt (cbrt (sqrt 2.0)))) (* (pow (sqrt (sqrt 2.0)) 3) (sqrt (sqrt (cbrt 2.0)))) (* (pow (sqrt (sqrt 2.0)) 3) (sqrt (sqrt (sqrt 2.0)))) 2.0 (* (pow (sqrt (sqrt 2.0)) 3) (sqrt (sqrt (sqrt 2.0)))) 2.0 (* (pow (sqrt (sqrt 2.0)) 3) (sqrt (sqrt (sqrt 2.0)))) 2.0 (* (cbrt (- x y)) 2.0) (* (sqrt (- x y)) 2.0) (* (- x y) 2.0) (* (- (sqrt x) (sqrt y)) 2.0) (* (- x y) 2.0) (* (pow (sqrt (sqrt 2.0)) 3) (- x y)) (* (pow (sqrt (sqrt 2.0)) 3) (- x y)) (* (* (- x y) 2.0) (cbrt x)) (* (* (- x y) 2.0) (sqrt x)) (* (* (- x y) 2.0) x) (* x (sqrt 2.0)) (* (* (- (pow x 3) (pow y 3)) 2.0) x) (* (* (- (* x x) (* y y)) 2.0) x) (* (- x y) (sqrt 2.0)) (* (- x y) (sqrt 2.0)) (+ (log (- x y)) (log (sqrt 2.0))) (+ (log (- x y)) (log (sqrt 2.0))) (+ (log (- x y)) (log (sqrt 2.0))) (pow (exp (- x y)) (sqrt 2.0)) (pow (* (- x y) (sqrt 2.0)) 3) (pow (* (- x y) (sqrt 2.0)) 3) (* (cbrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (cbrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (cbrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (pow (* (- x y) (sqrt 2.0)) 3) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (* (- x y) (sqrt (sqrt 2.0))) (* (cbrt (sqrt (sqrt 2.0))) (cbrt (sqrt (sqrt 2.0))))) (* (- x y) (* (sqrt (sqrt 2.0)) (fabs (cbrt (sqrt 2.0))))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0)))) (* (- x y) (sqrt (sqrt 2.0))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0)))) (* (- x y) (sqrt (sqrt 2.0))) (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0)))) (* (- x y) (sqrt (sqrt 2.0))) (sqrt 2.0) (* (cbrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (- x y) (sqrt 2.0)) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (sqrt (sqrt 2.0))) (* (cbrt (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (sqrt (cbrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (* (sqrt (sqrt (cbrt 2.0))) (sqrt (sqrt 2.0))) (pow (sqrt (sqrt (sqrt 2.0))) 3) (sqrt 2.0) (pow (sqrt (sqrt (sqrt 2.0))) 3) (sqrt 2.0) (pow (sqrt (sqrt (sqrt 2.0))) 3) (sqrt 2.0) (* (cbrt (- x y)) (sqrt 2.0)) (* (sqrt (- x y)) (sqrt 2.0)) (* (- x y) (sqrt 2.0)) (* (- (sqrt x) (sqrt y)) (sqrt 2.0)) (* (- x y) (sqrt 2.0)) (* (- x y) (sqrt (sqrt 2.0))) (* (- (pow x 3) (pow y 3)) (sqrt 2.0)) (* (- (* x x) (* y y)) (sqrt 2.0)) (* (* (- x y) (sqrt 2.0)) x) (* (* (- x y) (sqrt 2.0)) x) (* (* (- x y) (sqrt 2.0)) x) (log (* (* (- x y) (sqrt 2.0)) x)) (log (* (* (- x y) (sqrt 2.0)) x)) (log (* (* (- x y) (sqrt 2.0)) x)) (log (* (* (- x y) (sqrt 2.0)) x)) (pow (exp x) (* (- x y) (sqrt 2.0))) (pow (* (* (- x y) (sqrt 2.0)) x) 3) (pow (* (* (- x y) (sqrt 2.0)) x) 3) (pow (* (* (- x y) (sqrt 2.0)) x) 3) (* (cbrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (cbrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))) (cbrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (pow (* (* (- x y) (sqrt 2.0)) x) 3) (sqrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (sqrt (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (sqrt x) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (sqrt x) (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (sqrt x) (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (sqrt x) (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* (- x y) (sqrt (sqrt 2.0))) x) (* x (* (cbrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (cbrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))))) (* x (sqrt (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) x (* x (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* x (* (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (sqrt (sqrt 2.0))))) (* (* x (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* x (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* x (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* x (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* x (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* x (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* x (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* x (sqrt (- x y))) (sqrt (sqrt 2.0))) (* (* x (sqrt (- x y))) (sqrt (sqrt 2.0))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (* (cbrt (sqrt (sqrt 2.0))) (cbrt (sqrt (sqrt 2.0)))))) (* (* x (* (- x y) (sqrt (sqrt 2.0)))) (fabs (cbrt (sqrt 2.0)))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (* (cbrt 2.0) (cbrt 2.0)))))) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0))))) (* (* (- x y) (sqrt (sqrt 2.0))) x) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0))))) (* (* (- x y) (sqrt (sqrt 2.0))) x) (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt (sqrt 2.0))))) (* (* (- x y) (sqrt (sqrt 2.0))) x) (* (- x y) x) (* x (* (cbrt (* (- x y) (sqrt (sqrt 2.0)))) (cbrt (* (- x y) (sqrt (sqrt 2.0)))))) (* x (sqrt (* (- x y) (sqrt (sqrt 2.0))))) x (* x (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0))))) (* x (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0))))) (* x (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0))))) (* x (* (- x y) (* (cbrt (sqrt (sqrt 2.0))) (cbrt (sqrt (sqrt 2.0)))))) (* (* x (- x y)) (fabs (cbrt (sqrt 2.0)))) (* x (* (- x y) (sqrt (sqrt (* (cbrt 2.0) (cbrt 2.0)))))) (* x (* (- x y) (sqrt (sqrt (sqrt 2.0))))) (* (- x y) x) (* x (* (- x y) (sqrt (sqrt (sqrt 2.0))))) (* (- x y) x) (* x (* (- x y) (sqrt (sqrt (sqrt 2.0))))) (* (- x y) x) (* x (* (cbrt (- x y)) (cbrt (- x y)))) (* x (sqrt (- x y))) x (* x (+ (sqrt x) (sqrt y))) x (* x (sqrt (sqrt 2.0))) (* x (sqrt (sqrt 2.0))) (* (* (- x y) (sqrt 2.0)) (cbrt x)) (* (* (- x y) (sqrt 2.0)) (sqrt x)) (* (* (- x y) (sqrt 2.0)) x) (* (* (- (pow x 3) (pow y 3)) (sqrt 2.0)) x) (* (* (- (* x x) (* y y)) (sqrt 2.0)) x) (* (- x y) (sqrt (sqrt 2.0))) (log (* (- x y) (sqrt (sqrt 2.0)))) (log (* (- x y) (sqrt (sqrt 2.0)))) (exp (* (- x y) (sqrt (sqrt 2.0)))) (pow (* (- x y) (sqrt (sqrt 2.0))) 3) (* (cbrt (* (- x y) (sqrt (sqrt 2.0)))) (cbrt (* (- x y) (sqrt (sqrt 2.0))))) (cbrt (* (- x y) (sqrt (sqrt 2.0)))) (pow (* (- x y) (sqrt (sqrt 2.0))) 3) (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (sqrt (* (- x y) (sqrt (sqrt 2.0)))) (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (* (sqrt (- x y)) (sqrt (sqrt (sqrt 2.0)))) (* (- x y) (* (cbrt (sqrt (sqrt 2.0))) (cbrt (sqrt (sqrt 2.0))))) (* (fabs (cbrt (sqrt 2.0))) (- x y)) (* (- x y) (sqrt (sqrt (* (cbrt 2.0) (cbrt 2.0))))) (* (- x y) (sqrt (sqrt (sqrt 2.0)))) (- x y) (* (- x y) (sqrt (sqrt (sqrt 2.0)))) (- x y) (* (- x y) (sqrt (sqrt (sqrt 2.0)))) (- x y) (* (cbrt (- x y)) (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) (sqrt (- x y))) (* (- x y) (sqrt (sqrt 2.0))) (* (- (sqrt x) (sqrt y)) (sqrt (sqrt 2.0))) (* (- x y) (sqrt (sqrt 2.0))) (* (- (pow x 3) (pow y 3)) (sqrt (sqrt 2.0))) (* (- (* x x) (* y y)) (sqrt (sqrt 2.0))) (* (* (- x y) 2.0) x) (* (* (- x y) 2.0) x) (* (* (- x y) 2.0) x) (* (- x y) (sqrt 2.0)) (* (- x y) (sqrt 2.0)) (* (- x y) (sqrt 2.0)) (* (* (- x y) (sqrt 2.0)) x) (* (* (- x y) (sqrt 2.0)) x) (* (* (- x y) (sqrt 2.0)) x) (* (- x y) (sqrt (sqrt 2.0))) (* (- x y) (sqrt (sqrt 2.0))) (* (- x y) (sqrt (sqrt 2.0))) 1.680 * * * [progress]: adding candidates to table 2.005 * [progress]: [Phase 3 of 3] Extracting. 2.005 * * [regime]: Finding splitpoints for: (# # #) 2.005 * * * [regime-changes]: Trying 2 branch expressions: (y x) 2.005 * * * * [regimes]: Trying to branch on y from (# # #) 2.021 * * * * [regimes]: Trying to branch on x from (# # #) 2.035 * * * [regime]: Found split indices: #