18.271 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.255 * * * [progress]: [2/2] Setting up program.
0.258 * [progress]: [Phase 2 of 3] Improving.
0.259 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
0.263 * * [simplify]: iteration  0 :  13  enodes  (cost  5 )
0.264 * * [simplify]: iteration  1 :  13  enodes  (cost  5 )
0.264 * [simplify]: Simplified to:
   (*.f64 d1 (+.f64 d2 d3))
0.268 * * [progress]: iteration 1 / 4
0.268 * * * [progress]: picking best candidate
0.273 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))>
0.273 * * * [progress]: localizing error
0.278 * * * [progress]: generating rewritten candidates
0.278 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.284 * * * [progress]: generating series expansions
0.284 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.284 * [approximate]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in (d1 d2 d3) around 0
0.284 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d3
0.284 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.284 * [taylor]: Taking taylor expansion of d1 in d3
0.284 * [taylor]: Taking taylor expansion of d3 in d3
0.284 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.284 * [taylor]: Taking taylor expansion of d1 in d3
0.284 * [taylor]: Taking taylor expansion of d2 in d3
0.284 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d2
0.284 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.284 * [taylor]: Taking taylor expansion of d1 in d2
0.284 * [taylor]: Taking taylor expansion of d3 in d2
0.284 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.284 * [taylor]: Taking taylor expansion of d1 in d2
0.284 * [taylor]: Taking taylor expansion of d2 in d2
0.284 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1
0.284 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.284 * [taylor]: Taking taylor expansion of d1 in d1
0.284 * [taylor]: Taking taylor expansion of d3 in d1
0.284 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.284 * [taylor]: Taking taylor expansion of d1 in d1
0.284 * [taylor]: Taking taylor expansion of d2 in d1
0.284 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1
0.284 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.284 * [taylor]: Taking taylor expansion of d1 in d1
0.284 * [taylor]: Taking taylor expansion of d3 in d1
0.284 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.284 * [taylor]: Taking taylor expansion of d1 in d1
0.284 * [taylor]: Taking taylor expansion of d2 in d1
0.284 * [taylor]: Taking taylor expansion of 0 in d2
0.284 * [taylor]: Taking taylor expansion of 0 in d3
0.284 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2
0.285 * [taylor]: Taking taylor expansion of d3 in d2
0.285 * [taylor]: Taking taylor expansion of d2 in d2
0.285 * [taylor]: Taking taylor expansion of d3 in d3
0.285 * [taylor]: Taking taylor expansion of 0 in d3
0.285 * [taylor]: Taking taylor expansion of 0 in d2
0.285 * [taylor]: Taking taylor expansion of 0 in d3
0.285 * [taylor]: Taking taylor expansion of 1 in d3
0.285 * [taylor]: Taking taylor expansion of 0 in d3
0.285 * [taylor]: Taking taylor expansion of 0 in d2
0.285 * [taylor]: Taking taylor expansion of 0 in d3
0.285 * [taylor]: Taking taylor expansion of 0 in d3
0.285 * [taylor]: Taking taylor expansion of 0 in d3
0.285 * [taylor]: Taking taylor expansion of 0 in d3
0.285 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in (d1 d2 d3) around 0
0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.285 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.285 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.285 * [taylor]: Taking taylor expansion of d1 in d3
0.285 * [taylor]: Taking taylor expansion of d3 in d3
0.286 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.286 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.286 * [taylor]: Taking taylor expansion of d1 in d3
0.286 * [taylor]: Taking taylor expansion of d2 in d3
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.286 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.286 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.286 * [taylor]: Taking taylor expansion of d1 in d2
0.286 * [taylor]: Taking taylor expansion of d3 in d2
0.286 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.286 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.286 * [taylor]: Taking taylor expansion of d1 in d2
0.286 * [taylor]: Taking taylor expansion of d2 in d2
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.286 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.286 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.286 * [taylor]: Taking taylor expansion of d1 in d1
0.286 * [taylor]: Taking taylor expansion of d3 in d1
0.286 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.286 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.286 * [taylor]: Taking taylor expansion of d1 in d1
0.286 * [taylor]: Taking taylor expansion of d2 in d1
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.286 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.286 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.286 * [taylor]: Taking taylor expansion of d1 in d1
0.286 * [taylor]: Taking taylor expansion of d3 in d1
0.286 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.286 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.286 * [taylor]: Taking taylor expansion of d1 in d1
0.286 * [taylor]: Taking taylor expansion of d2 in d1
0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.287 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.287 * [taylor]: Taking taylor expansion of d2 in d2
0.287 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.287 * [taylor]: Taking taylor expansion of d3 in d2
0.287 * [taylor]: Taking taylor expansion of 1 in d3
0.287 * [taylor]: Taking taylor expansion of 0 in d2
0.287 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.287 * [taylor]: Taking taylor expansion of d3 in d3
0.287 * [taylor]: Taking taylor expansion of 0 in d2
0.287 * [taylor]: Taking taylor expansion of 0 in d3
0.287 * [taylor]: Taking taylor expansion of 0 in d3
0.288 * [taylor]: Taking taylor expansion of 0 in d2
0.288 * [taylor]: Taking taylor expansion of 0 in d3
0.288 * [taylor]: Taking taylor expansion of 0 in d3
0.288 * [taylor]: Taking taylor expansion of 0 in d3
0.288 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in (d1 d2 d3) around 0
0.288 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.288 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.288 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.288 * [taylor]: Taking taylor expansion of d1 in d3
0.288 * [taylor]: Taking taylor expansion of d3 in d3
0.288 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.288 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.288 * [taylor]: Taking taylor expansion of d1 in d3
0.288 * [taylor]: Taking taylor expansion of d2 in d3
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.289 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.289 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.289 * [taylor]: Taking taylor expansion of d1 in d2
0.289 * [taylor]: Taking taylor expansion of d3 in d2
0.289 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.289 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.289 * [taylor]: Taking taylor expansion of d1 in d2
0.289 * [taylor]: Taking taylor expansion of d2 in d2
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.289 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.289 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.289 * [taylor]: Taking taylor expansion of d1 in d1
0.289 * [taylor]: Taking taylor expansion of d3 in d1
0.289 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.289 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.289 * [taylor]: Taking taylor expansion of d1 in d1
0.289 * [taylor]: Taking taylor expansion of d2 in d1
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.289 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.289 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.289 * [taylor]: Taking taylor expansion of d1 in d1
0.289 * [taylor]: Taking taylor expansion of d3 in d1
0.289 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.289 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.289 * [taylor]: Taking taylor expansion of d1 in d1
0.289 * [taylor]: Taking taylor expansion of d2 in d1
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.289 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.289 * [taylor]: Taking taylor expansion of d2 in d2
0.289 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.289 * [taylor]: Taking taylor expansion of d3 in d2
0.289 * [taylor]: Taking taylor expansion of 1 in d3
0.290 * [taylor]: Taking taylor expansion of 0 in d2
0.290 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.290 * [taylor]: Taking taylor expansion of d3 in d3
0.290 * [taylor]: Taking taylor expansion of 0 in d2
0.290 * [taylor]: Taking taylor expansion of 0 in d3
0.290 * [taylor]: Taking taylor expansion of 0 in d3
0.290 * [taylor]: Taking taylor expansion of 0 in d2
0.291 * [taylor]: Taking taylor expansion of 0 in d3
0.291 * [taylor]: Taking taylor expansion of 0 in d3
0.291 * [taylor]: Taking taylor expansion of 0 in d3
0.291 * * * [progress]: simplifying candidates
0.291 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (exp.f64 (*.f64 d1 d2)) (exp.f64 (*.f64 d1 d3)))
  (log.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (exp.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))) (cbrt.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))))
  (cbrt.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (*.f64 (*.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (sqrt.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (sqrt.f64 (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))
  (+.f64 (pow.f64 (*.f64 d1 d2) 3) (pow.f64 (*.f64 d1 d3) 3))
  (+.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (-.f64 (*.f64 (*.f64 d1 d3) (*.f64 d1 d3)) (*.f64 (*.f64 d1 d2) (*.f64 d1 d3))))
  (-.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (*.f64 (*.f64 d1 d3) (*.f64 d1 d3)))
  (-.f64 (*.f64 d1 d2) (*.f64 d1 d3))
  (+.f64 d2 d3)
  (+.f64 (*.f64 d1 d3) (*.f64 d1 d2))
  (+.f64 (*.f64 d1 d3) (*.f64 d1 d2))
  (+.f64 (*.f64 d1 d3) (*.f64 d1 d2))
0.350 * * [simplify]: iteration  0 :  5364  enodes  (cost  114 )
0.351 * [simplify]: Simplified to:
   (pow.f64 (exp.f64 d1) (+.f64 d2 d3))
  (log.f64 (*.f64 d1 (+.f64 d2 d3)))
  (pow.f64 (exp.f64 d1) (+.f64 d2 d3))
  (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
  (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))
  (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3)
  (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))
  (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))
  (+.f64 (pow.f64 (*.f64 d1 d2) 3) (pow.f64 (*.f64 d1 d3) 3))
  (*.f64 (*.f64 d1 d1) (+.f64 (*.f64 d2 d2) (*.f64 d3 (-.f64 d3 d2))))
  (*.f64 (+.f64 d2 d3) (*.f64 (*.f64 d1 d1) (-.f64 d2 d3)))
  (*.f64 d1 (-.f64 d2 d3))
  (+.f64 d2 d3)
  (*.f64 d1 (+.f64 d2 d3))
  (*.f64 d1 (+.f64 d2 d3))
  (*.f64 d1 (+.f64 d2 d3))
0.352 * * * [progress]: adding candidates to table
0.365 * * [progress]: iteration 2 / 4
0.365 * * * [progress]: picking best candidate
0.368 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.f64 d1 (+.f64 d2 d3)))>
0.368 * * * [progress]: localizing error
0.372 * * * [progress]: generating rewritten candidates
0.372 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.379 * * * [progress]: generating series expansions
0.379 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.379 * [approximate]: Taking taylor expansion of (* d1 (+ d3 d2)) in (d1 d2 d3) around 0
0.379 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d3
0.379 * [taylor]: Taking taylor expansion of d1 in d3
0.379 * [taylor]: Taking taylor expansion of (+ d3 d2) in d3
0.379 * [taylor]: Taking taylor expansion of d3 in d3
0.379 * [taylor]: Taking taylor expansion of d2 in d3
0.379 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d2
0.379 * [taylor]: Taking taylor expansion of d1 in d2
0.379 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2
0.379 * [taylor]: Taking taylor expansion of d3 in d2
0.379 * [taylor]: Taking taylor expansion of d2 in d2
0.379 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d1
0.379 * [taylor]: Taking taylor expansion of d1 in d1
0.379 * [taylor]: Taking taylor expansion of (+ d3 d2) in d1
0.379 * [taylor]: Taking taylor expansion of d3 in d1
0.379 * [taylor]: Taking taylor expansion of d2 in d1
0.379 * [taylor]: Taking taylor expansion of (* d1 (+ d3 d2)) in d1
0.379 * [taylor]: Taking taylor expansion of d1 in d1
0.379 * [taylor]: Taking taylor expansion of (+ d3 d2) in d1
0.379 * [taylor]: Taking taylor expansion of d3 in d1
0.379 * [taylor]: Taking taylor expansion of d2 in d1
0.379 * [taylor]: Taking taylor expansion of 0 in d2
0.379 * [taylor]: Taking taylor expansion of 0 in d3
0.380 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2
0.380 * [taylor]: Taking taylor expansion of d3 in d2
0.380 * [taylor]: Taking taylor expansion of d2 in d2
0.380 * [taylor]: Taking taylor expansion of d3 in d3
0.380 * [taylor]: Taking taylor expansion of 0 in d3
0.380 * [taylor]: Taking taylor expansion of 0 in d2
0.380 * [taylor]: Taking taylor expansion of 0 in d3
0.380 * [taylor]: Taking taylor expansion of 1 in d3
0.380 * [taylor]: Taking taylor expansion of 0 in d3
0.380 * [taylor]: Taking taylor expansion of 0 in d2
0.380 * [taylor]: Taking taylor expansion of 0 in d3
0.380 * [taylor]: Taking taylor expansion of 0 in d3
0.380 * [taylor]: Taking taylor expansion of 0 in d3
0.380 * [taylor]: Taking taylor expansion of 0 in d3
0.380 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in (d1 d2 d3) around 0
0.380 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d3
0.380 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.380 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.380 * [taylor]: Taking taylor expansion of d2 in d3
0.380 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.380 * [taylor]: Taking taylor expansion of d3 in d3
0.380 * [taylor]: Taking taylor expansion of d1 in d3
0.380 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d2
0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.381 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.381 * [taylor]: Taking taylor expansion of d2 in d2
0.381 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.381 * [taylor]: Taking taylor expansion of d3 in d2
0.381 * [taylor]: Taking taylor expansion of d1 in d2
0.381 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d1
0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.381 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.381 * [taylor]: Taking taylor expansion of d2 in d1
0.381 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.381 * [taylor]: Taking taylor expansion of d3 in d1
0.381 * [taylor]: Taking taylor expansion of d1 in d1
0.381 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d1
0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.381 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.381 * [taylor]: Taking taylor expansion of d2 in d1
0.381 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.381 * [taylor]: Taking taylor expansion of d3 in d1
0.381 * [taylor]: Taking taylor expansion of d1 in d1
0.381 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.381 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.381 * [taylor]: Taking taylor expansion of d2 in d2
0.381 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.381 * [taylor]: Taking taylor expansion of d3 in d2
0.381 * [taylor]: Taking taylor expansion of 1 in d3
0.381 * [taylor]: Taking taylor expansion of 0 in d2
0.382 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.382 * [taylor]: Taking taylor expansion of d3 in d3
0.382 * [taylor]: Taking taylor expansion of 0 in d2
0.382 * [taylor]: Taking taylor expansion of 0 in d3
0.382 * [taylor]: Taking taylor expansion of 0 in d3
0.382 * [taylor]: Taking taylor expansion of 0 in d2
0.382 * [taylor]: Taking taylor expansion of 0 in d3
0.382 * [taylor]: Taking taylor expansion of 0 in d3
0.383 * [taylor]: Taking taylor expansion of 0 in d3
0.383 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in (d1 d2 d3) around 0
0.383 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d3
0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.383 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.383 * [taylor]: Taking taylor expansion of d2 in d3
0.383 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.383 * [taylor]: Taking taylor expansion of d3 in d3
0.383 * [taylor]: Taking taylor expansion of d1 in d3
0.383 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d2
0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.383 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.383 * [taylor]: Taking taylor expansion of d2 in d2
0.383 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.383 * [taylor]: Taking taylor expansion of d3 in d2
0.383 * [taylor]: Taking taylor expansion of d1 in d2
0.383 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d1
0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.383 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.383 * [taylor]: Taking taylor expansion of d2 in d1
0.383 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.383 * [taylor]: Taking taylor expansion of d3 in d1
0.383 * [taylor]: Taking taylor expansion of d1 in d1
0.383 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) (/ 1 d3)) d1) in d1
0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.384 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.384 * [taylor]: Taking taylor expansion of d2 in d1
0.384 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.384 * [taylor]: Taking taylor expansion of d3 in d1
0.384 * [taylor]: Taking taylor expansion of d1 in d1
0.384 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.384 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.384 * [taylor]: Taking taylor expansion of d2 in d2
0.384 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.384 * [taylor]: Taking taylor expansion of d3 in d2
0.384 * [taylor]: Taking taylor expansion of 1 in d3
0.384 * [taylor]: Taking taylor expansion of 0 in d2
0.384 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.384 * [taylor]: Taking taylor expansion of d3 in d3
0.384 * [taylor]: Taking taylor expansion of 0 in d2
0.384 * [taylor]: Taking taylor expansion of 0 in d3
0.385 * [taylor]: Taking taylor expansion of 0 in d3
0.385 * [taylor]: Taking taylor expansion of 0 in d2
0.385 * [taylor]: Taking taylor expansion of 0 in d3
0.385 * [taylor]: Taking taylor expansion of 0 in d3
0.385 * [taylor]: Taking taylor expansion of 0 in d3
0.385 * * * [progress]: simplifying candidates
0.386 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 d1 (+.f64 d2 d3))
  (+.f64 (log.f64 d1) (log.f64 (+.f64 d2 d3)))
  (log.f64 (*.f64 d1 (+.f64 d2 d3)))
  (exp.f64 (*.f64 d1 (+.f64 d2 d3)))
  (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 (*.f64 (+.f64 d2 d3) (+.f64 d2 d3)) (+.f64 d2 d3)))
  (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
  (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))
  (*.f64 (*.f64 (*.f64 d1 (+.f64 d2 d3)) (*.f64 d1 (+.f64 d2 d3))) (*.f64 d1 (+.f64 d2 d3)))
  (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))
  (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 d3)))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 d3)))
  (*.f64 d1 d2)
  (*.f64 d1 d3)
  (*.f64 d2 d1)
  (*.f64 d3 d1)
  (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 d1 (sqrt.f64 (+.f64 d2 d3)))
  (*.f64 d1 1)
  (*.f64 d1 1)
  (*.f64 (cbrt.f64 d1) (+.f64 d2 d3))
  (*.f64 (sqrt.f64 d1) (+.f64 d2 d3))
  (*.f64 d1 (+.f64 d2 d3))
  (*.f64 d1 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)))
  (*.f64 d1 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3)))
  (+.f64 (*.f64 d1 d3) (*.f64 d1 d2))
  (+.f64 (*.f64 d1 d3) (*.f64 d1 d2))
  (+.f64 (*.f64 d1 d3) (*.f64 d1 d2))
0.462 * * [simplify]: iteration  0 :  4889  enodes  (cost  163 )
0.462 * * [simplify]: iteration  1 :  4889  enodes  (cost  163 )
0.464 * [simplify]: Simplified to:
   (*.f64 d1 (+.f64 d2 d3))
  (log.f64 (*.f64 d1 (+.f64 d2 d3)))
  (log.f64 (*.f64 d1 (+.f64 d2 d3)))
  (exp.f64 (*.f64 d1 (+.f64 d2 d3)))
  (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3)
  (*.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
  (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))
  (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3)
  (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))
  (sqrt.f64 (*.f64 d1 (+.f64 d2 d3)))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 d3)))
  (*.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 d3)))
  (*.f64 d1 d2)
  (*.f64 d1 d3)
  (*.f64 d1 d2)
  (*.f64 d1 d3)
  (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 d1 (sqrt.f64 (+.f64 d2 d3)))
  d1
  d1
  (*.f64 (+.f64 d2 d3) (cbrt.f64 d1))
  (*.f64 (+.f64 d2 d3) (sqrt.f64 d1))
  (*.f64 d1 (+.f64 d2 d3))
  (*.f64 d1 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)))
  (*.f64 d1 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3)))
  (*.f64 d1 (+.f64 d2 d3))
  (*.f64 d1 (+.f64 d2 d3))
  (*.f64 d1 (+.f64 d2 d3))
0.464 * * * [progress]: adding candidates to table
0.480 * * [progress]: iteration 3 / 4
0.480 * * * [progress]: picking best candidate
0.488 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.f64 (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))) (cbrt.f64 (+.f64 d2 d3))))>
0.488 * * * [progress]: localizing error
0.495 * * * [progress]: generating rewritten candidates
0.495 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.501 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
0.504 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
0.507 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.522 * * * [progress]: generating series expansions
0.522 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.522 * [approximate]: Taking taylor expansion of (pow (+ d3 d2) 1/3) in (d2 d3) around 0
0.522 * [taylor]: Taking taylor expansion of (pow (+ d3 d2) 1/3) in d3
0.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 d2)))) in d3
0.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 d2))) in d3
0.522 * [taylor]: Taking taylor expansion of 1/3 in d3
0.522 * [taylor]: Taking taylor expansion of (log (+ d3 d2)) in d3
0.522 * [taylor]: Taking taylor expansion of (+ d3 d2) in d3
0.522 * [taylor]: Taking taylor expansion of d3 in d3
0.522 * [taylor]: Taking taylor expansion of d2 in d3
0.522 * [taylor]: Taking taylor expansion of (pow (+ d3 d2) 1/3) in d2
0.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 d2)))) in d2
0.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 d2))) in d2
0.522 * [taylor]: Taking taylor expansion of 1/3 in d2
0.522 * [taylor]: Taking taylor expansion of (log (+ d3 d2)) in d2
0.522 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2
0.522 * [taylor]: Taking taylor expansion of d3 in d2
0.522 * [taylor]: Taking taylor expansion of d2 in d2
0.522 * [taylor]: Taking taylor expansion of (pow (+ d3 d2) 1/3) in d2
0.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 d2)))) in d2
0.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 d2))) in d2
0.522 * [taylor]: Taking taylor expansion of 1/3 in d2
0.522 * [taylor]: Taking taylor expansion of (log (+ d3 d2)) in d2
0.522 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2
0.522 * [taylor]: Taking taylor expansion of d3 in d2
0.522 * [taylor]: Taking taylor expansion of d2 in d2
0.523 * [taylor]: Taking taylor expansion of (pow d3 1/3) in d3
0.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d3))) in d3
0.523 * [taylor]: Taking taylor expansion of (* 1/3 (log d3)) in d3
0.523 * [taylor]: Taking taylor expansion of 1/3 in d3
0.523 * [taylor]: Taking taylor expansion of (log d3) in d3
0.523 * [taylor]: Taking taylor expansion of d3 in d3
0.523 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow d3 2)) 1/3)) in d3
0.523 * [taylor]: Taking taylor expansion of 1/3 in d3
0.523 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d3 2)) 1/3) in d3
0.523 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d3 2))))) in d3
0.523 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d3 2)))) in d3
0.523 * [taylor]: Taking taylor expansion of 1/3 in d3
0.523 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d3 2))) in d3
0.523 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.523 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.523 * [taylor]: Taking taylor expansion of d3 in d3
0.524 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow d3 5)) 1/3)) in d3
0.525 * [taylor]: Taking taylor expansion of -1/9 in d3
0.525 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d3 5)) 1/3) in d3
0.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d3 5))))) in d3
0.525 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d3 5)))) in d3
0.525 * [taylor]: Taking taylor expansion of 1/3 in d3
0.525 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d3 5))) in d3
0.525 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 5)) in d3
0.525 * [taylor]: Taking taylor expansion of (pow d3 5) in d3
0.525 * [taylor]: Taking taylor expansion of d3 in d3
0.526 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in (d2 d3) around 0
0.526 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d3
0.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d3
0.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d3
0.526 * [taylor]: Taking taylor expansion of 1/3 in d3
0.526 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d3
0.526 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.526 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.526 * [taylor]: Taking taylor expansion of d2 in d3
0.526 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.526 * [taylor]: Taking taylor expansion of d3 in d3
0.526 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d2
0.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d2
0.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d2
0.526 * [taylor]: Taking taylor expansion of 1/3 in d2
0.526 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d2
0.526 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.526 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.526 * [taylor]: Taking taylor expansion of d2 in d2
0.526 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.526 * [taylor]: Taking taylor expansion of d3 in d2
0.526 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d2
0.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d2
0.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d2
0.526 * [taylor]: Taking taylor expansion of 1/3 in d2
0.526 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d2
0.526 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.526 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.526 * [taylor]: Taking taylor expansion of d2 in d2
0.526 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.526 * [taylor]: Taking taylor expansion of d3 in d2
0.527 * [taylor]: Taking taylor expansion of (pow d2 -1/3) in d3
0.527 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log d2))) in d3
0.527 * [taylor]: Taking taylor expansion of (* -1/3 (log d2)) in d3
0.527 * [taylor]: Taking taylor expansion of -1/3 in d3
0.527 * [taylor]: Taking taylor expansion of (log d2) in d3
0.527 * [taylor]: Taking taylor expansion of d2 in d3
0.527 * [taylor]: Taking taylor expansion of (* 1/3 (* (/ 1 d3) (pow (/ 1 d2) 1/3))) in d3
0.527 * [taylor]: Taking taylor expansion of 1/3 in d3
0.527 * [taylor]: Taking taylor expansion of (* (/ 1 d3) (pow (/ 1 d2) 1/3)) in d3
0.527 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.527 * [taylor]: Taking taylor expansion of d3 in d3
0.527 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.527 * [taylor]: Taking taylor expansion of 1/3 in d3
0.527 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.527 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.527 * [taylor]: Taking taylor expansion of d2 in d3
0.529 * [taylor]: Taking taylor expansion of (* -1/9 (* (/ 1 (pow d3 2)) (pow (/ 1 d2) 1/3))) in d3
0.529 * [taylor]: Taking taylor expansion of -1/9 in d3
0.529 * [taylor]: Taking taylor expansion of (* (/ 1 (pow d3 2)) (pow (/ 1 d2) 1/3)) in d3
0.529 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.529 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.529 * [taylor]: Taking taylor expansion of d3 in d3
0.529 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.529 * [taylor]: Taking taylor expansion of 1/3 in d3
0.529 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.529 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.529 * [taylor]: Taking taylor expansion of d2 in d3
0.532 * [taylor]: Taking taylor expansion of (* 5/81 (* (/ 1 (pow d3 3)) (pow (/ 1 d2) 1/3))) in d3
0.532 * [taylor]: Taking taylor expansion of 5/81 in d3
0.532 * [taylor]: Taking taylor expansion of (* (/ 1 (pow d3 3)) (pow (/ 1 d2) 1/3)) in d3
0.532 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
0.532 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.532 * [taylor]: Taking taylor expansion of d3 in d3
0.533 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.533 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.533 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.533 * [taylor]: Taking taylor expansion of 1/3 in d3
0.533 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.533 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.533 * [taylor]: Taking taylor expansion of d2 in d3
0.535 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 d2) (/ 1 d3)) 1/3)) in (d2 d3) around 0
0.535 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 d2) (/ 1 d3)) 1/3)) in d3
0.535 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.535 * [taylor]: Taking taylor expansion of -1 in d3
0.535 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d3
0.535 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d3
0.535 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d3
0.535 * [taylor]: Taking taylor expansion of 1/3 in d3
0.535 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d3
0.535 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.535 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.535 * [taylor]: Taking taylor expansion of d2 in d3
0.535 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.535 * [taylor]: Taking taylor expansion of d3 in d3
0.535 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 d2) (/ 1 d3)) 1/3)) in d2
0.535 * [taylor]: Taking taylor expansion of (cbrt -1) in d2
0.535 * [taylor]: Taking taylor expansion of -1 in d2
0.535 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d2
0.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d2
0.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d2
0.536 * [taylor]: Taking taylor expansion of 1/3 in d2
0.536 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d2
0.536 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.536 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.536 * [taylor]: Taking taylor expansion of d2 in d2
0.536 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.536 * [taylor]: Taking taylor expansion of d3 in d2
0.536 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 d2) (/ 1 d3)) 1/3)) in d2
0.536 * [taylor]: Taking taylor expansion of (cbrt -1) in d2
0.536 * [taylor]: Taking taylor expansion of -1 in d2
0.536 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d2
0.536 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d2
0.536 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d2
0.536 * [taylor]: Taking taylor expansion of 1/3 in d2
0.536 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d2
0.536 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.536 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.536 * [taylor]: Taking taylor expansion of d2 in d2
0.536 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.536 * [taylor]: Taking taylor expansion of d3 in d2
0.536 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d2) 1/3)) in d3
0.536 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.536 * [taylor]: Taking taylor expansion of -1 in d3
0.537 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.537 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.537 * [taylor]: Taking taylor expansion of 1/3 in d3
0.537 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.537 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.537 * [taylor]: Taking taylor expansion of d2 in d3
0.538 * [taylor]: Taking taylor expansion of (* 1/3 (* (/ (cbrt -1) d3) (pow (/ 1 d2) 1/3))) in d3
0.538 * [taylor]: Taking taylor expansion of 1/3 in d3
0.538 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) d3) (pow (/ 1 d2) 1/3)) in d3
0.538 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d3) in d3
0.538 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.538 * [taylor]: Taking taylor expansion of -1 in d3
0.538 * [taylor]: Taking taylor expansion of d3 in d3
0.538 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.538 * [taylor]: Taking taylor expansion of 1/3 in d3
0.538 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.538 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.538 * [taylor]: Taking taylor expansion of d2 in d3
0.541 * [taylor]: Taking taylor expansion of (neg (* 1/9 (* (/ (cbrt -1) (pow d3 2)) (pow (/ 1 d2) 1/3)))) in d3
0.541 * [taylor]: Taking taylor expansion of (* 1/9 (* (/ (cbrt -1) (pow d3 2)) (pow (/ 1 d2) 1/3))) in d3
0.541 * [taylor]: Taking taylor expansion of 1/9 in d3
0.541 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow d3 2)) (pow (/ 1 d2) 1/3)) in d3
0.541 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow d3 2)) in d3
0.541 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.541 * [taylor]: Taking taylor expansion of -1 in d3
0.541 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.541 * [taylor]: Taking taylor expansion of d3 in d3
0.541 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.541 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.541 * [taylor]: Taking taylor expansion of 1/3 in d3
0.541 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.541 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.541 * [taylor]: Taking taylor expansion of d2 in d3
0.546 * [taylor]: Taking taylor expansion of (* 5/81 (* (/ (cbrt -1) (pow d3 3)) (pow (/ 1 d2) 1/3))) in d3
0.546 * [taylor]: Taking taylor expansion of 5/81 in d3
0.546 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow d3 3)) (pow (/ 1 d2) 1/3)) in d3
0.546 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow d3 3)) in d3
0.546 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.546 * [taylor]: Taking taylor expansion of -1 in d3
0.547 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.547 * [taylor]: Taking taylor expansion of d3 in d3
0.547 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.547 * [taylor]: Taking taylor expansion of 1/3 in d3
0.547 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.547 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.547 * [taylor]: Taking taylor expansion of d2 in d3
0.549 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
0.550 * [approximate]: Taking taylor expansion of (pow (+ d3 d2) 1/3) in (d2 d3) around 0
0.550 * [taylor]: Taking taylor expansion of (pow (+ d3 d2) 1/3) in d3
0.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 d2)))) in d3
0.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 d2))) in d3
0.550 * [taylor]: Taking taylor expansion of 1/3 in d3
0.550 * [taylor]: Taking taylor expansion of (log (+ d3 d2)) in d3
0.550 * [taylor]: Taking taylor expansion of (+ d3 d2) in d3
0.550 * [taylor]: Taking taylor expansion of d3 in d3
0.550 * [taylor]: Taking taylor expansion of d2 in d3
0.550 * [taylor]: Taking taylor expansion of (pow (+ d3 d2) 1/3) in d2
0.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 d2)))) in d2
0.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 d2))) in d2
0.550 * [taylor]: Taking taylor expansion of 1/3 in d2
0.550 * [taylor]: Taking taylor expansion of (log (+ d3 d2)) in d2
0.550 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2
0.550 * [taylor]: Taking taylor expansion of d3 in d2
0.550 * [taylor]: Taking taylor expansion of d2 in d2
0.550 * [taylor]: Taking taylor expansion of (pow (+ d3 d2) 1/3) in d2
0.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 d2)))) in d2
0.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 d2))) in d2
0.550 * [taylor]: Taking taylor expansion of 1/3 in d2
0.550 * [taylor]: Taking taylor expansion of (log (+ d3 d2)) in d2
0.550 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2
0.550 * [taylor]: Taking taylor expansion of d3 in d2
0.550 * [taylor]: Taking taylor expansion of d2 in d2
0.550 * [taylor]: Taking taylor expansion of (pow d3 1/3) in d3
0.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d3))) in d3
0.550 * [taylor]: Taking taylor expansion of (* 1/3 (log d3)) in d3
0.550 * [taylor]: Taking taylor expansion of 1/3 in d3
0.550 * [taylor]: Taking taylor expansion of (log d3) in d3
0.550 * [taylor]: Taking taylor expansion of d3 in d3
0.551 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow d3 2)) 1/3)) in d3
0.551 * [taylor]: Taking taylor expansion of 1/3 in d3
0.551 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d3 2)) 1/3) in d3
0.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d3 2))))) in d3
0.551 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d3 2)))) in d3
0.551 * [taylor]: Taking taylor expansion of 1/3 in d3
0.551 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d3 2))) in d3
0.551 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.551 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.551 * [taylor]: Taking taylor expansion of d3 in d3
0.552 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow d3 5)) 1/3)) in d3
0.552 * [taylor]: Taking taylor expansion of -1/9 in d3
0.552 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d3 5)) 1/3) in d3
0.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d3 5))))) in d3
0.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d3 5)))) in d3
0.552 * [taylor]: Taking taylor expansion of 1/3 in d3
0.552 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d3 5))) in d3
0.552 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 5)) in d3
0.552 * [taylor]: Taking taylor expansion of (pow d3 5) in d3
0.552 * [taylor]: Taking taylor expansion of d3 in d3
0.553 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in (d2 d3) around 0
0.553 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d3
0.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d3
0.553 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d3
0.553 * [taylor]: Taking taylor expansion of 1/3 in d3
0.553 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d3
0.553 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.553 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.553 * [taylor]: Taking taylor expansion of d2 in d3
0.553 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.553 * [taylor]: Taking taylor expansion of d3 in d3
0.554 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d2
0.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d2
0.554 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d2
0.554 * [taylor]: Taking taylor expansion of 1/3 in d2
0.554 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d2
0.554 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.554 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.554 * [taylor]: Taking taylor expansion of d2 in d2
0.554 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.554 * [taylor]: Taking taylor expansion of d3 in d2
0.554 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d2
0.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d2
0.554 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d2
0.554 * [taylor]: Taking taylor expansion of 1/3 in d2
0.554 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d2
0.554 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.554 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.554 * [taylor]: Taking taylor expansion of d2 in d2
0.554 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.554 * [taylor]: Taking taylor expansion of d3 in d2
0.554 * [taylor]: Taking taylor expansion of (pow d2 -1/3) in d3
0.554 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log d2))) in d3
0.554 * [taylor]: Taking taylor expansion of (* -1/3 (log d2)) in d3
0.554 * [taylor]: Taking taylor expansion of -1/3 in d3
0.554 * [taylor]: Taking taylor expansion of (log d2) in d3
0.554 * [taylor]: Taking taylor expansion of d2 in d3
0.555 * [taylor]: Taking taylor expansion of (* 1/3 (* (/ 1 d3) (pow (/ 1 d2) 1/3))) in d3
0.555 * [taylor]: Taking taylor expansion of 1/3 in d3
0.555 * [taylor]: Taking taylor expansion of (* (/ 1 d3) (pow (/ 1 d2) 1/3)) in d3
0.555 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.555 * [taylor]: Taking taylor expansion of d3 in d3
0.555 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.555 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.555 * [taylor]: Taking taylor expansion of 1/3 in d3
0.555 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.555 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.555 * [taylor]: Taking taylor expansion of d2 in d3
0.557 * [taylor]: Taking taylor expansion of (* -1/9 (* (/ 1 (pow d3 2)) (pow (/ 1 d2) 1/3))) in d3
0.557 * [taylor]: Taking taylor expansion of -1/9 in d3
0.557 * [taylor]: Taking taylor expansion of (* (/ 1 (pow d3 2)) (pow (/ 1 d2) 1/3)) in d3
0.557 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.557 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.557 * [taylor]: Taking taylor expansion of d3 in d3
0.557 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.557 * [taylor]: Taking taylor expansion of 1/3 in d3
0.557 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.557 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.557 * [taylor]: Taking taylor expansion of d2 in d3
0.560 * [taylor]: Taking taylor expansion of (* 5/81 (* (/ 1 (pow d3 3)) (pow (/ 1 d2) 1/3))) in d3
0.560 * [taylor]: Taking taylor expansion of 5/81 in d3
0.560 * [taylor]: Taking taylor expansion of (* (/ 1 (pow d3 3)) (pow (/ 1 d2) 1/3)) in d3
0.560 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
0.560 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.560 * [taylor]: Taking taylor expansion of d3 in d3
0.560 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.560 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.560 * [taylor]: Taking taylor expansion of 1/3 in d3
0.560 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.560 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.560 * [taylor]: Taking taylor expansion of d2 in d3
0.562 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 d2) (/ 1 d3)) 1/3)) in (d2 d3) around 0
0.563 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 d2) (/ 1 d3)) 1/3)) in d3
0.563 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.563 * [taylor]: Taking taylor expansion of -1 in d3
0.563 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d3
0.563 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d3
0.563 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d3
0.563 * [taylor]: Taking taylor expansion of 1/3 in d3
0.563 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d3
0.563 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.563 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.563 * [taylor]: Taking taylor expansion of d2 in d3
0.563 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.563 * [taylor]: Taking taylor expansion of d3 in d3
0.563 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 d2) (/ 1 d3)) 1/3)) in d2
0.563 * [taylor]: Taking taylor expansion of (cbrt -1) in d2
0.563 * [taylor]: Taking taylor expansion of -1 in d2
0.563 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d2
0.563 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d2
0.563 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d2
0.563 * [taylor]: Taking taylor expansion of 1/3 in d2
0.563 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d2
0.563 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.563 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.563 * [taylor]: Taking taylor expansion of d2 in d2
0.563 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.563 * [taylor]: Taking taylor expansion of d3 in d2
0.563 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 d2) (/ 1 d3)) 1/3)) in d2
0.563 * [taylor]: Taking taylor expansion of (cbrt -1) in d2
0.564 * [taylor]: Taking taylor expansion of -1 in d2
0.564 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d2
0.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d2
0.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d2
0.564 * [taylor]: Taking taylor expansion of 1/3 in d2
0.564 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d2
0.564 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.564 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.564 * [taylor]: Taking taylor expansion of d2 in d2
0.564 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.564 * [taylor]: Taking taylor expansion of d3 in d2
0.564 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d2) 1/3)) in d3
0.564 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.564 * [taylor]: Taking taylor expansion of -1 in d3
0.564 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.564 * [taylor]: Taking taylor expansion of 1/3 in d3
0.564 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.564 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.564 * [taylor]: Taking taylor expansion of d2 in d3
0.565 * [taylor]: Taking taylor expansion of (* 1/3 (* (/ (cbrt -1) d3) (pow (/ 1 d2) 1/3))) in d3
0.565 * [taylor]: Taking taylor expansion of 1/3 in d3
0.565 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) d3) (pow (/ 1 d2) 1/3)) in d3
0.565 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d3) in d3
0.565 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.565 * [taylor]: Taking taylor expansion of -1 in d3
0.566 * [taylor]: Taking taylor expansion of d3 in d3
0.566 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.566 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.566 * [taylor]: Taking taylor expansion of 1/3 in d3
0.566 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.566 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.566 * [taylor]: Taking taylor expansion of d2 in d3
0.568 * [taylor]: Taking taylor expansion of (neg (* 1/9 (* (/ (cbrt -1) (pow d3 2)) (pow (/ 1 d2) 1/3)))) in d3
0.568 * [taylor]: Taking taylor expansion of (* 1/9 (* (/ (cbrt -1) (pow d3 2)) (pow (/ 1 d2) 1/3))) in d3
0.568 * [taylor]: Taking taylor expansion of 1/9 in d3
0.568 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow d3 2)) (pow (/ 1 d2) 1/3)) in d3
0.568 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow d3 2)) in d3
0.568 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.568 * [taylor]: Taking taylor expansion of -1 in d3
0.569 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.569 * [taylor]: Taking taylor expansion of d3 in d3
0.569 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.569 * [taylor]: Taking taylor expansion of 1/3 in d3
0.569 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.569 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.569 * [taylor]: Taking taylor expansion of d2 in d3
0.574 * [taylor]: Taking taylor expansion of (* 5/81 (* (/ (cbrt -1) (pow d3 3)) (pow (/ 1 d2) 1/3))) in d3
0.574 * [taylor]: Taking taylor expansion of 5/81 in d3
0.574 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow d3 3)) (pow (/ 1 d2) 1/3)) in d3
0.574 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow d3 3)) in d3
0.574 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.574 * [taylor]: Taking taylor expansion of -1 in d3
0.574 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.574 * [taylor]: Taking taylor expansion of d3 in d3
0.574 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.575 * [taylor]: Taking taylor expansion of 1/3 in d3
0.575 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.575 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.575 * [taylor]: Taking taylor expansion of d2 in d3
0.577 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
0.578 * [approximate]: Taking taylor expansion of (pow (+ d3 d2) 1/3) in (d2 d3) around 0
0.578 * [taylor]: Taking taylor expansion of (pow (+ d3 d2) 1/3) in d3
0.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 d2)))) in d3
0.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 d2))) in d3
0.578 * [taylor]: Taking taylor expansion of 1/3 in d3
0.578 * [taylor]: Taking taylor expansion of (log (+ d3 d2)) in d3
0.578 * [taylor]: Taking taylor expansion of (+ d3 d2) in d3
0.578 * [taylor]: Taking taylor expansion of d3 in d3
0.578 * [taylor]: Taking taylor expansion of d2 in d3
0.578 * [taylor]: Taking taylor expansion of (pow (+ d3 d2) 1/3) in d2
0.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 d2)))) in d2
0.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 d2))) in d2
0.578 * [taylor]: Taking taylor expansion of 1/3 in d2
0.578 * [taylor]: Taking taylor expansion of (log (+ d3 d2)) in d2
0.578 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2
0.578 * [taylor]: Taking taylor expansion of d3 in d2
0.578 * [taylor]: Taking taylor expansion of d2 in d2
0.578 * [taylor]: Taking taylor expansion of (pow (+ d3 d2) 1/3) in d2
0.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 d2)))) in d2
0.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 d2))) in d2
0.578 * [taylor]: Taking taylor expansion of 1/3 in d2
0.578 * [taylor]: Taking taylor expansion of (log (+ d3 d2)) in d2
0.578 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2
0.578 * [taylor]: Taking taylor expansion of d3 in d2
0.578 * [taylor]: Taking taylor expansion of d2 in d2
0.578 * [taylor]: Taking taylor expansion of (pow d3 1/3) in d3
0.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d3))) in d3
0.578 * [taylor]: Taking taylor expansion of (* 1/3 (log d3)) in d3
0.578 * [taylor]: Taking taylor expansion of 1/3 in d3
0.578 * [taylor]: Taking taylor expansion of (log d3) in d3
0.578 * [taylor]: Taking taylor expansion of d3 in d3
0.579 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow d3 2)) 1/3)) in d3
0.579 * [taylor]: Taking taylor expansion of 1/3 in d3
0.579 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d3 2)) 1/3) in d3
0.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d3 2))))) in d3
0.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d3 2)))) in d3
0.579 * [taylor]: Taking taylor expansion of 1/3 in d3
0.579 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d3 2))) in d3
0.579 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.579 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.579 * [taylor]: Taking taylor expansion of d3 in d3
0.580 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow d3 5)) 1/3)) in d3
0.580 * [taylor]: Taking taylor expansion of -1/9 in d3
0.580 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d3 5)) 1/3) in d3
0.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d3 5))))) in d3
0.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d3 5)))) in d3
0.580 * [taylor]: Taking taylor expansion of 1/3 in d3
0.580 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d3 5))) in d3
0.580 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 5)) in d3
0.580 * [taylor]: Taking taylor expansion of (pow d3 5) in d3
0.580 * [taylor]: Taking taylor expansion of d3 in d3
0.581 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in (d2 d3) around 0
0.581 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d3
0.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d3
0.581 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d3
0.581 * [taylor]: Taking taylor expansion of 1/3 in d3
0.581 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d3
0.581 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.581 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.581 * [taylor]: Taking taylor expansion of d2 in d3
0.581 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.581 * [taylor]: Taking taylor expansion of d3 in d3
0.582 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d2
0.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d2
0.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d2
0.582 * [taylor]: Taking taylor expansion of 1/3 in d2
0.582 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d2
0.582 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.582 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.582 * [taylor]: Taking taylor expansion of d2 in d2
0.582 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.582 * [taylor]: Taking taylor expansion of d3 in d2
0.582 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d2
0.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d2
0.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d2
0.582 * [taylor]: Taking taylor expansion of 1/3 in d2
0.582 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d2
0.582 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.582 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.582 * [taylor]: Taking taylor expansion of d2 in d2
0.582 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.582 * [taylor]: Taking taylor expansion of d3 in d2
0.582 * [taylor]: Taking taylor expansion of (pow d2 -1/3) in d3
0.582 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log d2))) in d3
0.582 * [taylor]: Taking taylor expansion of (* -1/3 (log d2)) in d3
0.582 * [taylor]: Taking taylor expansion of -1/3 in d3
0.582 * [taylor]: Taking taylor expansion of (log d2) in d3
0.582 * [taylor]: Taking taylor expansion of d2 in d3
0.583 * [taylor]: Taking taylor expansion of (* 1/3 (* (/ 1 d3) (pow (/ 1 d2) 1/3))) in d3
0.583 * [taylor]: Taking taylor expansion of 1/3 in d3
0.583 * [taylor]: Taking taylor expansion of (* (/ 1 d3) (pow (/ 1 d2) 1/3)) in d3
0.583 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.583 * [taylor]: Taking taylor expansion of d3 in d3
0.583 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.583 * [taylor]: Taking taylor expansion of 1/3 in d3
0.583 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.583 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.583 * [taylor]: Taking taylor expansion of d2 in d3
0.585 * [taylor]: Taking taylor expansion of (* -1/9 (* (/ 1 (pow d3 2)) (pow (/ 1 d2) 1/3))) in d3
0.585 * [taylor]: Taking taylor expansion of -1/9 in d3
0.585 * [taylor]: Taking taylor expansion of (* (/ 1 (pow d3 2)) (pow (/ 1 d2) 1/3)) in d3
0.585 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.585 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.585 * [taylor]: Taking taylor expansion of d3 in d3
0.585 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.585 * [taylor]: Taking taylor expansion of 1/3 in d3
0.585 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.585 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.585 * [taylor]: Taking taylor expansion of d2 in d3
0.588 * [taylor]: Taking taylor expansion of (* 5/81 (* (/ 1 (pow d3 3)) (pow (/ 1 d2) 1/3))) in d3
0.588 * [taylor]: Taking taylor expansion of 5/81 in d3
0.588 * [taylor]: Taking taylor expansion of (* (/ 1 (pow d3 3)) (pow (/ 1 d2) 1/3)) in d3
0.588 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
0.588 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.588 * [taylor]: Taking taylor expansion of d3 in d3
0.588 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.588 * [taylor]: Taking taylor expansion of 1/3 in d3
0.588 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.588 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.588 * [taylor]: Taking taylor expansion of d2 in d3
0.590 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 d2) (/ 1 d3)) 1/3)) in (d2 d3) around 0
0.590 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 d2) (/ 1 d3)) 1/3)) in d3
0.590 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.590 * [taylor]: Taking taylor expansion of -1 in d3
0.591 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d3
0.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d3
0.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d3
0.591 * [taylor]: Taking taylor expansion of 1/3 in d3
0.591 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d3
0.591 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.591 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.591 * [taylor]: Taking taylor expansion of d2 in d3
0.591 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.591 * [taylor]: Taking taylor expansion of d3 in d3
0.591 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 d2) (/ 1 d3)) 1/3)) in d2
0.591 * [taylor]: Taking taylor expansion of (cbrt -1) in d2
0.591 * [taylor]: Taking taylor expansion of -1 in d2
0.591 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d2
0.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d2
0.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d2
0.591 * [taylor]: Taking taylor expansion of 1/3 in d2
0.591 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d2
0.591 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.591 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.591 * [taylor]: Taking taylor expansion of d2 in d2
0.591 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.591 * [taylor]: Taking taylor expansion of d3 in d2
0.591 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 d2) (/ 1 d3)) 1/3)) in d2
0.591 * [taylor]: Taking taylor expansion of (cbrt -1) in d2
0.591 * [taylor]: Taking taylor expansion of -1 in d2
0.592 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 1/3) in d2
0.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) (/ 1 d3))))) in d2
0.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) (/ 1 d3)))) in d2
0.592 * [taylor]: Taking taylor expansion of 1/3 in d2
0.592 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) (/ 1 d3))) in d2
0.592 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.592 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.592 * [taylor]: Taking taylor expansion of d2 in d2
0.592 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.592 * [taylor]: Taking taylor expansion of d3 in d2
0.592 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 d2) 1/3)) in d3
0.592 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.592 * [taylor]: Taking taylor expansion of -1 in d3
0.592 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.592 * [taylor]: Taking taylor expansion of 1/3 in d3
0.592 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.592 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.592 * [taylor]: Taking taylor expansion of d2 in d3
0.596 * [taylor]: Taking taylor expansion of (* 1/3 (* (/ (cbrt -1) d3) (pow (/ 1 d2) 1/3))) in d3
0.596 * [taylor]: Taking taylor expansion of 1/3 in d3
0.596 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) d3) (pow (/ 1 d2) 1/3)) in d3
0.596 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d3) in d3
0.596 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.596 * [taylor]: Taking taylor expansion of -1 in d3
0.596 * [taylor]: Taking taylor expansion of d3 in d3
0.596 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.596 * [taylor]: Taking taylor expansion of 1/3 in d3
0.596 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.596 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.596 * [taylor]: Taking taylor expansion of d2 in d3
0.599 * [taylor]: Taking taylor expansion of (neg (* 1/9 (* (/ (cbrt -1) (pow d3 2)) (pow (/ 1 d2) 1/3)))) in d3
0.599 * [taylor]: Taking taylor expansion of (* 1/9 (* (/ (cbrt -1) (pow d3 2)) (pow (/ 1 d2) 1/3))) in d3
0.599 * [taylor]: Taking taylor expansion of 1/9 in d3
0.599 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow d3 2)) (pow (/ 1 d2) 1/3)) in d3
0.599 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow d3 2)) in d3
0.599 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.599 * [taylor]: Taking taylor expansion of -1 in d3
0.599 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.599 * [taylor]: Taking taylor expansion of d3 in d3
0.599 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.599 * [taylor]: Taking taylor expansion of 1/3 in d3
0.599 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.599 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.600 * [taylor]: Taking taylor expansion of d2 in d3
0.605 * [taylor]: Taking taylor expansion of (* 5/81 (* (/ (cbrt -1) (pow d3 3)) (pow (/ 1 d2) 1/3))) in d3
0.605 * [taylor]: Taking taylor expansion of 5/81 in d3
0.605 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (pow d3 3)) (pow (/ 1 d2) 1/3)) in d3
0.605 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow d3 3)) in d3
0.605 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.605 * [taylor]: Taking taylor expansion of -1 in d3
0.605 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.605 * [taylor]: Taking taylor expansion of d3 in d3
0.605 * [taylor]: Taking taylor expansion of (pow (/ 1 d2) 1/3) in d3
0.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d2)))) in d3
0.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d2))) in d3
0.605 * [taylor]: Taking taylor expansion of 1/3 in d3
0.605 * [taylor]: Taking taylor expansion of (log (/ 1 d2)) in d3
0.605 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.605 * [taylor]: Taking taylor expansion of d2 in d3
0.608 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.608 * [approximate]: Taking taylor expansion of (pow (pow (+ d3 d2) 2) 1/3) in (d2 d3) around 0
0.608 * [taylor]: Taking taylor expansion of (pow (pow (+ d3 d2) 2) 1/3) in d3
0.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d3 d2) 2)))) in d3
0.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d3 d2) 2))) in d3
0.608 * [taylor]: Taking taylor expansion of 1/3 in d3
0.608 * [taylor]: Taking taylor expansion of (log (pow (+ d3 d2) 2)) in d3
0.608 * [taylor]: Taking taylor expansion of (pow (+ d3 d2) 2) in d3
0.608 * [taylor]: Taking taylor expansion of (+ d3 d2) in d3
0.608 * [taylor]: Taking taylor expansion of d3 in d3
0.608 * [taylor]: Taking taylor expansion of d2 in d3
0.608 * [taylor]: Taking taylor expansion of (pow (pow (+ d3 d2) 2) 1/3) in d2
0.608 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d3 d2) 2)))) in d2
0.608 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d3 d2) 2))) in d2
0.608 * [taylor]: Taking taylor expansion of 1/3 in d2
0.608 * [taylor]: Taking taylor expansion of (log (pow (+ d3 d2) 2)) in d2
0.609 * [taylor]: Taking taylor expansion of (pow (+ d3 d2) 2) in d2
0.609 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2
0.609 * [taylor]: Taking taylor expansion of d3 in d2
0.609 * [taylor]: Taking taylor expansion of d2 in d2
0.609 * [taylor]: Taking taylor expansion of (pow (pow (+ d3 d2) 2) 1/3) in d2
0.609 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d3 d2) 2)))) in d2
0.609 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d3 d2) 2))) in d2
0.609 * [taylor]: Taking taylor expansion of 1/3 in d2
0.609 * [taylor]: Taking taylor expansion of (log (pow (+ d3 d2) 2)) in d2
0.609 * [taylor]: Taking taylor expansion of (pow (+ d3 d2) 2) in d2
0.609 * [taylor]: Taking taylor expansion of (+ d3 d2) in d2
0.609 * [taylor]: Taking taylor expansion of d3 in d2
0.609 * [taylor]: Taking taylor expansion of d2 in d2
0.609 * [taylor]: Taking taylor expansion of (pow (pow d3 2) 1/3) in d3
0.609 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow d3 2)))) in d3
0.609 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow d3 2))) in d3
0.609 * [taylor]: Taking taylor expansion of 1/3 in d3
0.609 * [taylor]: Taking taylor expansion of (log (pow d3 2)) in d3
0.609 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.609 * [taylor]: Taking taylor expansion of d3 in d3
0.610 * [taylor]: Taking taylor expansion of (* 2/3 (pow (/ 1 d3) 1/3)) in d3
0.610 * [taylor]: Taking taylor expansion of 2/3 in d3
0.610 * [taylor]: Taking taylor expansion of (pow (/ 1 d3) 1/3) in d3
0.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d3)))) in d3
0.610 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d3))) in d3
0.610 * [taylor]: Taking taylor expansion of 1/3 in d3
0.610 * [taylor]: Taking taylor expansion of (log (/ 1 d3)) in d3
0.610 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.610 * [taylor]: Taking taylor expansion of d3 in d3
0.611 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow d3 4)) 1/3)) in d3
0.611 * [taylor]: Taking taylor expansion of -1/9 in d3
0.611 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d3 4)) 1/3) in d3
0.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d3 4))))) in d3
0.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d3 4)))) in d3
0.611 * [taylor]: Taking taylor expansion of 1/3 in d3
0.611 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d3 4))) in d3
0.611 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 4)) in d3
0.611 * [taylor]: Taking taylor expansion of (pow d3 4) in d3
0.611 * [taylor]: Taking taylor expansion of d3 in d3
0.612 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) (/ 1 d3)) 2) 1/3) in (d2 d3) around 0
0.612 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) (/ 1 d3)) 2) 1/3) in d3
0.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) (/ 1 d3)) 2)))) in d3
0.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) (/ 1 d3)) 2))) in d3
0.613 * [taylor]: Taking taylor expansion of 1/3 in d3
0.613 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) (/ 1 d3)) 2)) in d3
0.613 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 2) in d3
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.613 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.613 * [taylor]: Taking taylor expansion of d2 in d3
0.613 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.613 * [taylor]: Taking taylor expansion of d3 in d3
0.613 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) (/ 1 d3)) 2) 1/3) in d2
0.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) (/ 1 d3)) 2)))) in d2
0.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) (/ 1 d3)) 2))) in d2
0.613 * [taylor]: Taking taylor expansion of 1/3 in d2
0.613 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) (/ 1 d3)) 2)) in d2
0.613 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 2) in d2
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.613 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.613 * [taylor]: Taking taylor expansion of d2 in d2
0.613 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.613 * [taylor]: Taking taylor expansion of d3 in d2
0.613 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) (/ 1 d3)) 2) 1/3) in d2
0.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) (/ 1 d3)) 2)))) in d2
0.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) (/ 1 d3)) 2))) in d2
0.613 * [taylor]: Taking taylor expansion of 1/3 in d2
0.613 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) (/ 1 d3)) 2)) in d2
0.613 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 2) in d2
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.613 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.613 * [taylor]: Taking taylor expansion of d2 in d2
0.613 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.613 * [taylor]: Taking taylor expansion of d3 in d2
0.614 * [taylor]: Taking taylor expansion of (pow d2 -2/3) in d3
0.614 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log d2))) in d3
0.614 * [taylor]: Taking taylor expansion of (* -2/3 (log d2)) in d3
0.614 * [taylor]: Taking taylor expansion of -2/3 in d3
0.614 * [taylor]: Taking taylor expansion of (log d2) in d3
0.614 * [taylor]: Taking taylor expansion of d2 in d3
0.614 * [taylor]: Taking taylor expansion of (* 2/3 (* (/ 1 d3) (pow (/ 1 (pow d2 2)) 1/3))) in d3
0.614 * [taylor]: Taking taylor expansion of 2/3 in d3
0.614 * [taylor]: Taking taylor expansion of (* (/ 1 d3) (pow (/ 1 (pow d2 2)) 1/3)) in d3
0.614 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.614 * [taylor]: Taking taylor expansion of d3 in d3
0.614 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d2 2)) 1/3) in d3
0.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d2 2))))) in d3
0.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d2 2)))) in d3
0.614 * [taylor]: Taking taylor expansion of 1/3 in d3
0.614 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d2 2))) in d3
0.614 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d3
0.614 * [taylor]: Taking taylor expansion of (pow d2 2) in d3
0.614 * [taylor]: Taking taylor expansion of d2 in d3
0.617 * [taylor]: Taking taylor expansion of (* -1/9 (* (/ 1 (pow d3 2)) (pow (/ 1 (pow d2 2)) 1/3))) in d3
0.617 * [taylor]: Taking taylor expansion of -1/9 in d3
0.617 * [taylor]: Taking taylor expansion of (* (/ 1 (pow d3 2)) (pow (/ 1 (pow d2 2)) 1/3)) in d3
0.617 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d3
0.617 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.617 * [taylor]: Taking taylor expansion of d3 in d3
0.617 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d2 2)) 1/3) in d3
0.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d2 2))))) in d3
0.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d2 2)))) in d3
0.617 * [taylor]: Taking taylor expansion of 1/3 in d3
0.617 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d2 2))) in d3
0.617 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d3
0.617 * [taylor]: Taking taylor expansion of (pow d2 2) in d3
0.617 * [taylor]: Taking taylor expansion of d2 in d3
0.622 * [taylor]: Taking taylor expansion of (* 4/81 (* (/ 1 (pow d3 3)) (pow (/ 1 (pow d2 2)) 1/3))) in d3
0.622 * [taylor]: Taking taylor expansion of 4/81 in d3
0.622 * [taylor]: Taking taylor expansion of (* (/ 1 (pow d3 3)) (pow (/ 1 (pow d2 2)) 1/3)) in d3
0.622 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 3)) in d3
0.622 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.622 * [taylor]: Taking taylor expansion of d3 in d3
0.622 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d2 2)) 1/3) in d3
0.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d2 2))))) in d3
0.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d2 2)))) in d3
0.622 * [taylor]: Taking taylor expansion of 1/3 in d3
0.622 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d2 2))) in d3
0.622 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d3
0.622 * [taylor]: Taking taylor expansion of (pow d2 2) in d3
0.622 * [taylor]: Taking taylor expansion of d2 in d3
0.626 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 d2) (/ 1 d3)) 2) 1/3)) in (d2 d3) around 0
0.626 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 d2) (/ 1 d3)) 2) 1/3)) in d3
0.626 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d3
0.626 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.626 * [taylor]: Taking taylor expansion of -1 in d3
0.626 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) (/ 1 d3)) 2) 1/3) in d3
0.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) (/ 1 d3)) 2)))) in d3
0.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) (/ 1 d3)) 2))) in d3
0.626 * [taylor]: Taking taylor expansion of 1/3 in d3
0.626 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) (/ 1 d3)) 2)) in d3
0.626 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 2) in d3
0.626 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.626 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.626 * [taylor]: Taking taylor expansion of d2 in d3
0.627 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.627 * [taylor]: Taking taylor expansion of d3 in d3
0.627 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 d2) (/ 1 d3)) 2) 1/3)) in d2
0.627 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d2
0.627 * [taylor]: Taking taylor expansion of (cbrt -1) in d2
0.627 * [taylor]: Taking taylor expansion of -1 in d2
0.627 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) (/ 1 d3)) 2) 1/3) in d2
0.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) (/ 1 d3)) 2)))) in d2
0.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) (/ 1 d3)) 2))) in d2
0.627 * [taylor]: Taking taylor expansion of 1/3 in d2
0.627 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) (/ 1 d3)) 2)) in d2
0.627 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 2) in d2
0.627 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.627 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.627 * [taylor]: Taking taylor expansion of d2 in d2
0.627 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.627 * [taylor]: Taking taylor expansion of d3 in d2
0.627 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 d2) (/ 1 d3)) 2) 1/3)) in d2
0.627 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d2
0.627 * [taylor]: Taking taylor expansion of (cbrt -1) in d2
0.627 * [taylor]: Taking taylor expansion of -1 in d2
0.627 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) (/ 1 d3)) 2) 1/3) in d2
0.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) (/ 1 d3)) 2)))) in d2
0.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) (/ 1 d3)) 2))) in d2
0.627 * [taylor]: Taking taylor expansion of 1/3 in d2
0.627 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) (/ 1 d3)) 2)) in d2
0.627 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) (/ 1 d3)) 2) in d2
0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.628 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.628 * [taylor]: Taking taylor expansion of d2 in d2
0.628 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.628 * [taylor]: Taking taylor expansion of d3 in d2
0.628 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow d2 2)) 1/3)) in d3
0.628 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d3
0.628 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.628 * [taylor]: Taking taylor expansion of -1 in d3
0.628 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d2 2)) 1/3) in d3
0.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d2 2))))) in d3
0.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d2 2)))) in d3
0.628 * [taylor]: Taking taylor expansion of 1/3 in d3
0.628 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d2 2))) in d3
0.628 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d3
0.628 * [taylor]: Taking taylor expansion of (pow d2 2) in d3
0.628 * [taylor]: Taking taylor expansion of d2 in d3
0.630 * [taylor]: Taking taylor expansion of (* 2/3 (* (/ (pow (cbrt -1) 2) d3) (pow (/ 1 (pow d2 2)) 1/3))) in d3
0.630 * [taylor]: Taking taylor expansion of 2/3 in d3
0.630 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) d3) (pow (/ 1 (pow d2 2)) 1/3)) in d3
0.630 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) d3) in d3
0.630 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d3
0.630 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.630 * [taylor]: Taking taylor expansion of -1 in d3
0.630 * [taylor]: Taking taylor expansion of d3 in d3
0.631 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d2 2)) 1/3) in d3
0.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d2 2))))) in d3
0.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d2 2)))) in d3
0.631 * [taylor]: Taking taylor expansion of 1/3 in d3
0.631 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d2 2))) in d3
0.631 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d3
0.631 * [taylor]: Taking taylor expansion of (pow d2 2) in d3
0.631 * [taylor]: Taking taylor expansion of d2 in d3
0.635 * [taylor]: Taking taylor expansion of (neg (* 1/9 (* (/ (pow (cbrt -1) 2) (pow d3 2)) (pow (/ 1 (pow d2 2)) 1/3)))) in d3
0.635 * [taylor]: Taking taylor expansion of (* 1/9 (* (/ (pow (cbrt -1) 2) (pow d3 2)) (pow (/ 1 (pow d2 2)) 1/3))) in d3
0.635 * [taylor]: Taking taylor expansion of 1/9 in d3
0.635 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (pow d3 2)) (pow (/ 1 (pow d2 2)) 1/3)) in d3
0.635 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (pow d3 2)) in d3
0.635 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d3
0.635 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.635 * [taylor]: Taking taylor expansion of -1 in d3
0.636 * [taylor]: Taking taylor expansion of (pow d3 2) in d3
0.636 * [taylor]: Taking taylor expansion of d3 in d3
0.636 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d2 2)) 1/3) in d3
0.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d2 2))))) in d3
0.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d2 2)))) in d3
0.636 * [taylor]: Taking taylor expansion of 1/3 in d3
0.636 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d2 2))) in d3
0.636 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d3
0.636 * [taylor]: Taking taylor expansion of (pow d2 2) in d3
0.636 * [taylor]: Taking taylor expansion of d2 in d3
0.644 * [taylor]: Taking taylor expansion of (* 4/81 (* (/ (pow (cbrt -1) 2) (pow d3 3)) (pow (/ 1 (pow d2 2)) 1/3))) in d3
0.644 * [taylor]: Taking taylor expansion of 4/81 in d3
0.644 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt -1) 2) (pow d3 3)) (pow (/ 1 (pow d2 2)) 1/3)) in d3
0.644 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 2) (pow d3 3)) in d3
0.644 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d3
0.644 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.644 * [taylor]: Taking taylor expansion of -1 in d3
0.644 * [taylor]: Taking taylor expansion of (pow d3 3) in d3
0.644 * [taylor]: Taking taylor expansion of d3 in d3
0.645 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d2 2)) 1/3) in d3
0.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d2 2))))) in d3
0.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d2 2)))) in d3
0.645 * [taylor]: Taking taylor expansion of 1/3 in d3
0.645 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d2 2))) in d3
0.645 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d3
0.645 * [taylor]: Taking taylor expansion of (pow d2 2) in d3
0.645 * [taylor]: Taking taylor expansion of d2 in d3
0.650 * * * [progress]: simplifying candidates
0.652 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log.f64 (cbrt.f64 (+.f64 d2 d3)))
  (exp.f64 (cbrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3))))
  (cbrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (sqrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (sqrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 d2 d3))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 d2 d3))
  (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)))
  (cbrt.f64 (+.f64 (*.f64 d2 d2) (-.f64 (*.f64 d3 d3) (*.f64 d2 d3))))
  (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3)))
  (cbrt.f64 (-.f64 d2 d3))
  (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (cbrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (+.f64 d2 d3)))
  (sqrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (sqrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (log.f64 (cbrt.f64 (+.f64 d2 d3)))
  (exp.f64 (cbrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3))))
  (cbrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (sqrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (sqrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 d2 d3))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 d2 d3))
  (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)))
  (cbrt.f64 (+.f64 (*.f64 d2 d2) (-.f64 (*.f64 d3 d3) (*.f64 d2 d3))))
  (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3)))
  (cbrt.f64 (-.f64 d2 d3))
  (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (cbrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (+.f64 d2 d3)))
  (sqrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (sqrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (log.f64 (cbrt.f64 (+.f64 d2 d3)))
  (exp.f64 (cbrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3))))
  (cbrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (sqrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (sqrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 d2 d3))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 d2 d3))
  (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)))
  (cbrt.f64 (+.f64 (*.f64 d2 d2) (-.f64 (*.f64 d3 d3) (*.f64 d2 d3))))
  (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3)))
  (cbrt.f64 (-.f64 d2 d3))
  (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (cbrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (+.f64 d2 d3)))
  (sqrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (sqrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (+.f64 1/3 1/3)
  (+.f64 1 1)
  (*.f64 (+.f64 d2 d3) (+.f64 d2 d3))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))
  (+.f64 1 1)
  (+.f64 (log.f64 (cbrt.f64 (+.f64 d2 d3))) (log.f64 (cbrt.f64 (+.f64 d2 d3))))
  (log.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3))))
  (exp.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 (+.f64 d2 d3) (+.f64 d2 d3))
  (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))) (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))))
  (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3))) (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))) (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3))))
  (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3))))
  (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))) (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 d2 d2) (-.f64 (*.f64 d3 d3) (*.f64 d2 d3)))) (cbrt.f64 (+.f64 (*.f64 d2 d2) (-.f64 (*.f64 d3 d3) (*.f64 d2 d3)))))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))) (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 d2 d2) (-.f64 (*.f64 d3 d3) (*.f64 d2 d3)))) (cbrt.f64 (-.f64 d2 d3)))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3))) (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))))
  (*.f64 (cbrt.f64 (-.f64 d2 d3)) (cbrt.f64 (+.f64 (*.f64 d2 d2) (-.f64 (*.f64 d3 d3) (*.f64 d2 d3)))))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3))) (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3))))
  (*.f64 (cbrt.f64 (-.f64 d2 d3)) (cbrt.f64 (-.f64 d2 d3)))
  (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))) (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))))
  (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))) (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))) (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (cbrt.f64 (+.f64 d2 d3)))) (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (cbrt.f64 (+.f64 d2 d3)))))
  (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))) (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))) (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 1 1)
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))) (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))) (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))))
  (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))))
  (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))) (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))) (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 2 1/3)
  (*.f64 2 1)
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 1))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 1))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (cbrt.f64 (+.f64 d2 d3)))))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) 1)
  (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))) (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3))))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))) (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3))) (cbrt.f64 (+.f64 d2 d3)))
  (-.f64 (+.f64 (pow.f64 d3 1/3) (*.f64 1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 d3 2)) 1/3) d2))) (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 d3 5)) 1/3) (pow.f64 d2 2))))
  (pow.f64 (/.f64 1 d2) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 d2) 1/3) (cbrt.f64 -1))
  (-.f64 (+.f64 (pow.f64 d3 1/3) (*.f64 1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 d3 2)) 1/3) d2))) (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 d3 5)) 1/3) (pow.f64 d2 2))))
  (pow.f64 (/.f64 1 d2) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 d2) 1/3) (cbrt.f64 -1))
  (-.f64 (+.f64 (pow.f64 d3 1/3) (*.f64 1/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 d3 2)) 1/3) d2))) (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 d3 5)) 1/3) (pow.f64 d2 2))))
  (pow.f64 (/.f64 1 d2) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 d2) 1/3) (cbrt.f64 -1))
  (-.f64 (+.f64 (*.f64 2/3 (*.f64 (pow.f64 (/.f64 1 d3) 1/3) d2)) (pow.f64 d3 2/3)) (*.f64 1/9 (*.f64 (pow.f64 (/.f64 1 (pow.f64 d3 4)) 1/3) (pow.f64 d2 2))))
  (pow.f64 (/.f64 1 d2) -2/3)
  (*.f64 (pow.f64 (cbrt.f64 -1) 2) (pow.f64 (pow.f64 d2 2) 1/3))
0.685 * * [simplify]: iteration  0 :  5040  enodes  (cost  995 )
0.690 * [simplify]: Simplified to:
   (log.f64 (cbrt.f64 (+.f64 d2 d3)))
  (exp.f64 (cbrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2))
  (cbrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (sqrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (sqrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 d2 d3))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 d2 d3))
  (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)))
  (cbrt.f64 (+.f64 (*.f64 d2 d2) (*.f64 d3 (-.f64 d3 d2))))
  (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3)))
  (cbrt.f64 (-.f64 d2 d3))
  (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2)
  (cbrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (+.f64 d2 d3)
  (sqrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (sqrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (log.f64 (cbrt.f64 (+.f64 d2 d3)))
  (exp.f64 (cbrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2))
  (cbrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (sqrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (sqrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 d2 d3))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 d2 d3))
  (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)))
  (cbrt.f64 (+.f64 (*.f64 d2 d2) (*.f64 d3 (-.f64 d3 d2))))
  (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3)))
  (cbrt.f64 (-.f64 d2 d3))
  (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2)
  (cbrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (+.f64 d2 d3)
  (sqrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (sqrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (log.f64 (cbrt.f64 (+.f64 d2 d3)))
  (exp.f64 (cbrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2))
  (cbrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (sqrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 (sqrt.f64 (+.f64 d2 d3)))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 d2 d3))
  (cbrt.f64 1)
  (cbrt.f64 (+.f64 d2 d3))
  (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)))
  (cbrt.f64 (+.f64 (*.f64 d2 d2) (*.f64 d3 (-.f64 d3 d2))))
  (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3)))
  (cbrt.f64 (-.f64 d2 d3))
  (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2)
  (cbrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (+.f64 d2 d3)
  (sqrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  (sqrt.f64 (cbrt.f64 (+.f64 d2 d3)))
  2/3
  2
  (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 6)
  (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2)
  2
  (*.f64 (log.f64 (cbrt.f64 (+.f64 d2 d3))) 2)
  (*.f64 (log.f64 (cbrt.f64 (+.f64 d2 d3))) 2)
  (exp.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2))
  (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 6)
  (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2)))
  (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2))
  (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 6)
  (fabs.f64 (cbrt.f64 (+.f64 d2 d3)))
  (fabs.f64 (cbrt.f64 (+.f64 d2 d3)))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))) (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 d2 d2) (*.f64 d3 (-.f64 d3 d2)))) (cbrt.f64 (+.f64 (*.f64 d2 d2) (*.f64 d3 (-.f64 d3 d2)))))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))) (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 d2 d2) (*.f64 d3 (-.f64 d3 d2)))) (cbrt.f64 (-.f64 d2 d3)))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))) (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 d2 d2) (*.f64 d3 (-.f64 d3 d2)))) (cbrt.f64 (-.f64 d2 d3)))
  (*.f64 (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3))) (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3))))
  (*.f64 (cbrt.f64 (-.f64 d2 d3)) (cbrt.f64 (-.f64 d2 d3)))
  (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2)))
  (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2)
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))) (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))) (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2)
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2)
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2)
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2)
  (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 4)
  (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2)
  (cbrt.f64 (+.f64 d2 d3))
  (cbrt.f64 (+.f64 d2 d3))
  1
  (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2)
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))) (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))) (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))))
  (cbrt.f64 (+.f64 d2 d3))
  (cbrt.f64 (+.f64 d2 d3))
  2/3
  2
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2)))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 1))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 1))
  (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 5)
  (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))) 3)
  (cbrt.f64 (+.f64 d2 d3))
  (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 4)
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (sqrt.f64 (+.f64 d2 d3))))
  (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2)
  (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2)
  (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 4)
  (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 d2 d3))) 3)
  (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2)
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3))))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))))
  (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (-.f64 (*.f64 d2 d2) (*.f64 d3 d3))))
  (+.f64 (cbrt.f64 d3) (*.f64 d2 (+.f64 (*.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 d3 d3)))) (*.f64 d2 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 d3 5))) -1/9)))))
  (pow.f64 (/.f64 1 d2) -1/3)
  (*.f64 (cbrt.f64 (neg.f64 d2)) (cbrt.f64 -1))
  (+.f64 (cbrt.f64 d3) (*.f64 d2 (+.f64 (*.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 d3 d3)))) (*.f64 d2 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 d3 5))) -1/9)))))
  (pow.f64 (/.f64 1 d2) -1/3)
  (*.f64 (cbrt.f64 (neg.f64 d2)) (cbrt.f64 -1))
  (+.f64 (cbrt.f64 d3) (*.f64 d2 (+.f64 (*.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 d3 d3)))) (*.f64 d2 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 d3 5))) -1/9)))))
  (pow.f64 (/.f64 1 d2) -1/3)
  (*.f64 (cbrt.f64 (neg.f64 d2)) (cbrt.f64 -1))
  (+.f64 (pow.f64 d3 2/3) (*.f64 d2 (+.f64 (*.f64 2/3 (cbrt.f64 (/.f64 1 d3))) (*.f64 d2 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 d3 4))) -1/9)))))
  (pow.f64 (/.f64 1 d2) -2/3)
  (*.f64 (pow.f64 (cbrt.f64 -1) 2) (cbrt.f64 (*.f64 d2 d2)))
0.690 * * * [progress]: adding candidates to table
0.772 * * [progress]: iteration 4 / 4
0.772 * * * [progress]: picking best candidate
0.778 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (*.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)) (*.f64 (+.f64 d2 d3) (cbrt.f64 d1))))>
0.778 * * * [progress]: localizing error
0.786 * * * [progress]: generating rewritten candidates
0.786 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.787 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.789 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.790 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.798 * * * [progress]: generating series expansions
0.798 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.798 * [approximate]: Taking taylor expansion of (pow d1 1/3) in (d1) around 0
0.798 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.798 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.798 * [taylor]: Taking taylor expansion of 1/3 in d1
0.798 * [taylor]: Taking taylor expansion of (log d1) in d1
0.798 * [taylor]: Taking taylor expansion of d1 in d1
0.798 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.798 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.798 * [taylor]: Taking taylor expansion of 1/3 in d1
0.798 * [taylor]: Taking taylor expansion of (log d1) in d1
0.798 * [taylor]: Taking taylor expansion of d1 in d1
0.802 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in (d1) around 0
0.802 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.802 * [taylor]: Taking taylor expansion of 1/3 in d1
0.802 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.802 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.802 * [taylor]: Taking taylor expansion of d1 in d1
0.802 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.802 * [taylor]: Taking taylor expansion of 1/3 in d1
0.802 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.802 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.802 * [taylor]: Taking taylor expansion of d1 in d1
0.806 * [approximate]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in (d1) around 0
0.806 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.806 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.806 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.806 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.806 * [taylor]: Taking taylor expansion of 1/3 in d1
0.806 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.806 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.806 * [taylor]: Taking taylor expansion of d1 in d1
0.806 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.806 * [taylor]: Taking taylor expansion of -1 in d1
0.807 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.807 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.807 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.807 * [taylor]: Taking taylor expansion of 1/3 in d1
0.807 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.807 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.807 * [taylor]: Taking taylor expansion of d1 in d1
0.807 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.807 * [taylor]: Taking taylor expansion of -1 in d1
0.812 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.812 * [approximate]: Taking taylor expansion of (pow d1 1/3) in (d1) around 0
0.812 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.812 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.812 * [taylor]: Taking taylor expansion of 1/3 in d1
0.812 * [taylor]: Taking taylor expansion of (log d1) in d1
0.812 * [taylor]: Taking taylor expansion of d1 in d1
0.813 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.813 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.813 * [taylor]: Taking taylor expansion of 1/3 in d1
0.813 * [taylor]: Taking taylor expansion of (log d1) in d1
0.813 * [taylor]: Taking taylor expansion of d1 in d1
0.816 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in (d1) around 0
0.816 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.816 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.816 * [taylor]: Taking taylor expansion of 1/3 in d1
0.816 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.816 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.816 * [taylor]: Taking taylor expansion of d1 in d1
0.816 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.816 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.816 * [taylor]: Taking taylor expansion of 1/3 in d1
0.816 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.816 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.816 * [taylor]: Taking taylor expansion of d1 in d1
0.820 * [approximate]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in (d1) around 0
0.820 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.820 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.820 * [taylor]: Taking taylor expansion of 1/3 in d1
0.820 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.820 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.820 * [taylor]: Taking taylor expansion of d1 in d1
0.820 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.820 * [taylor]: Taking taylor expansion of -1 in d1
0.820 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.821 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.821 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.821 * [taylor]: Taking taylor expansion of 1/3 in d1
0.821 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.821 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.821 * [taylor]: Taking taylor expansion of d1 in d1
0.821 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.821 * [taylor]: Taking taylor expansion of -1 in d1
0.826 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.826 * [approximate]: Taking taylor expansion of (pow d1 1/3) in (d1) around 0
0.826 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.826 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.826 * [taylor]: Taking taylor expansion of 1/3 in d1
0.826 * [taylor]: Taking taylor expansion of (log d1) in d1
0.826 * [taylor]: Taking taylor expansion of d1 in d1
0.826 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.826 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.826 * [taylor]: Taking taylor expansion of 1/3 in d1
0.826 * [taylor]: Taking taylor expansion of (log d1) in d1
0.826 * [taylor]: Taking taylor expansion of d1 in d1
0.830 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in (d1) around 0
0.830 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.830 * [taylor]: Taking taylor expansion of 1/3 in d1
0.830 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.830 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.830 * [taylor]: Taking taylor expansion of d1 in d1
0.830 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.830 * [taylor]: Taking taylor expansion of 1/3 in d1
0.830 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.830 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.830 * [taylor]: Taking taylor expansion of d1 in d1
0.834 * [approximate]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in (d1) around 0
0.834 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.834 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.834 * [taylor]: Taking taylor expansion of 1/3 in d1
0.834 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.834 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.834 * [taylor]: Taking taylor expansion of d1 in d1
0.834 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.834 * [taylor]: Taking taylor expansion of -1 in d1
0.834 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.834 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.834 * [taylor]: Taking taylor expansion of 1/3 in d1
0.834 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.834 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.834 * [taylor]: Taking taylor expansion of d1 in d1
0.834 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.834 * [taylor]: Taking taylor expansion of -1 in d1
0.842 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.842 * [approximate]: Taking taylor expansion of (pow (pow d1 2) 1/3) in (d1) around 0
0.842 * [taylor]: Taking taylor expansion of (pow (pow d1 2) 1/3) in d1
0.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow d1 2)))) in d1
0.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow d1 2))) in d1
0.842 * [taylor]: Taking taylor expansion of 1/3 in d1
0.842 * [taylor]: Taking taylor expansion of (log (pow d1 2)) in d1
0.842 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
0.843 * [taylor]: Taking taylor expansion of d1 in d1
0.843 * [taylor]: Taking taylor expansion of (pow (pow d1 2) 1/3) in d1
0.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow d1 2)))) in d1
0.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow d1 2))) in d1
0.843 * [taylor]: Taking taylor expansion of 1/3 in d1
0.843 * [taylor]: Taking taylor expansion of (log (pow d1 2)) in d1
0.843 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
0.843 * [taylor]: Taking taylor expansion of d1 in d1
0.847 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow d1 2)) 1/3) in (d1) around 0
0.847 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d1 2)) 1/3) in d1
0.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d1 2))))) in d1
0.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d1 2)))) in d1
0.847 * [taylor]: Taking taylor expansion of 1/3 in d1
0.847 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d1 2))) in d1
0.847 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
0.847 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
0.847 * [taylor]: Taking taylor expansion of d1 in d1
0.847 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d1 2)) 1/3) in d1
0.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d1 2))))) in d1
0.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d1 2)))) in d1
0.847 * [taylor]: Taking taylor expansion of 1/3 in d1
0.847 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d1 2))) in d1
0.847 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
0.847 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
0.847 * [taylor]: Taking taylor expansion of d1 in d1
0.851 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in (d1) around 0
0.851 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in d1
0.851 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d1 2)) 1/3) in d1
0.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d1 2))))) in d1
0.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d1 2)))) in d1
0.852 * [taylor]: Taking taylor expansion of 1/3 in d1
0.852 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d1 2))) in d1
0.852 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
0.852 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
0.852 * [taylor]: Taking taylor expansion of d1 in d1
0.852 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d1
0.852 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.852 * [taylor]: Taking taylor expansion of -1 in d1
0.852 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in d1
0.852 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d1 2)) 1/3) in d1
0.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d1 2))))) in d1
0.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d1 2)))) in d1
0.852 * [taylor]: Taking taylor expansion of 1/3 in d1
0.852 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d1 2))) in d1
0.852 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
0.852 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
0.852 * [taylor]: Taking taylor expansion of d1 in d1
0.852 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d1
0.852 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.852 * [taylor]: Taking taylor expansion of -1 in d1
0.860 * * * [progress]: simplifying candidates
0.861 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log.f64 (cbrt.f64 d1))
  (exp.f64 (cbrt.f64 d1))
  (cbrt.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)))
  (cbrt.f64 (cbrt.f64 d1))
  (cbrt.f64 (sqrt.f64 d1))
  (cbrt.f64 (sqrt.f64 d1))
  (cbrt.f64 1)
  (cbrt.f64 d1)
  (*.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (cbrt.f64 d1)))
  (cbrt.f64 (cbrt.f64 d1))
  (*.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)) (cbrt.f64 d1))
  (sqrt.f64 (cbrt.f64 d1))
  (sqrt.f64 (cbrt.f64 d1))
  (log.f64 (cbrt.f64 d1))
  (exp.f64 (cbrt.f64 d1))
  (cbrt.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)))
  (cbrt.f64 (cbrt.f64 d1))
  (cbrt.f64 (sqrt.f64 d1))
  (cbrt.f64 (sqrt.f64 d1))
  (cbrt.f64 1)
  (cbrt.f64 d1)
  (*.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (cbrt.f64 d1)))
  (cbrt.f64 (cbrt.f64 d1))
  (*.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)) (cbrt.f64 d1))
  (sqrt.f64 (cbrt.f64 d1))
  (sqrt.f64 (cbrt.f64 d1))
  (log.f64 (cbrt.f64 d1))
  (exp.f64 (cbrt.f64 d1))
  (cbrt.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)))
  (cbrt.f64 (cbrt.f64 d1))
  (cbrt.f64 (sqrt.f64 d1))
  (cbrt.f64 (sqrt.f64 d1))
  (cbrt.f64 1)
  (cbrt.f64 d1)
  (*.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (cbrt.f64 d1)))
  (cbrt.f64 (cbrt.f64 d1))
  (*.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)) (cbrt.f64 d1))
  (sqrt.f64 (cbrt.f64 d1))
  (sqrt.f64 (cbrt.f64 d1))
  (+.f64 1/3 1/3)
  (+.f64 1 1)
  (*.f64 d1 d1)
  (*.f64 (cbrt.f64 d1) (cbrt.f64 d1))
  (+.f64 1 1)
  (+.f64 (log.f64 (cbrt.f64 d1)) (log.f64 (cbrt.f64 d1)))
  (log.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)))
  (exp.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)))
  (*.f64 d1 d1)
  (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1))) (cbrt.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1))))
  (cbrt.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)))
  (*.f64 (*.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)) (*.f64 (cbrt.f64 d1) (cbrt.f64 d1))) (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)))
  (sqrt.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)))
  (sqrt.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)))
  (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1))) (cbrt.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1))))
  (*.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (cbrt.f64 d1)))
  (*.f64 (cbrt.f64 (sqrt.f64 d1)) (cbrt.f64 (sqrt.f64 d1)))
  (*.f64 (cbrt.f64 (sqrt.f64 d1)) (cbrt.f64 (sqrt.f64 d1)))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (*.f64 (cbrt.f64 d1) (cbrt.f64 d1))
  (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (cbrt.f64 d1))) (*.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (cbrt.f64 d1))))
  (*.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (cbrt.f64 d1)))
  (*.f64 (sqrt.f64 (cbrt.f64 d1)) (sqrt.f64 (cbrt.f64 d1)))
  (*.f64 (sqrt.f64 (cbrt.f64 d1)) (sqrt.f64 (cbrt.f64 d1)))
  (*.f64 1 1)
  (*.f64 (cbrt.f64 d1) (cbrt.f64 d1))
  (*.f64 (cbrt.f64 (sqrt.f64 d1)) (cbrt.f64 (sqrt.f64 d1)))
  (*.f64 (cbrt.f64 (sqrt.f64 d1)) (cbrt.f64 (sqrt.f64 d1)))
  (*.f64 (cbrt.f64 (sqrt.f64 d1)) (sqrt.f64 (cbrt.f64 d1)))
  (*.f64 (cbrt.f64 (sqrt.f64 d1)) (sqrt.f64 (cbrt.f64 d1)))
  (*.f64 (sqrt.f64 (cbrt.f64 d1)) (cbrt.f64 (sqrt.f64 d1)))
  (*.f64 (sqrt.f64 (cbrt.f64 d1)) (cbrt.f64 (sqrt.f64 d1)))
  (*.f64 (sqrt.f64 (cbrt.f64 d1)) (sqrt.f64 (cbrt.f64 d1)))
  (*.f64 (sqrt.f64 (cbrt.f64 d1)) (sqrt.f64 (cbrt.f64 d1)))
  (*.f64 2 1/3)
  (*.f64 2 1)
  (*.f64 (cbrt.f64 d1) (cbrt.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1))))
  (*.f64 (cbrt.f64 d1) (cbrt.f64 (sqrt.f64 d1)))
  (*.f64 (cbrt.f64 d1) (cbrt.f64 1))
  (*.f64 (cbrt.f64 d1) (*.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (cbrt.f64 d1))))
  (*.f64 (cbrt.f64 d1) (sqrt.f64 (cbrt.f64 d1)))
  (*.f64 (cbrt.f64 d1) 1)
  (*.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 d1))
  (*.f64 (cbrt.f64 (sqrt.f64 d1)) (cbrt.f64 d1))
  (*.f64 (cbrt.f64 d1) (cbrt.f64 d1))
  (*.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 d1))
  (*.f64 (sqrt.f64 (cbrt.f64 d1)) (cbrt.f64 d1))
  (*.f64 (cbrt.f64 d1) (cbrt.f64 d1))
  (pow.f64 d1 1/3)
  (pow.f64 (/.f64 1 d1) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 d1) 1/3) (cbrt.f64 -1))
  (pow.f64 d1 1/3)
  (pow.f64 (/.f64 1 d1) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 d1) 1/3) (cbrt.f64 -1))
  (pow.f64 d1 1/3)
  (pow.f64 (/.f64 1 d1) -1/3)
  (*.f64 (pow.f64 (*.f64 -1 d1) 1/3) (cbrt.f64 -1))
  (pow.f64 d1 2/3)
  (pow.f64 (/.f64 1 d1) -2/3)
  (*.f64 (pow.f64 (pow.f64 d1 2) 1/3) (pow.f64 (cbrt.f64 -1) 2))
0.905 * * [simplify]: iteration  0 :  4940  enodes  (cost  374 )
0.906 * * [simplify]: iteration  1 :  4940  enodes  (cost  374 )
0.909 * [simplify]: Simplified to:
   (log.f64 (cbrt.f64 d1))
  (exp.f64 (cbrt.f64 d1))
  (cbrt.f64 (pow.f64 d1 2/3))
  (cbrt.f64 (cbrt.f64 d1))
  (cbrt.f64 (sqrt.f64 d1))
  (cbrt.f64 (sqrt.f64 d1))
  (cbrt.f64 1)
  (cbrt.f64 d1)
  (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)
  (cbrt.f64 (cbrt.f64 d1))
  d1
  (sqrt.f64 (cbrt.f64 d1))
  (sqrt.f64 (cbrt.f64 d1))
  (log.f64 (cbrt.f64 d1))
  (exp.f64 (cbrt.f64 d1))
  (cbrt.f64 (pow.f64 d1 2/3))
  (cbrt.f64 (cbrt.f64 d1))
  (cbrt.f64 (sqrt.f64 d1))
  (cbrt.f64 (sqrt.f64 d1))
  (cbrt.f64 1)
  (cbrt.f64 d1)
  (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)
  (cbrt.f64 (cbrt.f64 d1))
  d1
  (sqrt.f64 (cbrt.f64 d1))
  (sqrt.f64 (cbrt.f64 d1))
  (log.f64 (cbrt.f64 d1))
  (exp.f64 (cbrt.f64 d1))
  (cbrt.f64 (pow.f64 d1 2/3))
  (cbrt.f64 (cbrt.f64 d1))
  (cbrt.f64 (sqrt.f64 d1))
  (cbrt.f64 (sqrt.f64 d1))
  (cbrt.f64 1)
  (cbrt.f64 d1)
  (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)
  (cbrt.f64 (cbrt.f64 d1))
  d1
  (sqrt.f64 (cbrt.f64 d1))
  (sqrt.f64 (cbrt.f64 d1))
  2/3
  2
  (*.f64 d1 d1)
  (pow.f64 d1 2/3)
  2
  (*.f64 2/3 (log.f64 d1))
  (*.f64 2/3 (log.f64 d1))
  (exp.f64 (pow.f64 d1 2/3))
  (*.f64 d1 d1)
  (*.f64 (cbrt.f64 (pow.f64 d1 2/3)) (cbrt.f64 (pow.f64 d1 2/3)))
  (cbrt.f64 (pow.f64 d1 2/3))
  (*.f64 d1 d1)
  (fabs.f64 (cbrt.f64 d1))
  (fabs.f64 (cbrt.f64 d1))
  (*.f64 (cbrt.f64 (pow.f64 d1 2/3)) (cbrt.f64 (pow.f64 d1 2/3)))
  (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)
  (*.f64 (cbrt.f64 (sqrt.f64 d1)) (cbrt.f64 (sqrt.f64 d1)))
  (*.f64 (cbrt.f64 (sqrt.f64 d1)) (cbrt.f64 (sqrt.f64 d1)))
  (*.f64 (cbrt.f64 1) (cbrt.f64 1))
  (pow.f64 d1 2/3)
  (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 4)
  (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)
  (cbrt.f64 d1)
  (cbrt.f64 d1)
  1
  (pow.f64 d1 2/3)
  (*.f64 (cbrt.f64 (sqrt.f64 d1)) (cbrt.f64 (sqrt.f64 d1)))
  (*.f64 (cbrt.f64 (sqrt.f64 d1)) (cbrt.f64 (sqrt.f64 d1)))
  (*.f64 (cbrt.f64 (sqrt.f64 d1)) (sqrt.f64 (cbrt.f64 d1)))
  (*.f64 (cbrt.f64 (sqrt.f64 d1)) (sqrt.f64 (cbrt.f64 d1)))
  (*.f64 (cbrt.f64 (sqrt.f64 d1)) (sqrt.f64 (cbrt.f64 d1)))
  (*.f64 (cbrt.f64 (sqrt.f64 d1)) (sqrt.f64 (cbrt.f64 d1)))
  (cbrt.f64 d1)
  (cbrt.f64 d1)
  2/3
  2
  (*.f64 (cbrt.f64 d1) (cbrt.f64 (pow.f64 d1 2/3)))
  (*.f64 (cbrt.f64 d1) (cbrt.f64 (sqrt.f64 d1)))
  (*.f64 (cbrt.f64 d1) (cbrt.f64 1))
  (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 5)
  (pow.f64 (sqrt.f64 (cbrt.f64 d1)) 3)
  (cbrt.f64 d1)
  (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 4)
  (*.f64 (cbrt.f64 d1) (cbrt.f64 (sqrt.f64 d1)))
  (pow.f64 d1 2/3)
  (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 4)
  (pow.f64 (sqrt.f64 (cbrt.f64 d1)) 3)
  (pow.f64 d1 2/3)
  (cbrt.f64 d1)
  (pow.f64 (/.f64 1 d1) -1/3)
  (*.f64 (cbrt.f64 (neg.f64 d1)) (cbrt.f64 -1))
  (cbrt.f64 d1)
  (pow.f64 (/.f64 1 d1) -1/3)
  (*.f64 (cbrt.f64 (neg.f64 d1)) (cbrt.f64 -1))
  (cbrt.f64 d1)
  (pow.f64 (/.f64 1 d1) -1/3)
  (*.f64 (cbrt.f64 (neg.f64 d1)) (cbrt.f64 -1))
  (pow.f64 d1 2/3)
  (pow.f64 (/.f64 1 d1) -2/3)
  (*.f64 (pow.f64 d1 2/3) (pow.f64 (cbrt.f64 -1) 2))
0.909 * * * [progress]: adding candidates to table
0.971 * [progress]: [Phase 3 of 3] Extracting.
0.971 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2 d3) (*.f64 d1 (+.f64 d2 d3)))> #<alt (λ (d1 d2 d3) (*.f64 (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))) (cbrt.f64 (+.f64 d2 d3))))> #<alt (λ (d1 d2 d3) (*.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)) (*.f64 (+.f64 d2 d3) (cbrt.f64 d1))))> #<alt (λ (d1 d2 d3) (*.f64 (sqrt.f64 d1) (*.f64 (+.f64 d2 d3) (sqrt.f64 d1))))> #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))>)
0.971 * * * [regime-changes]: Trying 4 branch expressions: ((+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) d3 d2 d1)
0.971 * * * * [regimes]: Trying to branch on (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) from (#<alt (λ (d1 d2 d3) (*.f64 d1 (+.f64 d2 d3)))> #<alt (λ (d1 d2 d3) (*.f64 (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))) (cbrt.f64 (+.f64 d2 d3))))> #<alt (λ (d1 d2 d3) (*.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)) (*.f64 (+.f64 d2 d3) (cbrt.f64 d1))))> #<alt (λ (d1 d2 d3) (*.f64 (sqrt.f64 d1) (*.f64 (+.f64 d2 d3) (sqrt.f64 d1))))> #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))>)
1.021 * * * * [regimes]: Trying to branch on d3 from (#<alt (λ (d1 d2 d3) (*.f64 d1 (+.f64 d2 d3)))> #<alt (λ (d1 d2 d3) (*.f64 (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))) (cbrt.f64 (+.f64 d2 d3))))> #<alt (λ (d1 d2 d3) (*.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)) (*.f64 (+.f64 d2 d3) (cbrt.f64 d1))))> #<alt (λ (d1 d2 d3) (*.f64 (sqrt.f64 d1) (*.f64 (+.f64 d2 d3) (sqrt.f64 d1))))> #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))>)
1.070 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2 d3) (*.f64 d1 (+.f64 d2 d3)))> #<alt (λ (d1 d2 d3) (*.f64 (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))) (cbrt.f64 (+.f64 d2 d3))))> #<alt (λ (d1 d2 d3) (*.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)) (*.f64 (+.f64 d2 d3) (cbrt.f64 d1))))> #<alt (λ (d1 d2 d3) (*.f64 (sqrt.f64 d1) (*.f64 (+.f64 d2 d3) (sqrt.f64 d1))))> #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))>)
1.118 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2 d3) (*.f64 d1 (+.f64 d2 d3)))> #<alt (λ (d1 d2 d3) (*.f64 (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 d3)) (cbrt.f64 (+.f64 d2 d3)))) (cbrt.f64 (+.f64 d2 d3))))> #<alt (λ (d1 d2 d3) (*.f64 (*.f64 (cbrt.f64 d1) (cbrt.f64 d1)) (*.f64 (+.f64 d2 d3) (cbrt.f64 d1))))> #<alt (λ (d1 d2 d3) (*.f64 (sqrt.f64 d1) (*.f64 (+.f64 d2 d3) (sqrt.f64 d1))))> #<alt (λ (d1 d2 d3) (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)))>)
1.166 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
1.167 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
1.168 * * [simplify]: iteration  0 :  9  enodes  (cost  7 )
1.168 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
1.168 * [simplify]: Simplified to:
   (+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
2.066 * [regime-testing]: End program error score: 0.013397915364600865
2.145 * [regime-testing]: Target error score: 0.014001750218777347