13.939 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.081 * * * [progress]: [2/2] Setting up program.
0.083 * [progress]: [Phase 2 of 3] Improving.
0.083 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))
0.086 * * [simplify]: iteration  0 :  42  enodes  (cost  7 )
0.086 * * [simplify]: iteration  1 :  42  enodes  (cost  7 )
0.086 * [simplify]: Simplified to:
   (* d1 (+ 10.0 (+ d2 20.0)))
0.090 * * [progress]: iteration 1 / 4
0.090 * * * [progress]: picking best candidate
0.094 * * * * [pick]: Picked  #<alt (λ (d1 d2) (* d1 (+ 10.0 (+ d2 20.0))))>
0.094 * * * [progress]: localizing error
0.099 * * * [progress]: generating rewritten candidates
0.099 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.107 * * * [progress]: generating series expansions
0.107 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.107 * [approximate]: Taking taylor expansion of (* d1 (+ d2 30.0)) in (d1 d2) around 0
0.107 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d2
0.107 * [taylor]: Taking taylor expansion of d1 in d2
0.107 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.107 * [taylor]: Taking taylor expansion of d2 in d2
0.107 * [taylor]: Taking taylor expansion of 30.0 in d2
0.107 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d1
0.107 * [taylor]: Taking taylor expansion of d1 in d1
0.107 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1
0.107 * [taylor]: Taking taylor expansion of d2 in d1
0.107 * [taylor]: Taking taylor expansion of 30.0 in d1
0.107 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d1
0.107 * [taylor]: Taking taylor expansion of d1 in d1
0.107 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1
0.107 * [taylor]: Taking taylor expansion of d2 in d1
0.107 * [taylor]: Taking taylor expansion of 30.0 in d1
0.107 * [taylor]: Taking taylor expansion of 0 in d2
0.107 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.107 * [taylor]: Taking taylor expansion of d2 in d2
0.107 * [taylor]: Taking taylor expansion of 30.0 in d2
0.108 * [taylor]: Taking taylor expansion of 0 in d2
0.108 * [taylor]: Taking taylor expansion of 0 in d2
0.108 * [taylor]: Taking taylor expansion of 0 in d2
0.108 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in (d1 d2) around 0
0.108 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d2
0.108 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.108 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.108 * [taylor]: Taking taylor expansion of d2 in d2
0.108 * [taylor]: Taking taylor expansion of 30.0 in d2
0.108 * [taylor]: Taking taylor expansion of d1 in d2
0.108 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d1
0.108 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1
0.108 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.108 * [taylor]: Taking taylor expansion of d2 in d1
0.108 * [taylor]: Taking taylor expansion of 30.0 in d1
0.108 * [taylor]: Taking taylor expansion of d1 in d1
0.108 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d1
0.108 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1
0.108 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.108 * [taylor]: Taking taylor expansion of d2 in d1
0.108 * [taylor]: Taking taylor expansion of 30.0 in d1
0.109 * [taylor]: Taking taylor expansion of d1 in d1
0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.109 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.109 * [taylor]: Taking taylor expansion of d2 in d2
0.109 * [taylor]: Taking taylor expansion of 30.0 in d2
0.109 * [taylor]: Taking taylor expansion of 0 in d2
0.109 * [taylor]: Taking taylor expansion of 0 in d2
0.109 * [taylor]: Taking taylor expansion of 0 in d2
0.110 * [taylor]: Taking taylor expansion of 0 in d2
0.110 * [approximate]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in (d1 d2) around 0
0.110 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d2
0.110 * [taylor]: Taking taylor expansion of -1 in d2
0.110 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d2
0.110 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
0.110 * [taylor]: Taking taylor expansion of 30.0 in d2
0.110 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.110 * [taylor]: Taking taylor expansion of d2 in d2
0.110 * [taylor]: Taking taylor expansion of d1 in d2
0.110 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d1
0.110 * [taylor]: Taking taylor expansion of -1 in d1
0.110 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d1
0.110 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1
0.110 * [taylor]: Taking taylor expansion of 30.0 in d1
0.110 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.110 * [taylor]: Taking taylor expansion of d2 in d1
0.110 * [taylor]: Taking taylor expansion of d1 in d1
0.110 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d1
0.110 * [taylor]: Taking taylor expansion of -1 in d1
0.110 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d1
0.110 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1
0.110 * [taylor]: Taking taylor expansion of 30.0 in d1
0.110 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.110 * [taylor]: Taking taylor expansion of d2 in d1
0.110 * [taylor]: Taking taylor expansion of d1 in d1
0.111 * [taylor]: Taking taylor expansion of (* -1 (- 30.0 (/ 1 d2))) in d2
0.111 * [taylor]: Taking taylor expansion of -1 in d2
0.111 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
0.111 * [taylor]: Taking taylor expansion of 30.0 in d2
0.111 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.111 * [taylor]: Taking taylor expansion of d2 in d2
0.111 * [taylor]: Taking taylor expansion of 0 in d2
0.111 * [taylor]: Taking taylor expansion of 0 in d2
0.112 * [taylor]: Taking taylor expansion of 0 in d2
0.112 * [taylor]: Taking taylor expansion of 0 in d2
0.112 * * * [progress]: simplifying candidates
0.113 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* d1 (+ 10.0 (+ d2 20.0)))
  (+ (log d1) (log (+ 10.0 (+ d2 20.0))))
  (log (* d1 (+ 10.0 (+ d2 20.0))))
  (exp (* d1 (+ 10.0 (+ d2 20.0))))
  (* (* (* d1 d1) d1) (* (* (+ 10.0 (+ d2 20.0)) (+ 10.0 (+ d2 20.0))) (+ 10.0 (+ d2 20.0))))
  (* (cbrt (* d1 (+ 10.0 (+ d2 20.0)))) (cbrt (* d1 (+ 10.0 (+ d2 20.0)))))
  (cbrt (* d1 (+ 10.0 (+ d2 20.0))))
  (* (* (* d1 (+ 10.0 (+ d2 20.0))) (* d1 (+ 10.0 (+ d2 20.0)))) (* d1 (+ 10.0 (+ d2 20.0))))
  (sqrt (* d1 (+ 10.0 (+ d2 20.0))))
  (sqrt (* d1 (+ 10.0 (+ d2 20.0))))
  (* (sqrt d1) (sqrt (+ 10.0 (+ d2 20.0))))
  (* (sqrt d1) (sqrt (+ 10.0 (+ d2 20.0))))
  (* d1 10.0)
  (* d1 (+ d2 20.0))
  (* 10.0 d1)
  (* (+ d2 20.0) d1)
  (* d1 (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0)))))
  (* d1 (sqrt (+ 10.0 (+ d2 20.0))))
  (* d1 1)
  (* d1 1)
  (* d1 1)
  (* (cbrt d1) (+ 10.0 (+ d2 20.0)))
  (* (sqrt d1) (+ 10.0 (+ d2 20.0)))
  (* d1 (+ 10.0 (+ d2 20.0)))
  (* d1 (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))
  (* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))
  (+ (* 30.0 d1) (* d1 d2))
  (+ (* 30.0 d1) (* d1 d2))
  (+ (* 30.0 d1) (* d1 d2))
0.158 * * [simplify]: iteration  0 :  5342  enodes  (cost  212 )
0.159 * [simplify]: Simplified to:
   (* d1 (+ 10.0 (+ d2 20.0)))
  (log (* d1 (+ 10.0 (+ d2 20.0))))
  (log (* d1 (+ 10.0 (+ d2 20.0))))
  (pow (exp d1) (+ 10.0 (+ d2 20.0)))
  (pow (* d1 (+ 10.0 (+ d2 20.0))) 3)
  (* (cbrt (* d1 (+ 10.0 (+ d2 20.0)))) (cbrt (* d1 (+ 10.0 (+ d2 20.0)))))
  (cbrt (* d1 (+ 10.0 (+ d2 20.0))))
  (pow (* d1 (+ 10.0 (+ d2 20.0))) 3)
  (sqrt (* d1 (+ 10.0 (+ d2 20.0))))
  (sqrt (* d1 (+ 10.0 (+ d2 20.0))))
  (* (sqrt d1) (sqrt (+ 10.0 (+ d2 20.0))))
  (* (sqrt d1) (sqrt (+ 10.0 (+ d2 20.0))))
  (* d1 10.0)
  (* d1 (+ d2 20.0))
  (* d1 10.0)
  (* d1 (+ d2 20.0))
  (* d1 (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0)))))
  (* d1 (sqrt (+ 10.0 (+ d2 20.0))))
  d1
  d1
  d1
  (* (+ 10.0 (+ d2 20.0)) (cbrt d1))
  (* (+ 10.0 (+ d2 20.0)) (sqrt d1))
  (* d1 (+ 10.0 (+ d2 20.0)))
  (* d1 (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))
  (* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))
  (* d1 (+ d2 30.0))
  (* d1 (+ d2 30.0))
  (* d1 (+ d2 30.0))
0.159 * * * [progress]: adding candidates to table
0.190 * * [progress]: iteration 2 / 4
0.190 * * * [progress]: picking best candidate
0.198 * * * * [pick]: Picked  #<alt (λ (d1 d2) (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)))>
0.198 * * * [progress]: localizing error
0.205 * * * [progress]: generating rewritten candidates
0.205 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.211 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.215 * * * [progress]: generating series expansions
0.215 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.215 * [approximate]: Taking taylor expansion of (+ (* 30.0 d1) (* d1 d2)) in (d1 d2) around 0
0.215 * [taylor]: Taking taylor expansion of (+ (* 30.0 d1) (* d1 d2)) in d2
0.216 * [taylor]: Taking taylor expansion of (* 30.0 d1) in d2
0.216 * [taylor]: Taking taylor expansion of 30.0 in d2
0.216 * [taylor]: Taking taylor expansion of d1 in d2
0.216 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.216 * [taylor]: Taking taylor expansion of d1 in d2
0.216 * [taylor]: Taking taylor expansion of d2 in d2
0.216 * [taylor]: Taking taylor expansion of (+ (* 30.0 d1) (* d1 d2)) in d1
0.216 * [taylor]: Taking taylor expansion of (* 30.0 d1) in d1
0.216 * [taylor]: Taking taylor expansion of 30.0 in d1
0.216 * [taylor]: Taking taylor expansion of d1 in d1
0.216 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.216 * [taylor]: Taking taylor expansion of d1 in d1
0.216 * [taylor]: Taking taylor expansion of d2 in d1
0.216 * [taylor]: Taking taylor expansion of (+ (* 30.0 d1) (* d1 d2)) in d1
0.216 * [taylor]: Taking taylor expansion of (* 30.0 d1) in d1
0.216 * [taylor]: Taking taylor expansion of 30.0 in d1
0.216 * [taylor]: Taking taylor expansion of d1 in d1
0.216 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.216 * [taylor]: Taking taylor expansion of d1 in d1
0.216 * [taylor]: Taking taylor expansion of d2 in d1
0.216 * [taylor]: Taking taylor expansion of 0 in d2
0.216 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.216 * [taylor]: Taking taylor expansion of d2 in d2
0.216 * [taylor]: Taking taylor expansion of 30.0 in d2
0.216 * [taylor]: Taking taylor expansion of 0 in d2
0.216 * [taylor]: Taking taylor expansion of 0 in d2
0.216 * [taylor]: Taking taylor expansion of 0 in d2
0.217 * [approximate]: Taking taylor expansion of (+ (* 30.0 (/ 1 d1)) (/ 1 (* d1 d2))) in (d1 d2) around 0
0.217 * [taylor]: Taking taylor expansion of (+ (* 30.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d2
0.217 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d2
0.217 * [taylor]: Taking taylor expansion of 30.0 in d2
0.217 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.217 * [taylor]: Taking taylor expansion of d1 in d2
0.217 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.217 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.217 * [taylor]: Taking taylor expansion of d1 in d2
0.217 * [taylor]: Taking taylor expansion of d2 in d2
0.217 * [taylor]: Taking taylor expansion of (+ (* 30.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d1
0.217 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d1
0.217 * [taylor]: Taking taylor expansion of 30.0 in d1
0.217 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.217 * [taylor]: Taking taylor expansion of d1 in d1
0.217 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.217 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.217 * [taylor]: Taking taylor expansion of d1 in d1
0.217 * [taylor]: Taking taylor expansion of d2 in d1
0.217 * [taylor]: Taking taylor expansion of (+ (* 30.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d1
0.217 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d1
0.217 * [taylor]: Taking taylor expansion of 30.0 in d1
0.217 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.217 * [taylor]: Taking taylor expansion of d1 in d1
0.217 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.217 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.217 * [taylor]: Taking taylor expansion of d1 in d1
0.217 * [taylor]: Taking taylor expansion of d2 in d1
0.217 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.217 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.218 * [taylor]: Taking taylor expansion of d2 in d2
0.218 * [taylor]: Taking taylor expansion of 30.0 in d2
0.218 * [taylor]: Taking taylor expansion of 0 in d2
0.219 * [taylor]: Taking taylor expansion of 0 in d2
0.219 * [taylor]: Taking taylor expansion of 0 in d2
0.219 * [taylor]: Taking taylor expansion of 0 in d2
0.220 * [approximate]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 30.0 (/ 1 d1))) in (d1 d2) around 0
0.220 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 30.0 (/ 1 d1))) in d2
0.220 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.220 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.220 * [taylor]: Taking taylor expansion of d1 in d2
0.220 * [taylor]: Taking taylor expansion of d2 in d2
0.220 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d2
0.220 * [taylor]: Taking taylor expansion of 30.0 in d2
0.220 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.220 * [taylor]: Taking taylor expansion of d1 in d2
0.220 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 30.0 (/ 1 d1))) in d1
0.220 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.220 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.220 * [taylor]: Taking taylor expansion of d1 in d1
0.220 * [taylor]: Taking taylor expansion of d2 in d1
0.220 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d1
0.220 * [taylor]: Taking taylor expansion of 30.0 in d1
0.220 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.220 * [taylor]: Taking taylor expansion of d1 in d1
0.220 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 30.0 (/ 1 d1))) in d1
0.220 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.220 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.220 * [taylor]: Taking taylor expansion of d1 in d1
0.220 * [taylor]: Taking taylor expansion of d2 in d1
0.220 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d1
0.220 * [taylor]: Taking taylor expansion of 30.0 in d1
0.220 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.220 * [taylor]: Taking taylor expansion of d1 in d1
0.221 * [taylor]: Taking taylor expansion of (- (/ 1 d2) 30.0) in d2
0.221 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.221 * [taylor]: Taking taylor expansion of d2 in d2
0.221 * [taylor]: Taking taylor expansion of 30.0 in d2
0.221 * [taylor]: Taking taylor expansion of 0 in d2
0.221 * [taylor]: Taking taylor expansion of 0 in d2
0.221 * [taylor]: Taking taylor expansion of 0 in d2
0.222 * [taylor]: Taking taylor expansion of 0 in d2
0.222 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.222 * [approximate]: Taking taylor expansion of (+ (* 10.0 d1) (* d1 d2)) in (d1 d2) around 0
0.222 * [taylor]: Taking taylor expansion of (+ (* 10.0 d1) (* d1 d2)) in d2
0.222 * [taylor]: Taking taylor expansion of (* 10.0 d1) in d2
0.222 * [taylor]: Taking taylor expansion of 10.0 in d2
0.222 * [taylor]: Taking taylor expansion of d1 in d2
0.222 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.222 * [taylor]: Taking taylor expansion of d1 in d2
0.222 * [taylor]: Taking taylor expansion of d2 in d2
0.222 * [taylor]: Taking taylor expansion of (+ (* 10.0 d1) (* d1 d2)) in d1
0.222 * [taylor]: Taking taylor expansion of (* 10.0 d1) in d1
0.222 * [taylor]: Taking taylor expansion of 10.0 in d1
0.222 * [taylor]: Taking taylor expansion of d1 in d1
0.222 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.222 * [taylor]: Taking taylor expansion of d1 in d1
0.222 * [taylor]: Taking taylor expansion of d2 in d1
0.222 * [taylor]: Taking taylor expansion of (+ (* 10.0 d1) (* d1 d2)) in d1
0.222 * [taylor]: Taking taylor expansion of (* 10.0 d1) in d1
0.222 * [taylor]: Taking taylor expansion of 10.0 in d1
0.222 * [taylor]: Taking taylor expansion of d1 in d1
0.222 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.222 * [taylor]: Taking taylor expansion of d1 in d1
0.222 * [taylor]: Taking taylor expansion of d2 in d1
0.222 * [taylor]: Taking taylor expansion of 0 in d2
0.222 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d2
0.222 * [taylor]: Taking taylor expansion of d2 in d2
0.222 * [taylor]: Taking taylor expansion of 10.0 in d2
0.223 * [taylor]: Taking taylor expansion of 0 in d2
0.223 * [taylor]: Taking taylor expansion of 0 in d2
0.223 * [taylor]: Taking taylor expansion of 0 in d2
0.223 * [approximate]: Taking taylor expansion of (+ (* 10.0 (/ 1 d1)) (/ 1 (* d1 d2))) in (d1 d2) around 0
0.223 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d2
0.223 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 d1)) in d2
0.223 * [taylor]: Taking taylor expansion of 10.0 in d2
0.223 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.223 * [taylor]: Taking taylor expansion of d1 in d2
0.223 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.223 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.223 * [taylor]: Taking taylor expansion of d1 in d2
0.223 * [taylor]: Taking taylor expansion of d2 in d2
0.223 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d1
0.223 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 d1)) in d1
0.223 * [taylor]: Taking taylor expansion of 10.0 in d1
0.223 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.223 * [taylor]: Taking taylor expansion of d1 in d1
0.223 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.223 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.223 * [taylor]: Taking taylor expansion of d1 in d1
0.223 * [taylor]: Taking taylor expansion of d2 in d1
0.224 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d1
0.224 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 d1)) in d1
0.224 * [taylor]: Taking taylor expansion of 10.0 in d1
0.224 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.224 * [taylor]: Taking taylor expansion of d1 in d1
0.224 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.224 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.224 * [taylor]: Taking taylor expansion of d1 in d1
0.224 * [taylor]: Taking taylor expansion of d2 in d1
0.224 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d2
0.224 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.224 * [taylor]: Taking taylor expansion of d2 in d2
0.224 * [taylor]: Taking taylor expansion of 10.0 in d2
0.224 * [taylor]: Taking taylor expansion of 0 in d2
0.224 * [taylor]: Taking taylor expansion of 0 in d2
0.225 * [taylor]: Taking taylor expansion of 0 in d2
0.225 * [taylor]: Taking taylor expansion of 0 in d2
0.225 * [approximate]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 10.0 (/ 1 d1))) in (d1 d2) around 0
0.225 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 10.0 (/ 1 d1))) in d2
0.225 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.225 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.225 * [taylor]: Taking taylor expansion of d1 in d2
0.225 * [taylor]: Taking taylor expansion of d2 in d2
0.225 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 d1)) in d2
0.225 * [taylor]: Taking taylor expansion of 10.0 in d2
0.225 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.225 * [taylor]: Taking taylor expansion of d1 in d2
0.225 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 10.0 (/ 1 d1))) in d1
0.225 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.225 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.225 * [taylor]: Taking taylor expansion of d1 in d1
0.225 * [taylor]: Taking taylor expansion of d2 in d1
0.225 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 d1)) in d1
0.226 * [taylor]: Taking taylor expansion of 10.0 in d1
0.226 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.226 * [taylor]: Taking taylor expansion of d1 in d1
0.226 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 10.0 (/ 1 d1))) in d1
0.226 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.226 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.226 * [taylor]: Taking taylor expansion of d1 in d1
0.226 * [taylor]: Taking taylor expansion of d2 in d1
0.226 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 d1)) in d1
0.226 * [taylor]: Taking taylor expansion of 10.0 in d1
0.226 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.226 * [taylor]: Taking taylor expansion of d1 in d1
0.226 * [taylor]: Taking taylor expansion of (- (/ 1 d2) 10.0) in d2
0.226 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.226 * [taylor]: Taking taylor expansion of d2 in d2
0.226 * [taylor]: Taking taylor expansion of 10.0 in d2
0.226 * [taylor]: Taking taylor expansion of 0 in d2
0.226 * [taylor]: Taking taylor expansion of 0 in d2
0.227 * [taylor]: Taking taylor expansion of 0 in d2
0.227 * [taylor]: Taking taylor expansion of 0 in d2
0.227 * * * [progress]: simplifying candidates
0.228 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (exp (* d1 10.0)) (exp (* d1 d2))) (exp (* d1 20.0)))
  (* (exp (+ (* d1 10.0) (* d1 d2))) (exp (* d1 20.0)))
  (log (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)))
  (exp (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)))
  (* (cbrt (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))) (cbrt (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))))
  (cbrt (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)))
  (* (* (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)) (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))) (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)))
  (sqrt (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)))
  (sqrt (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)))
  (+ (pow (+ (* d1 10.0) (* d1 d2)) 3) (pow (* d1 20.0) 3))
  (+ (* (+ (* d1 10.0) (* d1 d2)) (+ (* d1 10.0) (* d1 d2))) (- (* (* d1 20.0) (* d1 20.0)) (* (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))))
  (- (* (+ (* d1 10.0) (* d1 d2)) (+ (* d1 10.0) (* d1 d2))) (* (* d1 20.0) (* d1 20.0)))
  (- (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))
  (+ (+ 10.0 d2) 20.0)
  (+ (* d1 d2) (* d1 20.0))
  (* (exp (* d1 10.0)) (exp (* d1 d2)))
  (log (+ (* d1 10.0) (* d1 d2)))
  (exp (+ (* d1 10.0) (* d1 d2)))
  (* (cbrt (+ (* d1 10.0) (* d1 d2))) (cbrt (+ (* d1 10.0) (* d1 d2))))
  (cbrt (+ (* d1 10.0) (* d1 d2)))
  (* (* (+ (* d1 10.0) (* d1 d2)) (+ (* d1 10.0) (* d1 d2))) (+ (* d1 10.0) (* d1 d2)))
  (sqrt (+ (* d1 10.0) (* d1 d2)))
  (sqrt (+ (* d1 10.0) (* d1 d2)))
  (+ (pow (* d1 10.0) 3) (pow (* d1 d2) 3))
  (+ (* (* d1 10.0) (* d1 10.0)) (- (* (* d1 d2) (* d1 d2)) (* (* d1 10.0) (* d1 d2))))
  (- (* (* d1 10.0) (* d1 10.0)) (* (* d1 d2) (* d1 d2)))
  (- (* d1 10.0) (* d1 d2))
  (+ 10.0 d2)
  (+ (* 30.0 d1) (* d1 d2))
  (+ (* 30.0 d1) (* d1 d2))
  (+ (* 30.0 d1) (* d1 d2))
  (+ (* 10.0 d1) (* d1 d2))
  (+ (* 10.0 d1) (* d1 d2))
  (+ (* 10.0 d1) (* d1 d2))
0.268 * * [simplify]: iteration  0 :  5022  enodes  (cost  277 )
0.269 * [simplify]: Simplified to:
   (pow (exp d1) (+ 10.0 (+ d2 20.0)))
  (pow (exp d1) (+ 10.0 (+ d2 20.0)))
  (log (* d1 (+ 10.0 (+ d2 20.0))))
  (pow (exp d1) (+ 10.0 (+ d2 20.0)))
  (* (cbrt (* d1 (+ 10.0 (+ d2 20.0)))) (cbrt (* d1 (+ 10.0 (+ d2 20.0)))))
  (cbrt (* d1 (+ 10.0 (+ d2 20.0))))
  (pow (* d1 (+ 10.0 (+ d2 20.0))) 3)
  (sqrt (* d1 (+ 10.0 (+ d2 20.0))))
  (sqrt (* d1 (+ 10.0 (+ d2 20.0))))
  (+ (pow (* d1 (+ 10.0 d2)) 3) (pow (* d1 20.0) 3))
  (* d1 (- (* d1 (* 20.0 20.0)) (* (* d1 (+ 10.0 d2)) (- 20.0 (+ 10.0 d2)))))
  (* d1 (* d1 (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))))
  (* d1 (+ 10.0 (- d2 20.0)))
  (+ 10.0 (+ d2 20.0))
  (* d1 (+ d2 20.0))
  (pow (exp d1) (+ 10.0 d2))
  (log (* d1 (+ 10.0 d2)))
  (pow (exp d1) (+ 10.0 d2))
  (* (cbrt (* d1 (+ 10.0 d2))) (cbrt (* d1 (+ 10.0 d2))))
  (cbrt (* d1 (+ 10.0 d2)))
  (pow (* d1 (+ 10.0 d2)) 3)
  (sqrt (* d1 (+ 10.0 d2)))
  (sqrt (* d1 (+ 10.0 d2)))
  (+ (pow (* d1 10.0) 3) (pow (* d1 d2) 3))
  (* d1 (+ (* d1 (* 10.0 10.0)) (* d1 (* d2 (- d2 10.0)))))
  (* d1 (* d1 (- (* 10.0 10.0) (* d2 d2))))
  (* d1 (- 10.0 d2))
  (+ 10.0 d2)
  (* d1 (+ d2 30.0))
  (* d1 (+ d2 30.0))
  (* d1 (+ d2 30.0))
  (* d1 (+ 10.0 d2))
  (* d1 (+ 10.0 d2))
  (* d1 (+ 10.0 d2))
0.270 * * * [progress]: adding candidates to table
0.304 * * [progress]: iteration 3 / 4
0.304 * * * [progress]: picking best candidate
0.310 * * * * [pick]: Picked  #<alt (λ (d1 d2) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))))>
0.310 * * * [progress]: localizing error
0.317 * * * [progress]: generating rewritten candidates
0.317 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.331 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.342 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.346 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.354 * * * [progress]: generating series expansions
0.354 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.354 * [approximate]: Taking taylor expansion of (* d1 (+ d2 30.0)) in (d1 d2) around 0
0.354 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d2
0.354 * [taylor]: Taking taylor expansion of d1 in d2
0.354 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.354 * [taylor]: Taking taylor expansion of d2 in d2
0.354 * [taylor]: Taking taylor expansion of 30.0 in d2
0.354 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d1
0.354 * [taylor]: Taking taylor expansion of d1 in d1
0.354 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1
0.354 * [taylor]: Taking taylor expansion of d2 in d1
0.354 * [taylor]: Taking taylor expansion of 30.0 in d1
0.354 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d1
0.354 * [taylor]: Taking taylor expansion of d1 in d1
0.354 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1
0.354 * [taylor]: Taking taylor expansion of d2 in d1
0.354 * [taylor]: Taking taylor expansion of 30.0 in d1
0.355 * [taylor]: Taking taylor expansion of 0 in d2
0.355 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.355 * [taylor]: Taking taylor expansion of d2 in d2
0.355 * [taylor]: Taking taylor expansion of 30.0 in d2
0.355 * [taylor]: Taking taylor expansion of 0 in d2
0.355 * [taylor]: Taking taylor expansion of 0 in d2
0.355 * [taylor]: Taking taylor expansion of 0 in d2
0.355 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in (d1 d2) around 0
0.355 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d2
0.355 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.355 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.355 * [taylor]: Taking taylor expansion of d2 in d2
0.355 * [taylor]: Taking taylor expansion of 30.0 in d2
0.355 * [taylor]: Taking taylor expansion of d1 in d2
0.355 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d1
0.355 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1
0.355 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.355 * [taylor]: Taking taylor expansion of d2 in d1
0.356 * [taylor]: Taking taylor expansion of 30.0 in d1
0.356 * [taylor]: Taking taylor expansion of d1 in d1
0.356 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d1
0.356 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1
0.356 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.356 * [taylor]: Taking taylor expansion of d2 in d1
0.356 * [taylor]: Taking taylor expansion of 30.0 in d1
0.356 * [taylor]: Taking taylor expansion of d1 in d1
0.356 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.356 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.356 * [taylor]: Taking taylor expansion of d2 in d2
0.356 * [taylor]: Taking taylor expansion of 30.0 in d2
0.356 * [taylor]: Taking taylor expansion of 0 in d2
0.356 * [taylor]: Taking taylor expansion of 0 in d2
0.356 * [taylor]: Taking taylor expansion of 0 in d2
0.357 * [taylor]: Taking taylor expansion of 0 in d2
0.357 * [approximate]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in (d1 d2) around 0
0.357 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d2
0.357 * [taylor]: Taking taylor expansion of -1 in d2
0.357 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d2
0.357 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
0.357 * [taylor]: Taking taylor expansion of 30.0 in d2
0.357 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.357 * [taylor]: Taking taylor expansion of d2 in d2
0.357 * [taylor]: Taking taylor expansion of d1 in d2
0.357 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d1
0.357 * [taylor]: Taking taylor expansion of -1 in d1
0.357 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d1
0.357 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1
0.357 * [taylor]: Taking taylor expansion of 30.0 in d1
0.357 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.357 * [taylor]: Taking taylor expansion of d2 in d1
0.357 * [taylor]: Taking taylor expansion of d1 in d1
0.358 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d1
0.358 * [taylor]: Taking taylor expansion of -1 in d1
0.358 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d1
0.358 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1
0.358 * [taylor]: Taking taylor expansion of 30.0 in d1
0.358 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.358 * [taylor]: Taking taylor expansion of d2 in d1
0.358 * [taylor]: Taking taylor expansion of d1 in d1
0.358 * [taylor]: Taking taylor expansion of (* -1 (- 30.0 (/ 1 d2))) in d2
0.358 * [taylor]: Taking taylor expansion of -1 in d2
0.358 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
0.358 * [taylor]: Taking taylor expansion of 30.0 in d2
0.358 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.358 * [taylor]: Taking taylor expansion of d2 in d2
0.358 * [taylor]: Taking taylor expansion of 0 in d2
0.358 * [taylor]: Taking taylor expansion of 0 in d2
0.359 * [taylor]: Taking taylor expansion of 0 in d2
0.359 * [taylor]: Taking taylor expansion of 0 in d2
0.359 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.359 * [approximate]: Taking taylor expansion of (* d1 (sqrt (+ d2 30.0))) in (d1 d2) around 0
0.359 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d2 30.0))) in d2
0.359 * [taylor]: Taking taylor expansion of d1 in d2
0.359 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d2
0.359 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.360 * [taylor]: Taking taylor expansion of d2 in d2
0.360 * [taylor]: Taking taylor expansion of 30.0 in d2
0.360 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d2 30.0))) in d1
0.360 * [taylor]: Taking taylor expansion of d1 in d1
0.360 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d1
0.360 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1
0.360 * [taylor]: Taking taylor expansion of d2 in d1
0.360 * [taylor]: Taking taylor expansion of 30.0 in d1
0.360 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d2 30.0))) in d1
0.360 * [taylor]: Taking taylor expansion of d1 in d1
0.360 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d1
0.360 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1
0.360 * [taylor]: Taking taylor expansion of d2 in d1
0.360 * [taylor]: Taking taylor expansion of 30.0 in d1
0.360 * [taylor]: Taking taylor expansion of 0 in d2
0.360 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d2
0.360 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.360 * [taylor]: Taking taylor expansion of d2 in d2
0.360 * [taylor]: Taking taylor expansion of 30.0 in d2
0.360 * [taylor]: Taking taylor expansion of 0 in d2
0.361 * [taylor]: Taking taylor expansion of 0 in d2
0.361 * [approximate]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ (/ 1 d2) 30.0))) in (d1 d2) around 0
0.361 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ (/ 1 d2) 30.0))) in d2
0.361 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.361 * [taylor]: Taking taylor expansion of d1 in d2
0.361 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d2
0.361 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.361 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.361 * [taylor]: Taking taylor expansion of d2 in d2
0.361 * [taylor]: Taking taylor expansion of 30.0 in d2
0.361 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ (/ 1 d2) 30.0))) in d1
0.361 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.361 * [taylor]: Taking taylor expansion of d1 in d1
0.361 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d1
0.361 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1
0.362 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.362 * [taylor]: Taking taylor expansion of d2 in d1
0.362 * [taylor]: Taking taylor expansion of 30.0 in d1
0.362 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ (/ 1 d2) 30.0))) in d1
0.362 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.362 * [taylor]: Taking taylor expansion of d1 in d1
0.362 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d1
0.362 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1
0.362 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.362 * [taylor]: Taking taylor expansion of d2 in d1
0.362 * [taylor]: Taking taylor expansion of 30.0 in d1
0.362 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d2
0.362 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.362 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.362 * [taylor]: Taking taylor expansion of d2 in d2
0.362 * [taylor]: Taking taylor expansion of 30.0 in d2
0.362 * [taylor]: Taking taylor expansion of 0 in d2
0.363 * [taylor]: Taking taylor expansion of 0 in d2
0.363 * [taylor]: Taking taylor expansion of 0 in d2
0.364 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 30.0 (/ 1 d2))))) in (d1 d2) around 0
0.364 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 30.0 (/ 1 d2))))) in d2
0.364 * [taylor]: Taking taylor expansion of -1 in d2
0.364 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (- 30.0 (/ 1 d2)))) in d2
0.364 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.364 * [taylor]: Taking taylor expansion of d1 in d2
0.364 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d2
0.364 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
0.364 * [taylor]: Taking taylor expansion of 30.0 in d2
0.364 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.364 * [taylor]: Taking taylor expansion of d2 in d2
0.364 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 30.0 (/ 1 d2))))) in d1
0.364 * [taylor]: Taking taylor expansion of -1 in d1
0.364 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (- 30.0 (/ 1 d2)))) in d1
0.364 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.364 * [taylor]: Taking taylor expansion of d1 in d1
0.364 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d1
0.365 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1
0.365 * [taylor]: Taking taylor expansion of 30.0 in d1
0.365 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.365 * [taylor]: Taking taylor expansion of d2 in d1
0.365 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 30.0 (/ 1 d2))))) in d1
0.365 * [taylor]: Taking taylor expansion of -1 in d1
0.365 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (- 30.0 (/ 1 d2)))) in d1
0.365 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.365 * [taylor]: Taking taylor expansion of d1 in d1
0.365 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d1
0.365 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1
0.365 * [taylor]: Taking taylor expansion of 30.0 in d1
0.365 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.365 * [taylor]: Taking taylor expansion of d2 in d1
0.365 * [taylor]: Taking taylor expansion of (* -1 (sqrt (- 30.0 (/ 1 d2)))) in d2
0.365 * [taylor]: Taking taylor expansion of -1 in d2
0.365 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d2
0.365 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
0.365 * [taylor]: Taking taylor expansion of 30.0 in d2
0.365 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.365 * [taylor]: Taking taylor expansion of d2 in d2
0.366 * [taylor]: Taking taylor expansion of 0 in d2
0.366 * [taylor]: Taking taylor expansion of 0 in d2
0.367 * [taylor]: Taking taylor expansion of 0 in d2
0.368 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.368 * [approximate]: Taking taylor expansion of (sqrt (+ d2 30.0)) in (d2) around 0
0.368 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d2
0.368 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.368 * [taylor]: Taking taylor expansion of d2 in d2
0.368 * [taylor]: Taking taylor expansion of 30.0 in d2
0.368 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d2
0.368 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.368 * [taylor]: Taking taylor expansion of d2 in d2
0.368 * [taylor]: Taking taylor expansion of 30.0 in d2
0.369 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in (d2) around 0
0.369 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d2
0.369 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.369 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.369 * [taylor]: Taking taylor expansion of d2 in d2
0.369 * [taylor]: Taking taylor expansion of 30.0 in d2
0.369 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d2
0.369 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.369 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.369 * [taylor]: Taking taylor expansion of d2 in d2
0.369 * [taylor]: Taking taylor expansion of 30.0 in d2
0.370 * [approximate]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in (d2) around 0
0.370 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d2
0.370 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
0.370 * [taylor]: Taking taylor expansion of 30.0 in d2
0.370 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.370 * [taylor]: Taking taylor expansion of d2 in d2
0.370 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d2
0.370 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
0.370 * [taylor]: Taking taylor expansion of 30.0 in d2
0.370 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.370 * [taylor]: Taking taylor expansion of d2 in d2
0.371 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.371 * [approximate]: Taking taylor expansion of (sqrt (+ d2 30.0)) in (d2) around 0
0.371 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d2
0.371 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.371 * [taylor]: Taking taylor expansion of d2 in d2
0.371 * [taylor]: Taking taylor expansion of 30.0 in d2
0.372 * [taylor]: Taking taylor expansion of (sqrt (+ d2 30.0)) in d2
0.372 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.372 * [taylor]: Taking taylor expansion of d2 in d2
0.372 * [taylor]: Taking taylor expansion of 30.0 in d2
0.372 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in (d2) around 0
0.372 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d2
0.372 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.372 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.372 * [taylor]: Taking taylor expansion of d2 in d2
0.372 * [taylor]: Taking taylor expansion of 30.0 in d2
0.372 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 d2) 30.0)) in d2
0.372 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.372 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.372 * [taylor]: Taking taylor expansion of d2 in d2
0.372 * [taylor]: Taking taylor expansion of 30.0 in d2
0.373 * [approximate]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in (d2) around 0
0.374 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d2
0.374 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
0.374 * [taylor]: Taking taylor expansion of 30.0 in d2
0.374 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.374 * [taylor]: Taking taylor expansion of d2 in d2
0.374 * [taylor]: Taking taylor expansion of (sqrt (- 30.0 (/ 1 d2))) in d2
0.374 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
0.374 * [taylor]: Taking taylor expansion of 30.0 in d2
0.374 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.374 * [taylor]: Taking taylor expansion of d2 in d2
0.375 * * * [progress]: simplifying candidates
0.376 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))
  (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))
  (+ (+ (log d1) (log (sqrt (+ 10.0 (+ d2 20.0))))) (log (sqrt (+ 10.0 (+ d2 20.0)))))
  (+ (log (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (log (sqrt (+ 10.0 (+ d2 20.0)))))
  (log (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))))
  (exp (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))))
  (* (* (* (* d1 d1) d1) (* (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))) (* (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))))
  (* (* (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (* (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))))
  (* (cbrt (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))) (cbrt (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))))
  (cbrt (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))))
  (* (* (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))))
  (sqrt (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))))
  (sqrt (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))))
  (* (* d1 (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))) (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))))
  (* (sqrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0))))) (sqrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0))))))
  (* (* d1 (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))
  (* (sqrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0))))) (sqrt (- 10.0 (+ d2 20.0))))
  (* (* d1 (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))) (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))))
  (* (sqrt (- 10.0 (+ d2 20.0))) (sqrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0))))))
  (* (* d1 (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))
  (* (sqrt (- 10.0 (+ d2 20.0))) (sqrt (- 10.0 (+ d2 20.0))))
  (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (* (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0))))))
  (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0))))))
  (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (sqrt (+ 10.0 (+ d2 20.0)))))
  (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt 1))
  (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt 1))
  (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt 1))
  (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (sqrt (+ 10.0 (+ d2 20.0)))))
  (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) 1)
  (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ 10.0 (+ d2 20.0))))
  (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))))
  (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))
  (* (* d1 (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))) (sqrt (+ 10.0 (+ d2 20.0))))
  (* (* d1 (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))) (sqrt (+ 10.0 (+ d2 20.0))))
  (* d1 (sqrt (+ 10.0 (+ d2 20.0))))
  (+ (log d1) (log (sqrt (+ 10.0 (+ d2 20.0)))))
  (log (* d1 (sqrt (+ 10.0 (+ d2 20.0)))))
  (exp (* d1 (sqrt (+ 10.0 (+ d2 20.0)))))
  (* (* (* d1 d1) d1) (* (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))))
  (* (cbrt (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (cbrt (* d1 (sqrt (+ 10.0 (+ d2 20.0))))))
  (cbrt (* d1 (sqrt (+ 10.0 (+ d2 20.0)))))
  (* (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (* d1 (sqrt (+ 10.0 (+ d2 20.0)))))
  (sqrt (* d1 (sqrt (+ 10.0 (+ d2 20.0)))))
  (sqrt (* d1 (sqrt (+ 10.0 (+ d2 20.0)))))
  (* (sqrt d1) (sqrt (sqrt (+ 10.0 (+ d2 20.0)))))
  (* (sqrt d1) (sqrt (sqrt (+ 10.0 (+ d2 20.0)))))
  (* (sqrt d1) (sqrt (sqrt (+ 10.0 (+ d2 20.0)))))
  (* (sqrt d1) (sqrt (sqrt (+ 10.0 (+ d2 20.0)))))
  (* d1 (* (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0))))))
  (* d1 (sqrt (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0))))))
  (* d1 (sqrt (sqrt (+ 10.0 (+ d2 20.0)))))
  (* d1 (sqrt 1))
  (* d1 (sqrt 1))
  (* d1 (sqrt 1))
  (* d1 (sqrt (sqrt (+ 10.0 (+ d2 20.0)))))
  (* d1 1)
  (* (cbrt d1) (sqrt (+ 10.0 (+ d2 20.0))))
  (* (sqrt d1) (sqrt (+ 10.0 (+ d2 20.0))))
  (* d1 (sqrt (+ 10.0 (+ d2 20.0))))
  (* d1 (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))))
  (* d1 (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))
  (log (sqrt (+ 10.0 (+ d2 20.0))))
  (exp (sqrt (+ 10.0 (+ d2 20.0))))
  (* (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))))
  (cbrt (sqrt (+ 10.0 (+ d2 20.0))))
  (* (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))
  (sqrt (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0)))))
  (sqrt (cbrt (+ 10.0 (+ d2 20.0))))
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  (sqrt 1)
  (sqrt (+ 10.0 (+ d2 20.0)))
  (sqrt 1)
  (sqrt (+ 10.0 (+ d2 20.0)))
  (sqrt 1)
  (sqrt (+ 10.0 (+ d2 20.0)))
  (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))
  (sqrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0)))))
  (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))
  (sqrt (- 10.0 (+ d2 20.0)))
  (/ 1 2)
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  (log (sqrt (+ 10.0 (+ d2 20.0))))
  (exp (sqrt (+ 10.0 (+ d2 20.0))))
  (* (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))))
  (cbrt (sqrt (+ 10.0 (+ d2 20.0))))
  (* (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0))))
  (sqrt (* (cbrt (+ 10.0 (+ d2 20.0))) (cbrt (+ 10.0 (+ d2 20.0)))))
  (sqrt (cbrt (+ 10.0 (+ d2 20.0))))
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  (sqrt 1)
  (sqrt (+ 10.0 (+ d2 20.0)))
  (sqrt 1)
  (sqrt (+ 10.0 (+ d2 20.0)))
  (sqrt 1)
  (sqrt (+ 10.0 (+ d2 20.0)))
  (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))
  (sqrt (+ (* 10.0 10.0) (- (* (+ d2 20.0) (+ d2 20.0)) (* 10.0 (+ d2 20.0)))))
  (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))
  (sqrt (- 10.0 (+ d2 20.0)))
  (/ 1 2)
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  (+ (* 30.0 d1) (* d1 d2))
  (+ (* 30.0 d1) (* d1 d2))
  (+ (* 30.0 d1) (* d1 d2))
  (- (+ (* 1/2 (/ (* d1 d2) (sqrt 30.0))) (* d1 (sqrt 30.0))) (* 1/8 (/ (* d1 (pow d2 2)) (pow (sqrt 30.0) 3))))
  (- (+ (* 30.0 (/ (* d1 NAN) d2)) (+ (* 2 (/ (* d1 (pow NAN 5)) (pow d2 2))) (* d1 NAN))) (+ (/ (* d1 (pow NAN 3)) d2) (* 60.0 (/ (* d1 (pow NAN 3)) (pow d2 2)))))
  (- (+ (/ (* d1 (pow NAN 3)) d2) (+ (* 2 (/ (* d1 (pow NAN 5)) (pow d2 2))) (* d1 NAN))) (+ (* 30.0 (/ (* d1 NAN) d2)) (* 60.0 (/ (* d1 (pow NAN 3)) (pow d2 2)))))
  (- (+ (sqrt 30.0) (* 1/2 (/ d2 (sqrt 30.0)))) (* 1/8 (/ (pow d2 2) (pow (sqrt 30.0) 3))))
  (- (+ NAN (+ (* 30.0 (/ NAN d2)) (* 2 (/ (pow NAN 5) (pow d2 2))))) (+ (/ (pow NAN 3) d2) (* 60.0 (/ (pow NAN 3) (pow d2 2)))))
  (- (+ NAN (+ (/ (pow NAN 3) d2) (* 2 (/ (pow NAN 5) (pow d2 2))))) (+ (* 60.0 (/ (pow NAN 3) (pow d2 2))) (* 30.0 (/ NAN d2))))
  (- (+ (sqrt 30.0) (* 1/2 (/ d2 (sqrt 30.0)))) (* 1/8 (/ (pow d2 2) (pow (sqrt 30.0) 3))))
  (- (+ NAN (+ (* 30.0 (/ NAN d2)) (* 2 (/ (pow NAN 5) (pow d2 2))))) (+ (/ (pow NAN 3) d2) (* 60.0 (/ (pow NAN 3) (pow d2 2)))))
  (- (+ NAN (+ (/ (pow NAN 3) d2) (* 2 (/ (pow NAN 5) (pow d2 2))))) (+ (* 60.0 (/ (pow NAN 3) (pow d2 2))) (* 30.0 (/ NAN d2))))
0.409 * * [simplify]: iteration  0 :  5090  enodes  (cost  1263 )
0.413 * [simplify]: Simplified to:
   (* d1 (+ 10.0 (+ d2 20.0)))
  (* d1 (+ 10.0 (+ d2 20.0)))
  (log (* d1 (+ 10.0 (+ d2 20.0))))
  (log (* d1 (+ 10.0 (+ d2 20.0))))
  (log (* d1 (+ 10.0 (+ d2 20.0))))
  (pow (exp d1) (+ 10.0 (+ d2 20.0)))
  (pow (* d1 (+ 10.0 (+ d2 20.0))) 3)
  (pow (* d1 (+ 10.0 (+ d2 20.0))) 3)
  (* (cbrt (* d1 (+ 10.0 (+ d2 20.0)))) (cbrt (* d1 (+ 10.0 (+ d2 20.0)))))
  (cbrt (* d1 (+ 10.0 (+ d2 20.0))))
  (pow (* d1 (+ 10.0 (+ d2 20.0))) 3)
  (sqrt (* d1 (+ 10.0 (+ d2 20.0))))
  (sqrt (* d1 (+ 10.0 (+ d2 20.0))))
  (* d1 (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))
  (+ (* 10.0 10.0) (* (+ d2 20.0) (+ d2 (- 20.0 10.0))))
  (* d1 (* (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))))
  (* (sqrt (+ (* 10.0 10.0) (* (+ d2 20.0) (+ d2 (- 20.0 10.0))))) (sqrt (- 10.0 (+ d2 20.0))))
  (* d1 (* (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))))
  (* (sqrt (+ (* 10.0 10.0) (* (+ d2 20.0) (+ d2 (- 20.0 10.0))))) (sqrt (- 10.0 (+ d2 20.0))))
  (* d1 (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))
  (- 10.0 (+ d2 20.0))
  (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (* (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))))))
  (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (fabs (cbrt (+ 10.0 (+ d2 20.0))))))
  (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (sqrt (+ 10.0 (+ d2 20.0))))))
  (* d1 (sqrt (+ 10.0 (+ d2 20.0))))
  (* d1 (sqrt (+ 10.0 (+ d2 20.0))))
  (* d1 (sqrt (+ 10.0 (+ d2 20.0))))
  (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (sqrt (+ 10.0 (+ d2 20.0))))))
  (* d1 (sqrt (+ 10.0 (+ d2 20.0))))
  (+ 10.0 (+ d2 20.0))
  (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))))
  (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))))
  (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))))
  (* d1 (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))))
  (* d1 (sqrt (+ 10.0 (+ d2 20.0))))
  (log (* d1 (sqrt (+ 10.0 (+ d2 20.0)))))
  (log (* d1 (sqrt (+ 10.0 (+ d2 20.0)))))
  (pow (exp (sqrt (+ 10.0 (+ d2 20.0)))) d1)
  (pow (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) 3)
  (* (cbrt (* d1 (sqrt (+ 10.0 (+ d2 20.0))))) (cbrt (* d1 (sqrt (+ 10.0 (+ d2 20.0))))))
  (cbrt (* d1 (sqrt (+ 10.0 (+ d2 20.0)))))
  (pow (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) 3)
  (sqrt (* d1 (sqrt (+ 10.0 (+ d2 20.0)))))
  (sqrt (* d1 (sqrt (+ 10.0 (+ d2 20.0)))))
  (* (sqrt (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt d1))
  (* (sqrt (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt d1))
  (* (sqrt (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt d1))
  (* (sqrt (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt d1))
  (* d1 (* (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0))))))
  (* d1 (fabs (cbrt (+ 10.0 (+ d2 20.0)))))
  (* d1 (sqrt (sqrt (+ 10.0 (+ d2 20.0)))))
  d1
  d1
  d1
  (* d1 (sqrt (sqrt (+ 10.0 (+ d2 20.0)))))
  d1
  (* (sqrt (+ 10.0 (+ d2 20.0))) (cbrt d1))
  (* (sqrt (+ 10.0 (+ d2 20.0))) (sqrt d1))
  (* d1 (sqrt (+ 10.0 (+ d2 20.0))))
  (* d1 (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3))))
  (* d1 (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0)))))
  (log (sqrt (+ 10.0 (+ d2 20.0))))
  (exp (sqrt (+ 10.0 (+ d2 20.0))))
  (* (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))))
  (cbrt (sqrt (+ 10.0 (+ d2 20.0))))
  (pow (sqrt (+ 10.0 (+ d2 20.0))) 3)
  (fabs (cbrt (+ 10.0 (+ d2 20.0))))
  (sqrt (cbrt (+ 10.0 (+ d2 20.0))))
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  1
  (sqrt (+ 10.0 (+ d2 20.0)))
  1
  (sqrt (+ 10.0 (+ d2 20.0)))
  1
  (sqrt (+ 10.0 (+ d2 20.0)))
  (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))
  (sqrt (+ (* 10.0 10.0) (* (+ d2 20.0) (+ d2 (- 20.0 10.0)))))
  (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))
  (sqrt (- 10.0 (+ d2 20.0)))
  1/2
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  (log (sqrt (+ 10.0 (+ d2 20.0))))
  (exp (sqrt (+ 10.0 (+ d2 20.0))))
  (* (cbrt (sqrt (+ 10.0 (+ d2 20.0)))) (cbrt (sqrt (+ 10.0 (+ d2 20.0)))))
  (cbrt (sqrt (+ 10.0 (+ d2 20.0))))
  (pow (sqrt (+ 10.0 (+ d2 20.0))) 3)
  (fabs (cbrt (+ 10.0 (+ d2 20.0))))
  (sqrt (cbrt (+ 10.0 (+ d2 20.0))))
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  1
  (sqrt (+ 10.0 (+ d2 20.0)))
  1
  (sqrt (+ 10.0 (+ d2 20.0)))
  1
  (sqrt (+ 10.0 (+ d2 20.0)))
  (sqrt (+ (pow 10.0 3) (pow (+ d2 20.0) 3)))
  (sqrt (+ (* 10.0 10.0) (* (+ d2 20.0) (+ d2 (- 20.0 10.0)))))
  (sqrt (- (* 10.0 10.0) (* (+ d2 20.0) (+ d2 20.0))))
  (sqrt (- 10.0 (+ d2 20.0)))
  1/2
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  (sqrt (sqrt (+ 10.0 (+ d2 20.0))))
  (* d1 (+ 30.0 d2))
  (* d1 (+ 30.0 d2))
  (* d1 (+ 30.0 d2))
  (+ (* 1/2 (* (/ d1 (sqrt 30.0)) d2)) (+ (* d1 (sqrt 30.0)) (* (* (* (/ d1 (sqrt 30.0)) d2) (/ d2 30.0)) -1/8)))
  (+ (* d1 NAN) (+ (* 2 (* (/ d1 d2) (/ (pow NAN 5) d2))) (- (* 30.0 (* (/ d1 d2) NAN)) (* (+ (/ 60.0 d2) 1) (* (/ d1 d2) (pow NAN 3))))))
  (+ (* d1 NAN) (+ (* 2 (* (/ d1 d2) (/ (pow NAN 5) d2))) (- (* (/ d1 d2) (pow NAN 3)) (+ (* 30.0 (* (/ d1 d2) NAN)) (* (* (/ d1 d2) (pow NAN 3)) (/ 60.0 d2))))))
  (+ (sqrt 30.0) (+ (* 1/2 (/ d2 (sqrt 30.0))) (* (* (/ d2 (sqrt 30.0)) (/ d2 30.0)) -1/8)))
  (+ NAN (+ (* 30.0 (/ NAN d2)) (- (* 2 (/ (pow NAN 5) (* d2 d2))) (* (+ (/ 60.0 d2) 1) (/ (pow NAN 3) d2)))))
  (+ NAN (+ (* 2 (/ (pow NAN 5) (* d2 d2))) (- (/ (pow NAN 3) d2) (+ (* 30.0 (/ NAN d2)) (* 60.0 (/ (pow NAN 3) (* d2 d2)))))))
  (+ (sqrt 30.0) (+ (* 1/2 (/ d2 (sqrt 30.0))) (* (* (/ d2 (sqrt 30.0)) (/ d2 30.0)) -1/8)))
  (+ NAN (+ (* 30.0 (/ NAN d2)) (- (* 2 (/ (pow NAN 5) (* d2 d2))) (* (+ (/ 60.0 d2) 1) (/ (pow NAN 3) d2)))))
  (+ NAN (+ (* 2 (/ (pow NAN 5) (* d2 d2))) (- (/ (pow NAN 3) d2) (+ (* 30.0 (/ NAN d2)) (* 60.0 (/ (pow NAN 3) (* d2 d2)))))))
0.414 * * * [progress]: adding candidates to table
0.550 * * [progress]: iteration 4 / 4
0.550 * * * [progress]: picking best candidate
0.553 * * * * [pick]: Picked  #<alt (λ (d1 d2) (+ (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0)))>
0.553 * * * [progress]: localizing error
0.562 * * * [progress]: generating rewritten candidates
0.562 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.565 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.570 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.576 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.583 * * * [progress]: generating series expansions
0.583 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.584 * [approximate]: Taking taylor expansion of (* d1 (+ d2 10.0)) in (d1 d2) around 0
0.584 * [taylor]: Taking taylor expansion of (* d1 (+ d2 10.0)) in d2
0.584 * [taylor]: Taking taylor expansion of d1 in d2
0.584 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d2
0.584 * [taylor]: Taking taylor expansion of d2 in d2
0.584 * [taylor]: Taking taylor expansion of 10.0 in d2
0.584 * [taylor]: Taking taylor expansion of (* d1 (+ d2 10.0)) in d1
0.584 * [taylor]: Taking taylor expansion of d1 in d1
0.584 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d1
0.584 * [taylor]: Taking taylor expansion of d2 in d1
0.584 * [taylor]: Taking taylor expansion of 10.0 in d1
0.584 * [taylor]: Taking taylor expansion of (* d1 (+ d2 10.0)) in d1
0.584 * [taylor]: Taking taylor expansion of d1 in d1
0.584 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d1
0.584 * [taylor]: Taking taylor expansion of d2 in d1
0.584 * [taylor]: Taking taylor expansion of 10.0 in d1
0.584 * [taylor]: Taking taylor expansion of 0 in d2
0.584 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d2
0.584 * [taylor]: Taking taylor expansion of d2 in d2
0.584 * [taylor]: Taking taylor expansion of 10.0 in d2
0.584 * [taylor]: Taking taylor expansion of 0 in d2
0.584 * [taylor]: Taking taylor expansion of 0 in d2
0.584 * [taylor]: Taking taylor expansion of 0 in d2
0.585 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) 10.0) d1) in (d1 d2) around 0
0.585 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 10.0) d1) in d2
0.585 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d2
0.585 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.585 * [taylor]: Taking taylor expansion of d2 in d2
0.585 * [taylor]: Taking taylor expansion of 10.0 in d2
0.585 * [taylor]: Taking taylor expansion of d1 in d2
0.585 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 10.0) d1) in d1
0.585 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d1
0.585 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.585 * [taylor]: Taking taylor expansion of d2 in d1
0.585 * [taylor]: Taking taylor expansion of 10.0 in d1
0.585 * [taylor]: Taking taylor expansion of d1 in d1
0.585 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 10.0) d1) in d1
0.585 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d1
0.585 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.585 * [taylor]: Taking taylor expansion of d2 in d1
0.585 * [taylor]: Taking taylor expansion of 10.0 in d1
0.585 * [taylor]: Taking taylor expansion of d1 in d1
0.585 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d2
0.585 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.585 * [taylor]: Taking taylor expansion of d2 in d2
0.585 * [taylor]: Taking taylor expansion of 10.0 in d2
0.585 * [taylor]: Taking taylor expansion of 0 in d2
0.586 * [taylor]: Taking taylor expansion of 0 in d2
0.586 * [taylor]: Taking taylor expansion of 0 in d2
0.586 * [taylor]: Taking taylor expansion of 0 in d2
0.586 * [approximate]: Taking taylor expansion of (/ (* (cbrt -1) (- 10.0 (/ 1 d2))) d1) in (d1 d2) around 0
0.586 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- 10.0 (/ 1 d2))) d1) in d2
0.586 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- 10.0 (/ 1 d2))) in d2
0.586 * [taylor]: Taking taylor expansion of (cbrt -1) in d2
0.586 * [taylor]: Taking taylor expansion of -1 in d2
0.587 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d2
0.587 * [taylor]: Taking taylor expansion of 10.0 in d2
0.587 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.587 * [taylor]: Taking taylor expansion of d2 in d2
0.587 * [taylor]: Taking taylor expansion of d1 in d2
0.587 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- 10.0 (/ 1 d2))) d1) in d1
0.587 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- 10.0 (/ 1 d2))) in d1
0.587 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.587 * [taylor]: Taking taylor expansion of -1 in d1
0.587 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d1
0.587 * [taylor]: Taking taylor expansion of 10.0 in d1
0.587 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.587 * [taylor]: Taking taylor expansion of d2 in d1
0.587 * [taylor]: Taking taylor expansion of d1 in d1
0.587 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- 10.0 (/ 1 d2))) d1) in d1
0.587 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- 10.0 (/ 1 d2))) in d1
0.587 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.587 * [taylor]: Taking taylor expansion of -1 in d1
0.587 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d1
0.587 * [taylor]: Taking taylor expansion of 10.0 in d1
0.588 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.588 * [taylor]: Taking taylor expansion of d2 in d1
0.588 * [taylor]: Taking taylor expansion of d1 in d1
0.588 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- 10.0 (/ 1 d2))) in d2
0.588 * [taylor]: Taking taylor expansion of (cbrt -1) in d2
0.588 * [taylor]: Taking taylor expansion of -1 in d2
0.588 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d2
0.588 * [taylor]: Taking taylor expansion of 10.0 in d2
0.588 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.588 * [taylor]: Taking taylor expansion of d2 in d2
0.588 * [taylor]: Taking taylor expansion of 0 in d2
0.589 * [taylor]: Taking taylor expansion of 0 in d2
0.590 * [taylor]: Taking taylor expansion of 0 in d2
0.590 * [taylor]: Taking taylor expansion of 0 in d2
0.591 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.591 * [approximate]: Taking taylor expansion of (pow (* d1 (+ d2 10.0)) 3) in (d1 d2) around 0
0.591 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d2 10.0)) 3) in d2
0.591 * [taylor]: Taking taylor expansion of (* d1 (+ d2 10.0)) in d2
0.591 * [taylor]: Taking taylor expansion of d1 in d2
0.591 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d2
0.591 * [taylor]: Taking taylor expansion of d2 in d2
0.591 * [taylor]: Taking taylor expansion of 10.0 in d2
0.591 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d2 10.0)) 3) in d1
0.591 * [taylor]: Taking taylor expansion of (* d1 (+ d2 10.0)) in d1
0.591 * [taylor]: Taking taylor expansion of d1 in d1
0.591 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d1
0.591 * [taylor]: Taking taylor expansion of d2 in d1
0.591 * [taylor]: Taking taylor expansion of 10.0 in d1
0.591 * [taylor]: Taking taylor expansion of (pow (* d1 (+ d2 10.0)) 3) in d1
0.591 * [taylor]: Taking taylor expansion of (* d1 (+ d2 10.0)) in d1
0.591 * [taylor]: Taking taylor expansion of d1 in d1
0.591 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d1
0.591 * [taylor]: Taking taylor expansion of d2 in d1
0.591 * [taylor]: Taking taylor expansion of 10.0 in d1
0.591 * [taylor]: Taking taylor expansion of (pow (+ d2 10.0) 3) in d2
0.592 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d2
0.592 * [taylor]: Taking taylor expansion of d2 in d2
0.592 * [taylor]: Taking taylor expansion of 10.0 in d2
0.592 * [taylor]: Taking taylor expansion of 0 in d2
0.592 * [taylor]: Taking taylor expansion of 0 in d2
0.593 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 d2) 10.0) d1) 3) in (d1 d2) around 0
0.593 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 d2) 10.0) d1) 3) in d2
0.593 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 10.0) d1) in d2
0.593 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d2
0.593 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.593 * [taylor]: Taking taylor expansion of d2 in d2
0.593 * [taylor]: Taking taylor expansion of 10.0 in d2
0.593 * [taylor]: Taking taylor expansion of d1 in d2
0.593 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 d2) 10.0) d1) 3) in d1
0.593 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 10.0) d1) in d1
0.593 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d1
0.593 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.593 * [taylor]: Taking taylor expansion of d2 in d1
0.593 * [taylor]: Taking taylor expansion of 10.0 in d1
0.593 * [taylor]: Taking taylor expansion of d1 in d1
0.593 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 d2) 10.0) d1) 3) in d1
0.593 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 10.0) d1) in d1
0.593 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d1
0.593 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.593 * [taylor]: Taking taylor expansion of d2 in d1
0.593 * [taylor]: Taking taylor expansion of 10.0 in d1
0.593 * [taylor]: Taking taylor expansion of d1 in d1
0.593 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 10.0) 3) in d2
0.593 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d2
0.593 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.593 * [taylor]: Taking taylor expansion of d2 in d2
0.593 * [taylor]: Taking taylor expansion of 10.0 in d2
0.594 * [taylor]: Taking taylor expansion of 0 in d2
0.594 * [taylor]: Taking taylor expansion of 0 in d2
0.595 * [approximate]: Taking taylor expansion of (pow (* -1 (/ (- 10.0 (/ 1 d2)) d1)) 3) in (d1 d2) around 0
0.595 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- 10.0 (/ 1 d2)) d1)) 3) in d2
0.595 * [taylor]: Taking taylor expansion of (* -1 (/ (- 10.0 (/ 1 d2)) d1)) in d2
0.595 * [taylor]: Taking taylor expansion of -1 in d2
0.595 * [taylor]: Taking taylor expansion of (/ (- 10.0 (/ 1 d2)) d1) in d2
0.595 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d2
0.595 * [taylor]: Taking taylor expansion of 10.0 in d2
0.595 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.595 * [taylor]: Taking taylor expansion of d2 in d2
0.595 * [taylor]: Taking taylor expansion of d1 in d2
0.595 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- 10.0 (/ 1 d2)) d1)) 3) in d1
0.595 * [taylor]: Taking taylor expansion of (* -1 (/ (- 10.0 (/ 1 d2)) d1)) in d1
0.595 * [taylor]: Taking taylor expansion of -1 in d1
0.595 * [taylor]: Taking taylor expansion of (/ (- 10.0 (/ 1 d2)) d1) in d1
0.595 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d1
0.595 * [taylor]: Taking taylor expansion of 10.0 in d1
0.595 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.595 * [taylor]: Taking taylor expansion of d2 in d1
0.595 * [taylor]: Taking taylor expansion of d1 in d1
0.596 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- 10.0 (/ 1 d2)) d1)) 3) in d1
0.596 * [taylor]: Taking taylor expansion of (* -1 (/ (- 10.0 (/ 1 d2)) d1)) in d1
0.596 * [taylor]: Taking taylor expansion of -1 in d1
0.596 * [taylor]: Taking taylor expansion of (/ (- 10.0 (/ 1 d2)) d1) in d1
0.596 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d1
0.596 * [taylor]: Taking taylor expansion of 10.0 in d1
0.596 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.596 * [taylor]: Taking taylor expansion of d2 in d1
0.596 * [taylor]: Taking taylor expansion of d1 in d1
0.596 * [taylor]: Taking taylor expansion of (* -1 (pow (- 10.0 (/ 1 d2)) 3)) in d2
0.596 * [taylor]: Taking taylor expansion of -1 in d2
0.596 * [taylor]: Taking taylor expansion of (pow (- 10.0 (/ 1 d2)) 3) in d2
0.596 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d2
0.596 * [taylor]: Taking taylor expansion of 10.0 in d2
0.596 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.596 * [taylor]: Taking taylor expansion of d2 in d2
0.597 * [taylor]: Taking taylor expansion of 0 in d2
0.597 * [taylor]: Taking taylor expansion of 0 in d2
0.598 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.598 * [approximate]: Taking taylor expansion of (+ (* 30.0 d1) (* d1 d2)) in (d1 d2) around 0
0.598 * [taylor]: Taking taylor expansion of (+ (* 30.0 d1) (* d1 d2)) in d2
0.598 * [taylor]: Taking taylor expansion of (* 30.0 d1) in d2
0.598 * [taylor]: Taking taylor expansion of 30.0 in d2
0.598 * [taylor]: Taking taylor expansion of d1 in d2
0.598 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.598 * [taylor]: Taking taylor expansion of d1 in d2
0.598 * [taylor]: Taking taylor expansion of d2 in d2
0.598 * [taylor]: Taking taylor expansion of (+ (* 30.0 d1) (* d1 d2)) in d1
0.598 * [taylor]: Taking taylor expansion of (* 30.0 d1) in d1
0.598 * [taylor]: Taking taylor expansion of 30.0 in d1
0.598 * [taylor]: Taking taylor expansion of d1 in d1
0.598 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.598 * [taylor]: Taking taylor expansion of d1 in d1
0.598 * [taylor]: Taking taylor expansion of d2 in d1
0.598 * [taylor]: Taking taylor expansion of (+ (* 30.0 d1) (* d1 d2)) in d1
0.598 * [taylor]: Taking taylor expansion of (* 30.0 d1) in d1
0.598 * [taylor]: Taking taylor expansion of 30.0 in d1
0.598 * [taylor]: Taking taylor expansion of d1 in d1
0.598 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.598 * [taylor]: Taking taylor expansion of d1 in d1
0.598 * [taylor]: Taking taylor expansion of d2 in d1
0.599 * [taylor]: Taking taylor expansion of 0 in d2
0.599 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.599 * [taylor]: Taking taylor expansion of d2 in d2
0.599 * [taylor]: Taking taylor expansion of 30.0 in d2
0.599 * [taylor]: Taking taylor expansion of 0 in d2
0.599 * [taylor]: Taking taylor expansion of 0 in d2
0.599 * [taylor]: Taking taylor expansion of 0 in d2
0.600 * [approximate]: Taking taylor expansion of (+ (* 30.0 (/ 1 d1)) (/ 1 (* d1 d2))) in (d1 d2) around 0
0.600 * [taylor]: Taking taylor expansion of (+ (* 30.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d2
0.600 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d2
0.600 * [taylor]: Taking taylor expansion of 30.0 in d2
0.600 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.600 * [taylor]: Taking taylor expansion of d1 in d2
0.600 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
0.600 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.600 * [taylor]: Taking taylor expansion of d1 in d2
0.600 * [taylor]: Taking taylor expansion of d2 in d2
0.600 * [taylor]: Taking taylor expansion of (+ (* 30.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d1
0.600 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d1
0.600 * [taylor]: Taking taylor expansion of 30.0 in d1
0.600 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.600 * [taylor]: Taking taylor expansion of d1 in d1
0.600 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.600 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.600 * [taylor]: Taking taylor expansion of d1 in d1
0.600 * [taylor]: Taking taylor expansion of d2 in d1
0.600 * [taylor]: Taking taylor expansion of (+ (* 30.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d1
0.600 * [taylor]: Taking taylor expansion of (* 30.0 (/ 1 d1)) in d1
0.600 * [taylor]: Taking taylor expansion of 30.0 in d1
0.600 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.600 * [taylor]: Taking taylor expansion of d1 in d1
0.600 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1
0.600 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.600 * [taylor]: Taking taylor expansion of d1 in d1
0.600 * [taylor]: Taking taylor expansion of d2 in d1
0.600 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.600 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.600 * [taylor]: Taking taylor expansion of d2 in d2
0.600 * [taylor]: Taking taylor expansion of 30.0 in d2
0.601 * [taylor]: Taking taylor expansion of 0 in d2
0.601 * [taylor]: Taking taylor expansion of 0 in d2
0.601 * [taylor]: Taking taylor expansion of 0 in d2
0.601 * [taylor]: Taking taylor expansion of 0 in d2
0.602 * [approximate]: Taking taylor expansion of (- (* 10.0 (/ (cbrt -1) d1)) (+ (* 20.0 (/ 1 d1)) (/ (cbrt -1) (* d1 d2)))) in (d1 d2) around 0
0.602 * [taylor]: Taking taylor expansion of (- (* 10.0 (/ (cbrt -1) d1)) (+ (* 20.0 (/ 1 d1)) (/ (cbrt -1) (* d1 d2)))) in d2
0.602 * [taylor]: Taking taylor expansion of (* 10.0 (/ (cbrt -1) d1)) in d2
0.602 * [taylor]: Taking taylor expansion of 10.0 in d2
0.602 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d1) in d2
0.602 * [taylor]: Taking taylor expansion of (cbrt -1) in d2
0.602 * [taylor]: Taking taylor expansion of -1 in d2
0.602 * [taylor]: Taking taylor expansion of d1 in d2
0.602 * [taylor]: Taking taylor expansion of (+ (* 20.0 (/ 1 d1)) (/ (cbrt -1) (* d1 d2))) in d2
0.602 * [taylor]: Taking taylor expansion of (* 20.0 (/ 1 d1)) in d2
0.602 * [taylor]: Taking taylor expansion of 20.0 in d2
0.602 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
0.602 * [taylor]: Taking taylor expansion of d1 in d2
0.602 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* d1 d2)) in d2
0.602 * [taylor]: Taking taylor expansion of (cbrt -1) in d2
0.602 * [taylor]: Taking taylor expansion of -1 in d2
0.602 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
0.602 * [taylor]: Taking taylor expansion of d1 in d2
0.602 * [taylor]: Taking taylor expansion of d2 in d2
0.603 * [taylor]: Taking taylor expansion of (- (* 10.0 (/ (cbrt -1) d1)) (+ (* 20.0 (/ 1 d1)) (/ (cbrt -1) (* d1 d2)))) in d1
0.603 * [taylor]: Taking taylor expansion of (* 10.0 (/ (cbrt -1) d1)) in d1
0.603 * [taylor]: Taking taylor expansion of 10.0 in d1
0.603 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d1) in d1
0.603 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.603 * [taylor]: Taking taylor expansion of -1 in d1
0.603 * [taylor]: Taking taylor expansion of d1 in d1
0.603 * [taylor]: Taking taylor expansion of (+ (* 20.0 (/ 1 d1)) (/ (cbrt -1) (* d1 d2))) in d1
0.603 * [taylor]: Taking taylor expansion of (* 20.0 (/ 1 d1)) in d1
0.603 * [taylor]: Taking taylor expansion of 20.0 in d1
0.603 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.603 * [taylor]: Taking taylor expansion of d1 in d1
0.603 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* d1 d2)) in d1
0.603 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.603 * [taylor]: Taking taylor expansion of -1 in d1
0.603 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.603 * [taylor]: Taking taylor expansion of d1 in d1
0.603 * [taylor]: Taking taylor expansion of d2 in d1
0.603 * [taylor]: Taking taylor expansion of (- (* 10.0 (/ (cbrt -1) d1)) (+ (* 20.0 (/ 1 d1)) (/ (cbrt -1) (* d1 d2)))) in d1
0.603 * [taylor]: Taking taylor expansion of (* 10.0 (/ (cbrt -1) d1)) in d1
0.603 * [taylor]: Taking taylor expansion of 10.0 in d1
0.603 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d1) in d1
0.603 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.603 * [taylor]: Taking taylor expansion of -1 in d1
0.603 * [taylor]: Taking taylor expansion of d1 in d1
0.603 * [taylor]: Taking taylor expansion of (+ (* 20.0 (/ 1 d1)) (/ (cbrt -1) (* d1 d2))) in d1
0.603 * [taylor]: Taking taylor expansion of (* 20.0 (/ 1 d1)) in d1
0.603 * [taylor]: Taking taylor expansion of 20.0 in d1
0.604 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
0.604 * [taylor]: Taking taylor expansion of d1 in d1
0.604 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* d1 d2)) in d1
0.604 * [taylor]: Taking taylor expansion of (cbrt -1) in d1
0.604 * [taylor]: Taking taylor expansion of -1 in d1
0.604 * [taylor]: Taking taylor expansion of (* d1 d2) in d1
0.604 * [taylor]: Taking taylor expansion of d1 in d1
0.604 * [taylor]: Taking taylor expansion of d2 in d1
0.604 * [taylor]: Taking taylor expansion of (- (* 10.0 (cbrt -1)) (+ (/ (cbrt -1) d2) 20.0)) in d2
0.604 * [taylor]: Taking taylor expansion of (* 10.0 (cbrt -1)) in d2
0.604 * [taylor]: Taking taylor expansion of 10.0 in d2
0.604 * [taylor]: Taking taylor expansion of (cbrt -1) in d2
0.604 * [taylor]: Taking taylor expansion of -1 in d2
0.604 * [taylor]: Taking taylor expansion of (+ (/ (cbrt -1) d2) 20.0) in d2
0.604 * [taylor]: Taking taylor expansion of (/ (cbrt -1) d2) in d2
0.604 * [taylor]: Taking taylor expansion of (cbrt -1) in d2
0.605 * [taylor]: Taking taylor expansion of -1 in d2
0.605 * [taylor]: Taking taylor expansion of d2 in d2
0.605 * [taylor]: Taking taylor expansion of 20.0 in d2
0.605 * [taylor]: Taking taylor expansion of 0 in d2
0.606 * [taylor]: Taking taylor expansion of 0 in d2
0.607 * [taylor]: Taking taylor expansion of 0 in d2
0.608 * [taylor]: Taking taylor expansion of 0 in d2
0.609 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
0.609 * [approximate]: Taking taylor expansion of (* d1 (+ d2 10.0)) in (d1 d2) around 0
0.609 * [taylor]: Taking taylor expansion of (* d1 (+ d2 10.0)) in d2
0.609 * [taylor]: Taking taylor expansion of d1 in d2
0.609 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d2
0.609 * [taylor]: Taking taylor expansion of d2 in d2
0.609 * [taylor]: Taking taylor expansion of 10.0 in d2
0.609 * [taylor]: Taking taylor expansion of (* d1 (+ d2 10.0)) in d1
0.609 * [taylor]: Taking taylor expansion of d1 in d1
0.609 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d1
0.609 * [taylor]: Taking taylor expansion of d2 in d1
0.609 * [taylor]: Taking taylor expansion of 10.0 in d1
0.609 * [taylor]: Taking taylor expansion of (* d1 (+ d2 10.0)) in d1
0.609 * [taylor]: Taking taylor expansion of d1 in d1
0.609 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d1
0.609 * [taylor]: Taking taylor expansion of d2 in d1
0.609 * [taylor]: Taking taylor expansion of 10.0 in d1
0.609 * [taylor]: Taking taylor expansion of 0 in d2
0.609 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d2
0.609 * [taylor]: Taking taylor expansion of d2 in d2
0.609 * [taylor]: Taking taylor expansion of 10.0 in d2
0.609 * [taylor]: Taking taylor expansion of 0 in d2
0.609 * [taylor]: Taking taylor expansion of 0 in d2
0.609 * [taylor]: Taking taylor expansion of 0 in d2
0.610 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) 10.0) d1) in (d1 d2) around 0
0.610 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 10.0) d1) in d2
0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d2
0.610 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.610 * [taylor]: Taking taylor expansion of d2 in d2
0.610 * [taylor]: Taking taylor expansion of 10.0 in d2
0.610 * [taylor]: Taking taylor expansion of d1 in d2
0.610 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 10.0) d1) in d1
0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d1
0.610 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.610 * [taylor]: Taking taylor expansion of d2 in d1
0.610 * [taylor]: Taking taylor expansion of 10.0 in d1
0.610 * [taylor]: Taking taylor expansion of d1 in d1
0.610 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 10.0) d1) in d1
0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d1
0.610 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.610 * [taylor]: Taking taylor expansion of d2 in d1
0.610 * [taylor]: Taking taylor expansion of 10.0 in d1
0.610 * [taylor]: Taking taylor expansion of d1 in d1
0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d2
0.610 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.610 * [taylor]: Taking taylor expansion of d2 in d2
0.610 * [taylor]: Taking taylor expansion of 10.0 in d2
0.610 * [taylor]: Taking taylor expansion of 0 in d2
0.611 * [taylor]: Taking taylor expansion of 0 in d2
0.611 * [taylor]: Taking taylor expansion of 0 in d2
0.611 * [taylor]: Taking taylor expansion of 0 in d2
0.611 * [approximate]: Taking taylor expansion of (* -1 (/ (- 10.0 (/ 1 d2)) d1)) in (d1 d2) around 0
0.611 * [taylor]: Taking taylor expansion of (* -1 (/ (- 10.0 (/ 1 d2)) d1)) in d2
0.611 * [taylor]: Taking taylor expansion of -1 in d2
0.611 * [taylor]: Taking taylor expansion of (/ (- 10.0 (/ 1 d2)) d1) in d2
0.611 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d2
0.611 * [taylor]: Taking taylor expansion of 10.0 in d2
0.611 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.611 * [taylor]: Taking taylor expansion of d2 in d2
0.611 * [taylor]: Taking taylor expansion of d1 in d2
0.612 * [taylor]: Taking taylor expansion of (* -1 (/ (- 10.0 (/ 1 d2)) d1)) in d1
0.612 * [taylor]: Taking taylor expansion of -1 in d1
0.612 * [taylor]: Taking taylor expansion of (/ (- 10.0 (/ 1 d2)) d1) in d1
0.612 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d1
0.612 * [taylor]: Taking taylor expansion of 10.0 in d1
0.612 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.612 * [taylor]: Taking taylor expansion of d2 in d1
0.612 * [taylor]: Taking taylor expansion of d1 in d1
0.612 * [taylor]: Taking taylor expansion of (* -1 (/ (- 10.0 (/ 1 d2)) d1)) in d1
0.612 * [taylor]: Taking taylor expansion of -1 in d1
0.612 * [taylor]: Taking taylor expansion of (/ (- 10.0 (/ 1 d2)) d1) in d1
0.612 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d1
0.612 * [taylor]: Taking taylor expansion of 10.0 in d1
0.612 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.612 * [taylor]: Taking taylor expansion of d2 in d1
0.612 * [taylor]: Taking taylor expansion of d1 in d1
0.612 * [taylor]: Taking taylor expansion of (* -1 (- 10.0 (/ 1 d2))) in d2
0.612 * [taylor]: Taking taylor expansion of -1 in d2
0.612 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d2
0.612 * [taylor]: Taking taylor expansion of 10.0 in d2
0.612 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.612 * [taylor]: Taking taylor expansion of d2 in d2
0.612 * [taylor]: Taking taylor expansion of 0 in d2
0.613 * [taylor]: Taking taylor expansion of 0 in d2
0.613 * [taylor]: Taking taylor expansion of 0 in d2
0.613 * [taylor]: Taking taylor expansion of 0 in d2
0.614 * * * [progress]: simplifying candidates
0.615 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (pow (* d1 (+ 10.0 d2)) 3)))
  (exp (cbrt (pow (* d1 (+ 10.0 d2)) 3)))
  (cbrt (pow d1 3))
  (cbrt (pow (+ 10.0 d2) 3))
  (cbrt (* (* d1 (+ 10.0 d2)) (* d1 (+ 10.0 d2))))
  (cbrt (* d1 (+ 10.0 d2)))
  (cbrt (* (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (cbrt (pow (* d1 (+ 10.0 d2)) 3))))
  (cbrt (cbrt (pow (* d1 (+ 10.0 d2)) 3)))
  (cbrt (pow d1 3))
  (cbrt (pow (+ 10.0 d2) 3))
  (cbrt (* d1 (+ 10.0 d2)))
  (cbrt (* (* d1 (+ 10.0 d2)) (* d1 (+ 10.0 d2))))
  (cbrt (sqrt (pow (* d1 (+ 10.0 d2)) 3)))
  (cbrt (sqrt (pow (* d1 (+ 10.0 d2)) 3)))
  (cbrt 1)
  (cbrt (pow (* d1 (+ 10.0 d2)) 3))
  (cbrt (pow (* d1 (+ 10.0 d2)) (/ 3 2)))
  (cbrt (pow (* d1 (+ 10.0 d2)) (/ 3 2)))
  (cbrt (pow (* d1 (+ (pow 10.0 3) (pow d2 3))) 3))
  (cbrt (pow (+ (* 10.0 10.0) (- (* d2 d2) (* 10.0 d2))) 3))
  (cbrt (pow (* d1 (- (* 10.0 10.0) (* d2 d2))) 3))
  (cbrt (pow (- 10.0 d2) 3))
  (* (cbrt (cbrt (pow (* d1 (+ 10.0 d2)) 3))) (cbrt (cbrt (pow (* d1 (+ 10.0 d2)) 3))))
  (cbrt (cbrt (pow (* d1 (+ 10.0 d2)) 3)))
  (* (* (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (cbrt (pow (* d1 (+ 10.0 d2)) 3))) (cbrt (pow (* d1 (+ 10.0 d2)) 3)))
  (sqrt (cbrt (pow (* d1 (+ 10.0 d2)) 3)))
  (sqrt (cbrt (pow (* d1 (+ 10.0 d2)) 3)))
  (* (+ (log d1) (log (+ 10.0 d2))) 3)
  (* (log (* d1 (+ 10.0 d2))) 3)
  (* (log (* d1 (+ 10.0 d2))) 3)
  (* 1 3)
  (* 1 3)
  (pow (* d1 (+ 10.0 d2)) (* (cbrt 3) (cbrt 3)))
  (pow (* d1 (+ 10.0 d2)) (sqrt 3))
  (pow (* d1 (+ 10.0 d2)) 1)
  (pow d1 3)
  (pow (+ 10.0 d2) 3)
  (* (* d1 (+ 10.0 d2)) (* d1 (+ 10.0 d2)))
  (log (pow (* d1 (+ 10.0 d2)) 3))
  (exp (pow (* d1 (+ 10.0 d2)) 3))
  (* (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (cbrt (pow (* d1 (+ 10.0 d2)) 3)))
  (cbrt (pow (* d1 (+ 10.0 d2)) 3))
  (* (* (pow (* d1 (+ 10.0 d2)) 3) (pow (* d1 (+ 10.0 d2)) 3)) (pow (* d1 (+ 10.0 d2)) 3))
  (pow d1 3)
  (pow (+ 10.0 d2) 3)
  (pow (* d1 (+ (pow 10.0 3) (pow d2 3))) 3)
  (pow (+ (* 10.0 10.0) (- (* d2 d2) (* 10.0 d2))) 3)
  (pow (* d1 (- (* 10.0 10.0) (* d2 d2))) 3)
  (pow (- 10.0 d2) 3)
  (* (* d1 (+ 10.0 d2)) (* d1 (+ 10.0 d2)))
  (sqrt (pow (* d1 (+ 10.0 d2)) 3))
  (sqrt (pow (* d1 (+ 10.0 d2)) 3))
  (pow (* d1 (+ 10.0 d2)) (/ 3 2))
  (pow (* d1 (+ 10.0 d2)) (/ 3 2))
  (* (exp (cbrt (pow (* d1 (+ 10.0 d2)) 3))) (exp (* d1 20.0)))
  (log (+ (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0)))
  (exp (+ (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0)))
  (* (cbrt (+ (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0))) (cbrt (+ (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0))))
  (cbrt (+ (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0)))
  (* (* (+ (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0)) (+ (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0))) (+ (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0)))
  (sqrt (+ (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0)))
  (sqrt (+ (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0)))
  (+ (pow (cbrt (pow (* d1 (+ 10.0 d2)) 3)) 3) (pow (* d1 20.0) 3))
  (+ (* (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (cbrt (pow (* d1 (+ 10.0 d2)) 3))) (- (* (* d1 20.0) (* d1 20.0)) (* (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0))))
  (- (* (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (cbrt (pow (* d1 (+ 10.0 d2)) 3))) (* (* d1 20.0) (* d1 20.0)))
  (- (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0))
  (* d1 (+ 10.0 d2))
  (+ (log d1) (log (+ 10.0 d2)))
  (log (* d1 (+ 10.0 d2)))
  (exp (* d1 (+ 10.0 d2)))
  (* (* (* d1 d1) d1) (* (* (+ 10.0 d2) (+ 10.0 d2)) (+ 10.0 d2)))
  (* (cbrt (* d1 (+ 10.0 d2))) (cbrt (* d1 (+ 10.0 d2))))
  (cbrt (* d1 (+ 10.0 d2)))
  (* (* (* d1 (+ 10.0 d2)) (* d1 (+ 10.0 d2))) (* d1 (+ 10.0 d2)))
  (sqrt (* d1 (+ 10.0 d2)))
  (sqrt (* d1 (+ 10.0 d2)))
  (* (sqrt d1) (sqrt (+ 10.0 d2)))
  (* (sqrt d1) (sqrt (+ 10.0 d2)))
  (* d1 10.0)
  (* d1 d2)
  (* 10.0 d1)
  (* d2 d1)
  (* d1 (* (cbrt (+ 10.0 d2)) (cbrt (+ 10.0 d2))))
  (* d1 (sqrt (+ 10.0 d2)))
  (* d1 1)
  (* d1 1)
  (* (cbrt d1) (+ 10.0 d2))
  (* (sqrt d1) (+ 10.0 d2))
  (* d1 (+ 10.0 d2))
  (* d1 (+ (pow 10.0 3) (pow d2 3)))
  (* d1 (- (* 10.0 10.0) (* d2 d2)))
  (+ (* 10.0 d1) (* d1 d2))
  (+ (* 10.0 d1) (* d1 d2))
  (neg (+ (* d1 (* (cbrt -1) d2)) (* 10.0 (* d1 (cbrt -1)))))
  (+ (* 300.0 (* (pow d1 3) d2)) (+ (* 1000.0 (pow d1 3)) (* 30.0 (* (pow d1 3) (pow d2 2)))))
  (+ (* 300.0 (* (pow d1 3) d2)) (+ (* (pow d1 3) (pow d2 3)) (* 30.0 (* (pow d1 3) (pow d2 2)))))
  (+ (* 300.0 (* (pow d1 3) d2)) (+ (* (pow d1 3) (pow d2 3)) (* 30.0 (* (pow d1 3) (pow d2 2)))))
  (+ (* 30.0 d1) (* d1 d2))
  (+ (* 30.0 d1) (* d1 d2))
  (- (* 20.0 d1) (+ (* d1 (* (cbrt -1) d2)) (* 10.0 (* d1 (cbrt -1)))))
  (+ (* 10.0 d1) (* d1 d2))
  (+ (* 10.0 d1) (* d1 d2))
  (+ (* 10.0 d1) (* d1 d2))
0.636 * * [simplify]: iteration  0 :  5021  enodes  (cost  745 )
0.640 * [simplify]: Simplified to:
   (log (* d1 (+ 10.0 d2)))
  (pow (exp d1) (+ 10.0 d2))
  d1
  (+ 10.0 d2)
  (cbrt (pow (* d1 (+ 10.0 d2)) 2))
  (cbrt (* d1 (+ 10.0 d2)))
  (cbrt (pow (* d1 (+ 10.0 d2)) 2))
  (cbrt (* d1 (+ 10.0 d2)))
  d1
  (+ 10.0 d2)
  (cbrt (* d1 (+ 10.0 d2)))
  (cbrt (pow (* d1 (+ 10.0 d2)) 2))
  (cbrt (sqrt (pow (* d1 (+ 10.0 d2)) 3)))
  (cbrt (sqrt (pow (* d1 (+ 10.0 d2)) 3)))
  (cbrt 1)
  (* d1 (+ 10.0 d2))
  (cbrt (pow (* d1 (+ 10.0 d2)) 3/2))
  (cbrt (pow (* d1 (+ 10.0 d2)) 3/2))
  (* d1 (+ (pow 10.0 3) (pow d2 3)))
  (+ (* 10.0 10.0) (* d2 (- d2 10.0)))
  (* d1 (- (* 10.0 10.0) (* d2 d2)))
  (- 10.0 d2)
  (* (cbrt (* d1 (+ 10.0 d2))) (cbrt (* d1 (+ 10.0 d2))))
  (cbrt (* d1 (+ 10.0 d2)))
  (pow (* d1 (+ 10.0 d2)) 3)
  (sqrt (* d1 (+ 10.0 d2)))
  (sqrt (* d1 (+ 10.0 d2)))
  (* 3 (log (* d1 (+ 10.0 d2))))
  (* 3 (log (* d1 (+ 10.0 d2))))
  (* 3 (log (* d1 (+ 10.0 d2))))
  3
  3
  (pow (* d1 (+ 10.0 d2)) (* (cbrt 3) (cbrt 3)))
  (pow (* d1 (+ 10.0 d2)) (sqrt 3))
  (* d1 (+ 10.0 d2))
  (pow d1 3)
  (pow (+ 10.0 d2) 3)
  (pow (* d1 (+ 10.0 d2)) 2)
  (* 3 (log (* d1 (+ 10.0 d2))))
  (exp (pow (* d1 (+ 10.0 d2)) 3))
  (pow (* d1 (+ 10.0 d2)) 2)
  (* d1 (+ 10.0 d2))
  (pow (pow (* d1 (+ 10.0 d2)) 3) 3)
  (pow d1 3)
  (pow (+ 10.0 d2) 3)
  (pow (* d1 (+ (pow 10.0 3) (pow d2 3))) 3)
  (pow (+ (* 10.0 10.0) (* d2 (- d2 10.0))) 3)
  (pow (* d1 (- (* 10.0 10.0) (* d2 d2))) 3)
  (pow (- 10.0 d2) 3)
  (pow (* d1 (+ 10.0 d2)) 2)
  (sqrt (pow (* d1 (+ 10.0 d2)) 3))
  (sqrt (pow (* d1 (+ 10.0 d2)) 3))
  (pow (* d1 (+ 10.0 d2)) 3/2)
  (pow (* d1 (+ 10.0 d2)) 3/2)
  (pow (exp d1) (+ (+ 10.0 d2) 20.0))
  (log (* d1 (+ (+ 10.0 d2) 20.0)))
  (pow (exp d1) (+ (+ 10.0 d2) 20.0))
  (* (cbrt (* d1 (+ (+ 10.0 d2) 20.0))) (cbrt (* d1 (+ (+ 10.0 d2) 20.0))))
  (cbrt (* d1 (+ (+ 10.0 d2) 20.0)))
  (pow (* d1 (+ (+ 10.0 d2) 20.0)) 3)
  (sqrt (* d1 (+ (+ 10.0 d2) 20.0)))
  (sqrt (* d1 (+ (+ 10.0 d2) 20.0)))
  (+ (pow (* d1 (+ 10.0 d2)) 3) (pow (* d1 20.0) 3))
  (+ (pow (* d1 (+ 10.0 d2)) 2) (* d1 (* 20.0 (* d1 (- 20.0 (+ 10.0 d2))))))
  (- (pow (* d1 (+ 10.0 d2)) 2) (* d1 (* 20.0 (* d1 20.0))))
  (* d1 (- (+ 10.0 d2) 20.0))
  (* d1 (+ 10.0 d2))
  (log (* d1 (+ 10.0 d2)))
  (log (* d1 (+ 10.0 d2)))
  (pow (exp d1) (+ 10.0 d2))
  (pow (* d1 (+ 10.0 d2)) 3)
  (* (cbrt (* d1 (+ 10.0 d2))) (cbrt (* d1 (+ 10.0 d2))))
  (cbrt (* d1 (+ 10.0 d2)))
  (pow (* d1 (+ 10.0 d2)) 3)
  (sqrt (* d1 (+ 10.0 d2)))
  (sqrt (* d1 (+ 10.0 d2)))
  (* (sqrt d1) (sqrt (+ 10.0 d2)))
  (* (sqrt d1) (sqrt (+ 10.0 d2)))
  (* d1 10.0)
  (* d1 d2)
  (* d1 10.0)
  (* d1 d2)
  (* d1 (* (cbrt (+ 10.0 d2)) (cbrt (+ 10.0 d2))))
  (* d1 (sqrt (+ 10.0 d2)))
  d1
  d1
  (* (+ 10.0 d2) (cbrt d1))
  (* (+ 10.0 d2) (sqrt d1))
  (* d1 (+ 10.0 d2))
  (* d1 (+ (pow 10.0 3) (pow d2 3)))
  (* d1 (- (* 10.0 10.0) (* d2 d2)))
  (* d1 (+ 10.0 d2))
  (* d1 (+ 10.0 d2))
  (* (* d1 (cbrt -1)) (neg (+ 10.0 d2)))
  (+ (* d2 (* (pow d1 3) 300.0)) (* (pow d1 3) (+ 1000.0 (* (* d2 d2) 30.0))))
  (+ (* d2 (* (pow d1 3) 300.0)) (* (* d2 (* d2 (pow d1 3))) (+ d2 30.0)))
  (+ (* d2 (* (pow d1 3) 300.0)) (* (* d2 (* d2 (pow d1 3))) (+ d2 30.0)))
  (* d1 (+ d2 30.0))
  (* d1 (+ d2 30.0))
  (- (* d1 20.0) (* (cbrt -1) (* d1 (+ 10.0 d2))))
  (* d1 (+ 10.0 d2))
  (* d1 (+ 10.0 d2))
  (* d1 (+ 10.0 d2))
0.640 * * * [progress]: adding candidates to table
0.749 * [progress]: [Phase 3 of 3] Extracting.
0.749 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2) (+ (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0)))> #<alt (λ (d1 d2) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))))> #<alt (λ (d1 d2) (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)))> #<alt (λ (d1 d2) (* d1 (+ 10.0 (+ d2 20.0))))>)
0.749 * * * [regime-changes]: Trying 3 branch expressions: ((+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)) d2 d1)
0.750 * * * * [regimes]: Trying to branch on (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)) from (#<alt (λ (d1 d2) (+ (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0)))> #<alt (λ (d1 d2) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))))> #<alt (λ (d1 d2) (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)))> #<alt (λ (d1 d2) (* d1 (+ 10.0 (+ d2 20.0))))>)
0.794 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2) (+ (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0)))> #<alt (λ (d1 d2) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))))> #<alt (λ (d1 d2) (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)))> #<alt (λ (d1 d2) (* d1 (+ 10.0 (+ d2 20.0))))>)
0.836 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2) (+ (cbrt (pow (* d1 (+ 10.0 d2)) 3)) (* d1 20.0)))> #<alt (λ (d1 d2) (* (* d1 (sqrt (+ 10.0 (+ d2 20.0)))) (sqrt (+ 10.0 (+ d2 20.0)))))> #<alt (λ (d1 d2) (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0)))> #<alt (λ (d1 d2) (* d1 (+ 10.0 (+ d2 20.0))))>)
0.878 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
0.878 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* d1 (+ 10.0 (+ d2 20.0)))
0.879 * * [simplify]: iteration  0 :  10  enodes  (cost  7 )
0.879 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
0.879 * [simplify]: Simplified to:
   (* d1 (+ 10.0 (+ d2 20.0)))
1.682 * [regime-testing]: End program error score: 0.025503187898487312
1.753 * [regime-testing]: Target error score: 0.025503187898487312