24.029 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3))
0.023 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
0.024 * * [simplify]: iteration  1 :  18  enodes  (cost  9 )
0.027 * * [simplify]: iteration  2 :  32  enodes  (cost  7 )
0.032 * * [simplify]: iteration  3 :  44  enodes  (cost  7 )
0.039 * * [simplify]: iteration  4 :  48  enodes  (cost  7 )
0.045 * * [simplify]: iteration  done :  48  enodes  (cost  7 )
0.045 * [simplify]: Simplified to:
   (* d1 (+ d3 (+ 3.0 d2)))
0.047 * * [progress]: iteration 1 / 4
0.047 * * * [progress]: picking best candidate
0.050 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (* d1 (+ d3 (+ 3.0 d2))))>
0.050 * * * [progress]: localizing error
0.055 * * * [progress]: generating rewritten candidates
0.055 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.086 * * * [progress]: generating series expansions
0.086 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.086 * [approximate]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in (d1 d3 d2) around 0
0.086 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d2
0.086 * [taylor]: Taking taylor expansion of d1 in d2
0.087 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d2
0.087 * [taylor]: Taking taylor expansion of d3 in d2
0.087 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
0.087 * [taylor]: Taking taylor expansion of d2 in d2
0.087 * [taylor]: Taking taylor expansion of 3.0 in d2
0.087 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d3
0.087 * [taylor]: Taking taylor expansion of d1 in d3
0.087 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
0.087 * [taylor]: Taking taylor expansion of d3 in d3
0.087 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
0.087 * [taylor]: Taking taylor expansion of d2 in d3
0.087 * [taylor]: Taking taylor expansion of 3.0 in d3
0.087 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d1
0.087 * [taylor]: Taking taylor expansion of d1 in d1
0.087 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d1
0.087 * [taylor]: Taking taylor expansion of d3 in d1
0.087 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d1
0.087 * [taylor]: Taking taylor expansion of d2 in d1
0.087 * [taylor]: Taking taylor expansion of 3.0 in d1
0.087 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d1
0.087 * [taylor]: Taking taylor expansion of d1 in d1
0.087 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d1
0.087 * [taylor]: Taking taylor expansion of d3 in d1
0.087 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d1
0.087 * [taylor]: Taking taylor expansion of d2 in d1
0.087 * [taylor]: Taking taylor expansion of 3.0 in d1
0.087 * [taylor]: Taking taylor expansion of 0 in d3
0.087 * [taylor]: Taking taylor expansion of 0 in d2
0.088 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
0.088 * [taylor]: Taking taylor expansion of d3 in d3
0.088 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
0.088 * [taylor]: Taking taylor expansion of d2 in d3
0.088 * [taylor]: Taking taylor expansion of 3.0 in d3
0.088 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
0.088 * [taylor]: Taking taylor expansion of d2 in d2
0.088 * [taylor]: Taking taylor expansion of 3.0 in d2
0.089 * [taylor]: Taking taylor expansion of 0 in d2
0.090 * [taylor]: Taking taylor expansion of 0 in d3
0.090 * [taylor]: Taking taylor expansion of 0 in d2
0.090 * [taylor]: Taking taylor expansion of 1 in d2
0.090 * [taylor]: Taking taylor expansion of 0 in d2
0.091 * [approximate]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in (d1 d3 d2) around 0
0.091 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
0.091 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
0.091 * [taylor]: Taking taylor expansion of 3.0 in d2
0.091 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.091 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.091 * [taylor]: Taking taylor expansion of d2 in d2
0.091 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.091 * [taylor]: Taking taylor expansion of d3 in d2
0.091 * [taylor]: Taking taylor expansion of d1 in d2
0.092 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
0.092 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
0.092 * [taylor]: Taking taylor expansion of 3.0 in d3
0.092 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.092 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.092 * [taylor]: Taking taylor expansion of d2 in d3
0.092 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.092 * [taylor]: Taking taylor expansion of d3 in d3
0.092 * [taylor]: Taking taylor expansion of d1 in d3
0.093 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
0.093 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d1
0.093 * [taylor]: Taking taylor expansion of 3.0 in d1
0.093 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.093 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.093 * [taylor]: Taking taylor expansion of d2 in d1
0.093 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.093 * [taylor]: Taking taylor expansion of d3 in d1
0.093 * [taylor]: Taking taylor expansion of d1 in d1
0.093 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
0.093 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d1
0.093 * [taylor]: Taking taylor expansion of 3.0 in d1
0.093 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.093 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.093 * [taylor]: Taking taylor expansion of d2 in d1
0.093 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.093 * [taylor]: Taking taylor expansion of d3 in d1
0.093 * [taylor]: Taking taylor expansion of d1 in d1
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 3.0)) in d3
0.094 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.094 * [taylor]: Taking taylor expansion of d2 in d3
0.094 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 3.0) in d3
0.094 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.094 * [taylor]: Taking taylor expansion of d3 in d3
0.094 * [taylor]: Taking taylor expansion of 3.0 in d3
0.095 * [taylor]: Taking taylor expansion of 1 in d2
0.096 * [taylor]: Taking taylor expansion of 0 in d3
0.097 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 3.0) in d2
0.097 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.097 * [taylor]: Taking taylor expansion of d2 in d2
0.097 * [taylor]: Taking taylor expansion of 3.0 in d2
0.099 * [taylor]: Taking taylor expansion of 0 in d3
0.099 * [taylor]: Taking taylor expansion of 0 in d2
0.100 * [taylor]: Taking taylor expansion of 0 in d2
0.101 * [approximate]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in (d1 d3 d2) around 0
0.101 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2
0.101 * [taylor]: Taking taylor expansion of -1 in d2
0.101 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
0.101 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
0.101 * [taylor]: Taking taylor expansion of 3.0 in d2
0.101 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
0.101 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.101 * [taylor]: Taking taylor expansion of d2 in d2
0.101 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
0.102 * [taylor]: Taking taylor expansion of d3 in d2
0.102 * [taylor]: Taking taylor expansion of d1 in d2
0.102 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
0.102 * [taylor]: Taking taylor expansion of -1 in d3
0.102 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
0.102 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
0.102 * [taylor]: Taking taylor expansion of 3.0 in d3
0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.102 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.102 * [taylor]: Taking taylor expansion of d2 in d3
0.103 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.103 * [taylor]: Taking taylor expansion of d3 in d3
0.103 * [taylor]: Taking taylor expansion of d1 in d3
0.104 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1
0.104 * [taylor]: Taking taylor expansion of -1 in d1
0.104 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
0.104 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d1
0.104 * [taylor]: Taking taylor expansion of 3.0 in d1
0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.104 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.104 * [taylor]: Taking taylor expansion of d2 in d1
0.104 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.104 * [taylor]: Taking taylor expansion of d3 in d1
0.104 * [taylor]: Taking taylor expansion of d1 in d1
0.104 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1
0.104 * [taylor]: Taking taylor expansion of -1 in d1
0.104 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
0.104 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d1
0.104 * [taylor]: Taking taylor expansion of 3.0 in d1
0.104 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
0.104 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
0.104 * [taylor]: Taking taylor expansion of d2 in d1
0.104 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
0.104 * [taylor]: Taking taylor expansion of d3 in d1
0.104 * [taylor]: Taking taylor expansion of d1 in d1
0.105 * [taylor]: Taking taylor expansion of (* -1 (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
0.105 * [taylor]: Taking taylor expansion of -1 in d3
0.105 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
0.105 * [taylor]: Taking taylor expansion of 3.0 in d3
0.105 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
0.105 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
0.105 * [taylor]: Taking taylor expansion of d2 in d3
0.105 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
0.105 * [taylor]: Taking taylor expansion of d3 in d3
0.106 * [taylor]: Taking taylor expansion of 1 in d2
0.108 * [taylor]: Taking taylor expansion of 0 in d3
0.109 * [taylor]: Taking taylor expansion of (- (/ 1 d2) 3.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 3.0 in d2
0.112 * [taylor]: Taking taylor expansion of 0 in d3
0.112 * [taylor]: Taking taylor expansion of 0 in d2
0.114 * [taylor]: Taking taylor expansion of 0 in d2
0.116 * * * [progress]: simplifying candidates
0.116 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* d1 (+ d3 (+ 3.0 d2)))
  (+ (log d1) (log (+ d3 (+ 3.0 d2))))
  (log (* d1 (+ d3 (+ 3.0 d2))))
  (exp (* d1 (+ d3 (+ 3.0 d2))))
  (* (* (* d1 d1) d1) (* (* (+ d3 (+ 3.0 d2)) (+ d3 (+ 3.0 d2))) (+ d3 (+ 3.0 d2))))
  (* (cbrt (* d1 (+ d3 (+ 3.0 d2)))) (cbrt (* d1 (+ d3 (+ 3.0 d2)))))
  (cbrt (* d1 (+ d3 (+ 3.0 d2))))
  (* (* (* d1 (+ d3 (+ 3.0 d2))) (* d1 (+ d3 (+ 3.0 d2)))) (* d1 (+ d3 (+ 3.0 d2))))
  (sqrt (* d1 (+ d3 (+ 3.0 d2))))
  (sqrt (* d1 (+ d3 (+ 3.0 d2))))
  (* (sqrt d1) (sqrt (+ d3 (+ 3.0 d2))))
  (* (sqrt d1) (sqrt (+ d3 (+ 3.0 d2))))
  (* d1 d3)
  (* d1 (+ 3.0 d2))
  (* d3 d1)
  (* (+ 3.0 d2) d1)
  (* d1 (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))))
  (* d1 (sqrt (+ d3 (+ 3.0 d2))))
  (* d1 1)
  (* d1 1)
  (* d1 1)
  (* (cbrt d1) (+ d3 (+ 3.0 d2)))
  (* (sqrt d1) (+ d3 (+ 3.0 d2)))
  (* d1 (+ d3 (+ 3.0 d2)))
  (* d1 (+ (pow d3 3) (pow (+ 3.0 d2) 3)))
  (* d1 (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))
  (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2)))
0.118 * * [simplify]: iteration  0 :  51  enodes  (cost  265 )
0.129 * * [simplify]: iteration  1 :  148  enodes  (cost  252 )
0.162 * * [simplify]: iteration  2 :  456  enodes  (cost  218 )
0.323 * * [simplify]: iteration  3 :  1874  enodes  (cost  218 )
1.261 * * [simplify]: iteration  done :  5000  enodes  (cost  218 )
1.261 * [simplify]: Simplified to:
   (* d1 (+ d3 (+ 3.0 d2)))
  (log (* d1 (+ d3 (+ 3.0 d2))))
  (log (* d1 (+ d3 (+ 3.0 d2))))
  (exp (* d1 (+ d3 (+ 3.0 d2))))
  (pow (* d1 (+ d3 (+ 3.0 d2))) 3)
  (* (cbrt (* d1 (+ d3 (+ 3.0 d2)))) (cbrt (* d1 (+ d3 (+ 3.0 d2)))))
  (cbrt (* d1 (+ d3 (+ 3.0 d2))))
  (pow (* d1 (+ d3 (+ 3.0 d2))) 3)
  (sqrt (* d1 (+ d3 (+ 3.0 d2))))
  (sqrt (* d1 (+ d3 (+ 3.0 d2))))
  (* (sqrt d1) (sqrt (+ d3 (+ 3.0 d2))))
  (* (sqrt d1) (sqrt (+ d3 (+ 3.0 d2))))
  (* d3 d1)
  (* d1 (+ 3.0 d2))
  (* d3 d1)
  (* d1 (+ 3.0 d2))
  (* d1 (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))))
  (* d1 (sqrt (+ d3 (+ 3.0 d2))))
  d1
  d1
  d1
  (* (cbrt d1) (+ d3 (+ 3.0 d2)))
  (* (sqrt d1) (+ d3 (+ 3.0 d2)))
  (* d1 (+ d3 (+ 3.0 d2)))
  (* d1 (+ (pow d3 3) (pow (+ 3.0 d2) 3)))
  (* d1 (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))
  (* d1 (+ d3 (+ 3.0 d2)))
  (* d1 (+ d3 (+ 3.0 d2)))
  (* d1 (+ d3 (+ 3.0 d2)))
1.261 * * * [progress]: adding candidates to table
1.299 * * [progress]: iteration 2 / 4
1.299 * * * [progress]: picking best candidate
1.308 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (* (+ d3 (+ 3.0 d2)) d1))>
1.308 * * * [progress]: localizing error
1.316 * * * [progress]: generating rewritten candidates
1.316 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.344 * * * [progress]: generating series expansions
1.344 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.344 * [approximate]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in (d3 d2 d1) around 0
1.344 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d1
1.344 * [taylor]: Taking taylor expansion of d1 in d1
1.344 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d1
1.344 * [taylor]: Taking taylor expansion of d3 in d1
1.344 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d1
1.344 * [taylor]: Taking taylor expansion of d2 in d1
1.344 * [taylor]: Taking taylor expansion of 3.0 in d1
1.344 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d2
1.344 * [taylor]: Taking taylor expansion of d1 in d2
1.344 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d2
1.344 * [taylor]: Taking taylor expansion of d3 in d2
1.344 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
1.344 * [taylor]: Taking taylor expansion of d2 in d2
1.344 * [taylor]: Taking taylor expansion of 3.0 in d2
1.344 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d3
1.344 * [taylor]: Taking taylor expansion of d1 in d3
1.344 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
1.344 * [taylor]: Taking taylor expansion of d3 in d3
1.344 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
1.344 * [taylor]: Taking taylor expansion of d2 in d3
1.344 * [taylor]: Taking taylor expansion of 3.0 in d3
1.344 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d3
1.345 * [taylor]: Taking taylor expansion of d1 in d3
1.345 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
1.345 * [taylor]: Taking taylor expansion of d3 in d3
1.345 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
1.345 * [taylor]: Taking taylor expansion of d2 in d3
1.345 * [taylor]: Taking taylor expansion of 3.0 in d3
1.345 * [taylor]: Taking taylor expansion of (* d1 (+ d2 3.0)) in d2
1.345 * [taylor]: Taking taylor expansion of d1 in d2
1.345 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
1.345 * [taylor]: Taking taylor expansion of d2 in d2
1.345 * [taylor]: Taking taylor expansion of 3.0 in d2
1.345 * [taylor]: Taking taylor expansion of (* 3.0 d1) in d1
1.345 * [taylor]: Taking taylor expansion of 3.0 in d1
1.345 * [taylor]: Taking taylor expansion of d1 in d1
1.346 * [taylor]: Taking taylor expansion of d1 in d2
1.346 * [taylor]: Taking taylor expansion of d1 in d1
1.347 * [taylor]: Taking taylor expansion of d1 in d1
1.349 * [taylor]: Taking taylor expansion of 0 in d2
1.349 * [taylor]: Taking taylor expansion of 0 in d1
1.349 * [taylor]: Taking taylor expansion of 0 in d1
1.349 * [taylor]: Taking taylor expansion of 0 in d1
1.350 * [approximate]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in (d3 d2 d1) around 0
1.350 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
1.350 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d1
1.350 * [taylor]: Taking taylor expansion of 3.0 in d1
1.350 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
1.350 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
1.350 * [taylor]: Taking taylor expansion of d2 in d1
1.350 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
1.350 * [taylor]: Taking taylor expansion of d3 in d1
1.350 * [taylor]: Taking taylor expansion of d1 in d1
1.350 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
1.350 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
1.350 * [taylor]: Taking taylor expansion of 3.0 in d2
1.350 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
1.350 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.350 * [taylor]: Taking taylor expansion of d2 in d2
1.351 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
1.351 * [taylor]: Taking taylor expansion of d3 in d2
1.351 * [taylor]: Taking taylor expansion of d1 in d2
1.351 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
1.351 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
1.351 * [taylor]: Taking taylor expansion of 3.0 in d3
1.351 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
1.351 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
1.351 * [taylor]: Taking taylor expansion of d2 in d3
1.351 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
1.351 * [taylor]: Taking taylor expansion of d3 in d3
1.352 * [taylor]: Taking taylor expansion of d1 in d3
1.352 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
1.352 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
1.352 * [taylor]: Taking taylor expansion of 3.0 in d3
1.352 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
1.352 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
1.352 * [taylor]: Taking taylor expansion of d2 in d3
1.352 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
1.352 * [taylor]: Taking taylor expansion of d3 in d3
1.353 * [taylor]: Taking taylor expansion of d1 in d3
1.353 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
1.353 * [taylor]: Taking taylor expansion of d1 in d2
1.354 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d2
1.354 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d2
1.354 * [taylor]: Taking taylor expansion of 3.0 in d2
1.354 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
1.354 * [taylor]: Taking taylor expansion of d1 in d2
1.354 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
1.354 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
1.354 * [taylor]: Taking taylor expansion of d1 in d2
1.354 * [taylor]: Taking taylor expansion of d2 in d2
1.355 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
1.355 * [taylor]: Taking taylor expansion of d1 in d1
1.355 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
1.355 * [taylor]: Taking taylor expansion of d1 in d1
1.356 * [taylor]: Taking taylor expansion of 0 in d2
1.357 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d1
1.357 * [taylor]: Taking taylor expansion of 3.0 in d1
1.357 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
1.357 * [taylor]: Taking taylor expansion of d1 in d1
1.358 * [approximate]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in (d3 d2 d1) around 0
1.359 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1
1.359 * [taylor]: Taking taylor expansion of -1 in d1
1.359 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
1.359 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d1
1.359 * [taylor]: Taking taylor expansion of 3.0 in d1
1.359 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
1.359 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
1.359 * [taylor]: Taking taylor expansion of d2 in d1
1.359 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
1.359 * [taylor]: Taking taylor expansion of d3 in d1
1.359 * [taylor]: Taking taylor expansion of d1 in d1
1.359 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2
1.359 * [taylor]: Taking taylor expansion of -1 in d2
1.359 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
1.359 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
1.359 * [taylor]: Taking taylor expansion of 3.0 in d2
1.359 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
1.359 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.359 * [taylor]: Taking taylor expansion of d2 in d2
1.359 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
1.359 * [taylor]: Taking taylor expansion of d3 in d2
1.359 * [taylor]: Taking taylor expansion of d1 in d2
1.360 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
1.360 * [taylor]: Taking taylor expansion of -1 in d3
1.360 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
1.360 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
1.360 * [taylor]: Taking taylor expansion of 3.0 in d3
1.360 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
1.360 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
1.360 * [taylor]: Taking taylor expansion of d2 in d3
1.360 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
1.360 * [taylor]: Taking taylor expansion of d3 in d3
1.361 * [taylor]: Taking taylor expansion of d1 in d3
1.361 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
1.362 * [taylor]: Taking taylor expansion of -1 in d3
1.362 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
1.362 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
1.362 * [taylor]: Taking taylor expansion of 3.0 in d3
1.362 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
1.362 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
1.362 * [taylor]: Taking taylor expansion of d2 in d3
1.362 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
1.362 * [taylor]: Taking taylor expansion of d3 in d3
1.362 * [taylor]: Taking taylor expansion of d1 in d3
1.363 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
1.363 * [taylor]: Taking taylor expansion of d1 in d2
1.364 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 3.0 (/ 1 d1))) in d2
1.364 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
1.364 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
1.364 * [taylor]: Taking taylor expansion of d1 in d2
1.364 * [taylor]: Taking taylor expansion of d2 in d2
1.364 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d2
1.364 * [taylor]: Taking taylor expansion of 3.0 in d2
1.364 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
1.364 * [taylor]: Taking taylor expansion of d1 in d2
1.364 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
1.364 * [taylor]: Taking taylor expansion of d1 in d1
1.365 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
1.365 * [taylor]: Taking taylor expansion of d1 in d1
1.367 * [taylor]: Taking taylor expansion of 0 in d2
1.367 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 d1))) in d1
1.367 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d1
1.367 * [taylor]: Taking taylor expansion of 3.0 in d1
1.367 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
1.367 * [taylor]: Taking taylor expansion of d1 in d1
1.369 * * * [progress]: simplifying candidates
1.370 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (+ d3 (+ 3.0 d2)) d1)
  (+ (log (+ d3 (+ 3.0 d2))) (log d1))
  (log (* (+ d3 (+ 3.0 d2)) d1))
  (exp (* (+ d3 (+ 3.0 d2)) d1))
  (* (* (* (+ d3 (+ 3.0 d2)) (+ d3 (+ 3.0 d2))) (+ d3 (+ 3.0 d2))) (* (* d1 d1) d1))
  (* (cbrt (* (+ d3 (+ 3.0 d2)) d1)) (cbrt (* (+ d3 (+ 3.0 d2)) d1)))
  (cbrt (* (+ d3 (+ 3.0 d2)) d1))
  (* (* (* (+ d3 (+ 3.0 d2)) d1) (* (+ d3 (+ 3.0 d2)) d1)) (* (+ d3 (+ 3.0 d2)) d1))
  (sqrt (* (+ d3 (+ 3.0 d2)) d1))
  (sqrt (* (+ d3 (+ 3.0 d2)) d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) (sqrt d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) (sqrt d1))
  (* (+ d3 (+ 3.0 d2)) (* (cbrt d1) (cbrt d1)))
  (* (+ d3 (+ 3.0 d2)) (sqrt d1))
  (* (+ d3 (+ 3.0 d2)) 1)
  (* (cbrt (+ d3 (+ 3.0 d2))) d1)
  (* (sqrt (+ d3 (+ 3.0 d2))) d1)
  (* (+ d3 (+ 3.0 d2)) d1)
  (* (+ d3 (+ 3.0 d2)) d1)
  (* (+ d3 (+ 3.0 d2)) d1)
  (* (+ (pow d3 3) (pow (+ 3.0 d2) 3)) d1)
  (* (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))) d1)
  (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2)))
1.371 * * [simplify]: iteration  0 :  48  enodes  (cost  257 )
1.380 * * [simplify]: iteration  1 :  126  enodes  (cost  248 )
1.412 * * [simplify]: iteration  2 :  475  enodes  (cost  214 )
1.828 * * [simplify]: iteration  3 :  2427  enodes  (cost  214 )
3.626 * * [simplify]: iteration  done :  5000  enodes  (cost  214 )
3.626 * [simplify]: Simplified to:
   (* (+ d3 (+ 3.0 d2)) d1)
  (log (* (+ d3 (+ 3.0 d2)) d1))
  (log (* (+ d3 (+ 3.0 d2)) d1))
  (exp (* (+ d3 (+ 3.0 d2)) d1))
  (pow (* (+ d3 (+ 3.0 d2)) d1) 3)
  (* (cbrt (* (+ d3 (+ 3.0 d2)) d1)) (cbrt (* (+ d3 (+ 3.0 d2)) d1)))
  (cbrt (* (+ d3 (+ 3.0 d2)) d1))
  (pow (* (+ d3 (+ 3.0 d2)) d1) 3)
  (sqrt (* (+ d3 (+ 3.0 d2)) d1))
  (sqrt (* (+ d3 (+ 3.0 d2)) d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) (sqrt d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) (sqrt d1))
  (* (+ d3 (+ 3.0 d2)) (* (cbrt d1) (cbrt d1)))
  (* (+ d3 (+ 3.0 d2)) (sqrt d1))
  (+ d3 (+ 3.0 d2))
  (* (cbrt (+ d3 (+ 3.0 d2))) d1)
  (* (sqrt (+ d3 (+ 3.0 d2))) d1)
  (* (+ d3 (+ 3.0 d2)) d1)
  (* (+ d3 (+ 3.0 d2)) d1)
  (* (+ d3 (+ 3.0 d2)) d1)
  (* (+ (pow d3 3) (pow (+ 3.0 d2) 3)) d1)
  (* (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))) d1)
  (* (+ d3 (+ 3.0 d2)) d1)
  (* (+ d3 (+ 3.0 d2)) d1)
  (* (+ d3 (+ 3.0 d2)) d1)
3.626 * * * [progress]: adding candidates to table
3.668 * * [progress]: iteration 3 / 4
3.668 * * * [progress]: picking best candidate
3.676 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (* (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))) (* (cbrt (+ d3 (+ 3.0 d2))) d1)))>
3.676 * * * [progress]: localizing error
3.685 * * * [progress]: generating rewritten candidates
3.685 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.744 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
3.751 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
3.758 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
3.769 * * * [progress]: generating series expansions
3.769 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.769 * [approximate]: Taking taylor expansion of (pow (pow (+ d3 (+ d2 3.0)) 2) 1/3) in (d3 d2) around 0
3.769 * [taylor]: Taking taylor expansion of (pow (pow (+ d3 (+ d2 3.0)) 2) 1/3) in d2
3.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d3 (+ d2 3.0)) 2)))) in d2
3.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d3 (+ d2 3.0)) 2))) in d2
3.769 * [taylor]: Taking taylor expansion of 1/3 in d2
3.769 * [taylor]: Taking taylor expansion of (log (pow (+ d3 (+ d2 3.0)) 2)) in d2
3.769 * [taylor]: Taking taylor expansion of (pow (+ d3 (+ d2 3.0)) 2) in d2
3.769 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d2
3.769 * [taylor]: Taking taylor expansion of d3 in d2
3.769 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
3.769 * [taylor]: Taking taylor expansion of d2 in d2
3.769 * [taylor]: Taking taylor expansion of 3.0 in d2
3.770 * [taylor]: Taking taylor expansion of (pow (pow (+ d3 (+ d2 3.0)) 2) 1/3) in d3
3.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d3 (+ d2 3.0)) 2)))) in d3
3.770 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d3 (+ d2 3.0)) 2))) in d3
3.770 * [taylor]: Taking taylor expansion of 1/3 in d3
3.770 * [taylor]: Taking taylor expansion of (log (pow (+ d3 (+ d2 3.0)) 2)) in d3
3.770 * [taylor]: Taking taylor expansion of (pow (+ d3 (+ d2 3.0)) 2) in d3
3.770 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
3.770 * [taylor]: Taking taylor expansion of d3 in d3
3.770 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
3.770 * [taylor]: Taking taylor expansion of d2 in d3
3.770 * [taylor]: Taking taylor expansion of 3.0 in d3
3.771 * [taylor]: Taking taylor expansion of (pow (pow (+ d3 (+ d2 3.0)) 2) 1/3) in d3
3.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d3 (+ d2 3.0)) 2)))) in d3
3.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d3 (+ d2 3.0)) 2))) in d3
3.771 * [taylor]: Taking taylor expansion of 1/3 in d3
3.771 * [taylor]: Taking taylor expansion of (log (pow (+ d3 (+ d2 3.0)) 2)) in d3
3.771 * [taylor]: Taking taylor expansion of (pow (+ d3 (+ d2 3.0)) 2) in d3
3.771 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
3.771 * [taylor]: Taking taylor expansion of d3 in d3
3.771 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
3.771 * [taylor]: Taking taylor expansion of d2 in d3
3.771 * [taylor]: Taking taylor expansion of 3.0 in d3
3.771 * [taylor]: Taking taylor expansion of (pow (pow (+ d2 3.0) 2) 1/3) in d2
3.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d2 3.0) 2)))) in d2
3.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d2 3.0) 2))) in d2
3.771 * [taylor]: Taking taylor expansion of 1/3 in d2
3.771 * [taylor]: Taking taylor expansion of (log (pow (+ d2 3.0) 2)) in d2
3.771 * [taylor]: Taking taylor expansion of (pow (+ d2 3.0) 2) in d2
3.771 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
3.771 * [taylor]: Taking taylor expansion of d2 in d2
3.771 * [taylor]: Taking taylor expansion of 3.0 in d2
3.776 * [taylor]: Taking taylor expansion of (* (pow (pow (+ d2 3.0) 2) 1/3) (+ (* 2/3 (/ d2 (pow (+ d2 3.0) 2))) (* 2.0 (/ 1 (pow (+ d2 3.0) 2))))) in d2
3.776 * [taylor]: Taking taylor expansion of (pow (pow (+ d2 3.0) 2) 1/3) in d2
3.776 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d2 3.0) 2)))) in d2
3.776 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d2 3.0) 2))) in d2
3.776 * [taylor]: Taking taylor expansion of 1/3 in d2
3.776 * [taylor]: Taking taylor expansion of (log (pow (+ d2 3.0) 2)) in d2
3.776 * [taylor]: Taking taylor expansion of (pow (+ d2 3.0) 2) in d2
3.776 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
3.776 * [taylor]: Taking taylor expansion of d2 in d2
3.776 * [taylor]: Taking taylor expansion of 3.0 in d2
3.778 * [taylor]: Taking taylor expansion of (+ (* 2/3 (/ d2 (pow (+ d2 3.0) 2))) (* 2.0 (/ 1 (pow (+ d2 3.0) 2)))) in d2
3.779 * [taylor]: Taking taylor expansion of (* 2/3 (/ d2 (pow (+ d2 3.0) 2))) in d2
3.779 * [taylor]: Taking taylor expansion of 2/3 in d2
3.779 * [taylor]: Taking taylor expansion of (/ d2 (pow (+ d2 3.0) 2)) in d2
3.779 * [taylor]: Taking taylor expansion of d2 in d2
3.779 * [taylor]: Taking taylor expansion of (pow (+ d2 3.0) 2) in d2
3.779 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
3.779 * [taylor]: Taking taylor expansion of d2 in d2
3.779 * [taylor]: Taking taylor expansion of 3.0 in d2
3.780 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow (+ d2 3.0) 2))) in d2
3.780 * [taylor]: Taking taylor expansion of 2.0 in d2
3.780 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ d2 3.0) 2)) in d2
3.780 * [taylor]: Taking taylor expansion of (pow (+ d2 3.0) 2) in d2
3.780 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
3.780 * [taylor]: Taking taylor expansion of d2 in d2
3.780 * [taylor]: Taking taylor expansion of 3.0 in d2
3.795 * [approximate]: Taking taylor expansion of (pow (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2) 1/3) in (d3 d2) around 0
3.795 * [taylor]: Taking taylor expansion of (pow (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2) 1/3) in d2
3.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2)))) in d2
3.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2))) in d2
3.795 * [taylor]: Taking taylor expansion of 1/3 in d2
3.795 * [taylor]: Taking taylor expansion of (log (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2)) in d2
3.795 * [taylor]: Taking taylor expansion of (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2) in d2
3.795 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
3.795 * [taylor]: Taking taylor expansion of 3.0 in d2
3.795 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
3.795 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.795 * [taylor]: Taking taylor expansion of d2 in d2
3.795 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.795 * [taylor]: Taking taylor expansion of d3 in d2
3.797 * [taylor]: Taking taylor expansion of (pow (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2) 1/3) in d3
3.797 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2)))) in d3
3.797 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2))) in d3
3.797 * [taylor]: Taking taylor expansion of 1/3 in d3
3.797 * [taylor]: Taking taylor expansion of (log (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2)) in d3
3.797 * [taylor]: Taking taylor expansion of (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2) in d3
3.797 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
3.797 * [taylor]: Taking taylor expansion of 3.0 in d3
3.797 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
3.797 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
3.797 * [taylor]: Taking taylor expansion of d2 in d3
3.797 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.797 * [taylor]: Taking taylor expansion of d3 in d3
3.798 * [taylor]: Taking taylor expansion of (pow (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2) 1/3) in d3
3.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2)))) in d3
3.799 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2))) in d3
3.799 * [taylor]: Taking taylor expansion of 1/3 in d3
3.799 * [taylor]: Taking taylor expansion of (log (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2)) in d3
3.799 * [taylor]: Taking taylor expansion of (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2) in d3
3.799 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
3.799 * [taylor]: Taking taylor expansion of 3.0 in d3
3.799 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
3.799 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
3.799 * [taylor]: Taking taylor expansion of d2 in d3
3.799 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.799 * [taylor]: Taking taylor expansion of d3 in d3
3.800 * [taylor]: Taking taylor expansion of (pow d3 -2/3) in d2
3.800 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log d3))) in d2
3.800 * [taylor]: Taking taylor expansion of (* -2/3 (log d3)) in d2
3.800 * [taylor]: Taking taylor expansion of -2/3 in d2
3.800 * [taylor]: Taking taylor expansion of (log d3) in d2
3.800 * [taylor]: Taking taylor expansion of d3 in d2
3.807 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow d3 2)) 1/3) (+ (* 2/3 (/ 1 d2)) 2.0)) in d2
3.807 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d3 2)) 1/3) in d2
3.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d3 2))))) in d2
3.807 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d3 2)))) in d2
3.807 * [taylor]: Taking taylor expansion of 1/3 in d2
3.807 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d3 2))) in d2
3.807 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d2
3.807 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
3.807 * [taylor]: Taking taylor expansion of d3 in d2
3.807 * [taylor]: Taking taylor expansion of (+ (* 2/3 (/ 1 d2)) 2.0) in d2
3.807 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 d2)) in d2
3.807 * [taylor]: Taking taylor expansion of 2/3 in d2
3.807 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.807 * [taylor]: Taking taylor expansion of d2 in d2
3.807 * [taylor]: Taking taylor expansion of 2.0 in d2
3.817 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (pow d3 2)) 1/3) (+ (* 1/9 (/ 1 (pow d2 2))) (+ (* 0.6666666666666667 (/ 1 d2)) 1.0)))) in d2
3.817 * [taylor]: Taking taylor expansion of -1 in d2
3.817 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow d3 2)) 1/3) (+ (* 1/9 (/ 1 (pow d2 2))) (+ (* 0.6666666666666667 (/ 1 d2)) 1.0))) in d2
3.817 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d3 2)) 1/3) in d2
3.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d3 2))))) in d2
3.817 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d3 2)))) in d2
3.817 * [taylor]: Taking taylor expansion of 1/3 in d2
3.817 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d3 2))) in d2
3.817 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d2
3.817 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
3.817 * [taylor]: Taking taylor expansion of d3 in d2
3.817 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ 1 (pow d2 2))) (+ (* 0.6666666666666667 (/ 1 d2)) 1.0)) in d2
3.817 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow d2 2))) in d2
3.817 * [taylor]: Taking taylor expansion of 1/9 in d2
3.817 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2
3.817 * [taylor]: Taking taylor expansion of (pow d2 2) in d2
3.817 * [taylor]: Taking taylor expansion of d2 in d2
3.818 * [taylor]: Taking taylor expansion of (+ (* 0.6666666666666667 (/ 1 d2)) 1.0) in d2
3.818 * [taylor]: Taking taylor expansion of (* 0.6666666666666667 (/ 1 d2)) in d2
3.818 * [taylor]: Taking taylor expansion of 0.6666666666666667 in d2
3.818 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.818 * [taylor]: Taking taylor expansion of d2 in d2
3.818 * [taylor]: Taking taylor expansion of 1.0 in d2
3.831 * [approximate]: Taking taylor expansion of (pow (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2) 1/3) in (d3 d2) around 0
3.831 * [taylor]: Taking taylor expansion of (pow (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2) 1/3) in d2
3.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2)))) in d2
3.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2))) in d2
3.831 * [taylor]: Taking taylor expansion of 1/3 in d2
3.831 * [taylor]: Taking taylor expansion of (log (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2)) in d2
3.831 * [taylor]: Taking taylor expansion of (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2) in d2
3.831 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
3.831 * [taylor]: Taking taylor expansion of 3.0 in d2
3.831 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
3.831 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.831 * [taylor]: Taking taylor expansion of d2 in d2
3.832 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.832 * [taylor]: Taking taylor expansion of d3 in d2
3.833 * [taylor]: Taking taylor expansion of (pow (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2) 1/3) in d3
3.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2)))) in d3
3.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2))) in d3
3.833 * [taylor]: Taking taylor expansion of 1/3 in d3
3.833 * [taylor]: Taking taylor expansion of (log (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2)) in d3
3.833 * [taylor]: Taking taylor expansion of (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2) in d3
3.833 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
3.833 * [taylor]: Taking taylor expansion of 3.0 in d3
3.834 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
3.834 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
3.834 * [taylor]: Taking taylor expansion of d2 in d3
3.834 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.834 * [taylor]: Taking taylor expansion of d3 in d3
3.835 * [taylor]: Taking taylor expansion of (pow (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2) 1/3) in d3
3.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2)))) in d3
3.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2))) in d3
3.835 * [taylor]: Taking taylor expansion of 1/3 in d3
3.835 * [taylor]: Taking taylor expansion of (log (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2)) in d3
3.835 * [taylor]: Taking taylor expansion of (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 2) in d3
3.836 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
3.836 * [taylor]: Taking taylor expansion of 3.0 in d3
3.836 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
3.836 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
3.836 * [taylor]: Taking taylor expansion of d2 in d3
3.836 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.836 * [taylor]: Taking taylor expansion of d3 in d3
3.837 * [taylor]: Taking taylor expansion of (pow d3 -2/3) in d2
3.837 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log d3))) in d2
3.838 * [taylor]: Taking taylor expansion of (* -2/3 (log d3)) in d2
3.838 * [taylor]: Taking taylor expansion of -2/3 in d2
3.838 * [taylor]: Taking taylor expansion of (log d3) in d2
3.838 * [taylor]: Taking taylor expansion of d3 in d2
3.839 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow d3 2)) 1/3) (- (* 2/3 (/ 1 d2)) 2.0)) in d2
3.839 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d3 2)) 1/3) in d2
3.839 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d3 2))))) in d2
3.839 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d3 2)))) in d2
3.839 * [taylor]: Taking taylor expansion of 1/3 in d2
3.839 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d3 2))) in d2
3.840 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d2
3.840 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
3.840 * [taylor]: Taking taylor expansion of d3 in d2
3.840 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ 1 d2)) 2.0) in d2
3.840 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 d2)) in d2
3.840 * [taylor]: Taking taylor expansion of 2/3 in d2
3.840 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.840 * [taylor]: Taking taylor expansion of d2 in d2
3.840 * [taylor]: Taking taylor expansion of 2.0 in d2
3.850 * [taylor]: Taking taylor expansion of (* (- (* 0.6666666666666667 (/ 1 d2)) (+ (* 1/9 (/ 1 (pow d2 2))) 1.0)) (pow (/ 1 (pow d3 2)) 1/3)) in d2
3.850 * [taylor]: Taking taylor expansion of (- (* 0.6666666666666667 (/ 1 d2)) (+ (* 1/9 (/ 1 (pow d2 2))) 1.0)) in d2
3.850 * [taylor]: Taking taylor expansion of (* 0.6666666666666667 (/ 1 d2)) in d2
3.850 * [taylor]: Taking taylor expansion of 0.6666666666666667 in d2
3.850 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.851 * [taylor]: Taking taylor expansion of d2 in d2
3.851 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ 1 (pow d2 2))) 1.0) in d2
3.851 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow d2 2))) in d2
3.851 * [taylor]: Taking taylor expansion of 1/9 in d2
3.851 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2
3.851 * [taylor]: Taking taylor expansion of (pow d2 2) in d2
3.851 * [taylor]: Taking taylor expansion of d2 in d2
3.851 * [taylor]: Taking taylor expansion of 1.0 in d2
3.851 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow d3 2)) 1/3) in d2
3.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow d3 2))))) in d2
3.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow d3 2)))) in d2
3.852 * [taylor]: Taking taylor expansion of 1/3 in d2
3.852 * [taylor]: Taking taylor expansion of (log (/ 1 (pow d3 2))) in d2
3.852 * [taylor]: Taking taylor expansion of (/ 1 (pow d3 2)) in d2
3.852 * [taylor]: Taking taylor expansion of (pow d3 2) in d2
3.852 * [taylor]: Taking taylor expansion of d3 in d2
3.865 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
3.865 * [approximate]: Taking taylor expansion of (pow (+ d3 (+ d2 3.0)) 1/3) in (d3 d2) around 0
3.865 * [taylor]: Taking taylor expansion of (pow (+ d3 (+ d2 3.0)) 1/3) in d2
3.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 (+ d2 3.0))))) in d2
3.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 (+ d2 3.0)))) in d2
3.865 * [taylor]: Taking taylor expansion of 1/3 in d2
3.865 * [taylor]: Taking taylor expansion of (log (+ d3 (+ d2 3.0))) in d2
3.865 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d2
3.865 * [taylor]: Taking taylor expansion of d3 in d2
3.865 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
3.865 * [taylor]: Taking taylor expansion of d2 in d2
3.865 * [taylor]: Taking taylor expansion of 3.0 in d2
3.865 * [taylor]: Taking taylor expansion of (pow (+ d3 (+ d2 3.0)) 1/3) in d3
3.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 (+ d2 3.0))))) in d3
3.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 (+ d2 3.0)))) in d3
3.865 * [taylor]: Taking taylor expansion of 1/3 in d3
3.865 * [taylor]: Taking taylor expansion of (log (+ d3 (+ d2 3.0))) in d3
3.865 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
3.866 * [taylor]: Taking taylor expansion of d3 in d3
3.866 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
3.866 * [taylor]: Taking taylor expansion of d2 in d3
3.866 * [taylor]: Taking taylor expansion of 3.0 in d3
3.866 * [taylor]: Taking taylor expansion of (pow (+ d3 (+ d2 3.0)) 1/3) in d3
3.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 (+ d2 3.0))))) in d3
3.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 (+ d2 3.0)))) in d3
3.866 * [taylor]: Taking taylor expansion of 1/3 in d3
3.866 * [taylor]: Taking taylor expansion of (log (+ d3 (+ d2 3.0))) in d3
3.866 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
3.866 * [taylor]: Taking taylor expansion of d3 in d3
3.866 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
3.866 * [taylor]: Taking taylor expansion of d2 in d3
3.866 * [taylor]: Taking taylor expansion of 3.0 in d3
3.866 * [taylor]: Taking taylor expansion of (pow (+ d2 3.0) 1/3) in d2
3.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d2 3.0)))) in d2
3.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d2 3.0))) in d2
3.866 * [taylor]: Taking taylor expansion of 1/3 in d2
3.866 * [taylor]: Taking taylor expansion of (log (+ d2 3.0)) in d2
3.866 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
3.866 * [taylor]: Taking taylor expansion of d2 in d2
3.866 * [taylor]: Taking taylor expansion of 3.0 in d2
3.870 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow (+ d2 3.0) 2)) 1/3)) in d2
3.870 * [taylor]: Taking taylor expansion of 1/3 in d2
3.870 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (+ d2 3.0) 2)) 1/3) in d2
3.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (+ d2 3.0) 2))))) in d2
3.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (+ d2 3.0) 2)))) in d2
3.870 * [taylor]: Taking taylor expansion of 1/3 in d2
3.870 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (+ d2 3.0) 2))) in d2
3.870 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ d2 3.0) 2)) in d2
3.870 * [taylor]: Taking taylor expansion of (pow (+ d2 3.0) 2) in d2
3.870 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
3.870 * [taylor]: Taking taylor expansion of d2 in d2
3.870 * [taylor]: Taking taylor expansion of 3.0 in d2
3.884 * [approximate]: Taking taylor expansion of (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in (d3 d2) around 0
3.884 * [taylor]: Taking taylor expansion of (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d2
3.884 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d2
3.884 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d2
3.884 * [taylor]: Taking taylor expansion of 1/3 in d2
3.885 * [taylor]: Taking taylor expansion of (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d2
3.885 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
3.885 * [taylor]: Taking taylor expansion of 3.0 in d2
3.885 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
3.885 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.885 * [taylor]: Taking taylor expansion of d2 in d2
3.885 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.885 * [taylor]: Taking taylor expansion of d3 in d2
3.886 * [taylor]: Taking taylor expansion of (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d3
3.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
3.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
3.886 * [taylor]: Taking taylor expansion of 1/3 in d3
3.886 * [taylor]: Taking taylor expansion of (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
3.886 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
3.886 * [taylor]: Taking taylor expansion of 3.0 in d3
3.886 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
3.886 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
3.886 * [taylor]: Taking taylor expansion of d2 in d3
3.886 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.886 * [taylor]: Taking taylor expansion of d3 in d3
3.888 * [taylor]: Taking taylor expansion of (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d3
3.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
3.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
3.888 * [taylor]: Taking taylor expansion of 1/3 in d3
3.888 * [taylor]: Taking taylor expansion of (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
3.888 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
3.888 * [taylor]: Taking taylor expansion of 3.0 in d3
3.888 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
3.888 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
3.888 * [taylor]: Taking taylor expansion of d2 in d3
3.888 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.888 * [taylor]: Taking taylor expansion of d3 in d3
3.889 * [taylor]: Taking taylor expansion of (pow d3 -1/3) in d2
3.889 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log d3))) in d2
3.889 * [taylor]: Taking taylor expansion of (* -1/3 (log d3)) in d2
3.889 * [taylor]: Taking taylor expansion of -1/3 in d2
3.889 * [taylor]: Taking taylor expansion of (log d3) in d2
3.889 * [taylor]: Taking taylor expansion of d3 in d2
3.891 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (/ 1 d2)) 1.0) (pow (/ 1 d3) 1/3)) in d2
3.891 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 d2)) 1.0) in d2
3.891 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 d2)) in d2
3.891 * [taylor]: Taking taylor expansion of 1/3 in d2
3.891 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.891 * [taylor]: Taking taylor expansion of d2 in d2
3.891 * [taylor]: Taking taylor expansion of 1.0 in d2
3.891 * [taylor]: Taking taylor expansion of (pow (/ 1 d3) 1/3) in d2
3.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d3)))) in d2
3.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d3))) in d2
3.891 * [taylor]: Taking taylor expansion of 1/3 in d2
3.891 * [taylor]: Taking taylor expansion of (log (/ 1 d3)) in d2
3.891 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.891 * [taylor]: Taking taylor expansion of d3 in d2
3.905 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 d3) 1/3) (+ (* 1/9 (/ 1 (pow d2 2))) (+ (* 0.6666666666666667 (/ 1 d2)) 1.0)))) in d2
3.905 * [taylor]: Taking taylor expansion of -1 in d2
3.906 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d3) 1/3) (+ (* 1/9 (/ 1 (pow d2 2))) (+ (* 0.6666666666666667 (/ 1 d2)) 1.0))) in d2
3.906 * [taylor]: Taking taylor expansion of (pow (/ 1 d3) 1/3) in d2
3.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d3)))) in d2
3.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d3))) in d2
3.906 * [taylor]: Taking taylor expansion of 1/3 in d2
3.906 * [taylor]: Taking taylor expansion of (log (/ 1 d3)) in d2
3.906 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.906 * [taylor]: Taking taylor expansion of d3 in d2
3.906 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ 1 (pow d2 2))) (+ (* 0.6666666666666667 (/ 1 d2)) 1.0)) in d2
3.906 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow d2 2))) in d2
3.906 * [taylor]: Taking taylor expansion of 1/9 in d2
3.906 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2
3.906 * [taylor]: Taking taylor expansion of (pow d2 2) in d2
3.906 * [taylor]: Taking taylor expansion of d2 in d2
3.906 * [taylor]: Taking taylor expansion of (+ (* 0.6666666666666667 (/ 1 d2)) 1.0) in d2
3.906 * [taylor]: Taking taylor expansion of (* 0.6666666666666667 (/ 1 d2)) in d2
3.906 * [taylor]: Taking taylor expansion of 0.6666666666666667 in d2
3.906 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.906 * [taylor]: Taking taylor expansion of d2 in d2
3.907 * [taylor]: Taking taylor expansion of 1.0 in d2
3.918 * [approximate]: Taking taylor expansion of (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in (d3 d2) around 0
3.918 * [taylor]: Taking taylor expansion of (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d2
3.918 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d2
3.918 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d2
3.918 * [taylor]: Taking taylor expansion of 1/3 in d2
3.918 * [taylor]: Taking taylor expansion of (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d2
3.918 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
3.918 * [taylor]: Taking taylor expansion of 3.0 in d2
3.918 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
3.918 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.918 * [taylor]: Taking taylor expansion of d2 in d2
3.918 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.918 * [taylor]: Taking taylor expansion of d3 in d2
3.920 * [taylor]: Taking taylor expansion of (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d3
3.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
3.921 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
3.921 * [taylor]: Taking taylor expansion of 1/3 in d3
3.921 * [taylor]: Taking taylor expansion of (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
3.921 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
3.921 * [taylor]: Taking taylor expansion of 3.0 in d3
3.921 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
3.921 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
3.921 * [taylor]: Taking taylor expansion of d2 in d3
3.921 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.921 * [taylor]: Taking taylor expansion of d3 in d3
3.923 * [taylor]: Taking taylor expansion of (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d3
3.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
3.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
3.923 * [taylor]: Taking taylor expansion of 1/3 in d3
3.923 * [taylor]: Taking taylor expansion of (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
3.923 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
3.923 * [taylor]: Taking taylor expansion of 3.0 in d3
3.923 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
3.923 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
3.923 * [taylor]: Taking taylor expansion of d2 in d3
3.923 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.923 * [taylor]: Taking taylor expansion of d3 in d3
3.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log d3)))) in d2
3.926 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log d3))) in d2
3.926 * [taylor]: Taking taylor expansion of 1/3 in d2
3.926 * [taylor]: Taking taylor expansion of (- (log -1) (log d3)) in d2
3.926 * [taylor]: Taking taylor expansion of (log -1) in d2
3.926 * [taylor]: Taking taylor expansion of -1 in d2
3.926 * [taylor]: Taking taylor expansion of (log d3) in d2
3.926 * [taylor]: Taking taylor expansion of d3 in d2
3.930 * [taylor]: Taking taylor expansion of (* (- (* 1/3 (/ 1 d2)) 1.0) (exp (* 1/3 (- (log -1) (log d3))))) in d2
3.930 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 d2)) 1.0) in d2
3.930 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 d2)) in d2
3.930 * [taylor]: Taking taylor expansion of 1/3 in d2
3.930 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.930 * [taylor]: Taking taylor expansion of d2 in d2
3.930 * [taylor]: Taking taylor expansion of 1.0 in d2
3.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log d3)))) in d2
3.930 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log d3))) in d2
3.930 * [taylor]: Taking taylor expansion of 1/3 in d2
3.930 * [taylor]: Taking taylor expansion of (- (log -1) (log d3)) in d2
3.930 * [taylor]: Taking taylor expansion of (log -1) in d2
3.930 * [taylor]: Taking taylor expansion of -1 in d2
3.930 * [taylor]: Taking taylor expansion of (log d3) in d2
3.931 * [taylor]: Taking taylor expansion of d3 in d2
3.945 * [taylor]: Taking taylor expansion of (* (- (* 0.6666666666666667 (/ 1 d2)) (+ (* 1/9 (/ 1 (pow d2 2))) 1.0)) (exp (* 1/3 (- (log -1) (log d3))))) in d2
3.945 * [taylor]: Taking taylor expansion of (- (* 0.6666666666666667 (/ 1 d2)) (+ (* 1/9 (/ 1 (pow d2 2))) 1.0)) in d2
3.945 * [taylor]: Taking taylor expansion of (* 0.6666666666666667 (/ 1 d2)) in d2
3.945 * [taylor]: Taking taylor expansion of 0.6666666666666667 in d2
3.945 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.945 * [taylor]: Taking taylor expansion of d2 in d2
3.946 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ 1 (pow d2 2))) 1.0) in d2
3.946 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow d2 2))) in d2
3.946 * [taylor]: Taking taylor expansion of 1/9 in d2
3.946 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2
3.946 * [taylor]: Taking taylor expansion of (pow d2 2) in d2
3.946 * [taylor]: Taking taylor expansion of d2 in d2
3.946 * [taylor]: Taking taylor expansion of 1.0 in d2
3.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log d3)))) in d2
3.946 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log d3))) in d2
3.946 * [taylor]: Taking taylor expansion of 1/3 in d2
3.946 * [taylor]: Taking taylor expansion of (- (log -1) (log d3)) in d2
3.946 * [taylor]: Taking taylor expansion of (log -1) in d2
3.946 * [taylor]: Taking taylor expansion of -1 in d2
3.947 * [taylor]: Taking taylor expansion of (log d3) in d2
3.947 * [taylor]: Taking taylor expansion of d3 in d2
3.965 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
3.965 * [approximate]: Taking taylor expansion of (pow (+ d3 (+ d2 3.0)) 1/3) in (d3 d2) around 0
3.965 * [taylor]: Taking taylor expansion of (pow (+ d3 (+ d2 3.0)) 1/3) in d2
3.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 (+ d2 3.0))))) in d2
3.965 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 (+ d2 3.0)))) in d2
3.965 * [taylor]: Taking taylor expansion of 1/3 in d2
3.965 * [taylor]: Taking taylor expansion of (log (+ d3 (+ d2 3.0))) in d2
3.965 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d2
3.965 * [taylor]: Taking taylor expansion of d3 in d2
3.965 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
3.965 * [taylor]: Taking taylor expansion of d2 in d2
3.965 * [taylor]: Taking taylor expansion of 3.0 in d2
3.966 * [taylor]: Taking taylor expansion of (pow (+ d3 (+ d2 3.0)) 1/3) in d3
3.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 (+ d2 3.0))))) in d3
3.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 (+ d2 3.0)))) in d3
3.966 * [taylor]: Taking taylor expansion of 1/3 in d3
3.966 * [taylor]: Taking taylor expansion of (log (+ d3 (+ d2 3.0))) in d3
3.966 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
3.966 * [taylor]: Taking taylor expansion of d3 in d3
3.966 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
3.966 * [taylor]: Taking taylor expansion of d2 in d3
3.966 * [taylor]: Taking taylor expansion of 3.0 in d3
3.966 * [taylor]: Taking taylor expansion of (pow (+ d3 (+ d2 3.0)) 1/3) in d3
3.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 (+ d2 3.0))))) in d3
3.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 (+ d2 3.0)))) in d3
3.966 * [taylor]: Taking taylor expansion of 1/3 in d3
3.966 * [taylor]: Taking taylor expansion of (log (+ d3 (+ d2 3.0))) in d3
3.966 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
3.966 * [taylor]: Taking taylor expansion of d3 in d3
3.966 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
3.966 * [taylor]: Taking taylor expansion of d2 in d3
3.966 * [taylor]: Taking taylor expansion of 3.0 in d3
3.967 * [taylor]: Taking taylor expansion of (pow (+ d2 3.0) 1/3) in d2
3.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d2 3.0)))) in d2
3.967 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d2 3.0))) in d2
3.967 * [taylor]: Taking taylor expansion of 1/3 in d2
3.967 * [taylor]: Taking taylor expansion of (log (+ d2 3.0)) in d2
3.967 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
3.967 * [taylor]: Taking taylor expansion of d2 in d2
3.967 * [taylor]: Taking taylor expansion of 3.0 in d2
3.970 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow (+ d2 3.0) 2)) 1/3)) in d2
3.970 * [taylor]: Taking taylor expansion of 1/3 in d2
3.970 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (+ d2 3.0) 2)) 1/3) in d2
3.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (+ d2 3.0) 2))))) in d2
3.970 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (+ d2 3.0) 2)))) in d2
3.970 * [taylor]: Taking taylor expansion of 1/3 in d2
3.970 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (+ d2 3.0) 2))) in d2
3.970 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ d2 3.0) 2)) in d2
3.970 * [taylor]: Taking taylor expansion of (pow (+ d2 3.0) 2) in d2
3.970 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
3.970 * [taylor]: Taking taylor expansion of d2 in d2
3.970 * [taylor]: Taking taylor expansion of 3.0 in d2
3.985 * [approximate]: Taking taylor expansion of (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in (d3 d2) around 0
3.985 * [taylor]: Taking taylor expansion of (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d2
3.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d2
3.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d2
3.985 * [taylor]: Taking taylor expansion of 1/3 in d2
3.985 * [taylor]: Taking taylor expansion of (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d2
3.985 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
3.985 * [taylor]: Taking taylor expansion of 3.0 in d2
3.985 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
3.985 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.985 * [taylor]: Taking taylor expansion of d2 in d2
3.991 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.991 * [taylor]: Taking taylor expansion of d3 in d2
3.992 * [taylor]: Taking taylor expansion of (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d3
3.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
3.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
3.992 * [taylor]: Taking taylor expansion of 1/3 in d3
3.992 * [taylor]: Taking taylor expansion of (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
3.992 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
3.992 * [taylor]: Taking taylor expansion of 3.0 in d3
3.992 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
3.992 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
3.992 * [taylor]: Taking taylor expansion of d2 in d3
3.992 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.992 * [taylor]: Taking taylor expansion of d3 in d3
3.994 * [taylor]: Taking taylor expansion of (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d3
3.994 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
3.994 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
3.994 * [taylor]: Taking taylor expansion of 1/3 in d3
3.994 * [taylor]: Taking taylor expansion of (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
3.994 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
3.994 * [taylor]: Taking taylor expansion of 3.0 in d3
3.994 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
3.994 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
3.994 * [taylor]: Taking taylor expansion of d2 in d3
3.994 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
3.994 * [taylor]: Taking taylor expansion of d3 in d3
3.995 * [taylor]: Taking taylor expansion of (pow d3 -1/3) in d2
3.995 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log d3))) in d2
3.995 * [taylor]: Taking taylor expansion of (* -1/3 (log d3)) in d2
3.995 * [taylor]: Taking taylor expansion of -1/3 in d2
3.995 * [taylor]: Taking taylor expansion of (log d3) in d2
3.996 * [taylor]: Taking taylor expansion of d3 in d2
3.997 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (/ 1 d2)) 1.0) (pow (/ 1 d3) 1/3)) in d2
3.997 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 d2)) 1.0) in d2
3.997 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 d2)) in d2
3.997 * [taylor]: Taking taylor expansion of 1/3 in d2
3.997 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.997 * [taylor]: Taking taylor expansion of d2 in d2
3.998 * [taylor]: Taking taylor expansion of 1.0 in d2
3.998 * [taylor]: Taking taylor expansion of (pow (/ 1 d3) 1/3) in d2
3.998 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d3)))) in d2
3.998 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d3))) in d2
3.998 * [taylor]: Taking taylor expansion of 1/3 in d2
3.998 * [taylor]: Taking taylor expansion of (log (/ 1 d3)) in d2
3.998 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
3.998 * [taylor]: Taking taylor expansion of d3 in d2
4.006 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 d3) 1/3) (+ (* 1/9 (/ 1 (pow d2 2))) (+ (* 0.6666666666666667 (/ 1 d2)) 1.0)))) in d2
4.006 * [taylor]: Taking taylor expansion of -1 in d2
4.006 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d3) 1/3) (+ (* 1/9 (/ 1 (pow d2 2))) (+ (* 0.6666666666666667 (/ 1 d2)) 1.0))) in d2
4.006 * [taylor]: Taking taylor expansion of (pow (/ 1 d3) 1/3) in d2
4.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d3)))) in d2
4.006 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d3))) in d2
4.006 * [taylor]: Taking taylor expansion of 1/3 in d2
4.006 * [taylor]: Taking taylor expansion of (log (/ 1 d3)) in d2
4.006 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
4.006 * [taylor]: Taking taylor expansion of d3 in d2
4.006 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ 1 (pow d2 2))) (+ (* 0.6666666666666667 (/ 1 d2)) 1.0)) in d2
4.006 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow d2 2))) in d2
4.006 * [taylor]: Taking taylor expansion of 1/9 in d2
4.006 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2
4.006 * [taylor]: Taking taylor expansion of (pow d2 2) in d2
4.006 * [taylor]: Taking taylor expansion of d2 in d2
4.007 * [taylor]: Taking taylor expansion of (+ (* 0.6666666666666667 (/ 1 d2)) 1.0) in d2
4.007 * [taylor]: Taking taylor expansion of (* 0.6666666666666667 (/ 1 d2)) in d2
4.007 * [taylor]: Taking taylor expansion of 0.6666666666666667 in d2
4.007 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.007 * [taylor]: Taking taylor expansion of d2 in d2
4.007 * [taylor]: Taking taylor expansion of 1.0 in d2
4.018 * [approximate]: Taking taylor expansion of (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in (d3 d2) around 0
4.018 * [taylor]: Taking taylor expansion of (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d2
4.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d2
4.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d2
4.018 * [taylor]: Taking taylor expansion of 1/3 in d2
4.018 * [taylor]: Taking taylor expansion of (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d2
4.018 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
4.018 * [taylor]: Taking taylor expansion of 3.0 in d2
4.018 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
4.018 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.018 * [taylor]: Taking taylor expansion of d2 in d2
4.019 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
4.019 * [taylor]: Taking taylor expansion of d3 in d2
4.021 * [taylor]: Taking taylor expansion of (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d3
4.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
4.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
4.021 * [taylor]: Taking taylor expansion of 1/3 in d3
4.021 * [taylor]: Taking taylor expansion of (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
4.021 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
4.021 * [taylor]: Taking taylor expansion of 3.0 in d3
4.021 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
4.021 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
4.021 * [taylor]: Taking taylor expansion of d2 in d3
4.021 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
4.021 * [taylor]: Taking taylor expansion of d3 in d3
4.023 * [taylor]: Taking taylor expansion of (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d3
4.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
4.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
4.023 * [taylor]: Taking taylor expansion of 1/3 in d3
4.023 * [taylor]: Taking taylor expansion of (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
4.023 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
4.023 * [taylor]: Taking taylor expansion of 3.0 in d3
4.023 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
4.024 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
4.024 * [taylor]: Taking taylor expansion of d2 in d3
4.024 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
4.024 * [taylor]: Taking taylor expansion of d3 in d3
4.026 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log d3)))) in d2
4.026 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log d3))) in d2
4.026 * [taylor]: Taking taylor expansion of 1/3 in d2
4.026 * [taylor]: Taking taylor expansion of (- (log -1) (log d3)) in d2
4.026 * [taylor]: Taking taylor expansion of (log -1) in d2
4.026 * [taylor]: Taking taylor expansion of -1 in d2
4.026 * [taylor]: Taking taylor expansion of (log d3) in d2
4.026 * [taylor]: Taking taylor expansion of d3 in d2
4.030 * [taylor]: Taking taylor expansion of (* (- (* 1/3 (/ 1 d2)) 1.0) (exp (* 1/3 (- (log -1) (log d3))))) in d2
4.030 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 d2)) 1.0) in d2
4.030 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 d2)) in d2
4.030 * [taylor]: Taking taylor expansion of 1/3 in d2
4.030 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.030 * [taylor]: Taking taylor expansion of d2 in d2
4.031 * [taylor]: Taking taylor expansion of 1.0 in d2
4.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log d3)))) in d2
4.031 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log d3))) in d2
4.031 * [taylor]: Taking taylor expansion of 1/3 in d2
4.031 * [taylor]: Taking taylor expansion of (- (log -1) (log d3)) in d2
4.031 * [taylor]: Taking taylor expansion of (log -1) in d2
4.031 * [taylor]: Taking taylor expansion of -1 in d2
4.031 * [taylor]: Taking taylor expansion of (log d3) in d2
4.031 * [taylor]: Taking taylor expansion of d3 in d2
4.045 * [taylor]: Taking taylor expansion of (* (- (* 0.6666666666666667 (/ 1 d2)) (+ (* 1/9 (/ 1 (pow d2 2))) 1.0)) (exp (* 1/3 (- (log -1) (log d3))))) in d2
4.046 * [taylor]: Taking taylor expansion of (- (* 0.6666666666666667 (/ 1 d2)) (+ (* 1/9 (/ 1 (pow d2 2))) 1.0)) in d2
4.046 * [taylor]: Taking taylor expansion of (* 0.6666666666666667 (/ 1 d2)) in d2
4.046 * [taylor]: Taking taylor expansion of 0.6666666666666667 in d2
4.046 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.046 * [taylor]: Taking taylor expansion of d2 in d2
4.046 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ 1 (pow d2 2))) 1.0) in d2
4.046 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow d2 2))) in d2
4.046 * [taylor]: Taking taylor expansion of 1/9 in d2
4.046 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2
4.046 * [taylor]: Taking taylor expansion of (pow d2 2) in d2
4.046 * [taylor]: Taking taylor expansion of d2 in d2
4.047 * [taylor]: Taking taylor expansion of 1.0 in d2
4.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log d3)))) in d2
4.047 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log d3))) in d2
4.047 * [taylor]: Taking taylor expansion of 1/3 in d2
4.047 * [taylor]: Taking taylor expansion of (- (log -1) (log d3)) in d2
4.047 * [taylor]: Taking taylor expansion of (log -1) in d2
4.047 * [taylor]: Taking taylor expansion of -1 in d2
4.047 * [taylor]: Taking taylor expansion of (log d3) in d2
4.047 * [taylor]: Taking taylor expansion of d3 in d2
4.065 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
4.065 * [approximate]: Taking taylor expansion of (pow (+ d3 (+ d2 3.0)) 1/3) in (d3 d2) around 0
4.065 * [taylor]: Taking taylor expansion of (pow (+ d3 (+ d2 3.0)) 1/3) in d2
4.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 (+ d2 3.0))))) in d2
4.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 (+ d2 3.0)))) in d2
4.065 * [taylor]: Taking taylor expansion of 1/3 in d2
4.065 * [taylor]: Taking taylor expansion of (log (+ d3 (+ d2 3.0))) in d2
4.065 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d2
4.065 * [taylor]: Taking taylor expansion of d3 in d2
4.065 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
4.065 * [taylor]: Taking taylor expansion of d2 in d2
4.065 * [taylor]: Taking taylor expansion of 3.0 in d2
4.066 * [taylor]: Taking taylor expansion of (pow (+ d3 (+ d2 3.0)) 1/3) in d3
4.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 (+ d2 3.0))))) in d3
4.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 (+ d2 3.0)))) in d3
4.066 * [taylor]: Taking taylor expansion of 1/3 in d3
4.066 * [taylor]: Taking taylor expansion of (log (+ d3 (+ d2 3.0))) in d3
4.066 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
4.066 * [taylor]: Taking taylor expansion of d3 in d3
4.066 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
4.066 * [taylor]: Taking taylor expansion of d2 in d3
4.066 * [taylor]: Taking taylor expansion of 3.0 in d3
4.066 * [taylor]: Taking taylor expansion of (pow (+ d3 (+ d2 3.0)) 1/3) in d3
4.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d3 (+ d2 3.0))))) in d3
4.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d3 (+ d2 3.0)))) in d3
4.066 * [taylor]: Taking taylor expansion of 1/3 in d3
4.066 * [taylor]: Taking taylor expansion of (log (+ d3 (+ d2 3.0))) in d3
4.066 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
4.066 * [taylor]: Taking taylor expansion of d3 in d3
4.066 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
4.066 * [taylor]: Taking taylor expansion of d2 in d3
4.066 * [taylor]: Taking taylor expansion of 3.0 in d3
4.066 * [taylor]: Taking taylor expansion of (pow (+ d2 3.0) 1/3) in d2
4.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d2 3.0)))) in d2
4.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d2 3.0))) in d2
4.066 * [taylor]: Taking taylor expansion of 1/3 in d2
4.066 * [taylor]: Taking taylor expansion of (log (+ d2 3.0)) in d2
4.067 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
4.067 * [taylor]: Taking taylor expansion of d2 in d2
4.067 * [taylor]: Taking taylor expansion of 3.0 in d2
4.070 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow (+ d2 3.0) 2)) 1/3)) in d2
4.070 * [taylor]: Taking taylor expansion of 1/3 in d2
4.070 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (+ d2 3.0) 2)) 1/3) in d2
4.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (+ d2 3.0) 2))))) in d2
4.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (+ d2 3.0) 2)))) in d2
4.070 * [taylor]: Taking taylor expansion of 1/3 in d2
4.071 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (+ d2 3.0) 2))) in d2
4.071 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ d2 3.0) 2)) in d2
4.071 * [taylor]: Taking taylor expansion of (pow (+ d2 3.0) 2) in d2
4.071 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
4.071 * [taylor]: Taking taylor expansion of d2 in d2
4.071 * [taylor]: Taking taylor expansion of 3.0 in d2
4.090 * [approximate]: Taking taylor expansion of (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in (d3 d2) around 0
4.090 * [taylor]: Taking taylor expansion of (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d2
4.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d2
4.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d2
4.091 * [taylor]: Taking taylor expansion of 1/3 in d2
4.091 * [taylor]: Taking taylor expansion of (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d2
4.091 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
4.091 * [taylor]: Taking taylor expansion of 3.0 in d2
4.091 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
4.091 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.091 * [taylor]: Taking taylor expansion of d2 in d2
4.091 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
4.091 * [taylor]: Taking taylor expansion of d3 in d2
4.092 * [taylor]: Taking taylor expansion of (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d3
4.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
4.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
4.092 * [taylor]: Taking taylor expansion of 1/3 in d3
4.092 * [taylor]: Taking taylor expansion of (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
4.092 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
4.092 * [taylor]: Taking taylor expansion of 3.0 in d3
4.092 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
4.092 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
4.092 * [taylor]: Taking taylor expansion of d2 in d3
4.092 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
4.092 * [taylor]: Taking taylor expansion of d3 in d3
4.094 * [taylor]: Taking taylor expansion of (pow (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d3
4.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
4.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
4.094 * [taylor]: Taking taylor expansion of 1/3 in d3
4.094 * [taylor]: Taking taylor expansion of (log (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
4.094 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
4.094 * [taylor]: Taking taylor expansion of 3.0 in d3
4.094 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
4.094 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
4.094 * [taylor]: Taking taylor expansion of d2 in d3
4.094 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
4.094 * [taylor]: Taking taylor expansion of d3 in d3
4.095 * [taylor]: Taking taylor expansion of (pow d3 -1/3) in d2
4.095 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log d3))) in d2
4.095 * [taylor]: Taking taylor expansion of (* -1/3 (log d3)) in d2
4.095 * [taylor]: Taking taylor expansion of -1/3 in d2
4.095 * [taylor]: Taking taylor expansion of (log d3) in d2
4.095 * [taylor]: Taking taylor expansion of d3 in d2
4.097 * [taylor]: Taking taylor expansion of (* (+ (* 1/3 (/ 1 d2)) 1.0) (pow (/ 1 d3) 1/3)) in d2
4.097 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 d2)) 1.0) in d2
4.097 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 d2)) in d2
4.097 * [taylor]: Taking taylor expansion of 1/3 in d2
4.097 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.097 * [taylor]: Taking taylor expansion of d2 in d2
4.097 * [taylor]: Taking taylor expansion of 1.0 in d2
4.097 * [taylor]: Taking taylor expansion of (pow (/ 1 d3) 1/3) in d2
4.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d3)))) in d2
4.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d3))) in d2
4.097 * [taylor]: Taking taylor expansion of 1/3 in d2
4.097 * [taylor]: Taking taylor expansion of (log (/ 1 d3)) in d2
4.097 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
4.097 * [taylor]: Taking taylor expansion of d3 in d2
4.105 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 d3) 1/3) (+ (* 1/9 (/ 1 (pow d2 2))) (+ (* 0.6666666666666667 (/ 1 d2)) 1.0)))) in d2
4.106 * [taylor]: Taking taylor expansion of -1 in d2
4.106 * [taylor]: Taking taylor expansion of (* (pow (/ 1 d3) 1/3) (+ (* 1/9 (/ 1 (pow d2 2))) (+ (* 0.6666666666666667 (/ 1 d2)) 1.0))) in d2
4.106 * [taylor]: Taking taylor expansion of (pow (/ 1 d3) 1/3) in d2
4.106 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 d3)))) in d2
4.106 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 d3))) in d2
4.106 * [taylor]: Taking taylor expansion of 1/3 in d2
4.106 * [taylor]: Taking taylor expansion of (log (/ 1 d3)) in d2
4.106 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
4.106 * [taylor]: Taking taylor expansion of d3 in d2
4.106 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ 1 (pow d2 2))) (+ (* 0.6666666666666667 (/ 1 d2)) 1.0)) in d2
4.106 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow d2 2))) in d2
4.106 * [taylor]: Taking taylor expansion of 1/9 in d2
4.106 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2
4.106 * [taylor]: Taking taylor expansion of (pow d2 2) in d2
4.106 * [taylor]: Taking taylor expansion of d2 in d2
4.106 * [taylor]: Taking taylor expansion of (+ (* 0.6666666666666667 (/ 1 d2)) 1.0) in d2
4.106 * [taylor]: Taking taylor expansion of (* 0.6666666666666667 (/ 1 d2)) in d2
4.106 * [taylor]: Taking taylor expansion of 0.6666666666666667 in d2
4.107 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.107 * [taylor]: Taking taylor expansion of d2 in d2
4.107 * [taylor]: Taking taylor expansion of 1.0 in d2
4.118 * [approximate]: Taking taylor expansion of (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in (d3 d2) around 0
4.118 * [taylor]: Taking taylor expansion of (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d2
4.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d2
4.118 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d2
4.118 * [taylor]: Taking taylor expansion of 1/3 in d2
4.118 * [taylor]: Taking taylor expansion of (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d2
4.118 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
4.118 * [taylor]: Taking taylor expansion of 3.0 in d2
4.118 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
4.118 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.118 * [taylor]: Taking taylor expansion of d2 in d2
4.119 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
4.119 * [taylor]: Taking taylor expansion of d3 in d2
4.121 * [taylor]: Taking taylor expansion of (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d3
4.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
4.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
4.121 * [taylor]: Taking taylor expansion of 1/3 in d3
4.121 * [taylor]: Taking taylor expansion of (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
4.121 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
4.121 * [taylor]: Taking taylor expansion of 3.0 in d3
4.121 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
4.121 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
4.121 * [taylor]: Taking taylor expansion of d2 in d3
4.121 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
4.121 * [taylor]: Taking taylor expansion of d3 in d3
4.123 * [taylor]: Taking taylor expansion of (pow (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 1/3) in d3
4.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
4.123 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
4.123 * [taylor]: Taking taylor expansion of 1/3 in d3
4.123 * [taylor]: Taking taylor expansion of (log (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
4.123 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
4.123 * [taylor]: Taking taylor expansion of 3.0 in d3
4.123 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
4.123 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
4.123 * [taylor]: Taking taylor expansion of d2 in d3
4.123 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
4.124 * [taylor]: Taking taylor expansion of d3 in d3
4.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log d3)))) in d2
4.126 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log d3))) in d2
4.126 * [taylor]: Taking taylor expansion of 1/3 in d2
4.126 * [taylor]: Taking taylor expansion of (- (log -1) (log d3)) in d2
4.126 * [taylor]: Taking taylor expansion of (log -1) in d2
4.126 * [taylor]: Taking taylor expansion of -1 in d2
4.126 * [taylor]: Taking taylor expansion of (log d3) in d2
4.126 * [taylor]: Taking taylor expansion of d3 in d2
4.130 * [taylor]: Taking taylor expansion of (* (- (* 1/3 (/ 1 d2)) 1.0) (exp (* 1/3 (- (log -1) (log d3))))) in d2
4.130 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 d2)) 1.0) in d2
4.130 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 d2)) in d2
4.130 * [taylor]: Taking taylor expansion of 1/3 in d2
4.131 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.131 * [taylor]: Taking taylor expansion of d2 in d2
4.131 * [taylor]: Taking taylor expansion of 1.0 in d2
4.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log d3)))) in d2
4.131 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log d3))) in d2
4.131 * [taylor]: Taking taylor expansion of 1/3 in d2
4.131 * [taylor]: Taking taylor expansion of (- (log -1) (log d3)) in d2
4.131 * [taylor]: Taking taylor expansion of (log -1) in d2
4.131 * [taylor]: Taking taylor expansion of -1 in d2
4.131 * [taylor]: Taking taylor expansion of (log d3) in d2
4.131 * [taylor]: Taking taylor expansion of d3 in d2
4.146 * [taylor]: Taking taylor expansion of (* (- (* 0.6666666666666667 (/ 1 d2)) (+ (* 1/9 (/ 1 (pow d2 2))) 1.0)) (exp (* 1/3 (- (log -1) (log d3))))) in d2
4.146 * [taylor]: Taking taylor expansion of (- (* 0.6666666666666667 (/ 1 d2)) (+ (* 1/9 (/ 1 (pow d2 2))) 1.0)) in d2
4.146 * [taylor]: Taking taylor expansion of (* 0.6666666666666667 (/ 1 d2)) in d2
4.146 * [taylor]: Taking taylor expansion of 0.6666666666666667 in d2
4.146 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.146 * [taylor]: Taking taylor expansion of d2 in d2
4.146 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ 1 (pow d2 2))) 1.0) in d2
4.146 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow d2 2))) in d2
4.146 * [taylor]: Taking taylor expansion of 1/9 in d2
4.146 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2
4.146 * [taylor]: Taking taylor expansion of (pow d2 2) in d2
4.146 * [taylor]: Taking taylor expansion of d2 in d2
4.147 * [taylor]: Taking taylor expansion of 1.0 in d2
4.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log d3)))) in d2
4.147 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log d3))) in d2
4.147 * [taylor]: Taking taylor expansion of 1/3 in d2
4.147 * [taylor]: Taking taylor expansion of (- (log -1) (log d3)) in d2
4.147 * [taylor]: Taking taylor expansion of (log -1) in d2
4.147 * [taylor]: Taking taylor expansion of -1 in d2
4.147 * [taylor]: Taking taylor expansion of (log d3) in d2
4.147 * [taylor]: Taking taylor expansion of d3 in d2
4.165 * * * [progress]: simplifying candidates
4.167 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ 1/3 1/3)
  (+ 1 1)
  (* (+ d3 (+ 3.0 d2)) (+ d3 (+ 3.0 d2)))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))
  (+ 1 1)
  (+ (log (cbrt (+ d3 (+ 3.0 d2)))) (log (cbrt (+ d3 (+ 3.0 d2)))))
  (log (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))))
  (exp (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))))
  (* (+ d3 (+ 3.0 d2)) (+ d3 (+ 3.0 d2)))
  (* (cbrt (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))) (cbrt (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))))
  (cbrt (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))))
  (* (* (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))) (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))) (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))))
  (sqrt (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))))
  (sqrt (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))))
  (* (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))) (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))))
  (* (cbrt (+ (* d3 d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2))))) (cbrt (+ (* d3 d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2))))))
  (* (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))) (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))))
  (* (cbrt (+ (* d3 d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2))))) (cbrt (- d3 (+ 3.0 d2))))
  (* (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))))
  (* (cbrt (- d3 (+ 3.0 d2))) (cbrt (+ (* d3 d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2))))))
  (* (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))))
  (* (cbrt (- d3 (+ 3.0 d2))) (cbrt (- d3 (+ 3.0 d2))))
  (* (cbrt (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))) (cbrt (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))))
  (* (cbrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (cbrt (+ d3 (+ 3.0 d2)))))
  (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (* (cbrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (cbrt (+ d3 (+ 3.0 d2))))) (* (cbrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (cbrt (+ d3 (+ 3.0 d2))))))
  (* (cbrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (cbrt (+ d3 (+ 3.0 d2)))))
  (* (sqrt (cbrt (+ d3 (+ 3.0 d2)))) (sqrt (cbrt (+ d3 (+ 3.0 d2)))))
  (* (sqrt (cbrt (+ d3 (+ 3.0 d2)))) (sqrt (cbrt (+ d3 (+ 3.0 d2)))))
  (* 1 1)
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (sqrt (cbrt (+ d3 (+ 3.0 d2)))))
  (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (sqrt (cbrt (+ d3 (+ 3.0 d2)))))
  (* (sqrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (* (sqrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (* (sqrt (cbrt (+ d3 (+ 3.0 d2)))) (sqrt (cbrt (+ d3 (+ 3.0 d2)))))
  (* (sqrt (cbrt (+ d3 (+ 3.0 d2)))) (sqrt (cbrt (+ d3 (+ 3.0 d2)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt 1))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt 1))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt 1))
  (* (cbrt (+ d3 (+ 3.0 d2))) (* (cbrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (cbrt (+ d3 (+ 3.0 d2))))))
  (* (cbrt (+ d3 (+ 3.0 d2))) (sqrt (cbrt (+ d3 (+ 3.0 d2)))))
  (* (cbrt (+ d3 (+ 3.0 d2))) 1)
  (* (cbrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (sqrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))))
  (* (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (cbrt (+ d3 (+ 3.0 d2))))
  (log (cbrt (+ d3 (+ 3.0 d2))))
  (exp (cbrt (+ d3 (+ 3.0 d2))))
  (cbrt (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))))
  (cbrt (cbrt (+ d3 (+ 3.0 d2))))
  (cbrt (sqrt (+ d3 (+ 3.0 d2))))
  (cbrt (sqrt (+ d3 (+ 3.0 d2))))
  (cbrt 1)
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt 1)
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt 1)
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3)))
  (cbrt (+ (* d3 d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2)))))
  (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))
  (cbrt (- d3 (+ 3.0 d2)))
  (* (cbrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (cbrt (+ d3 (+ 3.0 d2)))))
  (cbrt (cbrt (+ d3 (+ 3.0 d2))))
  (* (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (+ d3 (+ 3.0 d2))))
  (sqrt (cbrt (+ d3 (+ 3.0 d2))))
  (sqrt (cbrt (+ d3 (+ 3.0 d2))))
  (log (cbrt (+ d3 (+ 3.0 d2))))
  (exp (cbrt (+ d3 (+ 3.0 d2))))
  (cbrt (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))))
  (cbrt (cbrt (+ d3 (+ 3.0 d2))))
  (cbrt (sqrt (+ d3 (+ 3.0 d2))))
  (cbrt (sqrt (+ d3 (+ 3.0 d2))))
  (cbrt 1)
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt 1)
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt 1)
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3)))
  (cbrt (+ (* d3 d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2)))))
  (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))
  (cbrt (- d3 (+ 3.0 d2)))
  (* (cbrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (cbrt (+ d3 (+ 3.0 d2)))))
  (cbrt (cbrt (+ d3 (+ 3.0 d2))))
  (* (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (+ d3 (+ 3.0 d2))))
  (sqrt (cbrt (+ d3 (+ 3.0 d2))))
  (sqrt (cbrt (+ d3 (+ 3.0 d2))))
  (log (cbrt (+ d3 (+ 3.0 d2))))
  (exp (cbrt (+ d3 (+ 3.0 d2))))
  (cbrt (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))))
  (cbrt (cbrt (+ d3 (+ 3.0 d2))))
  (cbrt (sqrt (+ d3 (+ 3.0 d2))))
  (cbrt (sqrt (+ d3 (+ 3.0 d2))))
  (cbrt 1)
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt 1)
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt 1)
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3)))
  (cbrt (+ (* d3 d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2)))))
  (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))
  (cbrt (- d3 (+ 3.0 d2)))
  (* (cbrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (cbrt (+ d3 (+ 3.0 d2)))))
  (cbrt (cbrt (+ d3 (+ 3.0 d2))))
  (* (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (+ d3 (+ 3.0 d2))))
  (sqrt (cbrt (+ d3 (+ 3.0 d2))))
  (sqrt (cbrt (+ d3 (+ 3.0 d2))))
  (+ (pow 9.0 1/3) (+ (* 0.2222222222222222 (* d2 (pow 9.0 1/3))) (* 0.2222222222222222 (* d3 (pow 9.0 1/3)))))
  (- (+ (* 2.0 (pow (/ 1 d3) 1/3)) (pow (/ 1 d3) -2/3)) (* 1.0 (pow (/ 1 (pow d3 4)) 1/3)))
  (- (+ (* 2.0 (pow (/ 1 d3) 1/3)) (pow (/ -1 d3) -2/3)) (* 1.0 (pow (/ 1 (pow d3 4)) 1/3)))
  (+ (* 1/3 (* d3 (pow 0.1111111111111111 1/3))) (+ (* 0.1111111111111111 (* d2 (pow 3.0 1/3))) (pow 3.0 1/3)))
  (- (+ (* 1.0 (pow (/ 1 (pow d3 2)) 1/3)) (pow (/ 1 d3) -1/3)) (* 1.0 (pow (/ 1 (pow d3 5)) 1/3)))
  (- (+ (* 1.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3)) (exp (* 1/3 (- (log -1) (log (/ -1 d3)))))) (* 1.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2))))
  (+ (* 1/3 (* d3 (pow 0.1111111111111111 1/3))) (+ (* 0.1111111111111111 (* d2 (pow 3.0 1/3))) (pow 3.0 1/3)))
  (- (+ (* 1.0 (pow (/ 1 (pow d3 2)) 1/3)) (pow (/ 1 d3) -1/3)) (* 1.0 (pow (/ 1 (pow d3 5)) 1/3)))
  (- (+ (* 1.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3)) (exp (* 1/3 (- (log -1) (log (/ -1 d3)))))) (* 1.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2))))
  (+ (* 1/3 (* d3 (pow 0.1111111111111111 1/3))) (+ (* 0.1111111111111111 (* d2 (pow 3.0 1/3))) (pow 3.0 1/3)))
  (- (+ (* 1.0 (pow (/ 1 (pow d3 2)) 1/3)) (pow (/ 1 d3) -1/3)) (* 1.0 (pow (/ 1 (pow d3 5)) 1/3)))
  (- (+ (* 1.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) d3)) (exp (* 1/3 (- (log -1) (log (/ -1 d3)))))) (* 1.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d3))))) (pow d3 2))))
4.177 * * [simplify]: iteration  0 :  136  enodes  (cost  1979 )
4.206 * * [simplify]: iteration  1 :  312  enodes  (cost  1822 )
4.273 * * [simplify]: iteration  2 :  781  enodes  (cost  1706 )
4.532 * * [simplify]: iteration  3 :  2048  enodes  (cost  1492 )
5.187 * * [simplify]: iteration  done :  5000  enodes  (cost  1491 )
5.188 * [simplify]: Simplified to:
   2/3
  2
  (pow (cbrt (+ d3 (+ 3.0 d2))) 6)
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  2
  (* 2 (log (cbrt (+ d3 (+ 3.0 d2)))))
  (* 2 (log (cbrt (+ d3 (+ 3.0 d2)))))
  (exp (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4))
  (pow (cbrt (+ d3 (+ 3.0 d2))) 6)
  (* (cbrt (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)) (cbrt (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)))
  (cbrt (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4))
  (pow (cbrt (+ d3 (+ 3.0 d2))) 6)
  (fabs (cbrt (+ d3 (+ 3.0 d2))))
  (fabs (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))) (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))))
  (* (cbrt (+ (* (+ 3.0 d2) (- (+ 3.0 d2) d3)) (* d3 d3))) (cbrt (+ (* (+ 3.0 d2) (- (+ 3.0 d2) d3)) (* d3 d3))))
  (* (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))))
  (* (cbrt (+ (* (+ 3.0 d2) (- (+ 3.0 d2) d3)) (* d3 d3))) (cbrt (- d3 (+ 3.0 d2))))
  (* (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))))
  (* (cbrt (+ (* (+ 3.0 d2) (- (+ 3.0 d2) d3)) (* d3 d3))) (cbrt (- d3 (+ 3.0 d2))))
  (* (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))))
  (* (cbrt (- d3 (+ 3.0 d2))) (cbrt (- d3 (+ 3.0 d2))))
  (* (cbrt (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)) (cbrt (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)))
  (* (cbrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (cbrt (+ d3 (+ 3.0 d2)))))
  (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  1
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  1
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  1
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  1
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  1
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  1
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  1
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  1
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  1
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  (pow (cbrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  (* (cbrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (cbrt (+ d3 (+ 3.0 d2)))))
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt (+ d3 (+ 3.0 d2)))
  1
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (* (sqrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (* (sqrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (* (sqrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (* (sqrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt (+ d3 (+ 3.0 d2)))
  2/3
  2
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt (+ d3 (+ 3.0 d2)))
  (* (pow (cbrt (cbrt (+ d3 (+ 3.0 d2)))) 4) (cbrt (cbrt (+ d3 (+ 3.0 d2)))))
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 3)
  (cbrt (+ d3 (+ 3.0 d2)))
  (pow (cbrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  (pow (cbrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 3)
  (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4)
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))))
  (* (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))))
  (* (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (cbrt (+ d3 (+ 3.0 d2))))
  (log (cbrt (+ d3 (+ 3.0 d2))))
  (exp (cbrt (+ d3 (+ 3.0 d2))))
  (cbrt (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4))
  (cbrt (cbrt (+ d3 (+ 3.0 d2))))
  (cbrt (sqrt (+ d3 (+ 3.0 d2))))
  (cbrt (sqrt (+ d3 (+ 3.0 d2))))
  1
  (cbrt (+ d3 (+ 3.0 d2)))
  1
  (cbrt (+ d3 (+ 3.0 d2)))
  1
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3)))
  (cbrt (+ (* (+ 3.0 d2) (- (+ 3.0 d2) d3)) (* d3 d3)))
  (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))
  (cbrt (- d3 (+ 3.0 d2)))
  (* (cbrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (cbrt (+ d3 (+ 3.0 d2)))))
  (cbrt (cbrt (+ d3 (+ 3.0 d2))))
  (+ d3 (+ 3.0 d2))
  (sqrt (cbrt (+ d3 (+ 3.0 d2))))
  (sqrt (cbrt (+ d3 (+ 3.0 d2))))
  (log (cbrt (+ d3 (+ 3.0 d2))))
  (exp (cbrt (+ d3 (+ 3.0 d2))))
  (cbrt (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4))
  (cbrt (cbrt (+ d3 (+ 3.0 d2))))
  (cbrt (sqrt (+ d3 (+ 3.0 d2))))
  (cbrt (sqrt (+ d3 (+ 3.0 d2))))
  1
  (cbrt (+ d3 (+ 3.0 d2)))
  1
  (cbrt (+ d3 (+ 3.0 d2)))
  1
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3)))
  (cbrt (+ (* (+ 3.0 d2) (- (+ 3.0 d2) d3)) (* d3 d3)))
  (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))
  (cbrt (- d3 (+ 3.0 d2)))
  (* (cbrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (cbrt (+ d3 (+ 3.0 d2)))))
  (cbrt (cbrt (+ d3 (+ 3.0 d2))))
  (+ d3 (+ 3.0 d2))
  (sqrt (cbrt (+ d3 (+ 3.0 d2))))
  (sqrt (cbrt (+ d3 (+ 3.0 d2))))
  (log (cbrt (+ d3 (+ 3.0 d2))))
  (exp (cbrt (+ d3 (+ 3.0 d2))))
  (cbrt (pow (sqrt (cbrt (+ d3 (+ 3.0 d2)))) 4))
  (cbrt (cbrt (+ d3 (+ 3.0 d2))))
  (cbrt (sqrt (+ d3 (+ 3.0 d2))))
  (cbrt (sqrt (+ d3 (+ 3.0 d2))))
  1
  (cbrt (+ d3 (+ 3.0 d2)))
  1
  (cbrt (+ d3 (+ 3.0 d2)))
  1
  (cbrt (+ d3 (+ 3.0 d2)))
  (cbrt (+ (pow d3 3) (pow (+ 3.0 d2) 3)))
  (cbrt (+ (* (+ 3.0 d2) (- (+ 3.0 d2) d3)) (* d3 d3)))
  (cbrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2))))
  (cbrt (- d3 (+ 3.0 d2)))
  (* (cbrt (cbrt (+ d3 (+ 3.0 d2)))) (cbrt (cbrt (+ d3 (+ 3.0 d2)))))
  (cbrt (cbrt (+ d3 (+ 3.0 d2))))
  (+ d3 (+ 3.0 d2))
  (sqrt (cbrt (+ d3 (+ 3.0 d2))))
  (sqrt (cbrt (+ d3 (+ 3.0 d2))))
  (* (cbrt 9.0) (+ 1 (* 0.2222222222222222 (+ d3 d2))))
  (- (+ (* (cbrt (/ 1 d3)) 2.0) (pow (/ 1 d3) -2/3)) (* (cbrt (/ 1 (pow d3 4))) 1.0))
  (+ (* (cbrt (/ 1 d3)) 2.0) (- (pow (/ -1 d3) -2/3) (* (cbrt (/ 1 (pow d3 4))) 1.0)))
  (+ (* (+ (* 0.1111111111111111 d2) 1) (cbrt 3.0)) (* 1/3 (* (cbrt 0.1111111111111111) d3)))
  (+ (* 1.0 (- (cbrt (/ 1 (pow d3 2))) (cbrt (/ 1 (pow d3 5))))) (pow (/ 1 d3) -1/3))
  (+ (cbrt (exp (+ 0 (log d3)))) (* (/ (cbrt (exp (+ 0 (log d3)))) d3) (- 1.0 (/ 1.0 d3))))
  (+ (* (+ (* 0.1111111111111111 d2) 1) (cbrt 3.0)) (* 1/3 (* (cbrt 0.1111111111111111) d3)))
  (+ (* 1.0 (- (cbrt (/ 1 (pow d3 2))) (cbrt (/ 1 (pow d3 5))))) (pow (/ 1 d3) -1/3))
  (+ (cbrt (exp (+ 0 (log d3)))) (* (/ (cbrt (exp (+ 0 (log d3)))) d3) (- 1.0 (/ 1.0 d3))))
  (+ (* (+ (* 0.1111111111111111 d2) 1) (cbrt 3.0)) (* 1/3 (* (cbrt 0.1111111111111111) d3)))
  (+ (* 1.0 (- (cbrt (/ 1 (pow d3 2))) (cbrt (/ 1 (pow d3 5))))) (pow (/ 1 d3) -1/3))
  (+ (cbrt (exp (+ 0 (log d3)))) (* (/ (cbrt (exp (+ 0 (log d3)))) d3) (- 1.0 (/ 1.0 d3))))
5.189 * * * [progress]: adding candidates to table
5.458 * * [progress]: iteration 4 / 4
5.458 * * * [progress]: picking best candidate
5.472 * * * * [pick]: Picked  #<alt (λ (d1 d2 d3) (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1)))>
5.472 * * * [progress]: localizing error
5.479 * * * [progress]: generating rewritten candidates
5.479 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
5.537 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
5.571 * * * [progress]: generating series expansions
5.571 * * * * [progress]: [ 1 / 2 ] generating series at (2)
5.571 * [approximate]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in (d3 d2 d1) around 0
5.571 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d1
5.571 * [taylor]: Taking taylor expansion of d1 in d1
5.571 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d1
5.571 * [taylor]: Taking taylor expansion of d3 in d1
5.571 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d1
5.571 * [taylor]: Taking taylor expansion of d2 in d1
5.571 * [taylor]: Taking taylor expansion of 3.0 in d1
5.571 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d2
5.571 * [taylor]: Taking taylor expansion of d1 in d2
5.571 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d2
5.571 * [taylor]: Taking taylor expansion of d3 in d2
5.571 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
5.571 * [taylor]: Taking taylor expansion of d2 in d2
5.571 * [taylor]: Taking taylor expansion of 3.0 in d2
5.571 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d3
5.571 * [taylor]: Taking taylor expansion of d1 in d3
5.571 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
5.571 * [taylor]: Taking taylor expansion of d3 in d3
5.571 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
5.571 * [taylor]: Taking taylor expansion of d2 in d3
5.571 * [taylor]: Taking taylor expansion of 3.0 in d3
5.571 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d3
5.571 * [taylor]: Taking taylor expansion of d1 in d3
5.572 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
5.572 * [taylor]: Taking taylor expansion of d3 in d3
5.572 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
5.572 * [taylor]: Taking taylor expansion of d2 in d3
5.572 * [taylor]: Taking taylor expansion of 3.0 in d3
5.572 * [taylor]: Taking taylor expansion of (* d1 (+ d2 3.0)) in d2
5.572 * [taylor]: Taking taylor expansion of d1 in d2
5.572 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
5.572 * [taylor]: Taking taylor expansion of d2 in d2
5.572 * [taylor]: Taking taylor expansion of 3.0 in d2
5.573 * [taylor]: Taking taylor expansion of (* 3.0 d1) in d1
5.573 * [taylor]: Taking taylor expansion of 3.0 in d1
5.573 * [taylor]: Taking taylor expansion of d1 in d1
5.574 * [taylor]: Taking taylor expansion of d1 in d2
5.574 * [taylor]: Taking taylor expansion of d1 in d1
5.575 * [taylor]: Taking taylor expansion of d1 in d1
5.576 * [taylor]: Taking taylor expansion of 0 in d2
5.577 * [taylor]: Taking taylor expansion of 0 in d1
5.577 * [taylor]: Taking taylor expansion of 0 in d1
5.577 * [taylor]: Taking taylor expansion of 0 in d1
5.578 * [approximate]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in (d3 d2 d1) around 0
5.578 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
5.578 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d1
5.578 * [taylor]: Taking taylor expansion of 3.0 in d1
5.578 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
5.578 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
5.578 * [taylor]: Taking taylor expansion of d2 in d1
5.578 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
5.578 * [taylor]: Taking taylor expansion of d3 in d1
5.578 * [taylor]: Taking taylor expansion of d1 in d1
5.578 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
5.578 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
5.578 * [taylor]: Taking taylor expansion of 3.0 in d2
5.578 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
5.578 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
5.578 * [taylor]: Taking taylor expansion of d2 in d2
5.579 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
5.579 * [taylor]: Taking taylor expansion of d3 in d2
5.579 * [taylor]: Taking taylor expansion of d1 in d2
5.579 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
5.579 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
5.579 * [taylor]: Taking taylor expansion of 3.0 in d3
5.579 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
5.579 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
5.579 * [taylor]: Taking taylor expansion of d2 in d3
5.579 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
5.580 * [taylor]: Taking taylor expansion of d3 in d3
5.580 * [taylor]: Taking taylor expansion of d1 in d3
5.580 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
5.580 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
5.580 * [taylor]: Taking taylor expansion of 3.0 in d3
5.580 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
5.580 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
5.580 * [taylor]: Taking taylor expansion of d2 in d3
5.580 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
5.580 * [taylor]: Taking taylor expansion of d3 in d3
5.581 * [taylor]: Taking taylor expansion of d1 in d3
5.581 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
5.581 * [taylor]: Taking taylor expansion of d1 in d2
5.582 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d2
5.582 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d2
5.582 * [taylor]: Taking taylor expansion of 3.0 in d2
5.582 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
5.582 * [taylor]: Taking taylor expansion of d1 in d2
5.582 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
5.582 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
5.582 * [taylor]: Taking taylor expansion of d1 in d2
5.582 * [taylor]: Taking taylor expansion of d2 in d2
5.583 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.583 * [taylor]: Taking taylor expansion of d1 in d1
5.583 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.583 * [taylor]: Taking taylor expansion of d1 in d1
5.584 * [taylor]: Taking taylor expansion of 0 in d2
5.585 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d1
5.585 * [taylor]: Taking taylor expansion of 3.0 in d1
5.585 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.585 * [taylor]: Taking taylor expansion of d1 in d1
5.586 * [approximate]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in (d3 d2 d1) around 0
5.586 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1
5.586 * [taylor]: Taking taylor expansion of -1 in d1
5.586 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1
5.586 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d1
5.586 * [taylor]: Taking taylor expansion of 3.0 in d1
5.586 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
5.586 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
5.586 * [taylor]: Taking taylor expansion of d2 in d1
5.586 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
5.586 * [taylor]: Taking taylor expansion of d3 in d1
5.586 * [taylor]: Taking taylor expansion of d1 in d1
5.587 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2
5.587 * [taylor]: Taking taylor expansion of -1 in d2
5.587 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2
5.587 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
5.587 * [taylor]: Taking taylor expansion of 3.0 in d2
5.587 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
5.587 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
5.587 * [taylor]: Taking taylor expansion of d2 in d2
5.587 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
5.587 * [taylor]: Taking taylor expansion of d3 in d2
5.587 * [taylor]: Taking taylor expansion of d1 in d2
5.588 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
5.588 * [taylor]: Taking taylor expansion of -1 in d3
5.588 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
5.588 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
5.588 * [taylor]: Taking taylor expansion of 3.0 in d3
5.588 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
5.588 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
5.588 * [taylor]: Taking taylor expansion of d2 in d3
5.588 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
5.588 * [taylor]: Taking taylor expansion of d3 in d3
5.588 * [taylor]: Taking taylor expansion of d1 in d3
5.589 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3
5.589 * [taylor]: Taking taylor expansion of -1 in d3
5.589 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3
5.589 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
5.589 * [taylor]: Taking taylor expansion of 3.0 in d3
5.589 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
5.589 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
5.589 * [taylor]: Taking taylor expansion of d2 in d3
5.589 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
5.589 * [taylor]: Taking taylor expansion of d3 in d3
5.590 * [taylor]: Taking taylor expansion of d1 in d3
5.591 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
5.591 * [taylor]: Taking taylor expansion of d1 in d2
5.591 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 3.0 (/ 1 d1))) in d2
5.591 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
5.591 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
5.591 * [taylor]: Taking taylor expansion of d1 in d2
5.592 * [taylor]: Taking taylor expansion of d2 in d2
5.592 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d2
5.592 * [taylor]: Taking taylor expansion of 3.0 in d2
5.592 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
5.592 * [taylor]: Taking taylor expansion of d1 in d2
5.592 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.592 * [taylor]: Taking taylor expansion of d1 in d1
5.592 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.592 * [taylor]: Taking taylor expansion of d1 in d1
5.594 * [taylor]: Taking taylor expansion of 0 in d2
5.595 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 d1))) in d1
5.595 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d1
5.595 * [taylor]: Taking taylor expansion of 3.0 in d1
5.595 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.595 * [taylor]: Taking taylor expansion of d1 in d1
5.597 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
5.597 * [approximate]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 3.0)))) in (d3 d2 d1) around 0
5.597 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 3.0)))) in d1
5.597 * [taylor]: Taking taylor expansion of d1 in d1
5.597 * [taylor]: Taking taylor expansion of (sqrt (+ d3 (+ d2 3.0))) in d1
5.597 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d1
5.597 * [taylor]: Taking taylor expansion of d3 in d1
5.597 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d1
5.597 * [taylor]: Taking taylor expansion of d2 in d1
5.597 * [taylor]: Taking taylor expansion of 3.0 in d1
5.598 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 3.0)))) in d2
5.598 * [taylor]: Taking taylor expansion of d1 in d2
5.598 * [taylor]: Taking taylor expansion of (sqrt (+ d3 (+ d2 3.0))) in d2
5.598 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d2
5.598 * [taylor]: Taking taylor expansion of d3 in d2
5.598 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
5.598 * [taylor]: Taking taylor expansion of d2 in d2
5.598 * [taylor]: Taking taylor expansion of 3.0 in d2
5.599 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 3.0)))) in d3
5.599 * [taylor]: Taking taylor expansion of d1 in d3
5.599 * [taylor]: Taking taylor expansion of (sqrt (+ d3 (+ d2 3.0))) in d3
5.599 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
5.599 * [taylor]: Taking taylor expansion of d3 in d3
5.599 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
5.599 * [taylor]: Taking taylor expansion of d2 in d3
5.599 * [taylor]: Taking taylor expansion of 3.0 in d3
5.600 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d3 (+ d2 3.0)))) in d3
5.600 * [taylor]: Taking taylor expansion of d1 in d3
5.600 * [taylor]: Taking taylor expansion of (sqrt (+ d3 (+ d2 3.0))) in d3
5.600 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3
5.600 * [taylor]: Taking taylor expansion of d3 in d3
5.600 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3
5.600 * [taylor]: Taking taylor expansion of d2 in d3
5.600 * [taylor]: Taking taylor expansion of 3.0 in d3
5.600 * [taylor]: Taking taylor expansion of (* d1 (sqrt (+ d2 3.0))) in d2
5.600 * [taylor]: Taking taylor expansion of d1 in d2
5.600 * [taylor]: Taking taylor expansion of (sqrt (+ d2 3.0)) in d2
5.600 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
5.600 * [taylor]: Taking taylor expansion of d2 in d2
5.600 * [taylor]: Taking taylor expansion of 3.0 in d2
5.603 * [taylor]: Taking taylor expansion of (* d1 (sqrt 3.0)) in d1
5.603 * [taylor]: Taking taylor expansion of d1 in d1
5.603 * [taylor]: Taking taylor expansion of (sqrt 3.0) in d1
5.603 * [taylor]: Taking taylor expansion of 3.0 in d1
5.604 * [taylor]: Taking taylor expansion of (* 1/2 (* d1 (sqrt (/ 1 (+ d2 3.0))))) in d2
5.604 * [taylor]: Taking taylor expansion of 1/2 in d2
5.604 * [taylor]: Taking taylor expansion of (* d1 (sqrt (/ 1 (+ d2 3.0)))) in d2
5.604 * [taylor]: Taking taylor expansion of d1 in d2
5.604 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ d2 3.0))) in d2
5.604 * [taylor]: Taking taylor expansion of (/ 1 (+ d2 3.0)) in d2
5.604 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
5.604 * [taylor]: Taking taylor expansion of d2 in d2
5.604 * [taylor]: Taking taylor expansion of 3.0 in d2
5.609 * [taylor]: Taking taylor expansion of (* 1/2 (* d1 (sqrt 0.3333333333333333))) in d1
5.609 * [taylor]: Taking taylor expansion of 1/2 in d1
5.609 * [taylor]: Taking taylor expansion of (* d1 (sqrt 0.3333333333333333)) in d1
5.609 * [taylor]: Taking taylor expansion of d1 in d1
5.609 * [taylor]: Taking taylor expansion of (sqrt 0.3333333333333333) in d1
5.609 * [taylor]: Taking taylor expansion of 0.3333333333333333 in d1
5.611 * [taylor]: Taking taylor expansion of (* 1/2 (/ d1 (sqrt 3.0))) in d1
5.611 * [taylor]: Taking taylor expansion of 1/2 in d1
5.611 * [taylor]: Taking taylor expansion of (/ d1 (sqrt 3.0)) in d1
5.611 * [taylor]: Taking taylor expansion of d1 in d1
5.611 * [taylor]: Taking taylor expansion of (sqrt 3.0) in d1
5.611 * [taylor]: Taking taylor expansion of 3.0 in d1
5.615 * [taylor]: Taking taylor expansion of (- (* 1/8 (* d1 (sqrt (/ 1 (pow (+ d2 3.0) 3)))))) in d2
5.616 * [taylor]: Taking taylor expansion of (* 1/8 (* d1 (sqrt (/ 1 (pow (+ d2 3.0) 3))))) in d2
5.616 * [taylor]: Taking taylor expansion of 1/8 in d2
5.616 * [taylor]: Taking taylor expansion of (* d1 (sqrt (/ 1 (pow (+ d2 3.0) 3)))) in d2
5.616 * [taylor]: Taking taylor expansion of d1 in d2
5.616 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (pow (+ d2 3.0) 3))) in d2
5.616 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ d2 3.0) 3)) in d2
5.616 * [taylor]: Taking taylor expansion of (pow (+ d2 3.0) 3) in d2
5.616 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2
5.616 * [taylor]: Taking taylor expansion of d2 in d2
5.616 * [taylor]: Taking taylor expansion of 3.0 in d2
5.628 * [taylor]: Taking taylor expansion of (- (* 1/8 (* d1 (sqrt 0.037037037037037035)))) in d1
5.628 * [taylor]: Taking taylor expansion of (* 1/8 (* d1 (sqrt 0.037037037037037035))) in d1
5.628 * [taylor]: Taking taylor expansion of 1/8 in d1
5.628 * [taylor]: Taking taylor expansion of (* d1 (sqrt 0.037037037037037035)) in d1
5.628 * [taylor]: Taking taylor expansion of d1 in d1
5.628 * [taylor]: Taking taylor expansion of (sqrt 0.037037037037037035) in d1
5.628 * [taylor]: Taking taylor expansion of 0.037037037037037035 in d1
5.631 * [taylor]: Taking taylor expansion of (- (* 0.027777777777777776 (/ d1 (sqrt 0.3333333333333333)))) in d1
5.631 * [taylor]: Taking taylor expansion of (* 0.027777777777777776 (/ d1 (sqrt 0.3333333333333333))) in d1
5.631 * [taylor]: Taking taylor expansion of 0.027777777777777776 in d1
5.631 * [taylor]: Taking taylor expansion of (/ d1 (sqrt 0.3333333333333333)) in d1
5.631 * [taylor]: Taking taylor expansion of d1 in d1
5.631 * [taylor]: Taking taylor expansion of (sqrt 0.3333333333333333) in d1
5.631 * [taylor]: Taking taylor expansion of 0.3333333333333333 in d1
5.638 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ d1 (pow (sqrt 3.0) 3)))) in d1
5.638 * [taylor]: Taking taylor expansion of (* 1/8 (/ d1 (pow (sqrt 3.0) 3))) in d1
5.638 * [taylor]: Taking taylor expansion of 1/8 in d1
5.638 * [taylor]: Taking taylor expansion of (/ d1 (pow (sqrt 3.0) 3)) in d1
5.638 * [taylor]: Taking taylor expansion of d1 in d1
5.638 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 3) in d1
5.638 * [taylor]: Taking taylor expansion of (sqrt 3.0) in d1
5.638 * [taylor]: Taking taylor expansion of 3.0 in d1
5.648 * [approximate]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 3.0 (+ (/ 1 d2) (/ 1 d3))))) in (d3 d2 d1) around 0
5.648 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d1
5.648 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.648 * [taylor]: Taking taylor expansion of d1 in d1
5.649 * [taylor]: Taking taylor expansion of (sqrt (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d1
5.649 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d1
5.649 * [taylor]: Taking taylor expansion of 3.0 in d1
5.649 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
5.649 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
5.649 * [taylor]: Taking taylor expansion of d2 in d1
5.649 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
5.649 * [taylor]: Taking taylor expansion of d3 in d1
5.650 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d2
5.650 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
5.650 * [taylor]: Taking taylor expansion of d1 in d2
5.650 * [taylor]: Taking taylor expansion of (sqrt (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d2
5.650 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
5.650 * [taylor]: Taking taylor expansion of 3.0 in d2
5.650 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
5.650 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
5.650 * [taylor]: Taking taylor expansion of d2 in d2
5.650 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
5.650 * [taylor]: Taking taylor expansion of d3 in d2
5.652 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
5.652 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
5.652 * [taylor]: Taking taylor expansion of d1 in d3
5.652 * [taylor]: Taking taylor expansion of (sqrt (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
5.652 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
5.652 * [taylor]: Taking taylor expansion of 3.0 in d3
5.652 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
5.652 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
5.652 * [taylor]: Taking taylor expansion of d2 in d3
5.652 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
5.652 * [taylor]: Taking taylor expansion of d3 in d3
5.654 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (+ 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
5.654 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
5.654 * [taylor]: Taking taylor expansion of d1 in d3
5.654 * [taylor]: Taking taylor expansion of (sqrt (+ 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
5.654 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
5.654 * [taylor]: Taking taylor expansion of 3.0 in d3
5.654 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
5.654 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
5.654 * [taylor]: Taking taylor expansion of d2 in d3
5.654 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
5.654 * [taylor]: Taking taylor expansion of d3 in d3
5.656 * [taylor]: Taking taylor expansion of 0 in d2
5.657 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 d1))) in d2
5.657 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d1)) in d2
5.657 * [taylor]: Taking taylor expansion of +nan.0 in d2
5.657 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
5.657 * [taylor]: Taking taylor expansion of d1 in d2
5.657 * [taylor]: Taking taylor expansion of 0 in d1
5.659 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d1)) (- (* +nan.0 (/ 1 (* d1 d2)))))) in d2
5.659 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d1)) (- (* +nan.0 (/ 1 (* d1 d2))))) in d2
5.659 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d1)) in d2
5.659 * [taylor]: Taking taylor expansion of +nan.0 in d2
5.659 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
5.659 * [taylor]: Taking taylor expansion of d1 in d2
5.659 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* d1 d2)))) in d2
5.659 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d1 d2))) in d2
5.659 * [taylor]: Taking taylor expansion of +nan.0 in d2
5.659 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
5.659 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
5.659 * [taylor]: Taking taylor expansion of d1 in d2
5.659 * [taylor]: Taking taylor expansion of d2 in d2
5.660 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 d1))) in d1
5.660 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d1)) in d1
5.660 * [taylor]: Taking taylor expansion of +nan.0 in d1
5.660 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.660 * [taylor]: Taking taylor expansion of d1 in d1
5.661 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 d1))) in d1
5.661 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d1)) in d1
5.661 * [taylor]: Taking taylor expansion of +nan.0 in d1
5.661 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.661 * [taylor]: Taking taylor expansion of d1 in d1
5.662 * [taylor]: Taking taylor expansion of 0 in d1
5.665 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d1)) (- (* +nan.0 (/ 1 (* d1 d2)))))) in d2
5.665 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d1)) (- (* +nan.0 (/ 1 (* d1 d2))))) in d2
5.665 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d1)) in d2
5.665 * [taylor]: Taking taylor expansion of +nan.0 in d2
5.665 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
5.665 * [taylor]: Taking taylor expansion of d1 in d2
5.665 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* d1 d2)))) in d2
5.665 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d1 d2))) in d2
5.665 * [taylor]: Taking taylor expansion of +nan.0 in d2
5.665 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
5.665 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
5.665 * [taylor]: Taking taylor expansion of d1 in d2
5.665 * [taylor]: Taking taylor expansion of d2 in d2
5.665 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 d1))) in d1
5.665 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d1)) in d1
5.665 * [taylor]: Taking taylor expansion of +nan.0 in d1
5.665 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.665 * [taylor]: Taking taylor expansion of d1 in d1
5.668 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in (d3 d2 d1) around 0
5.668 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d1
5.668 * [taylor]: Taking taylor expansion of -1 in d1
5.668 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (- 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d1
5.668 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.668 * [taylor]: Taking taylor expansion of d1 in d1
5.669 * [taylor]: Taking taylor expansion of (sqrt (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d1
5.669 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d1
5.669 * [taylor]: Taking taylor expansion of 3.0 in d1
5.669 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1
5.669 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
5.669 * [taylor]: Taking taylor expansion of d2 in d1
5.669 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1
5.669 * [taylor]: Taking taylor expansion of d3 in d1
5.670 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d2
5.670 * [taylor]: Taking taylor expansion of -1 in d2
5.670 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (- 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d2
5.670 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
5.670 * [taylor]: Taking taylor expansion of d1 in d2
5.670 * [taylor]: Taking taylor expansion of (sqrt (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d2
5.670 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2
5.670 * [taylor]: Taking taylor expansion of 3.0 in d2
5.670 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2
5.670 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
5.670 * [taylor]: Taking taylor expansion of d2 in d2
5.671 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2
5.671 * [taylor]: Taking taylor expansion of d3 in d2
5.673 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
5.673 * [taylor]: Taking taylor expansion of -1 in d3
5.673 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (- 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
5.673 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
5.673 * [taylor]: Taking taylor expansion of d1 in d3
5.673 * [taylor]: Taking taylor expansion of (sqrt (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
5.673 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
5.673 * [taylor]: Taking taylor expansion of 3.0 in d3
5.673 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
5.673 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
5.673 * [taylor]: Taking taylor expansion of d2 in d3
5.673 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
5.673 * [taylor]: Taking taylor expansion of d3 in d3
5.675 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (sqrt (- 3.0 (+ (/ 1 d2) (/ 1 d3)))))) in d3
5.675 * [taylor]: Taking taylor expansion of -1 in d3
5.675 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (sqrt (- 3.0 (+ (/ 1 d2) (/ 1 d3))))) in d3
5.675 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3
5.675 * [taylor]: Taking taylor expansion of d1 in d3
5.675 * [taylor]: Taking taylor expansion of (sqrt (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3
5.675 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3
5.675 * [taylor]: Taking taylor expansion of 3.0 in d3
5.675 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3
5.675 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3
5.675 * [taylor]: Taking taylor expansion of d2 in d3
5.675 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3
5.675 * [taylor]: Taking taylor expansion of d3 in d3
5.677 * [taylor]: Taking taylor expansion of 0 in d2
5.678 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 d1))) in d2
5.678 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d1)) in d2
5.678 * [taylor]: Taking taylor expansion of +nan.0 in d2
5.678 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
5.678 * [taylor]: Taking taylor expansion of d1 in d2
5.678 * [taylor]: Taking taylor expansion of 0 in d1
5.681 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d1)) (- (* +nan.0 (/ 1 (* d1 d2)))))) in d2
5.681 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d1)) (- (* +nan.0 (/ 1 (* d1 d2))))) in d2
5.681 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d1)) in d2
5.681 * [taylor]: Taking taylor expansion of +nan.0 in d2
5.681 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
5.681 * [taylor]: Taking taylor expansion of d1 in d2
5.681 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* d1 d2)))) in d2
5.681 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d1 d2))) in d2
5.681 * [taylor]: Taking taylor expansion of +nan.0 in d2
5.681 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
5.681 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
5.681 * [taylor]: Taking taylor expansion of d1 in d2
5.681 * [taylor]: Taking taylor expansion of d2 in d2
5.682 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 d1))) in d1
5.682 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d1)) in d1
5.682 * [taylor]: Taking taylor expansion of +nan.0 in d1
5.682 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.682 * [taylor]: Taking taylor expansion of d1 in d1
5.683 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 d1))) in d1
5.683 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d1)) in d1
5.683 * [taylor]: Taking taylor expansion of +nan.0 in d1
5.683 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.683 * [taylor]: Taking taylor expansion of d1 in d1
5.684 * [taylor]: Taking taylor expansion of 0 in d1
5.688 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 d1)) (- (* +nan.0 (/ 1 (* d1 d2)))))) in d2
5.688 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 d1)) (- (* +nan.0 (/ 1 (* d1 d2))))) in d2
5.688 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d1)) in d2
5.688 * [taylor]: Taking taylor expansion of +nan.0 in d2
5.688 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
5.688 * [taylor]: Taking taylor expansion of d1 in d2
5.688 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (* d1 d2)))) in d2
5.688 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (* d1 d2))) in d2
5.688 * [taylor]: Taking taylor expansion of +nan.0 in d2
5.688 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2
5.688 * [taylor]: Taking taylor expansion of (* d1 d2) in d2
5.688 * [taylor]: Taking taylor expansion of d1 in d2
5.688 * [taylor]: Taking taylor expansion of d2 in d2
5.688 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 d1))) in d1
5.688 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 d1)) in d1
5.688 * [taylor]: Taking taylor expansion of +nan.0 in d1
5.688 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
5.688 * [taylor]: Taking taylor expansion of d1 in d1
5.691 * * * [progress]: simplifying candidates
5.692 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (+ (log (sqrt (+ d3 (+ 3.0 d2)))) (+ (log (sqrt (+ d3 (+ 3.0 d2)))) (log d1)))
  (+ (log (sqrt (+ d3 (+ 3.0 d2)))) (log (* (sqrt (+ d3 (+ 3.0 d2))) d1)))
  (log (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1)))
  (exp (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1)))
  (* (* (* (sqrt (+ d3 (+ 3.0 d2))) (sqrt (+ d3 (+ 3.0 d2)))) (sqrt (+ d3 (+ 3.0 d2)))) (* (* (* (sqrt (+ d3 (+ 3.0 d2))) (sqrt (+ d3 (+ 3.0 d2)))) (sqrt (+ d3 (+ 3.0 d2)))) (* (* d1 d1) d1)))
  (* (* (* (sqrt (+ d3 (+ 3.0 d2))) (sqrt (+ d3 (+ 3.0 d2)))) (sqrt (+ d3 (+ 3.0 d2)))) (* (* (* (sqrt (+ d3 (+ 3.0 d2))) d1) (* (sqrt (+ d3 (+ 3.0 d2))) d1)) (* (sqrt (+ d3 (+ 3.0 d2))) d1)))
  (* (cbrt (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))) (cbrt (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))))
  (cbrt (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1)))
  (* (* (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1)) (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))) (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1)))
  (sqrt (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1)))
  (sqrt (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1)))
  (* (sqrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))) (* (sqrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))) d1))
  (* (sqrt (+ (* d3 d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2))))) (sqrt (+ (* d3 d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2))))))
  (* (sqrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))) (* (sqrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) d1))
  (* (sqrt (+ (* d3 d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2))))) (sqrt (- d3 (+ 3.0 d2))))
  (* (sqrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (* (sqrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))) d1))
  (* (sqrt (- d3 (+ 3.0 d2))) (sqrt (+ (* d3 d3) (- (* (+ 3.0 d2) (+ 3.0 d2)) (* d3 (+ 3.0 d2))))))
  (* (sqrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (* (sqrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) d1))
  (* (sqrt (- d3 (+ 3.0 d2))) (sqrt (- d3 (+ 3.0 d2))))
  (* (sqrt (+ d3 (+ 3.0 d2))) (sqrt (+ d3 (+ 3.0 d2))))
  (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (cbrt (+ d3 (+ 3.0 d2)))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))) d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) d1))
  (* (sqrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) d1)
  (+ (log (sqrt (+ d3 (+ 3.0 d2)))) (log d1))
  (log (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (exp (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (* (* (sqrt (+ d3 (+ 3.0 d2))) (sqrt (+ d3 (+ 3.0 d2)))) (sqrt (+ d3 (+ 3.0 d2)))) (* (* d1 d1) d1))
  (* (cbrt (* (sqrt (+ d3 (+ 3.0 d2))) d1)) (cbrt (* (sqrt (+ d3 (+ 3.0 d2))) d1)))
  (cbrt (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (* (* (sqrt (+ d3 (+ 3.0 d2))) d1) (* (sqrt (+ d3 (+ 3.0 d2))) d1)) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (sqrt (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (sqrt (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) (sqrt d1))
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) (sqrt d1))
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) (sqrt d1))
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) (sqrt d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) (* (cbrt d1) (cbrt d1)))
  (* (sqrt (+ d3 (+ 3.0 d2))) (sqrt d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) 1)
  (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) d1)
  (* (sqrt (cbrt (+ d3 (+ 3.0 d2)))) d1)
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) d1)
  (* (sqrt (+ d3 (+ 3.0 d2))) d1)
  (* (sqrt (+ d3 (+ 3.0 d2))) d1)
  (* (sqrt (+ d3 (+ 3.0 d2))) d1)
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) d1)
  (* (sqrt (+ d3 (+ 3.0 d2))) d1)
  (* (sqrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))) d1)
  (* (sqrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) d1)
  (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2)))
  (+ (* d1 (sqrt 3.0)) (+ (* 1/2 (/ (* d1 d2) (sqrt 3.0))) (* 1/2 (* d1 (* d3 (sqrt 0.3333333333333333))))))
  (- (+ (* +nan.0 d1) (- (+ (* +nan.0 (/ (* d1 d2) d3)) (- (* +nan.0 (/ (* d1 d2) (pow d3 2))))))))
  (- (+ (* +nan.0 d1) (- (+ (* +nan.0 (/ (* d1 d2) d3)) (- (* +nan.0 (/ (* d1 d2) (pow d3 2))))))))
5.696 * * [simplify]: iteration  0 :  112  enodes  (cost  1136 )
5.723 * * [simplify]: iteration  1 :  297  enodes  (cost  878 )
5.794 * * [simplify]: iteration  2 :  831  enodes  (cost  768 )
6.356 * * [simplify]: iteration  3 :  2988  enodes  (cost  756 )
7.542 * * [simplify]: iteration  done :  5000  enodes  (cost  754 )
7.543 * [simplify]: Simplified to:
   (* (+ (+ 3.0 d2) d3) d1)
  (* (+ (+ 3.0 d2) d3) d1)
  (log (* (+ (+ 3.0 d2) d3) d1))
  (log (* (+ (+ 3.0 d2) d3) d1))
  (log (* (+ (+ 3.0 d2) d3) d1))
  (exp (* (+ (+ 3.0 d2) d3) d1))
  (pow (* d1 (+ (+ 3.0 d2) d3)) 3)
  (pow (* d1 (+ (+ 3.0 d2) d3)) 3)
  (* (cbrt (* (+ (+ 3.0 d2) d3) d1)) (cbrt (* (+ (+ 3.0 d2) d3) d1)))
  (cbrt (* (+ (+ 3.0 d2) d3) d1))
  (pow (* d1 (+ (+ 3.0 d2) d3)) 3)
  (sqrt (* (+ (+ 3.0 d2) d3) d1))
  (sqrt (* (+ (+ 3.0 d2) d3) d1))
  (* (+ (pow d3 3) (pow (+ 3.0 d2) 3)) d1)
  (+ (* d3 d3) (* (+ 3.0 d2) (- (+ 3.0 d2) d3)))
  (* (sqrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (* (sqrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))) d1))
  (* (sqrt (- d3 (+ 3.0 d2))) (sqrt (+ (* d3 d3) (* (+ 3.0 d2) (- (+ 3.0 d2) d3)))))
  (* (sqrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (* (sqrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))) d1))
  (* (sqrt (- d3 (+ 3.0 d2))) (sqrt (+ (* d3 d3) (* (+ 3.0 d2) (- (+ 3.0 d2) d3)))))
  (* (* (- d3 (+ 3.0 d2)) (+ (+ 3.0 d2) d3)) d1)
  (- d3 (+ 3.0 d2))
  (+ (+ 3.0 d2) d3)
  (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (cbrt (+ d3 (+ 3.0 d2)))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (+ (+ 3.0 d2) d3) d1)
  (* (+ (+ 3.0 d2) d3) d1)
  (* (+ (+ 3.0 d2) d3) d1)
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (+ (+ 3.0 d2) d3) d1)
  (* (sqrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) d1)
  (log (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (log (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (exp (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (pow (* (sqrt (+ d3 (+ 3.0 d2))) d1) 3)
  (* (cbrt (* (sqrt (+ d3 (+ 3.0 d2))) d1)) (cbrt (* (sqrt (+ d3 (+ 3.0 d2))) d1)))
  (cbrt (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (pow (* (sqrt (+ d3 (+ 3.0 d2))) d1) 3)
  (sqrt (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (sqrt (* (sqrt (+ d3 (+ 3.0 d2))) d1))
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) (sqrt d1))
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) (sqrt d1))
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) (sqrt d1))
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) (sqrt d1))
  (* (sqrt (+ d3 (+ 3.0 d2))) (* (cbrt d1) (cbrt d1)))
  (* (sqrt (+ d3 (+ 3.0 d2))) (sqrt d1))
  (sqrt (+ d3 (+ 3.0 d2)))
  (* d1 (cbrt (sqrt (+ d3 (+ 3.0 d2)))))
  (* (sqrt (cbrt (+ d3 (+ 3.0 d2)))) d1)
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) d1)
  (* (sqrt (+ d3 (+ 3.0 d2))) d1)
  (* (sqrt (+ d3 (+ 3.0 d2))) d1)
  (* (sqrt (+ d3 (+ 3.0 d2))) d1)
  (* (sqrt (sqrt (+ d3 (+ 3.0 d2)))) d1)
  (* (sqrt (+ d3 (+ 3.0 d2))) d1)
  (* d1 (sqrt (+ (pow d3 3) (pow (+ 3.0 d2) 3))))
  (* (sqrt (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) d1)
  (* (+ (+ 3.0 d2) d3) d1)
  (* (+ (+ 3.0 d2) d3) d1)
  (* (+ (+ 3.0 d2) d3) d1)
  (+ (* d1 (sqrt 3.0)) (* 1/2 (+ (/ (* d1 d2) (sqrt 3.0)) (* d1 (* d3 (sqrt 0.3333333333333333))))))
  (* (- (* (/ d1 d3) (- d2 (/ d2 d3))) d1) +nan.0)
  (* (- (* (/ d1 d3) (- d2 (/ d2 d3))) d1) +nan.0)
7.544 * * * [progress]: adding candidates to table
7.657 * [progress]: [Phase 3 of 3] Extracting.
7.657 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2 d3) (* (+ d3 (+ 3.0 d2)) d1))> #<alt (λ (d1 d2 d3) (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1)))> #<alt (λ (d1 d2 d3) (/ (* (* (- d3 (+ 3.0 d2)) (+ (+ 3.0 d2) d3)) d1) (- d3 (+ 3.0 d2))))> #<alt (λ (d1 d2 d3) (/ (* (+ (pow d3 3) (pow (+ 3.0 d2) 3)) d1) (+ (* d3 d3) (* (+ 3.0 d2) (- (+ 3.0 d2) d3)))))> #<alt (λ (d1 d2 d3) (* (sqrt (+ d3 (+ 3.0 d2))) (* (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2))))) (* d1 (cbrt (sqrt (+ d3 (+ 3.0 d2))))))))>)
7.659 * * * [regime-changes]: Trying 3 branch expressions: (d3 d2 d1)
7.659 * * * * [regimes]: Trying to branch on d3 from (#<alt (λ (d1 d2 d3) (* (+ d3 (+ 3.0 d2)) d1))> #<alt (λ (d1 d2 d3) (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1)))> #<alt (λ (d1 d2 d3) (/ (* (* (- d3 (+ 3.0 d2)) (+ (+ 3.0 d2) d3)) d1) (- d3 (+ 3.0 d2))))> #<alt (λ (d1 d2 d3) (/ (* (+ (pow d3 3) (pow (+ 3.0 d2) 3)) d1) (+ (* d3 d3) (* (+ 3.0 d2) (- (+ 3.0 d2) d3)))))> #<alt (λ (d1 d2 d3) (* (sqrt (+ d3 (+ 3.0 d2))) (* (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2))))) (* d1 (cbrt (sqrt (+ d3 (+ 3.0 d2))))))))>)
7.679 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2 d3) (* (+ d3 (+ 3.0 d2)) d1))> #<alt (λ (d1 d2 d3) (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1)))> #<alt (λ (d1 d2 d3) (/ (* (* (- d3 (+ 3.0 d2)) (+ (+ 3.0 d2) d3)) d1) (- d3 (+ 3.0 d2))))> #<alt (λ (d1 d2 d3) (/ (* (+ (pow d3 3) (pow (+ 3.0 d2) 3)) d1) (+ (* d3 d3) (* (+ 3.0 d2) (- (+ 3.0 d2) d3)))))> #<alt (λ (d1 d2 d3) (* (sqrt (+ d3 (+ 3.0 d2))) (* (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2))))) (* d1 (cbrt (sqrt (+ d3 (+ 3.0 d2))))))))>)
7.703 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2 d3) (* (+ d3 (+ 3.0 d2)) d1))> #<alt (λ (d1 d2 d3) (* (sqrt (+ d3 (+ 3.0 d2))) (* (sqrt (+ d3 (+ 3.0 d2))) d1)))> #<alt (λ (d1 d2 d3) (/ (* (* (- d3 (+ 3.0 d2)) (+ (+ 3.0 d2) d3)) d1) (- d3 (+ 3.0 d2))))> #<alt (λ (d1 d2 d3) (/ (* (+ (pow d3 3) (pow (+ 3.0 d2) 3)) d1) (+ (* d3 d3) (* (+ 3.0 d2) (- (+ 3.0 d2) d3)))))> #<alt (λ (d1 d2 d3) (* (sqrt (+ d3 (+ 3.0 d2))) (* (* (cbrt (sqrt (+ d3 (+ 3.0 d2)))) (cbrt (sqrt (+ d3 (+ 3.0 d2))))) (* d1 (cbrt (sqrt (+ d3 (+ 3.0 d2))))))))>)
7.724 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
7.724 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (+ d3 (+ 3.0 d2)) d1)
7.725 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
7.725 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
7.725 * * [simplify]: iteration  done :  10  enodes  (cost  7 )
7.725 * [simplify]: Simplified to:
   (* (+ d3 (+ 3.0 d2)) d1)
8.403 * [regime-testing]: Baseline error score: 0.06338292286535817
8.403 * [regime-testing]: Oracle error score: 0.007750968871108889
8.404 * [regime-testing]: End program error score: 0.06338292286535817
8.426 * [regime-testing]: Target error score: 0.06338292286535817