8.721 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.026 * * * [progress]: [2/2] Setting up program.
0.029 * [progress]: [Phase 2 of 3] Improving.
0.029 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))
0.032 * * [simplify]: iteration  0 :  19  enodes  (cost  6 )
0.033 * * [simplify]: iteration  1 :  40  enodes  (cost  5 )
0.034 * * [simplify]: iteration  2 :  123  enodes  (cost  4 )
0.036 * * [simplify]: iteration  3 :  249  enodes  (cost  4 )
0.039 * * [simplify]: iteration  4 :  355  enodes  (cost  4 )
0.041 * * [simplify]: iteration  5 :  355  enodes  (cost  4 )
0.042 * [simplify]: Simplified to:
   (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))
0.045 * * [progress]: iteration 1 / 4
0.045 * * * [progress]: picking best candidate
0.050 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))>
0.050 * * * [progress]: localizing error
0.056 * * * [progress]: generating rewritten candidates
0.056 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.066 * * * [progress]: generating series expansions
0.066 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.067 * [approximate]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in (d1 d2 d3) around 0
0.067 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d3
0.067 * [taylor]: Taking taylor expansion of d1 in d3
0.067 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37.0)) in d3
0.067 * [taylor]: Taking taylor expansion of d3 in d3
0.067 * [taylor]: Taking taylor expansion of (+ d2 37.0) in d3
0.067 * [taylor]: Taking taylor expansion of d2 in d3
0.067 * [taylor]: Taking taylor expansion of 37.0 in d3
0.067 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d2
0.067 * [taylor]: Taking taylor expansion of d1 in d2
0.067 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37.0)) in d2
0.067 * [taylor]: Taking taylor expansion of d3 in d2
0.067 * [taylor]: Taking taylor expansion of (+ d2 37.0) in d2
0.067 * [taylor]: Taking taylor expansion of d2 in d2
0.067 * [taylor]: Taking taylor expansion of 37.0 in d2
0.067 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d1
0.067 * [taylor]: Taking taylor expansion of d1 in d1
0.067 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37.0)) in d1
0.067 * [taylor]: Taking taylor expansion of d3 in d1
0.067 * [taylor]: Taking taylor expansion of (+ d2 37.0) in d1
0.067 * [taylor]: Taking taylor expansion of d2 in d1
0.067 * [taylor]: Taking taylor expansion of 37.0 in d1
0.067 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 37.0))) in d1
0.067 * [taylor]: Taking taylor expansion of d1 in d1
0.067 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37.0)) in d1
0.067 * [taylor]: Taking taylor expansion of d3 in d1
0.067 * [taylor]: Taking taylor expansion of (+ d2 37.0) in d1
0.067 * [taylor]: Taking taylor expansion of d2 in d1
0.067 * [taylor]: Taking taylor expansion of 37.0 in d1
0.067 * [taylor]: Taking taylor expansion of 0 in d2
0.067 * [taylor]: Taking taylor expansion of 0 in d3
0.067 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37.0)) in d2
0.067 * [taylor]: Taking taylor expansion of d3 in d2
0.067 * [taylor]: Taking taylor expansion of (+ d2 37.0) in d2
0.067 * [taylor]: Taking taylor expansion of d2 in d2
0.067 * [taylor]: Taking taylor expansion of 37.0 in d2
0.067 * [taylor]: Taking taylor expansion of (+ d3 37.0) in d3
0.067 * [taylor]: Taking taylor expansion of d3 in d3
0.067 * [taylor]: Taking taylor expansion of 37.0 in d3
0.067 * [taylor]: Taking taylor expansion of 0 in d3
0.068 * [taylor]: Taking taylor expansion of 0 in d2
0.068 * [taylor]: Taking taylor expansion of 0 in d3
0.068 * [taylor]: Taking taylor expansion of 1 in d3
0.068 * [taylor]: Taking taylor expansion of 0 in d3
0.068 * [approximate]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in (d1 d2 d3) around 0
0.068 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
0.068 * [taylor]: Taking taylor expansion of (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) in d3
0.068 * [taylor]: Taking taylor expansion of 37.0 in d3
0.068 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.068 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.068 * [taylor]: Taking taylor expansion of d2 in d3
0.068 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.068 * [taylor]: Taking taylor expansion of d3 in d3
0.068 * [taylor]: Taking taylor expansion of d1 in d3
0.068 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
0.068 * [taylor]: Taking taylor expansion of (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) in d2
0.068 * [taylor]: Taking taylor expansion of 37.0 in d2
0.068 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.068 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.068 * [taylor]: Taking taylor expansion of d2 in d2
0.068 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.068 * [taylor]: Taking taylor expansion of d3 in d2
0.068 * [taylor]: Taking taylor expansion of d1 in d2
0.068 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
0.068 * [taylor]: Taking taylor expansion of (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) in d1
0.068 * [taylor]: Taking taylor expansion of 37.0 in d1
0.069 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.069 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.069 * [taylor]: Taking taylor expansion of d2 in d1
0.069 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.069 * [taylor]: Taking taylor expansion of d3 in d1
0.069 * [taylor]: Taking taylor expansion of d1 in d1
0.069 * [taylor]: Taking taylor expansion of (/ (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
0.069 * [taylor]: Taking taylor expansion of (+ 37.0 (+ (/ 1 d2) (/ 1 d3))) in d1
0.069 * [taylor]: Taking taylor expansion of 37.0 in d1
0.069 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.069 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.069 * [taylor]: Taking taylor expansion of d2 in d1
0.069 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.069 * [taylor]: Taking taylor expansion of d3 in d1
0.069 * [taylor]: Taking taylor expansion of d1 in d1
0.069 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37.0)) in d2
0.069 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.069 * [taylor]: Taking taylor expansion of d2 in d2
0.069 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37.0) in d2
0.069 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.069 * [taylor]: Taking taylor expansion of d3 in d2
0.069 * [taylor]: Taking taylor expansion of 37.0 in d2
0.069 * [taylor]: Taking taylor expansion of 1 in d3
0.070 * [taylor]: Taking taylor expansion of 0 in d2
0.070 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37.0) in d3
0.070 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.070 * [taylor]: Taking taylor expansion of d3 in d3
0.070 * [taylor]: Taking taylor expansion of 37.0 in d3
0.070 * [taylor]: Taking taylor expansion of 0 in d2
0.070 * [taylor]: Taking taylor expansion of 0 in d3
0.070 * [taylor]: Taking taylor expansion of 0 in d3
0.071 * [approximate]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in (d1 d2 d3) around 0
0.071 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
0.071 * [taylor]: Taking taylor expansion of -1 in d3
0.071 * [taylor]: Taking taylor expansion of (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
0.071 * [taylor]: Taking taylor expansion of (- 37.0 (+ (/ 1 d2) (/ 1 d3))) in d3
0.071 * [taylor]: Taking taylor expansion of 37.0 in d3
0.071 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.071 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.071 * [taylor]: Taking taylor expansion of d2 in d3
0.071 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.071 * [taylor]: Taking taylor expansion of d3 in d3
0.071 * [taylor]: Taking taylor expansion of d1 in d3
0.071 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2
0.071 * [taylor]: Taking taylor expansion of -1 in d2
0.071 * [taylor]: Taking taylor expansion of (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
0.071 * [taylor]: Taking taylor expansion of (- 37.0 (+ (/ 1 d2) (/ 1 d3))) in d2
0.071 * [taylor]: Taking taylor expansion of 37.0 in d2
0.071 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.071 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.071 * [taylor]: Taking taylor expansion of d2 in d2
0.071 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.071 * [taylor]: Taking taylor expansion of d3 in d2
0.071 * [taylor]: Taking taylor expansion of d1 in d2
0.071 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1
0.071 * [taylor]: Taking taylor expansion of -1 in d1
0.071 * [taylor]: Taking taylor expansion of (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
0.071 * [taylor]: Taking taylor expansion of (- 37.0 (+ (/ 1 d2) (/ 1 d3))) in d1
0.071 * [taylor]: Taking taylor expansion of 37.0 in d1
0.071 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.071 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.071 * [taylor]: Taking taylor expansion of d2 in d1
0.071 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.071 * [taylor]: Taking taylor expansion of d3 in d1
0.071 * [taylor]: Taking taylor expansion of d1 in d1
0.072 * [taylor]: Taking taylor expansion of (* -1 (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1
0.072 * [taylor]: Taking taylor expansion of -1 in d1
0.072 * [taylor]: Taking taylor expansion of (/ (- 37.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
0.072 * [taylor]: Taking taylor expansion of (- 37.0 (+ (/ 1 d2) (/ 1 d3))) in d1
0.072 * [taylor]: Taking taylor expansion of 37.0 in d1
0.072 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.072 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.072 * [taylor]: Taking taylor expansion of d2 in d1
0.072 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.072 * [taylor]: Taking taylor expansion of d3 in d1
0.072 * [taylor]: Taking taylor expansion of d1 in d1
0.072 * [taylor]: Taking taylor expansion of (* -1 (- 37.0 (+ (/ 1 d2) (/ 1 d3)))) in d2
0.072 * [taylor]: Taking taylor expansion of -1 in d2
0.072 * [taylor]: Taking taylor expansion of (- 37.0 (+ (/ 1 d2) (/ 1 d3))) in d2
0.072 * [taylor]: Taking taylor expansion of 37.0 in d2
0.072 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.072 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.072 * [taylor]: Taking taylor expansion of d2 in d2
0.072 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.072 * [taylor]: Taking taylor expansion of d3 in d2
0.072 * [taylor]: Taking taylor expansion of 1 in d3
0.073 * [taylor]: Taking taylor expansion of 0 in d2
0.073 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 37.0) in d3
0.073 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.073 * [taylor]: Taking taylor expansion of d3 in d3
0.073 * [taylor]: Taking taylor expansion of 37.0 in d3
0.073 * [taylor]: Taking taylor expansion of 0 in d2
0.073 * [taylor]: Taking taylor expansion of 0 in d3
0.073 * [taylor]: Taking taylor expansion of 0 in d3
0.074 * * * [progress]: simplifying candidates
0.074 * [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.077 * * [simplify]: iteration  0 :  159  enodes  (cost  148 )
0.080 * * [simplify]: iteration  1 :  838  enodes  (cost  127 )
0.098 * * [simplify]: iteration  2 :  5002  enodes  (cost  127 )
0.099 * [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.100 * * * [progress]: adding candidates to table
0.129 * * [progress]: iteration 2 / 4
0.129 * * * [progress]: picking best candidate
0.134 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))>
0.134 * * * [progress]: localizing error
0.142 * * * [progress]: generating rewritten candidates
0.142 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.148 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.151 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
0.158 * * * [progress]: generating series expansions
0.158 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.158 * [approximate]: Taking taylor expansion of (+ (* 37.0 d1) (+ (* d1 d3) (* d1 d2))) in (d1 d2 d3) around 0
0.158 * [taylor]: Taking taylor expansion of (+ (* 37.0 d1) (+ (* d1 d3) (* d1 d2))) in d3
0.158 * [taylor]: Taking taylor expansion of (* 37.0 d1) in d3
0.158 * [taylor]: Taking taylor expansion of 37.0 in d3
0.158 * [taylor]: Taking taylor expansion of d1 in d3
0.158 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d3
0.158 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.158 * [taylor]: Taking taylor expansion of d1 in d3
0.158 * [taylor]: Taking taylor expansion of d3 in d3
0.158 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.158 * [taylor]: Taking taylor expansion of d1 in d3
0.158 * [taylor]: Taking taylor expansion of d2 in d3
0.158 * [taylor]: Taking taylor expansion of (+ (* 37.0 d1) (+ (* d1 d3) (* d1 d2))) in d2
0.158 * [taylor]: Taking taylor expansion of (* 37.0 d1) in d2
0.158 * [taylor]: Taking taylor expansion of 37.0 in d2
0.158 * [taylor]: Taking taylor expansion of d1 in d2
0.158 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d2
0.158 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.158 * [taylor]: Taking taylor expansion of d1 in d2
0.158 * [taylor]: Taking taylor expansion of d3 in d2
0.158 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.158 * [taylor]: Taking taylor expansion of d1 in d2
0.158 * [taylor]: Taking taylor expansion of d2 in d2
0.158 * [taylor]: Taking taylor expansion of (+ (* 37.0 d1) (+ (* d1 d3) (* d1 d2))) in d1
0.158 * [taylor]: Taking taylor expansion of (* 37.0 d1) in d1
0.158 * [taylor]: Taking taylor expansion of 37.0 in d1
0.158 * [taylor]: Taking taylor expansion of d1 in d1
0.158 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1
0.158 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.158 * [taylor]: Taking taylor expansion of d1 in d1
0.158 * [taylor]: Taking taylor expansion of d3 in d1
0.158 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.158 * [taylor]: Taking taylor expansion of d1 in d1
0.158 * [taylor]: Taking taylor expansion of d2 in d1
0.158 * [taylor]: Taking taylor expansion of (+ (* 37.0 d1) (+ (* d1 d3) (* d1 d2))) in d1
0.158 * [taylor]: Taking taylor expansion of (* 37.0 d1) in d1
0.158 * [taylor]: Taking taylor expansion of 37.0 in d1
0.158 * [taylor]: Taking taylor expansion of d1 in d1
0.158 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1
0.159 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.159 * [taylor]: Taking taylor expansion of d1 in d1
0.159 * [taylor]: Taking taylor expansion of d3 in d1
0.159 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.159 * [taylor]: Taking taylor expansion of d1 in d1
0.159 * [taylor]: Taking taylor expansion of d2 in d1
0.159 * [taylor]: Taking taylor expansion of 0 in d2
0.159 * [taylor]: Taking taylor expansion of 0 in d3
0.159 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 37.0)) in d2
0.159 * [taylor]: Taking taylor expansion of d3 in d2
0.159 * [taylor]: Taking taylor expansion of (+ d2 37.0) in d2
0.159 * [taylor]: Taking taylor expansion of d2 in d2
0.159 * [taylor]: Taking taylor expansion of 37.0 in d2
0.159 * [taylor]: Taking taylor expansion of (+ d3 37.0) in d3
0.159 * [taylor]: Taking taylor expansion of d3 in d3
0.159 * [taylor]: Taking taylor expansion of 37.0 in d3
0.159 * [taylor]: Taking taylor expansion of 0 in d3
0.159 * [taylor]: Taking taylor expansion of 0 in d2
0.159 * [taylor]: Taking taylor expansion of 0 in d3
0.159 * [taylor]: Taking taylor expansion of 1 in d3
0.159 * [taylor]: Taking taylor expansion of 0 in d3
0.160 * [approximate]: Taking taylor expansion of (+ (* 37.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in (d1 d2 d3) around 0
0.160 * [taylor]: Taking taylor expansion of (+ (* 37.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d3
0.160 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d3
0.160 * [taylor]: Taking taylor expansion of 37.0 in d3
0.160 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.160 * [taylor]: Taking taylor expansion of d1 in d3
0.160 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.160 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.160 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.160 * [taylor]: Taking taylor expansion of d1 in d3
0.160 * [taylor]: Taking taylor expansion of d3 in d3
0.160 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.160 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.160 * [taylor]: Taking taylor expansion of d1 in d3
0.160 * [taylor]: Taking taylor expansion of d2 in d3
0.160 * [taylor]: Taking taylor expansion of (+ (* 37.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d2
0.160 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d2
0.160 * [taylor]: Taking taylor expansion of 37.0 in d2
0.160 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.160 * [taylor]: Taking taylor expansion of d1 in d2
0.160 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.160 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.160 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.160 * [taylor]: Taking taylor expansion of d1 in d2
0.160 * [taylor]: Taking taylor expansion of d3 in d2
0.160 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.160 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.160 * [taylor]: Taking taylor expansion of d1 in d2
0.160 * [taylor]: Taking taylor expansion of d2 in d2
0.160 * [taylor]: Taking taylor expansion of (+ (* 37.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d1
0.160 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d1
0.160 * [taylor]: Taking taylor expansion of 37.0 in d1
0.160 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.160 * [taylor]: Taking taylor expansion of d1 in d1
0.160 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.160 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.160 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.160 * [taylor]: Taking taylor expansion of d1 in d1
0.160 * [taylor]: Taking taylor expansion of d3 in d1
0.161 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.161 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.161 * [taylor]: Taking taylor expansion of d1 in d1
0.161 * [taylor]: Taking taylor expansion of d2 in d1
0.161 * [taylor]: Taking taylor expansion of (+ (* 37.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d1
0.161 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d1
0.161 * [taylor]: Taking taylor expansion of 37.0 in d1
0.161 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.161 * [taylor]: Taking taylor expansion of d1 in d1
0.161 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.161 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.161 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.161 * [taylor]: Taking taylor expansion of d1 in d1
0.161 * [taylor]: Taking taylor expansion of d3 in d1
0.161 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.161 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.161 * [taylor]: Taking taylor expansion of d1 in d1
0.161 * [taylor]: Taking taylor expansion of d2 in d1
0.161 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 37.0)) in d2
0.161 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.161 * [taylor]: Taking taylor expansion of d2 in d2
0.161 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37.0) in d2
0.161 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.161 * [taylor]: Taking taylor expansion of d3 in d2
0.161 * [taylor]: Taking taylor expansion of 37.0 in d2
0.161 * [taylor]: Taking taylor expansion of 1 in d3
0.161 * [taylor]: Taking taylor expansion of 0 in d2
0.162 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 37.0) in d3
0.162 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.162 * [taylor]: Taking taylor expansion of d3 in d3
0.162 * [taylor]: Taking taylor expansion of 37.0 in d3
0.162 * [taylor]: Taking taylor expansion of 0 in d2
0.162 * [taylor]: Taking taylor expansion of 0 in d3
0.162 * [taylor]: Taking taylor expansion of 0 in d3
0.163 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37.0 (/ 1 d1))) in (d1 d2 d3) around 0
0.163 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37.0 (/ 1 d1))) in d3
0.163 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.163 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.163 * [taylor]: Taking taylor expansion of d1 in d3
0.163 * [taylor]: Taking taylor expansion of d3 in d3
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.163 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.163 * [taylor]: Taking taylor expansion of d1 in d3
0.163 * [taylor]: Taking taylor expansion of d2 in d3
0.163 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d3
0.163 * [taylor]: Taking taylor expansion of 37.0 in d3
0.163 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.163 * [taylor]: Taking taylor expansion of d1 in d3
0.163 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37.0 (/ 1 d1))) in d2
0.163 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.163 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.163 * [taylor]: Taking taylor expansion of d1 in d2
0.163 * [taylor]: Taking taylor expansion of d3 in d2
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.163 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.163 * [taylor]: Taking taylor expansion of d1 in d2
0.163 * [taylor]: Taking taylor expansion of d2 in d2
0.163 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d2
0.163 * [taylor]: Taking taylor expansion of 37.0 in d2
0.163 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.163 * [taylor]: Taking taylor expansion of d1 in d2
0.163 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37.0 (/ 1 d1))) in d1
0.163 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.163 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.163 * [taylor]: Taking taylor expansion of d1 in d1
0.163 * [taylor]: Taking taylor expansion of d3 in d1
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.163 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.163 * [taylor]: Taking taylor expansion of d1 in d1
0.163 * [taylor]: Taking taylor expansion of d2 in d1
0.164 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d1
0.164 * [taylor]: Taking taylor expansion of 37.0 in d1
0.164 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.164 * [taylor]: Taking taylor expansion of d1 in d1
0.164 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 37.0 (/ 1 d1))) in d1
0.164 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.164 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.164 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.164 * [taylor]: Taking taylor expansion of d1 in d1
0.164 * [taylor]: Taking taylor expansion of d3 in d1
0.164 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.164 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.164 * [taylor]: Taking taylor expansion of d1 in d1
0.164 * [taylor]: Taking taylor expansion of d2 in d1
0.164 * [taylor]: Taking taylor expansion of (* 37.0 (/ 1 d1)) in d1
0.164 * [taylor]: Taking taylor expansion of 37.0 in d1
0.164 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.164 * [taylor]: Taking taylor expansion of d1 in d1
0.164 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d3)) 37.0) in d2
0.164 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.164 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.164 * [taylor]: Taking taylor expansion of d2 in d2
0.164 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.164 * [taylor]: Taking taylor expansion of d3 in d2
0.164 * [taylor]: Taking taylor expansion of 37.0 in d2
0.164 * [taylor]: Taking taylor expansion of 1 in d3
0.164 * [taylor]: Taking taylor expansion of 0 in d2
0.165 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 37.0) in d3
0.165 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.165 * [taylor]: Taking taylor expansion of d3 in d3
0.165 * [taylor]: Taking taylor expansion of 37.0 in d3
0.165 * [taylor]: Taking taylor expansion of 0 in d2
0.165 * [taylor]: Taking taylor expansion of 0 in d3
0.165 * [taylor]: Taking taylor expansion of 0 in d3
0.165 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.165 * [approximate]: Taking taylor expansion of (+ (* 5.0 d1) (+ (* d1 d3) (* d1 d2))) in (d1 d2 d3) around 0
0.165 * [taylor]: Taking taylor expansion of (+ (* 5.0 d1) (+ (* d1 d3) (* d1 d2))) in d3
0.166 * [taylor]: Taking taylor expansion of (* 5.0 d1) in d3
0.166 * [taylor]: Taking taylor expansion of 5.0 in d3
0.166 * [taylor]: Taking taylor expansion of d1 in d3
0.166 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d3
0.166 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.166 * [taylor]: Taking taylor expansion of d1 in d3
0.166 * [taylor]: Taking taylor expansion of d3 in d3
0.166 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.166 * [taylor]: Taking taylor expansion of d1 in d3
0.166 * [taylor]: Taking taylor expansion of d2 in d3
0.166 * [taylor]: Taking taylor expansion of (+ (* 5.0 d1) (+ (* d1 d3) (* d1 d2))) in d2
0.166 * [taylor]: Taking taylor expansion of (* 5.0 d1) in d2
0.166 * [taylor]: Taking taylor expansion of 5.0 in d2
0.166 * [taylor]: Taking taylor expansion of d1 in d2
0.166 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d2
0.166 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.166 * [taylor]: Taking taylor expansion of d1 in d2
0.166 * [taylor]: Taking taylor expansion of d3 in d2
0.166 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.166 * [taylor]: Taking taylor expansion of d1 in d2
0.166 * [taylor]: Taking taylor expansion of d2 in d2
0.166 * [taylor]: Taking taylor expansion of (+ (* 5.0 d1) (+ (* d1 d3) (* d1 d2))) in d1
0.166 * [taylor]: Taking taylor expansion of (* 5.0 d1) in d1
0.166 * [taylor]: Taking taylor expansion of 5.0 in d1
0.166 * [taylor]: Taking taylor expansion of d1 in d1
0.166 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1
0.166 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.166 * [taylor]: Taking taylor expansion of d1 in d1
0.166 * [taylor]: Taking taylor expansion of d3 in d1
0.166 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.166 * [taylor]: Taking taylor expansion of d1 in d1
0.166 * [taylor]: Taking taylor expansion of d2 in d1
0.166 * [taylor]: Taking taylor expansion of (+ (* 5.0 d1) (+ (* d1 d3) (* d1 d2))) in d1
0.166 * [taylor]: Taking taylor expansion of (* 5.0 d1) in d1
0.166 * [taylor]: Taking taylor expansion of 5.0 in d1
0.166 * [taylor]: Taking taylor expansion of d1 in d1
0.166 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1
0.166 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.166 * [taylor]: Taking taylor expansion of d1 in d1
0.166 * [taylor]: Taking taylor expansion of d3 in d1
0.166 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.166 * [taylor]: Taking taylor expansion of d1 in d1
0.166 * [taylor]: Taking taylor expansion of d2 in d1
0.166 * [taylor]: Taking taylor expansion of 0 in d2
0.166 * [taylor]: Taking taylor expansion of 0 in d3
0.166 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 5.0)) in d2
0.166 * [taylor]: Taking taylor expansion of d3 in d2
0.166 * [taylor]: Taking taylor expansion of (+ d2 5.0) in d2
0.166 * [taylor]: Taking taylor expansion of d2 in d2
0.166 * [taylor]: Taking taylor expansion of 5.0 in d2
0.167 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3
0.167 * [taylor]: Taking taylor expansion of d3 in d3
0.167 * [taylor]: Taking taylor expansion of 5.0 in d3
0.167 * [taylor]: Taking taylor expansion of 0 in d3
0.167 * [taylor]: Taking taylor expansion of 0 in d2
0.167 * [taylor]: Taking taylor expansion of 0 in d3
0.167 * [taylor]: Taking taylor expansion of 1 in d3
0.167 * [taylor]: Taking taylor expansion of 0 in d3
0.167 * [approximate]: Taking taylor expansion of (+ (* 5.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in (d1 d2 d3) around 0
0.167 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d3
0.167 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d3
0.167 * [taylor]: Taking taylor expansion of 5.0 in d3
0.167 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.167 * [taylor]: Taking taylor expansion of d1 in d3
0.167 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.167 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.167 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.167 * [taylor]: Taking taylor expansion of d1 in d3
0.167 * [taylor]: Taking taylor expansion of d3 in d3
0.167 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.167 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.167 * [taylor]: Taking taylor expansion of d1 in d3
0.167 * [taylor]: Taking taylor expansion of d2 in d3
0.167 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d2
0.167 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d2
0.167 * [taylor]: Taking taylor expansion of 5.0 in d2
0.168 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.168 * [taylor]: Taking taylor expansion of d1 in d2
0.168 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.168 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.168 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.168 * [taylor]: Taking taylor expansion of d1 in d2
0.168 * [taylor]: Taking taylor expansion of d3 in d2
0.168 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.168 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.168 * [taylor]: Taking taylor expansion of d1 in d2
0.168 * [taylor]: Taking taylor expansion of d2 in d2
0.168 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d1
0.168 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d1
0.168 * [taylor]: Taking taylor expansion of 5.0 in d1
0.168 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.168 * [taylor]: Taking taylor expansion of d1 in d1
0.168 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.168 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.168 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.168 * [taylor]: Taking taylor expansion of d1 in d1
0.168 * [taylor]: Taking taylor expansion of d3 in d1
0.168 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.168 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.168 * [taylor]: Taking taylor expansion of d1 in d1
0.168 * [taylor]: Taking taylor expansion of d2 in d1
0.168 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d1
0.168 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d1
0.168 * [taylor]: Taking taylor expansion of 5.0 in d1
0.168 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.168 * [taylor]: Taking taylor expansion of d1 in d1
0.168 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.168 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.168 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.168 * [taylor]: Taking taylor expansion of d1 in d1
0.168 * [taylor]: Taking taylor expansion of d3 in d1
0.168 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.168 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.169 * [taylor]: Taking taylor expansion of d1 in d1
0.169 * [taylor]: Taking taylor expansion of d2 in d1
0.169 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 5.0)) in d2
0.169 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.169 * [taylor]: Taking taylor expansion of d2 in d2
0.169 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 5.0) in d2
0.169 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.169 * [taylor]: Taking taylor expansion of d3 in d2
0.169 * [taylor]: Taking taylor expansion of 5.0 in d2
0.169 * [taylor]: Taking taylor expansion of 1 in d3
0.169 * [taylor]: Taking taylor expansion of 0 in d2
0.169 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 5.0) in d3
0.169 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.169 * [taylor]: Taking taylor expansion of d3 in d3
0.169 * [taylor]: Taking taylor expansion of 5.0 in d3
0.170 * [taylor]: Taking taylor expansion of 0 in d2
0.170 * [taylor]: Taking taylor expansion of 0 in d3
0.170 * [taylor]: Taking taylor expansion of 0 in d3
0.170 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 5.0 (/ 1 d1))) in (d1 d2 d3) around 0
0.170 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 5.0 (/ 1 d1))) in d3
0.170 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3
0.170 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3
0.170 * [taylor]: Taking taylor expansion of (* d1 d3) in d3
0.170 * [taylor]: Taking taylor expansion of d1 in d3
0.170 * [taylor]: Taking taylor expansion of d3 in d3
0.170 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3
0.170 * [taylor]: Taking taylor expansion of (* d1 d2) in d3
0.170 * [taylor]: Taking taylor expansion of d1 in d3
0.170 * [taylor]: Taking taylor expansion of d2 in d3
0.170 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d3
0.171 * [taylor]: Taking taylor expansion of 5.0 in d3
0.171 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
0.171 * [taylor]: Taking taylor expansion of d1 in d3
0.171 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 5.0 (/ 1 d1))) in d2
0.171 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2
0.171 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2
0.171 * [taylor]: Taking taylor expansion of (* d1 d3) in d2
0.171 * [taylor]: Taking taylor expansion of d1 in d2
0.171 * [taylor]: Taking taylor expansion of d3 in d2
0.171 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.171 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.171 * [taylor]: Taking taylor expansion of d1 in d2
0.171 * [taylor]: Taking taylor expansion of d2 in d2
0.171 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d2
0.171 * [taylor]: Taking taylor expansion of 5.0 in d2
0.171 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.171 * [taylor]: Taking taylor expansion of d1 in d2
0.171 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 5.0 (/ 1 d1))) in d1
0.171 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.171 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.171 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.171 * [taylor]: Taking taylor expansion of d1 in d1
0.171 * [taylor]: Taking taylor expansion of d3 in d1
0.171 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.171 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.171 * [taylor]: Taking taylor expansion of d1 in d1
0.171 * [taylor]: Taking taylor expansion of d2 in d1
0.171 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d1
0.171 * [taylor]: Taking taylor expansion of 5.0 in d1
0.171 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.171 * [taylor]: Taking taylor expansion of d1 in d1
0.171 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 5.0 (/ 1 d1))) in d1
0.171 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1
0.171 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1
0.171 * [taylor]: Taking taylor expansion of (* d1 d3) in d1
0.171 * [taylor]: Taking taylor expansion of d1 in d1
0.171 * [taylor]: Taking taylor expansion of d3 in d1
0.171 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.171 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.171 * [taylor]: Taking taylor expansion of d1 in d1
0.171 * [taylor]: Taking taylor expansion of d2 in d1
0.171 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d1
0.171 * [taylor]: Taking taylor expansion of 5.0 in d1
0.172 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.172 * [taylor]: Taking taylor expansion of d1 in d1
0.172 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d3)) 5.0) in d2
0.172 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.172 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.172 * [taylor]: Taking taylor expansion of d2 in d2
0.172 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.172 * [taylor]: Taking taylor expansion of d3 in d2
0.172 * [taylor]: Taking taylor expansion of 5.0 in d2
0.172 * [taylor]: Taking taylor expansion of 1 in d3
0.172 * [taylor]: Taking taylor expansion of 0 in d2
0.172 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 5.0) in d3
0.172 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.172 * [taylor]: Taking taylor expansion of d3 in d3
0.172 * [taylor]: Taking taylor expansion of 5.0 in d3
0.173 * [taylor]: Taking taylor expansion of 0 in d2
0.173 * [taylor]: Taking taylor expansion of 0 in d3
0.173 * [taylor]: Taking taylor expansion of 0 in d3
0.173 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
0.173 * [approximate]: Taking taylor expansion of (* d1 (+ d3 5.0)) in (d3 d1) around 0
0.173 * [taylor]: Taking taylor expansion of (* d1 (+ d3 5.0)) in d1
0.173 * [taylor]: Taking taylor expansion of d1 in d1
0.173 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d1
0.173 * [taylor]: Taking taylor expansion of d3 in d1
0.173 * [taylor]: Taking taylor expansion of 5.0 in d1
0.173 * [taylor]: Taking taylor expansion of (* d1 (+ d3 5.0)) in d3
0.173 * [taylor]: Taking taylor expansion of d1 in d3
0.173 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3
0.173 * [taylor]: Taking taylor expansion of d3 in d3
0.173 * [taylor]: Taking taylor expansion of 5.0 in d3
0.173 * [taylor]: Taking taylor expansion of (* d1 (+ d3 5.0)) in d3
0.173 * [taylor]: Taking taylor expansion of d1 in d3
0.173 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3
0.173 * [taylor]: Taking taylor expansion of d3 in d3
0.173 * [taylor]: Taking taylor expansion of 5.0 in d3
0.173 * [taylor]: Taking taylor expansion of (* 5.0 d1) in d1
0.173 * [taylor]: Taking taylor expansion of 5.0 in d1
0.173 * [taylor]: Taking taylor expansion of d1 in d1
0.174 * [taylor]: Taking taylor expansion of d1 in d1
0.174 * [taylor]: Taking taylor expansion of 0 in d1
0.174 * [taylor]: Taking taylor expansion of 0 in d1
0.174 * [taylor]: Taking taylor expansion of 0 in d1
0.174 * [approximate]: Taking taylor expansion of (/ (+ 5.0 (/ 1 d3)) d1) in (d3 d1) around 0
0.174 * [taylor]: Taking taylor expansion of (/ (+ 5.0 (/ 1 d3)) d1) in d1
0.174 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d1
0.174 * [taylor]: Taking taylor expansion of 5.0 in d1
0.174 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.174 * [taylor]: Taking taylor expansion of d3 in d1
0.174 * [taylor]: Taking taylor expansion of d1 in d1
0.174 * [taylor]: Taking taylor expansion of (/ (+ 5.0 (/ 1 d3)) d1) in d3
0.174 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d3
0.174 * [taylor]: Taking taylor expansion of 5.0 in d3
0.174 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.174 * [taylor]: Taking taylor expansion of d3 in d3
0.174 * [taylor]: Taking taylor expansion of d1 in d3
0.174 * [taylor]: Taking taylor expansion of (/ (+ 5.0 (/ 1 d3)) d1) in d3
0.174 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d3
0.174 * [taylor]: Taking taylor expansion of 5.0 in d3
0.174 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.174 * [taylor]: Taking taylor expansion of d3 in d3
0.174 * [taylor]: Taking taylor expansion of d1 in d3
0.175 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.175 * [taylor]: Taking taylor expansion of d1 in d1
0.175 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d1
0.175 * [taylor]: Taking taylor expansion of 5.0 in d1
0.175 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.175 * [taylor]: Taking taylor expansion of d1 in d1
0.175 * [taylor]: Taking taylor expansion of 0 in d1
0.175 * [taylor]: Taking taylor expansion of 0 in d1
0.176 * [approximate]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 d3)) d1)) in (d3 d1) around 0
0.176 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 d3)) d1)) in d1
0.176 * [taylor]: Taking taylor expansion of -1 in d1
0.176 * [taylor]: Taking taylor expansion of (/ (- 5.0 (/ 1 d3)) d1) in d1
0.176 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d1
0.176 * [taylor]: Taking taylor expansion of 5.0 in d1
0.176 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.176 * [taylor]: Taking taylor expansion of d3 in d1
0.176 * [taylor]: Taking taylor expansion of d1 in d1
0.176 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 d3)) d1)) in d3
0.176 * [taylor]: Taking taylor expansion of -1 in d3
0.176 * [taylor]: Taking taylor expansion of (/ (- 5.0 (/ 1 d3)) d1) in d3
0.176 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d3
0.176 * [taylor]: Taking taylor expansion of 5.0 in d3
0.176 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.176 * [taylor]: Taking taylor expansion of d3 in d3
0.176 * [taylor]: Taking taylor expansion of d1 in d3
0.176 * [taylor]: Taking taylor expansion of (* -1 (/ (- 5.0 (/ 1 d3)) d1)) in d3
0.176 * [taylor]: Taking taylor expansion of -1 in d3
0.176 * [taylor]: Taking taylor expansion of (/ (- 5.0 (/ 1 d3)) d1) in d3
0.176 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d3
0.176 * [taylor]: Taking taylor expansion of 5.0 in d3
0.176 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.176 * [taylor]: Taking taylor expansion of d3 in d3
0.176 * [taylor]: Taking taylor expansion of d1 in d3
0.176 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.176 * [taylor]: Taking taylor expansion of d1 in d1
0.176 * [taylor]: Taking taylor expansion of (neg (* 5.0 (/ 1 d1))) in d1
0.176 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d1
0.176 * [taylor]: Taking taylor expansion of 5.0 in d1
0.176 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.177 * [taylor]: Taking taylor expansion of d1 in d1
0.177 * [taylor]: Taking taylor expansion of 0 in d1
0.177 * [taylor]: Taking taylor expansion of 0 in d1
0.177 * * * [progress]: simplifying candidates
0.178 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (exp (* d1 d2)) (exp (* (+ d3 5.0) d1))) (exp (* d1 32.0)))
  (* (exp (+ (* d1 d2) (* (+ d3 5.0) d1))) (exp (* d1 32.0)))
  (log (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))
  (exp (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))
  (* (cbrt (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))) (cbrt (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))))
  (cbrt (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))
  (* (* (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)) (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))) (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))
  (sqrt (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))
  (sqrt (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))
  (+ (pow (+ (* d1 d2) (* (+ d3 5.0) d1)) 3) (pow (* d1 32.0) 3))
  (+ (* (+ (* d1 d2) (* (+ d3 5.0) d1)) (+ (* d1 d2) (* (+ d3 5.0) d1))) (- (* (* d1 32.0) (* d1 32.0)) (* (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))))
  (- (* (+ (* d1 d2) (* (+ d3 5.0) d1)) (+ (* d1 d2) (* (+ d3 5.0) d1))) (* (* d1 32.0) (* d1 32.0)))
  (- (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))
  (+ (* (+ d3 5.0) d1) (* d1 32.0))
  (* (exp (* d1 d2)) (exp (* (+ d3 5.0) d1)))
  (log (+ (* d1 d2) (* (+ d3 5.0) d1)))
  (exp (+ (* d1 d2) (* (+ d3 5.0) d1)))
  (* (cbrt (+ (* d1 d2) (* (+ d3 5.0) d1))) (cbrt (+ (* d1 d2) (* (+ d3 5.0) d1))))
  (cbrt (+ (* d1 d2) (* (+ d3 5.0) d1)))
  (* (* (+ (* d1 d2) (* (+ d3 5.0) d1)) (+ (* d1 d2) (* (+ d3 5.0) d1))) (+ (* d1 d2) (* (+ d3 5.0) d1)))
  (sqrt (+ (* d1 d2) (* (+ d3 5.0) d1)))
  (sqrt (+ (* d1 d2) (* (+ d3 5.0) d1)))
  (+ (pow (* d1 d2) 3) (pow (* (+ d3 5.0) d1) 3))
  (+ (* (* d1 d2) (* d1 d2)) (- (* (* (+ d3 5.0) d1) (* (+ d3 5.0) d1)) (* (* d1 d2) (* (+ d3 5.0) d1))))
  (- (* (* d1 d2) (* d1 d2)) (* (* (+ d3 5.0) d1) (* (+ d3 5.0) d1)))
  (- (* d1 d2) (* (+ d3 5.0) d1))
  (* (+ d3 5.0) d1)
  (+ (log (+ d3 5.0)) (log d1))
  (log (* (+ d3 5.0) d1))
  (exp (* (+ d3 5.0) d1))
  (* (* (* (+ d3 5.0) (+ d3 5.0)) (+ d3 5.0)) (* (* d1 d1) d1))
  (* (cbrt (* (+ d3 5.0) d1)) (cbrt (* (+ d3 5.0) d1)))
  (cbrt (* (+ d3 5.0) d1))
  (* (* (* (+ d3 5.0) d1) (* (+ d3 5.0) d1)) (* (+ d3 5.0) d1))
  (sqrt (* (+ d3 5.0) d1))
  (sqrt (* (+ d3 5.0) d1))
  (* (sqrt (+ d3 5.0)) (sqrt d1))
  (* (sqrt (+ d3 5.0)) (sqrt d1))
  (* (+ d3 5.0) (* (cbrt d1) (cbrt d1)))
  (* (+ d3 5.0) (sqrt d1))
  (* (+ d3 5.0) 1)
  (* (cbrt (+ d3 5.0)) d1)
  (* (sqrt (+ d3 5.0)) d1)
  (* (+ d3 5.0) d1)
  (* (+ d3 5.0) d1)
  (* (+ (pow d3 3) (pow 5.0 3)) d1)
  (* (- (* d3 d3) (* 5.0 5.0)) d1)
  (+ (* 37.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 37.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 37.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 5.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 5.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 5.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 5.0 d1) (* d1 d3))
  (+ (* 5.0 d1) (* d1 d3))
  (+ (* 5.0 d1) (* d1 d3))
0.182 * * [simplify]: iteration  0 :  271  enodes  (cost  315 )
0.187 * * [simplify]: iteration  1 :  1079  enodes  (cost  281 )
0.211 * * [simplify]: iteration  2 :  5001  enodes  (cost  270 )
0.213 * [simplify]: Simplified to:
   (exp (+ (* d1 (+ 5.0 (+ d3 d2))) (* d1 32.0)))
  (exp (+ (* d1 (+ 5.0 (+ d3 d2))) (* d1 32.0)))
  (log (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))
  (exp (+ (* d1 (+ 5.0 (+ d3 d2))) (* d1 32.0)))
  (* (cbrt (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))) (cbrt (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))))
  (cbrt (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))
  (pow (+ (* d1 (+ 32.0 (+ d3 5.0))) (* d1 d2)) 3)
  (sqrt (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))
  (sqrt (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))
  (+ (pow (+ (* d1 d2) (* (+ d3 5.0) d1)) 3) (pow (* d1 32.0) 3))
  (+ (* (* d1 32.0) (* d1 32.0)) (- (* (* d1 d1) (* (+ 5.0 (+ d3 d2)) (+ 5.0 (+ d3 d2)))) (* (* (* d1 (+ 5.0 (+ d3 d2))) 32.0) d1)))
  (* (- (* d1 (+ 5.0 (+ d3 d2))) (* d1 32.0)) (+ (* d1 (+ 32.0 (+ d3 5.0))) (* d1 d2)))
  (* d1 (+ d2 (- (+ d3 5.0) 32.0)))
  (* d1 (+ 32.0 (+ d3 5.0)))
  (exp (* d1 (+ 5.0 (+ d3 d2))))
  (log (+ (* d1 d2) (* (+ d3 5.0) d1)))
  (exp (* d1 (+ 5.0 (+ d3 d2))))
  (* (cbrt (+ (* d1 d2) (* (+ d3 5.0) d1))) (cbrt (+ (* d1 d2) (* (+ d3 5.0) d1))))
  (cbrt (+ (* d1 d2) (* (+ d3 5.0) d1)))
  (pow (* d1 (+ 5.0 (+ d3 d2))) 3)
  (sqrt (+ (* d1 d2) (* (+ d3 5.0) d1)))
  (sqrt (+ (* d1 d2) (* (+ d3 5.0) d1)))
  (+ (pow (* d1 d2) 3) (pow (* (+ d3 5.0) d1) 3))
  (* d1 (+ (* d2 (* d1 d2)) (* (+ d3 5.0) (* d1 (- (+ d3 5.0) d2)))))
  (* (* d1 (- d2 (+ d3 5.0))) (* d1 (+ 5.0 (+ d3 d2))))
  (* d1 (- d2 (+ d3 5.0)))
  (* (+ d3 5.0) d1)
  (log (* (+ d3 5.0) d1))
  (log (* (+ d3 5.0) d1))
  (exp (* (+ d3 5.0) d1))
  (pow (* (+ d3 5.0) d1) 3)
  (* (cbrt (* (+ d3 5.0) d1)) (cbrt (* (+ d3 5.0) d1)))
  (cbrt (* (+ d3 5.0) d1))
  (pow (* (+ d3 5.0) d1) 3)
  (sqrt (* (+ d3 5.0) d1))
  (sqrt (* (+ d3 5.0) d1))
  (* (sqrt (+ d3 5.0)) (sqrt d1))
  (* (sqrt (+ d3 5.0)) (sqrt d1))
  (* (+ d3 5.0) (* (cbrt d1) (cbrt d1)))
  (* (+ d3 5.0) (sqrt d1))
  (+ d3 5.0)
  (* (cbrt (+ d3 5.0)) d1)
  (* (sqrt (+ d3 5.0)) d1)
  (* (+ d3 5.0) d1)
  (* (+ d3 5.0) d1)
  (* (+ (pow d3 3) (pow 5.0 3)) d1)
  (* (- (* d3 d3) (* 5.0 5.0)) d1)
  (* d1 (+ 37.0 (+ d3 d2)))
  (* d1 (+ 37.0 (+ d3 d2)))
  (* d1 (+ 37.0 (+ d3 d2)))
  (* d1 (+ 5.0 (+ d3 d2)))
  (* d1 (+ 5.0 (+ d3 d2)))
  (* d1 (+ 5.0 (+ d3 d2)))
  (* (+ d3 5.0) d1)
  (* (+ d3 5.0) d1)
  (* (+ d3 5.0) d1)
0.213 * * * [progress]: adding candidates to table
0.267 * * [progress]: iteration 3 / 4
0.267 * * * [progress]: picking best candidate
0.270 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5.0) (* (cbrt d1) (cbrt d1))) (cbrt d1))) (* d1 32.0)))>
0.271 * * * [progress]: localizing error
0.284 * * * [progress]: generating rewritten candidates
0.284 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2)
0.286 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 2)
0.287 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 1)
0.288 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2)
0.295 * * * [progress]: generating series expansions
0.295 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2)
0.295 * [approximate]: Taking taylor expansion of (pow d1 1/3) in (d1) around 0
0.295 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.295 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.295 * [taylor]: Taking taylor expansion of 1/3 in d1
0.295 * [taylor]: Taking taylor expansion of (log d1) in d1
0.295 * [taylor]: Taking taylor expansion of d1 in d1
0.295 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.295 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.295 * [taylor]: Taking taylor expansion of 1/3 in d1
0.296 * [taylor]: Taking taylor expansion of (log d1) in d1
0.296 * [taylor]: Taking taylor expansion of d1 in d1
0.301 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in (d1) around 0
0.301 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.302 * [taylor]: Taking taylor expansion of 1/3 in d1
0.302 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.302 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.302 * [taylor]: Taking taylor expansion of d1 in d1
0.302 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.302 * [taylor]: Taking taylor expansion of 1/3 in d1
0.302 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.302 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.302 * [taylor]: Taking taylor expansion of d1 in d1
0.308 * [approximate]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in (d1) around 0
0.308 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.308 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.308 * [taylor]: Taking taylor expansion of 1/3 in d1
0.308 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.308 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.308 * [taylor]: Taking taylor expansion of d1 in d1
0.308 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.308 * [taylor]: Taking taylor expansion of -1 in d1
0.308 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.308 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.309 * [taylor]: Taking taylor expansion of 1/3 in d1
0.309 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.309 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.309 * [taylor]: Taking taylor expansion of d1 in d1
0.309 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.309 * [taylor]: Taking taylor expansion of -1 in d1
0.316 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 2)
0.316 * [approximate]: Taking taylor expansion of (pow d1 1/3) in (d1) around 0
0.316 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.316 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.316 * [taylor]: Taking taylor expansion of 1/3 in d1
0.317 * [taylor]: Taking taylor expansion of (log d1) in d1
0.317 * [taylor]: Taking taylor expansion of d1 in d1
0.317 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.317 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.317 * [taylor]: Taking taylor expansion of 1/3 in d1
0.317 * [taylor]: Taking taylor expansion of (log d1) in d1
0.317 * [taylor]: Taking taylor expansion of d1 in d1
0.323 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in (d1) around 0
0.323 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.323 * [taylor]: Taking taylor expansion of 1/3 in d1
0.323 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.323 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.323 * [taylor]: Taking taylor expansion of d1 in d1
0.323 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.323 * [taylor]: Taking taylor expansion of 1/3 in d1
0.323 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.323 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.323 * [taylor]: Taking taylor expansion of d1 in d1
0.329 * [approximate]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in (d1) around 0
0.329 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.329 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.329 * [taylor]: Taking taylor expansion of 1/3 in d1
0.329 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.329 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.329 * [taylor]: Taking taylor expansion of d1 in d1
0.330 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.330 * [taylor]: Taking taylor expansion of -1 in d1
0.330 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.330 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.330 * [taylor]: Taking taylor expansion of 1/3 in d1
0.330 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.330 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.330 * [taylor]: Taking taylor expansion of d1 in d1
0.330 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.330 * [taylor]: Taking taylor expansion of -1 in d1
0.338 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 1)
0.338 * [approximate]: Taking taylor expansion of (pow d1 1/3) in (d1) around 0
0.338 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.338 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.338 * [taylor]: Taking taylor expansion of 1/3 in d1
0.338 * [taylor]: Taking taylor expansion of (log d1) in d1
0.338 * [taylor]: Taking taylor expansion of d1 in d1
0.338 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.338 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.338 * [taylor]: Taking taylor expansion of 1/3 in d1
0.338 * [taylor]: Taking taylor expansion of (log d1) in d1
0.338 * [taylor]: Taking taylor expansion of d1 in d1
0.344 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in (d1) around 0
0.344 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.344 * [taylor]: Taking taylor expansion of 1/3 in d1
0.344 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.344 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.344 * [taylor]: Taking taylor expansion of d1 in d1
0.344 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.344 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.344 * [taylor]: Taking taylor expansion of 1/3 in d1
0.344 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.344 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.344 * [taylor]: Taking taylor expansion of d1 in d1
0.350 * [approximate]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in (d1) around 0
0.351 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.351 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.351 * [taylor]: Taking taylor expansion of 1/3 in d1
0.351 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.351 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.351 * [taylor]: Taking taylor expansion of d1 in d1
0.351 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.351 * [taylor]: Taking taylor expansion of -1 in d1
0.351 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.351 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.351 * [taylor]: Taking taylor expansion of 1/3 in d1
0.351 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.351 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.351 * [taylor]: Taking taylor expansion of d1 in d1
0.351 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.351 * [taylor]: Taking taylor expansion of -1 in d1
0.361 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2)
0.361 * [approximate]: Taking taylor expansion of (pow (pow d1 2) 1/3) in (d1) around 0
0.361 * [taylor]: Taking taylor expansion of (pow (pow d1 2) 1/3) in d1
0.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow d1 2)))) in d1
0.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow d1 2))) in d1
0.362 * [taylor]: Taking taylor expansion of 1/3 in d1
0.362 * [taylor]: Taking taylor expansion of (log (pow d1 2)) in d1
0.362 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
0.362 * [taylor]: Taking taylor expansion of d1 in d1
0.362 * [taylor]: Taking taylor expansion of (pow (pow d1 2) 1/3) in d1
0.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow d1 2)))) in d1
0.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow d1 2))) in d1
0.362 * [taylor]: Taking taylor expansion of 1/3 in d1
0.362 * [taylor]: Taking taylor expansion of (log (pow d1 2)) in d1
0.362 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
0.362 * [taylor]: Taking taylor expansion of d1 in d1
0.368 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow d1 2)) 1/3) in (d1) around 0
0.368 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d1 2)) 1/3) in d1
0.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d1 2))))) in d1
0.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d1 2)))) in d1
0.368 * [taylor]: Taking taylor expansion of 1/3 in d1
0.368 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d1 2))) in d1
0.368 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
0.368 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
0.368 * [taylor]: Taking taylor expansion of d1 in d1
0.369 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d1 2)) 1/3) in d1
0.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d1 2))))) in d1
0.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d1 2)))) in d1
0.369 * [taylor]: Taking taylor expansion of 1/3 in d1
0.369 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d1 2))) in d1
0.369 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
0.369 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
0.369 * [taylor]: Taking taylor expansion of d1 in d1
0.376 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in (d1) around 0
0.376 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in d1
0.376 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d1 2)) 1/3) in d1
0.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d1 2))))) in d1
0.376 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d1 2)))) in d1
0.376 * [taylor]: Taking taylor expansion of 1/3 in d1
0.376 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d1 2))) in d1
0.376 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
0.376 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
0.376 * [taylor]: Taking taylor expansion of d1 in d1
0.376 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d1
0.376 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.376 * [taylor]: Taking taylor expansion of -1 in d1
0.376 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow d1 2)) 1/3) (pow (cbrt -1) 2)) in d1
0.376 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d1 2)) 1/3) in d1
0.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d1 2))))) in d1
0.376 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d1 2)))) in d1
0.376 * [taylor]: Taking taylor expansion of 1/3 in d1
0.376 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d1 2))) in d1
0.376 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 2)) in d1
0.376 * [taylor]: Taking taylor expansion of (pow d1 2) in d1
0.376 * [taylor]: Taking taylor expansion of d1 in d1
0.376 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in d1
0.376 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.376 * [taylor]: Taking taylor expansion of -1 in d1
0.386 * * * [progress]: simplifying candidates
0.387 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt d1))
  (exp (cbrt d1))
  (cbrt (* (cbrt d1) (cbrt d1)))
  (cbrt (cbrt d1))
  (cbrt (sqrt d1))
  (cbrt (sqrt d1))
  (cbrt 1)
  (cbrt d1)
  (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))
  (cbrt (cbrt d1))
  (* (* (cbrt d1) (cbrt d1)) (cbrt d1))
  (sqrt (cbrt d1))
  (sqrt (cbrt d1))
  (log (cbrt d1))
  (exp (cbrt d1))
  (cbrt (* (cbrt d1) (cbrt d1)))
  (cbrt (cbrt d1))
  (cbrt (sqrt d1))
  (cbrt (sqrt d1))
  (cbrt 1)
  (cbrt d1)
  (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))
  (cbrt (cbrt d1))
  (* (* (cbrt d1) (cbrt d1)) (cbrt d1))
  (sqrt (cbrt d1))
  (sqrt (cbrt d1))
  (log (cbrt d1))
  (exp (cbrt d1))
  (cbrt (* (cbrt d1) (cbrt d1)))
  (cbrt (cbrt d1))
  (cbrt (sqrt d1))
  (cbrt (sqrt d1))
  (cbrt 1)
  (cbrt d1)
  (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))
  (cbrt (cbrt d1))
  (* (* (cbrt d1) (cbrt d1)) (cbrt d1))
  (sqrt (cbrt d1))
  (sqrt (cbrt d1))
  (+ 1/3 1/3)
  (+ 1 1)
  (* d1 d1)
  (* (cbrt d1) (cbrt d1))
  (+ 1 1)
  (+ (log (cbrt d1)) (log (cbrt d1)))
  (log (* (cbrt d1) (cbrt d1)))
  (exp (* (cbrt d1) (cbrt d1)))
  (* d1 d1)
  (* (cbrt (* (cbrt d1) (cbrt d1))) (cbrt (* (cbrt d1) (cbrt d1))))
  (cbrt (* (cbrt d1) (cbrt d1)))
  (* (* (* (cbrt d1) (cbrt d1)) (* (cbrt d1) (cbrt d1))) (* (cbrt d1) (cbrt d1)))
  (sqrt (* (cbrt d1) (cbrt d1)))
  (sqrt (* (cbrt d1) (cbrt d1)))
  (* (cbrt (* (cbrt d1) (cbrt d1))) (cbrt (* (cbrt d1) (cbrt d1))))
  (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))
  (* (cbrt (sqrt d1)) (cbrt (sqrt d1)))
  (* (cbrt (sqrt d1)) (cbrt (sqrt d1)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt d1) (cbrt d1))
  (* (* (cbrt (cbrt d1)) (cbrt (cbrt d1))) (* (cbrt (cbrt d1)) (cbrt (cbrt d1))))
  (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))
  (* (sqrt (cbrt d1)) (sqrt (cbrt d1)))
  (* (sqrt (cbrt d1)) (sqrt (cbrt d1)))
  (* 1 1)
  (* (cbrt d1) (cbrt d1))
  (* (cbrt (sqrt d1)) (cbrt (sqrt d1)))
  (* (cbrt (sqrt d1)) (cbrt (sqrt d1)))
  (* (cbrt (sqrt d1)) (sqrt (cbrt d1)))
  (* (cbrt (sqrt d1)) (sqrt (cbrt d1)))
  (* (sqrt (cbrt d1)) (cbrt (sqrt d1)))
  (* (sqrt (cbrt d1)) (cbrt (sqrt d1)))
  (* (sqrt (cbrt d1)) (sqrt (cbrt d1)))
  (* (sqrt (cbrt d1)) (sqrt (cbrt d1)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt d1) (cbrt (* (cbrt d1) (cbrt d1))))
  (* (cbrt d1) (cbrt (sqrt d1)))
  (* (cbrt d1) (cbrt 1))
  (* (cbrt d1) (* (cbrt (cbrt d1)) (cbrt (cbrt d1))))
  (* (cbrt d1) (sqrt (cbrt d1)))
  (* (cbrt d1) 1)
  (* (cbrt (cbrt d1)) (cbrt d1))
  (* (cbrt (sqrt d1)) (cbrt d1))
  (* (cbrt d1) (cbrt d1))
  (* (cbrt (cbrt d1)) (cbrt d1))
  (* (sqrt (cbrt d1)) (cbrt d1))
  (* (cbrt d1) (cbrt d1))
  (exp (* 1/3 (+ (log 1) (log d1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 d1)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 d1))))))
  (exp (* 1/3 (+ (log 1) (log d1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 d1)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 d1))))))
  (exp (* 1/3 (+ (log 1) (log d1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 d1)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 d1))))))
  (exp (* 1/3 (+ (log 1) (* 2 (log d1)))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 d1))))))
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 d1)))))))
0.390 * * [simplify]: iteration  0 :  148  enodes  (cost  349 )
0.393 * * [simplify]: iteration  1 :  471  enodes  (cost  322 )
0.404 * * [simplify]: iteration  2 :  2276  enodes  (cost  265 )
0.454 * * [simplify]: iteration  3 :  5002  enodes  (cost  252 )
0.456 * [simplify]: Simplified to:
   (log (cbrt d1))
  (exp (cbrt d1))
  (cbrt (* (cbrt d1) (cbrt d1)))
  (cbrt (cbrt d1))
  (cbrt (sqrt d1))
  (cbrt (sqrt d1))
  1
  (cbrt d1)
  (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))
  (cbrt (cbrt d1))
  d1
  (sqrt (cbrt d1))
  (sqrt (cbrt d1))
  (log (cbrt d1))
  (exp (cbrt d1))
  (cbrt (* (cbrt d1) (cbrt d1)))
  (cbrt (cbrt d1))
  (cbrt (sqrt d1))
  (cbrt (sqrt d1))
  1
  (cbrt d1)
  (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))
  (cbrt (cbrt d1))
  d1
  (sqrt (cbrt d1))
  (sqrt (cbrt d1))
  (log (cbrt d1))
  (exp (cbrt d1))
  (cbrt (* (cbrt d1) (cbrt d1)))
  (cbrt (cbrt d1))
  (cbrt (sqrt d1))
  (cbrt (sqrt d1))
  1
  (cbrt d1)
  (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))
  (cbrt (cbrt d1))
  d1
  (sqrt (cbrt d1))
  (sqrt (cbrt d1))
  2/3
  2
  (* d1 d1)
  (pow d1 2/3)
  2
  (* 2 (log (cbrt d1)))
  (* 2 (log (cbrt d1)))
  (exp (* (cbrt d1) (cbrt d1)))
  (* d1 d1)
  (* (cbrt (* (cbrt d1) (cbrt d1))) (cbrt (* (cbrt d1) (cbrt d1))))
  (cbrt (* (cbrt d1) (cbrt d1)))
  (* d1 d1)
  (fabs (cbrt d1))
  (fabs (cbrt d1))
  (* (cbrt (* (cbrt d1) (cbrt d1))) (cbrt (* (cbrt d1) (cbrt d1))))
  (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))
  (* (cbrt (sqrt d1)) (cbrt (sqrt d1)))
  (* (cbrt (sqrt d1)) (cbrt (sqrt d1)))
  1
  (pow d1 2/3)
  (pow (cbrt (cbrt d1)) 4)
  (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))
  (cbrt d1)
  (cbrt d1)
  1
  (pow d1 2/3)
  (* (cbrt (sqrt d1)) (cbrt (sqrt d1)))
  (* (cbrt (sqrt d1)) (cbrt (sqrt d1)))
  (* (cbrt (sqrt d1)) (sqrt (cbrt d1)))
  (* (cbrt (sqrt d1)) (sqrt (cbrt d1)))
  (* (cbrt (sqrt d1)) (sqrt (cbrt d1)))
  (* (cbrt (sqrt d1)) (sqrt (cbrt d1)))
  (cbrt d1)
  (cbrt d1)
  2/3
  2
  (* (cbrt d1) (cbrt (* (cbrt d1) (cbrt d1))))
  (* (cbrt d1) (cbrt (sqrt d1)))
  (cbrt d1)
  (pow (cbrt (cbrt d1)) 5)
  (pow (sqrt (cbrt d1)) 3)
  (cbrt d1)
  (pow (cbrt (cbrt d1)) 4)
  (* (cbrt d1) (cbrt (sqrt d1)))
  (pow d1 2/3)
  (pow (cbrt (cbrt d1)) 4)
  (pow (sqrt (cbrt d1)) 3)
  (pow d1 2/3)
  (cbrt d1)
  (cbrt d1)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 d1))))))
  (cbrt d1)
  (cbrt d1)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 d1))))))
  (cbrt d1)
  (cbrt d1)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 d1))))))
  (pow d1 2/3)
  (pow d1 2/3)
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 d1)))))))
0.456 * * * [progress]: adding candidates to table
0.528 * * [progress]: iteration 4 / 4
0.528 * * * [progress]: picking best candidate
0.531 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1))) (* d1 32.0)))>
0.531 * * * [progress]: localizing error
0.548 * * * [progress]: generating rewritten candidates
0.548 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2)
0.552 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
0.553 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 1 2 1)
0.554 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.567 * * * [progress]: generating series expansions
0.567 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2)
0.567 * [approximate]: Taking taylor expansion of (pow (pow d1 1/3) 2) in (d1) around 0
0.567 * [taylor]: Taking taylor expansion of (pow (pow d1 1/3) 2) in d1
0.567 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.567 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.567 * [taylor]: Taking taylor expansion of 1/3 in d1
0.567 * [taylor]: Taking taylor expansion of (log d1) in d1
0.567 * [taylor]: Taking taylor expansion of d1 in d1
0.567 * [taylor]: Taking taylor expansion of (pow (pow d1 1/3) 2) in d1
0.567 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.567 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.567 * [taylor]: Taking taylor expansion of 1/3 in d1
0.567 * [taylor]: Taking taylor expansion of (log d1) in d1
0.567 * [taylor]: Taking taylor expansion of d1 in d1
0.574 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 d1) 1/3) 2) in (d1) around 0
0.574 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 d1) 1/3) 2) in d1
0.574 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.574 * [taylor]: Taking taylor expansion of 1/3 in d1
0.574 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.574 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.574 * [taylor]: Taking taylor expansion of d1 in d1
0.574 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 d1) 1/3) 2) in d1
0.574 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.574 * [taylor]: Taking taylor expansion of 1/3 in d1
0.574 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.574 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.574 * [taylor]: Taking taylor expansion of d1 in d1
0.581 * [approximate]: Taking taylor expansion of (pow (* (pow (/ 1 d1) 1/3) (cbrt -1)) 2) in (d1) around 0
0.581 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 d1) 1/3) (cbrt -1)) 2) in d1
0.582 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.582 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.582 * [taylor]: Taking taylor expansion of 1/3 in d1
0.582 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.582 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.582 * [taylor]: Taking taylor expansion of d1 in d1
0.582 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.582 * [taylor]: Taking taylor expansion of -1 in d1
0.582 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 d1) 1/3) (cbrt -1)) 2) in d1
0.582 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.582 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.582 * [taylor]: Taking taylor expansion of 1/3 in d1
0.582 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.582 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.582 * [taylor]: Taking taylor expansion of d1 in d1
0.582 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.582 * [taylor]: Taking taylor expansion of -1 in d1
0.592 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
0.592 * [approximate]: Taking taylor expansion of (pow d1 1/3) in (d1) around 0
0.592 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.592 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.592 * [taylor]: Taking taylor expansion of 1/3 in d1
0.592 * [taylor]: Taking taylor expansion of (log d1) in d1
0.592 * [taylor]: Taking taylor expansion of d1 in d1
0.592 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.592 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.592 * [taylor]: Taking taylor expansion of 1/3 in d1
0.592 * [taylor]: Taking taylor expansion of (log d1) in d1
0.592 * [taylor]: Taking taylor expansion of d1 in d1
0.598 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in (d1) around 0
0.598 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.598 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.598 * [taylor]: Taking taylor expansion of 1/3 in d1
0.598 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.598 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.598 * [taylor]: Taking taylor expansion of d1 in d1
0.598 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.598 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.598 * [taylor]: Taking taylor expansion of 1/3 in d1
0.598 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.598 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.598 * [taylor]: Taking taylor expansion of d1 in d1
0.605 * [approximate]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in (d1) around 0
0.605 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.605 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.605 * [taylor]: Taking taylor expansion of 1/3 in d1
0.605 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.605 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.605 * [taylor]: Taking taylor expansion of d1 in d1
0.605 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.605 * [taylor]: Taking taylor expansion of -1 in d1
0.605 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.605 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.605 * [taylor]: Taking taylor expansion of 1/3 in d1
0.605 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.605 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.605 * [taylor]: Taking taylor expansion of d1 in d1
0.605 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.605 * [taylor]: Taking taylor expansion of -1 in d1
0.613 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 1 2 1)
0.613 * [approximate]: Taking taylor expansion of (pow d1 1/3) in (d1) around 0
0.613 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.613 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.613 * [taylor]: Taking taylor expansion of 1/3 in d1
0.613 * [taylor]: Taking taylor expansion of (log d1) in d1
0.613 * [taylor]: Taking taylor expansion of d1 in d1
0.613 * [taylor]: Taking taylor expansion of (pow d1 1/3) in d1
0.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log d1))) in d1
0.613 * [taylor]: Taking taylor expansion of (* 1/3 (log d1)) in d1
0.613 * [taylor]: Taking taylor expansion of 1/3 in d1
0.613 * [taylor]: Taking taylor expansion of (log d1) in d1
0.613 * [taylor]: Taking taylor expansion of d1 in d1
0.619 * [approximate]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in (d1) around 0
0.619 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.619 * [taylor]: Taking taylor expansion of 1/3 in d1
0.619 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.619 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.619 * [taylor]: Taking taylor expansion of d1 in d1
0.619 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.619 * [taylor]: Taking taylor expansion of 1/3 in d1
0.619 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.619 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.619 * [taylor]: Taking taylor expansion of d1 in d1
0.626 * [approximate]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in (d1) around 0
0.626 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.626 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.626 * [taylor]: Taking taylor expansion of 1/3 in d1
0.626 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.626 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.626 * [taylor]: Taking taylor expansion of d1 in d1
0.626 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.626 * [taylor]: Taking taylor expansion of -1 in d1
0.626 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d1) 1/3) (cbrt -1)) in d1
0.626 * [taylor]: Taking taylor expansion of (pow (/ 1 d1) 1/3) in d1
0.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d1)))) in d1
0.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d1))) in d1
0.626 * [taylor]: Taking taylor expansion of 1/3 in d1
0.626 * [taylor]: Taking taylor expansion of (log (/ 1 d1)) in d1
0.626 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.626 * [taylor]: Taking taylor expansion of d1 in d1
0.626 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.626 * [taylor]: Taking taylor expansion of -1 in d1
0.636 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.636 * [approximate]: Taking taylor expansion of (* d1 (+ d3 5.0)) in (d3 d1) around 0
0.636 * [taylor]: Taking taylor expansion of (* d1 (+ d3 5.0)) in d1
0.636 * [taylor]: Taking taylor expansion of d1 in d1
0.636 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d1
0.636 * [taylor]: Taking taylor expansion of d3 in d1
0.636 * [taylor]: Taking taylor expansion of 5.0 in d1
0.636 * [taylor]: Taking taylor expansion of (* d1 (+ d3 5.0)) in d3
0.636 * [taylor]: Taking taylor expansion of d1 in d3
0.637 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3
0.637 * [taylor]: Taking taylor expansion of d3 in d3
0.637 * [taylor]: Taking taylor expansion of 5.0 in d3
0.637 * [taylor]: Taking taylor expansion of (* d1 (+ d3 5.0)) in d3
0.637 * [taylor]: Taking taylor expansion of d1 in d3
0.637 * [taylor]: Taking taylor expansion of (+ d3 5.0) in d3
0.637 * [taylor]: Taking taylor expansion of d3 in d3
0.637 * [taylor]: Taking taylor expansion of 5.0 in d3
0.637 * [taylor]: Taking taylor expansion of (* 5.0 d1) in d1
0.637 * [taylor]: Taking taylor expansion of 5.0 in d1
0.637 * [taylor]: Taking taylor expansion of d1 in d1
0.637 * [taylor]: Taking taylor expansion of d1 in d1
0.637 * [taylor]: Taking taylor expansion of 0 in d1
0.637 * [taylor]: Taking taylor expansion of 0 in d1
0.637 * [taylor]: Taking taylor expansion of 0 in d1
0.637 * [approximate]: Taking taylor expansion of (/ (+ 5.0 (/ 1 d3)) d1) in (d3 d1) around 0
0.637 * [taylor]: Taking taylor expansion of (/ (+ 5.0 (/ 1 d3)) d1) in d1
0.637 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d1
0.637 * [taylor]: Taking taylor expansion of 5.0 in d1
0.637 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.637 * [taylor]: Taking taylor expansion of d3 in d1
0.638 * [taylor]: Taking taylor expansion of d1 in d1
0.638 * [taylor]: Taking taylor expansion of (/ (+ 5.0 (/ 1 d3)) d1) in d3
0.638 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d3
0.638 * [taylor]: Taking taylor expansion of 5.0 in d3
0.638 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.638 * [taylor]: Taking taylor expansion of d3 in d3
0.638 * [taylor]: Taking taylor expansion of d1 in d3
0.638 * [taylor]: Taking taylor expansion of (/ (+ 5.0 (/ 1 d3)) d1) in d3
0.638 * [taylor]: Taking taylor expansion of (+ 5.0 (/ 1 d3)) in d3
0.638 * [taylor]: Taking taylor expansion of 5.0 in d3
0.638 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.638 * [taylor]: Taking taylor expansion of d3 in d3
0.638 * [taylor]: Taking taylor expansion of d1 in d3
0.638 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.638 * [taylor]: Taking taylor expansion of d1 in d1
0.638 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d1
0.638 * [taylor]: Taking taylor expansion of 5.0 in d1
0.638 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.638 * [taylor]: Taking taylor expansion of d1 in d1
0.638 * [taylor]: Taking taylor expansion of 0 in d1
0.639 * [taylor]: Taking taylor expansion of 0 in d1
0.639 * [approximate]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- 5.0 (/ 1 d3))) d1) in (d3 d1) around 0
0.639 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- 5.0 (/ 1 d3))) d1) in d1
0.639 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- 5.0 (/ 1 d3))) in d1
0.639 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in d1
0.639 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.639 * [taylor]: Taking taylor expansion of -1 in d1
0.639 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d1
0.639 * [taylor]: Taking taylor expansion of 5.0 in d1
0.639 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.639 * [taylor]: Taking taylor expansion of d3 in d1
0.639 * [taylor]: Taking taylor expansion of d1 in d1
0.640 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- 5.0 (/ 1 d3))) d1) in d3
0.640 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- 5.0 (/ 1 d3))) in d3
0.640 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in d3
0.640 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.640 * [taylor]: Taking taylor expansion of -1 in d3
0.640 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d3
0.640 * [taylor]: Taking taylor expansion of 5.0 in d3
0.640 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.640 * [taylor]: Taking taylor expansion of d3 in d3
0.640 * [taylor]: Taking taylor expansion of d1 in d3
0.640 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- 5.0 (/ 1 d3))) d1) in d3
0.640 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- 5.0 (/ 1 d3))) in d3
0.640 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in d3
0.640 * [taylor]: Taking taylor expansion of (cbrt -1) in d3
0.640 * [taylor]: Taking taylor expansion of -1 in d3
0.641 * [taylor]: Taking taylor expansion of (- 5.0 (/ 1 d3)) in d3
0.641 * [taylor]: Taking taylor expansion of 5.0 in d3
0.641 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.641 * [taylor]: Taking taylor expansion of d3 in d3
0.641 * [taylor]: Taking taylor expansion of d1 in d3
0.641 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.641 * [taylor]: Taking taylor expansion of d1 in d1
0.642 * [taylor]: Taking taylor expansion of (neg (* 5.0 (/ 1 d1))) in d1
0.642 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 d1)) in d1
0.642 * [taylor]: Taking taylor expansion of 5.0 in d1
0.642 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.642 * [taylor]: Taking taylor expansion of d1 in d1
0.642 * [taylor]: Taking taylor expansion of 0 in d1
0.643 * [taylor]: Taking taylor expansion of 0 in d1
0.643 * * * [progress]: simplifying candidates
0.644 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp 2)
  (exp (* 2 (log (cbrt (* (cbrt d1) (cbrt d1))))))
  (exp (* 2 (log (cbrt (cbrt d1)))))
  (exp (* 2 (log (cbrt (sqrt d1)))))
  (exp (* 2 (log (cbrt (sqrt d1)))))
  (exp (* 2 (log (cbrt 1))))
  (exp (* 2 (log (cbrt d1))))
  (exp (* 2 (log (* (cbrt (cbrt d1)) (cbrt (cbrt d1))))))
  (exp (* 2 (log (cbrt (cbrt d1)))))
  (exp (* 2 (log (sqrt (cbrt d1)))))
  (exp (* 2 (log (sqrt (cbrt d1)))))
  (exp (* 2 (log 1)))
  (exp (* 2 (log (cbrt d1))))
  (exp (* (log (cbrt (* (cbrt d1) (cbrt d1)))) 2))
  (exp (* (log (cbrt (cbrt d1))) 2))
  (exp (* (log (cbrt (sqrt d1))) 2))
  (exp (* (log (cbrt (sqrt d1))) 2))
  (exp (* (log (cbrt 1)) 2))
  (exp (* (log (cbrt d1)) 2))
  (exp (* (log (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))) 2))
  (exp (* (log (cbrt (cbrt d1))) 2))
  (exp (* (log (sqrt (cbrt d1))) 2))
  (exp (* (log (sqrt (cbrt d1))) 2))
  (exp (* (log 1) 2))
  (exp (* (log (cbrt d1)) 2))
  (log (exp (* 2 (log (cbrt d1)))))
  (exp (exp (* 2 (log (cbrt d1)))))
  (* (cbrt (exp (* 2 (log (cbrt d1))))) (cbrt (exp (* 2 (log (cbrt d1))))))
  (cbrt (exp (* 2 (log (cbrt d1)))))
  (* (* (exp (* 2 (log (cbrt d1)))) (exp (* 2 (log (cbrt d1))))) (exp (* 2 (log (cbrt d1)))))
  (sqrt (exp (* 2 (log (cbrt d1)))))
  (sqrt (exp (* 2 (log (cbrt d1)))))
  (log (cbrt d1))
  (exp (cbrt d1))
  (cbrt (* (cbrt d1) (cbrt d1)))
  (cbrt (cbrt d1))
  (cbrt (sqrt d1))
  (cbrt (sqrt d1))
  (cbrt 1)
  (cbrt d1)
  (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))
  (cbrt (cbrt d1))
  (* (* (cbrt d1) (cbrt d1)) (cbrt d1))
  (sqrt (cbrt d1))
  (sqrt (cbrt d1))
  (log (cbrt d1))
  (exp (cbrt d1))
  (cbrt (* (cbrt d1) (cbrt d1)))
  (cbrt (cbrt d1))
  (cbrt (sqrt d1))
  (cbrt (sqrt d1))
  (cbrt 1)
  (cbrt d1)
  (* (cbrt (cbrt d1)) (cbrt (cbrt d1)))
  (cbrt (cbrt d1))
  (* (* (cbrt d1) (cbrt d1)) (cbrt d1))
  (sqrt (cbrt d1))
  (sqrt (cbrt d1))
  (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1))
  (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1))
  (+ (+ (log (+ d3 5.0)) (* 2 (log (cbrt d1)))) (log (cbrt d1)))
  (+ (log (* (+ d3 5.0) (exp (* 2 (log (cbrt d1)))))) (log (cbrt d1)))
  (log (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1)))
  (exp (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1)))
  (* (* (* (* (+ d3 5.0) (+ d3 5.0)) (+ d3 5.0)) (* (* (exp (* 2 (log (cbrt d1)))) (exp (* 2 (log (cbrt d1))))) (exp (* 2 (log (cbrt d1)))))) d1)
  (* (* (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (* (+ d3 5.0) (exp (* 2 (log (cbrt d1)))))) (* (+ d3 5.0) (exp (* 2 (log (cbrt d1)))))) d1)
  (* (cbrt (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1))) (cbrt (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1))))
  (cbrt (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1)))
  (* (* (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1)) (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1))) (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1)))
  (sqrt (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1)))
  (sqrt (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1)))
  (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt (* (cbrt d1) (cbrt d1))))
  (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt (sqrt d1)))
  (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt 1))
  (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (* (cbrt (cbrt d1)) (cbrt (cbrt d1))))
  (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (sqrt (cbrt d1)))
  (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) 1)
  (* (exp (* 2 (log (cbrt d1)))) (cbrt d1))
  (* (* (+ (pow d3 3) (pow 5.0 3)) (exp (* 2 (log (cbrt d1))))) (cbrt d1))
  (* (* (- (* d3 d3) (* 5.0 5.0)) (exp (* 2 (log (cbrt d1))))) (cbrt d1))
  (pow (exp (* 1/3 (+ (log 1) (log d1)))) 2)
  (pow (exp (* 1/3 (- (log 1) (log (/ 1 d1))))) 2)
  (* (pow (cbrt -1) 2) (pow (exp (* 1/3 (- (log 1) (log (/ -1 d1))))) 2))
  (exp (* 1/3 (+ (log 1) (log d1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 d1)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 d1))))))
  (exp (* 1/3 (+ (log 1) (log d1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 d1)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 d1))))))
  (+ (* 5.0 d1) (* d1 d3))
  (+ (* 5.0 d1) (* d1 d3))
  (+ (* 5.0 d1) (* d1 d3))
0.649 * * [simplify]: iteration  0 :  310  enodes  (cost  496 )
0.654 * * [simplify]: iteration  1 :  1176  enodes  (cost  362 )
0.677 * * [simplify]: iteration  2 :  5001  enodes  (cost  305 )
0.679 * [simplify]: Simplified to:
   (exp 2)
  (pow (cbrt (* (cbrt d1) (cbrt d1))) 2)
  (pow (cbrt (cbrt d1)) 2)
  (pow (cbrt (sqrt d1)) 2)
  (pow (cbrt (sqrt d1)) 2)
  (pow (cbrt 1) 2)
  (pow (cbrt d1) 2)
  (pow (cbrt (cbrt d1)) 4)
  (pow (cbrt (cbrt d1)) 2)
  (cbrt d1)
  (cbrt d1)
  1
  (pow (cbrt d1) 2)
  (pow (cbrt (* (cbrt d1) (cbrt d1))) 2)
  (pow (cbrt (cbrt d1)) 2)
  (pow (cbrt (sqrt d1)) 2)
  (pow (cbrt (sqrt d1)) 2)
  (pow (cbrt 1) 2)
  (pow (cbrt d1) 2)
  (pow (cbrt (cbrt d1)) 4)
  (pow (cbrt (cbrt d1)) 2)
  (cbrt d1)
  (cbrt d1)
  1
  (pow (cbrt d1) 2)
  (* 2 (log (cbrt d1)))
  (exp (pow (cbrt d1) 2))
  (pow (cbrt (* (cbrt d1) (cbrt d1))) 2)
  (cbrt (* (cbrt d1) (cbrt d1)))
  (* d1 d1)
  (fabs (cbrt d1))
  (fabs (cbrt d1))
  (log (cbrt d1))
  (exp (cbrt d1))
  (cbrt (* (cbrt d1) (cbrt d1)))
  (cbrt (cbrt d1))
  (cbrt (sqrt d1))
  (cbrt (sqrt d1))
  (cbrt 1)
  (cbrt d1)
  (pow (cbrt (cbrt d1)) 2)
  (cbrt (cbrt d1))
  d1
  (sqrt (cbrt d1))
  (sqrt (cbrt d1))
  (log (cbrt d1))
  (exp (cbrt d1))
  (cbrt (* (cbrt d1) (cbrt d1)))
  (cbrt (cbrt d1))
  (cbrt (sqrt d1))
  (cbrt (sqrt d1))
  (cbrt 1)
  (cbrt d1)
  (pow (cbrt (cbrt d1)) 2)
  (cbrt (cbrt d1))
  d1
  (sqrt (cbrt d1))
  (sqrt (cbrt d1))
  (* d1 (+ d3 5.0))
  (* d1 (+ d3 5.0))
  (+ (* 3 (log (cbrt d1))) (log (+ d3 5.0)))
  (+ (* 3 (log (cbrt d1))) (log (+ d3 5.0)))
  (+ (* 3 (log (cbrt d1))) (log (+ d3 5.0)))
  (pow (exp (+ d3 5.0)) (pow (cbrt d1) 3))
  (* (* (* (pow (+ d3 5.0) 3) d1) d1) d1)
  (* (* (* (pow (+ d3 5.0) 3) d1) d1) d1)
  (* (cbrt (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1))) (cbrt (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1))))
  (cbrt (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1)))
  (* (* (* (pow (+ d3 5.0) 3) d1) d1) d1)
  (sqrt (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1)))
  (sqrt (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1)))
  (* (* (+ d3 5.0) (pow (cbrt d1) 2)) (cbrt (* (cbrt d1) (cbrt d1))))
  (* (* (+ d3 5.0) (pow (cbrt d1) 2)) (cbrt (sqrt d1)))
  (* (* (+ d3 5.0) (pow (cbrt d1) 2)) (cbrt 1))
  (* (* (+ d3 5.0) (pow (cbrt d1) 2)) (pow (cbrt (cbrt d1)) 2))
  (* (* (+ d3 5.0) (pow (cbrt d1) 2)) (sqrt (cbrt d1)))
  (* (pow (cbrt d1) 2) (+ d3 5.0))
  d1
  (+ (* d1 (pow 5.0 3)) (* d1 (pow d3 3)))
  (* (* d1 (+ d3 5.0)) (- d3 5.0))
  (pow (cbrt d1) 2)
  (pow (cbrt d1) 2)
  (* (pow (cbrt -1) 2) (pow (exp (* 1/3 (- (log 1) (log (/ -1 d1))))) 2))
  (cbrt d1)
  (cbrt d1)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 d1))))))
  (cbrt d1)
  (cbrt d1)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 d1))))))
  (* d1 (+ d3 5.0))
  (* d1 (+ d3 5.0))
  (* d1 (+ d3 5.0))
0.680 * * * [progress]: adding candidates to table
0.764 * [progress]: [Phase 3 of 3] Extracting.
0.764 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1))) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5.0) (* (cbrt d1) (cbrt d1))) (cbrt d1))) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))>)
0.765 * * * [regime-changes]: Trying 5 branch expressions: ((+ d3 5.0) (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)) d3 d2 d1)
0.765 * * * * [regimes]: Trying to branch on (+ d3 5.0) from (#<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1))) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5.0) (* (cbrt d1) (cbrt d1))) (cbrt d1))) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))>)
0.809 * * * * [regimes]: Trying to branch on (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)) from (#<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1))) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5.0) (* (cbrt d1) (cbrt d1))) (cbrt d1))) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))>)
0.857 * * * * [regimes]: Trying to branch on d3 from (#<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1))) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5.0) (* (cbrt d1) (cbrt d1))) (cbrt d1))) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))>)
0.903 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1))) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5.0) (* (cbrt d1) (cbrt d1))) (cbrt d1))) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))>)
0.949 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5.0) (exp (* 2 (log (cbrt d1))))) (cbrt d1))) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (* (+ d3 5.0) (* (cbrt d1) (cbrt d1))) (cbrt d1))) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0)))> #<alt (λ (d1 d2 d3) (* d1 (+ d2 (+ (+ d3 5.0) 32.0))))>)
0.995 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
0.995 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))
0.996 * * [simplify]: iteration  0 :  13  enodes  (cost  4 )
0.996 * * [simplify]: iteration  1 :  13  enodes  (cost  4 )
0.996 * [simplify]: Simplified to:
   (* d1 (+ d2 (+ (+ d3 5.0) 32.0)))
2.144 * [regime-testing]: End program error score: 0.021377672209026127
2.218 * [regime-testing]: Target error score: 0.021377672209026127