178.203 * [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.017 * [simplify]: Simplifying using # : (* 2.0 (- (* x x) (* x y))) 0.020 * * [simplify]: iteration 0 : 14 enodes (cost 3 ) 0.022 * * [simplify]: iteration 1 : 33 enodes (cost 3 ) 0.024 * * [simplify]: iteration 2 : 73 enodes (cost 3 ) 0.027 * * [simplify]: iteration 3 : 112 enodes (cost 3 ) 0.030 * * [simplify]: iteration 4 : 129 enodes (cost 3 ) 0.033 * * [simplify]: iteration 5 : 131 enodes (cost 3 ) 0.035 * * [simplify]: iteration 6 : 131 enodes (cost 3 ) 0.036 * [simplify]: Simplified to: (* (* x (- x y)) 2.0) 0.038 * * [progress]: iteration 1 / 4 0.038 * * * [progress]: picking best candidate 0.039 * * * * [pick]: Picked # 0.040 * * * [progress]: localizing error 0.044 * * * [progress]: generating rewritten candidates 0.044 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.051 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.067 * * * [progress]: generating series expansions 0.067 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.068 * [approximate]: Taking taylor expansion of (* x (- x y)) in (x y) around 0 0.068 * [taylor]: Taking taylor expansion of (* x (- x y)) in y 0.068 * [taylor]: Taking taylor expansion of x in y 0.068 * [taylor]: Taking taylor expansion of (- x y) in y 0.068 * [taylor]: Taking taylor expansion of x in y 0.068 * [taylor]: Taking taylor expansion of y in y 0.068 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of (- x y) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of y in x 0.068 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of (- x y) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of y in x 0.068 * [taylor]: Taking taylor expansion of 0 in y 0.069 * [taylor]: Taking taylor expansion of (- y) in y 0.069 * [taylor]: Taking taylor expansion of y in y 0.071 * [taylor]: Taking taylor expansion of 1 in y 0.072 * [taylor]: Taking taylor expansion of 0 in y 0.074 * [taylor]: Taking taylor expansion of 0 in y 0.074 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in (x y) around 0 0.074 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in y 0.074 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.075 * [taylor]: Taking taylor expansion of x in y 0.075 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.075 * [taylor]: Taking taylor expansion of y in y 0.075 * [taylor]: Taking taylor expansion of x in y 0.075 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.076 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.076 * [taylor]: Taking taylor expansion of y in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.077 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.077 * [taylor]: Taking taylor expansion of x in x 0.077 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.077 * [taylor]: Taking taylor expansion of y in x 0.077 * [taylor]: Taking taylor expansion of x in x 0.078 * [taylor]: Taking taylor expansion of 1 in y 0.079 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.079 * [taylor]: Taking taylor expansion of y in y 0.082 * [taylor]: Taking taylor expansion of 0 in y 0.085 * [taylor]: Taking taylor expansion of 0 in y 0.088 * [taylor]: Taking taylor expansion of 0 in y 0.089 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in (x y) around 0 0.089 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in y 0.089 * [taylor]: Taking taylor expansion of -1 in y 0.089 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in y 0.089 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.089 * [taylor]: Taking taylor expansion of y in y 0.089 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.089 * [taylor]: Taking taylor expansion of x in y 0.089 * [taylor]: Taking taylor expansion of x in y 0.090 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.090 * [taylor]: Taking taylor expansion of -1 in x 0.090 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.090 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.090 * [taylor]: Taking taylor expansion of y in x 0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.090 * [taylor]: Taking taylor expansion of x in x 0.090 * [taylor]: Taking taylor expansion of x in x 0.091 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.091 * [taylor]: Taking taylor expansion of -1 in x 0.091 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.091 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.091 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.091 * [taylor]: Taking taylor expansion of y in x 0.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.091 * [taylor]: Taking taylor expansion of x in x 0.091 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of 1 in y 0.094 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.094 * [taylor]: Taking taylor expansion of y in y 0.097 * [taylor]: Taking taylor expansion of 0 in y 0.101 * [taylor]: Taking taylor expansion of 0 in y 0.106 * [taylor]: Taking taylor expansion of 0 in y 0.106 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.106 * [approximate]: Taking taylor expansion of (* 2.0 (* x (- x y))) in (x y) around 0 0.106 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in y 0.106 * [taylor]: Taking taylor expansion of 2.0 in y 0.106 * [taylor]: Taking taylor expansion of (* x (- x y)) in y 0.106 * [taylor]: Taking taylor expansion of x in y 0.106 * [taylor]: Taking taylor expansion of (- x y) in y 0.106 * [taylor]: Taking taylor expansion of x in y 0.106 * [taylor]: Taking taylor expansion of y in y 0.106 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in x 0.106 * [taylor]: Taking taylor expansion of 2.0 in x 0.106 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of (- x y) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of y in x 0.106 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in x 0.106 * [taylor]: Taking taylor expansion of 2.0 in x 0.106 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of (- x y) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.106 * [taylor]: Taking taylor expansion of y in x 0.107 * [taylor]: Taking taylor expansion of 0 in y 0.108 * [taylor]: Taking taylor expansion of (- (* 2.0 y)) in y 0.108 * [taylor]: Taking taylor expansion of (* 2.0 y) in y 0.108 * [taylor]: Taking taylor expansion of 2.0 in y 0.108 * [taylor]: Taking taylor expansion of y in y 0.110 * [taylor]: Taking taylor expansion of 2.0 in y 0.114 * [taylor]: Taking taylor expansion of 0 in y 0.118 * [taylor]: Taking taylor expansion of 0 in y 0.119 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in (x y) around 0 0.119 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in y 0.119 * [taylor]: Taking taylor expansion of 2.0 in y 0.119 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in y 0.119 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.119 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.119 * [taylor]: Taking taylor expansion of x in y 0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.119 * [taylor]: Taking taylor expansion of y in y 0.119 * [taylor]: Taking taylor expansion of x in y 0.120 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in x 0.120 * [taylor]: Taking taylor expansion of 2.0 in x 0.120 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.120 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.120 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.120 * [taylor]: Taking taylor expansion of y in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.121 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in x 0.121 * [taylor]: Taking taylor expansion of 2.0 in x 0.121 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.121 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.121 * [taylor]: Taking taylor expansion of x in x 0.121 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.121 * [taylor]: Taking taylor expansion of y in x 0.122 * [taylor]: Taking taylor expansion of x in x 0.123 * [taylor]: Taking taylor expansion of 2.0 in y 0.124 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 0.124 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 0.124 * [taylor]: Taking taylor expansion of 2.0 in y 0.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.124 * [taylor]: Taking taylor expansion of y in y 0.128 * [taylor]: Taking taylor expansion of 0 in y 0.132 * [taylor]: Taking taylor expansion of 0 in y 0.137 * [taylor]: Taking taylor expansion of 0 in y 0.138 * [approximate]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in (x y) around 0 0.138 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in y 0.138 * [taylor]: Taking taylor expansion of -2.0 in y 0.138 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in y 0.138 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.139 * [taylor]: Taking taylor expansion of y in y 0.139 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.139 * [taylor]: Taking taylor expansion of x in y 0.139 * [taylor]: Taking taylor expansion of x in y 0.143 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.143 * [taylor]: Taking taylor expansion of -2.0 in x 0.143 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.143 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.143 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.143 * [taylor]: Taking taylor expansion of y in x 0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.143 * [taylor]: Taking taylor expansion of x in x 0.143 * [taylor]: Taking taylor expansion of x in x 0.144 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.144 * [taylor]: Taking taylor expansion of -2.0 in x 0.144 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.144 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.144 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.144 * [taylor]: Taking taylor expansion of y in x 0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.144 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of x in x 0.146 * [taylor]: Taking taylor expansion of 2.0 in y 0.147 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 0.147 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 0.147 * [taylor]: Taking taylor expansion of 2.0 in y 0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.147 * [taylor]: Taking taylor expansion of y in y 0.151 * [taylor]: Taking taylor expansion of 0 in y 0.155 * [taylor]: Taking taylor expansion of 0 in y 0.160 * [taylor]: Taking taylor expansion of 0 in y 0.161 * * * [progress]: simplifying candidates 0.162 * [simplify]: Simplifying using # : (expm1 (* x (- x y))) (log1p (* x (- x y))) (* 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 (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* x (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* x (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y))))) (* x (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* x (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* x (fma (- y) 1 (* y 1))) (* x (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* x (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* x (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y))))) (* x (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* x (fma (sqrt x) (sqrt x) (- (* y 1)))) (* x (fma (- y) 1 (* y 1))) (* x (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* x (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* x (fma 1 x (- (* (sqrt y) (sqrt y))))) (* x (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* x (fma 1 x (- (* y 1)))) (* x (fma (- y) 1 (* y 1))) (* x x) (* x (- y)) (* x x) (* x (- y)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) x) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) x) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) x) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) x) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) x) (* (fma (- y) 1 (* y 1)) x) (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) x) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) x) (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) x) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) x) (* (fma (sqrt x) (sqrt x) (- (* y 1))) x) (* (fma (- y) 1 (* y 1)) x) (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) x) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) x) (* (fma 1 x (- (* (sqrt y) (sqrt y)))) x) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) x) (* (fma 1 x (- (* y 1))) x) (* (fma (- y) 1 (* y 1)) x) (* 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))) (expm1 (* (* x (- x y)) 2.0)) (log1p (* (* x (- x y)) 2.0)) (* (* 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.168 * * [simplify]: iteration 0 : 295 enodes (cost 535 ) 0.177 * * [simplify]: iteration 1 : 1291 enodes (cost 380 ) 0.214 * * [simplify]: iteration 2 : 5002 enodes (cost 374 ) 0.217 * [simplify]: Simplified to: (expm1 (* x (- x y))) (log1p (* x (- x y))) (* 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) (sqrt (- x y))) (* (sqrt x) (sqrt (- x y))) (* (* (+ (* 1 (pow (cbrt x) 3)) (- y)) 1) x) (* x (fma (- y) 1 y)) (* (* (+ (* 1 (pow (cbrt x) 3)) (- y)) 1) x) (* x (fma (- y) 1 y)) (* (* (+ (* 1 (pow (cbrt x) 3)) (- y)) 1) x) (* x (fma (- y) 1 y)) (* x (- x y)) (* x (fma (- y) 1 y)) (* x (- x y)) (* x (fma (- y) 1 y)) (* x (- x y)) (* x (fma (- y) 1 y)) (* x (- x y)) (* x (fma (- y) 1 y)) (* x (- x y)) (* x (fma (- y) 1 y)) (* x (- x y)) (* x (fma (- y) 1 y)) (pow x 2) (* x (- y)) (pow x 2) (* x (- y)) (* (* (+ (* 1 (pow (cbrt x) 3)) (- y)) 1) x) (* x (fma (- y) 1 y)) (* (* (+ (* 1 (pow (cbrt x) 3)) (- y)) 1) x) (* x (fma (- y) 1 y)) (* (* (+ (* 1 (pow (cbrt x) 3)) (- y)) 1) x) (* x (fma (- y) 1 y)) (* x (- x y)) (* x (fma (- y) 1 y)) (* x (- x y)) (* x (fma (- y) 1 y)) (* x (- x y)) (* x (fma (- y) 1 y)) (* x (- x y)) (* x (fma (- y) 1 y)) (* x (- x y)) (* x (fma (- y) 1 y)) (* x (- x y)) (* x (fma (- y) 1 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))) (expm1 (* (* x (- x y)) 2.0)) (log1p (* (* x (- x y)) 2.0)) (* (* 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.218 * * * [progress]: adding candidates to table 0.297 * * [progress]: iteration 2 / 4 0.297 * * * [progress]: picking best candidate 0.303 * * * * [pick]: Picked # 0.303 * * * [progress]: localizing error 0.308 * * * [progress]: generating rewritten candidates 0.308 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.321 * * * [progress]: generating series expansions 0.321 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.321 * [approximate]: Taking taylor expansion of (* 2.0 (* x (- x y))) in (x y) around 0 0.321 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in y 0.321 * [taylor]: Taking taylor expansion of 2.0 in y 0.321 * [taylor]: Taking taylor expansion of (* x (- x y)) in y 0.321 * [taylor]: Taking taylor expansion of x in y 0.321 * [taylor]: Taking taylor expansion of (- x y) in y 0.321 * [taylor]: Taking taylor expansion of x in y 0.321 * [taylor]: Taking taylor expansion of y in y 0.321 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in x 0.321 * [taylor]: Taking taylor expansion of 2.0 in x 0.321 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.321 * [taylor]: Taking taylor expansion of (- x y) in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.321 * [taylor]: Taking taylor expansion of y in x 0.321 * [taylor]: Taking taylor expansion of (* 2.0 (* x (- x y))) in x 0.321 * [taylor]: Taking taylor expansion of 2.0 in x 0.321 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.321 * [taylor]: Taking taylor expansion of (- x y) in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.321 * [taylor]: Taking taylor expansion of y in x 0.322 * [taylor]: Taking taylor expansion of 0 in y 0.323 * [taylor]: Taking taylor expansion of (- (* 2.0 y)) in y 0.323 * [taylor]: Taking taylor expansion of (* 2.0 y) in y 0.323 * [taylor]: Taking taylor expansion of 2.0 in y 0.323 * [taylor]: Taking taylor expansion of y in y 0.326 * [taylor]: Taking taylor expansion of 2.0 in y 0.329 * [taylor]: Taking taylor expansion of 0 in y 0.333 * [taylor]: Taking taylor expansion of 0 in y 0.334 * [approximate]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in (x y) around 0 0.334 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in y 0.334 * [taylor]: Taking taylor expansion of 2.0 in y 0.334 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in y 0.334 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.334 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.334 * [taylor]: Taking taylor expansion of x in y 0.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.334 * [taylor]: Taking taylor expansion of y in y 0.334 * [taylor]: Taking taylor expansion of x in y 0.335 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in x 0.335 * [taylor]: Taking taylor expansion of 2.0 in x 0.335 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.335 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.335 * [taylor]: Taking taylor expansion of x in x 0.335 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.335 * [taylor]: Taking taylor expansion of y in x 0.335 * [taylor]: Taking taylor expansion of x in x 0.336 * [taylor]: Taking taylor expansion of (* 2.0 (/ (- (/ 1 x) (/ 1 y)) x)) in x 0.336 * [taylor]: Taking taylor expansion of 2.0 in x 0.336 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.336 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.336 * [taylor]: Taking taylor expansion of x in x 0.336 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.336 * [taylor]: Taking taylor expansion of y in x 0.336 * [taylor]: Taking taylor expansion of x in x 0.337 * [taylor]: Taking taylor expansion of 2.0 in y 0.338 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 0.338 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 0.338 * [taylor]: Taking taylor expansion of 2.0 in y 0.338 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.338 * [taylor]: Taking taylor expansion of y in y 0.342 * [taylor]: Taking taylor expansion of 0 in y 0.346 * [taylor]: Taking taylor expansion of 0 in y 0.351 * [taylor]: Taking taylor expansion of 0 in y 0.352 * [approximate]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in (x y) around 0 0.352 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in y 0.352 * [taylor]: Taking taylor expansion of -2.0 in y 0.352 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in y 0.352 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.352 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.352 * [taylor]: Taking taylor expansion of y in y 0.352 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.352 * [taylor]: Taking taylor expansion of x in y 0.352 * [taylor]: Taking taylor expansion of x in y 0.353 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.353 * [taylor]: Taking taylor expansion of -2.0 in x 0.353 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.353 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.353 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.353 * [taylor]: Taking taylor expansion of y in x 0.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.353 * [taylor]: Taking taylor expansion of x in x 0.353 * [taylor]: Taking taylor expansion of x in x 0.354 * [taylor]: Taking taylor expansion of (* -2.0 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.354 * [taylor]: Taking taylor expansion of -2.0 in x 0.354 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.354 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.354 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.354 * [taylor]: Taking taylor expansion of y in x 0.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.354 * [taylor]: Taking taylor expansion of x in x 0.354 * [taylor]: Taking taylor expansion of x in x 0.356 * [taylor]: Taking taylor expansion of 2.0 in y 0.357 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y 0.357 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y 0.357 * [taylor]: Taking taylor expansion of 2.0 in y 0.357 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.357 * [taylor]: Taking taylor expansion of y in y 0.361 * [taylor]: Taking taylor expansion of 0 in y 0.368 * [taylor]: Taking taylor expansion of 0 in y 0.373 * [taylor]: Taking taylor expansion of 0 in y 0.374 * * * [progress]: simplifying candidates 0.375 * [simplify]: Simplifying using # : (expm1 (* x (* (- x y) 2.0))) (log1p (* x (* (- x y) 2.0))) (* 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.379 * * [simplify]: iteration 0 : 209 enodes (cost 184 ) 0.386 * * [simplify]: iteration 1 : 1024 enodes (cost 160 ) 0.419 * * [simplify]: iteration 2 : 5002 enodes (cost 160 ) 0.421 * [simplify]: Simplified to: (expm1 (* x (* (- x y) 2.0))) (log1p (* x (* (- x y) 2.0))) (* 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.421 * * * [progress]: adding candidates to table 0.462 * * [progress]: iteration 3 / 4 0.463 * * * [progress]: picking best candidate 0.466 * * * * [pick]: Picked # 0.466 * * * [progress]: localizing error 0.473 * * * [progress]: generating rewritten candidates 0.473 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.480 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.501 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.519 * * * [progress]: generating series expansions 0.520 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.520 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in (x y) around 0 0.520 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in y 0.520 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.520 * [taylor]: Taking taylor expansion of 2.0 in y 0.521 * [taylor]: Taking taylor expansion of (- x y) in y 0.521 * [taylor]: Taking taylor expansion of x in y 0.521 * [taylor]: Taking taylor expansion of y in y 0.521 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in x 0.521 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.521 * [taylor]: Taking taylor expansion of 2.0 in x 0.522 * [taylor]: Taking taylor expansion of (- x y) in x 0.522 * [taylor]: Taking taylor expansion of x in x 0.522 * [taylor]: Taking taylor expansion of y in x 0.522 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in x 0.522 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.522 * [taylor]: Taking taylor expansion of 2.0 in x 0.523 * [taylor]: Taking taylor expansion of (- x y) in x 0.523 * [taylor]: Taking taylor expansion of x in x 0.523 * [taylor]: Taking taylor expansion of y in x 0.524 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt 2.0) y)) in y 0.524 * [taylor]: Taking taylor expansion of -1 in y 0.524 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y 0.524 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.524 * [taylor]: Taking taylor expansion of 2.0 in y 0.524 * [taylor]: Taking taylor expansion of y in y 0.526 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.526 * [taylor]: Taking taylor expansion of 2.0 in y 0.532 * [taylor]: Taking taylor expansion of 0 in y 0.540 * [taylor]: Taking taylor expansion of 0 in y 0.543 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in (x y) around 0 0.543 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in y 0.543 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.543 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.543 * [taylor]: Taking taylor expansion of x in y 0.543 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.543 * [taylor]: Taking taylor expansion of y 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 (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in x 0.544 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.544 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.544 * [taylor]: Taking taylor expansion of y in x 0.544 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.544 * [taylor]: Taking taylor expansion of 2.0 in x 0.545 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in x 0.545 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.545 * [taylor]: Taking taylor expansion of x in x 0.545 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.545 * [taylor]: Taking taylor expansion of y in x 0.546 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.546 * [taylor]: Taking taylor expansion of 2.0 in x 0.547 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.547 * [taylor]: Taking taylor expansion of 2.0 in y 0.550 * [taylor]: Taking taylor expansion of (- (/ (sqrt 2.0) y)) in y 0.550 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) 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.551 * [taylor]: Taking taylor expansion of y in y 0.555 * [taylor]: Taking taylor expansion of 0 in y 0.559 * [taylor]: Taking taylor expansion of 0 in y 0.564 * [taylor]: Taking taylor expansion of 0 in y 0.566 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0 0.566 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in y 0.566 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.566 * [taylor]: Taking taylor expansion of 2.0 in y 0.566 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.566 * [taylor]: Taking taylor expansion of y in y 0.567 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.567 * [taylor]: Taking taylor expansion of x in y 0.567 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in x 0.567 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.567 * [taylor]: Taking taylor expansion of 2.0 in x 0.568 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.568 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.568 * [taylor]: Taking taylor expansion of y in x 0.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.568 * [taylor]: Taking taylor expansion of x in x 0.568 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in x 0.568 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.568 * [taylor]: Taking taylor expansion of 2.0 in x 0.569 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.569 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.569 * [taylor]: Taking taylor expansion of y in x 0.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.569 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of (* -1 (sqrt 2.0)) in y 0.570 * [taylor]: Taking taylor expansion of -1 in y 0.570 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.570 * [taylor]: Taking taylor expansion of 2.0 in y 0.572 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) 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 y in y 0.578 * [taylor]: Taking taylor expansion of 0 in y 0.582 * [taylor]: Taking taylor expansion of 0 in y 0.587 * [taylor]: Taking taylor expansion of 0 in y 0.588 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.589 * [approximate]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in (x y) around 0 0.589 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in y 0.589 * [taylor]: Taking taylor expansion of x in y 0.589 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- x y)) in y 0.589 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.589 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.589 * [taylor]: Taking taylor expansion of 2.0 in y 0.590 * [taylor]: Taking taylor expansion of (- x y) in y 0.590 * [taylor]: Taking taylor expansion of x in y 0.590 * [taylor]: Taking taylor expansion of y in y 0.590 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in x 0.590 * [taylor]: Taking taylor expansion of x in x 0.590 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- x y)) in x 0.590 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 0.590 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.590 * [taylor]: Taking taylor expansion of 2.0 in x 0.591 * [taylor]: Taking taylor expansion of (- x y) in x 0.591 * [taylor]: Taking taylor expansion of x in x 0.591 * [taylor]: Taking taylor expansion of y in x 0.591 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in x 0.591 * [taylor]: Taking taylor expansion of x in x 0.591 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- x y)) in x 0.591 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 0.591 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.591 * [taylor]: Taking taylor expansion of 2.0 in x 0.592 * [taylor]: Taking taylor expansion of (- x y) in x 0.592 * [taylor]: Taking taylor expansion of x in x 0.592 * [taylor]: Taking taylor expansion of y in x 0.594 * [taylor]: Taking taylor expansion of 0 in y 0.597 * [taylor]: Taking taylor expansion of (- (* (pow (sqrt 2.0) 2) y)) in y 0.597 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) y) in y 0.597 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.598 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.598 * [taylor]: Taking taylor expansion of 2.0 in y 0.598 * [taylor]: Taking taylor expansion of y in y 0.604 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.604 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.604 * [taylor]: Taking taylor expansion of 2.0 in y 0.616 * [taylor]: Taking taylor expansion of 0 in y 0.627 * [taylor]: Taking taylor expansion of 0 in y 0.630 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in (x y) around 0 0.630 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in y 0.630 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) in y 0.630 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.630 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.630 * [taylor]: Taking taylor expansion of x in y 0.630 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.630 * [taylor]: Taking taylor expansion of y in y 0.630 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.630 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.630 * [taylor]: Taking taylor expansion of 2.0 in y 0.631 * [taylor]: Taking taylor expansion of x in y 0.635 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in x 0.635 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) in x 0.635 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.635 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.635 * [taylor]: Taking taylor expansion of x in x 0.635 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.635 * [taylor]: Taking taylor expansion of y in x 0.635 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 0.635 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.635 * [taylor]: Taking taylor expansion of 2.0 in x 0.636 * [taylor]: Taking taylor expansion of x in x 0.639 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in x 0.639 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) in x 0.639 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.639 * [taylor]: Taking taylor expansion of x in x 0.639 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.639 * [taylor]: Taking taylor expansion of y in x 0.639 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 0.640 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.640 * [taylor]: Taking taylor expansion of 2.0 in x 0.641 * [taylor]: Taking taylor expansion of x in x 0.644 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.644 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.644 * [taylor]: Taking taylor expansion of 2.0 in y 0.648 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 2.0) 2) y)) in y 0.648 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) y) in y 0.648 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.648 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.648 * [taylor]: Taking taylor expansion of 2.0 in y 0.649 * [taylor]: Taking taylor expansion of y in y 0.660 * [taylor]: Taking taylor expansion of 0 in y 0.667 * [taylor]: Taking taylor expansion of 0 in y 0.677 * [taylor]: Taking taylor expansion of 0 in y 0.679 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in (x y) around 0 0.679 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in y 0.679 * [taylor]: Taking taylor expansion of -1 in y 0.679 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x) in y 0.679 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) in y 0.679 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.679 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.679 * [taylor]: Taking taylor expansion of 2.0 in y 0.680 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.680 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.680 * [taylor]: Taking taylor expansion of y in y 0.680 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.681 * [taylor]: Taking taylor expansion of x in y 0.681 * [taylor]: Taking taylor expansion of x in y 0.683 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in x 0.683 * [taylor]: Taking taylor expansion of -1 in x 0.683 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x) in x 0.684 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) in x 0.684 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 0.684 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.684 * [taylor]: Taking taylor expansion of 2.0 in x 0.684 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.684 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.684 * [taylor]: Taking taylor expansion of y in x 0.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.684 * [taylor]: Taking taylor expansion of x in x 0.685 * [taylor]: Taking taylor expansion of x in x 0.689 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in x 0.689 * [taylor]: Taking taylor expansion of -1 in x 0.689 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x) in x 0.689 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) in x 0.689 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 0.689 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.689 * [taylor]: Taking taylor expansion of 2.0 in x 0.690 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.690 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.690 * [taylor]: Taking taylor expansion of y in x 0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.690 * [taylor]: Taking taylor expansion of x in x 0.690 * [taylor]: Taking taylor expansion of x in x 0.696 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.696 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.696 * [taylor]: Taking taylor expansion of 2.0 in y 0.705 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 2.0) 2) y)) in y 0.705 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) y) in y 0.705 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 0.705 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.705 * [taylor]: Taking taylor expansion of 2.0 in y 0.706 * [taylor]: Taking taylor expansion of y in y 0.718 * [taylor]: Taking taylor expansion of 0 in y 0.727 * [taylor]: Taking taylor expansion of 0 in y 0.739 * [taylor]: Taking taylor expansion of 0 in y 0.742 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.742 * [approximate]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in (x y) around 0 0.742 * [taylor]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in y 0.742 * [taylor]: Taking taylor expansion of x in y 0.742 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in y 0.742 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.742 * [taylor]: Taking taylor expansion of 2.0 in y 0.743 * [taylor]: Taking taylor expansion of (- x y) in y 0.743 * [taylor]: Taking taylor expansion of x in y 0.743 * [taylor]: Taking taylor expansion of y in y 0.743 * [taylor]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in x 0.743 * [taylor]: Taking taylor expansion of x in x 0.743 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in x 0.743 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.743 * [taylor]: Taking taylor expansion of 2.0 in x 0.744 * [taylor]: Taking taylor expansion of (- x y) in x 0.744 * [taylor]: Taking taylor expansion of x in x 0.744 * [taylor]: Taking taylor expansion of y in x 0.744 * [taylor]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in x 0.744 * [taylor]: Taking taylor expansion of x in x 0.744 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) 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.745 * [taylor]: Taking taylor expansion of (- x y) in x 0.745 * [taylor]: Taking taylor expansion of x in x 0.745 * [taylor]: Taking taylor expansion of y in x 0.745 * [taylor]: Taking taylor expansion of 0 in y 0.747 * [taylor]: Taking taylor expansion of (- (* (sqrt 2.0) y)) in y 0.747 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y 0.747 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.747 * [taylor]: Taking taylor expansion of 2.0 in y 0.748 * [taylor]: Taking taylor expansion of y in y 0.751 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.751 * [taylor]: Taking taylor expansion of 2.0 in y 0.758 * [taylor]: Taking taylor expansion of 0 in y 0.763 * [taylor]: Taking taylor expansion of 0 in y 0.765 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in (x y) around 0 0.765 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in y 0.765 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in y 0.765 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.765 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.765 * [taylor]: Taking taylor expansion of x in y 0.765 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.765 * [taylor]: Taking taylor expansion of y in y 0.765 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.765 * [taylor]: Taking taylor expansion of 2.0 in y 0.766 * [taylor]: Taking taylor expansion of x in y 0.768 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in x 0.768 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in x 0.768 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.768 * [taylor]: Taking taylor expansion of x in x 0.768 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.768 * [taylor]: Taking taylor expansion of y in x 0.768 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.768 * [taylor]: Taking taylor expansion of 2.0 in x 0.769 * [taylor]: Taking taylor expansion of x in x 0.771 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in x 0.771 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in x 0.771 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.771 * [taylor]: Taking taylor expansion of x in x 0.771 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.771 * [taylor]: Taking taylor expansion of y in x 0.771 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.771 * [taylor]: Taking taylor expansion of 2.0 in x 0.772 * [taylor]: Taking taylor expansion of x in x 0.773 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.773 * [taylor]: Taking taylor expansion of 2.0 in y 0.776 * [taylor]: Taking taylor expansion of (- (/ (sqrt 2.0) y)) in y 0.776 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y 0.776 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.776 * [taylor]: Taking taylor expansion of 2.0 in y 0.777 * [taylor]: Taking taylor expansion of y in y 0.786 * [taylor]: Taking taylor expansion of 0 in y 0.791 * [taylor]: Taking taylor expansion of 0 in y 0.798 * [taylor]: Taking taylor expansion of 0 in y 0.799 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in (x y) around 0 0.799 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in y 0.799 * [taylor]: Taking taylor expansion of -1 in y 0.799 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x) in y 0.799 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in y 0.799 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.799 * [taylor]: Taking taylor expansion of 2.0 in y 0.800 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.800 * [taylor]: Taking taylor expansion of y in y 0.800 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.800 * [taylor]: Taking taylor expansion of x in y 0.800 * [taylor]: Taking taylor expansion of x in y 0.802 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in x 0.802 * [taylor]: Taking taylor expansion of -1 in x 0.802 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x) in x 0.802 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in x 0.802 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.802 * [taylor]: Taking taylor expansion of 2.0 in x 0.802 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.802 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.802 * [taylor]: Taking taylor expansion of y in x 0.802 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.802 * [taylor]: Taking taylor expansion of x in x 0.803 * [taylor]: Taking taylor expansion of x in x 0.805 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in x 0.805 * [taylor]: Taking taylor expansion of -1 in x 0.805 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x) in x 0.805 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in x 0.805 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 0.805 * [taylor]: Taking taylor expansion of 2.0 in x 0.806 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.806 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.806 * [taylor]: Taking taylor expansion of y in x 0.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.806 * [taylor]: Taking taylor expansion of x in x 0.806 * [taylor]: Taking taylor expansion of x in x 0.809 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.809 * [taylor]: Taking taylor expansion of 2.0 in y 0.813 * [taylor]: Taking taylor expansion of (- (/ (sqrt 2.0) y)) in y 0.813 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y 0.813 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 0.813 * [taylor]: Taking taylor expansion of 2.0 in y 0.813 * [taylor]: Taking taylor expansion of y in y 0.820 * [taylor]: Taking taylor expansion of 0 in y 0.826 * [taylor]: Taking taylor expansion of 0 in y 0.835 * [taylor]: Taking taylor expansion of 0 in y 0.836 * * * [progress]: simplifying candidates 0.838 * [simplify]: Simplifying using # : (expm1 (* (- x y) (sqrt 2.0))) (log1p (* (- x y) (sqrt 2.0))) (* (- 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)) (expm1 (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0))) (log1p (* (* 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)) (+ (+ (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)) (expm1 (* x (* (- x y) (sqrt 2.0)))) (log1p (* x (* (- x y) (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.846 * * [simplify]: iteration 0 : 391 enodes (cost 893 ) 0.857 * * [simplify]: iteration 1 : 1975 enodes (cost 801 ) 0.906 * * [simplify]: iteration 2 : 5003 enodes (cost 783 ) 0.912 * [simplify]: Simplified to: (expm1 (* (- x y) (sqrt 2.0))) (log1p (* (- x y) (sqrt 2.0))) (* (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)) (expm1 (* (* x (* (- x y) (sqrt 2.0))) (sqrt 2.0))) (log1p (* (* x (* (- x y) (sqrt 2.0))) (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) (expm1 (* x (* (- x y) (sqrt 2.0)))) (log1p (* x (* (- x y) (sqrt 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.912 * * * [progress]: adding candidates to table 1.075 * * [progress]: iteration 4 / 4 1.075 * * * [progress]: picking best candidate 1.077 * * * * [pick]: Picked # 1.078 * * * [progress]: localizing error 1.086 * * * [progress]: generating rewritten candidates 1.087 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.133 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 1.151 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.180 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 1.211 * * * [progress]: generating series expansions 1.211 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.213 * [approximate]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in (x y) around 0 1.213 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in y 1.213 * [taylor]: Taking taylor expansion of x in y 1.213 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- x y)) in y 1.213 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.213 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.213 * [taylor]: Taking taylor expansion of 2.0 in y 1.214 * [taylor]: Taking taylor expansion of (- x y) in y 1.214 * [taylor]: Taking taylor expansion of x in y 1.214 * [taylor]: Taking taylor expansion of y in y 1.214 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in x 1.214 * [taylor]: Taking taylor expansion of x in x 1.214 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- x y)) in x 1.214 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 1.214 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.214 * [taylor]: Taking taylor expansion of 2.0 in x 1.214 * [taylor]: Taking taylor expansion of (- x y) in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.215 * [taylor]: Taking taylor expansion of y in x 1.215 * [taylor]: Taking taylor expansion of (* x (* (pow (sqrt 2.0) 2) (- x y))) in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.215 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- x y)) in x 1.215 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 1.215 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.215 * [taylor]: Taking taylor expansion of 2.0 in x 1.215 * [taylor]: Taking taylor expansion of (- x y) in x 1.215 * [taylor]: Taking taylor expansion of x in x 1.216 * [taylor]: Taking taylor expansion of y in x 1.218 * [taylor]: Taking taylor expansion of 0 in y 1.221 * [taylor]: Taking taylor expansion of (- (* (pow (sqrt 2.0) 2) y)) in y 1.221 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) y) in y 1.222 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.222 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.222 * [taylor]: Taking taylor expansion of 2.0 in y 1.222 * [taylor]: Taking taylor expansion of y in y 1.228 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.228 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.228 * [taylor]: Taking taylor expansion of 2.0 in y 1.240 * [taylor]: Taking taylor expansion of 0 in y 1.248 * [taylor]: Taking taylor expansion of 0 in y 1.251 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in (x y) around 0 1.251 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in y 1.251 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) in y 1.251 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.251 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.251 * [taylor]: Taking taylor expansion of x in y 1.251 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.251 * [taylor]: Taking taylor expansion of y in y 1.251 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.252 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.252 * [taylor]: Taking taylor expansion of 2.0 in y 1.252 * [taylor]: Taking taylor expansion of x in y 1.256 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in x 1.256 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) in x 1.256 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.256 * [taylor]: Taking taylor expansion of x in x 1.256 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.256 * [taylor]: Taking taylor expansion of y in x 1.256 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 1.256 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.256 * [taylor]: Taking taylor expansion of 2.0 in x 1.257 * [taylor]: Taking taylor expansion of x in x 1.260 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) x) in x 1.260 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 2.0) 2)) in x 1.261 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.261 * [taylor]: Taking taylor expansion of x in x 1.261 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.261 * [taylor]: Taking taylor expansion of y in x 1.261 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 1.261 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.261 * [taylor]: Taking taylor expansion of 2.0 in x 1.262 * [taylor]: Taking taylor expansion of x in x 1.265 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.265 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.265 * [taylor]: Taking taylor expansion of 2.0 in y 1.269 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 2.0) 2) y)) in y 1.269 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) y) in y 1.269 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.269 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.269 * [taylor]: Taking taylor expansion of 2.0 in y 1.270 * [taylor]: Taking taylor expansion of y in y 1.280 * [taylor]: Taking taylor expansion of 0 in y 1.291 * [taylor]: Taking taylor expansion of 0 in y 1.301 * [taylor]: Taking taylor expansion of 0 in y 1.304 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in (x y) around 0 1.305 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in y 1.305 * [taylor]: Taking taylor expansion of -1 in y 1.305 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x) in y 1.305 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) in y 1.305 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.305 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.305 * [taylor]: Taking taylor expansion of 2.0 in y 1.305 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.305 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.305 * [taylor]: Taking taylor expansion of y in y 1.306 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.306 * [taylor]: Taking taylor expansion of x in y 1.306 * [taylor]: Taking taylor expansion of x in y 1.309 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in x 1.309 * [taylor]: Taking taylor expansion of -1 in x 1.309 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x) in x 1.309 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) in x 1.309 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in x 1.309 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.309 * [taylor]: Taking taylor expansion of 2.0 in x 1.310 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.310 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.310 * [taylor]: Taking taylor expansion of y in x 1.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.310 * [taylor]: Taking taylor expansion of x in x 1.310 * [taylor]: Taking taylor expansion of x in x 1.314 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x)) in x 1.314 * [taylor]: Taking taylor expansion of -1 in x 1.314 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) x) in x 1.314 * [taylor]: Taking taylor expansion of (* (pow (sqrt 2.0) 2) (- (/ 1 y) (/ 1 x))) in x 1.314 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) 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 y) (/ 1 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 (/ 1 x) in x 1.315 * [taylor]: Taking taylor expansion of x in x 1.316 * [taylor]: Taking taylor expansion of x in x 1.321 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.321 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.321 * [taylor]: Taking taylor expansion of 2.0 in y 1.327 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 2.0) 2) y)) in y 1.327 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 2.0) 2) y) in y 1.327 * [taylor]: Taking taylor expansion of (pow (sqrt 2.0) 2) in y 1.327 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.327 * [taylor]: Taking taylor expansion of 2.0 in y 1.328 * [taylor]: Taking taylor expansion of y in y 1.340 * [taylor]: Taking taylor expansion of 0 in y 1.349 * [taylor]: Taking taylor expansion of 0 in y 1.365 * [taylor]: Taking taylor expansion of 0 in y 1.367 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 1.369 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in (x y) around 0 1.369 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in y 1.369 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.369 * [taylor]: Taking taylor expansion of 2.0 in y 1.370 * [taylor]: Taking taylor expansion of (- x y) in y 1.370 * [taylor]: Taking taylor expansion of x in y 1.370 * [taylor]: Taking taylor expansion of y in y 1.370 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in x 1.370 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.370 * [taylor]: Taking taylor expansion of 2.0 in x 1.370 * [taylor]: Taking taylor expansion of (- x y) in x 1.370 * [taylor]: Taking taylor expansion of x in x 1.371 * [taylor]: Taking taylor expansion of y in x 1.371 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in x 1.371 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.371 * [taylor]: Taking taylor expansion of 2.0 in x 1.371 * [taylor]: Taking taylor expansion of (- x y) in x 1.371 * [taylor]: Taking taylor expansion of x in x 1.371 * [taylor]: Taking taylor expansion of y in x 1.372 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt 2.0) y)) in y 1.372 * [taylor]: Taking taylor expansion of -1 in y 1.372 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y 1.372 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.372 * [taylor]: Taking taylor expansion of 2.0 in y 1.373 * [taylor]: Taking taylor expansion of y in y 1.374 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.374 * [taylor]: Taking taylor expansion of 2.0 in y 1.380 * [taylor]: Taking taylor expansion of 0 in y 1.384 * [taylor]: Taking taylor expansion of 0 in y 1.387 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in (x y) around 0 1.387 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in y 1.387 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.387 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.387 * [taylor]: Taking taylor expansion of x in y 1.387 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.387 * [taylor]: Taking taylor expansion of y in y 1.388 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.388 * [taylor]: Taking taylor expansion of 2.0 in y 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.389 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.389 * [taylor]: Taking taylor expansion of y in x 1.389 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.389 * [taylor]: Taking taylor expansion of 2.0 in x 1.390 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in x 1.390 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.390 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.390 * [taylor]: Taking taylor expansion of x in x 1.390 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.390 * [taylor]: Taking taylor expansion of y in x 1.390 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.390 * [taylor]: Taking taylor expansion of 2.0 in x 1.392 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.392 * [taylor]: Taking taylor expansion of 2.0 in y 1.394 * [taylor]: Taking taylor expansion of (- (/ (sqrt 2.0) y)) in y 1.394 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y 1.394 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.394 * [taylor]: Taking taylor expansion of 2.0 in y 1.394 * [taylor]: Taking taylor expansion of y in y 1.399 * [taylor]: Taking taylor expansion of 0 in y 1.402 * [taylor]: Taking taylor expansion of 0 in y 1.407 * [taylor]: Taking taylor expansion of 0 in y 1.410 * [approximate]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0 1.410 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in y 1.410 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.410 * [taylor]: Taking taylor expansion of 2.0 in y 1.410 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.411 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.411 * [taylor]: Taking taylor expansion of y in y 1.411 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.411 * [taylor]: Taking taylor expansion of x in y 1.411 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in x 1.411 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.411 * [taylor]: Taking taylor expansion of 2.0 in x 1.412 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.412 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.412 * [taylor]: Taking taylor expansion of y in x 1.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.412 * [taylor]: Taking taylor expansion of x in x 1.412 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in x 1.412 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.412 * [taylor]: Taking taylor expansion of 2.0 in x 1.413 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.413 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.413 * [taylor]: Taking taylor expansion of y in x 1.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.413 * [taylor]: Taking taylor expansion of x in x 1.414 * [taylor]: Taking taylor expansion of (* -1 (sqrt 2.0)) in y 1.414 * [taylor]: Taking taylor expansion of -1 in y 1.414 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.414 * [taylor]: Taking taylor expansion of 2.0 in y 1.416 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y 1.416 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.417 * [taylor]: Taking taylor expansion of 2.0 in y 1.417 * [taylor]: Taking taylor expansion of y in y 1.422 * [taylor]: Taking taylor expansion of 0 in y 1.425 * [taylor]: Taking taylor expansion of 0 in y 1.431 * [taylor]: Taking taylor expansion of 0 in y 1.432 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.434 * [approximate]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in (x y) around 0 1.434 * [taylor]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in y 1.434 * [taylor]: Taking taylor expansion of x in y 1.434 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x 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.434 * [taylor]: Taking taylor expansion of (- x y) in y 1.434 * [taylor]: Taking taylor expansion of x in y 1.434 * [taylor]: Taking taylor expansion of y in y 1.435 * [taylor]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in x 1.435 * [taylor]: Taking taylor expansion of x in x 1.435 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in x 1.435 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.435 * [taylor]: Taking taylor expansion of 2.0 in x 1.435 * [taylor]: Taking taylor expansion of (- x y) in x 1.435 * [taylor]: Taking taylor expansion of x in x 1.435 * [taylor]: Taking taylor expansion of y in x 1.435 * [taylor]: Taking taylor expansion of (* x (* (sqrt 2.0) (- x y))) in x 1.436 * [taylor]: Taking taylor expansion of x in x 1.436 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- x y)) in x 1.436 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.436 * [taylor]: Taking taylor expansion of 2.0 in x 1.436 * [taylor]: Taking taylor expansion of (- x y) in x 1.436 * [taylor]: Taking taylor expansion of x in x 1.436 * [taylor]: Taking taylor expansion of y in x 1.437 * [taylor]: Taking taylor expansion of 0 in y 1.439 * [taylor]: Taking taylor expansion of (- (* (sqrt 2.0) y)) in y 1.439 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) y) in y 1.439 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.439 * [taylor]: Taking taylor expansion of 2.0 in y 1.440 * [taylor]: Taking taylor expansion of y in y 1.446 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.446 * [taylor]: Taking taylor expansion of 2.0 in y 1.453 * [taylor]: Taking taylor expansion of 0 in y 1.458 * [taylor]: Taking taylor expansion of 0 in y 1.461 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in (x y) around 0 1.461 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in y 1.461 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in y 1.461 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.461 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.461 * [taylor]: Taking taylor expansion of x in y 1.461 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.461 * [taylor]: Taking taylor expansion of y in y 1.461 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.461 * [taylor]: Taking taylor expansion of 2.0 in y 1.462 * [taylor]: Taking taylor expansion of x in y 1.464 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in x 1.464 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in x 1.464 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.464 * [taylor]: Taking taylor expansion of x in x 1.464 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.464 * [taylor]: Taking taylor expansion of y in x 1.464 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.464 * [taylor]: Taking taylor expansion of 2.0 in x 1.465 * [taylor]: Taking taylor expansion of x in x 1.466 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) x) in x 1.466 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 2.0)) in x 1.466 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.466 * [taylor]: Taking taylor expansion of x in x 1.467 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.467 * [taylor]: Taking taylor expansion of y in x 1.467 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.467 * [taylor]: Taking taylor expansion of 2.0 in x 1.468 * [taylor]: Taking taylor expansion of x in x 1.469 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.469 * [taylor]: Taking taylor expansion of 2.0 in y 1.472 * [taylor]: Taking taylor expansion of (- (/ (sqrt 2.0) y)) in y 1.472 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y 1.472 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.472 * [taylor]: Taking taylor expansion of 2.0 in y 1.472 * [taylor]: Taking taylor expansion of y in y 1.478 * [taylor]: Taking taylor expansion of 0 in y 1.483 * [taylor]: Taking taylor expansion of 0 in y 1.490 * [taylor]: Taking taylor expansion of 0 in y 1.492 * [approximate]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in (x y) around 0 1.492 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in y 1.492 * [taylor]: Taking taylor expansion of -1 in y 1.492 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x) in y 1.492 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in y 1.492 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.493 * [taylor]: Taking taylor expansion of 2.0 in y 1.493 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.493 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.493 * [taylor]: Taking taylor expansion of y in y 1.494 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.494 * [taylor]: Taking taylor expansion of x in y 1.494 * [taylor]: Taking taylor expansion of x in y 1.495 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in x 1.495 * [taylor]: Taking taylor expansion of -1 in x 1.495 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x) in x 1.495 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) 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.496 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.496 * [taylor]: Taking taylor expansion of y in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.496 * [taylor]: Taking taylor expansion of x in x 1.496 * [taylor]: Taking taylor expansion of x in x 1.498 * [taylor]: Taking taylor expansion of (* -1 (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x)) in x 1.498 * [taylor]: Taking taylor expansion of -1 in x 1.498 * [taylor]: Taking taylor expansion of (/ (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) x) in x 1.498 * [taylor]: Taking taylor expansion of (* (sqrt 2.0) (- (/ 1 y) (/ 1 x))) in x 1.498 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.498 * [taylor]: Taking taylor expansion of 2.0 in x 1.499 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.499 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.499 * [taylor]: Taking taylor expansion of y in x 1.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.499 * [taylor]: Taking taylor expansion of x in x 1.499 * [taylor]: Taking taylor expansion of x in x 1.503 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.503 * [taylor]: Taking taylor expansion of 2.0 in y 1.506 * [taylor]: Taking taylor expansion of (- (/ (sqrt 2.0) y)) in y 1.506 * [taylor]: Taking taylor expansion of (/ (sqrt 2.0) y) in y 1.506 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.506 * [taylor]: Taking taylor expansion of 2.0 in y 1.507 * [taylor]: Taking taylor expansion of y in y 1.514 * [taylor]: Taking taylor expansion of 0 in y 1.524 * [taylor]: Taking taylor expansion of 0 in y 1.532 * [taylor]: Taking taylor expansion of 0 in y 1.534 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 1.534 * [approximate]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- x y)) in (x y) around 0 1.534 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- x y)) in y 1.535 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.535 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.535 * [taylor]: Taking taylor expansion of 2.0 in y 1.536 * [taylor]: Taking taylor expansion of (- x y) in y 1.536 * [taylor]: Taking taylor expansion of x in y 1.536 * [taylor]: Taking taylor expansion of y in y 1.536 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- x y)) in x 1.536 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x 1.536 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.536 * [taylor]: Taking taylor expansion of 2.0 in x 1.538 * [taylor]: Taking taylor expansion of (- x y) in x 1.538 * [taylor]: Taking taylor expansion of x in x 1.538 * [taylor]: Taking taylor expansion of y in x 1.538 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- x y)) in x 1.538 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x 1.538 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.538 * [taylor]: Taking taylor expansion of 2.0 in x 1.540 * [taylor]: Taking taylor expansion of (- x y) in x 1.540 * [taylor]: Taking taylor expansion of x in x 1.540 * [taylor]: Taking taylor expansion of y in x 1.541 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (sqrt 2.0)) y)) in y 1.541 * [taylor]: Taking taylor expansion of -1 in y 1.541 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) y) in y 1.541 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.541 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.541 * [taylor]: Taking taylor expansion of 2.0 in y 1.543 * [taylor]: Taking taylor expansion of y in y 1.545 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.545 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.545 * [taylor]: Taking taylor expansion of 2.0 in y 1.554 * [taylor]: Taking taylor expansion of 0 in y 1.559 * [taylor]: Taking taylor expansion of 0 in y 1.563 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt 2.0))) in (x y) around 0 1.563 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt 2.0))) in y 1.563 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.563 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.563 * [taylor]: Taking taylor expansion of x in y 1.563 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.563 * [taylor]: Taking taylor expansion of y in y 1.564 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.564 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.564 * [taylor]: Taking taylor expansion of 2.0 in y 1.565 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt 2.0))) in x 1.565 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.565 * [taylor]: Taking taylor expansion of x in x 1.566 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.566 * [taylor]: Taking taylor expansion of y in x 1.566 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x 1.566 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.566 * [taylor]: Taking taylor expansion of 2.0 in x 1.568 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (sqrt 2.0))) in x 1.568 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.568 * [taylor]: Taking taylor expansion of x in x 1.568 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.568 * [taylor]: Taking taylor expansion of y in x 1.568 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x 1.568 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.568 * [taylor]: Taking taylor expansion of 2.0 in x 1.571 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.571 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.571 * [taylor]: Taking taylor expansion of 2.0 in y 1.574 * [taylor]: Taking taylor expansion of (- (* (sqrt (sqrt 2.0)) (/ 1 y))) in y 1.574 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (/ 1 y)) in y 1.574 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.574 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.574 * [taylor]: Taking taylor expansion of 2.0 in y 1.576 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.576 * [taylor]: Taking taylor expansion of y in y 1.583 * [taylor]: Taking taylor expansion of 0 in y 1.587 * [taylor]: Taking taylor expansion of 0 in y 1.595 * [taylor]: Taking taylor expansion of 0 in y 1.597 * [approximate]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- (/ 1 y) (/ 1 x))) in (x y) around 0 1.597 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- (/ 1 y) (/ 1 x))) in y 1.597 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.597 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.597 * [taylor]: Taking taylor expansion of 2.0 in y 1.602 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.602 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.602 * [taylor]: Taking taylor expansion of y in y 1.603 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.603 * [taylor]: Taking taylor expansion of x in y 1.603 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- (/ 1 y) (/ 1 x))) in x 1.603 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x 1.603 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.603 * [taylor]: Taking taylor expansion of 2.0 in x 1.605 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.605 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.605 * [taylor]: Taking taylor expansion of y in x 1.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.605 * [taylor]: Taking taylor expansion of x in x 1.605 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (- (/ 1 y) (/ 1 x))) in x 1.605 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in x 1.605 * [taylor]: Taking taylor expansion of (sqrt 2.0) in x 1.605 * [taylor]: Taking taylor expansion of 2.0 in x 1.607 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.607 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.607 * [taylor]: Taking taylor expansion of y in x 1.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.607 * [taylor]: Taking taylor expansion of x in x 1.609 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt 2.0))) in y 1.609 * [taylor]: Taking taylor expansion of -1 in y 1.609 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.609 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.609 * [taylor]: Taking taylor expansion of 2.0 in y 1.613 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt 2.0)) (/ 1 y)) in y 1.613 * [taylor]: Taking taylor expansion of (sqrt (sqrt 2.0)) in y 1.613 * [taylor]: Taking taylor expansion of (sqrt 2.0) in y 1.613 * [taylor]: Taking taylor expansion of 2.0 in y 1.614 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.614 * [taylor]: Taking taylor expansion of y in y 1.621 * [taylor]: Taking taylor expansion of 0 in y 1.626 * [taylor]: Taking taylor expansion of 0 in y 1.635 * [taylor]: Taking taylor expansion of 0 in y 1.636 * * * [progress]: simplifying candidates 1.641 * [simplify]: Simplifying using # : (expm1 (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0))) (log1p (* (* 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)) (* (* 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)) (expm1 (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (log1p (* (* (- 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))) (+ (+ (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))) (expm1 (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (log1p (* 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)))) (+ (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)))) (expm1 (* (- x y) (sqrt (sqrt 2.0)))) (log1p (* (- x y) (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.655 * * [simplify]: iteration 0 : 628 enodes (cost 3395 ) 1.674 * * [simplify]: iteration 1 : 3355 enodes (cost 2607 ) 1.753 * * [simplify]: iteration 2 : 5001 enodes (cost 2546 ) 1.767 * [simplify]: Simplified to: (expm1 (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0))) (log1p (* (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (sqrt 2.0))) (* (* (- 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) (expm1 (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (log1p (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))) (* (- 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)) (expm1 (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))))) (log1p (* x (* (* (- x y) (sqrt (sqrt 2.0))) (sqrt (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) (expm1 (* (- x y) (sqrt (sqrt 2.0)))) (log1p (* (- x y) (sqrt (sqrt 2.0)))) (* (- 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.769 * * * [progress]: adding candidates to table 2.113 * [progress]: [Phase 3 of 3] Extracting. 2.113 * * [regime]: Finding splitpoints for: (# # #) 2.113 * * * [regime-changes]: Trying 2 branch expressions: (y x) 2.113 * * * * [regimes]: Trying to branch on y from (# # #) 2.129 * * * * [regimes]: Trying to branch on x from (# # #) 2.142 * * * [regime]: Found split indices: #