2.464 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.332 * * * [progress]: [2/2] Setting up program.
0.334 * [progress]: [Phase 2 of 3] Improving.
0.334 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
0.334 * * [simplify]: iteration  0 :  12  enodes  (cost  19 )
0.334 * * [simplify]: iteration  1 :  12  enodes  (cost  19 )
0.335 * [simplify]: Simplified to:
   (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
0.335 * * [progress]: iteration 1 / 4
0.335 * * * [progress]: picking best candidate
0.336 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))>
0.336 * * * [progress]: localizing error
0.345 * * * [progress]: generating rewritten candidates
0.345 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.345 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.345 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
0.345 * * * [progress]: generating series expansions
0.345 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.347 * [approximate]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d2) (* d1 d3))) in (d1 d2 d3) around 0
0.347 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d2) (* d1 d3))) in d3
0.347 * [taylor]: Taking taylor expansion of (* 37 d1) in d3
0.347 * [taylor]: Taking taylor expansion of 37 in d3
0.347 * [taylor]: Taking taylor expansion of d1 in d3
0.347 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d3
0.347 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.347 * [taylor]: Taking taylor expansion of d1 in d3
0.347 * [taylor]: Taking taylor expansion of d2 in d3
0.347 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.347 * [taylor]: Taking taylor expansion of d1 in d3
0.347 * [taylor]: Taking taylor expansion of d3 in d3
0.347 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d2) (* d1 d3))) in d2
0.347 * [taylor]: Taking taylor expansion of (* 37 d1) in d2
0.347 * [taylor]: Taking taylor expansion of 37 in d2
0.347 * [taylor]: Taking taylor expansion of d1 in d2
0.347 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d2
0.347 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.347 * [taylor]: Taking taylor expansion of d1 in d2
0.347 * [taylor]: Taking taylor expansion of d2 in d2
0.347 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.347 * [taylor]: Taking taylor expansion of d1 in d2
0.347 * [taylor]: Taking taylor expansion of d3 in d2
0.347 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d2) (* d1 d3))) in d1
0.347 * [taylor]: Taking taylor expansion of (* 37 d1) in d1
0.347 * [taylor]: Taking taylor expansion of 37 in d1
0.347 * [taylor]: Taking taylor expansion of d1 in d1
0.347 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d1
0.347 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.347 * [taylor]: Taking taylor expansion of d1 in d1
0.347 * [taylor]: Taking taylor expansion of d2 in d1
0.347 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.347 * [taylor]: Taking taylor expansion of d1 in d1
0.347 * [taylor]: Taking taylor expansion of d3 in d1
0.347 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d2) (* d1 d3))) in d1
0.347 * [taylor]: Taking taylor expansion of (* 37 d1) in d1
0.347 * [taylor]: Taking taylor expansion of 37 in d1
0.347 * [taylor]: Taking taylor expansion of d1 in d1
0.347 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d1
0.347 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.347 * [taylor]: Taking taylor expansion of d1 in d1
0.347 * [taylor]: Taking taylor expansion of d2 in d1
0.348 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.348 * [taylor]: Taking taylor expansion of d1 in d1
0.348 * [taylor]: Taking taylor expansion of d3 in d1
0.348 * [taylor]: Taking taylor expansion of 0 in d2
0.348 * [taylor]: Taking taylor expansion of 0 in d3
0.350 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d2
0.350 * [taylor]: Taking taylor expansion of d3 in d2
0.350 * [taylor]: Taking taylor expansion of (+ d2 37) in d2
0.350 * [taylor]: Taking taylor expansion of d2 in d2
0.350 * [taylor]: Taking taylor expansion of 37 in d2
0.350 * [taylor]: Taking taylor expansion of (+ d3 37) in d3
0.350 * [taylor]: Taking taylor expansion of d3 in d3
0.350 * [taylor]: Taking taylor expansion of 37 in d3
0.351 * [taylor]: Taking taylor expansion of 0 in d3
0.353 * [taylor]: Taking taylor expansion of 0 in d2
0.353 * [taylor]: Taking taylor expansion of 0 in d3
0.353 * [taylor]: Taking taylor expansion of 1 in d3
0.353 * [taylor]: Taking taylor expansion of 0 in d3
0.357 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2)))) in (d1 d2 d3) around 0
0.357 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2)))) in d3
0.357 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.357 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.357 * [taylor]: Taking taylor expansion of d1 in d3
0.357 * [taylor]: Taking taylor expansion of d3 in d3
0.358 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2))) in d3
0.358 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d3
0.358 * [taylor]: Taking taylor expansion of 37 in d3
0.358 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.358 * [taylor]: Taking taylor expansion of d1 in d3
0.358 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.358 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.358 * [taylor]: Taking taylor expansion of d1 in d3
0.358 * [taylor]: Taking taylor expansion of d2 in d3
0.359 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2)))) in d2
0.359 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.359 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.359 * [taylor]: Taking taylor expansion of d1 in d2
0.359 * [taylor]: Taking taylor expansion of d3 in d2
0.359 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2))) in d2
0.359 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d2
0.359 * [taylor]: Taking taylor expansion of 37 in d2
0.359 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.359 * [taylor]: Taking taylor expansion of d1 in d2
0.360 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.360 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.360 * [taylor]: Taking taylor expansion of d1 in d2
0.360 * [taylor]: Taking taylor expansion of d2 in d2
0.360 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2)))) in d1
0.360 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.360 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.360 * [taylor]: Taking taylor expansion of d1 in d1
0.360 * [taylor]: Taking taylor expansion of d3 in d1
0.361 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2))) in d1
0.361 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.361 * [taylor]: Taking taylor expansion of 37 in d1
0.361 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.361 * [taylor]: Taking taylor expansion of d1 in d1
0.361 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.361 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.361 * [taylor]: Taking taylor expansion of d1 in d1
0.361 * [taylor]: Taking taylor expansion of d2 in d1
0.362 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2)))) in d1
0.362 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.362 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.362 * [taylor]: Taking taylor expansion of d1 in d1
0.362 * [taylor]: Taking taylor expansion of d3 in d1
0.363 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2))) in d1
0.363 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.363 * [taylor]: Taking taylor expansion of 37 in d1
0.363 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.363 * [taylor]: Taking taylor expansion of d1 in d1
0.363 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.363 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.363 * [taylor]: Taking taylor expansion of d1 in d1
0.363 * [taylor]: Taking taylor expansion of d2 in d1
0.365 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (+ (/ 1 d2) 37)) in d2
0.365 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.365 * [taylor]: Taking taylor expansion of d3 in d2
0.365 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 37) in d2
0.365 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.365 * [taylor]: Taking taylor expansion of d2 in d2
0.365 * [taylor]: Taking taylor expansion of 37 in d2
0.365 * [taylor]: Taking taylor expansion of 1 in d3
0.368 * [taylor]: Taking taylor expansion of 0 in d2
0.369 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d3
0.369 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.369 * [taylor]: Taking taylor expansion of d3 in d3
0.369 * [taylor]: Taking taylor expansion of 37 in d3
0.373 * [taylor]: Taking taylor expansion of 0 in d2
0.373 * [taylor]: Taking taylor expansion of 0 in d3
0.375 * [taylor]: Taking taylor expansion of 0 in d3
0.382 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in (d1 d2 d3) around 0
0.382 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d3
0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.382 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.382 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.382 * [taylor]: Taking taylor expansion of d1 in d3
0.382 * [taylor]: Taking taylor expansion of d3 in d3
0.383 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.383 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.383 * [taylor]: Taking taylor expansion of d1 in d3
0.383 * [taylor]: Taking taylor expansion of d2 in d3
0.383 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d3
0.383 * [taylor]: Taking taylor expansion of 37 in d3
0.383 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.383 * [taylor]: Taking taylor expansion of d1 in d3
0.384 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d2
0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.384 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.384 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.384 * [taylor]: Taking taylor expansion of d1 in d2
0.384 * [taylor]: Taking taylor expansion of d3 in d2
0.384 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.384 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.384 * [taylor]: Taking taylor expansion of d1 in d2
0.384 * [taylor]: Taking taylor expansion of d2 in d2
0.385 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d2
0.385 * [taylor]: Taking taylor expansion of 37 in d2
0.385 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.385 * [taylor]: Taking taylor expansion of d1 in d2
0.385 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d1
0.385 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.385 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.385 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.385 * [taylor]: Taking taylor expansion of d1 in d1
0.385 * [taylor]: Taking taylor expansion of d3 in d1
0.386 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.386 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.386 * [taylor]: Taking taylor expansion of d1 in d1
0.386 * [taylor]: Taking taylor expansion of d2 in d1
0.387 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.387 * [taylor]: Taking taylor expansion of 37 in d1
0.387 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.387 * [taylor]: Taking taylor expansion of d1 in d1
0.387 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d1
0.387 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.387 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.387 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.387 * [taylor]: Taking taylor expansion of d1 in d1
0.387 * [taylor]: Taking taylor expansion of d3 in d1
0.388 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.388 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.388 * [taylor]: Taking taylor expansion of d1 in d1
0.388 * [taylor]: Taking taylor expansion of d2 in d1
0.388 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.388 * [taylor]: Taking taylor expansion of 37 in d1
0.388 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.388 * [taylor]: Taking taylor expansion of d1 in d1
0.390 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d3) (/ 1 d2)) 37) in d2
0.390 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d2
0.390 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.390 * [taylor]: Taking taylor expansion of d3 in d2
0.390 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.390 * [taylor]: Taking taylor expansion of d2 in d2
0.390 * [taylor]: Taking taylor expansion of 37 in d2
0.391 * [taylor]: Taking taylor expansion of 1 in d3
0.394 * [taylor]: Taking taylor expansion of 0 in d2
0.395 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 37) in d3
0.395 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.395 * [taylor]: Taking taylor expansion of d3 in d3
0.395 * [taylor]: Taking taylor expansion of 37 in d3
0.400 * [taylor]: Taking taylor expansion of 0 in d2
0.400 * [taylor]: Taking taylor expansion of 0 in d3
0.402 * [taylor]: Taking taylor expansion of 0 in d3
0.407 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.408 * [approximate]: Taking taylor expansion of (+ (* 5 d1) (+ (* d1 d2) (* d1 d3))) in (d1 d2 d3) around 0
0.408 * [taylor]: Taking taylor expansion of (+ (* 5 d1) (+ (* d1 d2) (* d1 d3))) in d3
0.408 * [taylor]: Taking taylor expansion of (* 5 d1) in d3
0.408 * [taylor]: Taking taylor expansion of 5 in d3
0.408 * [taylor]: Taking taylor expansion of d1 in d3
0.408 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d3
0.408 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.408 * [taylor]: Taking taylor expansion of d1 in d3
0.408 * [taylor]: Taking taylor expansion of d2 in d3
0.408 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.408 * [taylor]: Taking taylor expansion of d1 in d3
0.408 * [taylor]: Taking taylor expansion of d3 in d3
0.408 * [taylor]: Taking taylor expansion of (+ (* 5 d1) (+ (* d1 d2) (* d1 d3))) in d2
0.408 * [taylor]: Taking taylor expansion of (* 5 d1) in d2
0.408 * [taylor]: Taking taylor expansion of 5 in d2
0.408 * [taylor]: Taking taylor expansion of d1 in d2
0.409 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d2
0.409 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.409 * [taylor]: Taking taylor expansion of d1 in d2
0.409 * [taylor]: Taking taylor expansion of d2 in d2
0.409 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.409 * [taylor]: Taking taylor expansion of d1 in d2
0.409 * [taylor]: Taking taylor expansion of d3 in d2
0.409 * [taylor]: Taking taylor expansion of (+ (* 5 d1) (+ (* d1 d2) (* d1 d3))) in d1
0.409 * [taylor]: Taking taylor expansion of (* 5 d1) in d1
0.409 * [taylor]: Taking taylor expansion of 5 in d1
0.409 * [taylor]: Taking taylor expansion of d1 in d1
0.409 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d1
0.409 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.409 * [taylor]: Taking taylor expansion of d1 in d1
0.409 * [taylor]: Taking taylor expansion of d2 in d1
0.409 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.409 * [taylor]: Taking taylor expansion of d1 in d1
0.409 * [taylor]: Taking taylor expansion of d3 in d1
0.409 * [taylor]: Taking taylor expansion of (+ (* 5 d1) (+ (* d1 d2) (* d1 d3))) in d1
0.409 * [taylor]: Taking taylor expansion of (* 5 d1) in d1
0.409 * [taylor]: Taking taylor expansion of 5 in d1
0.409 * [taylor]: Taking taylor expansion of d1 in d1
0.409 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d1
0.409 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.409 * [taylor]: Taking taylor expansion of d1 in d1
0.409 * [taylor]: Taking taylor expansion of d2 in d1
0.409 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.409 * [taylor]: Taking taylor expansion of d1 in d1
0.409 * [taylor]: Taking taylor expansion of d3 in d1
0.410 * [taylor]: Taking taylor expansion of 0 in d2
0.410 * [taylor]: Taking taylor expansion of 0 in d3
0.411 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 5)) in d2
0.411 * [taylor]: Taking taylor expansion of d3 in d2
0.411 * [taylor]: Taking taylor expansion of (+ d2 5) in d2
0.411 * [taylor]: Taking taylor expansion of d2 in d2
0.411 * [taylor]: Taking taylor expansion of 5 in d2
0.411 * [taylor]: Taking taylor expansion of (+ d3 5) in d3
0.411 * [taylor]: Taking taylor expansion of d3 in d3
0.412 * [taylor]: Taking taylor expansion of 5 in d3
0.412 * [taylor]: Taking taylor expansion of 0 in d3
0.413 * [taylor]: Taking taylor expansion of 0 in d2
0.413 * [taylor]: Taking taylor expansion of 0 in d3
0.414 * [taylor]: Taking taylor expansion of 1 in d3
0.414 * [taylor]: Taking taylor expansion of 0 in d3
0.417 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (+ (* 5 (/ 1 d1)) (/ 1 (* d1 d2)))) in (d1 d2 d3) around 0
0.417 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (+ (* 5 (/ 1 d1)) (/ 1 (* d1 d2)))) in d3
0.417 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.417 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.417 * [taylor]: Taking taylor expansion of d1 in d3
0.417 * [taylor]: Taking taylor expansion of d3 in d3
0.418 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 d1)) (/ 1 (* d1 d2))) in d3
0.418 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d3
0.418 * [taylor]: Taking taylor expansion of 5 in d3
0.418 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.418 * [taylor]: Taking taylor expansion of d1 in d3
0.418 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.418 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.418 * [taylor]: Taking taylor expansion of d1 in d3
0.418 * [taylor]: Taking taylor expansion of d2 in d3
0.419 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (+ (* 5 (/ 1 d1)) (/ 1 (* d1 d2)))) in d2
0.419 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.419 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.419 * [taylor]: Taking taylor expansion of d1 in d2
0.419 * [taylor]: Taking taylor expansion of d3 in d2
0.419 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 d1)) (/ 1 (* d1 d2))) in d2
0.419 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d2
0.419 * [taylor]: Taking taylor expansion of 5 in d2
0.419 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.419 * [taylor]: Taking taylor expansion of d1 in d2
0.419 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.420 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.420 * [taylor]: Taking taylor expansion of d1 in d2
0.420 * [taylor]: Taking taylor expansion of d2 in d2
0.420 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (+ (* 5 (/ 1 d1)) (/ 1 (* d1 d2)))) in d1
0.420 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.420 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.420 * [taylor]: Taking taylor expansion of d1 in d1
0.420 * [taylor]: Taking taylor expansion of d3 in d1
0.421 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 d1)) (/ 1 (* d1 d2))) in d1
0.421 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1
0.421 * [taylor]: Taking taylor expansion of 5 in d1
0.421 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.421 * [taylor]: Taking taylor expansion of d1 in d1
0.421 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.421 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.421 * [taylor]: Taking taylor expansion of d1 in d1
0.421 * [taylor]: Taking taylor expansion of d2 in d1
0.422 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (+ (* 5 (/ 1 d1)) (/ 1 (* d1 d2)))) in d1
0.422 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.422 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.422 * [taylor]: Taking taylor expansion of d1 in d1
0.422 * [taylor]: Taking taylor expansion of d3 in d1
0.422 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 d1)) (/ 1 (* d1 d2))) in d1
0.422 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1
0.422 * [taylor]: Taking taylor expansion of 5 in d1
0.422 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.422 * [taylor]: Taking taylor expansion of d1 in d1
0.423 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.423 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.423 * [taylor]: Taking taylor expansion of d1 in d1
0.423 * [taylor]: Taking taylor expansion of d2 in d1
0.424 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (+ (/ 1 d2) 5)) in d2
0.424 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.424 * [taylor]: Taking taylor expansion of d3 in d2
0.424 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 5) in d2
0.424 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.424 * [taylor]: Taking taylor expansion of d2 in d2
0.424 * [taylor]: Taking taylor expansion of 5 in d2
0.425 * [taylor]: Taking taylor expansion of 1 in d3
0.427 * [taylor]: Taking taylor expansion of 0 in d2
0.428 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 5) in d3
0.428 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.428 * [taylor]: Taking taylor expansion of d3 in d3
0.428 * [taylor]: Taking taylor expansion of 5 in d3
0.433 * [taylor]: Taking taylor expansion of 0 in d2
0.433 * [taylor]: Taking taylor expansion of 0 in d3
0.434 * [taylor]: Taking taylor expansion of 0 in d3
0.440 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 5 (/ 1 d1))) in (d1 d2 d3) around 0
0.440 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 5 (/ 1 d1))) in d3
0.440 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.440 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.440 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.440 * [taylor]: Taking taylor expansion of d1 in d3
0.440 * [taylor]: Taking taylor expansion of d3 in d3
0.441 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.441 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.441 * [taylor]: Taking taylor expansion of d1 in d3
0.441 * [taylor]: Taking taylor expansion of d2 in d3
0.441 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d3
0.441 * [taylor]: Taking taylor expansion of 5 in d3
0.441 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.441 * [taylor]: Taking taylor expansion of d1 in d3
0.441 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 5 (/ 1 d1))) in d2
0.445 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.445 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.445 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.445 * [taylor]: Taking taylor expansion of d1 in d2
0.445 * [taylor]: Taking taylor expansion of d3 in d2
0.445 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.445 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.445 * [taylor]: Taking taylor expansion of d1 in d2
0.445 * [taylor]: Taking taylor expansion of d2 in d2
0.446 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d2
0.446 * [taylor]: Taking taylor expansion of 5 in d2
0.446 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.446 * [taylor]: Taking taylor expansion of d1 in d2
0.446 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 5 (/ 1 d1))) in d1
0.446 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.446 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.447 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.447 * [taylor]: Taking taylor expansion of d1 in d1
0.447 * [taylor]: Taking taylor expansion of d3 in d1
0.447 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.447 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.447 * [taylor]: Taking taylor expansion of d1 in d1
0.447 * [taylor]: Taking taylor expansion of d2 in d1
0.448 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1
0.448 * [taylor]: Taking taylor expansion of 5 in d1
0.448 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.448 * [taylor]: Taking taylor expansion of d1 in d1
0.448 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 5 (/ 1 d1))) in d1
0.448 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.448 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.448 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.448 * [taylor]: Taking taylor expansion of d1 in d1
0.448 * [taylor]: Taking taylor expansion of d3 in d1
0.449 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.449 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.449 * [taylor]: Taking taylor expansion of d1 in d1
0.449 * [taylor]: Taking taylor expansion of d2 in d1
0.449 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1
0.449 * [taylor]: Taking taylor expansion of 5 in d1
0.449 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.449 * [taylor]: Taking taylor expansion of d1 in d1
0.451 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d3) (/ 1 d2)) 5) in d2
0.451 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d2
0.452 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.452 * [taylor]: Taking taylor expansion of d3 in d2
0.452 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.452 * [taylor]: Taking taylor expansion of d2 in d2
0.452 * [taylor]: Taking taylor expansion of 5 in d2
0.452 * [taylor]: Taking taylor expansion of 1 in d3
0.456 * [taylor]: Taking taylor expansion of 0 in d2
0.458 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 5) in d3
0.458 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.458 * [taylor]: Taking taylor expansion of d3 in d3
0.458 * [taylor]: Taking taylor expansion of 5 in d3
0.464 * [taylor]: Taking taylor expansion of 0 in d2
0.464 * [taylor]: Taking taylor expansion of 0 in d3
0.466 * [taylor]: Taking taylor expansion of 0 in d3
0.471 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
0.472 * [approximate]: Taking taylor expansion of (* d1 (+ d3 5)) in (d3 d1) around 0
0.472 * [taylor]: Taking taylor expansion of (* d1 (+ d3 5)) in d1
0.472 * [taylor]: Taking taylor expansion of d1 in d1
0.472 * [taylor]: Taking taylor expansion of (+ d3 5) in d1
0.472 * [taylor]: Taking taylor expansion of d3 in d1
0.472 * [taylor]: Taking taylor expansion of 5 in d1
0.472 * [taylor]: Taking taylor expansion of (* d1 (+ d3 5)) in d3
0.472 * [taylor]: Taking taylor expansion of d1 in d3
0.472 * [taylor]: Taking taylor expansion of (+ d3 5) in d3
0.472 * [taylor]: Taking taylor expansion of d3 in d3
0.472 * [taylor]: Taking taylor expansion of 5 in d3
0.472 * [taylor]: Taking taylor expansion of (* d1 (+ d3 5)) in d3
0.472 * [taylor]: Taking taylor expansion of d1 in d3
0.472 * [taylor]: Taking taylor expansion of (+ d3 5) in d3
0.472 * [taylor]: Taking taylor expansion of d3 in d3
0.472 * [taylor]: Taking taylor expansion of 5 in d3
0.472 * [taylor]: Taking taylor expansion of (* 5 d1) in d1
0.472 * [taylor]: Taking taylor expansion of 5 in d1
0.472 * [taylor]: Taking taylor expansion of d1 in d1
0.473 * [taylor]: Taking taylor expansion of d1 in d1
0.474 * [taylor]: Taking taylor expansion of 0 in d1
0.475 * [taylor]: Taking taylor expansion of 0 in d1
0.477 * [taylor]: Taking taylor expansion of 0 in d1
0.479 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d3) 5) d1) in (d3 d1) around 0
0.479 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d3) 5) d1) in d1
0.479 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 5) in d1
0.479 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.479 * [taylor]: Taking taylor expansion of d3 in d1
0.479 * [taylor]: Taking taylor expansion of 5 in d1
0.479 * [taylor]: Taking taylor expansion of d1 in d1
0.480 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d3) 5) d1) in d3
0.480 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 5) in d3
0.480 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.480 * [taylor]: Taking taylor expansion of d3 in d3
0.480 * [taylor]: Taking taylor expansion of 5 in d3
0.480 * [taylor]: Taking taylor expansion of d1 in d3
0.480 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d3) 5) d1) in d3
0.480 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 5) in d3
0.480 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.481 * [taylor]: Taking taylor expansion of d3 in d3
0.481 * [taylor]: Taking taylor expansion of 5 in d3
0.481 * [taylor]: Taking taylor expansion of d1 in d3
0.481 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.481 * [taylor]: Taking taylor expansion of d1 in d1
0.483 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1
0.483 * [taylor]: Taking taylor expansion of 5 in d1
0.483 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.483 * [taylor]: Taking taylor expansion of d1 in d1
0.485 * [taylor]: Taking taylor expansion of 0 in d1
0.489 * [taylor]: Taking taylor expansion of 0 in d1
0.493 * [approximate]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 d3)) d1)) in (d3 d1) around 0
0.494 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 d3)) d1)) in d1
0.494 * [taylor]: Taking taylor expansion of -1 in d1
0.494 * [taylor]: Taking taylor expansion of (/ (- 5 (/ 1 d3)) d1) in d1
0.494 * [taylor]: Taking taylor expansion of (- 5 (/ 1 d3)) in d1
0.494 * [taylor]: Taking taylor expansion of 5 in d1
0.494 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.494 * [taylor]: Taking taylor expansion of d3 in d1
0.494 * [taylor]: Taking taylor expansion of d1 in d1
0.495 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 d3)) d1)) in d3
0.495 * [taylor]: Taking taylor expansion of -1 in d3
0.495 * [taylor]: Taking taylor expansion of (/ (- 5 (/ 1 d3)) d1) in d3
0.495 * [taylor]: Taking taylor expansion of (- 5 (/ 1 d3)) in d3
0.495 * [taylor]: Taking taylor expansion of 5 in d3
0.495 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.495 * [taylor]: Taking taylor expansion of d3 in d3
0.495 * [taylor]: Taking taylor expansion of d1 in d3
0.496 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 d3)) d1)) in d3
0.496 * [taylor]: Taking taylor expansion of -1 in d3
0.496 * [taylor]: Taking taylor expansion of (/ (- 5 (/ 1 d3)) d1) in d3
0.496 * [taylor]: Taking taylor expansion of (- 5 (/ 1 d3)) in d3
0.496 * [taylor]: Taking taylor expansion of 5 in d3
0.496 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.496 * [taylor]: Taking taylor expansion of d3 in d3
0.496 * [taylor]: Taking taylor expansion of d1 in d3
0.497 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.497 * [taylor]: Taking taylor expansion of d1 in d1
0.499 * [taylor]: Taking taylor expansion of (neg (* 5 (/ 1 d1))) in d1
0.499 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1
0.499 * [taylor]: Taking taylor expansion of 5 in d1
0.499 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.499 * [taylor]: Taking taylor expansion of d1 in d1
0.504 * [taylor]: Taking taylor expansion of 0 in d1
0.511 * [taylor]: Taking taylor expansion of 0 in d1
0.516 * * * [progress]: simplifying candidates
0.516 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 5 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 5 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 5 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 5 d1) (*.f64 d1 d3))
  (+.f64 (*.f64 5 d1) (*.f64 d1 d3))
  (+.f64 (*.f64 5 d1) (*.f64 d1 d3))
0.516 * * [simplify]: iteration  0 :  14  enodes  (cost  126 )
0.516 * * [simplify]: iteration  1 :  14  enodes  (cost  126 )
0.517 * [simplify]: Simplified to:
   (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 5 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 5 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 5 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 5 d1) (*.f64 d1 d3))
  (+.f64 (*.f64 5 d1) (*.f64 d1 d3))
  (+.f64 (*.f64 5 d1) (*.f64 d1 d3))
0.517 * * * [progress]: adding candidates to table
0.521 * * [progress]: iteration 2 / 4
0.521 * * * [progress]: picking best candidate
0.522 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))))>
0.522 * * * [progress]: localizing error
0.529 * * * [progress]: generating rewritten candidates
0.529 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.529 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.530 * * * [progress]: generating series expansions
0.530 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.530 * [approximate]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in (d1 d2 d3) around 0
0.530 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d3
0.530 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.530 * [taylor]: Taking taylor expansion of d1 in d3
0.530 * [taylor]: Taking taylor expansion of d2 in d3
0.530 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.530 * [taylor]: Taking taylor expansion of d1 in d3
0.530 * [taylor]: Taking taylor expansion of d3 in d3
0.530 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d2
0.531 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.531 * [taylor]: Taking taylor expansion of d1 in d2
0.531 * [taylor]: Taking taylor expansion of d2 in d2
0.531 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.531 * [taylor]: Taking taylor expansion of d1 in d2
0.531 * [taylor]: Taking taylor expansion of d3 in d2
0.531 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d1
0.531 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.531 * [taylor]: Taking taylor expansion of d1 in d1
0.531 * [taylor]: Taking taylor expansion of d2 in d1
0.531 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.531 * [taylor]: Taking taylor expansion of d1 in d1
0.531 * [taylor]: Taking taylor expansion of d3 in d1
0.531 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d1
0.531 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.531 * [taylor]: Taking taylor expansion of d1 in d1
0.531 * [taylor]: Taking taylor expansion of d2 in d1
0.531 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.531 * [taylor]: Taking taylor expansion of d1 in d1
0.531 * [taylor]: Taking taylor expansion of d3 in d1
0.531 * [taylor]: Taking taylor expansion of 0 in d2
0.531 * [taylor]: Taking taylor expansion of 0 in d3
0.532 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2
0.532 * [taylor]: Taking taylor expansion of d3 in d2
0.532 * [taylor]: Taking taylor expansion of d2 in d2
0.532 * [taylor]: Taking taylor expansion of d3 in d3
0.532 * [taylor]: Taking taylor expansion of 0 in d3
0.533 * [taylor]: Taking taylor expansion of 0 in d2
0.533 * [taylor]: Taking taylor expansion of 0 in d3
0.534 * [taylor]: Taking taylor expansion of 1 in d3
0.534 * [taylor]: Taking taylor expansion of 0 in d3
0.535 * [taylor]: Taking taylor expansion of 0 in d2
0.535 * [taylor]: Taking taylor expansion of 0 in d3
0.535 * [taylor]: Taking taylor expansion of 0 in d3
0.535 * [taylor]: Taking taylor expansion of 0 in d3
0.535 * [taylor]: Taking taylor expansion of 0 in d3
0.538 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in (d1 d2 d3) around 0
0.538 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.538 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.538 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.538 * [taylor]: Taking taylor expansion of d1 in d3
0.538 * [taylor]: Taking taylor expansion of d3 in d3
0.539 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.539 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.539 * [taylor]: Taking taylor expansion of d1 in d3
0.539 * [taylor]: Taking taylor expansion of d2 in d3
0.539 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.539 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.539 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.539 * [taylor]: Taking taylor expansion of d1 in d2
0.539 * [taylor]: Taking taylor expansion of d3 in d2
0.540 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.540 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.540 * [taylor]: Taking taylor expansion of d1 in d2
0.540 * [taylor]: Taking taylor expansion of d2 in d2
0.541 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.541 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.541 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.541 * [taylor]: Taking taylor expansion of d1 in d1
0.541 * [taylor]: Taking taylor expansion of d3 in d1
0.541 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.541 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.541 * [taylor]: Taking taylor expansion of d1 in d1
0.541 * [taylor]: Taking taylor expansion of d2 in d1
0.542 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.542 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.542 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.542 * [taylor]: Taking taylor expansion of d1 in d1
0.542 * [taylor]: Taking taylor expansion of d3 in d1
0.543 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.543 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.543 * [taylor]: Taking taylor expansion of d1 in d1
0.543 * [taylor]: Taking taylor expansion of d2 in d1
0.544 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d2
0.544 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.544 * [taylor]: Taking taylor expansion of d3 in d2
0.544 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.544 * [taylor]: Taking taylor expansion of d2 in d2
0.544 * [taylor]: Taking taylor expansion of 1 in d3
0.547 * [taylor]: Taking taylor expansion of 0 in d2
0.547 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.547 * [taylor]: Taking taylor expansion of d3 in d3
0.551 * [taylor]: Taking taylor expansion of 0 in d2
0.551 * [taylor]: Taking taylor expansion of 0 in d3
0.553 * [taylor]: Taking taylor expansion of 0 in d3
0.558 * [taylor]: Taking taylor expansion of 0 in d2
0.558 * [taylor]: Taking taylor expansion of 0 in d3
0.558 * [taylor]: Taking taylor expansion of 0 in d3
0.560 * [taylor]: Taking taylor expansion of 0 in d3
0.566 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in (d1 d2 d3) around 0
0.566 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.566 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.566 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.566 * [taylor]: Taking taylor expansion of d1 in d3
0.566 * [taylor]: Taking taylor expansion of d3 in d3
0.567 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.567 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.567 * [taylor]: Taking taylor expansion of d1 in d3
0.567 * [taylor]: Taking taylor expansion of d2 in d3
0.567 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.567 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.567 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.567 * [taylor]: Taking taylor expansion of d1 in d2
0.567 * [taylor]: Taking taylor expansion of d3 in d2
0.568 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.568 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.568 * [taylor]: Taking taylor expansion of d1 in d2
0.568 * [taylor]: Taking taylor expansion of d2 in d2
0.568 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.568 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.568 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.568 * [taylor]: Taking taylor expansion of d1 in d1
0.568 * [taylor]: Taking taylor expansion of d3 in d1
0.569 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.569 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.569 * [taylor]: Taking taylor expansion of d1 in d1
0.569 * [taylor]: Taking taylor expansion of d2 in d1
0.570 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.570 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.570 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.570 * [taylor]: Taking taylor expansion of d1 in d1
0.570 * [taylor]: Taking taylor expansion of d3 in d1
0.571 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.571 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.571 * [taylor]: Taking taylor expansion of d1 in d1
0.571 * [taylor]: Taking taylor expansion of d2 in d1
0.572 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d2
0.572 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.572 * [taylor]: Taking taylor expansion of d3 in d2
0.572 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.572 * [taylor]: Taking taylor expansion of d2 in d2
0.572 * [taylor]: Taking taylor expansion of 1 in d3
0.574 * [taylor]: Taking taylor expansion of 0 in d2
0.575 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.575 * [taylor]: Taking taylor expansion of d3 in d3
0.578 * [taylor]: Taking taylor expansion of 0 in d2
0.578 * [taylor]: Taking taylor expansion of 0 in d3
0.579 * [taylor]: Taking taylor expansion of 0 in d3
0.584 * [taylor]: Taking taylor expansion of 0 in d2
0.584 * [taylor]: Taking taylor expansion of 0 in d3
0.584 * [taylor]: Taking taylor expansion of 0 in d3
0.585 * [taylor]: Taking taylor expansion of 0 in d3
0.589 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.590 * [approximate]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d2) (* d1 d3))) in (d1 d2 d3) around 0
0.590 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d2) (* d1 d3))) in d3
0.590 * [taylor]: Taking taylor expansion of (* 37 d1) in d3
0.590 * [taylor]: Taking taylor expansion of 37 in d3
0.590 * [taylor]: Taking taylor expansion of d1 in d3
0.590 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d3
0.590 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.590 * [taylor]: Taking taylor expansion of d1 in d3
0.590 * [taylor]: Taking taylor expansion of d2 in d3
0.590 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.591 * [taylor]: Taking taylor expansion of d1 in d3
0.591 * [taylor]: Taking taylor expansion of d3 in d3
0.591 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d2) (* d1 d3))) in d2
0.591 * [taylor]: Taking taylor expansion of (* 37 d1) in d2
0.591 * [taylor]: Taking taylor expansion of 37 in d2
0.591 * [taylor]: Taking taylor expansion of d1 in d2
0.591 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d2
0.591 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.591 * [taylor]: Taking taylor expansion of d1 in d2
0.591 * [taylor]: Taking taylor expansion of d2 in d2
0.591 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.591 * [taylor]: Taking taylor expansion of d1 in d2
0.591 * [taylor]: Taking taylor expansion of d3 in d2
0.591 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d2) (* d1 d3))) in d1
0.591 * [taylor]: Taking taylor expansion of (* 37 d1) in d1
0.591 * [taylor]: Taking taylor expansion of 37 in d1
0.591 * [taylor]: Taking taylor expansion of d1 in d1
0.591 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d1
0.591 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.591 * [taylor]: Taking taylor expansion of d1 in d1
0.591 * [taylor]: Taking taylor expansion of d2 in d1
0.591 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.591 * [taylor]: Taking taylor expansion of d1 in d1
0.591 * [taylor]: Taking taylor expansion of d3 in d1
0.591 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d2) (* d1 d3))) in d1
0.591 * [taylor]: Taking taylor expansion of (* 37 d1) in d1
0.591 * [taylor]: Taking taylor expansion of 37 in d1
0.591 * [taylor]: Taking taylor expansion of d1 in d1
0.591 * [taylor]: Taking taylor expansion of (+ (* d1 d2) (* d1 d3)) in d1
0.591 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.591 * [taylor]: Taking taylor expansion of d1 in d1
0.591 * [taylor]: Taking taylor expansion of d2 in d1
0.591 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.591 * [taylor]: Taking taylor expansion of d1 in d1
0.591 * [taylor]: Taking taylor expansion of d3 in d1
0.592 * [taylor]: Taking taylor expansion of 0 in d2
0.592 * [taylor]: Taking taylor expansion of 0 in d3
0.593 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d2
0.593 * [taylor]: Taking taylor expansion of d3 in d2
0.593 * [taylor]: Taking taylor expansion of (+ d2 37) in d2
0.593 * [taylor]: Taking taylor expansion of d2 in d2
0.593 * [taylor]: Taking taylor expansion of 37 in d2
0.593 * [taylor]: Taking taylor expansion of (+ d3 37) in d3
0.593 * [taylor]: Taking taylor expansion of d3 in d3
0.593 * [taylor]: Taking taylor expansion of 37 in d3
0.594 * [taylor]: Taking taylor expansion of 0 in d3
0.595 * [taylor]: Taking taylor expansion of 0 in d2
0.595 * [taylor]: Taking taylor expansion of 0 in d3
0.596 * [taylor]: Taking taylor expansion of 1 in d3
0.596 * [taylor]: Taking taylor expansion of 0 in d3
0.600 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2)))) in (d1 d2 d3) around 0
0.600 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2)))) in d3
0.600 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.600 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.600 * [taylor]: Taking taylor expansion of d1 in d3
0.600 * [taylor]: Taking taylor expansion of d3 in d3
0.601 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2))) in d3
0.601 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d3
0.601 * [taylor]: Taking taylor expansion of 37 in d3
0.601 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.601 * [taylor]: Taking taylor expansion of d1 in d3
0.601 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.601 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.601 * [taylor]: Taking taylor expansion of d1 in d3
0.601 * [taylor]: Taking taylor expansion of d2 in d3
0.602 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2)))) in d2
0.602 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.602 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.602 * [taylor]: Taking taylor expansion of d1 in d2
0.602 * [taylor]: Taking taylor expansion of d3 in d2
0.602 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2))) in d2
0.602 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d2
0.602 * [taylor]: Taking taylor expansion of 37 in d2
0.602 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.602 * [taylor]: Taking taylor expansion of d1 in d2
0.602 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.602 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.602 * [taylor]: Taking taylor expansion of d1 in d2
0.603 * [taylor]: Taking taylor expansion of d2 in d2
0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2)))) in d1
0.603 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.603 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.603 * [taylor]: Taking taylor expansion of d1 in d1
0.603 * [taylor]: Taking taylor expansion of d3 in d1
0.604 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2))) in d1
0.604 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.604 * [taylor]: Taking taylor expansion of 37 in d1
0.604 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.604 * [taylor]: Taking taylor expansion of d1 in d1
0.604 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.604 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.604 * [taylor]: Taking taylor expansion of d1 in d1
0.604 * [taylor]: Taking taylor expansion of d2 in d1
0.605 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2)))) in d1
0.605 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.605 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.605 * [taylor]: Taking taylor expansion of d1 in d1
0.605 * [taylor]: Taking taylor expansion of d3 in d1
0.606 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (/ 1 (* d1 d2))) in d1
0.606 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.606 * [taylor]: Taking taylor expansion of 37 in d1
0.606 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.606 * [taylor]: Taking taylor expansion of d1 in d1
0.606 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.606 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.606 * [taylor]: Taking taylor expansion of d1 in d1
0.606 * [taylor]: Taking taylor expansion of d2 in d1
0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (+ (/ 1 d2) 37)) in d2
0.608 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.608 * [taylor]: Taking taylor expansion of d3 in d2
0.608 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 37) in d2
0.608 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.608 * [taylor]: Taking taylor expansion of d2 in d2
0.608 * [taylor]: Taking taylor expansion of 37 in d2
0.608 * [taylor]: Taking taylor expansion of 1 in d3
0.612 * [taylor]: Taking taylor expansion of 0 in d2
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d3
0.613 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.614 * [taylor]: Taking taylor expansion of d3 in d3
0.614 * [taylor]: Taking taylor expansion of 37 in d3
0.619 * [taylor]: Taking taylor expansion of 0 in d2
0.619 * [taylor]: Taking taylor expansion of 0 in d3
0.621 * [taylor]: Taking taylor expansion of 0 in d3
0.627 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in (d1 d2 d3) around 0
0.627 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d3
0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.628 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.628 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.628 * [taylor]: Taking taylor expansion of d1 in d3
0.628 * [taylor]: Taking taylor expansion of d3 in d3
0.628 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.628 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.628 * [taylor]: Taking taylor expansion of d1 in d3
0.628 * [taylor]: Taking taylor expansion of d2 in d3
0.629 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d3
0.629 * [taylor]: Taking taylor expansion of 37 in d3
0.629 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.629 * [taylor]: Taking taylor expansion of d1 in d3
0.629 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d2
0.629 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.629 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.629 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.629 * [taylor]: Taking taylor expansion of d1 in d2
0.629 * [taylor]: Taking taylor expansion of d3 in d2
0.629 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.629 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.629 * [taylor]: Taking taylor expansion of d1 in d2
0.629 * [taylor]: Taking taylor expansion of d2 in d2
0.630 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d2
0.630 * [taylor]: Taking taylor expansion of 37 in d2
0.630 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.630 * [taylor]: Taking taylor expansion of d1 in d2
0.630 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d1
0.630 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.630 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.630 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.630 * [taylor]: Taking taylor expansion of d1 in d1
0.630 * [taylor]: Taking taylor expansion of d3 in d1
0.631 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.631 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.631 * [taylor]: Taking taylor expansion of d1 in d1
0.631 * [taylor]: Taking taylor expansion of d2 in d1
0.632 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.632 * [taylor]: Taking taylor expansion of 37 in d1
0.632 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.632 * [taylor]: Taking taylor expansion of d1 in d1
0.632 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d1
0.632 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.632 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.632 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.632 * [taylor]: Taking taylor expansion of d1 in d1
0.632 * [taylor]: Taking taylor expansion of d3 in d1
0.633 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.633 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.633 * [taylor]: Taking taylor expansion of d1 in d1
0.633 * [taylor]: Taking taylor expansion of d2 in d1
0.633 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.633 * [taylor]: Taking taylor expansion of 37 in d1
0.633 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.633 * [taylor]: Taking taylor expansion of d1 in d1
0.635 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d3) (/ 1 d2)) 37) in d2
0.635 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) (/ 1 d2)) in d2
0.635 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.635 * [taylor]: Taking taylor expansion of d3 in d2
0.635 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.635 * [taylor]: Taking taylor expansion of d2 in d2
0.635 * [taylor]: Taking taylor expansion of 37 in d2
0.636 * [taylor]: Taking taylor expansion of 1 in d3
0.640 * [taylor]: Taking taylor expansion of 0 in d2
0.641 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 37) in d3
0.641 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.641 * [taylor]: Taking taylor expansion of d3 in d3
0.641 * [taylor]: Taking taylor expansion of 37 in d3
0.647 * [taylor]: Taking taylor expansion of 0 in d2
0.647 * [taylor]: Taking taylor expansion of 0 in d3
0.650 * [taylor]: Taking taylor expansion of 0 in d3
0.655 * * * [progress]: simplifying candidates
0.655 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
  (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
  (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
0.656 * * [simplify]: iteration  0 :  10  enodes  (cost  78 )
0.656 * * [simplify]: iteration  1 :  10  enodes  (cost  78 )
0.656 * [simplify]: Simplified to:
   (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
  (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
  (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
0.656 * * * [progress]: adding candidates to table
0.657 * [progress]: [Phase 3 of 3] Extracting.
0.657 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2 d3) (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))))> #<alt (λ (d1 d2 d3) (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))>)
0.657 * * * [regime-changes]: Trying 5 branch expressions: ((+.f64 d3 5) (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)) d3 d2 d1)
0.657 * * * * [regimes]: Trying to branch on (+.f64 d3 5) from (#<alt (λ (d1 d2 d3) (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))))> #<alt (λ (d1 d2 d3) (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))>)
0.667 * * * * [regimes]: Trying to branch on (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)) from (#<alt (λ (d1 d2 d3) (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))))> #<alt (λ (d1 d2 d3) (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))>)
0.678 * * * * [regimes]: Trying to branch on d3 from (#<alt (λ (d1 d2 d3) (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))))> #<alt (λ (d1 d2 d3) (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))>)
0.686 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2 d3) (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))))> #<alt (λ (d1 d2 d3) (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))>)
0.695 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2 d3) (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))))> #<alt (λ (d1 d2 d3) (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))>)
0.704 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.704 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
0.704 * * [simplify]: iteration  0 :  10  enodes  (cost  16 )
0.704 * * [simplify]: iteration  1 :  10  enodes  (cost  16 )
0.704 * [simplify]: Simplified to:
   (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
1.254 * [regime-testing]: End program error score: 0.029723076322310724
1.271 * [regime-testing]: Target error score: 0.02287785973246656