2.649 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.024 * * * [progress]: [2/2] Setting up program.
0.028 * [progress]: [Phase 2 of 3] Improving.
0.028 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))
0.030 * * [simplify]: iteration  0 :  19  enodes  (cost  6 )
0.031 * * [simplify]: iteration  1 :  40  enodes  (cost  5 )
0.032 * * [simplify]: iteration  2 :  123  enodes  (cost  4 )
0.034 * * [simplify]: iteration  3 :  249  enodes  (cost  4 )
0.037 * * [simplify]: iteration  4 :  355  enodes  (cost  4 )
0.040 * * [simplify]: iteration  5 :  355  enodes  (cost  4 )
0.040 * [simplify]: Simplified to:
  (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))
0.045 * * [progress]: iteration 1 / 4
0.045 * * * [progress]: picking best candidate
0.052 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))>
0.052 * * * [progress]: localizing error
0.058 * * * [progress]: generating rewritten candidates
0.058 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.073 * * * [progress]: generating series expansions
0.073 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.073 * [approximate]: Approximating (* d1 (+ d3 (+ d2 37.0))) in (d1 d2 d3) around 0
0.073 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d2
0.073 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d3
0.075 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d2
0.075 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d3
0.075 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d3
0.077 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d2
0.077 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d3
0.078 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d3
0.078 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d3
0.078 * [approximate]: Approximating (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in (d1 d2 d3) around 0
0.081 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
0.082 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
0.084 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
0.085 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
0.087 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
0.088 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
0.089 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
0.090 * [approximate]: Approximating (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in (d1 d2 d3) around 0
0.094 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2
0.095 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
0.098 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2
0.099 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
0.103 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2
0.103 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
0.105 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
0.108 * * * [progress]: simplifying candidates
0.108 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))
  (+ (log d1) (log (+ d2 (+ (+ d3 5.0) 32.0))))
  (log (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (exp (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (* (* d1 d1) d1) (* (* (+ d2 (+ (+ d3 5.0) 32.0)) (+ d2 (+ (+ d3 5.0) 32.0))) (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (* (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (sqrt d1) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (sqrt d1) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* d1 d2)
  (* d1 (+ (+ d3 5.0) 32.0))
  (* d2 d1)
  (* (+ (+ d3 5.0) 32.0) d1)
  (* d1 (* (cbrt (+ d2 (+ (+ d3 5.0) 32.0))) (cbrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* d1 1)
  (* d1 1)
  (* d1 1)
  (* d1 1)
  (* (cbrt d1) (+ d2 (+ (+ d3 5.0) 32.0)))
  (* (sqrt d1) (+ d2 (+ (+ d3 5.0) 32.0)))
  (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))
  (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))
  (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))
  (+ (* 37.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 37.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 37.0 d1) (+ (* d1 d3) (* d1 d2)))
0.111 * * [simplify]: iteration  0 :  159  enodes  (cost  148 )
0.115 * * [simplify]: iteration  1 :  838  enodes  (cost  127 )
0.134 * * [simplify]: iteration  2 :  5002  enodes  (cost  127 )
0.136 * [simplify]: Simplified to:
  (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))
  (log (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (log (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (exp (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (pow (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) 3)
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (pow (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) 3)
  (sqrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (sqrt d1) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (sqrt d1) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* d1 d2)
  (* d1 (+ (+ d3 5.0) 32.0))
  (* d1 d2)
  (* d1 (+ (+ d3 5.0) 32.0))
  (* d1 (* (cbrt (+ d2 (+ (+ d3 5.0) 32.0))) (cbrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  d1
  d1
  d1
  d1
  (* (cbrt d1) (+ d2 (+ (+ d3 5.0) 32.0)))
  (* (sqrt d1) (+ d2 (+ (+ d3 5.0) 32.0)))
  (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))
  (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))
  (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))
  (* d1 (+ 37.0 (+ d3 d2)))
  (* d1 (+ 37.0 (+ d3 d2)))
  (* d1 (+ 37.0 (+ d3 d2)))
0.136 * * * [progress]: adding candidates to table
0.177 * * [progress]: iteration 2 / 4
0.177 * * * [progress]: picking best candidate
0.185 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (* (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))>
0.185 * * * [progress]: localizing error
0.196 * * * [progress]: generating rewritten candidates
0.196 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.204 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.212 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.219 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.227 * * * [progress]: generating series expansions
0.227 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.227 * [approximate]: Approximating (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in (d1 d2 d3) around 0
0.232 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in d2
0.232 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in d3
0.241 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in d2
0.241 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in d3
0.244 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in d3
0.257 * [approximate]: Approximating (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in (d1 d2 d3) around 0
0.263 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d2
0.264 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.268 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d2
0.269 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.271 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.285 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d2
0.285 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.285 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.290 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.308 * [approximate]: Approximating (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in (d1 d2 d3) around 0
0.321 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d2
0.326 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.335 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d2
0.335 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.340 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.372 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d2
0.372 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.372 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.382 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.434 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.434 * [approximate]: Approximating (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in (d1 d2 d3) around 0
0.438 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in d2
0.438 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in d3
0.444 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in d2
0.444 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in d3
0.447 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in d3
0.460 * [approximate]: Approximating (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in (d1 d2 d3) around 0
0.466 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d2
0.467 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.471 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d2
0.471 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.474 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.491 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d2
0.491 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.491 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.496 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.514 * [approximate]: Approximating (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in (d1 d2 d3) around 0
0.524 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d2
0.529 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.538 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d2
0.538 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.543 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.579 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d2
0.579 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.579 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.588 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.640 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.641 * [approximate]: Approximating (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in (d1 d2 d3) around 0
0.645 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in d2
0.645 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in d3
0.651 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in d2
0.651 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in d3
0.654 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d3 (+ d2 37.0))) 1/3) in d3
0.667 * [approximate]: Approximating (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in (d1 d2 d3) around 0
0.673 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d2
0.674 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.678 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d2
0.678 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.681 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.695 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d2
0.695 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.695 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.700 * [taylor]: Taking taylor expansion of (pow (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) in d3
0.721 * [approximate]: Approximating (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in (d1 d2 d3) around 0
0.731 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d2
0.736 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.745 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d2
0.745 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.750 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.783 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d2
0.783 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.783 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.792 * [taylor]: Taking taylor expansion of (* (pow (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) 1/3) (cbrt -1)) in d3
0.845 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.845 * [approximate]: Approximating (pow (* (pow d1 2) (pow (+ d3 (+ d2 37.0)) 2)) 1/3) in (d1 d2 d3) around 0
0.850 * [taylor]: Taking taylor expansion of (pow (* (pow d1 2) (pow (+ d3 (+ d2 37.0)) 2)) 1/3) in d2
0.851 * [taylor]: Taking taylor expansion of (pow (* (pow d1 2) (pow (+ d3 (+ d2 37.0)) 2)) 1/3) in d3
0.857 * [taylor]: Taking taylor expansion of (pow (* (pow d1 2) (pow (+ d3 (+ d2 37.0)) 2)) 1/3) in d2
0.857 * [taylor]: Taking taylor expansion of (pow (* (pow d1 2) (pow (+ d3 (+ d2 37.0)) 2)) 1/3) in d3
0.860 * [taylor]: Taking taylor expansion of (pow (* (pow d1 2) (pow (+ d3 (+ d2 37.0)) 2)) 1/3) in d3
0.883 * [approximate]: Approximating (pow (/ (pow (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) in (d1 d2 d3) around 0
0.891 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) in d2
0.893 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) in d3
0.898 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) in d2
0.898 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) in d3
0.901 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) in d3
0.919 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) in d2
0.919 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) in d3
0.919 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) in d3
0.926 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) in d3
0.947 * [approximate]: Approximating (* (pow (/ (pow (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in (d1 d2 d3) around 0
0.964 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in d2
0.970 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in d3
0.981 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in d2
0.981 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in d3
0.986 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in d3
1.021 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in d2
1.021 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in d3
1.021 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in d3
1.031 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (- 37.0 (+ (/ 1 d2) (/ 1 d3))) 2) (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in d3
1.084 * * * [progress]: simplifying candidates
1.086 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (exp (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt d1)
  (cbrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3))))
  (cbrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))))
  (cbrt (- d2 (+ (+ d3 5.0) 32.0)))
  (* (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (log (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (exp (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt d1)
  (cbrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3))))
  (cbrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))))
  (cbrt (- d2 (+ (+ d3 5.0) 32.0)))
  (* (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (log (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (exp (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt d1)
  (cbrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3))))
  (cbrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))))
  (cbrt (- d2 (+ (+ d3 5.0) 32.0)))
  (* (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (+ 1 1)
  (+ (log (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (log (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (log (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (exp (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (cbrt (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))) (cbrt (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))))
  (cbrt (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* (* (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))) (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (sqrt (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (sqrt (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))) (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))))
  (* (cbrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0))))) (cbrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0))))))
  (* (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))) (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))))
  (* (cbrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0))))) (cbrt (- d2 (+ (+ d3 5.0) 32.0))))
  (* (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))))
  (* (cbrt (- d2 (+ (+ d3 5.0) 32.0))) (cbrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0))))))
  (* (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))))
  (* (cbrt (- d2 (+ (+ d3 5.0) 32.0))) (cbrt (- d2 (+ (+ d3 5.0) 32.0))))
  (* (cbrt d1) (cbrt d1))
  (* (cbrt (+ d2 (+ (+ d3 5.0) 32.0))) (cbrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (* (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))) (* (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))))
  (* (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* 1 1)
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt d1))
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (* (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))))
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) 1)
  (* (cbrt (+ d2 (+ (+ d3 5.0) 32.0))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))))
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))))
  (* (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (+ (* 0.009009009009009009 (* d3 (exp (* 1/3 (+ (log 37.0) (log d1)))))) (+ (exp (* 1/3 (+ (log 37.0) (log d1)))) (* 0.009009009009009009 (* d2 (exp (* 1/3 (+ (log 37.0) (log d1))))))))
  (- (+ (exp (* -1/3 (+ (log (/ 1 d1)) (log (/ 1 d2))))) (* 12.333333333333332 (/ (exp (* -1/3 (+ (log (/ 1 d1)) (log (/ 1 d2))))) d2))) (* 152.11111111111111 (/ (exp (* -1/3 (+ (log (/ 1 d1)) (log (/ 1 d2))))) (pow d2 2))))
  (- (+ (* 12.333333333333332 (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1)) d2)) (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1))) (* 152.11111111111111 (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1)) (pow d2 2))))
  (+ (* 0.009009009009009009 (* d3 (exp (* 1/3 (+ (log 37.0) (log d1)))))) (+ (exp (* 1/3 (+ (log 37.0) (log d1)))) (* 0.009009009009009009 (* d2 (exp (* 1/3 (+ (log 37.0) (log d1))))))))
  (- (+ (exp (* -1/3 (+ (log (/ 1 d1)) (log (/ 1 d2))))) (* 12.333333333333332 (/ (exp (* -1/3 (+ (log (/ 1 d1)) (log (/ 1 d2))))) d2))) (* 152.11111111111111 (/ (exp (* -1/3 (+ (log (/ 1 d1)) (log (/ 1 d2))))) (pow d2 2))))
  (- (+ (* 12.333333333333332 (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1)) d2)) (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1))) (* 152.11111111111111 (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1)) (pow d2 2))))
  (+ (* 0.009009009009009009 (* d3 (exp (* 1/3 (+ (log 37.0) (log d1)))))) (+ (exp (* 1/3 (+ (log 37.0) (log d1)))) (* 0.009009009009009009 (* d2 (exp (* 1/3 (+ (log 37.0) (log d1))))))))
  (- (+ (exp (* -1/3 (+ (log (/ 1 d1)) (log (/ 1 d2))))) (* 12.333333333333332 (/ (exp (* -1/3 (+ (log (/ 1 d1)) (log (/ 1 d2))))) d2))) (* 152.11111111111111 (/ (exp (* -1/3 (+ (log (/ 1 d1)) (log (/ 1 d2))))) (pow d2 2))))
  (- (+ (* 12.333333333333332 (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1)) d2)) (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1))) (* 152.11111111111111 (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1)) (pow d2 2))))
  (+ (* 0.018018018018018018 (* (exp (* 1/3 (+ (* 2 (log d1)) (log 1369.0)))) d2)) (+ (exp (* 1/3 (+ (* 2 (log d1)) (log 1369.0)))) (* 0.018018018018018018 (* (exp (* 1/3 (+ (* 2 (log d1)) (log 1369.0)))) d3))))
  (- (+ (* 24.666666666666664 (/ (exp (* -1/3 (+ (* 2 (log (/ 1 d1))) (* 2 (log (/ 1 d2)))))) d2)) (exp (* -1/3 (+ (* 2 (log (/ 1 d1))) (* 2 (log (/ 1 d2))))))) (* 152.11111111111114 (/ (exp (* -1/3 (+ (* 2 (log (/ 1 d1))) (* 2 (log (/ 1 d2)))))) (pow d2 2))))
  (- (+ (* 24.666666666666664 (/ (* (exp (* -1/3 (+ (* 2 (log (/ -1 d2))) (* 2 (log (/ -1 d1)))))) (pow (cbrt -1) 2)) d2)) (* (exp (* -1/3 (+ (* 2 (log (/ -1 d2))) (* 2 (log (/ -1 d1)))))) (pow (cbrt -1) 2))) (* 152.11111111111114 (/ (* (exp (* -1/3 (+ (* 2 (log (/ -1 d2))) (* 2 (log (/ -1 d1)))))) (pow (cbrt -1) 2)) (pow d2 2))))
1.093 * * [simplify]: iteration  0 :  407  enodes  (cost  1161 )
1.099 * * [simplify]: iteration  1 :  1437  enodes  (cost  1064 )
1.125 * * [simplify]: iteration  2 :  5001  enodes  (cost  964 )
1.131 * [simplify]: Simplified to:
  (log (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (exp (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt d1)
  (cbrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3))))
  (cbrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))))
  (cbrt (- d2 (+ (+ d3 5.0) 32.0)))
  (* (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))
  (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (log (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (exp (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt d1)
  (cbrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3))))
  (cbrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))))
  (cbrt (- d2 (+ (+ d3 5.0) 32.0)))
  (* (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))
  (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (log (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (exp (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt d1)
  (cbrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3))))
  (cbrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))))
  (cbrt (- d2 (+ (+ d3 5.0) 32.0)))
  (* (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))
  (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  2/3
  2
  (pow (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) 6)
  (pow (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) 4)
  2
  (* 2 (log (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* 2 (log (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (pow (exp 1) (pow (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) 4))
  (pow (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) 6)
  (* (cbrt (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))) (cbrt (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))))
  (cbrt (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (pow (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) 6)
  (fabs (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (fabs (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))) (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))))
  (* (cbrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0))))) (cbrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0))))))
  (* (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))) (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))))
  (* (cbrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0))))) (cbrt (- d2 (+ (+ d3 5.0) 32.0))))
  (* (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))) (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))))
  (* (cbrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0))))) (cbrt (- d2 (+ (+ d3 5.0) 32.0))))
  (* (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))))
  (* (cbrt (- d2 (+ (+ d3 5.0) 32.0))) (cbrt (- d2 (+ (+ d3 5.0) 32.0))))
  (* (cbrt d1) (cbrt d1))
  (* (cbrt (+ d2 (+ (+ d3 5.0) 32.0))) (cbrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (pow (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) 4)
  (* (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))
  (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  1
  (pow (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) 4)
  (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  2/3
  2
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt d1))
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (* (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))))
  (pow (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) 3)
  (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (cbrt (+ d2 (+ (+ d3 5.0) 32.0))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))))
  (pow (cbrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) 4)
  (pow (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) 3)
  (pow (sqrt (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) 4)
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))))
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))))
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))))
  (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))))
  (* (* (pow d1 1/3) (pow 37.0 1/3)) (+ (+ (* 0.009009009009009009 d3) 1) (* 0.009009009009009009 d2)))
  (+ (+ (/ (neg 152.11111111111111) (* (/ d2 (pow (/ 1 d1) -1/3)) (/ d2 (pow (/ 1 d2) -1/3)))) (* 12.333333333333332 (/ (exp (* -1/3 (+ (log (/ 1 d1)) (log (/ 1 d2))))) d2))) (* (pow (/ 1 d2) -1/3) (pow (/ 1 d1) -1/3)))
  (- (+ (* 12.333333333333332 (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1)) d2)) (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1))) (* 152.11111111111111 (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1)) (pow d2 2))))
  (* (* (pow d1 1/3) (pow 37.0 1/3)) (+ (+ (* 0.009009009009009009 d3) 1) (* 0.009009009009009009 d2)))
  (+ (+ (/ (neg 152.11111111111111) (* (/ d2 (pow (/ 1 d1) -1/3)) (/ d2 (pow (/ 1 d2) -1/3)))) (* 12.333333333333332 (/ (exp (* -1/3 (+ (log (/ 1 d1)) (log (/ 1 d2))))) d2))) (* (pow (/ 1 d2) -1/3) (pow (/ 1 d1) -1/3)))
  (- (+ (* 12.333333333333332 (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1)) d2)) (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1))) (* 152.11111111111111 (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1)) (pow d2 2))))
  (* (* (pow d1 1/3) (pow 37.0 1/3)) (+ (+ (* 0.009009009009009009 d3) 1) (* 0.009009009009009009 d2)))
  (+ (+ (/ (neg 152.11111111111111) (* (/ d2 (pow (/ 1 d1) -1/3)) (/ d2 (pow (/ 1 d2) -1/3)))) (* 12.333333333333332 (/ (exp (* -1/3 (+ (log (/ 1 d1)) (log (/ 1 d2))))) d2))) (* (pow (/ 1 d2) -1/3) (pow (/ 1 d1) -1/3)))
  (- (+ (* 12.333333333333332 (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1)) d2)) (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1))) (* 152.11111111111111 (/ (* (exp (* 1/3 (- (log -1) (+ (log (/ -1 d2)) (log (/ -1 d1)))))) (cbrt -1)) (pow d2 2))))
  (+ (* (* (pow 1369.0 1/3) (pow d1 2/3)) (+ (* d3 0.018018018018018018) (* d2 0.018018018018018018))) (* (pow 1369.0 1/3) (pow d1 2/3)))
  (+ (+ (/ (neg 152.11111111111114) (* (/ d2 (pow (/ 1 d1) -2/3)) (/ d2 (pow (/ 1 d2) -2/3)))) (* (pow (/ 1 d2) -2/3) (pow (/ 1 d1) -2/3))) (/ (* (pow (exp (* 2 (+ (log (/ 1 d1)) (log (/ 1 d2))))) -1/3) 24.666666666666664) d2))
  (+ (+ (/ (neg 152.11111111111114) (* (/ d2 (pow (cbrt -1) 2)) (/ d2 (* (pow (/ -1 d1) -2/3) (pow (/ -1 d2) -2/3))))) (* (exp (* -1/3 (+ (* 2 (log (/ -1 d2))) (* 2 (log (/ -1 d1)))))) (pow (cbrt -1) 2))) (/ (* 24.666666666666664 (pow (exp (* 2 (+ (log (/ -1 d2)) (log (/ -1 d1))))) -1/3)) (/ d2 (pow (cbrt -1) 2))))
1.131 * * * [progress]: adding candidates to table
1.510 * * [progress]: iteration 3 / 4
1.510 * * * [progress]: picking best candidate
1.514 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))>
1.514 * * * [progress]: localizing error
1.523 * * * [progress]: generating rewritten candidates
1.523 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.542 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.552 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1.559 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.571 * * * [progress]: generating series expansions
1.571 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.572 * [approximate]: Approximating (* d1 (+ d3 (+ d2 37.0))) in (d1 d2 d3) around 0
1.572 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d2
1.572 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d3
1.573 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d2
1.574 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d3
1.574 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d3
1.576 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d2
1.576 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d3
1.577 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d3
1.577 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d3
1.578 * [approximate]: Approximating (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in (d1 d2 d3) around 0
1.580 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
1.581 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
1.583 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
1.583 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
1.586 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
1.586 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
1.587 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
1.589 * [approximate]: Approximating (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in (d1 d2 d3) around 0
1.593 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2
1.595 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
1.597 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2
1.598 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
1.602 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2
1.602 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
1.604 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
1.607 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.607 * [approximate]: Approximating (* d1 (sqrt (+ d3 (+ d2 37.0)))) in (d1 d2 d3) around 0
1.611 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 37.0)))) in d2
1.612 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 37.0)))) in d3
1.612 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 37.0)))) in d2
1.613 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 37.0)))) in d3
1.616 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 37.0)))) in d3
1.618 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 37.0)))) in d2
1.618 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 37.0)))) in d3
1.618 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 37.0)))) in d3
1.625 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 37.0)))) in d3
1.628 * [approximate]: Approximating (* (/ 1 d1) (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3))))) in (d1 d2 d3) around 0
1.636 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3))))) in d2
1.638 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
1.639 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3))))) in d2
1.639 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
1.646 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3))))) in d2
1.646 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
1.648 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
1.653 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3))))) in d2
1.653 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
1.653 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
1.655 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
1.667 * [approximate]: Approximating (* -1 (* (/ 1 d1) (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))))) in (d1 d2 d3) around 0
1.676 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))))) in d2
1.679 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
1.681 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))))) in d2
1.682 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
1.686 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))))) in d2
1.686 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
1.689 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
1.696 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))))) in d2
1.696 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
1.696 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
1.702 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
1.715 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1.715 * [approximate]: Approximating (sqrt (+ d3 (+ d2 37.0))) in (d2 d3) around 0
1.718 * [taylor]: Taking taylor expansion of (sqrt (+ d3 (+ d2 37.0))) in d3
1.721 * [taylor]: Taking taylor expansion of (sqrt (+ d3 (+ d2 37.0))) in d3
1.734 * [approximate]: Approximating (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3)))) in (d2 d3) around 0
1.741 * [taylor]: Taking taylor expansion of (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.741 * [taylor]: Taking taylor expansion of (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.743 * [taylor]: Taking taylor expansion of (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.747 * [taylor]: Taking taylor expansion of (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.758 * [approximate]: Approximating (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))) in (d2 d3) around 0
1.766 * [taylor]: Taking taylor expansion of (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.766 * [taylor]: Taking taylor expansion of (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.768 * [taylor]: Taking taylor expansion of (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.774 * [taylor]: Taking taylor expansion of (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.783 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.783 * [approximate]: Approximating (sqrt (+ d3 (+ d2 37.0))) in (d2 d3) around 0
1.786 * [taylor]: Taking taylor expansion of (sqrt (+ d3 (+ d2 37.0))) in d3
1.789 * [taylor]: Taking taylor expansion of (sqrt (+ d3 (+ d2 37.0))) in d3
1.799 * [approximate]: Approximating (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3)))) in (d2 d3) around 0
1.809 * [taylor]: Taking taylor expansion of (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.809 * [taylor]: Taking taylor expansion of (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.811 * [taylor]: Taking taylor expansion of (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.815 * [taylor]: Taking taylor expansion of (sqrt (+ 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.826 * [approximate]: Approximating (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))) in (d2 d3) around 0
1.835 * [taylor]: Taking taylor expansion of (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.835 * [taylor]: Taking taylor expansion of (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.837 * [taylor]: Taking taylor expansion of (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.842 * [taylor]: Taking taylor expansion of (sqrt (- 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
1.851 * * * [progress]: simplifying candidates
1.852 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (+ (+ (log d1) (log (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))) (log (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (+ (log (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))) (log (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (log (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (exp (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (* (* (* d1 d1) d1) (* (* (sqrt (+ d2 (+ (+ d3 5.0) 32.0))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))) (* (* (sqrt (+ d2 (+ (+ d3 5.0) 32.0))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (* (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))) (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))) (* (* (sqrt (+ d2 (+ (+ d3 5.0) 32.0))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (cbrt (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))))
  (cbrt (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (* (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))) (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (* d1 (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))) (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3))))
  (* (sqrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0))))) (sqrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0))))))
  (* (* d1 (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))) (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))))
  (* (sqrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0))))) (sqrt (- d2 (+ (+ d3 5.0) 32.0))))
  (* (* d1 (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))) (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3))))
  (* (sqrt (- d2 (+ (+ d3 5.0) 32.0))) (sqrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0))))))
  (* (* d1 (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))) (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))))
  (* (sqrt (- d2 (+ (+ d3 5.0) 32.0))) (sqrt (- d2 (+ (+ d3 5.0) 32.0))))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (* (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (* (cbrt (+ d2 (+ (+ d3 5.0) 32.0))) (cbrt (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt 1))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt 1))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt 1))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt 1))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) 1)
  (* (sqrt (+ d2 (+ (+ d3 5.0) 32.0))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3))))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))))
  (* (* d1 (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (* d1 (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (+ (log d1) (log (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (log (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (exp (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (* (* d1 d1) d1) (* (* (sqrt (+ d2 (+ (+ d3 5.0) 32.0))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (cbrt (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))))
  (cbrt (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))) (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (sqrt d1) (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (sqrt d1) (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (sqrt d1) (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (sqrt d1) (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* d1 (* (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* d1 (sqrt (* (cbrt (+ d2 (+ (+ d3 5.0) 32.0))) (cbrt (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* d1 (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* d1 (sqrt 1))
  (* d1 (sqrt 1))
  (* d1 (sqrt 1))
  (* d1 (sqrt 1))
  (* d1 (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* d1 1)
  (* (cbrt d1) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (sqrt d1) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* d1 (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3))))
  (* d1 (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))))
  (log (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (exp (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (* (sqrt (+ d2 (+ (+ d3 5.0) 32.0))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (* (cbrt (+ d2 (+ (+ d3 5.0) 32.0))) (cbrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (cbrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt 1)
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (sqrt 1)
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (sqrt 1)
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (sqrt 1)
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))
  (sqrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))
  (sqrt (- d2 (+ (+ d3 5.0) 32.0)))
  (/ 1 2)
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (log (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (exp (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (* (sqrt (+ d2 (+ (+ d3 5.0) 32.0))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (* (cbrt (+ d2 (+ (+ d3 5.0) 32.0))) (cbrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (cbrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt 1)
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (sqrt 1)
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (sqrt 1)
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (sqrt 1)
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))
  (sqrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))
  (sqrt (- d2 (+ (+ d3 5.0) 32.0)))
  (/ 1 2)
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (+ (* 37.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 37.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 37.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 1/2 (* d1 (* d2 (sqrt 0.02702702702702703)))) (+ (* 1/2 (/ (* d1 d3) (sqrt 37.0))) (* d1 (sqrt 37.0))))
  (- (+ (/ (* d1 (* d3 NAN)) d2) (* d1 NAN)) (* 2 (/ (* d1 (* d3 (pow NAN 3))) (pow d2 2))))
  (- (* d1 NAN) (+ (/ (* d1 (* d3 NAN)) d2) (* 2 (/ (* d1 (* d3 (pow NAN 3))) (pow d2 2)))))
  (+ (sqrt 37.0) (+ (* 1/2 (/ d3 (sqrt 37.0))) (* 1/2 (* d2 (sqrt 0.02702702702702703)))))
  (- (+ (/ (* d3 NAN) d2) NAN) (* 2 (/ (* d3 (pow NAN 3)) (pow d2 2))))
  (- NAN (+ (/ (* d3 NAN) d2) (* 2 (/ (* d3 (pow NAN 3)) (pow d2 2)))))
  (+ (sqrt 37.0) (+ (* 1/2 (/ d3 (sqrt 37.0))) (* 1/2 (* d2 (sqrt 0.02702702702702703)))))
  (- (+ (/ (* d3 NAN) d2) NAN) (* 2 (/ (* d3 (pow NAN 3)) (pow d2 2))))
  (- NAN (+ (/ (* d3 NAN) d2) (* 2 (/ (* d3 (pow NAN 3)) (pow d2 2)))))
1.859 * * [simplify]: iteration  0 :  367  enodes  (cost  912 )
1.866 * * [simplify]: iteration  1 :  1641  enodes  (cost  814 )
1.894 * * [simplify]: iteration  2 :  5002  enodes  (cost  790 )
1.899 * [simplify]: Simplified to:
  (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))
  (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))
  (+ (log d1) (log (+ d2 (+ (+ d3 5.0) 32.0))))
  (+ (log d1) (log (+ d2 (+ (+ d3 5.0) 32.0))))
  (+ (log d1) (log (+ d2 (+ (+ d3 5.0) 32.0))))
  (pow (exp d1) (+ d2 (+ (+ d3 5.0) 32.0)))
  (pow (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) 3)
  (pow (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) 3)
  (* (cbrt (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))))
  (cbrt (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (pow (* d1 (+ d2 (+ (+ d3 5.0) 32.0))) 3)
  (sqrt (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)) d1)
  (+ (* (+ (+ d3 5.0) 32.0) (- (+ (+ d3 5.0) 32.0) d2)) (pow d2 2))
  (* (* d1 (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))) (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))))
  (* (sqrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0))))) (sqrt (- d2 (+ (+ d3 5.0) 32.0))))
  (* (* d1 (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))) (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))))
  (* (sqrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0))))) (sqrt (- d2 (+ (+ d3 5.0) 32.0))))
  (* (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))) d1)
  (- d2 (+ (+ d3 5.0) 32.0))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (* (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* d1 (* (sqrt (+ d2 (+ (+ d3 5.0) 32.0))) (fabs (cbrt (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (+ d2 (+ (+ d3 5.0) 32.0))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3))))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3))))
  (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))))
  (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (log (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (log (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (exp (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (pow (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) 3)
  (* (cbrt (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))))
  (cbrt (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (pow (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) 3)
  (sqrt (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (sqrt d1) (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (sqrt d1) (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (sqrt d1) (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* (sqrt d1) (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (* d1 (* (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))))
  (* (fabs (cbrt (+ d2 (+ (+ d3 5.0) 32.0)))) d1)
  (* d1 (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  d1
  d1
  d1
  d1
  (* d1 (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  d1
  (* (cbrt d1) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (sqrt d1) (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* d1 (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3))))
  (* d1 (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)))))
  (log (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (exp (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (pow (sqrt (+ d2 (+ (+ d3 5.0) 32.0))) 3)
  (fabs (cbrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (cbrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  1
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  1
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  1
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  1
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))
  (sqrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))
  (sqrt (- d2 (+ (+ d3 5.0) 32.0)))
  1/2
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (log (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (exp (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))
  (cbrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (pow (sqrt (+ d2 (+ (+ d3 5.0) 32.0))) 3)
  (fabs (cbrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (cbrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  1
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  1
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  1
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  1
  (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))
  (sqrt (+ (pow d2 3) (pow (+ (+ d3 5.0) 32.0) 3)))
  (sqrt (+ (* d2 d2) (- (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0)) (* d2 (+ (+ d3 5.0) 32.0)))))
  (sqrt (- (* d2 d2) (* (+ (+ d3 5.0) 32.0) (+ (+ d3 5.0) 32.0))))
  (sqrt (- d2 (+ (+ d3 5.0) 32.0)))
  1/2
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (sqrt (sqrt (+ d2 (+ (+ d3 5.0) 32.0))))
  (* d1 (+ 37.0 (+ d3 d2)))
  (* d1 (+ 37.0 (+ d3 d2)))
  (* d1 (+ 37.0 (+ d3 d2)))
  (+ (* d1 (sqrt 37.0)) (* 1/2 (+ (* d1 (* d2 (sqrt 0.02702702702702703))) (/ (* d1 d3) (sqrt 37.0)))))
  (- (+ (/ (* d1 (* d3 NAN)) d2) (* d1 NAN)) (* 2 (/ (* d1 (* d3 (pow NAN 3))) (pow d2 2))))
  (- (* d1 NAN) (+ (/ (* d1 (* d3 NAN)) d2) (* 2 (/ (* d1 (* d3 (pow NAN 3))) (pow d2 2)))))
  (+ (* 1/2 (+ (/ d3 (sqrt 37.0)) (* d2 (sqrt 0.02702702702702703)))) (sqrt 37.0))
  (- (+ (/ (* d3 NAN) d2) NAN) (* 2 (/ (* d3 (pow NAN 3)) (pow d2 2))))
  (- NAN (+ (/ (* d3 NAN) d2) (* 2 (/ (* d3 (pow NAN 3)) (pow d2 2)))))
  (+ (* 1/2 (+ (/ d3 (sqrt 37.0)) (* d2 (sqrt 0.02702702702702703)))) (sqrt 37.0))
  (- (+ (/ (* d3 NAN) d2) NAN) (* 2 (/ (* d3 (pow NAN 3)) (pow d2 2))))
  (- NAN (+ (/ (* d3 NAN) d2) (* 2 (/ (* d3 (pow NAN 3)) (pow d2 2)))))
1.900 * * * [progress]: adding candidates to table
2.172 * [progress]: [Phase 3 of 3] Extracting.
2.172 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2 d3) (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))> #<alt (λ (d1 d2 d3) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))> #<alt (λ (d1 d2 d3) (* (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))>)
2.173 * * * [regime-changes]: Trying 4 branch expressions: ((+ d3 5.0) d3 d2 d1)
2.173 * * * * [regimes]: Trying to branch on (+ d3 5.0) from (#<alt (λ (d1 d2 d3) (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))> #<alt (λ (d1 d2 d3) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))> #<alt (λ (d1 d2 d3) (* (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))>)
2.217 * * * * [regimes]: Trying to branch on d3 from (#<alt (λ (d1 d2 d3) (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))> #<alt (λ (d1 d2 d3) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))> #<alt (λ (d1 d2 d3) (* (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))>)
2.265 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2 d3) (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))> #<alt (λ (d1 d2 d3) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))> #<alt (λ (d1 d2 d3) (* (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))>)
2.313 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2 d3) (* (* d1 (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))) (sqrt (+ d2 (+ (+ d3 5.0) 32.0)))))> #<alt (λ (d1 d2 d3) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))> #<alt (λ (d1 d2 d3) (* (* (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))) (cbrt (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))))>)
2.358 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.359 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))
2.359 * * [simplify]: iteration  0 :  13  enodes  (cost  4 )
2.360 * * [simplify]: iteration  1 :  13  enodes  (cost  4 )
2.360 * [simplify]: Simplified to:
  (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))