63.462 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.338 * * * [progress]: [2/2] Setting up program.
0.342 * [progress]: [Phase 2 of 3] Improving.
0.343 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
0.352 * * [simplify]: iteration  0 :  134  enodes  (cost  7 )
0.353 * * [simplify]: iteration  1 :  134  enodes  (cost  7 )
0.353 * [simplify]: Simplified to:
   (*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
0.358 * * [progress]: iteration 1 / 4
0.358 * * * [progress]: picking best candidate
0.365 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))>
0.365 * * * [progress]: localizing error
0.373 * * * [progress]: generating rewritten candidates
0.373 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.389 * * * [progress]: generating series expansions
0.389 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.389 * [approximate]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37))) in (d1 d2 d3) around 0
0.389 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37))) in d3
0.389 * [taylor]: Taking taylor expansion of d1 in d3
0.389 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d3
0.389 * [taylor]: Taking taylor expansion of d3 in d3
0.389 * [taylor]: Taking taylor expansion of (+ d2 37) in d3
0.389 * [taylor]: Taking taylor expansion of d2 in d3
0.389 * [taylor]: Taking taylor expansion of 37 in d3
0.389 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37))) in d2
0.390 * [taylor]: Taking taylor expansion of d1 in d2
0.390 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d2
0.390 * [taylor]: Taking taylor expansion of d3 in d2
0.390 * [taylor]: Taking taylor expansion of (+ d2 37) in d2
0.390 * [taylor]: Taking taylor expansion of d2 in d2
0.390 * [taylor]: Taking taylor expansion of 37 in d2
0.390 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37))) in d1
0.390 * [taylor]: Taking taylor expansion of d1 in d1
0.390 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d1
0.390 * [taylor]: Taking taylor expansion of d3 in d1
0.390 * [taylor]: Taking taylor expansion of (+ d2 37) in d1
0.390 * [taylor]: Taking taylor expansion of d2 in d1
0.390 * [taylor]: Taking taylor expansion of 37 in d1
0.390 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37))) in d1
0.390 * [taylor]: Taking taylor expansion of d1 in d1
0.390 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d1
0.390 * [taylor]: Taking taylor expansion of d3 in d1
0.390 * [taylor]: Taking taylor expansion of (+ d2 37) in d1
0.390 * [taylor]: Taking taylor expansion of d2 in d1
0.390 * [taylor]: Taking taylor expansion of 37 in d1
0.390 * [taylor]: Taking taylor expansion of 0 in d2
0.390 * [taylor]: Taking taylor expansion of 0 in d3
0.390 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d2
0.391 * [taylor]: Taking taylor expansion of d3 in d2
0.391 * [taylor]: Taking taylor expansion of (+ d2 37) in d2
0.391 * [taylor]: Taking taylor expansion of d2 in d2
0.391 * [taylor]: Taking taylor expansion of 37 in d2
0.391 * [taylor]: Taking taylor expansion of (+ d3 37) in d3
0.391 * [taylor]: Taking taylor expansion of d3 in d3
0.391 * [taylor]: Taking taylor expansion of 37 in d3
0.391 * [taylor]: Taking taylor expansion of 0 in d3
0.391 * [taylor]: Taking taylor expansion of 0 in d2
0.391 * [taylor]: Taking taylor expansion of 0 in d3
0.391 * [taylor]: Taking taylor expansion of 1 in d3
0.391 * [taylor]: Taking taylor expansion of 0 in d3
0.392 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ (/ 1 d3) 37)) d1) in (d1 d2 d3) around 0
0.392 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ (/ 1 d3) 37)) d1) in d3
0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d3
0.392 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.392 * [taylor]: Taking taylor expansion of d2 in d3
0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d3
0.392 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.392 * [taylor]: Taking taylor expansion of d3 in d3
0.392 * [taylor]: Taking taylor expansion of 37 in d3
0.392 * [taylor]: Taking taylor expansion of d1 in d3
0.392 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ (/ 1 d3) 37)) d1) in d2
0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d2
0.392 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.392 * [taylor]: Taking taylor expansion of d2 in d2
0.392 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d2
0.392 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.392 * [taylor]: Taking taylor expansion of d3 in d2
0.392 * [taylor]: Taking taylor expansion of 37 in d2
0.392 * [taylor]: Taking taylor expansion of d1 in d2
0.392 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ (/ 1 d3) 37)) d1) in d1
0.393 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d1
0.393 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.393 * [taylor]: Taking taylor expansion of d2 in d1
0.393 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d1
0.393 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.393 * [taylor]: Taking taylor expansion of d3 in d1
0.393 * [taylor]: Taking taylor expansion of 37 in d1
0.393 * [taylor]: Taking taylor expansion of d1 in d1
0.393 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (+ (/ 1 d3) 37)) d1) in d1
0.393 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d1
0.393 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.393 * [taylor]: Taking taylor expansion of d2 in d1
0.393 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d1
0.393 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.393 * [taylor]: Taking taylor expansion of d3 in d1
0.393 * [taylor]: Taking taylor expansion of 37 in d1
0.393 * [taylor]: Taking taylor expansion of d1 in d1
0.394 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d2
0.394 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.394 * [taylor]: Taking taylor expansion of d2 in d2
0.394 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d2
0.394 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.394 * [taylor]: Taking taylor expansion of d3 in d2
0.394 * [taylor]: Taking taylor expansion of 37 in d2
0.394 * [taylor]: Taking taylor expansion of 1 in d3
0.394 * [taylor]: Taking taylor expansion of 0 in d2
0.395 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d3
0.395 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.395 * [taylor]: Taking taylor expansion of d3 in d3
0.395 * [taylor]: Taking taylor expansion of 37 in d3
0.395 * [taylor]: Taking taylor expansion of 0 in d2
0.395 * [taylor]: Taking taylor expansion of 0 in d3
0.395 * [taylor]: Taking taylor expansion of 0 in d3
0.396 * [approximate]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in (d1 d2 d3) around 0
0.396 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
0.396 * [taylor]: Taking taylor expansion of -1 in d3
0.396 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
0.396 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d3
0.396 * [taylor]: Taking taylor expansion of 37 in d3
0.396 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.396 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.396 * [taylor]: Taking taylor expansion of d2 in d3
0.396 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.396 * [taylor]: Taking taylor expansion of d3 in d3
0.397 * [taylor]: Taking taylor expansion of d1 in d3
0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2
0.397 * [taylor]: Taking taylor expansion of -1 in d2
0.397 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
0.397 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d2
0.397 * [taylor]: Taking taylor expansion of 37 in d2
0.397 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.397 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.397 * [taylor]: Taking taylor expansion of d2 in d2
0.397 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.397 * [taylor]: Taking taylor expansion of d3 in d2
0.397 * [taylor]: Taking taylor expansion of d1 in d2
0.397 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1
0.397 * [taylor]: Taking taylor expansion of -1 in d1
0.397 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
0.397 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d1
0.397 * [taylor]: Taking taylor expansion of 37 in d1
0.397 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.397 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.397 * [taylor]: Taking taylor expansion of d2 in d1
0.397 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.397 * [taylor]: Taking taylor expansion of d3 in d1
0.397 * [taylor]: Taking taylor expansion of d1 in d1
0.398 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1
0.398 * [taylor]: Taking taylor expansion of -1 in d1
0.398 * [taylor]: Taking taylor expansion of (/ (- 37 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
0.398 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d1
0.398 * [taylor]: Taking taylor expansion of 37 in d1
0.398 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.398 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.398 * [taylor]: Taking taylor expansion of d2 in d1
0.398 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.398 * [taylor]: Taking taylor expansion of d3 in d1
0.398 * [taylor]: Taking taylor expansion of d1 in d1
0.399 * [taylor]: Taking taylor expansion of (* -1 (- 37 (+ (/ 1 d2) (/ 1 d3)))) in d2
0.399 * [taylor]: Taking taylor expansion of -1 in d2
0.399 * [taylor]: Taking taylor expansion of (- 37 (+ (/ 1 d2) (/ 1 d3))) in d2
0.399 * [taylor]: Taking taylor expansion of 37 in d2
0.399 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.399 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.399 * [taylor]: Taking taylor expansion of d2 in d2
0.399 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.399 * [taylor]: Taking taylor expansion of d3 in d2
0.399 * [taylor]: Taking taylor expansion of 1 in d3
0.400 * [taylor]: Taking taylor expansion of 0 in d2
0.400 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 37) in d3
0.400 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.400 * [taylor]: Taking taylor expansion of d3 in d3
0.400 * [taylor]: Taking taylor expansion of 37 in d3
0.401 * [taylor]: Taking taylor expansion of 0 in d2
0.401 * [taylor]: Taking taylor expansion of 0 in d3
0.401 * [taylor]: Taking taylor expansion of 0 in d3
0.402 * * * [progress]: simplifying candidates
0.403 * [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.465 * * [simplify]: iteration  0 :  4953  enodes  (cost  218 )
0.465 * * [simplify]: iteration  1 :  4953  enodes  (cost  218 )
0.466 * [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.466 * * * [progress]: adding candidates to table
0.481 * * [progress]: iteration 2 / 4
0.481 * * * [progress]: picking best candidate
0.485 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37))))>
0.485 * * * [progress]: localizing error
0.491 * * * [progress]: generating rewritten candidates
0.491 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.497 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.503 * * * [progress]: generating series expansions
0.503 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.503 * [approximate]: Taking taylor expansion of (* d1 (+ d3 37)) in (d1 d3) around 0
0.503 * [taylor]: Taking taylor expansion of (* d1 (+ d3 37)) in d3
0.503 * [taylor]: Taking taylor expansion of d1 in d3
0.503 * [taylor]: Taking taylor expansion of (+ d3 37) in d3
0.503 * [taylor]: Taking taylor expansion of d3 in d3
0.503 * [taylor]: Taking taylor expansion of 37 in d3
0.503 * [taylor]: Taking taylor expansion of (* d1 (+ d3 37)) in d1
0.503 * [taylor]: Taking taylor expansion of d1 in d1
0.503 * [taylor]: Taking taylor expansion of (+ d3 37) in d1
0.503 * [taylor]: Taking taylor expansion of d3 in d1
0.503 * [taylor]: Taking taylor expansion of 37 in d1
0.503 * [taylor]: Taking taylor expansion of (* d1 (+ d3 37)) in d1
0.503 * [taylor]: Taking taylor expansion of d1 in d1
0.503 * [taylor]: Taking taylor expansion of (+ d3 37) in d1
0.503 * [taylor]: Taking taylor expansion of d3 in d1
0.503 * [taylor]: Taking taylor expansion of 37 in d1
0.503 * [taylor]: Taking taylor expansion of 0 in d3
0.503 * [taylor]: Taking taylor expansion of (+ d3 37) in d3
0.503 * [taylor]: Taking taylor expansion of d3 in d3
0.503 * [taylor]: Taking taylor expansion of 37 in d3
0.503 * [taylor]: Taking taylor expansion of 0 in d3
0.503 * [taylor]: Taking taylor expansion of 0 in d3
0.504 * [taylor]: Taking taylor expansion of 0 in d3
0.504 * [approximate]: Taking taylor expansion of (/ (+ 37 (/ 1 d3)) d1) in (d1 d3) around 0
0.504 * [taylor]: Taking taylor expansion of (/ (+ 37 (/ 1 d3)) d1) in d3
0.504 * [taylor]: Taking taylor expansion of (+ 37 (/ 1 d3)) in d3
0.504 * [taylor]: Taking taylor expansion of 37 in d3
0.504 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.504 * [taylor]: Taking taylor expansion of d3 in d3
0.504 * [taylor]: Taking taylor expansion of d1 in d3
0.504 * [taylor]: Taking taylor expansion of (/ (+ 37 (/ 1 d3)) d1) in d1
0.504 * [taylor]: Taking taylor expansion of (+ 37 (/ 1 d3)) in d1
0.504 * [taylor]: Taking taylor expansion of 37 in d1
0.504 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.504 * [taylor]: Taking taylor expansion of d3 in d1
0.504 * [taylor]: Taking taylor expansion of d1 in d1
0.504 * [taylor]: Taking taylor expansion of (/ (+ 37 (/ 1 d3)) d1) in d1
0.504 * [taylor]: Taking taylor expansion of (+ 37 (/ 1 d3)) in d1
0.504 * [taylor]: Taking taylor expansion of 37 in d1
0.504 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.504 * [taylor]: Taking taylor expansion of d3 in d1
0.504 * [taylor]: Taking taylor expansion of d1 in d1
0.504 * [taylor]: Taking taylor expansion of (+ 37 (/ 1 d3)) in d3
0.504 * [taylor]: Taking taylor expansion of 37 in d3
0.504 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.504 * [taylor]: Taking taylor expansion of d3 in d3
0.505 * [taylor]: Taking taylor expansion of 0 in d3
0.505 * [taylor]: Taking taylor expansion of 0 in d3
0.505 * [taylor]: Taking taylor expansion of 0 in d3
0.505 * [taylor]: Taking taylor expansion of 0 in d3
0.506 * [approximate]: Taking taylor expansion of (* -1 (/ (- 37 (/ 1 d3)) d1)) in (d1 d3) around 0
0.506 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (/ 1 d3)) d1)) in d3
0.506 * [taylor]: Taking taylor expansion of -1 in d3
0.506 * [taylor]: Taking taylor expansion of (/ (- 37 (/ 1 d3)) d1) in d3
0.506 * [taylor]: Taking taylor expansion of (- 37 (/ 1 d3)) in d3
0.506 * [taylor]: Taking taylor expansion of 37 in d3
0.506 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.506 * [taylor]: Taking taylor expansion of d3 in d3
0.506 * [taylor]: Taking taylor expansion of d1 in d3
0.506 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (/ 1 d3)) d1)) in d1
0.506 * [taylor]: Taking taylor expansion of -1 in d1
0.506 * [taylor]: Taking taylor expansion of (/ (- 37 (/ 1 d3)) d1) in d1
0.506 * [taylor]: Taking taylor expansion of (- 37 (/ 1 d3)) in d1
0.506 * [taylor]: Taking taylor expansion of 37 in d1
0.506 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.506 * [taylor]: Taking taylor expansion of d3 in d1
0.506 * [taylor]: Taking taylor expansion of d1 in d1
0.506 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37 (/ 1 d3)) d1)) in d1
0.506 * [taylor]: Taking taylor expansion of -1 in d1
0.506 * [taylor]: Taking taylor expansion of (/ (- 37 (/ 1 d3)) d1) in d1
0.506 * [taylor]: Taking taylor expansion of (- 37 (/ 1 d3)) in d1
0.506 * [taylor]: Taking taylor expansion of 37 in d1
0.506 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.506 * [taylor]: Taking taylor expansion of d3 in d1
0.506 * [taylor]: Taking taylor expansion of d1 in d1
0.506 * [taylor]: Taking taylor expansion of (* -1 (- 37 (/ 1 d3))) in d3
0.506 * [taylor]: Taking taylor expansion of -1 in d3
0.506 * [taylor]: Taking taylor expansion of (- 37 (/ 1 d3)) in d3
0.506 * [taylor]: Taking taylor expansion of 37 in d3
0.506 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.506 * [taylor]: Taking taylor expansion of d3 in d3
0.507 * [taylor]: Taking taylor expansion of 0 in d3
0.507 * [taylor]: Taking taylor expansion of 0 in d3
0.507 * [taylor]: Taking taylor expansion of 0 in d3
0.508 * [taylor]: Taking taylor expansion of 0 in d3
0.508 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.508 * [approximate]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d3) (* d1 d2))) in (d1 d2 d3) around 0
0.508 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d3) (* d1 d2))) in d3
0.508 * [taylor]: Taking taylor expansion of (* 37 d1) in d3
0.508 * [taylor]: Taking taylor expansion of 37 in d3
0.508 * [taylor]: Taking taylor expansion of d1 in d3
0.508 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d3
0.508 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.508 * [taylor]: Taking taylor expansion of d1 in d3
0.508 * [taylor]: Taking taylor expansion of d3 in d3
0.508 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.508 * [taylor]: Taking taylor expansion of d1 in d3
0.508 * [taylor]: Taking taylor expansion of d2 in d3
0.508 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d3) (* d1 d2))) in d2
0.508 * [taylor]: Taking taylor expansion of (* 37 d1) in d2
0.508 * [taylor]: Taking taylor expansion of 37 in d2
0.508 * [taylor]: Taking taylor expansion of d1 in d2
0.508 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d2
0.508 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.508 * [taylor]: Taking taylor expansion of d1 in d2
0.508 * [taylor]: Taking taylor expansion of d3 in d2
0.508 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.508 * [taylor]: Taking taylor expansion of d1 in d2
0.508 * [taylor]: Taking taylor expansion of d2 in d2
0.508 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d3) (* d1 d2))) in d1
0.509 * [taylor]: Taking taylor expansion of (* 37 d1) in d1
0.509 * [taylor]: Taking taylor expansion of 37 in d1
0.509 * [taylor]: Taking taylor expansion of d1 in d1
0.509 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1
0.509 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.509 * [taylor]: Taking taylor expansion of d1 in d1
0.509 * [taylor]: Taking taylor expansion of d3 in d1
0.509 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.509 * [taylor]: Taking taylor expansion of d1 in d1
0.509 * [taylor]: Taking taylor expansion of d2 in d1
0.509 * [taylor]: Taking taylor expansion of (+ (* 37 d1) (+ (* d1 d3) (* d1 d2))) in d1
0.509 * [taylor]: Taking taylor expansion of (* 37 d1) in d1
0.509 * [taylor]: Taking taylor expansion of 37 in d1
0.509 * [taylor]: Taking taylor expansion of d1 in d1
0.509 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1
0.509 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.509 * [taylor]: Taking taylor expansion of d1 in d1
0.509 * [taylor]: Taking taylor expansion of d3 in d1
0.509 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.509 * [taylor]: Taking taylor expansion of d1 in d1
0.509 * [taylor]: Taking taylor expansion of d2 in d1
0.509 * [taylor]: Taking taylor expansion of 0 in d2
0.509 * [taylor]: Taking taylor expansion of 0 in d3
0.509 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37)) in d2
0.509 * [taylor]: Taking taylor expansion of d3 in d2
0.509 * [taylor]: Taking taylor expansion of (+ d2 37) in d2
0.509 * [taylor]: Taking taylor expansion of d2 in d2
0.509 * [taylor]: Taking taylor expansion of 37 in d2
0.509 * [taylor]: Taking taylor expansion of (+ d3 37) in d3
0.509 * [taylor]: Taking taylor expansion of d3 in d3
0.509 * [taylor]: Taking taylor expansion of 37 in d3
0.509 * [taylor]: Taking taylor expansion of 0 in d3
0.509 * [taylor]: Taking taylor expansion of 0 in d2
0.509 * [taylor]: Taking taylor expansion of 0 in d3
0.509 * [taylor]: Taking taylor expansion of 1 in d3
0.510 * [taylor]: Taking taylor expansion of 0 in d3
0.510 * [approximate]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in (d1 d2 d3) around 0
0.510 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d3
0.510 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d3
0.510 * [taylor]: Taking taylor expansion of 37 in d3
0.510 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.510 * [taylor]: Taking taylor expansion of d1 in d3
0.510 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.510 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.510 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.510 * [taylor]: Taking taylor expansion of d1 in d3
0.510 * [taylor]: Taking taylor expansion of d3 in d3
0.510 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.510 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.510 * [taylor]: Taking taylor expansion of d1 in d3
0.510 * [taylor]: Taking taylor expansion of d2 in d3
0.510 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d2
0.511 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d2
0.511 * [taylor]: Taking taylor expansion of 37 in d2
0.511 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.511 * [taylor]: Taking taylor expansion of d1 in d2
0.511 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.511 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.511 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.511 * [taylor]: Taking taylor expansion of d1 in d2
0.511 * [taylor]: Taking taylor expansion of d3 in d2
0.511 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.511 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.511 * [taylor]: Taking taylor expansion of d1 in d2
0.511 * [taylor]: Taking taylor expansion of d2 in d2
0.511 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d1
0.511 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.511 * [taylor]: Taking taylor expansion of 37 in d1
0.511 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.511 * [taylor]: Taking taylor expansion of d1 in d1
0.511 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.511 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.511 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.511 * [taylor]: Taking taylor expansion of d1 in d1
0.511 * [taylor]: Taking taylor expansion of d3 in d1
0.511 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.512 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.512 * [taylor]: Taking taylor expansion of d1 in d1
0.512 * [taylor]: Taking taylor expansion of d2 in d1
0.512 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d1
0.512 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.512 * [taylor]: Taking taylor expansion of 37 in d1
0.512 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.512 * [taylor]: Taking taylor expansion of d1 in d1
0.512 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.512 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.512 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.512 * [taylor]: Taking taylor expansion of d1 in d1
0.512 * [taylor]: Taking taylor expansion of d3 in d1
0.512 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.512 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.512 * [taylor]: Taking taylor expansion of d1 in d1
0.512 * [taylor]: Taking taylor expansion of d2 in d1
0.513 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37)) in d2
0.513 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.513 * [taylor]: Taking taylor expansion of d2 in d2
0.513 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d2
0.513 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.513 * [taylor]: Taking taylor expansion of d3 in d2
0.513 * [taylor]: Taking taylor expansion of 37 in d2
0.513 * [taylor]: Taking taylor expansion of 1 in d3
0.513 * [taylor]: Taking taylor expansion of 0 in d2
0.513 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37) in d3
0.513 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.513 * [taylor]: Taking taylor expansion of d3 in d3
0.514 * [taylor]: Taking taylor expansion of 37 in d3
0.514 * [taylor]: Taking taylor expansion of 0 in d2
0.514 * [taylor]: Taking taylor expansion of 0 in d3
0.514 * [taylor]: Taking taylor expansion of 0 in d3
0.516 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in (d1 d2 d3) around 0
0.516 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d3
0.516 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.516 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.516 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.516 * [taylor]: Taking taylor expansion of d1 in d3
0.516 * [taylor]: Taking taylor expansion of d3 in d3
0.516 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.516 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.516 * [taylor]: Taking taylor expansion of d1 in d3
0.516 * [taylor]: Taking taylor expansion of d2 in d3
0.516 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d3
0.516 * [taylor]: Taking taylor expansion of 37 in d3
0.516 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.516 * [taylor]: Taking taylor expansion of d1 in d3
0.516 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d2
0.516 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.516 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.516 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.516 * [taylor]: Taking taylor expansion of d1 in d2
0.516 * [taylor]: Taking taylor expansion of d3 in d2
0.516 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.516 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.517 * [taylor]: Taking taylor expansion of d1 in d2
0.517 * [taylor]: Taking taylor expansion of d2 in d2
0.517 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d2
0.517 * [taylor]: Taking taylor expansion of 37 in d2
0.517 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.517 * [taylor]: Taking taylor expansion of d1 in d2
0.517 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d1
0.517 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.517 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.517 * [taylor]: Taking taylor expansion of d1 in d1
0.517 * [taylor]: Taking taylor expansion of d3 in d1
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.517 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.517 * [taylor]: Taking taylor expansion of d1 in d1
0.517 * [taylor]: Taking taylor expansion of d2 in d1
0.517 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.517 * [taylor]: Taking taylor expansion of 37 in d1
0.517 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.517 * [taylor]: Taking taylor expansion of d1 in d1
0.517 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37 (/ 1 d1))) in d1
0.517 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.518 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.518 * [taylor]: Taking taylor expansion of d1 in d1
0.518 * [taylor]: Taking taylor expansion of d3 in d1
0.518 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.518 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.518 * [taylor]: Taking taylor expansion of d1 in d1
0.518 * [taylor]: Taking taylor expansion of d2 in d1
0.518 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d1)) in d1
0.518 * [taylor]: Taking taylor expansion of 37 in d1
0.518 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.518 * [taylor]: Taking taylor expansion of d1 in d1
0.518 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d3)) 37) in d2
0.518 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.518 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.518 * [taylor]: Taking taylor expansion of d2 in d2
0.518 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.518 * [taylor]: Taking taylor expansion of d3 in d2
0.519 * [taylor]: Taking taylor expansion of 37 in d2
0.519 * [taylor]: Taking taylor expansion of 1 in d3
0.519 * [taylor]: Taking taylor expansion of 0 in d2
0.519 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 37) in d3
0.519 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.519 * [taylor]: Taking taylor expansion of d3 in d3
0.519 * [taylor]: Taking taylor expansion of 37 in d3
0.520 * [taylor]: Taking taylor expansion of 0 in d2
0.520 * [taylor]: Taking taylor expansion of 0 in d3
0.520 * [taylor]: Taking taylor expansion of 0 in d3
0.521 * * * [progress]: simplifying candidates
0.522 * [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.565 * * [simplify]: iteration  0 :  5187  enodes  (cost  321 )
0.566 * [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.567 * * * [progress]: adding candidates to table
0.586 * * [progress]: iteration 3 / 4
0.586 * * * [progress]: picking best candidate
0.588 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))>
0.588 * * * [progress]: localizing error
0.602 * * * [progress]: generating rewritten candidates
0.602 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.617 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.626 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
0.631 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.644 * * * [progress]: generating series expansions
0.644 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.645 * [approximate]: Taking taylor expansion of (/ (* d1 (+ (pow d3 3) 50653)) (- (+ (pow d3 2) 1369) (* 37 d3))) in (d1 d3) around 0
0.645 * [taylor]: Taking taylor expansion of (/ (* d1 (+ (pow d3 3) 50653)) (- (+ (pow d3 2) 1369) (* 37 d3))) in d3
0.645 * [taylor]: Taking taylor expansion of (* d1 (+ (pow d3 3) 50653)) in d3
0.645 * [taylor]: Taking taylor expansion of d1 in d3
0.645 * [taylor]: Taking taylor expansion of (+ (pow d3 3) 50653) in d3
0.645 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.645 * [taylor]: Taking taylor expansion of d3 in d3
0.645 * [taylor]: Taking taylor expansion of 50653 in d3
0.645 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d3
0.645 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d3
0.645 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.645 * [taylor]: Taking taylor expansion of d3 in d3
0.645 * [taylor]: Taking taylor expansion of 1369 in d3
0.645 * [taylor]: Taking taylor expansion of (* 37 d3) in d3
0.645 * [taylor]: Taking taylor expansion of 37 in d3
0.645 * [taylor]: Taking taylor expansion of d3 in d3
0.645 * [taylor]: Taking taylor expansion of (/ (* d1 (+ (pow d3 3) 50653)) (- (+ (pow d3 2) 1369) (* 37 d3))) in d1
0.645 * [taylor]: Taking taylor expansion of (* d1 (+ (pow d3 3) 50653)) in d1
0.645 * [taylor]: Taking taylor expansion of d1 in d1
0.645 * [taylor]: Taking taylor expansion of (+ (pow d3 3) 50653) in d1
0.645 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.645 * [taylor]: Taking taylor expansion of d3 in d1
0.645 * [taylor]: Taking taylor expansion of 50653 in d1
0.645 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d1
0.645 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d1
0.645 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.645 * [taylor]: Taking taylor expansion of d3 in d1
0.645 * [taylor]: Taking taylor expansion of 1369 in d1
0.645 * [taylor]: Taking taylor expansion of (* 37 d3) in d1
0.645 * [taylor]: Taking taylor expansion of 37 in d1
0.645 * [taylor]: Taking taylor expansion of d3 in d1
0.646 * [taylor]: Taking taylor expansion of (/ (* d1 (+ (pow d3 3) 50653)) (- (+ (pow d3 2) 1369) (* 37 d3))) in d1
0.646 * [taylor]: Taking taylor expansion of (* d1 (+ (pow d3 3) 50653)) in d1
0.646 * [taylor]: Taking taylor expansion of d1 in d1
0.646 * [taylor]: Taking taylor expansion of (+ (pow d3 3) 50653) in d1
0.646 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.646 * [taylor]: Taking taylor expansion of d3 in d1
0.646 * [taylor]: Taking taylor expansion of 50653 in d1
0.646 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d1
0.646 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d1
0.646 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.646 * [taylor]: Taking taylor expansion of d3 in d1
0.646 * [taylor]: Taking taylor expansion of 1369 in d1
0.646 * [taylor]: Taking taylor expansion of (* 37 d3) in d1
0.646 * [taylor]: Taking taylor expansion of 37 in d1
0.646 * [taylor]: Taking taylor expansion of d3 in d1
0.647 * [taylor]: Taking taylor expansion of (/ (+ (pow d3 3) 50653) (- (+ (pow d3 2) 1369) (* 37 d3))) in d3
0.647 * [taylor]: Taking taylor expansion of (+ (pow d3 3) 50653) in d3
0.647 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.647 * [taylor]: Taking taylor expansion of d3 in d3
0.647 * [taylor]: Taking taylor expansion of 50653 in d3
0.647 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d3
0.647 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d3
0.647 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.647 * [taylor]: Taking taylor expansion of d3 in d3
0.647 * [taylor]: Taking taylor expansion of 1369 in d3
0.647 * [taylor]: Taking taylor expansion of (* 37 d3) in d3
0.647 * [taylor]: Taking taylor expansion of 37 in d3
0.647 * [taylor]: Taking taylor expansion of d3 in d3
0.648 * [taylor]: Taking taylor expansion of 0 in d3
0.649 * [taylor]: Taking taylor expansion of 0 in d3
0.650 * [taylor]: Taking taylor expansion of 0 in d3
0.651 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow d3 3)) 50653) (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in (d1 d3) around 0
0.651 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow d3 3)) 50653) (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d3
0.651 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 3)) 50653) in d3
0.651 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
0.651 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.651 * [taylor]: Taking taylor expansion of d3 in d3
0.651 * [taylor]: Taking taylor expansion of 50653 in d3
0.651 * [taylor]: Taking taylor expansion of (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d3
0.651 * [taylor]: Taking taylor expansion of d1 in d3
0.651 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d3
0.651 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d3
0.651 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.651 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.651 * [taylor]: Taking taylor expansion of d3 in d3
0.651 * [taylor]: Taking taylor expansion of 1369 in d3
0.651 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
0.651 * [taylor]: Taking taylor expansion of 37 in d3
0.651 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.651 * [taylor]: Taking taylor expansion of d3 in d3
0.651 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow d3 3)) 50653) (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d1
0.651 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 3)) 50653) in d1
0.651 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d1
0.651 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.651 * [taylor]: Taking taylor expansion of d3 in d1
0.651 * [taylor]: Taking taylor expansion of 50653 in d1
0.651 * [taylor]: Taking taylor expansion of (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d1
0.651 * [taylor]: Taking taylor expansion of d1 in d1
0.651 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d1
0.651 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d1
0.651 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
0.651 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.651 * [taylor]: Taking taylor expansion of d3 in d1
0.651 * [taylor]: Taking taylor expansion of 1369 in d1
0.652 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
0.652 * [taylor]: Taking taylor expansion of 37 in d1
0.652 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.652 * [taylor]: Taking taylor expansion of d3 in d1
0.653 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow d3 3)) 50653) (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d1
0.653 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 3)) 50653) in d1
0.653 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d1
0.653 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.653 * [taylor]: Taking taylor expansion of d3 in d1
0.653 * [taylor]: Taking taylor expansion of 50653 in d1
0.653 * [taylor]: Taking taylor expansion of (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d1
0.653 * [taylor]: Taking taylor expansion of d1 in d1
0.653 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d1
0.653 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d1
0.653 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
0.653 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.653 * [taylor]: Taking taylor expansion of d3 in d1
0.653 * [taylor]: Taking taylor expansion of 1369 in d1
0.653 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
0.653 * [taylor]: Taking taylor expansion of 37 in d1
0.653 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.653 * [taylor]: Taking taylor expansion of d3 in d1
0.654 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow d3 3)) 50653) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d3
0.654 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 3)) 50653) in d3
0.654 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
0.654 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.654 * [taylor]: Taking taylor expansion of d3 in d3
0.654 * [taylor]: Taking taylor expansion of 50653 in d3
0.654 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d3
0.654 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d3
0.654 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.654 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.654 * [taylor]: Taking taylor expansion of d3 in d3
0.654 * [taylor]: Taking taylor expansion of 1369 in d3
0.654 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
0.654 * [taylor]: Taking taylor expansion of 37 in d3
0.654 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.654 * [taylor]: Taking taylor expansion of d3 in d3
0.656 * [taylor]: Taking taylor expansion of 0 in d3
0.657 * [taylor]: Taking taylor expansion of 0 in d3
0.659 * [taylor]: Taking taylor expansion of 0 in d3
0.662 * [taylor]: Taking taylor expansion of 0 in d3
0.662 * [approximate]: Taking taylor expansion of (* -1 (/ (- 50653 (/ 1 (pow d3 3))) (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) in (d1 d3) around 0
0.662 * [taylor]: Taking taylor expansion of (* -1 (/ (- 50653 (/ 1 (pow d3 3))) (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) in d3
0.662 * [taylor]: Taking taylor expansion of -1 in d3
0.662 * [taylor]: Taking taylor expansion of (/ (- 50653 (/ 1 (pow d3 3))) (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))) in d3
0.662 * [taylor]: Taking taylor expansion of (- 50653 (/ 1 (pow d3 3))) in d3
0.662 * [taylor]: Taking taylor expansion of 50653 in d3
0.662 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
0.662 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.662 * [taylor]: Taking taylor expansion of d3 in d3
0.663 * [taylor]: Taking taylor expansion of (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))) in d3
0.663 * [taylor]: Taking taylor expansion of d1 in d3
0.663 * [taylor]: Taking taylor expansion of (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))) in d3
0.663 * [taylor]: Taking taylor expansion of 1369 in d3
0.663 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))) in d3
0.663 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.663 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.663 * [taylor]: Taking taylor expansion of d3 in d3
0.663 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
0.663 * [taylor]: Taking taylor expansion of 37 in d3
0.663 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.663 * [taylor]: Taking taylor expansion of d3 in d3
0.663 * [taylor]: Taking taylor expansion of (* -1 (/ (- 50653 (/ 1 (pow d3 3))) (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) in d1
0.663 * [taylor]: Taking taylor expansion of -1 in d1
0.663 * [taylor]: Taking taylor expansion of (/ (- 50653 (/ 1 (pow d3 3))) (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))) in d1
0.663 * [taylor]: Taking taylor expansion of (- 50653 (/ 1 (pow d3 3))) in d1
0.663 * [taylor]: Taking taylor expansion of 50653 in d1
0.663 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d1
0.663 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.663 * [taylor]: Taking taylor expansion of d3 in d1
0.663 * [taylor]: Taking taylor expansion of (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))) in d1
0.663 * [taylor]: Taking taylor expansion of d1 in d1
0.663 * [taylor]: Taking taylor expansion of (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))) in d1
0.663 * [taylor]: Taking taylor expansion of 1369 in d1
0.663 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))) in d1
0.663 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
0.663 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.663 * [taylor]: Taking taylor expansion of d3 in d1
0.665 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
0.665 * [taylor]: Taking taylor expansion of 37 in d1
0.665 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.665 * [taylor]: Taking taylor expansion of d3 in d1
0.666 * [taylor]: Taking taylor expansion of (* -1 (/ (- 50653 (/ 1 (pow d3 3))) (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) in d1
0.666 * [taylor]: Taking taylor expansion of -1 in d1
0.666 * [taylor]: Taking taylor expansion of (/ (- 50653 (/ 1 (pow d3 3))) (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))) in d1
0.666 * [taylor]: Taking taylor expansion of (- 50653 (/ 1 (pow d3 3))) in d1
0.666 * [taylor]: Taking taylor expansion of 50653 in d1
0.667 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d1
0.667 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.667 * [taylor]: Taking taylor expansion of d3 in d1
0.667 * [taylor]: Taking taylor expansion of (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))) in d1
0.667 * [taylor]: Taking taylor expansion of d1 in d1
0.667 * [taylor]: Taking taylor expansion of (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))) in d1
0.667 * [taylor]: Taking taylor expansion of 1369 in d1
0.667 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))) in d1
0.667 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
0.667 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.667 * [taylor]: Taking taylor expansion of d3 in d1
0.667 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
0.667 * [taylor]: Taking taylor expansion of 37 in d1
0.667 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.667 * [taylor]: Taking taylor expansion of d3 in d1
0.668 * [taylor]: Taking taylor expansion of (* -1 (/ (- 50653 (/ 1 (pow d3 3))) (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)))) in d3
0.668 * [taylor]: Taking taylor expansion of -1 in d3
0.668 * [taylor]: Taking taylor expansion of (/ (- 50653 (/ 1 (pow d3 3))) (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369))) in d3
0.668 * [taylor]: Taking taylor expansion of (- 50653 (/ 1 (pow d3 3))) in d3
0.668 * [taylor]: Taking taylor expansion of 50653 in d3
0.668 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
0.668 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.668 * [taylor]: Taking taylor expansion of d3 in d3
0.669 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) in d3
0.669 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.669 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.669 * [taylor]: Taking taylor expansion of d3 in d3
0.669 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d3)) 1369) in d3
0.669 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
0.669 * [taylor]: Taking taylor expansion of 37 in d3
0.669 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.669 * [taylor]: Taking taylor expansion of d3 in d3
0.669 * [taylor]: Taking taylor expansion of 1369 in d3
0.670 * [taylor]: Taking taylor expansion of 0 in d3
0.672 * [taylor]: Taking taylor expansion of 0 in d3
0.674 * [taylor]: Taking taylor expansion of 0 in d3
0.677 * [taylor]: Taking taylor expansion of 0 in d3
0.677 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.678 * [approximate]: Taking taylor expansion of (* d1 (+ (pow d3 3) 50653)) in (d1 d3) around 0
0.678 * [taylor]: Taking taylor expansion of (* d1 (+ (pow d3 3) 50653)) in d3
0.678 * [taylor]: Taking taylor expansion of d1 in d3
0.678 * [taylor]: Taking taylor expansion of (+ (pow d3 3) 50653) in d3
0.678 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.678 * [taylor]: Taking taylor expansion of d3 in d3
0.678 * [taylor]: Taking taylor expansion of 50653 in d3
0.678 * [taylor]: Taking taylor expansion of (* d1 (+ (pow d3 3) 50653)) in d1
0.678 * [taylor]: Taking taylor expansion of d1 in d1
0.678 * [taylor]: Taking taylor expansion of (+ (pow d3 3) 50653) in d1
0.678 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.678 * [taylor]: Taking taylor expansion of d3 in d1
0.678 * [taylor]: Taking taylor expansion of 50653 in d1
0.678 * [taylor]: Taking taylor expansion of (* d1 (+ (pow d3 3) 50653)) in d1
0.678 * [taylor]: Taking taylor expansion of d1 in d1
0.678 * [taylor]: Taking taylor expansion of (+ (pow d3 3) 50653) in d1
0.678 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.678 * [taylor]: Taking taylor expansion of d3 in d1
0.678 * [taylor]: Taking taylor expansion of 50653 in d1
0.678 * [taylor]: Taking taylor expansion of 0 in d3
0.678 * [taylor]: Taking taylor expansion of (+ (pow d3 3) 50653) in d3
0.678 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.678 * [taylor]: Taking taylor expansion of d3 in d3
0.679 * [taylor]: Taking taylor expansion of 50653 in d3
0.679 * [taylor]: Taking taylor expansion of 0 in d3
0.679 * [taylor]: Taking taylor expansion of 0 in d3
0.679 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow d3 3)) 50653) d1) in (d1 d3) around 0
0.679 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow d3 3)) 50653) d1) in d3
0.679 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 3)) 50653) in d3
0.679 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
0.679 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.679 * [taylor]: Taking taylor expansion of d3 in d3
0.679 * [taylor]: Taking taylor expansion of 50653 in d3
0.679 * [taylor]: Taking taylor expansion of d1 in d3
0.679 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow d3 3)) 50653) d1) in d1
0.680 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 3)) 50653) in d1
0.680 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d1
0.680 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.680 * [taylor]: Taking taylor expansion of d3 in d1
0.680 * [taylor]: Taking taylor expansion of 50653 in d1
0.680 * [taylor]: Taking taylor expansion of d1 in d1
0.680 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow d3 3)) 50653) d1) in d1
0.680 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 3)) 50653) in d1
0.680 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d1
0.680 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.680 * [taylor]: Taking taylor expansion of d3 in d1
0.680 * [taylor]: Taking taylor expansion of 50653 in d1
0.680 * [taylor]: Taking taylor expansion of d1 in d1
0.680 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 3)) 50653) in d3
0.680 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
0.680 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.680 * [taylor]: Taking taylor expansion of d3 in d3
0.680 * [taylor]: Taking taylor expansion of 50653 in d3
0.681 * [taylor]: Taking taylor expansion of 0 in d3
0.681 * [taylor]: Taking taylor expansion of 0 in d3
0.682 * [taylor]: Taking taylor expansion of 0 in d3
0.683 * [taylor]: Taking taylor expansion of 0 in d3
0.684 * [taylor]: Taking taylor expansion of 0 in d3
0.685 * [taylor]: Taking taylor expansion of 0 in d3
0.685 * [approximate]: Taking taylor expansion of (* -1 (/ (- 50653 (/ 1 (pow d3 3))) d1)) in (d1 d3) around 0
0.685 * [taylor]: Taking taylor expansion of (* -1 (/ (- 50653 (/ 1 (pow d3 3))) d1)) in d3
0.685 * [taylor]: Taking taylor expansion of -1 in d3
0.685 * [taylor]: Taking taylor expansion of (/ (- 50653 (/ 1 (pow d3 3))) d1) in d3
0.685 * [taylor]: Taking taylor expansion of (- 50653 (/ 1 (pow d3 3))) in d3
0.685 * [taylor]: Taking taylor expansion of 50653 in d3
0.685 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
0.685 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.685 * [taylor]: Taking taylor expansion of d3 in d3
0.685 * [taylor]: Taking taylor expansion of d1 in d3
0.685 * [taylor]: Taking taylor expansion of (* -1 (/ (- 50653 (/ 1 (pow d3 3))) d1)) in d1
0.685 * [taylor]: Taking taylor expansion of -1 in d1
0.685 * [taylor]: Taking taylor expansion of (/ (- 50653 (/ 1 (pow d3 3))) d1) in d1
0.685 * [taylor]: Taking taylor expansion of (- 50653 (/ 1 (pow d3 3))) in d1
0.685 * [taylor]: Taking taylor expansion of 50653 in d1
0.685 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d1
0.685 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.685 * [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 (* -1 (/ (- 50653 (/ 1 (pow d3 3))) d1)) in d1
0.686 * [taylor]: Taking taylor expansion of -1 in d1
0.686 * [taylor]: Taking taylor expansion of (/ (- 50653 (/ 1 (pow d3 3))) d1) in d1
0.686 * [taylor]: Taking taylor expansion of (- 50653 (/ 1 (pow d3 3))) in d1
0.686 * [taylor]: Taking taylor expansion of 50653 in d1
0.686 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d1
0.686 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.686 * [taylor]: Taking taylor expansion of d3 in d1
0.686 * [taylor]: Taking taylor expansion of d1 in d1
0.687 * [taylor]: Taking taylor expansion of (* -1 (- 50653 (/ 1 (pow d3 3)))) in d3
0.687 * [taylor]: Taking taylor expansion of -1 in d3
0.687 * [taylor]: Taking taylor expansion of (- 50653 (/ 1 (pow d3 3))) in d3
0.687 * [taylor]: Taking taylor expansion of 50653 in d3
0.687 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
0.687 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.687 * [taylor]: Taking taylor expansion of d3 in d3
0.687 * [taylor]: Taking taylor expansion of 0 in d3
0.688 * [taylor]: Taking taylor expansion of 0 in d3
0.689 * [taylor]: Taking taylor expansion of 0 in d3
0.690 * [taylor]: Taking taylor expansion of 0 in d3
0.691 * [taylor]: Taking taylor expansion of 0 in d3
0.692 * [taylor]: Taking taylor expansion of 0 in d3
0.692 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
0.692 * [approximate]: Taking taylor expansion of (- 1369 (* 37 d3)) in (d3) around 0
0.692 * [taylor]: Taking taylor expansion of (- 1369 (* 37 d3)) in d3
0.692 * [taylor]: Taking taylor expansion of 1369 in d3
0.692 * [taylor]: Taking taylor expansion of (* 37 d3) in d3
0.692 * [taylor]: Taking taylor expansion of 37 in d3
0.692 * [taylor]: Taking taylor expansion of d3 in d3
0.692 * [taylor]: Taking taylor expansion of (- 1369 (* 37 d3)) in d3
0.692 * [taylor]: Taking taylor expansion of 1369 in d3
0.692 * [taylor]: Taking taylor expansion of (* 37 d3) in d3
0.692 * [taylor]: Taking taylor expansion of 37 in d3
0.692 * [taylor]: Taking taylor expansion of d3 in d3
0.693 * [approximate]: Taking taylor expansion of (- 1369 (* 37 (/ 1 d3))) in (d3) around 0
0.693 * [taylor]: Taking taylor expansion of (- 1369 (* 37 (/ 1 d3))) in d3
0.693 * [taylor]: Taking taylor expansion of 1369 in d3
0.693 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
0.693 * [taylor]: Taking taylor expansion of 37 in d3
0.693 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.693 * [taylor]: Taking taylor expansion of d3 in d3
0.693 * [taylor]: Taking taylor expansion of (- 1369 (* 37 (/ 1 d3))) in d3
0.693 * [taylor]: Taking taylor expansion of 1369 in d3
0.693 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
0.693 * [taylor]: Taking taylor expansion of 37 in d3
0.693 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.693 * [taylor]: Taking taylor expansion of d3 in d3
0.694 * [approximate]: Taking taylor expansion of (+ (* 37 (/ 1 d3)) 1369) in (d3) around 0
0.694 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d3)) 1369) in d3
0.694 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
0.694 * [taylor]: Taking taylor expansion of 37 in d3
0.694 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.694 * [taylor]: Taking taylor expansion of d3 in d3
0.695 * [taylor]: Taking taylor expansion of 1369 in d3
0.695 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d3)) 1369) in d3
0.695 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
0.695 * [taylor]: Taking taylor expansion of 37 in d3
0.695 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.695 * [taylor]: Taking taylor expansion of d3 in d3
0.695 * [taylor]: Taking taylor expansion of 1369 in d3
0.696 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.696 * [approximate]: Taking taylor expansion of (+ (/ (* d1 (pow d3 3)) (- (+ (pow d3 2) 1369) (* 37 d3))) (+ (* 50653 (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3)))) (* d1 d2))) in (d1 d2 d3) around 0
0.696 * [taylor]: Taking taylor expansion of (+ (/ (* d1 (pow d3 3)) (- (+ (pow d3 2) 1369) (* 37 d3))) (+ (* 50653 (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3)))) (* d1 d2))) in d3
0.696 * [taylor]: Taking taylor expansion of (/ (* d1 (pow d3 3)) (- (+ (pow d3 2) 1369) (* 37 d3))) in d3
0.696 * [taylor]: Taking taylor expansion of (* d1 (pow d3 3)) in d3
0.696 * [taylor]: Taking taylor expansion of d1 in d3
0.696 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.696 * [taylor]: Taking taylor expansion of d3 in d3
0.696 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d3
0.696 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d3
0.696 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.696 * [taylor]: Taking taylor expansion of d3 in d3
0.696 * [taylor]: Taking taylor expansion of 1369 in d3
0.696 * [taylor]: Taking taylor expansion of (* 37 d3) in d3
0.696 * [taylor]: Taking taylor expansion of 37 in d3
0.696 * [taylor]: Taking taylor expansion of d3 in d3
0.696 * [taylor]: Taking taylor expansion of (+ (* 50653 (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3)))) (* d1 d2)) in d3
0.696 * [taylor]: Taking taylor expansion of (* 50653 (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3)))) in d3
0.696 * [taylor]: Taking taylor expansion of 50653 in d3
0.696 * [taylor]: Taking taylor expansion of (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3))) in d3
0.696 * [taylor]: Taking taylor expansion of d1 in d3
0.696 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d3
0.696 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d3
0.696 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.696 * [taylor]: Taking taylor expansion of d3 in d3
0.696 * [taylor]: Taking taylor expansion of 1369 in d3
0.696 * [taylor]: Taking taylor expansion of (* 37 d3) in d3
0.696 * [taylor]: Taking taylor expansion of 37 in d3
0.697 * [taylor]: Taking taylor expansion of d3 in d3
0.697 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.697 * [taylor]: Taking taylor expansion of d1 in d3
0.697 * [taylor]: Taking taylor expansion of d2 in d3
0.697 * [taylor]: Taking taylor expansion of (+ (/ (* d1 (pow d3 3)) (- (+ (pow d3 2) 1369) (* 37 d3))) (+ (* 50653 (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3)))) (* d1 d2))) in d2
0.697 * [taylor]: Taking taylor expansion of (/ (* d1 (pow d3 3)) (- (+ (pow d3 2) 1369) (* 37 d3))) in d2
0.697 * [taylor]: Taking taylor expansion of (* d1 (pow d3 3)) in d2
0.697 * [taylor]: Taking taylor expansion of d1 in d2
0.697 * [taylor]: Taking taylor expansion of (pow d3 3) in d2
0.697 * [taylor]: Taking taylor expansion of d3 in d2
0.697 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d2
0.697 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d2
0.697 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
0.697 * [taylor]: Taking taylor expansion of d3 in d2
0.697 * [taylor]: Taking taylor expansion of 1369 in d2
0.697 * [taylor]: Taking taylor expansion of (* 37 d3) in d2
0.697 * [taylor]: Taking taylor expansion of 37 in d2
0.697 * [taylor]: Taking taylor expansion of d3 in d2
0.697 * [taylor]: Taking taylor expansion of (+ (* 50653 (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3)))) (* d1 d2)) in d2
0.697 * [taylor]: Taking taylor expansion of (* 50653 (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3)))) in d2
0.697 * [taylor]: Taking taylor expansion of 50653 in d2
0.697 * [taylor]: Taking taylor expansion of (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3))) in d2
0.697 * [taylor]: Taking taylor expansion of d1 in d2
0.697 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d2
0.697 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d2
0.697 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
0.697 * [taylor]: Taking taylor expansion of d3 in d2
0.698 * [taylor]: Taking taylor expansion of 1369 in d2
0.698 * [taylor]: Taking taylor expansion of (* 37 d3) in d2
0.698 * [taylor]: Taking taylor expansion of 37 in d2
0.698 * [taylor]: Taking taylor expansion of d3 in d2
0.698 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.698 * [taylor]: Taking taylor expansion of d1 in d2
0.698 * [taylor]: Taking taylor expansion of d2 in d2
0.698 * [taylor]: Taking taylor expansion of (+ (/ (* d1 (pow d3 3)) (- (+ (pow d3 2) 1369) (* 37 d3))) (+ (* 50653 (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3)))) (* d1 d2))) in d1
0.698 * [taylor]: Taking taylor expansion of (/ (* d1 (pow d3 3)) (- (+ (pow d3 2) 1369) (* 37 d3))) in d1
0.698 * [taylor]: Taking taylor expansion of (* d1 (pow d3 3)) in d1
0.698 * [taylor]: Taking taylor expansion of d1 in d1
0.698 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.698 * [taylor]: Taking taylor expansion of d3 in d1
0.698 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d1
0.698 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d1
0.698 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.698 * [taylor]: Taking taylor expansion of d3 in d1
0.698 * [taylor]: Taking taylor expansion of 1369 in d1
0.698 * [taylor]: Taking taylor expansion of (* 37 d3) in d1
0.698 * [taylor]: Taking taylor expansion of 37 in d1
0.698 * [taylor]: Taking taylor expansion of d3 in d1
0.699 * [taylor]: Taking taylor expansion of (+ (* 50653 (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3)))) (* d1 d2)) in d1
0.699 * [taylor]: Taking taylor expansion of (* 50653 (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3)))) in d1
0.699 * [taylor]: Taking taylor expansion of 50653 in d1
0.699 * [taylor]: Taking taylor expansion of (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3))) in d1
0.699 * [taylor]: Taking taylor expansion of d1 in d1
0.699 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d1
0.699 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d1
0.699 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.699 * [taylor]: Taking taylor expansion of d3 in d1
0.699 * [taylor]: Taking taylor expansion of 1369 in d1
0.699 * [taylor]: Taking taylor expansion of (* 37 d3) in d1
0.699 * [taylor]: Taking taylor expansion of 37 in d1
0.699 * [taylor]: Taking taylor expansion of d3 in d1
0.699 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.699 * [taylor]: Taking taylor expansion of d1 in d1
0.699 * [taylor]: Taking taylor expansion of d2 in d1
0.699 * [taylor]: Taking taylor expansion of (+ (/ (* d1 (pow d3 3)) (- (+ (pow d3 2) 1369) (* 37 d3))) (+ (* 50653 (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3)))) (* d1 d2))) in d1
0.699 * [taylor]: Taking taylor expansion of (/ (* d1 (pow d3 3)) (- (+ (pow d3 2) 1369) (* 37 d3))) in d1
0.699 * [taylor]: Taking taylor expansion of (* d1 (pow d3 3)) in d1
0.699 * [taylor]: Taking taylor expansion of d1 in d1
0.700 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.700 * [taylor]: Taking taylor expansion of d3 in d1
0.700 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d1
0.700 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d1
0.700 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.700 * [taylor]: Taking taylor expansion of d3 in d1
0.700 * [taylor]: Taking taylor expansion of 1369 in d1
0.700 * [taylor]: Taking taylor expansion of (* 37 d3) in d1
0.700 * [taylor]: Taking taylor expansion of 37 in d1
0.700 * [taylor]: Taking taylor expansion of d3 in d1
0.700 * [taylor]: Taking taylor expansion of (+ (* 50653 (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3)))) (* d1 d2)) in d1
0.700 * [taylor]: Taking taylor expansion of (* 50653 (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3)))) in d1
0.700 * [taylor]: Taking taylor expansion of 50653 in d1
0.700 * [taylor]: Taking taylor expansion of (/ d1 (- (+ (pow d3 2) 1369) (* 37 d3))) in d1
0.700 * [taylor]: Taking taylor expansion of d1 in d1
0.700 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d1
0.700 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d1
0.700 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.700 * [taylor]: Taking taylor expansion of d3 in d1
0.700 * [taylor]: Taking taylor expansion of 1369 in d1
0.700 * [taylor]: Taking taylor expansion of (* 37 d3) in d1
0.700 * [taylor]: Taking taylor expansion of 37 in d1
0.701 * [taylor]: Taking taylor expansion of d3 in d1
0.701 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.701 * [taylor]: Taking taylor expansion of d1 in d1
0.701 * [taylor]: Taking taylor expansion of d2 in d1
0.701 * [taylor]: Taking taylor expansion of 0 in d2
0.701 * [taylor]: Taking taylor expansion of 0 in d3
0.702 * [taylor]: Taking taylor expansion of (+ d2 (+ (/ (pow d3 3) (- (+ (pow d3 2) 1369) (* 37 d3))) (* 50653 (/ 1 (- (+ (pow d3 2) 1369) (* 37 d3)))))) in d2
0.702 * [taylor]: Taking taylor expansion of d2 in d2
0.702 * [taylor]: Taking taylor expansion of (+ (/ (pow d3 3) (- (+ (pow d3 2) 1369) (* 37 d3))) (* 50653 (/ 1 (- (+ (pow d3 2) 1369) (* 37 d3))))) in d2
0.702 * [taylor]: Taking taylor expansion of (/ (pow d3 3) (- (+ (pow d3 2) 1369) (* 37 d3))) in d2
0.702 * [taylor]: Taking taylor expansion of (pow d3 3) in d2
0.702 * [taylor]: Taking taylor expansion of d3 in d2
0.702 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d2
0.702 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d2
0.702 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
0.702 * [taylor]: Taking taylor expansion of d3 in d2
0.702 * [taylor]: Taking taylor expansion of 1369 in d2
0.702 * [taylor]: Taking taylor expansion of (* 37 d3) in d2
0.702 * [taylor]: Taking taylor expansion of 37 in d2
0.702 * [taylor]: Taking taylor expansion of d3 in d2
0.702 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (- (+ (pow d3 2) 1369) (* 37 d3)))) in d2
0.702 * [taylor]: Taking taylor expansion of 50653 in d2
0.702 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (pow d3 2) 1369) (* 37 d3))) in d2
0.702 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d2
0.702 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d2
0.702 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
0.702 * [taylor]: Taking taylor expansion of d3 in d2
0.702 * [taylor]: Taking taylor expansion of 1369 in d2
0.702 * [taylor]: Taking taylor expansion of (* 37 d3) in d2
0.702 * [taylor]: Taking taylor expansion of 37 in d2
0.702 * [taylor]: Taking taylor expansion of d3 in d2
0.703 * [taylor]: Taking taylor expansion of (+ (/ (pow d3 3) (- (+ (pow d3 2) 1369) (* 37 d3))) (* 50653 (/ 1 (- (+ (pow d3 2) 1369) (* 37 d3))))) in d3
0.703 * [taylor]: Taking taylor expansion of (/ (pow d3 3) (- (+ (pow d3 2) 1369) (* 37 d3))) in d3
0.703 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.703 * [taylor]: Taking taylor expansion of d3 in d3
0.704 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d3
0.704 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d3
0.704 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.704 * [taylor]: Taking taylor expansion of d3 in d3
0.704 * [taylor]: Taking taylor expansion of 1369 in d3
0.704 * [taylor]: Taking taylor expansion of (* 37 d3) in d3
0.704 * [taylor]: Taking taylor expansion of 37 in d3
0.704 * [taylor]: Taking taylor expansion of d3 in d3
0.704 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (- (+ (pow d3 2) 1369) (* 37 d3)))) in d3
0.704 * [taylor]: Taking taylor expansion of 50653 in d3
0.704 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (pow d3 2) 1369) (* 37 d3))) in d3
0.704 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d3
0.704 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d3
0.704 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.704 * [taylor]: Taking taylor expansion of d3 in d3
0.704 * [taylor]: Taking taylor expansion of 1369 in d3
0.704 * [taylor]: Taking taylor expansion of (* 37 d3) in d3
0.704 * [taylor]: Taking taylor expansion of 37 in d3
0.704 * [taylor]: Taking taylor expansion of d3 in d3
0.704 * [taylor]: Taking taylor expansion of 0 in d3
0.705 * [taylor]: Taking taylor expansion of 0 in d2
0.705 * [taylor]: Taking taylor expansion of 0 in d3
0.706 * [taylor]: Taking taylor expansion of 1 in d3
0.706 * [taylor]: Taking taylor expansion of 0 in d3
0.707 * [approximate]: Taking taylor expansion of (+ (* 50653 (/ 1 (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) (+ (/ 1 (* d1 d2)) (/ 1 (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))))) in (d1 d2 d3) around 0
0.707 * [taylor]: Taking taylor expansion of (+ (* 50653 (/ 1 (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) (+ (/ 1 (* d1 d2)) (/ 1 (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))))) in d3
0.707 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) in d3
0.707 * [taylor]: Taking taylor expansion of 50653 in d3
0.707 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d3
0.707 * [taylor]: Taking taylor expansion of (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d3
0.707 * [taylor]: Taking taylor expansion of d1 in d3
0.707 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d3
0.707 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d3
0.707 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.707 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.707 * [taylor]: Taking taylor expansion of d3 in d3
0.707 * [taylor]: Taking taylor expansion of 1369 in d3
0.707 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
0.707 * [taylor]: Taking taylor expansion of 37 in d3
0.707 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.707 * [taylor]: Taking taylor expansion of d3 in d3
0.707 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))))) in d3
0.707 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.707 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.707 * [taylor]: Taking taylor expansion of d1 in d3
0.707 * [taylor]: Taking taylor expansion of d2 in d3
0.707 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) in d3
0.707 * [taylor]: Taking taylor expansion of (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d3
0.707 * [taylor]: Taking taylor expansion of d1 in d3
0.707 * [taylor]: Taking taylor expansion of (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d3
0.707 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.707 * [taylor]: Taking taylor expansion of d3 in d3
0.707 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d3
0.707 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d3
0.708 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.708 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.708 * [taylor]: Taking taylor expansion of d3 in d3
0.708 * [taylor]: Taking taylor expansion of 1369 in d3
0.708 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
0.708 * [taylor]: Taking taylor expansion of 37 in d3
0.708 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.708 * [taylor]: Taking taylor expansion of d3 in d3
0.708 * [taylor]: Taking taylor expansion of (+ (* 50653 (/ 1 (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) (+ (/ 1 (* d1 d2)) (/ 1 (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))))) in d2
0.708 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) in d2
0.708 * [taylor]: Taking taylor expansion of 50653 in d2
0.708 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d2
0.708 * [taylor]: Taking taylor expansion of (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d2
0.708 * [taylor]: Taking taylor expansion of d1 in d2
0.708 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d2
0.708 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d2
0.708 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d2
0.708 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
0.708 * [taylor]: Taking taylor expansion of d3 in d2
0.708 * [taylor]: Taking taylor expansion of 1369 in d2
0.708 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d2
0.708 * [taylor]: Taking taylor expansion of 37 in d2
0.708 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.708 * [taylor]: Taking taylor expansion of d3 in d2
0.709 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))))) in d2
0.709 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.709 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.709 * [taylor]: Taking taylor expansion of d1 in d2
0.709 * [taylor]: Taking taylor expansion of d2 in d2
0.709 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) in d2
0.709 * [taylor]: Taking taylor expansion of (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d2
0.709 * [taylor]: Taking taylor expansion of d1 in d2
0.709 * [taylor]: Taking taylor expansion of (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d2
0.709 * [taylor]: Taking taylor expansion of (pow d3 3) in d2
0.709 * [taylor]: Taking taylor expansion of d3 in d2
0.709 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d2
0.709 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d2
0.709 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d2
0.709 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
0.709 * [taylor]: Taking taylor expansion of d3 in d2
0.709 * [taylor]: Taking taylor expansion of 1369 in d2
0.709 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d2
0.709 * [taylor]: Taking taylor expansion of 37 in d2
0.709 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.709 * [taylor]: Taking taylor expansion of d3 in d2
0.710 * [taylor]: Taking taylor expansion of (+ (* 50653 (/ 1 (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) (+ (/ 1 (* d1 d2)) (/ 1 (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))))) in d1
0.710 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) in d1
0.710 * [taylor]: Taking taylor expansion of 50653 in d1
0.710 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d1
0.710 * [taylor]: Taking taylor expansion of (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d1
0.710 * [taylor]: Taking taylor expansion of d1 in d1
0.710 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d1
0.710 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d1
0.710 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
0.710 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.710 * [taylor]: Taking taylor expansion of d3 in d1
0.710 * [taylor]: Taking taylor expansion of 1369 in d1
0.710 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
0.710 * [taylor]: Taking taylor expansion of 37 in d1
0.710 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.710 * [taylor]: Taking taylor expansion of d3 in d1
0.711 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))))) in d1
0.711 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.711 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.711 * [taylor]: Taking taylor expansion of d1 in d1
0.711 * [taylor]: Taking taylor expansion of d2 in d1
0.711 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) in d1
0.711 * [taylor]: Taking taylor expansion of (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d1
0.711 * [taylor]: Taking taylor expansion of d1 in d1
0.711 * [taylor]: Taking taylor expansion of (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d1
0.711 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.711 * [taylor]: Taking taylor expansion of d3 in d1
0.711 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d1
0.712 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d1
0.712 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
0.712 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.712 * [taylor]: Taking taylor expansion of d3 in d1
0.712 * [taylor]: Taking taylor expansion of 1369 in d1
0.712 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
0.712 * [taylor]: Taking taylor expansion of 37 in d1
0.712 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.712 * [taylor]: Taking taylor expansion of d3 in d1
0.713 * [taylor]: Taking taylor expansion of (+ (* 50653 (/ 1 (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) (+ (/ 1 (* d1 d2)) (/ 1 (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))))) in d1
0.713 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) in d1
0.713 * [taylor]: Taking taylor expansion of 50653 in d1
0.713 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d1
0.713 * [taylor]: Taking taylor expansion of (* d1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d1
0.713 * [taylor]: Taking taylor expansion of d1 in d1
0.713 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d1
0.713 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d1
0.713 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
0.713 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.713 * [taylor]: Taking taylor expansion of d3 in d1
0.714 * [taylor]: Taking taylor expansion of 1369 in d1
0.714 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
0.714 * [taylor]: Taking taylor expansion of 37 in d1
0.714 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.714 * [taylor]: Taking taylor expansion of d3 in d1
0.715 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d2)) (/ 1 (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))))) in d1
0.715 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.715 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.715 * [taylor]: Taking taylor expansion of d1 in d1
0.715 * [taylor]: Taking taylor expansion of d2 in d1
0.715 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) in d1
0.715 * [taylor]: Taking taylor expansion of (* d1 (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d1
0.715 * [taylor]: Taking taylor expansion of d1 in d1
0.715 * [taylor]: Taking taylor expansion of (* (pow d3 3) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d1
0.715 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.715 * [taylor]: Taking taylor expansion of d3 in d1
0.715 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d1
0.715 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d1
0.715 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
0.715 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.715 * [taylor]: Taking taylor expansion of d3 in d1
0.715 * [taylor]: Taking taylor expansion of 1369 in d1
0.715 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
0.715 * [taylor]: Taking taylor expansion of 37 in d1
0.715 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.715 * [taylor]: Taking taylor expansion of d3 in d1
0.717 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 (- (+ d3 (* 1369 (pow d3 3))) (* 37 (pow d3 2)))) (* 50653 (/ 1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))))) in d2
0.717 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.717 * [taylor]: Taking taylor expansion of d2 in d2
0.717 * [taylor]: Taking taylor expansion of (+ (/ 1 (- (+ d3 (* 1369 (pow d3 3))) (* 37 (pow d3 2)))) (* 50653 (/ 1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) in d2
0.717 * [taylor]: Taking taylor expansion of (/ 1 (- (+ d3 (* 1369 (pow d3 3))) (* 37 (pow d3 2)))) in d2
0.717 * [taylor]: Taking taylor expansion of (- (+ d3 (* 1369 (pow d3 3))) (* 37 (pow d3 2))) in d2
0.717 * [taylor]: Taking taylor expansion of (+ d3 (* 1369 (pow d3 3))) in d2
0.718 * [taylor]: Taking taylor expansion of d3 in d2
0.718 * [taylor]: Taking taylor expansion of (* 1369 (pow d3 3)) in d2
0.718 * [taylor]: Taking taylor expansion of 1369 in d2
0.718 * [taylor]: Taking taylor expansion of (pow d3 3) in d2
0.718 * [taylor]: Taking taylor expansion of d3 in d2
0.718 * [taylor]: Taking taylor expansion of (* 37 (pow d3 2)) in d2
0.718 * [taylor]: Taking taylor expansion of 37 in d2
0.718 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
0.718 * [taylor]: Taking taylor expansion of d3 in d2
0.718 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d2
0.718 * [taylor]: Taking taylor expansion of 50653 in d2
0.718 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d2
0.718 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d2
0.718 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d2
0.718 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d2
0.719 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
0.719 * [taylor]: Taking taylor expansion of d3 in d2
0.719 * [taylor]: Taking taylor expansion of 1369 in d2
0.719 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d2
0.719 * [taylor]: Taking taylor expansion of 37 in d2
0.719 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.719 * [taylor]: Taking taylor expansion of d3 in d2
0.719 * [taylor]: Taking taylor expansion of 1 in d3
0.721 * [taylor]: Taking taylor expansion of 0 in d2
0.722 * [taylor]: Taking taylor expansion of (+ (* 50653 (/ 1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) (/ 1 (- (+ d3 (* 1369 (pow d3 3))) (* 37 (pow d3 2))))) in d3
0.722 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d3
0.722 * [taylor]: Taking taylor expansion of 50653 in d3
0.722 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d3
0.722 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d3
0.722 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d3
0.722 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.722 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.722 * [taylor]: Taking taylor expansion of d3 in d3
0.722 * [taylor]: Taking taylor expansion of 1369 in d3
0.722 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
0.722 * [taylor]: Taking taylor expansion of 37 in d3
0.722 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.722 * [taylor]: Taking taylor expansion of d3 in d3
0.722 * [taylor]: Taking taylor expansion of (/ 1 (- (+ d3 (* 1369 (pow d3 3))) (* 37 (pow d3 2)))) in d3
0.722 * [taylor]: Taking taylor expansion of (- (+ d3 (* 1369 (pow d3 3))) (* 37 (pow d3 2))) in d3
0.723 * [taylor]: Taking taylor expansion of (+ d3 (* 1369 (pow d3 3))) in d3
0.723 * [taylor]: Taking taylor expansion of d3 in d3
0.723 * [taylor]: Taking taylor expansion of (* 1369 (pow d3 3)) in d3
0.723 * [taylor]: Taking taylor expansion of 1369 in d3
0.723 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.723 * [taylor]: Taking taylor expansion of d3 in d3
0.723 * [taylor]: Taking taylor expansion of (* 37 (pow d3 2)) in d3
0.723 * [taylor]: Taking taylor expansion of 37 in d3
0.723 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.723 * [taylor]: Taking taylor expansion of d3 in d3
0.726 * [taylor]: Taking taylor expansion of 0 in d2
0.726 * [taylor]: Taking taylor expansion of 0 in d3
0.727 * [taylor]: Taking taylor expansion of 0 in d3
0.728 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) (/ 1 (* d1 d2))) (* 50653 (/ 1 (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))))) in (d1 d2 d3) around 0
0.728 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) (/ 1 (* d1 d2))) (* 50653 (/ 1 (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))))) in d3
0.728 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) (/ 1 (* d1 d2))) in d3
0.728 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) in d3
0.728 * [taylor]: Taking taylor expansion of (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))) in d3
0.728 * [taylor]: Taking taylor expansion of d1 in d3
0.728 * [taylor]: Taking taylor expansion of (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))) in d3
0.728 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.728 * [taylor]: Taking taylor expansion of d3 in d3
0.728 * [taylor]: Taking taylor expansion of (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))) in d3
0.728 * [taylor]: Taking taylor expansion of 1369 in d3
0.728 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))) in d3
0.728 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.728 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.728 * [taylor]: Taking taylor expansion of d3 in d3
0.728 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
0.728 * [taylor]: Taking taylor expansion of 37 in d3
0.728 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.728 * [taylor]: Taking taylor expansion of d3 in d3
0.728 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.728 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.728 * [taylor]: Taking taylor expansion of d1 in d3
0.728 * [taylor]: Taking taylor expansion of d2 in d3
0.728 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) in d3
0.728 * [taylor]: Taking taylor expansion of 50653 in d3
0.728 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))) in d3
0.728 * [taylor]: Taking taylor expansion of (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))) in d3
0.729 * [taylor]: Taking taylor expansion of d1 in d3
0.729 * [taylor]: Taking taylor expansion of (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))) in d3
0.729 * [taylor]: Taking taylor expansion of 1369 in d3
0.729 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))) in d3
0.729 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.729 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.729 * [taylor]: Taking taylor expansion of d3 in d3
0.729 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
0.729 * [taylor]: Taking taylor expansion of 37 in d3
0.729 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.729 * [taylor]: Taking taylor expansion of d3 in d3
0.729 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) (/ 1 (* d1 d2))) (* 50653 (/ 1 (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))))) in d2
0.729 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) (/ 1 (* d1 d2))) in d2
0.729 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) in d2
0.729 * [taylor]: Taking taylor expansion of (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))) in d2
0.729 * [taylor]: Taking taylor expansion of d1 in d2
0.729 * [taylor]: Taking taylor expansion of (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))) in d2
0.729 * [taylor]: Taking taylor expansion of (pow d3 3) in d2
0.729 * [taylor]: Taking taylor expansion of d3 in d2
0.729 * [taylor]: Taking taylor expansion of (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))) in d2
0.729 * [taylor]: Taking taylor expansion of 1369 in d2
0.729 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))) in d2
0.729 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d2
0.729 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
0.729 * [taylor]: Taking taylor expansion of d3 in d2
0.729 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d2
0.729 * [taylor]: Taking taylor expansion of 37 in d2
0.729 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.729 * [taylor]: Taking taylor expansion of d3 in d2
0.730 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.730 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.730 * [taylor]: Taking taylor expansion of d1 in d2
0.730 * [taylor]: Taking taylor expansion of d2 in d2
0.730 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) in d2
0.730 * [taylor]: Taking taylor expansion of 50653 in d2
0.730 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))) in d2
0.730 * [taylor]: Taking taylor expansion of (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))) in d2
0.730 * [taylor]: Taking taylor expansion of d1 in d2
0.730 * [taylor]: Taking taylor expansion of (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))) in d2
0.730 * [taylor]: Taking taylor expansion of 1369 in d2
0.730 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))) in d2
0.730 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d2
0.730 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
0.730 * [taylor]: Taking taylor expansion of d3 in d2
0.730 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d2
0.730 * [taylor]: Taking taylor expansion of 37 in d2
0.730 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.731 * [taylor]: Taking taylor expansion of d3 in d2
0.731 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) (/ 1 (* d1 d2))) (* 50653 (/ 1 (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))))) in d1
0.731 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) (/ 1 (* d1 d2))) in d1
0.731 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) in d1
0.731 * [taylor]: Taking taylor expansion of (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))) in d1
0.731 * [taylor]: Taking taylor expansion of d1 in d1
0.731 * [taylor]: Taking taylor expansion of (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))) in d1
0.731 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.731 * [taylor]: Taking taylor expansion of d3 in d1
0.731 * [taylor]: Taking taylor expansion of (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))) in d1
0.731 * [taylor]: Taking taylor expansion of 1369 in d1
0.731 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))) in d1
0.731 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
0.731 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.731 * [taylor]: Taking taylor expansion of d3 in d1
0.731 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
0.731 * [taylor]: Taking taylor expansion of 37 in d1
0.731 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.732 * [taylor]: Taking taylor expansion of d3 in d1
0.733 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.733 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.733 * [taylor]: Taking taylor expansion of d1 in d1
0.733 * [taylor]: Taking taylor expansion of d2 in d1
0.733 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) in d1
0.733 * [taylor]: Taking taylor expansion of 50653 in d1
0.733 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))) in d1
0.733 * [taylor]: Taking taylor expansion of (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))) in d1
0.733 * [taylor]: Taking taylor expansion of d1 in d1
0.733 * [taylor]: Taking taylor expansion of (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))) in d1
0.733 * [taylor]: Taking taylor expansion of 1369 in d1
0.733 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))) in d1
0.733 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
0.733 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.733 * [taylor]: Taking taylor expansion of d3 in d1
0.734 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
0.734 * [taylor]: Taking taylor expansion of 37 in d1
0.734 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.734 * [taylor]: Taking taylor expansion of d3 in d1
0.735 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) (/ 1 (* d1 d2))) (* 50653 (/ 1 (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))))) in d1
0.735 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) (/ 1 (* d1 d2))) in d1
0.735 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) in d1
0.735 * [taylor]: Taking taylor expansion of (* d1 (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))) in d1
0.735 * [taylor]: Taking taylor expansion of d1 in d1
0.735 * [taylor]: Taking taylor expansion of (* (pow d3 3) (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))) in d1
0.735 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.735 * [taylor]: Taking taylor expansion of d3 in d1
0.735 * [taylor]: Taking taylor expansion of (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))) in d1
0.735 * [taylor]: Taking taylor expansion of 1369 in d1
0.735 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))) in d1
0.735 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
0.735 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.735 * [taylor]: Taking taylor expansion of d3 in d1
0.735 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
0.735 * [taylor]: Taking taylor expansion of 37 in d1
0.735 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.735 * [taylor]: Taking taylor expansion of d3 in d1
0.737 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.737 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.737 * [taylor]: Taking taylor expansion of d1 in d1
0.737 * [taylor]: Taking taylor expansion of d2 in d1
0.737 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))))) in d1
0.737 * [taylor]: Taking taylor expansion of 50653 in d1
0.737 * [taylor]: Taking taylor expansion of (/ 1 (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))))) in d1
0.737 * [taylor]: Taking taylor expansion of (* d1 (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))))) in d1
0.737 * [taylor]: Taking taylor expansion of d1 in d1
0.737 * [taylor]: Taking taylor expansion of (+ 1369 (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3)))) in d1
0.737 * [taylor]: Taking taylor expansion of 1369 in d1
0.737 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (* 37 (/ 1 d3))) in d1
0.737 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
0.737 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.737 * [taylor]: Taking taylor expansion of d3 in d1
0.737 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
0.737 * [taylor]: Taking taylor expansion of 37 in d1
0.737 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.737 * [taylor]: Taking taylor expansion of d3 in d1
0.739 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 (+ d3 (+ (* 1369 (pow d3 3)) (* 37 (pow d3 2)))))) (* 50653 (/ 1 (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369))))) in d2
0.739 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 (+ d3 (+ (* 1369 (pow d3 3)) (* 37 (pow d3 2)))))) in d2
0.739 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.739 * [taylor]: Taking taylor expansion of d2 in d2
0.739 * [taylor]: Taking taylor expansion of (/ 1 (+ d3 (+ (* 1369 (pow d3 3)) (* 37 (pow d3 2))))) in d2
0.739 * [taylor]: Taking taylor expansion of (+ d3 (+ (* 1369 (pow d3 3)) (* 37 (pow d3 2)))) in d2
0.739 * [taylor]: Taking taylor expansion of d3 in d2
0.739 * [taylor]: Taking taylor expansion of (+ (* 1369 (pow d3 3)) (* 37 (pow d3 2))) in d2
0.739 * [taylor]: Taking taylor expansion of (* 1369 (pow d3 3)) in d2
0.739 * [taylor]: Taking taylor expansion of 1369 in d2
0.739 * [taylor]: Taking taylor expansion of (pow d3 3) in d2
0.739 * [taylor]: Taking taylor expansion of d3 in d2
0.739 * [taylor]: Taking taylor expansion of (* 37 (pow d3 2)) in d2
0.739 * [taylor]: Taking taylor expansion of 37 in d2
0.739 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
0.739 * [taylor]: Taking taylor expansion of d3 in d2
0.740 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)))) in d2
0.740 * [taylor]: Taking taylor expansion of 50653 in d2
0.740 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369))) in d2
0.740 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) in d2
0.740 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d2
0.740 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
0.740 * [taylor]: Taking taylor expansion of d3 in d2
0.740 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d3)) 1369) in d2
0.740 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d2
0.740 * [taylor]: Taking taylor expansion of 37 in d2
0.740 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.740 * [taylor]: Taking taylor expansion of d3 in d2
0.740 * [taylor]: Taking taylor expansion of 1369 in d2
0.740 * [taylor]: Taking taylor expansion of 1 in d3
0.743 * [taylor]: Taking taylor expansion of 0 in d2
0.744 * [taylor]: Taking taylor expansion of (- (/ 1 (+ d3 (+ (* 1369 (pow d3 3)) (* 37 (pow d3 2))))) (* 50653 (/ 1 (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369))))) in d3
0.744 * [taylor]: Taking taylor expansion of (/ 1 (+ d3 (+ (* 1369 (pow d3 3)) (* 37 (pow d3 2))))) in d3
0.744 * [taylor]: Taking taylor expansion of (+ d3 (+ (* 1369 (pow d3 3)) (* 37 (pow d3 2)))) in d3
0.744 * [taylor]: Taking taylor expansion of d3 in d3
0.744 * [taylor]: Taking taylor expansion of (+ (* 1369 (pow d3 3)) (* 37 (pow d3 2))) in d3
0.744 * [taylor]: Taking taylor expansion of (* 1369 (pow d3 3)) in d3
0.744 * [taylor]: Taking taylor expansion of 1369 in d3
0.744 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.744 * [taylor]: Taking taylor expansion of d3 in d3
0.744 * [taylor]: Taking taylor expansion of (* 37 (pow d3 2)) in d3
0.744 * [taylor]: Taking taylor expansion of 37 in d3
0.744 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.744 * [taylor]: Taking taylor expansion of d3 in d3
0.744 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)))) in d3
0.744 * [taylor]: Taking taylor expansion of 50653 in d3
0.744 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369))) in d3
0.744 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) in d3
0.744 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.744 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.744 * [taylor]: Taking taylor expansion of d3 in d3
0.744 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d3)) 1369) in d3
0.744 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
0.744 * [taylor]: Taking taylor expansion of 37 in d3
0.744 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.744 * [taylor]: Taking taylor expansion of d3 in d3
0.744 * [taylor]: Taking taylor expansion of 1369 in d3
0.747 * [taylor]: Taking taylor expansion of 0 in d2
0.747 * [taylor]: Taking taylor expansion of 0 in d3
0.749 * [taylor]: Taking taylor expansion of 0 in d3
0.749 * * * [progress]: simplifying candidates
0.750 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (+.f64 (log.f64 d1) (log.f64 (+.f64 (pow.f64 d3 3) 50653))) (log.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (-.f64 (log.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))) (log.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (log.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (exp.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (/.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 (*.f64 (+.f64 (pow.f64 d3 3) 50653) (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (pow.f64 d3 3) 50653))) (*.f64 (*.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (/.f64 (*.f64 (*.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))) (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))) (*.f64 (*.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))) (cbrt.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))
  (cbrt.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (*.f64 (*.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (sqrt.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (sqrt.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (neg.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)))
  (neg.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))
  (/.f64 d1 (*.f64 (cbrt.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))) (cbrt.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))
  (/.f64 (+.f64 (pow.f64 d3 3) 50653) (cbrt.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (/.f64 d1 (sqrt.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (/.f64 (+.f64 (pow.f64 d3 3) 50653) (sqrt.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (/.f64 d1 1)
  (/.f64 (+.f64 (pow.f64 d3 3) 50653) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))
  (/.f64 1 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))
  (/.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))) (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)))
  (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (*.f64 (cbrt.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))) (cbrt.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))
  (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (sqrt.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) 1)
  (/.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))) (+.f64 (pow.f64 d3 3) 50653))
  (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (pow.f64 (*.f64 d3 d3) 3) (pow.f64 (-.f64 (*.f64 37 37) (*.f64 d3 37)) 3)))
  (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 (*.f64 (*.f64 d3 d3) (*.f64 d3 d3)) (*.f64 (-.f64 (*.f64 37 37) (*.f64 d3 37)) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (*.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))) (+.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (-.f64 (*.f64 50653 50653) (*.f64 (pow.f64 d3 3) 50653))))
  (*.f64 (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))) (-.f64 (pow.f64 d3 3) 50653))
  (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))
  (+.f64 (log.f64 d1) (log.f64 (+.f64 (pow.f64 d3 3) 50653)))
  (log.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)))
  (exp.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 (*.f64 (+.f64 (pow.f64 d3 3) 50653) (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))) (cbrt.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))))
  (cbrt.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (*.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))) (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)))
  (sqrt.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)))
  (sqrt.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 (pow.f64 d3 3) 50653)))
  (*.f64 d1 (pow.f64 d3 3))
  (*.f64 d1 50653)
  (*.f64 (pow.f64 d3 3) d1)
  (*.f64 50653 d1)
  (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 (pow.f64 d3 3) 50653)) (cbrt.f64 (+.f64 (pow.f64 d3 3) 50653))))
  (*.f64 d1 (sqrt.f64 (+.f64 (pow.f64 d3 3) 50653)))
  (*.f64 d1 1)
  (*.f64 d1 1)
  (*.f64 (cbrt.f64 d1) (+.f64 (pow.f64 d3 3) 50653))
  (*.f64 (sqrt.f64 d1) (+.f64 (pow.f64 d3 3) 50653))
  (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))
  (*.f64 d1 (+.f64 (pow.f64 (pow.f64 d3 3) 3) (pow.f64 50653 3)))
  (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))
  (/.f64 (exp.f64 (*.f64 37 37)) (exp.f64 (*.f64 d3 37)))
  (log.f64 (-.f64 (*.f64 37 37) (*.f64 d3 37)))
  (exp.f64 (-.f64 (*.f64 37 37) (*.f64 d3 37)))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 37 37) (*.f64 d3 37))) (cbrt.f64 (-.f64 (*.f64 37 37) (*.f64 d3 37))))
  (cbrt.f64 (-.f64 (*.f64 37 37) (*.f64 d3 37)))
  (*.f64 (*.f64 (-.f64 (*.f64 37 37) (*.f64 d3 37)) (-.f64 (*.f64 37 37) (*.f64 d3 37))) (-.f64 (*.f64 37 37) (*.f64 d3 37)))
  (sqrt.f64 (-.f64 (*.f64 37 37) (*.f64 d3 37)))
  (sqrt.f64 (-.f64 (*.f64 37 37) (*.f64 d3 37)))
  (-.f64 (pow.f64 (*.f64 37 37) 3) (pow.f64 (*.f64 d3 37) 3))
  (+.f64 (*.f64 (*.f64 37 37) (*.f64 37 37)) (+.f64 (*.f64 (*.f64 d3 37) (*.f64 d3 37)) (*.f64 (*.f64 37 37) (*.f64 d3 37))))
  (neg.f64 (*.f64 d3 37))
  (-.f64 (*.f64 (*.f64 37 37) (*.f64 37 37)) (*.f64 (*.f64 d3 37) (*.f64 d3 37)))
  (+.f64 (*.f64 37 37) (*.f64 d3 37))
  (-.f64 37 d3)
  (*.f64 (exp.f64 (*.f64 d1 d2)) (exp.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))
  (log.f64 (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))
  (exp.f64 (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))) (cbrt.f64 (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))))
  (cbrt.f64 (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))
  (*.f64 (*.f64 (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))) (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))) (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))
  (sqrt.f64 (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))
  (sqrt.f64 (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))
  (+.f64 (pow.f64 (*.f64 d1 d2) 3) (pow.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))) 3))
  (+.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (-.f64 (*.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))) (*.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))))
  (-.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (*.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))
  (-.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37)))))
  (+.f64 (*.f64 37 d1) (*.f64 d1 d3))
  (+.f64 (*.f64 37 d1) (*.f64 d1 d3))
  (+.f64 (*.f64 37 d1) (*.f64 d1 d3))
  (*.f64 50653 d1)
  (+.f64 (*.f64 50653 d1) (*.f64 d1 (pow.f64 d3 3)))
  (+.f64 (*.f64 50653 d1) (*.f64 d1 (pow.f64 d3 3)))
  (-.f64 1369 (*.f64 37 d3))
  (-.f64 1369 (*.f64 37 d3))
  (-.f64 1369 (*.f64 37 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.826 * * [simplify]: iteration  0 :  4947  enodes  (cost  1093 )
0.826 * * [simplify]: iteration  1 :  4947  enodes  (cost  1093 )
0.830 * [simplify]: Simplified to:
   (log.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))))
  (log.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))))
  (log.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))))
  (exp.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))))
  (pow.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) 3)
  (pow.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) 3)
  (*.f64 (cbrt.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))) (cbrt.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))))
  (cbrt.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))))
  (pow.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) 3)
  (sqrt.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))))
  (sqrt.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))))
  (*.f64 d1 (-.f64 -50653 (pow.f64 d3 3)))
  (neg.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))
  (/.f64 d1 (*.f64 (cbrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (cbrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))))
  (/.f64 (+.f64 (pow.f64 d3 3) 50653) (cbrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))))
  (/.f64 d1 (sqrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))))
  (/.f64 (+.f64 (pow.f64 d3 3) 50653) (sqrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))))
  d1
  (/.f64 (+.f64 (pow.f64 d3 3) 50653) (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))
  (/.f64 1 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))
  (/.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (/.f64 d1 (*.f64 (cbrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (cbrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))))) (+.f64 (pow.f64 d3 3) 50653))
  (*.f64 (/.f64 d1 (sqrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))) (+.f64 (pow.f64 d3 3) 50653))
  (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))
  (/.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (+.f64 (pow.f64 d3 3) 50653))
  (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (pow.f64 d3 6) (pow.f64 (-.f64 1369 (*.f64 d3 37)) 3)))
  (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 (pow.f64 d3 4) (*.f64 (-.f64 1369 (*.f64 d3 37)) (-.f64 1369 (*.f64 d3 37)))))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (+.f64 (pow.f64 d3 6) (-.f64 2565726409 (*.f64 (pow.f64 d3 3) 50653))))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))
  (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))
  (log.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)))
  (log.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)))
  (exp.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)))
  (pow.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) 3)
  (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))) (cbrt.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))))
  (cbrt.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)))
  (pow.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) 3)
  (sqrt.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)))
  (sqrt.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 (pow.f64 d3 3) 50653)))
  (*.f64 d1 (pow.f64 d3 3))
  (*.f64 d1 50653)
  (*.f64 d1 (pow.f64 d3 3))
  (*.f64 d1 50653)
  (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 (pow.f64 d3 3) 50653)) (cbrt.f64 (+.f64 (pow.f64 d3 3) 50653))))
  (*.f64 d1 (sqrt.f64 (+.f64 (pow.f64 d3 3) 50653)))
  d1
  d1
  (*.f64 (+.f64 (pow.f64 d3 3) 50653) (cbrt.f64 d1))
  (*.f64 (+.f64 (pow.f64 d3 3) 50653) (sqrt.f64 d1))
  (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))
  (*.f64 d1 (+.f64 (pow.f64 (pow.f64 d3 3) 3) 129961739795077))
  (*.f64 d1 (+.f64 (pow.f64 d3 6) -2565726409))
  (exp.f64 (-.f64 1369 (*.f64 d3 37)))
  (log.f64 (-.f64 1369 (*.f64 d3 37)))
  (exp.f64 (-.f64 1369 (*.f64 d3 37)))
  (*.f64 (cbrt.f64 (-.f64 1369 (*.f64 d3 37))) (cbrt.f64 (-.f64 1369 (*.f64 d3 37))))
  (cbrt.f64 (-.f64 1369 (*.f64 d3 37)))
  (pow.f64 (-.f64 1369 (*.f64 d3 37)) 3)
  (sqrt.f64 (-.f64 1369 (*.f64 d3 37)))
  (sqrt.f64 (-.f64 1369 (*.f64 d3 37)))
  (-.f64 2565726409 (*.f64 (pow.f64 d3 3) 50653))
  (+.f64 1874161 (*.f64 d3 (+.f64 50653 (*.f64 d3 1369))))
  (*.f64 d3 -37)
  (-.f64 1874161 (*.f64 (*.f64 d3 d3) 1369))
  (+.f64 1369 (*.f64 d3 37))
  (-.f64 37 d3)
  (exp.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (*.f64 d1 d2)))
  (log.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (*.f64 d1 d2)))
  (exp.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (*.f64 d1 d2)))
  (*.f64 (cbrt.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (*.f64 d1 d2))) (cbrt.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (*.f64 d1 d2))))
  (cbrt.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (*.f64 d1 d2)))
  (pow.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (*.f64 d1 d2)) 3)
  (sqrt.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (*.f64 d1 d2)))
  (sqrt.f64 (+.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (*.f64 d1 d2)))
  (+.f64 (pow.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) 3) (pow.f64 (*.f64 d1 d2) 3))
  (+.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (*.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (-.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (*.f64 d1 d2))))
  (-.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (*.f64 (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))))
  (-.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))))
  (*.f64 d1 (+.f64 37 d3))
  (*.f64 d1 (+.f64 37 d3))
  (*.f64 d1 (+.f64 37 d3))
  (*.f64 d1 50653)
  (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))
  (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))
  (-.f64 1369 (*.f64 d3 37))
  (-.f64 1369 (*.f64 d3 37))
  (-.f64 1369 (*.f64 d3 37))
  (*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
  (*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
  (*.f64 d1 (+.f64 37 (+.f64 d3 d2)))
0.831 * * * [progress]: adding candidates to table
0.890 * * [progress]: iteration 4 / 4
0.890 * * * [progress]: picking best candidate
0.892 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))))>
0.893 * * * [progress]: localizing error
0.909 * * * [progress]: generating rewritten candidates
0.909 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.931 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.944 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
0.954 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.987 * * * [progress]: generating series expansions
0.987 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.988 * [approximate]: Taking taylor expansion of (/ (* d1 (- (pow d3 6) 2565726409)) (* (- (+ (pow d3 2) 1369) (* 37 d3)) (- (pow d3 3) 50653))) in (d1 d3) around 0
0.988 * [taylor]: Taking taylor expansion of (/ (* d1 (- (pow d3 6) 2565726409)) (* (- (+ (pow d3 2) 1369) (* 37 d3)) (- (pow d3 3) 50653))) in d3
0.988 * [taylor]: Taking taylor expansion of (* d1 (- (pow d3 6) 2565726409)) in d3
0.988 * [taylor]: Taking taylor expansion of d1 in d3
0.988 * [taylor]: Taking taylor expansion of (- (pow d3 6) 2565726409) in d3
0.988 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
0.988 * [taylor]: Taking taylor expansion of d3 in d3
0.988 * [taylor]: Taking taylor expansion of 2565726409 in d3
0.988 * [taylor]: Taking taylor expansion of (* (- (+ (pow d3 2) 1369) (* 37 d3)) (- (pow d3 3) 50653)) in d3
0.988 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d3
0.988 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d3
0.988 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.988 * [taylor]: Taking taylor expansion of d3 in d3
0.988 * [taylor]: Taking taylor expansion of 1369 in d3
0.988 * [taylor]: Taking taylor expansion of (* 37 d3) in d3
0.988 * [taylor]: Taking taylor expansion of 37 in d3
0.989 * [taylor]: Taking taylor expansion of d3 in d3
0.989 * [taylor]: Taking taylor expansion of (- (pow d3 3) 50653) in d3
0.989 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.989 * [taylor]: Taking taylor expansion of d3 in d3
0.989 * [taylor]: Taking taylor expansion of 50653 in d3
0.989 * [taylor]: Taking taylor expansion of (/ (* d1 (- (pow d3 6) 2565726409)) (* (- (+ (pow d3 2) 1369) (* 37 d3)) (- (pow d3 3) 50653))) in d1
0.989 * [taylor]: Taking taylor expansion of (* d1 (- (pow d3 6) 2565726409)) in d1
0.989 * [taylor]: Taking taylor expansion of d1 in d1
0.989 * [taylor]: Taking taylor expansion of (- (pow d3 6) 2565726409) in d1
0.989 * [taylor]: Taking taylor expansion of (pow d3 6) in d1
0.989 * [taylor]: Taking taylor expansion of d3 in d1
0.989 * [taylor]: Taking taylor expansion of 2565726409 in d1
0.989 * [taylor]: Taking taylor expansion of (* (- (+ (pow d3 2) 1369) (* 37 d3)) (- (pow d3 3) 50653)) in d1
0.989 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d1
0.989 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d1
0.989 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.989 * [taylor]: Taking taylor expansion of d3 in d1
0.989 * [taylor]: Taking taylor expansion of 1369 in d1
0.989 * [taylor]: Taking taylor expansion of (* 37 d3) in d1
0.989 * [taylor]: Taking taylor expansion of 37 in d1
0.990 * [taylor]: Taking taylor expansion of d3 in d1
0.990 * [taylor]: Taking taylor expansion of (- (pow d3 3) 50653) in d1
0.990 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.990 * [taylor]: Taking taylor expansion of d3 in d1
0.990 * [taylor]: Taking taylor expansion of 50653 in d1
0.992 * [taylor]: Taking taylor expansion of (/ (* d1 (- (pow d3 6) 2565726409)) (* (- (+ (pow d3 2) 1369) (* 37 d3)) (- (pow d3 3) 50653))) in d1
0.993 * [taylor]: Taking taylor expansion of (* d1 (- (pow d3 6) 2565726409)) in d1
0.993 * [taylor]: Taking taylor expansion of d1 in d1
0.993 * [taylor]: Taking taylor expansion of (- (pow d3 6) 2565726409) in d1
0.993 * [taylor]: Taking taylor expansion of (pow d3 6) in d1
0.993 * [taylor]: Taking taylor expansion of d3 in d1
0.993 * [taylor]: Taking taylor expansion of 2565726409 in d1
0.993 * [taylor]: Taking taylor expansion of (* (- (+ (pow d3 2) 1369) (* 37 d3)) (- (pow d3 3) 50653)) in d1
0.993 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d1
0.993 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d1
0.993 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
0.993 * [taylor]: Taking taylor expansion of d3 in d1
0.993 * [taylor]: Taking taylor expansion of 1369 in d1
0.993 * [taylor]: Taking taylor expansion of (* 37 d3) in d1
0.993 * [taylor]: Taking taylor expansion of 37 in d1
0.993 * [taylor]: Taking taylor expansion of d3 in d1
0.993 * [taylor]: Taking taylor expansion of (- (pow d3 3) 50653) in d1
0.993 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
0.993 * [taylor]: Taking taylor expansion of d3 in d1
0.993 * [taylor]: Taking taylor expansion of 50653 in d1
0.996 * [taylor]: Taking taylor expansion of (/ (- (pow d3 6) 2565726409) (* (- (+ (pow d3 2) 1369) (* 37 d3)) (- (pow d3 3) 50653))) in d3
0.996 * [taylor]: Taking taylor expansion of (- (pow d3 6) 2565726409) in d3
0.996 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
0.996 * [taylor]: Taking taylor expansion of d3 in d3
0.996 * [taylor]: Taking taylor expansion of 2565726409 in d3
0.996 * [taylor]: Taking taylor expansion of (* (- (+ (pow d3 2) 1369) (* 37 d3)) (- (pow d3 3) 50653)) in d3
0.996 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d3
0.996 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d3
0.996 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.996 * [taylor]: Taking taylor expansion of d3 in d3
0.996 * [taylor]: Taking taylor expansion of 1369 in d3
0.996 * [taylor]: Taking taylor expansion of (* 37 d3) in d3
0.996 * [taylor]: Taking taylor expansion of 37 in d3
0.996 * [taylor]: Taking taylor expansion of d3 in d3
0.996 * [taylor]: Taking taylor expansion of (- (pow d3 3) 50653) in d3
0.996 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.996 * [taylor]: Taking taylor expansion of d3 in d3
0.996 * [taylor]: Taking taylor expansion of 50653 in d3
0.999 * [taylor]: Taking taylor expansion of 0 in d3
1.002 * [taylor]: Taking taylor expansion of 0 in d3
1.006 * [taylor]: Taking taylor expansion of 0 in d3
1.007 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) (* d1 (* (- (/ 1 (pow d3 3)) 50653) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) in (d1 d3) around 0
1.007 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) (* d1 (* (- (/ 1 (pow d3 3)) 50653) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) in d3
1.007 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d3
1.007 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d3
1.007 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.007 * [taylor]: Taking taylor expansion of d3 in d3
1.007 * [taylor]: Taking taylor expansion of 2565726409 in d3
1.007 * [taylor]: Taking taylor expansion of (* d1 (* (- (/ 1 (pow d3 3)) 50653) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d3
1.007 * [taylor]: Taking taylor expansion of d1 in d3
1.007 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow d3 3)) 50653) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d3
1.007 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 3)) 50653) in d3
1.007 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
1.007 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
1.007 * [taylor]: Taking taylor expansion of d3 in d3
1.007 * [taylor]: Taking taylor expansion of 50653 in d3
1.008 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d3
1.008 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d3
1.008 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
1.008 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
1.008 * [taylor]: Taking taylor expansion of d3 in d3
1.008 * [taylor]: Taking taylor expansion of 1369 in d3
1.008 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
1.008 * [taylor]: Taking taylor expansion of 37 in d3
1.008 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
1.008 * [taylor]: Taking taylor expansion of d3 in d3
1.008 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) (* d1 (* (- (/ 1 (pow d3 3)) 50653) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) in d1
1.008 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d1
1.008 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d1
1.008 * [taylor]: Taking taylor expansion of (pow d3 6) in d1
1.008 * [taylor]: Taking taylor expansion of d3 in d1
1.009 * [taylor]: Taking taylor expansion of 2565726409 in d1
1.009 * [taylor]: Taking taylor expansion of (* d1 (* (- (/ 1 (pow d3 3)) 50653) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d1
1.009 * [taylor]: Taking taylor expansion of d1 in d1
1.009 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow d3 3)) 50653) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d1
1.009 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 3)) 50653) in d1
1.009 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d1
1.009 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
1.009 * [taylor]: Taking taylor expansion of d3 in d1
1.009 * [taylor]: Taking taylor expansion of 50653 in d1
1.009 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d1
1.009 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d1
1.009 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
1.009 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
1.009 * [taylor]: Taking taylor expansion of d3 in d1
1.009 * [taylor]: Taking taylor expansion of 1369 in d1
1.009 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
1.009 * [taylor]: Taking taylor expansion of 37 in d1
1.009 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
1.009 * [taylor]: Taking taylor expansion of d3 in d1
1.014 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) (* d1 (* (- (/ 1 (pow d3 3)) 50653) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))))) in d1
1.014 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d1
1.014 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d1
1.014 * [taylor]: Taking taylor expansion of (pow d3 6) in d1
1.014 * [taylor]: Taking taylor expansion of d3 in d1
1.014 * [taylor]: Taking taylor expansion of 2565726409 in d1
1.014 * [taylor]: Taking taylor expansion of (* d1 (* (- (/ 1 (pow d3 3)) 50653) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))))) in d1
1.014 * [taylor]: Taking taylor expansion of d1 in d1
1.015 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow d3 3)) 50653) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d1
1.015 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 3)) 50653) in d1
1.015 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d1
1.015 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
1.015 * [taylor]: Taking taylor expansion of d3 in d1
1.015 * [taylor]: Taking taylor expansion of 50653 in d1
1.015 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d1
1.015 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d1
1.015 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
1.015 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
1.015 * [taylor]: Taking taylor expansion of d3 in d1
1.015 * [taylor]: Taking taylor expansion of 1369 in d1
1.015 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
1.015 * [taylor]: Taking taylor expansion of 37 in d1
1.015 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
1.015 * [taylor]: Taking taylor expansion of d3 in d1
1.019 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) (- (+ (* 1369 (/ 1 (pow d3 3))) (+ (/ 1 (pow d3 5)) (* 1874161 (/ 1 d3)))) (+ 69343957 (+ (* 37 (/ 1 (pow d3 4))) (* 50653 (/ 1 (pow d3 2))))))) in d3
1.019 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d3
1.019 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d3
1.019 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.019 * [taylor]: Taking taylor expansion of d3 in d3
1.019 * [taylor]: Taking taylor expansion of 2565726409 in d3
1.019 * [taylor]: Taking taylor expansion of (- (+ (* 1369 (/ 1 (pow d3 3))) (+ (/ 1 (pow d3 5)) (* 1874161 (/ 1 d3)))) (+ 69343957 (+ (* 37 (/ 1 (pow d3 4))) (* 50653 (/ 1 (pow d3 2)))))) in d3
1.019 * [taylor]: Taking taylor expansion of (+ (* 1369 (/ 1 (pow d3 3))) (+ (/ 1 (pow d3 5)) (* 1874161 (/ 1 d3)))) in d3
1.019 * [taylor]: Taking taylor expansion of (* 1369 (/ 1 (pow d3 3))) in d3
1.019 * [taylor]: Taking taylor expansion of 1369 in d3
1.019 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
1.019 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
1.019 * [taylor]: Taking taylor expansion of d3 in d3
1.019 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 5)) (* 1874161 (/ 1 d3))) in d3
1.019 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 5)) in d3
1.019 * [taylor]: Taking taylor expansion of (pow d3 5) in d3
1.019 * [taylor]: Taking taylor expansion of d3 in d3
1.019 * [taylor]: Taking taylor expansion of (* 1874161 (/ 1 d3)) in d3
1.019 * [taylor]: Taking taylor expansion of 1874161 in d3
1.019 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
1.019 * [taylor]: Taking taylor expansion of d3 in d3
1.019 * [taylor]: Taking taylor expansion of (+ 69343957 (+ (* 37 (/ 1 (pow d3 4))) (* 50653 (/ 1 (pow d3 2))))) in d3
1.019 * [taylor]: Taking taylor expansion of 69343957 in d3
1.019 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 (pow d3 4))) (* 50653 (/ 1 (pow d3 2)))) in d3
1.020 * [taylor]: Taking taylor expansion of (* 37 (/ 1 (pow d3 4))) in d3
1.020 * [taylor]: Taking taylor expansion of 37 in d3
1.020 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 4)) in d3
1.020 * [taylor]: Taking taylor expansion of (pow d3 4) in d3
1.020 * [taylor]: Taking taylor expansion of d3 in d3
1.020 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (pow d3 2))) in d3
1.020 * [taylor]: Taking taylor expansion of 50653 in d3
1.020 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
1.020 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
1.020 * [taylor]: Taking taylor expansion of d3 in d3
1.023 * [taylor]: Taking taylor expansion of 0 in d3
1.027 * [taylor]: Taking taylor expansion of 0 in d3
1.032 * [taylor]: Taking taylor expansion of 0 in d3
1.038 * [taylor]: Taking taylor expansion of 0 in d3
1.039 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) (* d1 (* (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) (+ (/ 1 (pow d3 3)) 50653)))) in (d1 d3) around 0
1.039 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) (* d1 (* (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) (+ (/ 1 (pow d3 3)) 50653)))) in d3
1.039 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d3
1.039 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d3
1.039 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.039 * [taylor]: Taking taylor expansion of d3 in d3
1.039 * [taylor]: Taking taylor expansion of 2565726409 in d3
1.039 * [taylor]: Taking taylor expansion of (* d1 (* (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) (+ (/ 1 (pow d3 3)) 50653))) in d3
1.039 * [taylor]: Taking taylor expansion of d1 in d3
1.039 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) (+ (/ 1 (pow d3 3)) 50653)) in d3
1.039 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) in d3
1.039 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
1.039 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
1.039 * [taylor]: Taking taylor expansion of d3 in d3
1.039 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d3)) 1369) in d3
1.039 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
1.039 * [taylor]: Taking taylor expansion of 37 in d3
1.039 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
1.039 * [taylor]: Taking taylor expansion of d3 in d3
1.039 * [taylor]: Taking taylor expansion of 1369 in d3
1.039 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 3)) 50653) in d3
1.039 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
1.039 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
1.039 * [taylor]: Taking taylor expansion of d3 in d3
1.039 * [taylor]: Taking taylor expansion of 50653 in d3
1.039 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) (* d1 (* (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) (+ (/ 1 (pow d3 3)) 50653)))) in d1
1.039 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d1
1.039 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d1
1.039 * [taylor]: Taking taylor expansion of (pow d3 6) in d1
1.039 * [taylor]: Taking taylor expansion of d3 in d1
1.040 * [taylor]: Taking taylor expansion of 2565726409 in d1
1.040 * [taylor]: Taking taylor expansion of (* d1 (* (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) (+ (/ 1 (pow d3 3)) 50653))) in d1
1.040 * [taylor]: Taking taylor expansion of d1 in d1
1.040 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) (+ (/ 1 (pow d3 3)) 50653)) in d1
1.040 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) in d1
1.040 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
1.040 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
1.040 * [taylor]: Taking taylor expansion of d3 in d1
1.040 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d3)) 1369) in d1
1.040 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
1.040 * [taylor]: Taking taylor expansion of 37 in d1
1.040 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
1.040 * [taylor]: Taking taylor expansion of d3 in d1
1.040 * [taylor]: Taking taylor expansion of 1369 in d1
1.040 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 3)) 50653) in d1
1.040 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d1
1.040 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
1.040 * [taylor]: Taking taylor expansion of d3 in d1
1.040 * [taylor]: Taking taylor expansion of 50653 in d1
1.042 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) (* d1 (* (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) (+ (/ 1 (pow d3 3)) 50653)))) in d1
1.042 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d1
1.042 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d1
1.042 * [taylor]: Taking taylor expansion of (pow d3 6) in d1
1.042 * [taylor]: Taking taylor expansion of d3 in d1
1.043 * [taylor]: Taking taylor expansion of 2565726409 in d1
1.043 * [taylor]: Taking taylor expansion of (* d1 (* (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) (+ (/ 1 (pow d3 3)) 50653))) in d1
1.043 * [taylor]: Taking taylor expansion of d1 in d1
1.043 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) (+ (/ 1 (pow d3 3)) 50653)) in d1
1.043 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) in d1
1.043 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d1
1.043 * [taylor]: Taking taylor expansion of (pow d3 2) in d1
1.043 * [taylor]: Taking taylor expansion of d3 in d1
1.043 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d3)) 1369) in d1
1.043 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d1
1.043 * [taylor]: Taking taylor expansion of 37 in d1
1.043 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
1.043 * [taylor]: Taking taylor expansion of d3 in d1
1.043 * [taylor]: Taking taylor expansion of 1369 in d1
1.043 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 3)) 50653) in d1
1.043 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d1
1.043 * [taylor]: Taking taylor expansion of (pow d3 3) in d1
1.043 * [taylor]: Taking taylor expansion of d3 in d1
1.043 * [taylor]: Taking taylor expansion of 50653 in d1
1.046 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) (+ 69343957 (+ (/ 1 (pow d3 5)) (+ (* 37 (/ 1 (pow d3 4))) (+ (* 1369 (/ 1 (pow d3 3))) (+ (* 50653 (/ 1 (pow d3 2))) (* 1874161 (/ 1 d3)))))))) in d3
1.046 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d3
1.046 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d3
1.046 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.046 * [taylor]: Taking taylor expansion of d3 in d3
1.046 * [taylor]: Taking taylor expansion of 2565726409 in d3
1.046 * [taylor]: Taking taylor expansion of (+ 69343957 (+ (/ 1 (pow d3 5)) (+ (* 37 (/ 1 (pow d3 4))) (+ (* 1369 (/ 1 (pow d3 3))) (+ (* 50653 (/ 1 (pow d3 2))) (* 1874161 (/ 1 d3))))))) in d3
1.046 * [taylor]: Taking taylor expansion of 69343957 in d3
1.046 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 5)) (+ (* 37 (/ 1 (pow d3 4))) (+ (* 1369 (/ 1 (pow d3 3))) (+ (* 50653 (/ 1 (pow d3 2))) (* 1874161 (/ 1 d3)))))) in d3
1.046 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 5)) in d3
1.046 * [taylor]: Taking taylor expansion of (pow d3 5) in d3
1.046 * [taylor]: Taking taylor expansion of d3 in d3
1.046 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 (pow d3 4))) (+ (* 1369 (/ 1 (pow d3 3))) (+ (* 50653 (/ 1 (pow d3 2))) (* 1874161 (/ 1 d3))))) in d3
1.046 * [taylor]: Taking taylor expansion of (* 37 (/ 1 (pow d3 4))) in d3
1.046 * [taylor]: Taking taylor expansion of 37 in d3
1.046 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 4)) in d3
1.046 * [taylor]: Taking taylor expansion of (pow d3 4) in d3
1.046 * [taylor]: Taking taylor expansion of d3 in d3
1.046 * [taylor]: Taking taylor expansion of (+ (* 1369 (/ 1 (pow d3 3))) (+ (* 50653 (/ 1 (pow d3 2))) (* 1874161 (/ 1 d3)))) in d3
1.046 * [taylor]: Taking taylor expansion of (* 1369 (/ 1 (pow d3 3))) in d3
1.046 * [taylor]: Taking taylor expansion of 1369 in d3
1.046 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
1.046 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
1.046 * [taylor]: Taking taylor expansion of d3 in d3
1.046 * [taylor]: Taking taylor expansion of (+ (* 50653 (/ 1 (pow d3 2))) (* 1874161 (/ 1 d3))) in d3
1.046 * [taylor]: Taking taylor expansion of (* 50653 (/ 1 (pow d3 2))) in d3
1.046 * [taylor]: Taking taylor expansion of 50653 in d3
1.046 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
1.046 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
1.046 * [taylor]: Taking taylor expansion of d3 in d3
1.046 * [taylor]: Taking taylor expansion of (* 1874161 (/ 1 d3)) in d3
1.046 * [taylor]: Taking taylor expansion of 1874161 in d3
1.046 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
1.046 * [taylor]: Taking taylor expansion of d3 in d3
1.049 * [taylor]: Taking taylor expansion of 0 in d3
1.057 * [taylor]: Taking taylor expansion of 0 in d3
1.062 * [taylor]: Taking taylor expansion of 0 in d3
1.068 * [taylor]: Taking taylor expansion of 0 in d3
1.068 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.068 * [approximate]: Taking taylor expansion of (* d1 (- (pow d3 6) 2565726409)) in (d1 d3) around 0
1.068 * [taylor]: Taking taylor expansion of (* d1 (- (pow d3 6) 2565726409)) in d3
1.068 * [taylor]: Taking taylor expansion of d1 in d3
1.068 * [taylor]: Taking taylor expansion of (- (pow d3 6) 2565726409) in d3
1.068 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.068 * [taylor]: Taking taylor expansion of d3 in d3
1.068 * [taylor]: Taking taylor expansion of 2565726409 in d3
1.069 * [taylor]: Taking taylor expansion of (* d1 (- (pow d3 6) 2565726409)) in d1
1.069 * [taylor]: Taking taylor expansion of d1 in d1
1.069 * [taylor]: Taking taylor expansion of (- (pow d3 6) 2565726409) in d1
1.069 * [taylor]: Taking taylor expansion of (pow d3 6) in d1
1.069 * [taylor]: Taking taylor expansion of d3 in d1
1.069 * [taylor]: Taking taylor expansion of 2565726409 in d1
1.069 * [taylor]: Taking taylor expansion of (* d1 (- (pow d3 6) 2565726409)) in d1
1.069 * [taylor]: Taking taylor expansion of d1 in d1
1.069 * [taylor]: Taking taylor expansion of (- (pow d3 6) 2565726409) in d1
1.069 * [taylor]: Taking taylor expansion of (pow d3 6) in d1
1.069 * [taylor]: Taking taylor expansion of d3 in d1
1.069 * [taylor]: Taking taylor expansion of 2565726409 in d1
1.069 * [taylor]: Taking taylor expansion of 0 in d3
1.069 * [taylor]: Taking taylor expansion of (- (pow d3 6) 2565726409) in d3
1.069 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.069 * [taylor]: Taking taylor expansion of d3 in d3
1.069 * [taylor]: Taking taylor expansion of 2565726409 in d3
1.070 * [taylor]: Taking taylor expansion of 0 in d3
1.070 * [taylor]: Taking taylor expansion of 0 in d3
1.071 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) d1) in (d1 d3) around 0
1.071 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) d1) in d3
1.071 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d3
1.071 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d3
1.071 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.071 * [taylor]: Taking taylor expansion of d3 in d3
1.071 * [taylor]: Taking taylor expansion of 2565726409 in d3
1.071 * [taylor]: Taking taylor expansion of d1 in d3
1.071 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) d1) in d1
1.071 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d1
1.071 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d1
1.071 * [taylor]: Taking taylor expansion of (pow d3 6) in d1
1.071 * [taylor]: Taking taylor expansion of d3 in d1
1.071 * [taylor]: Taking taylor expansion of 2565726409 in d1
1.071 * [taylor]: Taking taylor expansion of d1 in d1
1.071 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) d1) in d1
1.071 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d1
1.071 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d1
1.071 * [taylor]: Taking taylor expansion of (pow d3 6) in d1
1.071 * [taylor]: Taking taylor expansion of d3 in d1
1.072 * [taylor]: Taking taylor expansion of 2565726409 in d1
1.072 * [taylor]: Taking taylor expansion of d1 in d1
1.072 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d3
1.072 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d3
1.072 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.072 * [taylor]: Taking taylor expansion of d3 in d3
1.072 * [taylor]: Taking taylor expansion of 2565726409 in d3
1.072 * [taylor]: Taking taylor expansion of 0 in d3
1.073 * [taylor]: Taking taylor expansion of 0 in d3
1.074 * [taylor]: Taking taylor expansion of 0 in d3
1.075 * [taylor]: Taking taylor expansion of 0 in d3
1.076 * [taylor]: Taking taylor expansion of 0 in d3
1.077 * [taylor]: Taking taylor expansion of 0 in d3
1.079 * [taylor]: Taking taylor expansion of 0 in d3
1.081 * [taylor]: Taking taylor expansion of 0 in d3
1.082 * [taylor]: Taking taylor expansion of 0 in d3
1.083 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow d3 6)) 2565726409) d1)) in (d1 d3) around 0
1.083 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow d3 6)) 2565726409) d1)) in d3
1.083 * [taylor]: Taking taylor expansion of -1 in d3
1.083 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) d1) in d3
1.083 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d3
1.083 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d3
1.083 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.083 * [taylor]: Taking taylor expansion of d3 in d3
1.083 * [taylor]: Taking taylor expansion of 2565726409 in d3
1.083 * [taylor]: Taking taylor expansion of d1 in d3
1.083 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow d3 6)) 2565726409) d1)) in d1
1.083 * [taylor]: Taking taylor expansion of -1 in d1
1.083 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) d1) in d1
1.083 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d1
1.083 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d1
1.083 * [taylor]: Taking taylor expansion of (pow d3 6) in d1
1.083 * [taylor]: Taking taylor expansion of d3 in d1
1.084 * [taylor]: Taking taylor expansion of 2565726409 in d1
1.084 * [taylor]: Taking taylor expansion of d1 in d1
1.084 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow d3 6)) 2565726409) d1)) in d1
1.084 * [taylor]: Taking taylor expansion of -1 in d1
1.084 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow d3 6)) 2565726409) d1) in d1
1.084 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d1
1.084 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d1
1.084 * [taylor]: Taking taylor expansion of (pow d3 6) in d1
1.084 * [taylor]: Taking taylor expansion of d3 in d1
1.084 * [taylor]: Taking taylor expansion of 2565726409 in d1
1.084 * [taylor]: Taking taylor expansion of d1 in d1
1.084 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (pow d3 6)) 2565726409)) in d3
1.084 * [taylor]: Taking taylor expansion of -1 in d3
1.084 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 6)) 2565726409) in d3
1.084 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d3
1.085 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.085 * [taylor]: Taking taylor expansion of d3 in d3
1.085 * [taylor]: Taking taylor expansion of 2565726409 in d3
1.085 * [taylor]: Taking taylor expansion of 0 in d3
1.086 * [taylor]: Taking taylor expansion of 0 in d3
1.087 * [taylor]: Taking taylor expansion of 0 in d3
1.088 * [taylor]: Taking taylor expansion of 0 in d3
1.090 * [taylor]: Taking taylor expansion of 0 in d3
1.091 * [taylor]: Taking taylor expansion of 0 in d3
1.093 * [taylor]: Taking taylor expansion of 0 in d3
1.095 * [taylor]: Taking taylor expansion of 0 in d3
1.097 * [taylor]: Taking taylor expansion of 0 in d3
1.097 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
1.097 * [approximate]: Taking taylor expansion of (pow d3 6) in (d3) around 0
1.097 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.097 * [taylor]: Taking taylor expansion of d3 in d3
1.097 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.097 * [taylor]: Taking taylor expansion of d3 in d3
1.098 * [approximate]: Taking taylor expansion of (/ 1 (pow d3 6)) in (d3) around 0
1.098 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d3
1.098 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.098 * [taylor]: Taking taylor expansion of d3 in d3
1.098 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d3
1.098 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.099 * [taylor]: Taking taylor expansion of d3 in d3
1.100 * [approximate]: Taking taylor expansion of (/ 1 (pow d3 6)) in (d3) around 0
1.100 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d3
1.100 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.100 * [taylor]: Taking taylor expansion of d3 in d3
1.100 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 6)) in d3
1.100 * [taylor]: Taking taylor expansion of (pow d3 6) in d3
1.100 * [taylor]: Taking taylor expansion of d3 in d3
1.101 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
1.102 * [approximate]: Taking taylor expansion of (* (- (+ (pow d3 2) 1369) (* 37 d3)) (- (pow d3 3) 50653)) in (d3) around 0
1.102 * [taylor]: Taking taylor expansion of (* (- (+ (pow d3 2) 1369) (* 37 d3)) (- (pow d3 3) 50653)) in d3
1.102 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d3
1.102 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d3
1.102 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
1.102 * [taylor]: Taking taylor expansion of d3 in d3
1.102 * [taylor]: Taking taylor expansion of 1369 in d3
1.102 * [taylor]: Taking taylor expansion of (* 37 d3) in d3
1.102 * [taylor]: Taking taylor expansion of 37 in d3
1.102 * [taylor]: Taking taylor expansion of d3 in d3
1.102 * [taylor]: Taking taylor expansion of (- (pow d3 3) 50653) in d3
1.102 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
1.102 * [taylor]: Taking taylor expansion of d3 in d3
1.102 * [taylor]: Taking taylor expansion of 50653 in d3
1.102 * [taylor]: Taking taylor expansion of (* (- (+ (pow d3 2) 1369) (* 37 d3)) (- (pow d3 3) 50653)) in d3
1.102 * [taylor]: Taking taylor expansion of (- (+ (pow d3 2) 1369) (* 37 d3)) in d3
1.102 * [taylor]: Taking taylor expansion of (+ (pow d3 2) 1369) in d3
1.102 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
1.102 * [taylor]: Taking taylor expansion of d3 in d3
1.102 * [taylor]: Taking taylor expansion of 1369 in d3
1.102 * [taylor]: Taking taylor expansion of (* 37 d3) in d3
1.102 * [taylor]: Taking taylor expansion of 37 in d3
1.102 * [taylor]: Taking taylor expansion of d3 in d3
1.102 * [taylor]: Taking taylor expansion of (- (pow d3 3) 50653) in d3
1.102 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
1.102 * [taylor]: Taking taylor expansion of d3 in d3
1.102 * [taylor]: Taking taylor expansion of 50653 in d3
1.103 * [approximate]: Taking taylor expansion of (* (- (/ 1 (pow d3 3)) 50653) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in (d3) around 0
1.103 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow d3 3)) 50653) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d3
1.103 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 3)) 50653) in d3
1.103 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
1.103 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
1.103 * [taylor]: Taking taylor expansion of d3 in d3
1.103 * [taylor]: Taking taylor expansion of 50653 in d3
1.103 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d3
1.103 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d3
1.103 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
1.103 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
1.103 * [taylor]: Taking taylor expansion of d3 in d3
1.103 * [taylor]: Taking taylor expansion of 1369 in d3
1.103 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
1.103 * [taylor]: Taking taylor expansion of 37 in d3
1.103 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
1.103 * [taylor]: Taking taylor expansion of d3 in d3
1.103 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow d3 3)) 50653) (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3)))) in d3
1.103 * [taylor]: Taking taylor expansion of (- (/ 1 (pow d3 3)) 50653) in d3
1.103 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
1.103 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
1.103 * [taylor]: Taking taylor expansion of d3 in d3
1.103 * [taylor]: Taking taylor expansion of 50653 in d3
1.103 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d3 2)) 1369) (* 37 (/ 1 d3))) in d3
1.103 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) 1369) in d3
1.103 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
1.103 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
1.103 * [taylor]: Taking taylor expansion of d3 in d3
1.103 * [taylor]: Taking taylor expansion of 1369 in d3
1.103 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
1.103 * [taylor]: Taking taylor expansion of 37 in d3
1.103 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
1.103 * [taylor]: Taking taylor expansion of d3 in d3
1.104 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) (+ (/ 1 (pow d3 3)) 50653))) in (d3) around 0
1.105 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) (+ (/ 1 (pow d3 3)) 50653))) in d3
1.105 * [taylor]: Taking taylor expansion of -1 in d3
1.105 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) (+ (/ 1 (pow d3 3)) 50653)) in d3
1.105 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) in d3
1.105 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
1.105 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
1.105 * [taylor]: Taking taylor expansion of d3 in d3
1.105 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d3)) 1369) in d3
1.105 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
1.105 * [taylor]: Taking taylor expansion of 37 in d3
1.105 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
1.105 * [taylor]: Taking taylor expansion of d3 in d3
1.105 * [taylor]: Taking taylor expansion of 1369 in d3
1.105 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 3)) 50653) in d3
1.105 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
1.105 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
1.105 * [taylor]: Taking taylor expansion of d3 in d3
1.105 * [taylor]: Taking taylor expansion of 50653 in d3
1.105 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) (+ (/ 1 (pow d3 3)) 50653))) in d3
1.105 * [taylor]: Taking taylor expansion of -1 in d3
1.105 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) (+ (/ 1 (pow d3 3)) 50653)) in d3
1.105 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 2)) (+ (* 37 (/ 1 d3)) 1369)) in d3
1.105 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
1.105 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
1.105 * [taylor]: Taking taylor expansion of d3 in d3
1.105 * [taylor]: Taking taylor expansion of (+ (* 37 (/ 1 d3)) 1369) in d3
1.105 * [taylor]: Taking taylor expansion of (* 37 (/ 1 d3)) in d3
1.105 * [taylor]: Taking taylor expansion of 37 in d3
1.105 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
1.105 * [taylor]: Taking taylor expansion of d3 in d3
1.105 * [taylor]: Taking taylor expansion of 1369 in d3
1.105 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d3 3)) 50653) in d3
1.105 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
1.105 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
1.105 * [taylor]: Taking taylor expansion of d3 in d3
1.105 * [taylor]: Taking taylor expansion of 50653 in d3
1.106 * * * [progress]: simplifying candidates
1.109 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (+.f64 (log.f64 d1) (log.f64 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))) (+.f64 (log.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (log.f64 (-.f64 (pow.f64 d3 3) 50653))))
  (-.f64 (+.f64 (log.f64 d1) (log.f64 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))) (log.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))))
  (-.f64 (log.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))) (+.f64 (log.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (log.f64 (-.f64 (pow.f64 d3 3) 50653))))
  (-.f64 (log.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))) (log.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))))
  (log.f64 (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))))
  (exp.f64 (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))))
  (/.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)) (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))) (*.f64 (*.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (*.f64 (*.f64 (-.f64 (pow.f64 d3 3) 50653) (-.f64 (pow.f64 d3 3) 50653)) (-.f64 (pow.f64 d3 3) 50653))))
  (/.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)) (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))) (*.f64 (*.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))))
  (/.f64 (*.f64 (*.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))) (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))) (*.f64 (*.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (*.f64 (*.f64 (-.f64 (pow.f64 d3 3) 50653) (-.f64 (pow.f64 d3 3) 50653)) (-.f64 (pow.f64 d3 3) 50653))))
  (/.f64 (*.f64 (*.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))) (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))) (*.f64 (*.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))) (cbrt.f64 (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))))
  (cbrt.f64 (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))))
  (*.f64 (*.f64 (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))) (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))))
  (sqrt.f64 (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))))
  (sqrt.f64 (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))))
  (neg.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (neg.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))
  (/.f64 d1 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))
  (/.f64 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)) (-.f64 (pow.f64 d3 3) 50653))
  (/.f64 1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))
  (/.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)) (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))
  (/.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)) (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))
  (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 (pow.f64 1369 3) (pow.f64 (*.f64 d3 (-.f64 37 d3)) 3)) (-.f64 (pow.f64 (pow.f64 d3 3) 3) (pow.f64 50653 3))))
  (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 (pow.f64 1369 3) (pow.f64 (*.f64 d3 (-.f64 37 d3)) 3)) (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 (*.f64 1369 1369) (*.f64 (*.f64 d3 (-.f64 37 d3)) (*.f64 d3 (-.f64 37 d3)))) (-.f64 (pow.f64 (pow.f64 d3 3) 3) (pow.f64 50653 3))))
  (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 (*.f64 1369 1369) (*.f64 (*.f64 d3 (-.f64 37 d3)) (*.f64 d3 (-.f64 37 d3)))) (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 (pow.f64 d3 3) 3) (pow.f64 50653 3))))
  (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 (pow.f64 1369 3) (pow.f64 (*.f64 d3 (-.f64 37 d3)) 3)) (-.f64 (pow.f64 d3 3) 50653)))
  (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 (*.f64 1369 1369) (*.f64 (*.f64 d3 (-.f64 37 d3)) (*.f64 d3 (-.f64 37 d3)))) (-.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 (pow.f64 d3 3) (pow.f64 d3 3))) (+.f64 (*.f64 (*.f64 50653 50653) (*.f64 50653 50653)) (*.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))))
  (*.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))
  (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))
  (+.f64 (log.f64 d1) (log.f64 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (log.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (exp.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 (*.f64 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)) (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (*.f64 (cbrt.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))) (cbrt.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))))
  (cbrt.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (*.f64 (*.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))) (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (sqrt.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (sqrt.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (*.f64 d1 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)))
  (*.f64 d1 (neg.f64 (*.f64 50653 50653)))
  (*.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) d1)
  (*.f64 (neg.f64 (*.f64 50653 50653)) d1)
  (*.f64 d1 (*.f64 (cbrt.f64 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (cbrt.f64 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))))
  (*.f64 d1 (sqrt.f64 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))))
  (*.f64 d1 1)
  (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))
  (*.f64 (cbrt.f64 d1) (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))
  (*.f64 (sqrt.f64 d1) (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))
  (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))
  (*.f64 d1 (-.f64 (pow.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) 3) (pow.f64 (*.f64 50653 50653) 3)))
  (*.f64 d1 (-.f64 (*.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 (pow.f64 d3 3) (pow.f64 d3 3))) (*.f64 (*.f64 50653 50653) (*.f64 50653 50653))))
  (+.f64 3 3)
  (*.f64 d3 d3)
  (+.f64 (*.f64 (log.f64 d3) 3) (*.f64 (log.f64 d3) 3))
  (+.f64 (*.f64 (log.f64 d3) 3) (*.f64 (log.f64 d3) 3))
  (+.f64 (*.f64 (log.f64 d3) 3) (log.f64 (pow.f64 d3 3)))
  (+.f64 (*.f64 (log.f64 d3) 3) (*.f64 (log.f64 d3) 3))
  (+.f64 (*.f64 (log.f64 d3) 3) (*.f64 (log.f64 d3) 3))
  (+.f64 (*.f64 (log.f64 d3) 3) (log.f64 (pow.f64 d3 3)))
  (+.f64 (log.f64 (pow.f64 d3 3)) (*.f64 (log.f64 d3) 3))
  (+.f64 (log.f64 (pow.f64 d3 3)) (*.f64 (log.f64 d3) 3))
  (+.f64 (log.f64 (pow.f64 d3 3)) (log.f64 (pow.f64 d3 3)))
  (log.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)))
  (exp.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)))
  (*.f64 (*.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (pow.f64 d3 3)) (*.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (pow.f64 d3 3)))
  (*.f64 (cbrt.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3))) (cbrt.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3))))
  (cbrt.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)))
  (*.f64 (*.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 (pow.f64 d3 3) (pow.f64 d3 3))) (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)))
  (sqrt.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)))
  (sqrt.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)))
  (*.f64 (pow.f64 (*.f64 (cbrt.f64 d3) (cbrt.f64 d3)) 3) (pow.f64 (*.f64 (cbrt.f64 d3) (cbrt.f64 d3)) 3))
  (*.f64 (pow.f64 (cbrt.f64 d3) 3) (pow.f64 (cbrt.f64 d3) 3))
  (*.f64 (pow.f64 (*.f64 (cbrt.f64 d3) (cbrt.f64 d3)) 3) (pow.f64 (*.f64 (cbrt.f64 d3) (cbrt.f64 d3)) 3))
  (*.f64 (pow.f64 (cbrt.f64 d3) 3) (pow.f64 (cbrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 1 3) (pow.f64 1 3))
  (*.f64 (pow.f64 d3 3) (pow.f64 d3 3))
  (*.f64 (pow.f64 1 3) (pow.f64 1 3))
  (*.f64 (pow.f64 d3 3) (pow.f64 d3 3))
  (*.f64 (*.f64 d3 d3) (*.f64 d3 d3))
  (*.f64 d3 d3)
  (*.f64 (*.f64 (cbrt.f64 (pow.f64 d3 3)) (cbrt.f64 (pow.f64 d3 3))) (*.f64 (cbrt.f64 (pow.f64 d3 3)) (cbrt.f64 (pow.f64 d3 3))))
  (*.f64 (cbrt.f64 (pow.f64 d3 3)) (cbrt.f64 (pow.f64 d3 3)))
  (*.f64 (pow.f64 (*.f64 (cbrt.f64 d3) (cbrt.f64 d3)) 3) (pow.f64 (*.f64 (cbrt.f64 d3) (cbrt.f64 d3)) 3))
  (*.f64 (pow.f64 (cbrt.f64 d3) 3) (pow.f64 (cbrt.f64 d3) 3))
  (*.f64 (pow.f64 (*.f64 (cbrt.f64 d3) (cbrt.f64 d3)) 3) (pow.f64 (*.f64 (cbrt.f64 d3) (cbrt.f64 d3)) 3))
  (*.f64 (pow.f64 (cbrt.f64 d3) 3) (pow.f64 (cbrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 1 3) (pow.f64 1 3))
  (*.f64 (pow.f64 d3 3) (pow.f64 d3 3))
  (*.f64 (pow.f64 1 3) (pow.f64 1 3))
  (*.f64 (pow.f64 d3 3) (pow.f64 d3 3))
  (*.f64 d3 d3)
  (*.f64 (*.f64 d3 d3) (*.f64 d3 d3))
  (*.f64 (sqrt.f64 (pow.f64 d3 3)) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (sqrt.f64 (pow.f64 d3 3)) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 1 1)
  (*.f64 (pow.f64 d3 3) (pow.f64 d3 3))
  (*.f64 (pow.f64 d3 (/.f64 3 2)) (pow.f64 d3 (/.f64 3 2)))
  (*.f64 (pow.f64 d3 (/.f64 3 2)) (pow.f64 d3 (/.f64 3 2)))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 d3 (/.f64 3 2)))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 d3 (/.f64 3 2)))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 d3 (/.f64 3 2)))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 d3 (/.f64 3 2)))
  (*.f64 (sqrt.f64 (pow.f64 d3 3)) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (sqrt.f64 (pow.f64 d3 3)) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (sqrt.f64 (pow.f64 d3 3)) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (sqrt.f64 (pow.f64 d3 3)) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (sqrt.f64 (pow.f64 d3 3)) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (sqrt.f64 (pow.f64 d3 3)) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (sqrt.f64 (pow.f64 d3 3)) (pow.f64 d3 (/.f64 3 2)))
  (*.f64 (sqrt.f64 (pow.f64 d3 3)) (pow.f64 d3 (/.f64 3 2)))
  (*.f64 (pow.f64 d3 (/.f64 3 2)) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 d3 (/.f64 3 2)) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 d3 (/.f64 3 2)) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 d3 (/.f64 3 2)) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 d3 (/.f64 3 2)) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (pow.f64 d3 (/.f64 3 2)) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (pow.f64 d3 (/.f64 3 2)) (pow.f64 d3 (/.f64 3 2)))
  (*.f64 (pow.f64 d3 (/.f64 3 2)) (pow.f64 d3 (/.f64 3 2)))
  (*.f64 2 3)
  (*.f64 (pow.f64 d3 3) (pow.f64 (*.f64 (cbrt.f64 d3) (cbrt.f64 d3)) 3))
  (*.f64 (pow.f64 d3 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 d3 3) (pow.f64 1 3))
  (*.f64 (pow.f64 d3 3) (*.f64 d3 d3))
  (*.f64 (pow.f64 d3 3) (*.f64 (cbrt.f64 (pow.f64 d3 3)) (cbrt.f64 (pow.f64 d3 3))))
  (*.f64 (pow.f64 d3 3) (pow.f64 (*.f64 (cbrt.f64 d3) (cbrt.f64 d3)) 3))
  (*.f64 (pow.f64 d3 3) (pow.f64 (sqrt.f64 d3) 3))
  (*.f64 (pow.f64 d3 3) (pow.f64 1 3))
  (*.f64 (pow.f64 d3 3) d3)
  (*.f64 (pow.f64 d3 3) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (pow.f64 d3 3) 1)
  (*.f64 (pow.f64 d3 3) (pow.f64 d3 (/.f64 3 2)))
  (*.f64 (pow.f64 (cbrt.f64 d3) 3) (pow.f64 d3 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 d3 3))
  (*.f64 (pow.f64 d3 3) (pow.f64 d3 3))
  (*.f64 d3 (pow.f64 d3 3))
  (*.f64 (cbrt.f64 (pow.f64 d3 3)) (pow.f64 d3 3))
  (*.f64 (pow.f64 (cbrt.f64 d3) 3) (pow.f64 d3 3))
  (*.f64 (pow.f64 (sqrt.f64 d3) 3) (pow.f64 d3 3))
  (*.f64 (pow.f64 d3 3) (pow.f64 d3 3))
  (*.f64 (*.f64 d3 d3) (pow.f64 d3 3))
  (*.f64 (sqrt.f64 (pow.f64 d3 3)) (pow.f64 d3 3))
  (*.f64 (pow.f64 d3 3) (pow.f64 d3 3))
  (*.f64 (pow.f64 d3 (/.f64 3 2)) (pow.f64 d3 3))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))
  (+.f64 (log.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (log.f64 (-.f64 (pow.f64 d3 3) 50653)))
  (log.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))
  (exp.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (*.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (*.f64 (*.f64 (-.f64 (pow.f64 d3 3) 50653) (-.f64 (pow.f64 d3 3) 50653)) (-.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (cbrt.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))))
  (cbrt.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (*.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))
  (sqrt.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))
  (sqrt.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (-.f64 (pow.f64 1369 3) (pow.f64 (*.f64 d3 (-.f64 37 d3)) 3)) (-.f64 (pow.f64 (pow.f64 d3 3) 3) (pow.f64 50653 3)))
  (*.f64 (+.f64 (*.f64 1369 1369) (+.f64 (*.f64 (*.f64 d3 (-.f64 37 d3)) (*.f64 d3 (-.f64 37 d3))) (*.f64 1369 (*.f64 d3 (-.f64 37 d3))))) (+.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (+.f64 (*.f64 50653 50653) (*.f64 (pow.f64 d3 3) 50653))))
  (*.f64 (-.f64 (pow.f64 1369 3) (pow.f64 (*.f64 d3 (-.f64 37 d3)) 3)) (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))
  (*.f64 (+.f64 (*.f64 1369 1369) (+.f64 (*.f64 (*.f64 d3 (-.f64 37 d3)) (*.f64 d3 (-.f64 37 d3))) (*.f64 1369 (*.f64 d3 (-.f64 37 d3))))) (+.f64 (pow.f64 d3 3) 50653))
  (*.f64 (-.f64 (*.f64 1369 1369) (*.f64 (*.f64 d3 (-.f64 37 d3)) (*.f64 d3 (-.f64 37 d3)))) (-.f64 (pow.f64 (pow.f64 d3 3) 3) (pow.f64 50653 3)))
  (*.f64 (+.f64 1369 (*.f64 d3 (-.f64 37 d3))) (+.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (+.f64 (*.f64 50653 50653) (*.f64 (pow.f64 d3 3) 50653))))
  (*.f64 (-.f64 (*.f64 1369 1369) (*.f64 (*.f64 d3 (-.f64 37 d3)) (*.f64 d3 (-.f64 37 d3)))) (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))
  (*.f64 (+.f64 1369 (*.f64 d3 (-.f64 37 d3))) (+.f64 (pow.f64 d3 3) 50653))
  (*.f64 (sqrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (sqrt.f64 (-.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (sqrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (sqrt.f64 (-.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (pow.f64 d3 3))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (neg.f64 50653))
  (*.f64 (pow.f64 d3 3) (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))
  (*.f64 (neg.f64 50653) (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (*.f64 (cbrt.f64 (-.f64 (pow.f64 d3 3) 50653)) (cbrt.f64 (-.f64 (pow.f64 d3 3) 50653))))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (sqrt.f64 (-.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) 1)
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (+.f64 (pow.f64 (sqrt.f64 d3) 3) (sqrt.f64 50653)))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (+.f64 (pow.f64 (sqrt.f64 d3) 3) (sqrt.f64 50653)))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (+.f64 (sqrt.f64 (pow.f64 d3 3)) (sqrt.f64 50653)))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (+.f64 (pow.f64 d3 (/.f64 3 2)) (sqrt.f64 50653)))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) 1)
  (*.f64 (cbrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (-.f64 (pow.f64 d3 3) 50653))
  (*.f64 (sqrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (-.f64 (pow.f64 d3 3) 50653))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 (pow.f64 d3 3) 3) (pow.f64 50653 3)))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653)))
  (*.f64 (-.f64 (pow.f64 1369 3) (pow.f64 (*.f64 d3 (-.f64 37 d3)) 3)) (-.f64 (pow.f64 d3 3) 50653))
  (*.f64 (-.f64 (*.f64 1369 1369) (*.f64 (*.f64 d3 (-.f64 37 d3)) (*.f64 d3 (-.f64 37 d3)))) (-.f64 (pow.f64 d3 3) 50653))
  (+.f64 (*.f64 37 d1) (*.f64 d1 d3))
  (+.f64 (*.f64 37 d1) (*.f64 d1 d3))
  (+.f64 (*.f64 37 d1) (*.f64 d1 d3))
  (*.f64 -2565726409 d1)
  (-.f64 (*.f64 d1 (pow.f64 d3 6)) (*.f64 2565726409 d1))
  (-.f64 (*.f64 d1 (pow.f64 d3 6)) (*.f64 2565726409 d1))
  (pow.f64 d3 6)
  (pow.f64 d3 6)
  (pow.f64 d3 6)
  (-.f64 (*.f64 1874161 d3) (+.f64 (*.f64 50653 (pow.f64 d3 2)) 69343957))
  (-.f64 (+.f64 (*.f64 1369 (pow.f64 d3 3)) (pow.f64 d3 5)) (*.f64 37 (pow.f64 d3 4)))
  (-.f64 (+.f64 (*.f64 1369 (pow.f64 d3 3)) (pow.f64 d3 5)) (*.f64 37 (pow.f64 d3 4)))
1.156 * * [simplify]: iteration  0 :  5026  enodes  (cost  1994 )
1.163 * [simplify]: Simplified to:
   (log.f64 (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (+.f64 (pow.f64 d3 6) -2565726409)))
  (log.f64 (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (+.f64 (pow.f64 d3 6) -2565726409)))
  (log.f64 (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (+.f64 (pow.f64 d3 6) -2565726409)))
  (log.f64 (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (+.f64 (pow.f64 d3 6) -2565726409)))
  (log.f64 (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (+.f64 (pow.f64 d3 6) -2565726409)))
  (pow.f64 (exp.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))) (+.f64 (pow.f64 d3 6) -2565726409))
  (pow.f64 (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (+.f64 (pow.f64 d3 6) -2565726409)) 3)
  (pow.f64 (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (+.f64 (pow.f64 d3 6) -2565726409)) 3)
  (pow.f64 (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (+.f64 (pow.f64 d3 6) -2565726409)) 3)
  (pow.f64 (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (+.f64 (pow.f64 d3 6) -2565726409)) 3)
  (*.f64 (cbrt.f64 (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (+.f64 (pow.f64 d3 6) -2565726409))) (cbrt.f64 (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (+.f64 (pow.f64 d3 6) -2565726409))))
  (cbrt.f64 (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (+.f64 (pow.f64 d3 6) -2565726409)))
  (pow.f64 (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (+.f64 (pow.f64 d3 6) -2565726409)) 3)
  (sqrt.f64 (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (+.f64 (pow.f64 d3 6) -2565726409)))
  (sqrt.f64 (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (+.f64 (pow.f64 d3 6) -2565726409)))
  (*.f64 (+.f64 (pow.f64 d3 6) -2565726409) (neg.f64 d1))
  (*.f64 (-.f64 (pow.f64 d3 3) 50653) (+.f64 (*.f64 d3 (-.f64 37 d3)) -1369))
  (/.f64 d1 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))
  (/.f64 (+.f64 (pow.f64 d3 6) -2565726409) (-.f64 (pow.f64 d3 3) 50653))
  (/.f64 1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))
  (/.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)) (*.f64 d1 (+.f64 (pow.f64 d3 6) -2565726409)))
  (*.f64 (+.f64 (pow.f64 d3 6) -2565726409) (/.f64 d1 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))))
  (/.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (/.f64 (+.f64 (pow.f64 d3 6) -2565726409) (-.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (/.f64 d1 (*.f64 (-.f64 2565726409 (pow.f64 (*.f64 d3 (-.f64 37 d3)) 3)) (-.f64 (pow.f64 (pow.f64 d3 3) 3) 129961739795077))) (+.f64 (pow.f64 d3 6) -2565726409))
  (/.f64 d1 (-.f64 2565726409 (pow.f64 (*.f64 d3 (-.f64 37 d3)) 3)))
  (*.f64 (/.f64 d1 (*.f64 (-.f64 (pow.f64 (pow.f64 d3 3) 3) 129961739795077) (-.f64 1874161 (*.f64 (*.f64 d3 (-.f64 37 d3)) (*.f64 d3 (-.f64 37 d3)))))) (+.f64 (pow.f64 d3 6) -2565726409))
  (/.f64 d1 (-.f64 1874161 (*.f64 (*.f64 d3 (-.f64 37 d3)) (*.f64 d3 (-.f64 37 d3)))))
  (*.f64 (/.f64 d1 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 (pow.f64 d3 3) 3) 129961739795077))) (+.f64 (pow.f64 d3 6) -2565726409))
  (/.f64 d1 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))
  (*.f64 (/.f64 (+.f64 (pow.f64 d3 6) -2565726409) (-.f64 (pow.f64 d3 3) 50653)) (/.f64 d1 (-.f64 2565726409 (pow.f64 (*.f64 d3 (-.f64 37 d3)) 3))))
  (*.f64 (/.f64 (+.f64 (pow.f64 d3 6) -2565726409) (-.f64 (pow.f64 d3 3) 50653)) (/.f64 d1 (-.f64 1874161 (*.f64 (*.f64 d3 (-.f64 37 d3)) (*.f64 d3 (-.f64 37 d3))))))
  (*.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)) (+.f64 (pow.f64 d3 12) (+.f64 6582952005840035281 (*.f64 (pow.f64 d3 6) 2565726409))))
  (*.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)) (+.f64 (pow.f64 d3 6) 2565726409))
  (*.f64 d1 (+.f64 (pow.f64 d3 6) -2565726409))
  (log.f64 (*.f64 d1 (+.f64 (pow.f64 d3 6) -2565726409)))
  (log.f64 (*.f64 d1 (+.f64 (pow.f64 d3 6) -2565726409)))
  (pow.f64 (exp.f64 d1) (+.f64 (pow.f64 d3 6) -2565726409))
  (pow.f64 (*.f64 d1 (+.f64 (pow.f64 d3 6) -2565726409)) 3)
  (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 (pow.f64 d3 6) -2565726409))) (cbrt.f64 (*.f64 d1 (+.f64 (pow.f64 d3 6) -2565726409))))
  (cbrt.f64 (*.f64 d1 (+.f64 (pow.f64 d3 6) -2565726409)))
  (pow.f64 (*.f64 d1 (+.f64 (pow.f64 d3 6) -2565726409)) 3)
  (sqrt.f64 (*.f64 d1 (+.f64 (pow.f64 d3 6) -2565726409)))
  (sqrt.f64 (*.f64 d1 (+.f64 (pow.f64 d3 6) -2565726409)))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 (pow.f64 d3 6) -2565726409)))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 (pow.f64 d3 6) -2565726409)))
  (*.f64 d1 (pow.f64 d3 6))
  (*.f64 d1 -2565726409)
  (*.f64 d1 (pow.f64 d3 6))
  (*.f64 d1 -2565726409)
  (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 (pow.f64 d3 6) -2565726409)) (cbrt.f64 (+.f64 (pow.f64 d3 6) -2565726409))))
  (*.f64 d1 (sqrt.f64 (+.f64 (pow.f64 d3 6) -2565726409)))
  d1
  (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653))
  (*.f64 (+.f64 (pow.f64 d3 6) -2565726409) (cbrt.f64 d1))
  (*.f64 (+.f64 (pow.f64 d3 6) -2565726409) (sqrt.f64 d1))
  (*.f64 d1 (+.f64 (pow.f64 d3 6) -2565726409))
  (*.f64 d1 (+.f64 (pow.f64 (pow.f64 d3 3) 6) -16890053810563300749953435929))
  (*.f64 d1 (+.f64 (pow.f64 d3 12) -6582952005840035281))
  6
  (*.f64 d3 d3)
  (*.f64 6 (log.f64 d3))
  (*.f64 6 (log.f64 d3))
  (*.f64 6 (log.f64 d3))
  (*.f64 6 (log.f64 d3))
  (*.f64 6 (log.f64 d3))
  (*.f64 6 (log.f64 d3))
  (*.f64 6 (log.f64 d3))
  (*.f64 6 (log.f64 d3))
  (*.f64 6 (log.f64 d3))
  (*.f64 6 (log.f64 d3))
  (exp.f64 (pow.f64 d3 6))
  (pow.f64 (pow.f64 d3 3) 6)
  (*.f64 (cbrt.f64 (pow.f64 d3 6)) (cbrt.f64 (pow.f64 d3 6)))
  (cbrt.f64 (pow.f64 d3 6))
  (pow.f64 (pow.f64 d3 3) 6)
  (fabs.f64 (pow.f64 d3 3))
  (fabs.f64 (pow.f64 d3 3))
  (pow.f64 d3 4)
  (*.f64 d3 d3)
  (pow.f64 d3 4)
  (*.f64 d3 d3)
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  1
  (pow.f64 d3 6)
  1
  (pow.f64 d3 6)
  (pow.f64 d3 4)
  (*.f64 d3 d3)
  (pow.f64 d3 4)
  (*.f64 d3 d3)
  (pow.f64 d3 4)
  (*.f64 d3 d3)
  (pow.f64 d3 4)
  (*.f64 d3 d3)
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  1
  (pow.f64 d3 6)
  1
  (pow.f64 d3 6)
  (*.f64 d3 d3)
  (pow.f64 d3 4)
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  1
  (pow.f64 d3 6)
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  (*.f64 (*.f64 d3 (sqrt.f64 d3)) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (*.f64 d3 (sqrt.f64 d3)) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (pow.f64 d3 5/2) (sqrt.f64 d3))
  (*.f64 (pow.f64 d3 5/2) (sqrt.f64 d3))
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  (*.f64 (*.f64 d3 (sqrt.f64 d3)) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (*.f64 d3 (sqrt.f64 d3)) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (pow.f64 d3 5/2) (sqrt.f64 d3))
  (*.f64 (pow.f64 d3 5/2) (sqrt.f64 d3))
  (*.f64 (*.f64 d3 (sqrt.f64 d3)) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (*.f64 d3 (sqrt.f64 d3)) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (*.f64 d3 (sqrt.f64 d3)) (sqrt.f64 (pow.f64 d3 3)))
  (*.f64 (*.f64 d3 (sqrt.f64 d3)) (sqrt.f64 (pow.f64 d3 3)))
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  (*.f64 (sqrt.f64 (pow.f64 d3 3)) (pow.f64 d3 3/2))
  (*.f64 (sqrt.f64 (pow.f64 d3 3)) (pow.f64 d3 3/2))
  (*.f64 (pow.f64 d3 5/2) (sqrt.f64 d3))
  (*.f64 (pow.f64 d3 5/2) (sqrt.f64 d3))
  (*.f64 (pow.f64 d3 5/2) (sqrt.f64 d3))
  (*.f64 (pow.f64 d3 5/2) (sqrt.f64 d3))
  (*.f64 (sqrt.f64 (pow.f64 d3 3)) (pow.f64 d3 3/2))
  (*.f64 (sqrt.f64 (pow.f64 d3 3)) (pow.f64 d3 3/2))
  (pow.f64 d3 3)
  (pow.f64 d3 3)
  6
  (pow.f64 d3 5)
  (pow.f64 (*.f64 d3 (sqrt.f64 d3)) 3)
  (pow.f64 d3 3)
  (pow.f64 d3 5)
  (pow.f64 d3 5)
  (pow.f64 d3 5)
  (pow.f64 (*.f64 d3 (sqrt.f64 d3)) 3)
  (pow.f64 d3 3)
  (pow.f64 d3 4)
  (pow.f64 (sqrt.f64 (pow.f64 d3 3)) 3)
  (pow.f64 d3 3)
  (pow.f64 (pow.f64 d3 3/2) 3)
  (pow.f64 d3 4)
  (pow.f64 (*.f64 d3 (sqrt.f64 d3)) 3)
  (pow.f64 d3 6)
  (pow.f64 d3 4)
  (pow.f64 d3 4)
  (pow.f64 d3 4)
  (pow.f64 (*.f64 d3 (sqrt.f64 d3)) 3)
  (pow.f64 d3 6)
  (pow.f64 d3 5)
  (pow.f64 (sqrt.f64 (pow.f64 d3 3)) 3)
  (pow.f64 d3 6)
  (pow.f64 (pow.f64 d3 3/2) 3)
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))
  (log.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))
  (log.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))
  (exp.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))
  (pow.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)) 3)
  (*.f64 (cbrt.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))) (cbrt.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))))
  (cbrt.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))
  (pow.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)) 3)
  (sqrt.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))
  (sqrt.f64 (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (-.f64 2565726409 (pow.f64 (*.f64 d3 (-.f64 37 d3)) 3)) (-.f64 (pow.f64 (pow.f64 d3 3) 3) 129961739795077))
  (*.f64 (+.f64 1874161 (*.f64 d3 (*.f64 (-.f64 37 d3) (+.f64 1369 (*.f64 d3 (-.f64 37 d3)))))) (+.f64 (pow.f64 d3 6) (+.f64 2565726409 (*.f64 (pow.f64 d3 3) 50653))))
  (*.f64 (+.f64 (pow.f64 d3 6) -2565726409) (-.f64 2565726409 (pow.f64 (*.f64 d3 (-.f64 37 d3)) 3)))
  (*.f64 (+.f64 (pow.f64 d3 3) 50653) (+.f64 1874161 (*.f64 d3 (*.f64 (-.f64 37 d3) (+.f64 1369 (*.f64 d3 (-.f64 37 d3)))))))
  (*.f64 (-.f64 (pow.f64 (pow.f64 d3 3) 3) 129961739795077) (-.f64 1874161 (*.f64 (*.f64 d3 (-.f64 37 d3)) (*.f64 d3 (-.f64 37 d3)))))
  (*.f64 (+.f64 (pow.f64 d3 6) (+.f64 2565726409 (*.f64 (pow.f64 d3 3) 50653))) (+.f64 1369 (*.f64 d3 (-.f64 37 d3))))
  (*.f64 (+.f64 (pow.f64 d3 6) -2565726409) (-.f64 1874161 (*.f64 (*.f64 d3 (-.f64 37 d3)) (*.f64 d3 (-.f64 37 d3)))))
  (*.f64 (+.f64 (pow.f64 d3 3) 50653) (+.f64 1369 (*.f64 d3 (-.f64 37 d3))))
  (*.f64 (sqrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (sqrt.f64 (-.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (sqrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))) (sqrt.f64 (-.f64 (pow.f64 d3 3) 50653)))
  (*.f64 (pow.f64 d3 3) (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) -50653)
  (*.f64 (pow.f64 d3 3) (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) -50653)
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (*.f64 (cbrt.f64 (-.f64 (pow.f64 d3 3) 50653)) (cbrt.f64 (-.f64 (pow.f64 d3 3) 50653))))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (sqrt.f64 (-.f64 (pow.f64 d3 3) 50653)))
  (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (+.f64 (*.f64 d3 (sqrt.f64 d3)) (sqrt.f64 50653)))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (+.f64 (*.f64 d3 (sqrt.f64 d3)) (sqrt.f64 50653)))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (+.f64 (sqrt.f64 (pow.f64 d3 3)) (sqrt.f64 50653)))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (+.f64 (pow.f64 d3 3/2) (sqrt.f64 50653)))
  (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))
  (*.f64 (-.f64 (pow.f64 d3 3) 50653) (cbrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))))
  (*.f64 (-.f64 (pow.f64 d3 3) 50653) (sqrt.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3)))))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653))
  (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 (pow.f64 d3 3) 3) 129961739795077))
  (*.f64 (+.f64 (pow.f64 d3 6) -2565726409) (-.f64 1369 (*.f64 d3 (-.f64 37 d3))))
  (*.f64 (-.f64 (pow.f64 d3 3) 50653) (-.f64 2565726409 (pow.f64 (*.f64 d3 (-.f64 37 d3)) 3)))
  (*.f64 (-.f64 (pow.f64 d3 3) 50653) (-.f64 1874161 (*.f64 (*.f64 d3 (-.f64 37 d3)) (*.f64 d3 (-.f64 37 d3)))))
  (*.f64 d1 (+.f64 37 d3))
  (*.f64 d1 (+.f64 37 d3))
  (*.f64 d1 (+.f64 37 d3))
  (*.f64 d1 -2565726409)
  (*.f64 d1 (+.f64 (pow.f64 d3 6) -2565726409))
  (*.f64 d1 (+.f64 (pow.f64 d3 6) -2565726409))
  (pow.f64 d3 6)
  (pow.f64 d3 6)
  (pow.f64 d3 6)
  (+.f64 (*.f64 d3 (-.f64 1874161 (*.f64 d3 50653))) -69343957)
  (+.f64 (pow.f64 d3 5) (*.f64 (pow.f64 d3 3) (-.f64 1369 (*.f64 d3 37))))
  (+.f64 (pow.f64 d3 5) (*.f64 (pow.f64 d3 3) (-.f64 1369 (*.f64 d3 37))))
1.164 * * * [progress]: adding candidates to table
1.301 * [progress]: [Phase 3 of 3] Extracting.
1.301 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))))> #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))> #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37))))> #<alt (λ (d1 d2 d3) (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))>)
1.302 * * * [regime-changes]: Trying 3 branch expressions: (d3 d2 d1)
1.302 * * * * [regimes]: Trying to branch on d3 from (#<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))))> #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))> #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37))))> #<alt (λ (d1 d2 d3) (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))>)
1.337 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))))> #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))> #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37))))> #<alt (λ (d1 d2 d3) (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))>)
1.369 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (-.f64 (*.f64 (pow.f64 d3 3) (pow.f64 d3 3)) (*.f64 50653 50653))) (*.f64 (-.f64 1369 (*.f64 d3 (-.f64 37 d3))) (-.f64 (pow.f64 d3 3) 50653)))))> #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (/.f64 (*.f64 d1 (+.f64 (pow.f64 d3 3) 50653)) (+.f64 (*.f64 d3 d3) (-.f64 (*.f64 37 37) (*.f64 d3 37))))))> #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37))))> #<alt (λ (d1 d2 d3) (*.f64 d1 (+.f64 d2 (+.f64 d3 37))))>)
1.403 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
1.403 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37)))
1.404 * * [simplify]: iteration  0 :  12  enodes  (cost  9 )
1.404 * * [simplify]: iteration  1 :  12  enodes  (cost  9 )
1.405 * [simplify]: Simplified to:
   (+.f64 (*.f64 d1 d2) (*.f64 d1 (+.f64 d3 37)))
2.220 * [regime-testing]: End program error score: 0.024878109763720464
2.277 * [regime-testing]: Target error score: 0.02100262532816602