10.066 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.338 * * * [progress]: [2/2] Setting up program.
0.341 * [progress]: [Phase 2 of 3] Improving.
0.342 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
0.356 * * [simplify]: iteration  0 :  135  enodes  (cost  10 )
0.356 * * [simplify]: iteration  1 :  135  enodes  (cost  10 )
0.357 * [simplify]: Simplified to:
   (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
0.360 * * [progress]: iteration 1 / 4
0.360 * * * [progress]: picking best candidate
0.366 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))>
0.366 * * * [progress]: localizing error
0.371 * * * [progress]: generating rewritten candidates
0.371 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.380 * * * [progress]: generating series expansions
0.380 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.380 * [approximate]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37))) in (d1 d2 d3) around 0
0.380 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37))) in d3
0.380 * [taylor]: Taking taylor expansion of d1 in d3
0.380 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d3
0.381 * [taylor]: Taking taylor expansion of d3 in d3
0.381 * [taylor]: Taking taylor expansion of (+ d2 37) in d3
0.381 * [taylor]: Taking taylor expansion of d2 in d3
0.381 * [taylor]: Taking taylor expansion of 37 in d3
0.381 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37))) in d2
0.381 * [taylor]: Taking taylor expansion of d1 in d2
0.381 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d2
0.381 * [taylor]: Taking taylor expansion of d3 in d2
0.381 * [taylor]: Taking taylor expansion of (+ d2 37) in d2
0.381 * [taylor]: Taking taylor expansion of d2 in d2
0.381 * [taylor]: Taking taylor expansion of 37 in d2
0.381 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37))) in d1
0.381 * [taylor]: Taking taylor expansion of d1 in d1
0.381 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d1
0.381 * [taylor]: Taking taylor expansion of d3 in d1
0.381 * [taylor]: Taking taylor expansion of (+ d2 37) in d1
0.381 * [taylor]: Taking taylor expansion of d2 in d1
0.381 * [taylor]: Taking taylor expansion of 37 in d1
0.381 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37))) in d1
0.381 * [taylor]: Taking taylor expansion of d1 in d1
0.381 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d1
0.381 * [taylor]: Taking taylor expansion of d3 in d1
0.381 * [taylor]: Taking taylor expansion of (+ d2 37) in d1
0.381 * [taylor]: Taking taylor expansion of d2 in d1
0.381 * [taylor]: Taking taylor expansion of 37 in d1
0.381 * [taylor]: Taking taylor expansion of 0 in d2
0.381 * [taylor]: Taking taylor expansion of 0 in d3
0.381 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d2
0.381 * [taylor]: Taking taylor expansion of d3 in d2
0.381 * [taylor]: Taking taylor expansion of (+ d2 37) in d2
0.381 * [taylor]: Taking taylor expansion of d2 in d2
0.381 * [taylor]: Taking taylor expansion of 37 in d2
0.381 * [taylor]: Taking taylor expansion of (+ d3 37) in d3
0.381 * [taylor]: Taking taylor expansion of d3 in d3
0.381 * [taylor]: Taking taylor expansion of 37 in d3
0.381 * [taylor]: Taking taylor expansion of 0 in d3
0.381 * [taylor]: Taking taylor expansion of 0 in d2
0.381 * [taylor]: Taking taylor expansion of 0 in d3
0.382 * [taylor]: Taking taylor expansion of 1 in d3
0.382 * [taylor]: Taking taylor expansion of 0 in d3
0.382 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ (/ 1 d3) 37)) d1) in (d1 d2 d3) around 0
0.382 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ (/ 1 d3) 37)) d1) in d3
0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d3
0.382 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.382 * [taylor]: Taking taylor expansion of d2 in d3
0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d3
0.382 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.382 * [taylor]: Taking taylor expansion of d3 in d3
0.382 * [taylor]: Taking taylor expansion of 37 in d3
0.382 * [taylor]: Taking taylor expansion of d1 in d3
0.382 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ (/ 1 d3) 37)) d1) in d2
0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d2
0.382 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.382 * [taylor]: Taking taylor expansion of d2 in d2
0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d2
0.382 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.382 * [taylor]: Taking taylor expansion of d3 in d2
0.382 * [taylor]: Taking taylor expansion of 37 in d2
0.382 * [taylor]: Taking taylor expansion of d1 in d2
0.382 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ (/ 1 d3) 37)) d1) in d1
0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d1
0.382 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.382 * [taylor]: Taking taylor expansion of d2 in d1
0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d1
0.382 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.382 * [taylor]: Taking taylor expansion of d3 in d1
0.382 * [taylor]: Taking taylor expansion of 37 in d1
0.382 * [taylor]: Taking taylor expansion of d1 in d1
0.383 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ (/ 1 d3) 37)) d1) in d1
0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d1
0.383 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.383 * [taylor]: Taking taylor expansion of d2 in d1
0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d1
0.383 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.383 * [taylor]: Taking taylor expansion of d3 in d1
0.383 * [taylor]: Taking taylor expansion of 37 in d1
0.383 * [taylor]: Taking taylor expansion of d1 in d1
0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d2
0.383 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.383 * [taylor]: Taking taylor expansion of d2 in d2
0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d2
0.383 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.383 * [taylor]: Taking taylor expansion of d3 in d2
0.383 * [taylor]: Taking taylor expansion of 37 in d2
0.383 * [taylor]: Taking taylor expansion of 1 in d3
0.383 * [taylor]: Taking taylor expansion of 0 in d2
0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d3
0.384 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.384 * [taylor]: Taking taylor expansion of d3 in d3
0.384 * [taylor]: Taking taylor expansion of 37 in d3
0.384 * [taylor]: Taking taylor expansion of 0 in d2
0.384 * [taylor]: Taking taylor expansion of 0 in d3
0.384 * [taylor]: Taking taylor expansion of 0 in d3
0.384 * [approximate]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in (d1 d2 d3) around 0
0.384 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
0.384 * [taylor]: Taking taylor expansion of -1 in d3
0.384 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
0.384 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d3
0.384 * [taylor]: Taking taylor expansion of 37 in d3
0.385 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.385 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.385 * [taylor]: Taking taylor expansion of d2 in d3
0.385 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.385 * [taylor]: Taking taylor expansion of d3 in d3
0.385 * [taylor]: Taking taylor expansion of d1 in d3
0.385 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2
0.385 * [taylor]: Taking taylor expansion of -1 in d2
0.385 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
0.385 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d2
0.385 * [taylor]: Taking taylor expansion of 37 in d2
0.385 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.385 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.385 * [taylor]: Taking taylor expansion of d2 in d2
0.385 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.385 * [taylor]: Taking taylor expansion of d3 in d2
0.385 * [taylor]: Taking taylor expansion of d1 in d2
0.385 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1
0.385 * [taylor]: Taking taylor expansion of -1 in d1
0.385 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
0.385 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d1
0.385 * [taylor]: Taking taylor expansion of 37 in d1
0.385 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.385 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.385 * [taylor]: Taking taylor expansion of d2 in d1
0.385 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.385 * [taylor]: Taking taylor expansion of d3 in d1
0.385 * [taylor]: Taking taylor expansion of d1 in d1
0.385 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1
0.385 * [taylor]: Taking taylor expansion of -1 in d1
0.385 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
0.385 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d1
0.385 * [taylor]: Taking taylor expansion of 37 in d1
0.385 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.385 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.385 * [taylor]: Taking taylor expansion of d2 in d1
0.386 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.386 * [taylor]: Taking taylor expansion of d3 in d1
0.386 * [taylor]: Taking taylor expansion of d1 in d1
0.386 * [taylor]: Taking taylor expansion of (* -1 (- 37 (+ (/ 1 d2) (/ 1 d3)))) in d2
0.386 * [taylor]: Taking taylor expansion of -1 in d2
0.386 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d2
0.386 * [taylor]: Taking taylor expansion of 37 in d2
0.386 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.386 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.386 * [taylor]: Taking taylor expansion of d2 in d2
0.386 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.386 * [taylor]: Taking taylor expansion of d3 in d2
0.386 * [taylor]: Taking taylor expansion of 1 in d3
0.386 * [taylor]: Taking taylor expansion of 0 in d2
0.387 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 37) in d3
0.387 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.387 * [taylor]: Taking taylor expansion of d3 in d3
0.387 * [taylor]: Taking taylor expansion of 37 in d3
0.387 * [taylor]: Taking taylor expansion of 0 in d2
0.387 * [taylor]: Taking taylor expansion of 0 in d3
0.387 * [taylor]: Taking taylor expansion of 0 in d3
0.388 * * * [progress]: simplifying candidates
0.388 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
  (+.f64 (log.f64 d1) (log.f64 (+.f64 d2 (+.f64 d3 37))))
  (log.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (exp.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 (*.f64 (+.f64 d2 (+.f64 d3 37)) (+.f64 d2 (+.f64 d3 37))) (+.f64 d2 (+.f64 d3 37))))
  (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))) (cbrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))))
  (cbrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))) (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (sqrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (sqrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 d1 d2)
  (*.f64 d1 (+.f64 d3 37))
  (*.f64 d2 d1)
  (*.f64 (+.f64 d3 37) d1)
  (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 (+.f64 d3 37))) (cbrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 d1 1)
  (*.f64 d1 1)
  (*.f64 d1 1)
  (*.f64 (cbrt.f64 d1) (+.f64 d2 (+.f64 d3 37)))
  (*.f64 (sqrt.f64 d1) (+.f64 d2 (+.f64 d3 37)))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
  (*.f64 d1 (+.f64 (pow.f64 d2 3) (pow.f64 (+.f64 d3 37) 3)))
  (*.f64 d1 (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37))))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)))
0.480 * * [simplify]: iteration  0 :  4955  enodes  (cost  321 )
0.480 * * [simplify]: iteration  1 :  4955  enodes  (cost  321 )
0.483 * [simplify]: Simplified to:
   (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
  (log.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (log.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (exp.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (pow.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 3)
  (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))) (cbrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))))
  (cbrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (pow.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 3)
  (sqrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (sqrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 d1 d2)
  (*.f64 d1 (+.f64 d3 37))
  (*.f64 d1 d2)
  (*.f64 d1 (+.f64 d3 37))
  (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 (+.f64 d3 37))) (cbrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  d1
  d1
  d1
  (*.f64 (+.f64 d2 (+.f64 d3 37)) (cbrt.f64 d1))
  (*.f64 (+.f64 d2 (+.f64 d3 37)) (sqrt.f64 d1))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
  (*.f64 d1 (+.f64 (pow.f64 d2 3) (pow.f64 (+.f64 d3 37) 3)))
  (*.f64 d1 (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37))))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
0.483 * * * [progress]: adding candidates to table
0.501 * * [progress]: iteration 2 / 4
0.501 * * * [progress]: picking best candidate
0.509 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37))))>
0.509 * * * [progress]: localizing error
0.516 * * * [progress]: generating rewritten candidates
0.516 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.522 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.528 * * * [progress]: generating series expansions
0.528 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.528 * [approximate]: Taking taylor expansion of (* d1 (+ d3 37)) in (d1 d3) around 0
0.528 * [taylor]: Taking taylor expansion of (* d1 (+ d3 37)) in d3
0.528 * [taylor]: Taking taylor expansion of d1 in d3
0.528 * [taylor]: Taking taylor expansion of (+ d3 37) in d3
0.528 * [taylor]: Taking taylor expansion of d3 in d3
0.528 * [taylor]: Taking taylor expansion of 37 in d3
0.528 * [taylor]: Taking taylor expansion of (* d1 (+ d3 37)) in d1
0.528 * [taylor]: Taking taylor expansion of d1 in d1
0.528 * [taylor]: Taking taylor expansion of (+ d3 37) in d1
0.528 * [taylor]: Taking taylor expansion of d3 in d1
0.528 * [taylor]: Taking taylor expansion of 37 in d1
0.528 * [taylor]: Taking taylor expansion of (* d1 (+ d3 37)) in d1
0.528 * [taylor]: Taking taylor expansion of d1 in d1
0.528 * [taylor]: Taking taylor expansion of (+ d3 37) in d1
0.528 * [taylor]: Taking taylor expansion of d3 in d1
0.528 * [taylor]: Taking taylor expansion of 37 in d1
0.528 * [taylor]: Taking taylor expansion of 0 in d3
0.528 * [taylor]: Taking taylor expansion of (+ d3 37) in d3
0.528 * [taylor]: Taking taylor expansion of d3 in d3
0.528 * [taylor]: Taking taylor expansion of 37 in d3
0.529 * [taylor]: Taking taylor expansion of 0 in d3
0.529 * [taylor]: Taking taylor expansion of 0 in d3
0.529 * [taylor]: Taking taylor expansion of 0 in d3
0.529 * [approximate]: Taking taylor expansion of (/ (+ 37 (/ 1 d3)) d1) in (d1 d3) around 0
0.529 * [taylor]: Taking taylor expansion of (/ (+ 37 (/ 1 d3)) d1) in d3
0.529 * [taylor]: Taking taylor expansion of (+ 37 (/ 1 d3)) in d3
0.529 * [taylor]: Taking taylor expansion of 37 in d3
0.529 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.529 * [taylor]: Taking taylor expansion of d3 in d3
0.529 * [taylor]: Taking taylor expansion of d1 in d3
0.529 * [taylor]: Taking taylor expansion of (/ (+ 37 (/ 1 d3)) d1) in d1
0.529 * [taylor]: Taking taylor expansion of (+ 37 (/ 1 d3)) in d1
0.529 * [taylor]: Taking taylor expansion of 37 in d1
0.529 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.529 * [taylor]: Taking taylor expansion of d3 in d1
0.529 * [taylor]: Taking taylor expansion of d1 in d1
0.530 * [taylor]: Taking taylor expansion of (/ (+ 37 (/ 1 d3)) d1) in d1
0.530 * [taylor]: Taking taylor expansion of (+ 37 (/ 1 d3)) in d1
0.530 * [taylor]: Taking taylor expansion of 37 in d1
0.530 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.530 * [taylor]: Taking taylor expansion of d3 in d1
0.530 * [taylor]: Taking taylor expansion of d1 in d1
0.530 * [taylor]: Taking taylor expansion of (+ 37 (/ 1 d3)) in d3
0.530 * [taylor]: Taking taylor expansion of 37 in d3
0.530 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.530 * [taylor]: Taking taylor expansion of d3 in d3
0.530 * [taylor]: Taking taylor expansion of 0 in d3
0.530 * [taylor]: Taking taylor expansion of 0 in d3
0.531 * [taylor]: Taking taylor expansion of 0 in d3
0.531 * [taylor]: Taking taylor expansion of 0 in d3
0.531 * [approximate]: Taking taylor expansion of (* -1 (/ (- 37 (/ 1 d3)) d1)) in (d1 d3) around 0
0.531 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (/ 1 d3)) d1)) in d3
0.531 * [taylor]: Taking taylor expansion of -1 in d3
0.531 * [taylor]: Taking taylor expansion of (/ (- 37 (/ 1 d3)) d1) in d3
0.531 * [taylor]: Taking taylor expansion of (- 37 (/ 1 d3)) in d3
0.531 * [taylor]: Taking taylor expansion of 37 in d3
0.531 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.531 * [taylor]: Taking taylor expansion of d3 in d3
0.531 * [taylor]: Taking taylor expansion of d1 in d3
0.531 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (/ 1 d3)) d1)) in d1
0.531 * [taylor]: Taking taylor expansion of -1 in d1
0.531 * [taylor]: Taking taylor expansion of (/ (- 37 (/ 1 d3)) d1) in d1
0.531 * [taylor]: Taking taylor expansion of (- 37 (/ 1 d3)) in d1
0.531 * [taylor]: Taking taylor expansion of 37 in d1
0.532 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.532 * [taylor]: Taking taylor expansion of d3 in d1
0.532 * [taylor]: Taking taylor expansion of d1 in d1
0.532 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (/ 1 d3)) d1)) in d1
0.532 * [taylor]: Taking taylor expansion of -1 in d1
0.532 * [taylor]: Taking taylor expansion of (/ (- 37 (/ 1 d3)) d1) in d1
0.532 * [taylor]: Taking taylor expansion of (- 37 (/ 1 d3)) in d1
0.532 * [taylor]: Taking taylor expansion of 37 in d1
0.532 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.532 * [taylor]: Taking taylor expansion of d3 in d1
0.532 * [taylor]: Taking taylor expansion of d1 in d1
0.532 * [taylor]: Taking taylor expansion of (* -1 (- 37 (/ 1 d3))) in d3
0.532 * [taylor]: Taking taylor expansion of -1 in d3
0.532 * [taylor]: Taking taylor expansion of (- 37 (/ 1 d3)) in d3
0.532 * [taylor]: Taking taylor expansion of 37 in d3
0.532 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
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 d3
0.533 * [taylor]: Taking taylor expansion of 0 in d3
0.533 * [taylor]: Taking taylor expansion of 0 in d3
0.534 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.534 * [approximate]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d3) (* d1 d2))) in (d1 d2 d3) around 0
0.534 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d3) (* d1 d2))) in d3
0.534 * [taylor]: Taking taylor expansion of (* 37 d1) in d3
0.534 * [taylor]: Taking taylor expansion of 37 in d3
0.534 * [taylor]: Taking taylor expansion of d1 in d3
0.534 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d3
0.534 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.534 * [taylor]: Taking taylor expansion of d1 in d3
0.534 * [taylor]: Taking taylor expansion of d3 in d3
0.534 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.534 * [taylor]: Taking taylor expansion of d1 in d3
0.534 * [taylor]: Taking taylor expansion of d2 in d3
0.534 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d3) (* d1 d2))) in d2
0.534 * [taylor]: Taking taylor expansion of (* 37 d1) in d2
0.534 * [taylor]: Taking taylor expansion of 37 in d2
0.534 * [taylor]: Taking taylor expansion of d1 in d2
0.534 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d2
0.534 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.534 * [taylor]: Taking taylor expansion of d1 in d2
0.534 * [taylor]: Taking taylor expansion of d3 in d2
0.534 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.534 * [taylor]: Taking taylor expansion of d1 in d2
0.534 * [taylor]: Taking taylor expansion of d2 in d2
0.534 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d3) (* d1 d2))) in d1
0.534 * [taylor]: Taking taylor expansion of (* 37 d1) in d1
0.534 * [taylor]: Taking taylor expansion of 37 in d1
0.534 * [taylor]: Taking taylor expansion of d1 in d1
0.534 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1
0.534 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.534 * [taylor]: Taking taylor expansion of d1 in d1
0.534 * [taylor]: Taking taylor expansion of d3 in d1
0.534 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.534 * [taylor]: Taking taylor expansion of d1 in d1
0.534 * [taylor]: Taking taylor expansion of d2 in d1
0.534 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d3) (* d1 d2))) in d1
0.534 * [taylor]: Taking taylor expansion of (* 37 d1) in d1
0.534 * [taylor]: Taking taylor expansion of 37 in d1
0.534 * [taylor]: Taking taylor expansion of d1 in d1
0.534 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1
0.534 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.534 * [taylor]: Taking taylor expansion of d1 in d1
0.534 * [taylor]: Taking taylor expansion of d3 in d1
0.534 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.534 * [taylor]: Taking taylor expansion of d1 in d1
0.534 * [taylor]: Taking taylor expansion of d2 in d1
0.534 * [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 (+ d3 (+ d2 37)) in d2
0.535 * [taylor]: Taking taylor expansion of d3 in d2
0.535 * [taylor]: Taking taylor expansion of (+ d2 37) in d2
0.535 * [taylor]: Taking taylor expansion of d2 in d2
0.535 * [taylor]: Taking taylor expansion of 37 in d2
0.535 * [taylor]: Taking taylor expansion of (+ d3 37) in d3
0.535 * [taylor]: Taking taylor expansion of d3 in d3
0.535 * [taylor]: Taking taylor expansion of 37 in d3
0.535 * [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 1 in d3
0.535 * [taylor]: Taking taylor expansion of 0 in d3
0.535 * [approximate]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in (d1 d2 d3) around 0
0.535 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d3
0.535 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d3
0.535 * [taylor]: Taking taylor expansion of 37 in d3
0.535 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.535 * [taylor]: Taking taylor expansion of d1 in d3
0.536 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.536 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.536 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.536 * [taylor]: Taking taylor expansion of d1 in d3
0.536 * [taylor]: Taking taylor expansion of d3 in d3
0.536 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.536 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.536 * [taylor]: Taking taylor expansion of d1 in d3
0.536 * [taylor]: Taking taylor expansion of d2 in d3
0.536 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d2
0.536 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d2
0.536 * [taylor]: Taking taylor expansion of 37 in d2
0.536 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.536 * [taylor]: Taking taylor expansion of d1 in d2
0.536 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.536 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.536 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.536 * [taylor]: Taking taylor expansion of d1 in d2
0.536 * [taylor]: Taking taylor expansion of d3 in d2
0.536 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.536 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.536 * [taylor]: Taking taylor expansion of d1 in d2
0.536 * [taylor]: Taking taylor expansion of d2 in d2
0.536 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d1
0.536 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.536 * [taylor]: Taking taylor expansion of 37 in d1
0.536 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.536 * [taylor]: Taking taylor expansion of d1 in d1
0.536 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.536 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.536 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.536 * [taylor]: Taking taylor expansion of d1 in d1
0.536 * [taylor]: Taking taylor expansion of d3 in d1
0.536 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.536 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.536 * [taylor]: Taking taylor expansion of d1 in d1
0.536 * [taylor]: Taking taylor expansion of d2 in d1
0.536 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d1
0.536 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.536 * [taylor]: Taking taylor expansion of 37 in d1
0.536 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.536 * [taylor]: Taking taylor expansion of d1 in d1
0.537 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.537 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.537 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.537 * [taylor]: Taking taylor expansion of d1 in d1
0.537 * [taylor]: Taking taylor expansion of d3 in d1
0.537 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.537 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.537 * [taylor]: Taking taylor expansion of d1 in d1
0.537 * [taylor]: Taking taylor expansion of d2 in d1
0.537 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d2
0.537 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.537 * [taylor]: Taking taylor expansion of d2 in d2
0.537 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d2
0.537 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.537 * [taylor]: Taking taylor expansion of d3 in d2
0.537 * [taylor]: Taking taylor expansion of 37 in d2
0.537 * [taylor]: Taking taylor expansion of 1 in d3
0.537 * [taylor]: Taking taylor expansion of 0 in d2
0.537 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d3
0.537 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.537 * [taylor]: Taking taylor expansion of d3 in d3
0.537 * [taylor]: Taking taylor expansion of 37 in d3
0.538 * [taylor]: Taking taylor expansion of 0 in d2
0.538 * [taylor]: Taking taylor expansion of 0 in d3
0.538 * [taylor]: Taking taylor expansion of 0 in d3
0.538 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in (d1 d2 d3) around 0
0.538 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d3
0.538 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.539 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.539 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.539 * [taylor]: Taking taylor expansion of d1 in d3
0.539 * [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 (* 37 (/ 1 d1)) in d3
0.539 * [taylor]: Taking taylor expansion of 37 in d3
0.539 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.539 * [taylor]: Taking taylor expansion of d1 in d3
0.539 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d2
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.539 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.539 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.539 * [taylor]: Taking taylor expansion of d1 in d2
0.539 * [taylor]: Taking taylor expansion of d2 in d2
0.539 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d2
0.539 * [taylor]: Taking taylor expansion of 37 in d2
0.539 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.539 * [taylor]: Taking taylor expansion of d1 in d2
0.539 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d1
0.539 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.539 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.539 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.539 * [taylor]: Taking taylor expansion of d1 in d1
0.539 * [taylor]: Taking taylor expansion of d3 in d1
0.539 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.539 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.539 * [taylor]: Taking taylor expansion of d1 in d1
0.539 * [taylor]: Taking taylor expansion of d2 in d1
0.539 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.539 * [taylor]: Taking taylor expansion of 37 in d1
0.539 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.539 * [taylor]: Taking taylor expansion of d1 in d1
0.540 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d1
0.540 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.540 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.540 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.540 * [taylor]: Taking taylor expansion of d1 in d1
0.540 * [taylor]: Taking taylor expansion of d3 in d1
0.540 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.540 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.540 * [taylor]: Taking taylor expansion of d1 in d1
0.540 * [taylor]: Taking taylor expansion of d2 in d1
0.540 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.540 * [taylor]: Taking taylor expansion of 37 in d1
0.540 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.540 * [taylor]: Taking taylor expansion of d1 in d1
0.540 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d3)) 37) in d2
0.540 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.540 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.540 * [taylor]: Taking taylor expansion of d2 in d2
0.540 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.540 * [taylor]: Taking taylor expansion of d3 in d2
0.540 * [taylor]: Taking taylor expansion of 37 in d2
0.540 * [taylor]: Taking taylor expansion of 1 in d3
0.540 * [taylor]: Taking taylor expansion of 0 in d2
0.541 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 37) in d3
0.541 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.541 * [taylor]: Taking taylor expansion of d3 in d3
0.541 * [taylor]: Taking taylor expansion of 37 in d3
0.543 * [taylor]: Taking taylor expansion of 0 in d2
0.543 * [taylor]: Taking taylor expansion of 0 in d3
0.543 * [taylor]: Taking taylor expansion of 0 in d3
0.543 * * * [progress]: simplifying candidates
0.544 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 d1 (+.f64 d3 37))
  (+.f64 (log.f64 d1) (log.f64 (+.f64 d3 37)))
  (log.f64 (*.f64 d1 (+.f64 d3 37)))
  (exp.f64 (*.f64 d1 (+.f64 d3 37)))
  (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 (*.f64 (+.f64 d3 37) (+.f64 d3 37)) (+.f64 d3 37)))
  (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 37))) (cbrt.f64 (*.f64 d1 (+.f64 d3 37))))
  (cbrt.f64 (*.f64 d1 (+.f64 d3 37)))
  (*.f64 (*.f64 (*.f64 d1 (+.f64 d3 37)) (*.f64 d1 (+.f64 d3 37))) (*.f64 d1 (+.f64 d3 37)))
  (sqrt.f64 (*.f64 d1 (+.f64 d3 37)))
  (sqrt.f64 (*.f64 d1 (+.f64 d3 37)))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d3 37)))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d3 37)))
  (*.f64 d1 d3)
  (*.f64 d1 37)
  (*.f64 d3 d1)
  (*.f64 37 d1)
  (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d3 37)) (cbrt.f64 (+.f64 d3 37))))
  (*.f64 d1 (sqrt.f64 (+.f64 d3 37)))
  (*.f64 d1 1)
  (*.f64 d1 1)
  (*.f64 (cbrt.f64 d1) (+.f64 d3 37))
  (*.f64 (sqrt.f64 d1) (+.f64 d3 37))
  (*.f64 d1 (+.f64 d3 37))
  (*.f64 d1 (+.f64 (pow.f64 d3 3) (pow.f64 37 3)))
  (*.f64 d1 (-.f64 (*.f64 d3 d3) (*.f64 37 37)))
  (*.f64 (exp.f64 (*.f64 d1 d2)) (exp.f64 (*.f64 d1 (+.f64 d3 37))))
  (log.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37))))
  (exp.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37)))) (cbrt.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37)))))
  (cbrt.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37))))
  (*.f64 (*.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37))) (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37)))) (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37))))
  (sqrt.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37))))
  (sqrt.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37))))
  (+.f64 (pow.f64 (*.f64 d1 d2) 3) (pow.f64 (*.f64 d1 (+.f64 d3 37)) 3))
  (+.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (-.f64 (*.f64 (*.f64 d1 (+.f64 d3 37)) (*.f64 d1 (+.f64 d3 37))) (*.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37)))))
  (-.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (*.f64 (*.f64 d1 (+.f64 d3 37)) (*.f64 d1 (+.f64 d3 37))))
  (-.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37)))
  (+.f64 d2 (+.f64 d3 37))
  (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
  (+.f64 (*.f64 d1 d2) (*.f64 d3 d1))
  (+.f64 (*.f64 37 d1) (*.f64 d1 d3))
  (+.f64 (*.f64 37 d1) (*.f64 d1 d3))
  (+.f64 (*.f64 37 d1) (*.f64 d1 d3))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)))
0.610 * * [simplify]: iteration  0 :  5189  enodes  (cost  471 )
0.614 * [simplify]: Simplified to:
   (*.f64 d1 (+.f64 d3 37))
  (log.f64 (*.f64 d1 (+.f64 d3 37)))
  (log.f64 (*.f64 d1 (+.f64 d3 37)))
  (exp.f64 (*.f64 d1 (+.f64 d3 37)))
  (pow.f64 (*.f64 d1 (+.f64 d3 37)) 3)
  (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 37))) (cbrt.f64 (*.f64 d1 (+.f64 d3 37))))
  (cbrt.f64 (*.f64 d1 (+.f64 d3 37)))
  (pow.f64 (*.f64 d1 (+.f64 d3 37)) 3)
  (sqrt.f64 (*.f64 d1 (+.f64 d3 37)))
  (sqrt.f64 (*.f64 d1 (+.f64 d3 37)))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d3 37)))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d3 37)))
  (*.f64 d1 d3)
  (*.f64 d1 37)
  (*.f64 d1 d3)
  (*.f64 d1 37)
  (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d3 37)) (cbrt.f64 (+.f64 d3 37))))
  (*.f64 d1 (sqrt.f64 (+.f64 d3 37)))
  d1
  d1
  (*.f64 (+.f64 d3 37) (cbrt.f64 d1))
  (*.f64 (+.f64 d3 37) (sqrt.f64 d1))
  (*.f64 d1 (+.f64 d3 37))
  (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))
  (*.f64 d1 (-.f64 (*.f64 d3 d3) 1369))
  (pow.f64 (exp.f64 d1) (+.f64 (+.f64 d3 37) d2))
  (log.f64 (*.f64 d1 (+.f64 (+.f64 d3 37) d2)))
  (pow.f64 (exp.f64 d1) (+.f64 (+.f64 d3 37) d2))
  (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 (+.f64 d3 37) d2))) (cbrt.f64 (*.f64 d1 (+.f64 (+.f64 d3 37) d2))))
  (cbrt.f64 (*.f64 d1 (+.f64 (+.f64 d3 37) d2)))
  (pow.f64 (*.f64 d1 (+.f64 (+.f64 d3 37) d2)) 3)
  (sqrt.f64 (*.f64 d1 (+.f64 (+.f64 d3 37) d2)))
  (sqrt.f64 (*.f64 d1 (+.f64 (+.f64 d3 37) d2)))
  (+.f64 (pow.f64 (*.f64 d1 (+.f64 d3 37)) 3) (pow.f64 (*.f64 d1 d2) 3))
  (*.f64 d1 (*.f64 d1 (+.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (-.f64 (+.f64 d3 37) d2)))))
  (*.f64 (*.f64 d1 d1) (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37))))
  (*.f64 d1 (-.f64 d2 (+.f64 d3 37)))
  (+.f64 (+.f64 d3 37) d2)
  (*.f64 d1 (+.f64 d3 d2))
  (*.f64 d1 (+.f64 d3 d2))
  (*.f64 d1 (+.f64 d3 37))
  (*.f64 d1 (+.f64 d3 37))
  (*.f64 d1 (+.f64 d3 37))
  (*.f64 d1 (+.f64 (+.f64 d3 37) d2))
  (*.f64 d1 (+.f64 (+.f64 d3 37) d2))
  (*.f64 d1 (+.f64 (+.f64 d3 37) d2))
0.614 * * * [progress]: adding candidates to table
0.638 * * [progress]: iteration 3 / 4
0.639 * * * [progress]: picking best candidate
0.645 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))>
0.645 * * * [progress]: localizing error
0.657 * * * [progress]: generating rewritten candidates
0.657 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.665 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
0.671 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.677 * * * [progress]: generating series expansions
0.677 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.677 * [approximate]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d3) (* d1 d2))) in (d1 d2 d3) around 0
0.677 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d3) (* d1 d2))) in d3
0.677 * [taylor]: Taking taylor expansion of (* 37 d1) in d3
0.677 * [taylor]: Taking taylor expansion of 37 in d3
0.677 * [taylor]: Taking taylor expansion of d1 in d3
0.677 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d3
0.677 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.677 * [taylor]: Taking taylor expansion of d1 in d3
0.677 * [taylor]: Taking taylor expansion of d3 in d3
0.677 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.677 * [taylor]: Taking taylor expansion of d1 in d3
0.677 * [taylor]: Taking taylor expansion of d2 in d3
0.677 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d3) (* d1 d2))) in d2
0.677 * [taylor]: Taking taylor expansion of (* 37 d1) in d2
0.677 * [taylor]: Taking taylor expansion of 37 in d2
0.677 * [taylor]: Taking taylor expansion of d1 in d2
0.677 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d2
0.677 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.677 * [taylor]: Taking taylor expansion of d1 in d2
0.677 * [taylor]: Taking taylor expansion of d3 in d2
0.677 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.677 * [taylor]: Taking taylor expansion of d1 in d2
0.677 * [taylor]: Taking taylor expansion of d2 in d2
0.677 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d3) (* d1 d2))) in d1
0.677 * [taylor]: Taking taylor expansion of (* 37 d1) in d1
0.677 * [taylor]: Taking taylor expansion of 37 in d1
0.677 * [taylor]: Taking taylor expansion of d1 in d1
0.677 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1
0.678 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.678 * [taylor]: Taking taylor expansion of d1 in d1
0.678 * [taylor]: Taking taylor expansion of d3 in d1
0.678 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.678 * [taylor]: Taking taylor expansion of d1 in d1
0.678 * [taylor]: Taking taylor expansion of d2 in d1
0.678 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d3) (* d1 d2))) in d1
0.678 * [taylor]: Taking taylor expansion of (* 37 d1) in d1
0.678 * [taylor]: Taking taylor expansion of 37 in d1
0.678 * [taylor]: Taking taylor expansion of d1 in d1
0.678 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1
0.678 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.678 * [taylor]: Taking taylor expansion of d1 in d1
0.678 * [taylor]: Taking taylor expansion of d3 in d1
0.678 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.678 * [taylor]: Taking taylor expansion of d1 in d1
0.678 * [taylor]: Taking taylor expansion of d2 in d1
0.678 * [taylor]: Taking taylor expansion of 0 in d2
0.678 * [taylor]: Taking taylor expansion of 0 in d3
0.678 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d2
0.678 * [taylor]: Taking taylor expansion of d3 in d2
0.678 * [taylor]: Taking taylor expansion of (+ d2 37) in d2
0.678 * [taylor]: Taking taylor expansion of d2 in d2
0.678 * [taylor]: Taking taylor expansion of 37 in d2
0.678 * [taylor]: Taking taylor expansion of (+ d3 37) in d3
0.678 * [taylor]: Taking taylor expansion of d3 in d3
0.678 * [taylor]: Taking taylor expansion of 37 in d3
0.678 * [taylor]: Taking taylor expansion of 0 in d3
0.678 * [taylor]: Taking taylor expansion of 0 in d2
0.678 * [taylor]: Taking taylor expansion of 0 in d3
0.678 * [taylor]: Taking taylor expansion of 1 in d3
0.679 * [taylor]: Taking taylor expansion of 0 in d3
0.679 * [approximate]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in (d1 d2 d3) around 0
0.679 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d3
0.679 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d3
0.679 * [taylor]: Taking taylor expansion of 37 in d3
0.679 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.679 * [taylor]: Taking taylor expansion of d1 in d3
0.679 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.679 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.679 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.679 * [taylor]: Taking taylor expansion of d1 in d3
0.679 * [taylor]: Taking taylor expansion of d3 in d3
0.679 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.679 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.679 * [taylor]: Taking taylor expansion of d1 in d3
0.679 * [taylor]: Taking taylor expansion of d2 in d3
0.679 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d2
0.679 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d2
0.679 * [taylor]: Taking taylor expansion of 37 in d2
0.679 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.679 * [taylor]: Taking taylor expansion of d1 in d2
0.679 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.679 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.679 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.679 * [taylor]: Taking taylor expansion of d1 in d2
0.679 * [taylor]: Taking taylor expansion of d3 in d2
0.680 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.680 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.680 * [taylor]: Taking taylor expansion of d1 in d2
0.680 * [taylor]: Taking taylor expansion of d2 in d2
0.680 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d1
0.680 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.680 * [taylor]: Taking taylor expansion of 37 in d1
0.680 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.680 * [taylor]: Taking taylor expansion of d1 in d1
0.680 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.680 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.680 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.680 * [taylor]: Taking taylor expansion of d1 in d1
0.680 * [taylor]: Taking taylor expansion of d3 in d1
0.680 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.680 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.680 * [taylor]: Taking taylor expansion of d1 in d1
0.680 * [taylor]: Taking taylor expansion of d2 in d1
0.680 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d1
0.680 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.680 * [taylor]: Taking taylor expansion of 37 in d1
0.680 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.680 * [taylor]: Taking taylor expansion of d1 in d1
0.680 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.680 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.680 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.680 * [taylor]: Taking taylor expansion of d1 in d1
0.680 * [taylor]: Taking taylor expansion of d3 in d1
0.680 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.680 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.680 * [taylor]: Taking taylor expansion of d1 in d1
0.680 * [taylor]: Taking taylor expansion of d2 in d1
0.680 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d2
0.680 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.681 * [taylor]: Taking taylor expansion of d2 in d2
0.681 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d2
0.681 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.681 * [taylor]: Taking taylor expansion of d3 in d2
0.681 * [taylor]: Taking taylor expansion of 37 in d2
0.681 * [taylor]: Taking taylor expansion of 1 in d3
0.681 * [taylor]: Taking taylor expansion of 0 in d2
0.681 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d3
0.681 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.681 * [taylor]: Taking taylor expansion of d3 in d3
0.681 * [taylor]: Taking taylor expansion of 37 in d3
0.681 * [taylor]: Taking taylor expansion of 0 in d2
0.681 * [taylor]: Taking taylor expansion of 0 in d3
0.682 * [taylor]: Taking taylor expansion of 0 in d3
0.682 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in (d1 d2 d3) around 0
0.682 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d3
0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.682 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.682 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.682 * [taylor]: Taking taylor expansion of d1 in d3
0.682 * [taylor]: Taking taylor expansion of d3 in d3
0.682 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.682 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.682 * [taylor]: Taking taylor expansion of d1 in d3
0.682 * [taylor]: Taking taylor expansion of d2 in d3
0.682 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d3
0.682 * [taylor]: Taking taylor expansion of 37 in d3
0.682 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.682 * [taylor]: Taking taylor expansion of d1 in d3
0.682 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d2
0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.682 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.683 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.683 * [taylor]: Taking taylor expansion of d1 in d2
0.683 * [taylor]: Taking taylor expansion of d3 in d2
0.683 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.683 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.683 * [taylor]: Taking taylor expansion of d1 in d2
0.683 * [taylor]: Taking taylor expansion of d2 in d2
0.683 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d2
0.683 * [taylor]: Taking taylor expansion of 37 in d2
0.683 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.683 * [taylor]: Taking taylor expansion of d1 in d2
0.683 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d1
0.683 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.683 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.683 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.683 * [taylor]: Taking taylor expansion of d1 in d1
0.683 * [taylor]: Taking taylor expansion of d3 in d1
0.683 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.683 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.683 * [taylor]: Taking taylor expansion of d1 in d1
0.683 * [taylor]: Taking taylor expansion of d2 in d1
0.683 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.683 * [taylor]: Taking taylor expansion of 37 in d1
0.683 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.683 * [taylor]: Taking taylor expansion of d1 in d1
0.683 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d1
0.683 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.683 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.683 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.683 * [taylor]: Taking taylor expansion of d1 in d1
0.683 * [taylor]: Taking taylor expansion of d3 in d1
0.683 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.683 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.683 * [taylor]: Taking taylor expansion of d1 in d1
0.683 * [taylor]: Taking taylor expansion of d2 in d1
0.683 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.683 * [taylor]: Taking taylor expansion of 37 in d1
0.683 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.683 * [taylor]: Taking taylor expansion of d1 in d1
0.684 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d3)) 37) in d2
0.684 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.684 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.684 * [taylor]: Taking taylor expansion of d2 in d2
0.684 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.684 * [taylor]: Taking taylor expansion of d3 in d2
0.684 * [taylor]: Taking taylor expansion of 37 in d2
0.684 * [taylor]: Taking taylor expansion of 1 in d3
0.684 * [taylor]: Taking taylor expansion of 0 in d2
0.684 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 37) in d3
0.684 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.684 * [taylor]: Taking taylor expansion of d3 in d3
0.684 * [taylor]: Taking taylor expansion of 37 in d3
0.685 * [taylor]: Taking taylor expansion of 0 in d2
0.685 * [taylor]: Taking taylor expansion of 0 in d3
0.685 * [taylor]: Taking taylor expansion of 0 in d3
0.685 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
0.685 * [approximate]: Taking taylor expansion of (* d1 (+ d3 5)) in (d3 d1) around 0
0.685 * [taylor]: Taking taylor expansion of (* d1 (+ d3 5)) in d1
0.685 * [taylor]: Taking taylor expansion of d1 in d1
0.685 * [taylor]: Taking taylor expansion of (+ d3 5) in d1
0.685 * [taylor]: Taking taylor expansion of d3 in d1
0.685 * [taylor]: Taking taylor expansion of 5 in d1
0.685 * [taylor]: Taking taylor expansion of (* d1 (+ d3 5)) in d3
0.685 * [taylor]: Taking taylor expansion of d1 in d3
0.685 * [taylor]: Taking taylor expansion of (+ d3 5) in d3
0.685 * [taylor]: Taking taylor expansion of d3 in d3
0.685 * [taylor]: Taking taylor expansion of 5 in d3
0.685 * [taylor]: Taking taylor expansion of (* d1 (+ d3 5)) in d3
0.685 * [taylor]: Taking taylor expansion of d1 in d3
0.685 * [taylor]: Taking taylor expansion of (+ d3 5) in d3
0.685 * [taylor]: Taking taylor expansion of d3 in d3
0.685 * [taylor]: Taking taylor expansion of 5 in d3
0.685 * [taylor]: Taking taylor expansion of (* 5 d1) in d1
0.686 * [taylor]: Taking taylor expansion of 5 in d1
0.686 * [taylor]: Taking taylor expansion of d1 in d1
0.686 * [taylor]: Taking taylor expansion of d1 in d1
0.686 * [taylor]: Taking taylor expansion of 0 in d1
0.686 * [taylor]: Taking taylor expansion of 0 in d1
0.686 * [taylor]: Taking taylor expansion of 0 in d1
0.686 * [approximate]: Taking taylor expansion of (/ (+ 5 (/ 1 d3)) d1) in (d3 d1) around 0
0.686 * [taylor]: Taking taylor expansion of (/ (+ 5 (/ 1 d3)) d1) in d1
0.686 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 d3)) in d1
0.686 * [taylor]: Taking taylor expansion of 5 in d1
0.686 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.686 * [taylor]: Taking taylor expansion of d3 in d1
0.686 * [taylor]: Taking taylor expansion of d1 in d1
0.686 * [taylor]: Taking taylor expansion of (/ (+ 5 (/ 1 d3)) d1) in d3
0.686 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 d3)) in d3
0.686 * [taylor]: Taking taylor expansion of 5 in d3
0.686 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.686 * [taylor]: Taking taylor expansion of d3 in d3
0.686 * [taylor]: Taking taylor expansion of d1 in d3
0.687 * [taylor]: Taking taylor expansion of (/ (+ 5 (/ 1 d3)) d1) in d3
0.687 * [taylor]: Taking taylor expansion of (+ 5 (/ 1 d3)) in d3
0.687 * [taylor]: Taking taylor expansion of 5 in d3
0.687 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.687 * [taylor]: Taking taylor expansion of d3 in d3
0.687 * [taylor]: Taking taylor expansion of d1 in d3
0.687 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.687 * [taylor]: Taking taylor expansion of d1 in d1
0.687 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1
0.687 * [taylor]: Taking taylor expansion of 5 in d1
0.687 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.687 * [taylor]: Taking taylor expansion of d1 in d1
0.687 * [taylor]: Taking taylor expansion of 0 in d1
0.687 * [taylor]: Taking taylor expansion of 0 in d1
0.688 * [approximate]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 d3)) d1)) in (d3 d1) around 0
0.688 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 d3)) d1)) in d1
0.688 * [taylor]: Taking taylor expansion of -1 in d1
0.688 * [taylor]: Taking taylor expansion of (/ (- 5 (/ 1 d3)) d1) in d1
0.688 * [taylor]: Taking taylor expansion of (- 5 (/ 1 d3)) in d1
0.688 * [taylor]: Taking taylor expansion of 5 in d1
0.688 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.688 * [taylor]: Taking taylor expansion of d3 in d1
0.688 * [taylor]: Taking taylor expansion of d1 in d1
0.688 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 d3)) d1)) in d3
0.688 * [taylor]: Taking taylor expansion of -1 in d3
0.688 * [taylor]: Taking taylor expansion of (/ (- 5 (/ 1 d3)) d1) in d3
0.688 * [taylor]: Taking taylor expansion of (- 5 (/ 1 d3)) in d3
0.688 * [taylor]: Taking taylor expansion of 5 in d3
0.688 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.688 * [taylor]: Taking taylor expansion of d3 in d3
0.688 * [taylor]: Taking taylor expansion of d1 in d3
0.688 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5 (/ 1 d3)) d1)) in d3
0.688 * [taylor]: Taking taylor expansion of -1 in d3
0.688 * [taylor]: Taking taylor expansion of (/ (- 5 (/ 1 d3)) d1) in d3
0.688 * [taylor]: Taking taylor expansion of (- 5 (/ 1 d3)) in d3
0.688 * [taylor]: Taking taylor expansion of 5 in d3
0.688 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.688 * [taylor]: Taking taylor expansion of d3 in d3
0.688 * [taylor]: Taking taylor expansion of d1 in d3
0.688 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.688 * [taylor]: Taking taylor expansion of d1 in d1
0.689 * [taylor]: Taking taylor expansion of (neg (* 5 (/ 1 d1))) in d1
0.689 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1
0.689 * [taylor]: Taking taylor expansion of 5 in d1
0.689 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.689 * [taylor]: Taking taylor expansion of d1 in d1
0.689 * [taylor]: Taking taylor expansion of 0 in d1
0.689 * [taylor]: Taking taylor expansion of 0 in d1
0.690 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.690 * [approximate]: Taking taylor expansion of (+ (* 5 d1) (+ (* d1 d3) (* d1 d2))) in (d1 d2 d3) around 0
0.690 * [taylor]: Taking taylor expansion of (+ (* 5 d1) (+ (* d1 d3) (* d1 d2))) in d3
0.690 * [taylor]: Taking taylor expansion of (* 5 d1) in d3
0.690 * [taylor]: Taking taylor expansion of 5 in d3
0.690 * [taylor]: Taking taylor expansion of d1 in d3
0.690 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d3
0.690 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.690 * [taylor]: Taking taylor expansion of d1 in d3
0.690 * [taylor]: Taking taylor expansion of d3 in d3
0.690 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.690 * [taylor]: Taking taylor expansion of d1 in d3
0.690 * [taylor]: Taking taylor expansion of d2 in d3
0.690 * [taylor]: Taking taylor expansion of (+ (* 5 d1) (+ (* d1 d3) (* d1 d2))) in d2
0.690 * [taylor]: Taking taylor expansion of (* 5 d1) in d2
0.690 * [taylor]: Taking taylor expansion of 5 in d2
0.690 * [taylor]: Taking taylor expansion of d1 in d2
0.690 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d2
0.690 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.690 * [taylor]: Taking taylor expansion of d1 in d2
0.690 * [taylor]: Taking taylor expansion of d3 in d2
0.690 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.690 * [taylor]: Taking taylor expansion of d1 in d2
0.690 * [taylor]: Taking taylor expansion of d2 in d2
0.690 * [taylor]: Taking taylor expansion of (+ (* 5 d1) (+ (* d1 d3) (* d1 d2))) in d1
0.690 * [taylor]: Taking taylor expansion of (* 5 d1) in d1
0.690 * [taylor]: Taking taylor expansion of 5 in d1
0.690 * [taylor]: Taking taylor expansion of d1 in d1
0.690 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1
0.690 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.690 * [taylor]: Taking taylor expansion of d1 in d1
0.690 * [taylor]: Taking taylor expansion of d3 in d1
0.690 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.690 * [taylor]: Taking taylor expansion of d1 in d1
0.690 * [taylor]: Taking taylor expansion of d2 in d1
0.690 * [taylor]: Taking taylor expansion of (+ (* 5 d1) (+ (* d1 d3) (* d1 d2))) in d1
0.690 * [taylor]: Taking taylor expansion of (* 5 d1) in d1
0.690 * [taylor]: Taking taylor expansion of 5 in d1
0.690 * [taylor]: Taking taylor expansion of d1 in d1
0.690 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1
0.691 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.691 * [taylor]: Taking taylor expansion of d1 in d1
0.691 * [taylor]: Taking taylor expansion of d3 in d1
0.691 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.691 * [taylor]: Taking taylor expansion of d1 in d1
0.691 * [taylor]: Taking taylor expansion of d2 in d1
0.691 * [taylor]: Taking taylor expansion of 0 in d2
0.691 * [taylor]: Taking taylor expansion of 0 in d3
0.691 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 5)) in d2
0.691 * [taylor]: Taking taylor expansion of d3 in d2
0.691 * [taylor]: Taking taylor expansion of (+ d2 5) in d2
0.691 * [taylor]: Taking taylor expansion of d2 in d2
0.691 * [taylor]: Taking taylor expansion of 5 in d2
0.691 * [taylor]: Taking taylor expansion of (+ d3 5) in d3
0.691 * [taylor]: Taking taylor expansion of d3 in d3
0.691 * [taylor]: Taking taylor expansion of 5 in d3
0.691 * [taylor]: Taking taylor expansion of 0 in d3
0.691 * [taylor]: Taking taylor expansion of 0 in d2
0.691 * [taylor]: Taking taylor expansion of 0 in d3
0.691 * [taylor]: Taking taylor expansion of 1 in d3
0.691 * [taylor]: Taking taylor expansion of 0 in d3
0.692 * [approximate]: Taking taylor expansion of (+ (* 5 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in (d1 d2 d3) around 0
0.692 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d3
0.692 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d3
0.692 * [taylor]: Taking taylor expansion of 5 in d3
0.692 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.692 * [taylor]: Taking taylor expansion of d1 in d3
0.692 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.692 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.692 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.692 * [taylor]: Taking taylor expansion of d1 in d3
0.692 * [taylor]: Taking taylor expansion of d3 in d3
0.692 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.692 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.692 * [taylor]: Taking taylor expansion of d1 in d3
0.692 * [taylor]: Taking taylor expansion of d2 in d3
0.692 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d2
0.692 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d2
0.692 * [taylor]: Taking taylor expansion of 5 in d2
0.692 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.692 * [taylor]: Taking taylor expansion of d1 in d2
0.692 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.692 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.692 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.692 * [taylor]: Taking taylor expansion of d1 in d2
0.692 * [taylor]: Taking taylor expansion of d3 in d2
0.692 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.692 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.692 * [taylor]: Taking taylor expansion of d1 in d2
0.692 * [taylor]: Taking taylor expansion of d2 in d2
0.692 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d1
0.692 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1
0.692 * [taylor]: Taking taylor expansion of 5 in d1
0.692 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.692 * [taylor]: Taking taylor expansion of d1 in d1
0.692 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.692 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.692 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.692 * [taylor]: Taking taylor expansion of d1 in d1
0.692 * [taylor]: Taking taylor expansion of d3 in d1
0.693 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.693 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.693 * [taylor]: Taking taylor expansion of d1 in d1
0.693 * [taylor]: Taking taylor expansion of d2 in d1
0.693 * [taylor]: Taking taylor expansion of (+ (* 5 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d1
0.693 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1
0.693 * [taylor]: Taking taylor expansion of 5 in d1
0.693 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.693 * [taylor]: Taking taylor expansion of d1 in d1
0.693 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.693 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.693 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.693 * [taylor]: Taking taylor expansion of d1 in d1
0.693 * [taylor]: Taking taylor expansion of d3 in d1
0.693 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.693 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.693 * [taylor]: Taking taylor expansion of d1 in d1
0.693 * [taylor]: Taking taylor expansion of d2 in d1
0.693 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 5)) in d2
0.693 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.693 * [taylor]: Taking taylor expansion of d2 in d2
0.693 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 5) in d2
0.693 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.693 * [taylor]: Taking taylor expansion of d3 in d2
0.693 * [taylor]: Taking taylor expansion of 5 in d2
0.693 * [taylor]: Taking taylor expansion of 1 in d3
0.694 * [taylor]: Taking taylor expansion of 0 in d2
0.694 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 5) in d3
0.694 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.694 * [taylor]: Taking taylor expansion of d3 in d3
0.694 * [taylor]: Taking taylor expansion of 5 in d3
0.694 * [taylor]: Taking taylor expansion of 0 in d2
0.694 * [taylor]: Taking taylor expansion of 0 in d3
0.694 * [taylor]: Taking taylor expansion of 0 in d3
0.695 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 5 (/ 1 d1))) in (d1 d2 d3) around 0
0.695 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 5 (/ 1 d1))) in d3
0.695 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.695 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.695 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.695 * [taylor]: Taking taylor expansion of d1 in d3
0.695 * [taylor]: Taking taylor expansion of d3 in d3
0.695 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.695 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.695 * [taylor]: Taking taylor expansion of d1 in d3
0.695 * [taylor]: Taking taylor expansion of d2 in d3
0.695 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d3
0.695 * [taylor]: Taking taylor expansion of 5 in d3
0.695 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.695 * [taylor]: Taking taylor expansion of d1 in d3
0.695 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 5 (/ 1 d1))) in d2
0.695 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.695 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.695 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.695 * [taylor]: Taking taylor expansion of d1 in d2
0.695 * [taylor]: Taking taylor expansion of d3 in d2
0.695 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.695 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.695 * [taylor]: Taking taylor expansion of d1 in d2
0.695 * [taylor]: Taking taylor expansion of d2 in d2
0.695 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d2
0.695 * [taylor]: Taking taylor expansion of 5 in d2
0.695 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.695 * [taylor]: Taking taylor expansion of d1 in d2
0.695 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 5 (/ 1 d1))) in d1
0.695 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.695 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.695 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.695 * [taylor]: Taking taylor expansion of d1 in d1
0.695 * [taylor]: Taking taylor expansion of d3 in d1
0.696 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.696 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.696 * [taylor]: Taking taylor expansion of d1 in d1
0.696 * [taylor]: Taking taylor expansion of d2 in d1
0.696 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1
0.696 * [taylor]: Taking taylor expansion of 5 in d1
0.696 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.696 * [taylor]: Taking taylor expansion of d1 in d1
0.696 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 5 (/ 1 d1))) in d1
0.696 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.696 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.696 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.696 * [taylor]: Taking taylor expansion of d1 in d1
0.696 * [taylor]: Taking taylor expansion of d3 in d1
0.696 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.696 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.696 * [taylor]: Taking taylor expansion of d1 in d1
0.696 * [taylor]: Taking taylor expansion of d2 in d1
0.696 * [taylor]: Taking taylor expansion of (* 5 (/ 1 d1)) in d1
0.696 * [taylor]: Taking taylor expansion of 5 in d1
0.696 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.696 * [taylor]: Taking taylor expansion of d1 in d1
0.696 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d3)) 5) in d2
0.696 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.696 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.696 * [taylor]: Taking taylor expansion of d2 in d2
0.696 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.696 * [taylor]: Taking taylor expansion of d3 in d2
0.696 * [taylor]: Taking taylor expansion of 5 in d2
0.696 * [taylor]: Taking taylor expansion of 1 in d3
0.697 * [taylor]: Taking taylor expansion of 0 in d2
0.697 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 5) in d3
0.697 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.697 * [taylor]: Taking taylor expansion of d3 in d3
0.697 * [taylor]: Taking taylor expansion of 5 in d3
0.697 * [taylor]: Taking taylor expansion of 0 in d2
0.697 * [taylor]: Taking taylor expansion of 0 in d3
0.697 * [taylor]: Taking taylor expansion of 0 in d3
0.698 * * * [progress]: simplifying candidates
0.698 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 (exp.f64 (*.f64 d1 d2)) (exp.f64 (*.f64 (+.f64 d3 5) d1))) (exp.f64 (*.f64 d1 32)))
  (*.f64 (exp.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1))) (exp.f64 (*.f64 d1 32)))
  (log.f64 (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))
  (exp.f64 (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))
  (*.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))) (cbrt.f64 (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))))
  (cbrt.f64 (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))
  (*.f64 (*.f64 (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)) (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))) (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))
  (sqrt.f64 (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))
  (sqrt.f64 (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32)))
  (+.f64 (pow.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) 3) (pow.f64 (*.f64 d1 32) 3))
  (+.f64 (*.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1))) (-.f64 (*.f64 (*.f64 d1 32) (*.f64 d1 32)) (*.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))))
  (-.f64 (*.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1))) (*.f64 (*.f64 d1 32) (*.f64 d1 32)))
  (-.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
  (+.f64 (*.f64 (+.f64 d3 5) d1) (*.f64 d1 32))
  (*.f64 (+.f64 d3 5) d1)
  (+.f64 (log.f64 (+.f64 d3 5)) (log.f64 d1))
  (log.f64 (*.f64 (+.f64 d3 5) d1))
  (exp.f64 (*.f64 (+.f64 d3 5) d1))
  (*.f64 (*.f64 (*.f64 (+.f64 d3 5) (+.f64 d3 5)) (+.f64 d3 5)) (*.f64 (*.f64 d1 d1) d1))
  (*.f64 (cbrt.f64 (*.f64 (+.f64 d3 5) d1)) (cbrt.f64 (*.f64 (+.f64 d3 5) d1)))
  (cbrt.f64 (*.f64 (+.f64 d3 5) d1))
  (*.f64 (*.f64 (*.f64 (+.f64 d3 5) d1) (*.f64 (+.f64 d3 5) d1)) (*.f64 (+.f64 d3 5) d1))
  (sqrt.f64 (*.f64 (+.f64 d3 5) d1))
  (sqrt.f64 (*.f64 (+.f64 d3 5) d1))
  (*.f64 (sqrt.f64 (+.f64 d3 5)) (sqrt.f64 d1))
  (*.f64 (sqrt.f64 (+.f64 d3 5)) (sqrt.f64 d1))
  (*.f64 (+.f64 d3 5) (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)))
  (*.f64 (+.f64 d3 5) (sqrt.f64 d1))
  (*.f64 (+.f64 d3 5) 1)
  (*.f64 (cbrt.f64 (+.f64 d3 5)) d1)
  (*.f64 (sqrt.f64 (+.f64 d3 5)) d1)
  (*.f64 (+.f64 d3 5) d1)
  (*.f64 (+.f64 d3 5) d1)
  (*.f64 (+.f64 (pow.f64 d3 3) (pow.f64 5 3)) d1)
  (*.f64 (-.f64 (*.f64 d3 d3) (*.f64 5 5)) d1)
  (*.f64 (exp.f64 (*.f64 d1 d2)) (exp.f64 (*.f64 (+.f64 d3 5) d1)))
  (log.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)))
  (exp.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1))) (cbrt.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1))))
  (cbrt.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)))
  (*.f64 (*.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1))) (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)))
  (sqrt.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)))
  (sqrt.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)))
  (+.f64 (pow.f64 (*.f64 d1 d2) 3) (pow.f64 (*.f64 (+.f64 d3 5) d1) 3))
  (+.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (-.f64 (*.f64 (*.f64 (+.f64 d3 5) d1) (*.f64 (+.f64 d3 5) d1)) (*.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1))))
  (-.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (*.f64 (*.f64 (+.f64 d3 5) d1) (*.f64 (+.f64 d3 5) d1)))
  (-.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)))
  (+.f64 (*.f64 5 d1) (*.f64 d1 d3))
  (+.f64 (*.f64 5 d1) (*.f64 d1 d3))
  (+.f64 (*.f64 5 d1) (*.f64 d1 d3))
  (+.f64 (*.f64 5 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)))
  (+.f64 (*.f64 5 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)))
  (+.f64 (*.f64 5 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)))
0.755 * * [simplify]: iteration  0 :  5386  enodes  (cost  688 )
0.759 * [simplify]: Simplified to:
   (pow.f64 (exp.f64 d1) (+.f64 d2 (+.f64 d3 37)))
  (pow.f64 (exp.f64 d1) (+.f64 d2 (+.f64 d3 37)))
  (log.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (pow.f64 (exp.f64 d1) (+.f64 d2 (+.f64 d3 37)))
  (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))) (cbrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))))
  (cbrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (pow.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 3)
  (sqrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (sqrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (+.f64 (pow.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 5))) 3) (pow.f64 (*.f64 d1 32) 3))
  (+.f64 (*.f64 d1 (*.f64 d1 1024)) (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 5))) (*.f64 d1 (+.f64 d2 (+.f64 d3 -27)))))
  (*.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) (*.f64 d1 (+.f64 d2 (+.f64 d3 -27))))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 -27)))
  (*.f64 d1 (+.f64 d3 37))
  (*.f64 d1 (+.f64 d3 5))
  (log.f64 (*.f64 d1 (+.f64 d3 5)))
  (log.f64 (*.f64 d1 (+.f64 d3 5)))
  (exp.f64 (*.f64 d1 (+.f64 d3 5)))
  (pow.f64 (*.f64 d1 (+.f64 d3 5)) 3)
  (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d3 5))) (cbrt.f64 (*.f64 d1 (+.f64 d3 5))))
  (cbrt.f64 (*.f64 d1 (+.f64 d3 5)))
  (pow.f64 (*.f64 d1 (+.f64 d3 5)) 3)
  (sqrt.f64 (*.f64 d1 (+.f64 d3 5)))
  (sqrt.f64 (*.f64 d1 (+.f64 d3 5)))
  (*.f64 (sqrt.f64 (+.f64 d3 5)) (sqrt.f64 d1))
  (*.f64 (sqrt.f64 (+.f64 d3 5)) (sqrt.f64 d1))
  (*.f64 (+.f64 d3 5) (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)))
  (*.f64 (+.f64 d3 5) (sqrt.f64 d1))
  (+.f64 d3 5)
  (*.f64 d1 (cbrt.f64 (+.f64 d3 5)))
  (*.f64 d1 (sqrt.f64 (+.f64 d3 5)))
  (*.f64 d1 (+.f64 d3 5))
  (*.f64 d1 (+.f64 d3 5))
  (*.f64 d1 (+.f64 (pow.f64 d3 3) 125))
  (*.f64 d1 (-.f64 (*.f64 d3 d3) 25))
  (pow.f64 (exp.f64 d1) (+.f64 d2 (+.f64 d3 5)))
  (log.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 5))))
  (pow.f64 (exp.f64 d1) (+.f64 d2 (+.f64 d3 5)))
  (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 5)))) (cbrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 5)))))
  (cbrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 5))))
  (pow.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 5))) 3)
  (sqrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 5))))
  (sqrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 5))))
  (+.f64 (pow.f64 (*.f64 d1 (+.f64 d3 5)) 3) (pow.f64 (*.f64 d1 d2) 3))
  (*.f64 d1 (+.f64 (*.f64 d1 (*.f64 d2 d2)) (*.f64 (*.f64 d1 (+.f64 d3 5)) (-.f64 (+.f64 d3 5) d2))))
  (*.f64 (*.f64 d1 d1) (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 5) (+.f64 d3 5))))
  (*.f64 d1 (-.f64 d2 (+.f64 d3 5)))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
  (*.f64 d1 (+.f64 d3 5))
  (*.f64 d1 (+.f64 d3 5))
  (*.f64 d1 (+.f64 d3 5))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 5)))
0.760 * * * [progress]: adding candidates to table
0.795 * * [progress]: iteration 4 / 4
0.795 * * * [progress]: picking best candidate
0.799 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))>
0.800 * * * [progress]: localizing error
0.807 * * * [progress]: generating rewritten candidates
0.807 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.817 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.837 * * * [progress]: generating series expansions
0.837 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.838 * [approximate]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 37)))) in (d1 d2 d3) around 0
0.838 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 37)))) in d3
0.838 * [taylor]: Taking taylor expansion of d1 in d3
0.838 * [taylor]: Taking taylor expansion of (sqrt (+ d3 (+ d2 37))) in d3
0.838 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d3
0.838 * [taylor]: Taking taylor expansion of d3 in d3
0.838 * [taylor]: Taking taylor expansion of (+ d2 37) in d3
0.838 * [taylor]: Taking taylor expansion of d2 in d3
0.838 * [taylor]: Taking taylor expansion of 37 in d3
0.838 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 37)))) in d2
0.838 * [taylor]: Taking taylor expansion of d1 in d2
0.838 * [taylor]: Taking taylor expansion of (sqrt (+ d3 (+ d2 37))) in d2
0.838 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d2
0.838 * [taylor]: Taking taylor expansion of d3 in d2
0.838 * [taylor]: Taking taylor expansion of (+ d2 37) in d2
0.838 * [taylor]: Taking taylor expansion of d2 in d2
0.838 * [taylor]: Taking taylor expansion of 37 in d2
0.838 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 37)))) in d1
0.838 * [taylor]: Taking taylor expansion of d1 in d1
0.838 * [taylor]: Taking taylor expansion of (sqrt (+ d3 (+ d2 37))) in d1
0.838 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d1
0.838 * [taylor]: Taking taylor expansion of d3 in d1
0.838 * [taylor]: Taking taylor expansion of (+ d2 37) in d1
0.838 * [taylor]: Taking taylor expansion of d2 in d1
0.838 * [taylor]: Taking taylor expansion of 37 in d1
0.838 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 37)))) in d1
0.838 * [taylor]: Taking taylor expansion of d1 in d1
0.838 * [taylor]: Taking taylor expansion of (sqrt (+ d3 (+ d2 37))) in d1
0.838 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d1
0.838 * [taylor]: Taking taylor expansion of d3 in d1
0.838 * [taylor]: Taking taylor expansion of (+ d2 37) in d1
0.838 * [taylor]: Taking taylor expansion of d2 in d1
0.838 * [taylor]: Taking taylor expansion of 37 in d1
0.839 * [taylor]: Taking taylor expansion of 0 in d2
0.839 * [taylor]: Taking taylor expansion of 0 in d3
0.839 * [taylor]: Taking taylor expansion of (sqrt (+ d3 (+ d2 37))) in d2
0.839 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d2
0.839 * [taylor]: Taking taylor expansion of d3 in d2
0.839 * [taylor]: Taking taylor expansion of (+ d2 37) in d2
0.839 * [taylor]: Taking taylor expansion of d2 in d2
0.839 * [taylor]: Taking taylor expansion of 37 in d2
0.839 * [taylor]: Taking taylor expansion of (sqrt (+ d3 37)) in d3
0.839 * [taylor]: Taking taylor expansion of (+ d3 37) in d3
0.839 * [taylor]: Taking taylor expansion of d3 in d3
0.839 * [taylor]: Taking taylor expansion of 37 in d3
0.839 * [taylor]: Taking taylor expansion of 0 in d3
0.839 * [taylor]: Taking taylor expansion of 0 in d2
0.839 * [taylor]: Taking taylor expansion of 0 in d3
0.839 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ 1 (+ d3 37)))) in d3
0.839 * [taylor]: Taking taylor expansion of 1/2 in d3
0.839 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ d3 37))) in d3
0.839 * [taylor]: Taking taylor expansion of (/ 1 (+ d3 37)) in d3
0.839 * [taylor]: Taking taylor expansion of (+ d3 37) in d3
0.839 * [taylor]: Taking taylor expansion of d3 in d3
0.839 * [taylor]: Taking taylor expansion of 37 in d3
0.840 * [taylor]: Taking taylor expansion of 0 in d3
0.840 * [approximate]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ (/ 1 d2) (+ (/ 1 d3) 37)))) in (d1 d2 d3) around 0
0.840 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ (/ 1 d2) (+ (/ 1 d3) 37)))) in d3
0.840 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.840 * [taylor]: Taking taylor expansion of d1 in d3
0.840 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) (+ (/ 1 d3) 37))) in d3
0.840 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d3
0.840 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.840 * [taylor]: Taking taylor expansion of d2 in d3
0.840 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d3
0.840 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.840 * [taylor]: Taking taylor expansion of d3 in d3
0.840 * [taylor]: Taking taylor expansion of 37 in d3
0.841 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ (/ 1 d2) (+ (/ 1 d3) 37)))) in d2
0.841 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.841 * [taylor]: Taking taylor expansion of d1 in d2
0.841 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) (+ (/ 1 d3) 37))) in d2
0.841 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d2
0.841 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.841 * [taylor]: Taking taylor expansion of d2 in d2
0.841 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d2
0.841 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.841 * [taylor]: Taking taylor expansion of d3 in d2
0.841 * [taylor]: Taking taylor expansion of 37 in d2
0.841 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ (/ 1 d2) (+ (/ 1 d3) 37)))) in d1
0.841 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.841 * [taylor]: Taking taylor expansion of d1 in d1
0.841 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) (+ (/ 1 d3) 37))) in d1
0.841 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d1
0.841 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.841 * [taylor]: Taking taylor expansion of d2 in d1
0.841 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d1
0.841 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.841 * [taylor]: Taking taylor expansion of d3 in d1
0.841 * [taylor]: Taking taylor expansion of 37 in d1
0.841 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ (/ 1 d2) (+ (/ 1 d3) 37)))) in d1
0.841 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.841 * [taylor]: Taking taylor expansion of d1 in d1
0.841 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) (+ (/ 1 d3) 37))) in d1
0.842 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d1
0.842 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.842 * [taylor]: Taking taylor expansion of d2 in d1
0.842 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d1
0.842 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.842 * [taylor]: Taking taylor expansion of d3 in d1
0.842 * [taylor]: Taking taylor expansion of 37 in d1
0.842 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) (+ (/ 1 d3) 37))) in d2
0.842 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d2
0.842 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.842 * [taylor]: Taking taylor expansion of d2 in d2
0.842 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d2
0.842 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.842 * [taylor]: Taking taylor expansion of d3 in d2
0.842 * [taylor]: Taking taylor expansion of 37 in d2
0.842 * [taylor]: Taking taylor expansion of 0 in d3
0.842 * [taylor]: Taking taylor expansion of 0 in d2
0.842 * [taylor]: Taking taylor expansion of NAN in d3
0.843 * [taylor]: Taking taylor expansion of 0 in d2
0.843 * [taylor]: Taking taylor expansion of 0 in d3
0.843 * [taylor]: Taking taylor expansion of (* NAN (- (+ (/ 1 d3) 37) (pow NAN 2))) in d3
0.843 * [taylor]: Taking taylor expansion of NAN in d3
0.843 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d3) 37) (pow NAN 2)) in d3
0.843 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d3
0.843 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.843 * [taylor]: Taking taylor expansion of d3 in d3
0.843 * [taylor]: Taking taylor expansion of 37 in d3
0.843 * [taylor]: Taking taylor expansion of (pow NAN 2) in d3
0.843 * [taylor]: Taking taylor expansion of NAN in d3
0.844 * [taylor]: Taking taylor expansion of 0 in d2
0.844 * [taylor]: Taking taylor expansion of 0 in d3
0.844 * [taylor]: Taking taylor expansion of 0 in d3
0.844 * [taylor]: Taking taylor expansion of (* NAN (- (* 2 (pow NAN 4)) (+ (* 74 (pow NAN 2)) (* 2 (/ (pow NAN 2) d3))))) in d3
0.844 * [taylor]: Taking taylor expansion of NAN in d3
0.844 * [taylor]: Taking taylor expansion of (- (* 2 (pow NAN 4)) (+ (* 74 (pow NAN 2)) (* 2 (/ (pow NAN 2) d3)))) in d3
0.844 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 4)) in d3
0.844 * [taylor]: Taking taylor expansion of 2 in d3
0.844 * [taylor]: Taking taylor expansion of (pow NAN 4) in d3
0.844 * [taylor]: Taking taylor expansion of NAN in d3
0.844 * [taylor]: Taking taylor expansion of (+ (* 74 (pow NAN 2)) (* 2 (/ (pow NAN 2) d3))) in d3
0.845 * [taylor]: Taking taylor expansion of (* 74 (pow NAN 2)) in d3
0.845 * [taylor]: Taking taylor expansion of 74 in d3
0.845 * [taylor]: Taking taylor expansion of (pow NAN 2) in d3
0.845 * [taylor]: Taking taylor expansion of NAN in d3
0.845 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) d3)) in d3
0.845 * [taylor]: Taking taylor expansion of 2 in d3
0.845 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) d3) in d3
0.845 * [taylor]: Taking taylor expansion of (pow NAN 2) in d3
0.845 * [taylor]: Taking taylor expansion of NAN in d3
0.845 * [taylor]: Taking taylor expansion of d3 in d3
0.846 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37 (+ (/ 1 d2) (/ 1 d3)))))) in (d1 d2 d3) around 0
0.846 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37 (+ (/ 1 d2) (/ 1 d3)))))) in d3
0.846 * [taylor]: Taking taylor expansion of -1 in d3
0.846 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (- 37 (+ (/ 1 d2) (/ 1 d3))))) in d3
0.846 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.846 * [taylor]: Taking taylor expansion of d1 in d3
0.846 * [taylor]: Taking taylor expansion of (sqrt (- 37 (+ (/ 1 d2) (/ 1 d3)))) in d3
0.846 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d3
0.846 * [taylor]: Taking taylor expansion of 37 in d3
0.846 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.846 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.846 * [taylor]: Taking taylor expansion of d2 in d3
0.846 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.846 * [taylor]: Taking taylor expansion of d3 in d3
0.846 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37 (+ (/ 1 d2) (/ 1 d3)))))) in d2
0.846 * [taylor]: Taking taylor expansion of -1 in d2
0.846 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (- 37 (+ (/ 1 d2) (/ 1 d3))))) in d2
0.846 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.846 * [taylor]: Taking taylor expansion of d1 in d2
0.846 * [taylor]: Taking taylor expansion of (sqrt (- 37 (+ (/ 1 d2) (/ 1 d3)))) in d2
0.846 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d2
0.846 * [taylor]: Taking taylor expansion of 37 in d2
0.846 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.846 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.846 * [taylor]: Taking taylor expansion of d2 in d2
0.846 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.846 * [taylor]: Taking taylor expansion of d3 in d2
0.846 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37 (+ (/ 1 d2) (/ 1 d3)))))) in d1
0.847 * [taylor]: Taking taylor expansion of -1 in d1
0.847 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (- 37 (+ (/ 1 d2) (/ 1 d3))))) in d1
0.847 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.847 * [taylor]: Taking taylor expansion of d1 in d1
0.847 * [taylor]: Taking taylor expansion of (sqrt (- 37 (+ (/ 1 d2) (/ 1 d3)))) in d1
0.847 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d1
0.847 * [taylor]: Taking taylor expansion of 37 in d1
0.847 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.847 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.847 * [taylor]: Taking taylor expansion of d2 in d1
0.847 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.847 * [taylor]: Taking taylor expansion of d3 in d1
0.847 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37 (+ (/ 1 d2) (/ 1 d3)))))) in d1
0.847 * [taylor]: Taking taylor expansion of -1 in d1
0.847 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (- 37 (+ (/ 1 d2) (/ 1 d3))))) in d1
0.847 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.847 * [taylor]: Taking taylor expansion of d1 in d1
0.847 * [taylor]: Taking taylor expansion of (sqrt (- 37 (+ (/ 1 d2) (/ 1 d3)))) in d1
0.847 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d1
0.847 * [taylor]: Taking taylor expansion of 37 in d1
0.847 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.847 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.847 * [taylor]: Taking taylor expansion of d2 in d1
0.847 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.847 * [taylor]: Taking taylor expansion of d3 in d1
0.848 * [taylor]: Taking taylor expansion of (* -1 (sqrt (- 37 (+ (/ 1 d2) (/ 1 d3))))) in d2
0.848 * [taylor]: Taking taylor expansion of -1 in d2
0.848 * [taylor]: Taking taylor expansion of (sqrt (- 37 (+ (/ 1 d2) (/ 1 d3)))) in d2
0.848 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d2
0.848 * [taylor]: Taking taylor expansion of 37 in d2
0.848 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.848 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.848 * [taylor]: Taking taylor expansion of d2 in d2
0.848 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.848 * [taylor]: Taking taylor expansion of d3 in d2
0.848 * [taylor]: Taking taylor expansion of 0 in d3
0.848 * [taylor]: Taking taylor expansion of 0 in d2
0.849 * [taylor]: Taking taylor expansion of (neg NAN) in d3
0.849 * [taylor]: Taking taylor expansion of NAN in d3
0.849 * [taylor]: Taking taylor expansion of 0 in d2
0.849 * [taylor]: Taking taylor expansion of 0 in d3
0.850 * [taylor]: Taking taylor expansion of (- (+ (/ NAN d3) (pow NAN 3)) (* 37 NAN)) in d3
0.850 * [taylor]: Taking taylor expansion of (+ (/ NAN d3) (pow NAN 3)) in d3
0.850 * [taylor]: Taking taylor expansion of (/ NAN d3) in d3
0.850 * [taylor]: Taking taylor expansion of NAN in d3
0.850 * [taylor]: Taking taylor expansion of d3 in d3
0.850 * [taylor]: Taking taylor expansion of (pow NAN 3) in d3
0.850 * [taylor]: Taking taylor expansion of NAN in d3
0.850 * [taylor]: Taking taylor expansion of (* 37 NAN) in d3
0.850 * [taylor]: Taking taylor expansion of 37 in d3
0.850 * [taylor]: Taking taylor expansion of NAN in d3
0.850 * [taylor]: Taking taylor expansion of 0 in d2
0.850 * [taylor]: Taking taylor expansion of 0 in d3
0.850 * [taylor]: Taking taylor expansion of 0 in d3
0.851 * [taylor]: Taking taylor expansion of (- (* 74 (pow NAN 3)) (+ (* 2 (/ (pow NAN 3) d3)) (* 2 (pow NAN 5)))) in d3
0.851 * [taylor]: Taking taylor expansion of (* 74 (pow NAN 3)) in d3
0.851 * [taylor]: Taking taylor expansion of 74 in d3
0.851 * [taylor]: Taking taylor expansion of (pow NAN 3) in d3
0.851 * [taylor]: Taking taylor expansion of NAN in d3
0.851 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (pow NAN 3) d3)) (* 2 (pow NAN 5))) in d3
0.852 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 3) d3)) in d3
0.852 * [taylor]: Taking taylor expansion of 2 in d3
0.852 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) d3) in d3
0.852 * [taylor]: Taking taylor expansion of (pow NAN 3) in d3
0.852 * [taylor]: Taking taylor expansion of NAN in d3
0.852 * [taylor]: Taking taylor expansion of d3 in d3
0.852 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 5)) in d3
0.852 * [taylor]: Taking taylor expansion of 2 in d3
0.852 * [taylor]: Taking taylor expansion of (pow NAN 5) in d3
0.852 * [taylor]: Taking taylor expansion of NAN in d3
0.853 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.853 * [approximate]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37))) in (d1 d2 d3) around 0
0.853 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37))) in d3
0.853 * [taylor]: Taking taylor expansion of d1 in d3
0.853 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d3
0.853 * [taylor]: Taking taylor expansion of d3 in d3
0.853 * [taylor]: Taking taylor expansion of (+ d2 37) in d3
0.853 * [taylor]: Taking taylor expansion of d2 in d3
0.853 * [taylor]: Taking taylor expansion of 37 in d3
0.853 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37))) in d2
0.853 * [taylor]: Taking taylor expansion of d1 in d2
0.853 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d2
0.853 * [taylor]: Taking taylor expansion of d3 in d2
0.853 * [taylor]: Taking taylor expansion of (+ d2 37) in d2
0.853 * [taylor]: Taking taylor expansion of d2 in d2
0.853 * [taylor]: Taking taylor expansion of 37 in d2
0.853 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37))) in d1
0.853 * [taylor]: Taking taylor expansion of d1 in d1
0.853 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d1
0.853 * [taylor]: Taking taylor expansion of d3 in d1
0.853 * [taylor]: Taking taylor expansion of (+ d2 37) in d1
0.853 * [taylor]: Taking taylor expansion of d2 in d1
0.853 * [taylor]: Taking taylor expansion of 37 in d1
0.853 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37))) in d1
0.853 * [taylor]: Taking taylor expansion of d1 in d1
0.853 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d1
0.853 * [taylor]: Taking taylor expansion of d3 in d1
0.853 * [taylor]: Taking taylor expansion of (+ d2 37) in d1
0.853 * [taylor]: Taking taylor expansion of d2 in d1
0.853 * [taylor]: Taking taylor expansion of 37 in d1
0.853 * [taylor]: Taking taylor expansion of 0 in d2
0.854 * [taylor]: Taking taylor expansion of 0 in d3
0.854 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d2
0.854 * [taylor]: Taking taylor expansion of d3 in d2
0.854 * [taylor]: Taking taylor expansion of (+ d2 37) in d2
0.854 * [taylor]: Taking taylor expansion of d2 in d2
0.854 * [taylor]: Taking taylor expansion of 37 in d2
0.854 * [taylor]: Taking taylor expansion of (+ d3 37) in d3
0.854 * [taylor]: Taking taylor expansion of d3 in d3
0.854 * [taylor]: Taking taylor expansion of 37 in d3
0.854 * [taylor]: Taking taylor expansion of 0 in d3
0.854 * [taylor]: Taking taylor expansion of 0 in d2
0.854 * [taylor]: Taking taylor expansion of 0 in d3
0.854 * [taylor]: Taking taylor expansion of 1 in d3
0.854 * [taylor]: Taking taylor expansion of 0 in d3
0.854 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ (/ 1 d3) 37)) d1) in (d1 d2 d3) around 0
0.854 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ (/ 1 d3) 37)) d1) in d3
0.854 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d3
0.854 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.854 * [taylor]: Taking taylor expansion of d2 in d3
0.854 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d3
0.854 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.855 * [taylor]: Taking taylor expansion of d3 in d3
0.855 * [taylor]: Taking taylor expansion of 37 in d3
0.855 * [taylor]: Taking taylor expansion of d1 in d3
0.855 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ (/ 1 d3) 37)) d1) in d2
0.855 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d2
0.855 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.855 * [taylor]: Taking taylor expansion of d2 in d2
0.855 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d2
0.855 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.855 * [taylor]: Taking taylor expansion of d3 in d2
0.855 * [taylor]: Taking taylor expansion of 37 in d2
0.855 * [taylor]: Taking taylor expansion of d1 in d2
0.855 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ (/ 1 d3) 37)) d1) in d1
0.855 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d1
0.855 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.855 * [taylor]: Taking taylor expansion of d2 in d1
0.855 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d1
0.855 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.855 * [taylor]: Taking taylor expansion of d3 in d1
0.855 * [taylor]: Taking taylor expansion of 37 in d1
0.855 * [taylor]: Taking taylor expansion of d1 in d1
0.855 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ (/ 1 d3) 37)) d1) in d1
0.855 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d1
0.855 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.855 * [taylor]: Taking taylor expansion of d2 in d1
0.855 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d1
0.855 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.855 * [taylor]: Taking taylor expansion of d3 in d1
0.856 * [taylor]: Taking taylor expansion of 37 in d1
0.856 * [taylor]: Taking taylor expansion of d1 in d1
0.856 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d2
0.856 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.856 * [taylor]: Taking taylor expansion of d2 in d2
0.856 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d2
0.856 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.856 * [taylor]: Taking taylor expansion of d3 in d2
0.856 * [taylor]: Taking taylor expansion of 37 in d2
0.856 * [taylor]: Taking taylor expansion of 1 in d3
0.856 * [taylor]: Taking taylor expansion of 0 in d2
0.856 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d3
0.856 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.856 * [taylor]: Taking taylor expansion of d3 in d3
0.856 * [taylor]: Taking taylor expansion of 37 in d3
0.857 * [taylor]: Taking taylor expansion of 0 in d2
0.857 * [taylor]: Taking taylor expansion of 0 in d3
0.857 * [taylor]: Taking taylor expansion of 0 in d3
0.857 * [approximate]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in (d1 d2 d3) around 0
0.857 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
0.857 * [taylor]: Taking taylor expansion of -1 in d3
0.857 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
0.857 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d3
0.857 * [taylor]: Taking taylor expansion of 37 in d3
0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.857 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.857 * [taylor]: Taking taylor expansion of d2 in d3
0.857 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.857 * [taylor]: Taking taylor expansion of d3 in d3
0.857 * [taylor]: Taking taylor expansion of d1 in d3
0.858 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2
0.858 * [taylor]: Taking taylor expansion of -1 in d2
0.858 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
0.858 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d2
0.858 * [taylor]: Taking taylor expansion of 37 in d2
0.858 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.858 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.858 * [taylor]: Taking taylor expansion of d2 in d2
0.858 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.858 * [taylor]: Taking taylor expansion of d3 in d2
0.858 * [taylor]: Taking taylor expansion of d1 in d2
0.858 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1
0.858 * [taylor]: Taking taylor expansion of -1 in d1
0.858 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
0.858 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d1
0.858 * [taylor]: Taking taylor expansion of 37 in d1
0.858 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.858 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.858 * [taylor]: Taking taylor expansion of d2 in d1
0.858 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.858 * [taylor]: Taking taylor expansion of d3 in d1
0.858 * [taylor]: Taking taylor expansion of d1 in d1
0.858 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1
0.858 * [taylor]: Taking taylor expansion of -1 in d1
0.858 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
0.858 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d1
0.858 * [taylor]: Taking taylor expansion of 37 in d1
0.858 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.858 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.858 * [taylor]: Taking taylor expansion of d2 in d1
0.858 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.858 * [taylor]: Taking taylor expansion of d3 in d1
0.858 * [taylor]: Taking taylor expansion of d1 in d1
0.859 * [taylor]: Taking taylor expansion of (* -1 (- 37 (+ (/ 1 d2) (/ 1 d3)))) in d2
0.859 * [taylor]: Taking taylor expansion of -1 in d2
0.859 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d2
0.859 * [taylor]: Taking taylor expansion of 37 in d2
0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.859 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.859 * [taylor]: Taking taylor expansion of d2 in d2
0.859 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.859 * [taylor]: Taking taylor expansion of d3 in d2
0.859 * [taylor]: Taking taylor expansion of 1 in d3
0.859 * [taylor]: Taking taylor expansion of 0 in d2
0.859 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 37) in d3
0.859 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.859 * [taylor]: Taking taylor expansion of d3 in d3
0.859 * [taylor]: Taking taylor expansion of 37 in d3
0.860 * [taylor]: Taking taylor expansion of 0 in d2
0.860 * [taylor]: Taking taylor expansion of 0 in d3
0.860 * [taylor]: Taking taylor expansion of 0 in d3
0.860 * * * [progress]: simplifying candidates
0.861 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (+.f64 (log.f64 d1) (log.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (log.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (exp.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 (*.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (cbrt.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))) (cbrt.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))))
  (cbrt.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))) (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (sqrt.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (sqrt.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 d1 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (cbrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))))
  (*.f64 d1 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 d2 (+.f64 d3 37))) (cbrt.f64 (+.f64 d2 (+.f64 d3 37))))))
  (*.f64 d1 (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 d1 (sqrt.f64 1))
  (*.f64 d1 (sqrt.f64 1))
  (*.f64 d1 (sqrt.f64 1))
  (*.f64 d1 (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 d1 1)
  (*.f64 (cbrt.f64 d1) (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 d1 (sqrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 (+.f64 d3 37) 3))))
  (*.f64 d1 (sqrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37)))))
  (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (+.f64 (+.f64 (log.f64 d1) (log.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))) (log.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (+.f64 (log.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))) (log.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (log.f64 (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (exp.f64 (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 (*.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))) (*.f64 (*.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (*.f64 (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))) (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))) (*.f64 (*.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))) (cbrt.f64 (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))))
  (cbrt.f64 (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (*.f64 (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))) (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (sqrt.f64 (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (sqrt.f64 (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 (+.f64 d3 37) 3)))) (sqrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 (+.f64 d3 37) 3))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 d2 d2) (-.f64 (*.f64 (+.f64 d3 37) (+.f64 d3 37)) (*.f64 d2 (+.f64 d3 37))))) (sqrt.f64 (+.f64 (*.f64 d2 d2) (-.f64 (*.f64 (+.f64 d3 37) (+.f64 d3 37)) (*.f64 d2 (+.f64 d3 37))))))
  (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 (+.f64 d3 37) 3)))) (sqrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37)))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 d2 d2) (-.f64 (*.f64 (+.f64 d3 37) (+.f64 d3 37)) (*.f64 d2 (+.f64 d3 37))))) (sqrt.f64 (-.f64 d2 (+.f64 d3 37))))
  (*.f64 (*.f64 d1 (sqrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37))))) (sqrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 (+.f64 d3 37) 3))))
  (*.f64 (sqrt.f64 (-.f64 d2 (+.f64 d3 37))) (sqrt.f64 (+.f64 (*.f64 d2 d2) (-.f64 (*.f64 (+.f64 d3 37) (+.f64 d3 37)) (*.f64 d2 (+.f64 d3 37))))))
  (*.f64 (*.f64 d1 (sqrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37))))) (sqrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37)))))
  (*.f64 (sqrt.f64 (-.f64 d2 (+.f64 d3 37))) (sqrt.f64 (-.f64 d2 (+.f64 d3 37))))
  (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (cbrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))))
  (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 d2 (+.f64 d3 37))) (cbrt.f64 (+.f64 d2 (+.f64 d3 37))))))
  (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 1))
  (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 1))
  (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 1))
  (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) 1)
  (*.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 (+.f64 d3 37) 3))))
  (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (sqrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37)))))
  (*.f64 (*.f64 d1 (sqrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 (+.f64 d3 37) 3)))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 (*.f64 d1 (sqrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37))))) (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (+.f64 (*.f64 1/2 (/.f64 (*.f64 d1 d3) (sqrt.f64 37))) (+.f64 (*.f64 d1 (sqrt.f64 37)) (*.f64 1/2 (*.f64 (sqrt.f64 1/37) (*.f64 d2 d1)))))
  (-.f64 (+.f64 (/.f64 (*.f64 d1 (*.f64 d3 NAN.f64)) d2) (*.f64 d1 NAN.f64)) (*.f64 2 (/.f64 (*.f64 d1 (*.f64 d3 (pow.f64 NAN.f64 3))) (pow.f64 d2 2))))
  (-.f64 (*.f64 d1 NAN.f64) (+.f64 (/.f64 (*.f64 d1 (*.f64 d3 NAN.f64)) d2) (*.f64 2 (/.f64 (*.f64 d1 (*.f64 d3 (pow.f64 NAN.f64 3))) (pow.f64 d2 2)))))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)))
  (+.f64 (*.f64 37 d1) (+.f64 (*.f64 d1 d3) (*.f64 d1 d2)))
0.913 * * [simplify]: iteration  0 :  5116  enodes  (cost  1152 )
0.919 * [simplify]: Simplified to:
   (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (log.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (log.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (exp.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (pow.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) 3)
  (*.f64 (cbrt.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))) (cbrt.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))))
  (cbrt.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (pow.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) 3)
  (sqrt.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (sqrt.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 d1 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (cbrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))))
  (*.f64 d1 (fabs.f64 (cbrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  (*.f64 d1 (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  d1
  d1
  d1
  (*.f64 d1 (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))
  d1
  (*.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))) (cbrt.f64 d1))
  (*.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))) (sqrt.f64 d1))
  (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 d1 (sqrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 (+.f64 d3 37) 3))))
  (*.f64 d1 (sqrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37)))))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
  (log.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (log.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (log.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (exp.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (pow.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 3)
  (pow.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 3)
  (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))) (cbrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))))
  (cbrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (pow.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))) 3)
  (sqrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (sqrt.f64 (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 d1 (+.f64 (pow.f64 d2 3) (pow.f64 (+.f64 d3 37) 3)))
  (+.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (-.f64 (+.f64 d3 37) d2)))
  (*.f64 (sqrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 (+.f64 d3 37) 3))) (*.f64 d1 (sqrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37))))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (-.f64 (+.f64 d3 37) d2)))) (sqrt.f64 (-.f64 d2 (+.f64 d3 37))))
  (*.f64 (sqrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 (+.f64 d3 37) 3))) (*.f64 d1 (sqrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37))))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (-.f64 (+.f64 d3 37) d2)))) (sqrt.f64 (-.f64 d2 (+.f64 d3 37))))
  (*.f64 d1 (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37))))
  (-.f64 d2 (+.f64 d3 37))
  (*.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))) (*.f64 d1 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))) (cbrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37)))))))
  (*.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))) (*.f64 d1 (fabs.f64 (cbrt.f64 (+.f64 d2 (+.f64 d3 37))))))
  (*.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))) (*.f64 d1 (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))))
  (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (*.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))) (*.f64 d1 (sqrt.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))))
  (*.f64 d1 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))))
  (+.f64 d2 (+.f64 d3 37))
  (*.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))) (*.f64 d1 (sqrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 (+.f64 d3 37) 3)))))
  (*.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))) (*.f64 d1 (sqrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37))))))
  (*.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))) (*.f64 d1 (sqrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 (+.f64 d3 37) 3)))))
  (*.f64 (sqrt.f64 (+.f64 d2 (+.f64 d3 37))) (*.f64 d1 (sqrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 (+.f64 d3 37) (+.f64 d3 37))))))
  (+.f64 (*.f64 d1 (sqrt.f64 37)) (*.f64 1/2 (*.f64 d1 (+.f64 (/.f64 d3 (sqrt.f64 37)) (*.f64 d2 (sqrt.f64 1/37))))))
  (+.f64 (*.f64 d1 (NAN.f64)) (*.f64 (/.f64 (*.f64 d1 d3) d2) (-.f64 (NAN.f64) (/.f64 2 (/.f64 d2 (pow.f64 (NAN.f64) 3))))))
  (-.f64 (*.f64 d1 (NAN.f64)) (*.f64 (/.f64 (*.f64 d1 d3) d2) (+.f64 (NAN.f64) (/.f64 2 (/.f64 d2 (pow.f64 (NAN.f64) 3))))))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
  (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
0.919 * * * [progress]: adding candidates to table