6.185 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.096 * * * [progress]: [2/2] Setting up program.
0.097 * [progress]: [Phase 2 of 3] Improving.
0.099 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))) 1)
0.135 * * [simplify]: iteration  0 :  5044  enodes  (cost  25 )
0.136 * [simplify]: Simplified to:
   (-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 (*.f64 b b) 4)) 1)
0.138 * * [progress]: iteration 1 / 4
0.138 * * * [progress]: picking best candidate
0.142 * * * * [pick]: Picked  #<alt (λ (a b) (-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (*.f64 b b))) 1))>
0.142 * * * [progress]: localizing error
0.151 * * * [progress]: generating rewritten candidates
0.151 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.156 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
0.162 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1)
0.171 * * * [progress]: generating series expansions
0.171 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.172 * [approximate]: Taking taylor expansion of (pow (+ (pow b 2) (pow a 2)) 2) in (a b) around 0
0.172 * [taylor]: Taking taylor expansion of (pow (+ (pow b 2) (pow a 2)) 2) in b
0.172 * [taylor]: Taking taylor expansion of (+ (pow b 2) (pow a 2)) in b
0.172 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.172 * [taylor]: Taking taylor expansion of b in b
0.172 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.172 * [taylor]: Taking taylor expansion of a in b
0.172 * [taylor]: Taking taylor expansion of (pow (+ (pow b 2) (pow a 2)) 2) in a
0.172 * [taylor]: Taking taylor expansion of (+ (pow b 2) (pow a 2)) in a
0.172 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.172 * [taylor]: Taking taylor expansion of b in a
0.172 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.172 * [taylor]: Taking taylor expansion of a in a
0.173 * [taylor]: Taking taylor expansion of (pow (+ (pow b 2) (pow a 2)) 2) in a
0.173 * [taylor]: Taking taylor expansion of (+ (pow b 2) (pow a 2)) in a
0.173 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.173 * [taylor]: Taking taylor expansion of b in a
0.173 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.173 * [taylor]: Taking taylor expansion of a in a
0.174 * [taylor]: Taking taylor expansion of (pow b 4) in b
0.174 * [taylor]: Taking taylor expansion of b in b
0.174 * [taylor]: Taking taylor expansion of 0 in b
0.176 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b
0.176 * [taylor]: Taking taylor expansion of 2 in b
0.176 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.176 * [taylor]: Taking taylor expansion of b in b
0.178 * [taylor]: Taking taylor expansion of 0 in b
0.180 * [taylor]: Taking taylor expansion of 1 in b
0.184 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in (a b) around 0
0.184 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b
0.184 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b
0.184 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.184 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.184 * [taylor]: Taking taylor expansion of b in b
0.184 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.184 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.184 * [taylor]: Taking taylor expansion of a in b
0.184 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a
0.184 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a
0.184 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.184 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.185 * [taylor]: Taking taylor expansion of b in a
0.185 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.185 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.185 * [taylor]: Taking taylor expansion of a in a
0.185 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a
0.186 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a
0.186 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.186 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.186 * [taylor]: Taking taylor expansion of b in a
0.186 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.186 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.186 * [taylor]: Taking taylor expansion of a in a
0.187 * [taylor]: Taking taylor expansion of 1 in b
0.188 * [taylor]: Taking taylor expansion of 0 in b
0.191 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b
0.191 * [taylor]: Taking taylor expansion of 2 in b
0.191 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.191 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.191 * [taylor]: Taking taylor expansion of b in b
0.195 * [taylor]: Taking taylor expansion of 0 in b
0.201 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b
0.201 * [taylor]: Taking taylor expansion of (pow b 4) in b
0.201 * [taylor]: Taking taylor expansion of b in b
0.206 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in (a b) around 0
0.206 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b
0.206 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b
0.206 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.206 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.206 * [taylor]: Taking taylor expansion of b in b
0.207 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.207 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.207 * [taylor]: Taking taylor expansion of a in b
0.207 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a
0.207 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a
0.207 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.207 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.207 * [taylor]: Taking taylor expansion of b in a
0.208 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.208 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.208 * [taylor]: Taking taylor expansion of a in a
0.208 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a
0.208 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a
0.208 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.208 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.208 * [taylor]: Taking taylor expansion of b in a
0.208 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.209 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.209 * [taylor]: Taking taylor expansion of a in a
0.209 * [taylor]: Taking taylor expansion of 1 in b
0.210 * [taylor]: Taking taylor expansion of 0 in b
0.212 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b
0.212 * [taylor]: Taking taylor expansion of 2 in b
0.212 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.212 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.212 * [taylor]: Taking taylor expansion of b in b
0.216 * [taylor]: Taking taylor expansion of 0 in b
0.220 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b
0.220 * [taylor]: Taking taylor expansion of (pow b 4) in b
0.220 * [taylor]: Taking taylor expansion of b in b
0.224 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
0.224 * [approximate]: Taking taylor expansion of (* 4 (pow b 2)) in (b) around 0
0.224 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in b
0.225 * [taylor]: Taking taylor expansion of 4 in b
0.225 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.225 * [taylor]: Taking taylor expansion of b in b
0.225 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in b
0.225 * [taylor]: Taking taylor expansion of 4 in b
0.225 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.225 * [taylor]: Taking taylor expansion of b in b
0.234 * [approximate]: Taking taylor expansion of (/ 4 (pow b 2)) in (b) around 0
0.234 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b
0.234 * [taylor]: Taking taylor expansion of 4 in b
0.234 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.234 * [taylor]: Taking taylor expansion of b in b
0.235 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b
0.235 * [taylor]: Taking taylor expansion of 4 in b
0.235 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.235 * [taylor]: Taking taylor expansion of b in b
0.249 * [approximate]: Taking taylor expansion of (/ 4 (pow b 2)) in (b) around 0
0.250 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b
0.250 * [taylor]: Taking taylor expansion of 4 in b
0.250 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.250 * [taylor]: Taking taylor expansion of b in b
0.250 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b
0.250 * [taylor]: Taking taylor expansion of 4 in b
0.250 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.250 * [taylor]: Taking taylor expansion of b in b
0.261 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1)
0.262 * [approximate]: Taking taylor expansion of (+ (pow b 2) (pow a 2)) in (a b) around 0
0.262 * [taylor]: Taking taylor expansion of (+ (pow b 2) (pow a 2)) in b
0.262 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.262 * [taylor]: Taking taylor expansion of b in b
0.262 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.262 * [taylor]: Taking taylor expansion of a in b
0.262 * [taylor]: Taking taylor expansion of (+ (pow b 2) (pow a 2)) in a
0.262 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.262 * [taylor]: Taking taylor expansion of b in a
0.262 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.262 * [taylor]: Taking taylor expansion of a in a
0.262 * [taylor]: Taking taylor expansion of (+ (pow b 2) (pow a 2)) in a
0.262 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.262 * [taylor]: Taking taylor expansion of b in a
0.262 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.262 * [taylor]: Taking taylor expansion of a in a
0.262 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.262 * [taylor]: Taking taylor expansion of b in b
0.263 * [taylor]: Taking taylor expansion of 0 in b
0.263 * [taylor]: Taking taylor expansion of 1 in b
0.264 * [taylor]: Taking taylor expansion of 0 in b
0.266 * [taylor]: Taking taylor expansion of 0 in b
0.269 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in (a b) around 0
0.269 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b
0.269 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.269 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.269 * [taylor]: Taking taylor expansion of b in b
0.269 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.269 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.269 * [taylor]: Taking taylor expansion of a in b
0.269 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a
0.269 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.269 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.269 * [taylor]: Taking taylor expansion of b in a
0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.270 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.270 * [taylor]: Taking taylor expansion of a in a
0.270 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a
0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.270 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.270 * [taylor]: Taking taylor expansion of b in a
0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.270 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.270 * [taylor]: Taking taylor expansion of a in a
0.271 * [taylor]: Taking taylor expansion of 1 in b
0.272 * [taylor]: Taking taylor expansion of 0 in b
0.273 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.273 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.273 * [taylor]: Taking taylor expansion of b in b
0.276 * [taylor]: Taking taylor expansion of 0 in b
0.279 * [taylor]: Taking taylor expansion of 0 in b
0.284 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in (a b) around 0
0.284 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b
0.284 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.284 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.284 * [taylor]: Taking taylor expansion of b in b
0.284 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
0.284 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.284 * [taylor]: Taking taylor expansion of a in b
0.284 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a
0.284 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.284 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.285 * [taylor]: Taking taylor expansion of b in a
0.285 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.285 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.285 * [taylor]: Taking taylor expansion of a in a
0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a
0.285 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
0.285 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.285 * [taylor]: Taking taylor expansion of b in a
0.286 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.286 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.286 * [taylor]: Taking taylor expansion of a in a
0.286 * [taylor]: Taking taylor expansion of 1 in b
0.287 * [taylor]: Taking taylor expansion of 0 in b
0.289 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
0.289 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.289 * [taylor]: Taking taylor expansion of b in b
0.292 * [taylor]: Taking taylor expansion of 0 in b
0.297 * [taylor]: Taking taylor expansion of 0 in b
0.301 * * * [progress]: simplifying candidates
0.301 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) 2)
  (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)
  (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)
  (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)
  (pow.f64 1 2)
  (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)
  (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (*.f64 (cbrt.f64 2) (cbrt.f64 2)))
  (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (sqrt.f64 2))
  (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 1)
  (*.f64 1 2)
  (*.f64 (log.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)
  (*.f64 (log.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)
  (exp.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))
  (log.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))
  (*.f64 (*.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))
  (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))
  (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))
  (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))
  (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))
  (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))
  (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2))
  (*.f64 4 (*.f64 b b))
  (*.f64 4 (*.f64 b b))
  (+.f64 (log.f64 4) (+.f64 (log.f64 b) (log.f64 b)))
  (+.f64 (log.f64 4) (log.f64 (*.f64 b b)))
  (exp.f64 (*.f64 4 (*.f64 b b)))
  (log.f64 (*.f64 4 (*.f64 b b)))
  (*.f64 (*.f64 (*.f64 4 (*.f64 b b)) (*.f64 4 (*.f64 b b))) (*.f64 4 (*.f64 b b)))
  (*.f64 (cbrt.f64 (*.f64 4 (*.f64 b b))) (cbrt.f64 (*.f64 4 (*.f64 b b))))
  (cbrt.f64 (*.f64 4 (*.f64 b b)))
  (*.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 (*.f64 b b) (*.f64 b b)) (*.f64 b b)))
  (*.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 b b) b)))
  (sqrt.f64 (*.f64 4 (*.f64 b b)))
  (sqrt.f64 (*.f64 4 (*.f64 b b)))
  (*.f64 (sqrt.f64 4) b)
  (*.f64 (sqrt.f64 4) b)
  (*.f64 (cbrt.f64 4) (*.f64 b b))
  (*.f64 (sqrt.f64 4) (*.f64 b b))
  (*.f64 4 (*.f64 b b))
  (*.f64 4 b)
  (*.f64 (exp.f64 (*.f64 a a)) (exp.f64 (*.f64 b b)))
  (exp.f64 (+.f64 (*.f64 a a) (*.f64 b b)))
  (log.f64 (+.f64 (*.f64 a a) (*.f64 b b)))
  (*.f64 (*.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (+.f64 (*.f64 a a) (*.f64 b b))) (+.f64 (*.f64 a a) (*.f64 b b)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))))
  (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))
  (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))
  (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))
  (+.f64 (pow.f64 (*.f64 a a) 3) (pow.f64 (*.f64 b b) 3))
  (+.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (-.f64 (*.f64 (*.f64 b b) (*.f64 b b)) (*.f64 (*.f64 a a) (*.f64 b b))))
  (-.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (*.f64 (*.f64 b b) (*.f64 b b)))
  (-.f64 (*.f64 a a) (*.f64 b b))
  (+.f64 (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))) (+.f64 (pow.f64 b 4) (pow.f64 a 4)))
  (+.f64 (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))) (+.f64 (pow.f64 a 4) (pow.f64 b 4)))
  (+.f64 (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))) (+.f64 (pow.f64 a 4) (pow.f64 b 4)))
  (*.f64 4 (pow.f64 b 2))
  (*.f64 4 (pow.f64 b 2))
  (*.f64 4 (pow.f64 b 2))
  (+.f64 (pow.f64 b 2) (pow.f64 a 2))
  (+.f64 (pow.f64 b 2) (pow.f64 a 2))
  (+.f64 (pow.f64 b 2) (pow.f64 a 2))
0.336 * * [simplify]: iteration  0 :  5972  enodes  (cost  705 )
0.343 * [simplify]: Simplified to:
   (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 4)
  (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)
  (+.f64 (*.f64 a a) (*.f64 b b))
  (+.f64 (*.f64 a a) (*.f64 b b))
  1
  (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)
  (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (*.f64 (cbrt.f64 2) (cbrt.f64 2)))
  (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (sqrt.f64 2))
  (+.f64 (*.f64 a a) (*.f64 b b))
  2
  (*.f64 2 (log.f64 (+.f64 (*.f64 a a) (*.f64 b b))))
  (*.f64 2 (log.f64 (+.f64 (*.f64 a a) (*.f64 b b))))
  (exp.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))
  (*.f64 2 (log.f64 (+.f64 (*.f64 a a) (*.f64 b b))))
  (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 6)
  (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)))
  (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))
  (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))
  (fabs.f64 (+.f64 (*.f64 a a) (*.f64 b b)))
  (+.f64 (*.f64 a a) (*.f64 b b))
  (+.f64 (*.f64 a a) (*.f64 b b))
  (*.f64 (*.f64 b b) 4)
  (*.f64 (*.f64 b b) 4)
  (log.f64 (*.f64 (*.f64 b b) 4))
  (log.f64 (*.f64 (*.f64 b b) 4))
  (exp.f64 (*.f64 (*.f64 b b) 4))
  (log.f64 (*.f64 (*.f64 b b) 4))
  (*.f64 64 (pow.f64 b 6))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 b b) 4)) (cbrt.f64 (*.f64 (*.f64 b b) 4)))
  (cbrt.f64 (*.f64 (*.f64 b b) 4))
  (*.f64 64 (pow.f64 b 6))
  (*.f64 64 (pow.f64 b 6))
  (sqrt.f64 (*.f64 (*.f64 b b) 4))
  (sqrt.f64 (*.f64 (*.f64 b b) 4))
  (*.f64 b 2)
  (*.f64 b 2)
  (*.f64 (*.f64 b b) (cbrt.f64 4))
  (*.f64 b (*.f64 b 2))
  (*.f64 (*.f64 b b) 4)
  (*.f64 b 4)
  (exp.f64 (+.f64 (*.f64 a a) (*.f64 b b)))
  (exp.f64 (+.f64 (*.f64 a a) (*.f64 b b)))
  (log.f64 (+.f64 (*.f64 a a) (*.f64 b b)))
  (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 3)
  (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2)
  (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))
  (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))
  (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))
  (+.f64 (pow.f64 b 6) (pow.f64 a 6))
  (+.f64 (pow.f64 a 4) (-.f64 (pow.f64 b 4) (*.f64 (*.f64 a a) (*.f64 b b))))
  (-.f64 (pow.f64 a 4) (pow.f64 b 4))
  (-.f64 (*.f64 a a) (*.f64 b b))
  (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (+.f64 (pow.f64 b 4) (pow.f64 a 4)))
  (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (+.f64 (pow.f64 b 4) (pow.f64 a 4)))
  (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (+.f64 (pow.f64 b 4) (pow.f64 a 4)))
  (*.f64 (*.f64 b b) 4)
  (*.f64 (*.f64 b b) 4)
  (*.f64 (*.f64 b b) 4)
  (+.f64 (*.f64 a a) (*.f64 b b))
  (+.f64 (*.f64 a a) (*.f64 b b))
  (+.f64 (*.f64 a a) (*.f64 b b))
0.343 * * * [progress]: adding candidates to table
0.382 * * [progress]: iteration 2 / 4
0.382 * * * [progress]: picking best candidate
0.383 * * * * [pick]: Picked  #<alt (λ (a b) (-.f64 (+.f64 (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (+.f64 (pow.f64 b 4) (pow.f64 a 4))) (*.f64 4 (*.f64 b b))) 1))>
0.383 * * * [progress]: localizing error
0.398 * * * [progress]: generating rewritten candidates
0.398 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1 1)
0.410 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2)
0.421 * * * [progress]: generating series expansions
0.421 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1 1)
0.422 * [approximate]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in (a b) around 0
0.422 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b
0.422 * [taylor]: Taking taylor expansion of 2 in b
0.422 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
0.422 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.422 * [taylor]: Taking taylor expansion of a in b
0.422 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.422 * [taylor]: Taking taylor expansion of b in b
0.422 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a
0.422 * [taylor]: Taking taylor expansion of 2 in a
0.422 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
0.422 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.422 * [taylor]: Taking taylor expansion of a in a
0.422 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.422 * [taylor]: Taking taylor expansion of b in a
0.422 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a
0.422 * [taylor]: Taking taylor expansion of 2 in a
0.422 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
0.422 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.422 * [taylor]: Taking taylor expansion of a in a
0.422 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.422 * [taylor]: Taking taylor expansion of b in a
0.423 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b
0.423 * [taylor]: Taking taylor expansion of 2 in b
0.423 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.423 * [taylor]: Taking taylor expansion of b in b
0.424 * [taylor]: Taking taylor expansion of 0 in b
0.427 * [taylor]: Taking taylor expansion of 0 in b
0.430 * [taylor]: Taking taylor expansion of 0 in b
0.432 * [approximate]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in (a b) around 0
0.432 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in b
0.432 * [taylor]: Taking taylor expansion of 2 in b
0.432 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
0.432 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.432 * [taylor]: Taking taylor expansion of a in b
0.432 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.432 * [taylor]: Taking taylor expansion of b in b
0.433 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a
0.433 * [taylor]: Taking taylor expansion of 2 in a
0.433 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
0.433 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.433 * [taylor]: Taking taylor expansion of a in a
0.433 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.433 * [taylor]: Taking taylor expansion of b in a
0.434 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a
0.434 * [taylor]: Taking taylor expansion of 2 in a
0.434 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
0.434 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.434 * [taylor]: Taking taylor expansion of a in a
0.434 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.434 * [taylor]: Taking taylor expansion of b in a
0.434 * [taylor]: Taking taylor expansion of (/ 2 (pow b 2)) in b
0.434 * [taylor]: Taking taylor expansion of 2 in b
0.434 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.435 * [taylor]: Taking taylor expansion of b in b
0.436 * [taylor]: Taking taylor expansion of 0 in b
0.439 * [taylor]: Taking taylor expansion of 0 in b
0.444 * [taylor]: Taking taylor expansion of 0 in b
0.450 * [taylor]: Taking taylor expansion of 0 in b
0.453 * [approximate]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in (a b) around 0
0.453 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in b
0.453 * [taylor]: Taking taylor expansion of 2 in b
0.453 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
0.453 * [taylor]: Taking taylor expansion of (pow a 2) in b
0.453 * [taylor]: Taking taylor expansion of a in b
0.453 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.453 * [taylor]: Taking taylor expansion of b in b
0.454 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a
0.454 * [taylor]: Taking taylor expansion of 2 in a
0.454 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
0.454 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.454 * [taylor]: Taking taylor expansion of a in a
0.454 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.454 * [taylor]: Taking taylor expansion of b in a
0.455 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a
0.455 * [taylor]: Taking taylor expansion of 2 in a
0.455 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
0.455 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.455 * [taylor]: Taking taylor expansion of a in a
0.455 * [taylor]: Taking taylor expansion of (pow b 2) in a
0.455 * [taylor]: Taking taylor expansion of b in a
0.455 * [taylor]: Taking taylor expansion of (/ 2 (pow b 2)) in b
0.455 * [taylor]: Taking taylor expansion of 2 in b
0.455 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.455 * [taylor]: Taking taylor expansion of b in b
0.457 * [taylor]: Taking taylor expansion of 0 in b
0.460 * [taylor]: Taking taylor expansion of 0 in b
0.465 * [taylor]: Taking taylor expansion of 0 in b
0.470 * [taylor]: Taking taylor expansion of 0 in b
0.471 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2)
0.472 * [approximate]: Taking taylor expansion of (* 4 (pow b 2)) in (b) around 0
0.472 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in b
0.472 * [taylor]: Taking taylor expansion of 4 in b
0.472 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.472 * [taylor]: Taking taylor expansion of b in b
0.472 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in b
0.472 * [taylor]: Taking taylor expansion of 4 in b
0.472 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.472 * [taylor]: Taking taylor expansion of b in b
0.482 * [approximate]: Taking taylor expansion of (/ 4 (pow b 2)) in (b) around 0
0.482 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b
0.482 * [taylor]: Taking taylor expansion of 4 in b
0.482 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.482 * [taylor]: Taking taylor expansion of b in b
0.482 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b
0.482 * [taylor]: Taking taylor expansion of 4 in b
0.482 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.482 * [taylor]: Taking taylor expansion of b in b
0.494 * [approximate]: Taking taylor expansion of (/ 4 (pow b 2)) in (b) around 0
0.494 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b
0.494 * [taylor]: Taking taylor expansion of 4 in b
0.494 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.494 * [taylor]: Taking taylor expansion of b in b
0.494 * [taylor]: Taking taylor expansion of (/ 4 (pow b 2)) in b
0.494 * [taylor]: Taking taylor expansion of 4 in b
0.494 * [taylor]: Taking taylor expansion of (pow b 2) in b
0.494 * [taylor]: Taking taylor expansion of b in b
0.508 * * * [progress]: simplifying candidates
0.508 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))
  (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))
  (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))
  (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))
  (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))
  (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))
  (+.f64 (+.f64 (log.f64 a) (log.f64 a)) (+.f64 (log.f64 b) (+.f64 (log.f64 b) (log.f64 2))))
  (+.f64 (+.f64 (log.f64 a) (log.f64 a)) (+.f64 (log.f64 b) (log.f64 (*.f64 b 2))))
  (+.f64 (+.f64 (log.f64 a) (log.f64 a)) (log.f64 (*.f64 b (*.f64 b 2))))
  (+.f64 (log.f64 (*.f64 a a)) (+.f64 (log.f64 b) (+.f64 (log.f64 b) (log.f64 2))))
  (+.f64 (log.f64 (*.f64 a a)) (+.f64 (log.f64 b) (log.f64 (*.f64 b 2))))
  (+.f64 (log.f64 (*.f64 a a)) (log.f64 (*.f64 b (*.f64 b 2))))
  (exp.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))
  (log.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))
  (*.f64 (*.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))) (cbrt.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2)))))
  (cbrt.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))
  (*.f64 (*.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (*.f64 a a)) (*.f64 (*.f64 (*.f64 b (*.f64 b 2)) (*.f64 b (*.f64 b 2))) (*.f64 b (*.f64 b 2))))
  (*.f64 (*.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (*.f64 a a)) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 (*.f64 b 2) (*.f64 b 2)) (*.f64 b 2))))
  (*.f64 (*.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (*.f64 a a)) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 2 2) 2))))
  (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 a a) a)) (*.f64 (*.f64 (*.f64 b (*.f64 b 2)) (*.f64 b (*.f64 b 2))) (*.f64 b (*.f64 b 2))))
  (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 a a) a)) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 (*.f64 b 2) (*.f64 b 2)) (*.f64 b 2))))
  (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 a a) a)) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 2 2) 2))))
  (sqrt.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))
  (sqrt.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))))
  (*.f64 a (*.f64 b (*.f64 b 2)))
  (*.f64 (*.f64 a a) b)
  (*.f64 4 (*.f64 b b))
  (*.f64 4 (*.f64 b b))
  (+.f64 (log.f64 4) (+.f64 (log.f64 b) (log.f64 b)))
  (+.f64 (log.f64 4) (log.f64 (*.f64 b b)))
  (exp.f64 (*.f64 4 (*.f64 b b)))
  (log.f64 (*.f64 4 (*.f64 b b)))
  (*.f64 (*.f64 (*.f64 4 (*.f64 b b)) (*.f64 4 (*.f64 b b))) (*.f64 4 (*.f64 b b)))
  (*.f64 (cbrt.f64 (*.f64 4 (*.f64 b b))) (cbrt.f64 (*.f64 4 (*.f64 b b))))
  (cbrt.f64 (*.f64 4 (*.f64 b b)))
  (*.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 (*.f64 b b) (*.f64 b b)) (*.f64 b b)))
  (*.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 b b) b)))
  (sqrt.f64 (*.f64 4 (*.f64 b b)))
  (sqrt.f64 (*.f64 4 (*.f64 b b)))
  (*.f64 (sqrt.f64 4) b)
  (*.f64 (sqrt.f64 4) b)
  (*.f64 (cbrt.f64 4) (*.f64 b b))
  (*.f64 (sqrt.f64 4) (*.f64 b b))
  (*.f64 4 (*.f64 b b))
  (*.f64 4 b)
  (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2)))
  (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2)))
  (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2)))
  (*.f64 4 (pow.f64 b 2))
  (*.f64 4 (pow.f64 b 2))
  (*.f64 4 (pow.f64 b 2))
0.564 * * [simplify]: iteration  0 :  5178  enodes  (cost  562 )
0.568 * [simplify]: Simplified to:
   (*.f64 (*.f64 a a) (*.f64 b (+.f64 b b)))
  (*.f64 (*.f64 a a) (*.f64 b (+.f64 b b)))
  (*.f64 (*.f64 a a) (*.f64 b (+.f64 b b)))
  (*.f64 (*.f64 a a) (*.f64 b (+.f64 b b)))
  (*.f64 (*.f64 a a) (*.f64 b (+.f64 b b)))
  (*.f64 (*.f64 a a) (*.f64 b (+.f64 b b)))
  (+.f64 (log.f64 2) (*.f64 2 (log.f64 (*.f64 a b))))
  (+.f64 (log.f64 2) (*.f64 2 (log.f64 (*.f64 a b))))
  (+.f64 (log.f64 2) (*.f64 2 (log.f64 (*.f64 a b))))
  (+.f64 (log.f64 2) (*.f64 2 (log.f64 (*.f64 a b))))
  (+.f64 (log.f64 2) (*.f64 2 (log.f64 (*.f64 a b))))
  (+.f64 (log.f64 2) (*.f64 2 (log.f64 (*.f64 a b))))
  (exp.f64 (*.f64 (*.f64 a a) (*.f64 b (+.f64 b b))))
  (+.f64 (log.f64 2) (*.f64 2 (log.f64 (*.f64 a b))))
  (*.f64 8 (pow.f64 (*.f64 a b) 6))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 a a) (*.f64 b (+.f64 b b)))) (cbrt.f64 (*.f64 (*.f64 a a) (*.f64 b (+.f64 b b)))))
  (cbrt.f64 (*.f64 (*.f64 a a) (*.f64 b (+.f64 b b))))
  (*.f64 8 (pow.f64 (*.f64 a b) 6))
  (*.f64 8 (pow.f64 (*.f64 a b) 6))
  (*.f64 8 (pow.f64 (*.f64 a b) 6))
  (*.f64 8 (pow.f64 (*.f64 a b) 6))
  (*.f64 8 (pow.f64 (*.f64 a b) 6))
  (*.f64 8 (pow.f64 (*.f64 a b) 6))
  (sqrt.f64 (*.f64 (*.f64 a a) (*.f64 b (+.f64 b b))))
  (sqrt.f64 (*.f64 (*.f64 a a) (*.f64 b (+.f64 b b))))
  (*.f64 a (*.f64 b (+.f64 b b)))
  (*.f64 (*.f64 a a) b)
  (pow.f64 (+.f64 b b) 2)
  (pow.f64 (+.f64 b b) 2)
  (*.f64 2 (log.f64 (+.f64 b b)))
  (*.f64 2 (log.f64 (+.f64 b b)))
  (exp.f64 (pow.f64 (+.f64 b b) 2))
  (*.f64 2 (log.f64 (+.f64 b b)))
  (pow.f64 (+.f64 b b) 6)
  (*.f64 (cbrt.f64 (pow.f64 (+.f64 b b) 2)) (cbrt.f64 (pow.f64 (+.f64 b b) 2)))
  (cbrt.f64 (pow.f64 (+.f64 b b) 2))
  (pow.f64 (+.f64 b b) 6)
  (pow.f64 (+.f64 b b) 6)
  (fabs.f64 (+.f64 b b))
  (fabs.f64 (+.f64 b b))
  (+.f64 b b)
  (+.f64 b b)
  (*.f64 (*.f64 b b) (cbrt.f64 4))
  (*.f64 b (+.f64 b b))
  (pow.f64 (+.f64 b b) 2)
  (*.f64 b 4)
  (*.f64 (*.f64 a a) (*.f64 b (+.f64 b b)))
  (*.f64 (*.f64 a a) (*.f64 b (+.f64 b b)))
  (*.f64 (*.f64 a a) (*.f64 b (+.f64 b b)))
  (pow.f64 (+.f64 b b) 2)
  (pow.f64 (+.f64 b b) 2)
  (pow.f64 (+.f64 b b) 2)
0.568 * * * [progress]: adding candidates to table
0.604 * [progress]: [Phase 3 of 3] Extracting.
0.605 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (+.f64 (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (+.f64 (pow.f64 b 4) (pow.f64 a 4))) (*.f64 4 (*.f64 b b))) 1)
0.607 * * [simplify]: iteration  0 :  35  enodes  (cost  37 )
0.607 * * [simplify]: iteration  1 :  35  enodes  (cost  37 )
0.607 * [simplify]: Simplified to:
   (-.f64 (+.f64 (+.f64 (*.f64 (*.f64 a a) (*.f64 b (*.f64 b 2))) (+.f64 (pow.f64 b 4) (pow.f64 a 4))) (*.f64 4 (*.f64 b b))) 1)
1.175 * [regime-testing]: End program error score: 0.007793455432289613