8.135 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.036 * * * [progress]: [2/2] Setting up program.
0.038 * [progress]: [Phase 2 of 3] Improving.
0.038 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))
0.038 * * [simplify]: iteration  0 :  10  enodes  (cost  22 )
0.038 * * [simplify]: iteration  1 :  10  enodes  (cost  22 )
0.038 * [simplify]: Simplified to:
   (/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))
0.039 * * [progress]: iteration 1 / 4
0.039 * * * [progress]: picking best candidate
0.040 * * * * [pick]: Picked  #<alt (λ (x y) (/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y))))>
0.040 * * * [progress]: localizing error
0.048 * * * [progress]: generating rewritten candidates
0.048 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.048 * * * [progress]: generating series expansions
0.048 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.050 * [approximate]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in (x y) around 0
0.050 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in y
0.050 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in y
0.050 * [taylor]: Taking taylor expansion of (+ x y) in y
0.050 * [taylor]: Taking taylor expansion of x in y
0.050 * [taylor]: Taking taylor expansion of y in y
0.050 * [taylor]: Taking taylor expansion of (- x y) in y
0.050 * [taylor]: Taking taylor expansion of x in y
0.050 * [taylor]: Taking taylor expansion of y in y
0.050 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
0.050 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.050 * [taylor]: Taking taylor expansion of x in y
0.050 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.050 * [taylor]: Taking taylor expansion of y in y
0.051 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in x
0.052 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x
0.052 * [taylor]: Taking taylor expansion of (+ x y) in x
0.052 * [taylor]: Taking taylor expansion of x in x
0.052 * [taylor]: Taking taylor expansion of y in x
0.052 * [taylor]: Taking taylor expansion of (- x y) in x
0.052 * [taylor]: Taking taylor expansion of x in x
0.052 * [taylor]: Taking taylor expansion of y in x
0.052 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
0.052 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.052 * [taylor]: Taking taylor expansion of x in x
0.052 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.052 * [taylor]: Taking taylor expansion of y in x
0.054 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in x
0.054 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x
0.054 * [taylor]: Taking taylor expansion of (+ x y) in x
0.054 * [taylor]: Taking taylor expansion of x in x
0.054 * [taylor]: Taking taylor expansion of y in x
0.054 * [taylor]: Taking taylor expansion of (- x y) in x
0.054 * [taylor]: Taking taylor expansion of x in x
0.054 * [taylor]: Taking taylor expansion of y in x
0.054 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
0.054 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.054 * [taylor]: Taking taylor expansion of x in x
0.054 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.054 * [taylor]: Taking taylor expansion of y in x
0.056 * [taylor]: Taking taylor expansion of -1 in y
0.058 * [taylor]: Taking taylor expansion of 0 in y
0.060 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
0.060 * [taylor]: Taking taylor expansion of 2 in y
0.060 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.060 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.060 * [taylor]: Taking taylor expansion of y in y
0.066 * [taylor]: Taking taylor expansion of 0 in y
0.069 * [approximate]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in (x y) around 0
0.069 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y
0.069 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in y
0.069 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.069 * [taylor]: Taking taylor expansion of x in y
0.069 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.069 * [taylor]: Taking taylor expansion of y in y
0.069 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.069 * [taylor]: Taking taylor expansion of x in y
0.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.070 * [taylor]: Taking taylor expansion of y in y
0.070 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
0.070 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.070 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.070 * [taylor]: Taking taylor expansion of x in y
0.070 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.070 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.070 * [taylor]: Taking taylor expansion of y in y
0.071 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
0.071 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in x
0.071 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.071 * [taylor]: Taking taylor expansion of x in x
0.071 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.071 * [taylor]: Taking taylor expansion of y in x
0.072 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.072 * [taylor]: Taking taylor expansion of x in x
0.072 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.072 * [taylor]: Taking taylor expansion of y in x
0.072 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.072 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.072 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.072 * [taylor]: Taking taylor expansion of x in x
0.072 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.072 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.072 * [taylor]: Taking taylor expansion of y in x
0.073 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
0.073 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 x) (/ 1 y))) in x
0.073 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.073 * [taylor]: Taking taylor expansion of x in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.074 * [taylor]: Taking taylor expansion of y in x
0.074 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.074 * [taylor]: Taking taylor expansion of x in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.074 * [taylor]: Taking taylor expansion of y in x
0.074 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.074 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.074 * [taylor]: Taking taylor expansion of x in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.074 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.074 * [taylor]: Taking taylor expansion of y in x
0.075 * [taylor]: Taking taylor expansion of 1 in y
0.080 * [taylor]: Taking taylor expansion of 0 in y
0.088 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow y 2)))) in y
0.088 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
0.088 * [taylor]: Taking taylor expansion of 2 in y
0.088 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.088 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.088 * [taylor]: Taking taylor expansion of y in y
0.102 * [taylor]: Taking taylor expansion of 0 in y
0.106 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in (x y) around 0
0.106 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in y
0.106 * [taylor]: Taking taylor expansion of -1 in y
0.106 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y
0.106 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) in y
0.106 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.106 * [taylor]: Taking taylor expansion of x in y
0.106 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.106 * [taylor]: Taking taylor expansion of y in y
0.107 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.107 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.107 * [taylor]: Taking taylor expansion of y in y
0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.107 * [taylor]: Taking taylor expansion of x in y
0.107 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
0.107 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.107 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.107 * [taylor]: Taking taylor expansion of x in y
0.107 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.107 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.107 * [taylor]: Taking taylor expansion of y in y
0.108 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in x
0.108 * [taylor]: Taking taylor expansion of -1 in x
0.108 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
0.108 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) in x
0.108 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.108 * [taylor]: Taking taylor expansion of x in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.109 * [taylor]: Taking taylor expansion of y in x
0.109 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.109 * [taylor]: Taking taylor expansion of y in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.109 * [taylor]: Taking taylor expansion of x in x
0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.109 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.109 * [taylor]: Taking taylor expansion of x in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.109 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.109 * [taylor]: Taking taylor expansion of y in x
0.111 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in x
0.111 * [taylor]: Taking taylor expansion of -1 in x
0.111 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
0.111 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) in x
0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
0.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.111 * [taylor]: Taking taylor expansion of x in x
0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.111 * [taylor]: Taking taylor expansion of y in x
0.111 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.111 * [taylor]: Taking taylor expansion of y in x
0.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.111 * [taylor]: Taking taylor expansion of x in x
0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.111 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.111 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.111 * [taylor]: Taking taylor expansion of x in x
0.112 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.112 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.112 * [taylor]: Taking taylor expansion of y in x
0.113 * [taylor]: Taking taylor expansion of 1 in y
0.118 * [taylor]: Taking taylor expansion of 0 in y
0.126 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 (pow y 2)))) in y
0.126 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
0.126 * [taylor]: Taking taylor expansion of 2 in y
0.126 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.126 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.126 * [taylor]: Taking taylor expansion of y in y
0.140 * [taylor]: Taking taylor expansion of 0 in y
0.140 * * * [progress]: simplifying candidates
0.141 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   -1
  1
  1
0.141 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
0.141 * * [simplify]: iteration  1 :  2  enodes  (cost  3 )
0.141 * [simplify]: Simplified to:
   -1
  1
  1
0.141 * * * [progress]: adding candidates to table
0.144 * * [progress]: iteration 2 / 4
0.144 * * * [progress]: picking best candidate
0.145 * * * * [pick]: Picked  #<alt (λ (x y) -1)>
0.145 * * * [progress]: localizing error
0.145 * * * [progress]: generating rewritten candidates
0.145 * * * [progress]: generating series expansions
0.145 * * * [progress]: simplifying candidates
0.145 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   
0.146 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
0.146 * [simplify]: Simplified to:
   
0.146 * * * [progress]: adding candidates to table
0.146 * * [progress]: iteration 3 / 4
0.146 * * * [progress]: picking best candidate
0.146 * * * * [pick]: Picked  #<alt (λ (x y) 1)>
0.146 * * * [progress]: localizing error
0.147 * * * [progress]: generating rewritten candidates
0.147 * * * [progress]: generating series expansions
0.147 * * * [progress]: simplifying candidates
0.147 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   
0.147 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
0.147 * [simplify]: Simplified to:
   
0.147 * * * [progress]: adding candidates to table
0.147 * [progress]: [Phase 3 of 3] Extracting.
0.147 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y))))> #<alt (λ (x y) -1)> #<alt (λ (x y) 1)>)
0.148 * * * [regime-changes]: Trying 3 branch expressions: ((/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y))) y x)
0.148 * * * * [regimes]: Trying to branch on (/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y))) from (#<alt (λ (x y) (/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y))))> #<alt (λ (x y) -1)> #<alt (λ (x y) 1)>)
0.160 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y))))> #<alt (λ (x y) -1)> #<alt (λ (x y) 1)>)
0.189 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y))))> #<alt (λ (x y) -1)> #<alt (λ (x y) 1)>)
0.202 * * * [regime]: Found split indices: #<option (#s(si 1 40) #s(si 0 124) #s(si 2 212) #s(si 1 219) #s(si 0 255))>
0.203 * [binary-search]: Improving bounds with binary search for y and (#<alt (λ (x y) (/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y))))> #<alt (λ (x y) -1)> #<alt (λ (x y) 1)>)
0.256 * [regimes]: Found splitpoints: (#s(sp 1 y -1.3401709170563172e+154) #s(sp 0 y -1.2732791557148033e-159) #s(sp 2 y 3.462314516283244e-190) #s(sp 1 y 6.403429544123061e-165) #s(sp 0 y +nan.0)) , with alts (#<alt (λ (x y) (/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y))))> #<alt (λ (x y) -1)> #<alt (λ (x y) 1)>)
0.256 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<=.f64 y -13401709170563172083608030431555336677521319379388007327918546945281246511589935110201601805759528043835203423795075546242206498022325240086275262045487104) -1 (if (<=.f64 y -2519365158162223/1978643211784836272484020168157177520281050792809694719312504448743177800852254937362531208489944359916781371408129114714810920274454009679740369240815145343332854177189593088) (/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y))) (if (<=.f64 y 6947420078107293/20065826040452474621738395244141115820123061381619162977212070095324448220432589806036630768881181530864650607514107580997541169167266097500334986765487216377087492641938951866881041556870737904629872328704) 1 (if (<=.f64 y 3321391323446395/518689446110124119814050982961395143876555779030304612499457166211331601426613518299963381118387974286024735826412598647799393884426471913485859354264245460882647725425188690460672) -1 (/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))
0.257 * * [simplify]: iteration  0 :  25  enodes  (cost  71 )
0.257 * * [simplify]: iteration  1 :  25  enodes  (cost  71 )
0.257 * [simplify]: Simplified to:
   (if (<=.f64 y -13401709170563172083608030431555336677521319379388007327918546945281246511589935110201601805759528043835203423795075546242206498022325240086275262045487104) -1 (if (<=.f64 y -2519365158162223/1978643211784836272484020168157177520281050792809694719312504448743177800852254937362531208489944359916781371408129114714810920274454009679740369240815145343332854177189593088) (/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y))) (if (<=.f64 y 6947420078107293/20065826040452474621738395244141115820123061381619162977212070095324448220432589806036630768881181530864650607514107580997541169167266097500334986765487216377087492641938951866881041556870737904629872328704) 1 (if (<=.f64 y 3321391323446395/518689446110124119814050982961395143876555779030304612499457166211331601426613518299963381118387974286024735826412598647799393884426471913485859354264245460882647725425188690460672) -1 (/.f64 (*.f64 (-.f64 x y) (+.f64 x y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))
0.926 * [regime-testing]: End program error score: 5.2734364486772565
0.957 * [regime-testing]: Target error score: 0.024291006691311203