9.892 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.036 * * * [progress]: [2/2] Setting up program.
0.039 * [progress]: [Phase 2 of 3] Improving.
0.040 * [simplify]: Simplifying:
  (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))
0.040 * * [simplify]: Extracting # 0 : cost  0
0.040 * * [simplify]: Extracting # 1 : cost  0
0.040 * * [simplify]: Extracting # 2 : cost  0
0.040 * * [simplify]: Extracting # 3 : cost  0
0.040 * * [simplify]: Extracting # 4 : cost  0
0.040 * * [simplify]: Extracting # 5 : cost  0
0.040 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
0.044 * * [simplify]: Extracting # 0 : cost  0
0.044 * * [simplify]: Extracting # 1 : cost  0
0.044 * * [simplify]: Extracting # 2 : cost  0
0.044 * * [simplify]: Extracting # 3 : cost  0
0.044 * * [simplify]: iteration  1 :  19  enodes  (cost  9 )
0.053 * * [simplify]: Extracting # 0 : cost  0
0.053 * * [simplify]: Extracting # 1 : cost  0
0.053 * * [simplify]: Extracting # 2 : cost  0
0.053 * * [simplify]: Extracting # 3 : cost  0
0.054 * * [simplify]: iteration  2 :  45  enodes  (cost  7 )
0.073 * * [simplify]: Extracting # 0 : cost  0
0.073 * * [simplify]: Extracting # 1 : cost  0
0.073 * * [simplify]: Extracting # 2 : cost  0
0.073 * * [simplify]: iteration  3 :  72  enodes  (cost  7 )
0.093 * * [simplify]: Extracting # 0 : cost  0
0.093 * * [simplify]: iteration  4 :  83  enodes  (cost  7 )
0.107 * * [simplify]: Extracting # 0 : cost  0
0.108 * * [simplify]: iteration  5 :  84  enodes  (cost  7 )
0.133 * * [simplify]: Extracting # 0 : cost  0
0.133 * * [simplify]: iteration done:  84  enodes  (cost  7 )
0.133 * [simplify]: Simplified to:
  (* d1 (+ 20.0 (+ 10.0 d2)))
0.137 * * [progress]: iteration 1 / 4
0.137 * * * [progress]: picking best candidate
0.142 * * * * [pick]: Picked  #<alt (λ (d1 d2) (* d1 (+ 20.0 (+ 10.0 d2))))>
0.142 * * * [progress]: localizing error
0.153 * * * [progress]: generating rewritten candidates
0.153 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.172 * * * [progress]: generating series expansions
0.172 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.172 * [backup-simplify]: Simplify (+ 20.0 (+ 10.0 d2)) into (+ d2 30.0)
0.172 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0
0.172 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.172 * [taylor]: Taking taylor expansion of d2 in d2
0.172 * [backup-simplify]: Simplify 0 into 0
0.172 * [backup-simplify]: Simplify 1 into 1
0.172 * [taylor]: Taking taylor expansion of 30.0 in d2
0.172 * [backup-simplify]: Simplify 30.0 into 30.0
0.172 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.172 * [taylor]: Taking taylor expansion of d2 in d2
0.172 * [backup-simplify]: Simplify 0 into 0
0.172 * [backup-simplify]: Simplify 1 into 1
0.172 * [taylor]: Taking taylor expansion of 30.0 in d2
0.172 * [backup-simplify]: Simplify 30.0 into 30.0
0.173 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
0.173 * [backup-simplify]: Simplify 30.0 into 30.0
0.173 * [backup-simplify]: Simplify (+ 1 0) into 1
0.173 * [backup-simplify]: Simplify 1 into 1
0.173 * [backup-simplify]: Simplify (+ 0 0) into 0
0.173 * [backup-simplify]: Simplify 0 into 0
0.173 * [backup-simplify]: Simplify (+ 0 0) into 0
0.173 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify (+ 0 0) into 0
0.174 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify (+ 0 0) into 0
0.174 * [backup-simplify]: Simplify 0 into 0
0.174 * [backup-simplify]: Simplify (+ 0 0) into 0
0.174 * [backup-simplify]: Simplify 0 into 0
0.175 * [backup-simplify]: Simplify (+ 0 0) into 0
0.175 * [backup-simplify]: Simplify 0 into 0
0.175 * [backup-simplify]: Simplify (+ (* 1 d2) 30.0) into (+ d2 30.0)
0.175 * [backup-simplify]: Simplify (+ 20.0 (+ 10.0 (/ 1 d2))) into (+ (/ 1 d2) 30.0)
0.175 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0
0.175 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.175 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.175 * [taylor]: Taking taylor expansion of d2 in d2
0.175 * [backup-simplify]: Simplify 0 into 0
0.175 * [backup-simplify]: Simplify 1 into 1
0.175 * [backup-simplify]: Simplify (/ 1 1) into 1
0.175 * [taylor]: Taking taylor expansion of 30.0 in d2
0.175 * [backup-simplify]: Simplify 30.0 into 30.0
0.175 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.175 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.175 * [taylor]: Taking taylor expansion of d2 in d2
0.175 * [backup-simplify]: Simplify 0 into 0
0.175 * [backup-simplify]: Simplify 1 into 1
0.175 * [backup-simplify]: Simplify (/ 1 1) into 1
0.175 * [taylor]: Taking taylor expansion of 30.0 in d2
0.176 * [backup-simplify]: Simplify 30.0 into 30.0
0.176 * [backup-simplify]: Simplify (+ 1 0) into 1
0.176 * [backup-simplify]: Simplify 1 into 1
0.176 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.177 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
0.177 * [backup-simplify]: Simplify 30.0 into 30.0
0.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.177 * [backup-simplify]: Simplify (+ 0 0) into 0
0.177 * [backup-simplify]: Simplify 0 into 0
0.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.178 * [backup-simplify]: Simplify (+ 0 0) into 0
0.178 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.179 * [backup-simplify]: Simplify (+ 0 0) into 0
0.179 * [backup-simplify]: Simplify 0 into 0
0.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.180 * [backup-simplify]: Simplify (+ 0 0) into 0
0.180 * [backup-simplify]: Simplify 0 into 0
0.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.185 * [backup-simplify]: Simplify (+ 0 0) into 0
0.185 * [backup-simplify]: Simplify 0 into 0
0.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.186 * [backup-simplify]: Simplify (+ 0 0) into 0
0.186 * [backup-simplify]: Simplify 0 into 0
0.186 * [backup-simplify]: Simplify (+ 30.0 (* 1 (/ 1 (/ 1 d2)))) into (+ d2 30.0)
0.186 * [backup-simplify]: Simplify (+ 20.0 (+ 10.0 (/ 1 (- d2)))) into (- 30.0 (/ 1 d2))
0.186 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0
0.186 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
0.186 * [taylor]: Taking taylor expansion of 30.0 in d2
0.186 * [backup-simplify]: Simplify 30.0 into 30.0
0.186 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.186 * [taylor]: Taking taylor expansion of d2 in d2
0.186 * [backup-simplify]: Simplify 0 into 0
0.186 * [backup-simplify]: Simplify 1 into 1
0.186 * [backup-simplify]: Simplify (/ 1 1) into 1
0.186 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
0.186 * [taylor]: Taking taylor expansion of 30.0 in d2
0.186 * [backup-simplify]: Simplify 30.0 into 30.0
0.186 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.186 * [taylor]: Taking taylor expansion of d2 in d2
0.186 * [backup-simplify]: Simplify 0 into 0
0.186 * [backup-simplify]: Simplify 1 into 1
0.187 * [backup-simplify]: Simplify (/ 1 1) into 1
0.187 * [backup-simplify]: Simplify (- 1) into -1
0.187 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.187 * [backup-simplify]: Simplify -1 into -1
0.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.188 * [backup-simplify]: Simplify (- 0) into 0
0.188 * [backup-simplify]: Simplify (+ 30.0 0) into 30.0
0.188 * [backup-simplify]: Simplify 30.0 into 30.0
0.189 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.189 * [backup-simplify]: Simplify (- 0) into 0
0.189 * [backup-simplify]: Simplify (+ 0 0) into 0
0.189 * [backup-simplify]: Simplify 0 into 0
0.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.190 * [backup-simplify]: Simplify (- 0) into 0
0.190 * [backup-simplify]: Simplify (+ 0 0) into 0
0.190 * [backup-simplify]: Simplify 0 into 0
0.191 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.191 * [backup-simplify]: Simplify (- 0) into 0
0.191 * [backup-simplify]: Simplify (+ 0 0) into 0
0.191 * [backup-simplify]: Simplify 0 into 0
0.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.193 * [backup-simplify]: Simplify (- 0) into 0
0.193 * [backup-simplify]: Simplify (+ 0 0) into 0
0.193 * [backup-simplify]: Simplify 0 into 0
0.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.195 * [backup-simplify]: Simplify (- 0) into 0
0.195 * [backup-simplify]: Simplify (+ 0 0) into 0
0.195 * [backup-simplify]: Simplify 0 into 0
0.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.196 * [backup-simplify]: Simplify (- 0) into 0
0.197 * [backup-simplify]: Simplify (+ 0 0) into 0
0.197 * [backup-simplify]: Simplify 0 into 0
0.197 * [backup-simplify]: Simplify (+ 30.0 (* -1 (/ 1 (/ 1 (- d2))))) into (+ d2 30.0)
0.197 * * * [progress]: simplifying candidates
0.198 * [simplify]: Simplifying:
  (expm1 (+ 20.0 (+ 10.0 d2)))
  (log1p (+ 20.0 (+ 10.0 d2)))
  (* (exp 20.0) (* (exp 10.0) (exp d2)))
  (* (exp 20.0) (exp (+ 10.0 d2)))
  (log (+ 20.0 (+ 10.0 d2)))
  (exp (+ 20.0 (+ 10.0 d2)))
  (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2))))
  (cbrt (+ 20.0 (+ 10.0 d2)))
  (* (* (+ 20.0 (+ 10.0 d2)) (+ 20.0 (+ 10.0 d2))) (+ 20.0 (+ 10.0 d2)))
  (sqrt (+ 20.0 (+ 10.0 d2)))
  (sqrt (+ 20.0 (+ 10.0 d2)))
  (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))
  (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2))))
  (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))
  (- 20.0 (+ 10.0 d2))
  (+ 20.0 (+ 10.0 d2))
  (+ 20.0 (+ 10.0 d2))
  (+ 20.0 10.0)
  (+ d2 30.0)
  (+ d2 30.0)
  (+ d2 30.0)
0.198 * * [simplify]: Extracting # 0 : cost  0
0.198 * * [simplify]: Extracting # 1 : cost  0
0.198 * * [simplify]: Extracting # 2 : cost  0
0.198 * * [simplify]: Extracting # 3 : cost  0
0.199 * * [simplify]: Extracting # 4 : cost  0
0.199 * * [simplify]: Extracting # 5 : cost  0
0.199 * * [simplify]: iteration  0 :  35  enodes  (cost  151 )
0.218 * * [simplify]: Extracting # 0 : cost  0
0.218 * * [simplify]: Extracting # 1 : cost  0
0.219 * * [simplify]: Extracting # 2 : cost  0
0.219 * * [simplify]: Extracting # 3 : cost  0
0.219 * * [simplify]: Extracting # 4 : cost  0
0.219 * * [simplify]: iteration  1 :  99  enodes  (cost  143 )
0.265 * * [simplify]: Extracting # 0 : cost  0
0.266 * * [simplify]: Extracting # 1 : cost  0
0.266 * * [simplify]: Extracting # 2 : cost  0
0.266 * * [simplify]: Extracting # 3 : cost  0
0.267 * * [simplify]: Extracting # 4 : cost  0
0.267 * * [simplify]: iteration  2 :  322  enodes  (cost  133 )
0.472 * * [simplify]: Extracting # 0 : cost  0
0.473 * * [simplify]: Extracting # 1 : cost  0
0.474 * * [simplify]: Extracting # 2 : cost  0
0.476 * * [simplify]: Extracting # 3 : cost  0
0.477 * * [simplify]: Extracting # 4 : cost  0
0.478 * * [simplify]: iteration  3 :  1285  enodes  (cost  133 )
1.501 * * [simplify]: Extracting # 0 : cost  0
1.506 * * [simplify]: Extracting # 1 : cost  0
1.513 * * [simplify]: Extracting # 2 : cost  0
1.518 * * [simplify]: Extracting # 3 : cost  0
1.526 * * [simplify]: Extracting # 4 : cost  0
1.537 * * [simplify]: iteration done:  5001  enodes  (cost  133 )
1.537 * [simplify]: Simplified to:
  (expm1 (+ 20.0 (+ 10.0 d2)))
  (log1p (+ 20.0 (+ 10.0 d2)))
  (exp (+ 20.0 (+ 10.0 d2)))
  (exp (+ 20.0 (+ 10.0 d2)))
  (log (+ 20.0 (+ 10.0 d2)))
  (exp (+ 20.0 (+ 10.0 d2)))
  (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2))))
  (cbrt (+ 20.0 (+ 10.0 d2)))
  (pow (+ 20.0 (+ 10.0 d2)) 3)
  (sqrt (+ 20.0 (+ 10.0 d2)))
  (sqrt (+ 20.0 (+ 10.0 d2)))
  (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))
  (fma 20.0 20.0 (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)))
  (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))
  (- 20.0 (+ 10.0 d2))
  (+ 20.0 (+ 10.0 d2))
  (+ 20.0 (+ 10.0 d2))
  (+ 20.0 10.0)
  (+ d2 30.0)
  (+ d2 30.0)
  (+ d2 30.0)
1.537 * * * [progress]: adding candidates to table
1.595 * * [progress]: iteration 2 / 4
1.595 * * * [progress]: picking best candidate
1.599 * * * * [pick]: Picked  #<alt (λ (d1 d2) (* d1 (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))))>
1.600 * * * [progress]: localizing error
1.615 * * * [progress]: generating rewritten candidates
1.615 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
1.616 * * * [progress]: generating series expansions
1.616 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
1.617 * [backup-simplify]: Simplify (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2)) into (fma (sqrt 20.0) (sqrt 20.0) (+ d2 10.0))
1.617 * [approximate]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ d2 10.0)) in (d2) around 0
1.617 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ d2 10.0)) in d2
1.617 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (+ d2 10.0))
1.617 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2
1.617 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2
1.617 * [taylor]: Taking taylor expansion of 20.0 in d2
1.617 * [backup-simplify]: Simplify 20.0 into 20.0
1.617 * [backup-simplify]: Simplify (sqrt 20.0) into (sqrt 20.0)
1.618 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 20.0))) into 0
1.618 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2
1.618 * [taylor]: Taking taylor expansion of 20.0 in d2
1.618 * [backup-simplify]: Simplify 20.0 into 20.0
1.618 * [backup-simplify]: Simplify (sqrt 20.0) into (sqrt 20.0)
1.619 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 20.0))) into 0
1.619 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d2
1.619 * [taylor]: Taking taylor expansion of d2 in d2
1.619 * [backup-simplify]: Simplify 0 into 0
1.619 * [backup-simplify]: Simplify 1 into 1
1.619 * [taylor]: Taking taylor expansion of 10.0 in d2
1.619 * [backup-simplify]: Simplify 10.0 into 10.0
1.619 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ d2 10.0)) in d2
1.619 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (+ d2 10.0))
1.619 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2
1.619 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2
1.619 * [taylor]: Taking taylor expansion of 20.0 in d2
1.619 * [backup-simplify]: Simplify 20.0 into 20.0
1.619 * [backup-simplify]: Simplify (sqrt 20.0) into (sqrt 20.0)
1.620 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 20.0))) into 0
1.620 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2
1.620 * [taylor]: Taking taylor expansion of 20.0 in d2
1.620 * [backup-simplify]: Simplify 20.0 into 20.0
1.620 * [backup-simplify]: Simplify (sqrt 20.0) into (sqrt 20.0)
1.621 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 20.0))) into 0
1.621 * [taylor]: Taking taylor expansion of (+ d2 10.0) in d2
1.621 * [taylor]: Taking taylor expansion of d2 in d2
1.621 * [backup-simplify]: Simplify 0 into 0
1.621 * [backup-simplify]: Simplify 1 into 1
1.621 * [taylor]: Taking taylor expansion of 10.0 in d2
1.621 * [backup-simplify]: Simplify 10.0 into 10.0
1.621 * [backup-simplify]: Simplify (* (sqrt 20.0) (sqrt 20.0)) into (pow (sqrt 20.0) 2)
1.622 * [backup-simplify]: Simplify (+ 0 10.0) into 10.0
1.623 * [backup-simplify]: Simplify (+ (pow (sqrt 20.0) 2) 10.0) into (+ 10.0 (pow (sqrt 20.0) 2))
1.624 * [backup-simplify]: Simplify (+ 10.0 (pow (sqrt 20.0) 2)) into (+ (pow (sqrt 20.0) 2) 10.0)
1.624 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (* 0 (sqrt 20.0))) into 0
1.625 * [backup-simplify]: Simplify (+ 1 0) into 1
1.625 * [backup-simplify]: Simplify (+ 0 1) into 1
1.625 * [backup-simplify]: Simplify 1 into 1
1.626 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 20.0))) into 0
1.626 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 20.0))) into 0
1.627 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (* 0 (sqrt 20.0)))) into 0
1.627 * [backup-simplify]: Simplify (+ 0 0) into 0
1.627 * [backup-simplify]: Simplify (+ 0 0) into 0
1.627 * [backup-simplify]: Simplify 0 into 0
1.628 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.629 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.629 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 20.0))))) into 0
1.630 * [backup-simplify]: Simplify (+ 0 0) into 0
1.630 * [backup-simplify]: Simplify (+ 0 0) into 0
1.630 * [backup-simplify]: Simplify 0 into 0
1.631 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.631 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.632 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 20.0)))))) into 0
1.632 * [backup-simplify]: Simplify (+ 0 0) into 0
1.633 * [backup-simplify]: Simplify (+ 0 0) into 0
1.633 * [backup-simplify]: Simplify 0 into 0
1.633 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.634 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.635 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 20.0))))))) into 0
1.635 * [backup-simplify]: Simplify (+ 0 0) into 0
1.640 * [backup-simplify]: Simplify (+ 0 0) into 0
1.640 * [backup-simplify]: Simplify 0 into 0
1.641 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.642 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.643 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 20.0)))))))) into 0
1.644 * [backup-simplify]: Simplify (+ 0 0) into 0
1.644 * [backup-simplify]: Simplify (+ 0 0) into 0
1.644 * [backup-simplify]: Simplify 0 into 0
1.645 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.647 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.649 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 20.0))))))))) into 0
1.649 * [backup-simplify]: Simplify (+ 0 0) into 0
1.650 * [backup-simplify]: Simplify (+ 0 0) into 0
1.650 * [backup-simplify]: Simplify 0 into 0
1.652 * [backup-simplify]: Simplify (+ (* 1 d2) (+ (pow (sqrt 20.0) 2) 10.0)) into (+ (pow (sqrt 20.0) 2) (+ d2 10.0))
1.653 * [backup-simplify]: Simplify (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 (/ 1 d2))) into (fma (sqrt 20.0) (sqrt 20.0) (+ (/ 1 d2) 10.0))
1.653 * [approximate]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ (/ 1 d2) 10.0)) in (d2) around 0
1.653 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ (/ 1 d2) 10.0)) in d2
1.653 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (+ (/ 1 d2) 10.0))
1.654 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2
1.654 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2
1.654 * [taylor]: Taking taylor expansion of 20.0 in d2
1.654 * [backup-simplify]: Simplify 20.0 into 20.0
1.654 * [backup-simplify]: Simplify (sqrt 20.0) into (sqrt 20.0)
1.655 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 20.0))) into 0
1.655 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2
1.655 * [taylor]: Taking taylor expansion of 20.0 in d2
1.655 * [backup-simplify]: Simplify 20.0 into 20.0
1.655 * [backup-simplify]: Simplify (sqrt 20.0) into (sqrt 20.0)
1.656 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 20.0))) into 0
1.656 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d2
1.656 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.656 * [taylor]: Taking taylor expansion of d2 in d2
1.656 * [backup-simplify]: Simplify 0 into 0
1.656 * [backup-simplify]: Simplify 1 into 1
1.657 * [backup-simplify]: Simplify (/ 1 1) into 1
1.657 * [taylor]: Taking taylor expansion of 10.0 in d2
1.657 * [backup-simplify]: Simplify 10.0 into 10.0
1.657 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (+ (/ 1 d2) 10.0)) in d2
1.657 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (+ (/ 1 d2) 10.0))
1.657 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2
1.657 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2
1.657 * [taylor]: Taking taylor expansion of 20.0 in d2
1.657 * [backup-simplify]: Simplify 20.0 into 20.0
1.657 * [backup-simplify]: Simplify (sqrt 20.0) into (sqrt 20.0)
1.658 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 20.0))) into 0
1.658 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2
1.658 * [taylor]: Taking taylor expansion of 20.0 in d2
1.658 * [backup-simplify]: Simplify 20.0 into 20.0
1.659 * [backup-simplify]: Simplify (sqrt 20.0) into (sqrt 20.0)
1.659 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 20.0))) into 0
1.660 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 10.0) in d2
1.660 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.660 * [taylor]: Taking taylor expansion of d2 in d2
1.660 * [backup-simplify]: Simplify 0 into 0
1.660 * [backup-simplify]: Simplify 1 into 1
1.660 * [backup-simplify]: Simplify (/ 1 1) into 1
1.660 * [taylor]: Taking taylor expansion of 10.0 in d2
1.660 * [backup-simplify]: Simplify 10.0 into 10.0
1.661 * [backup-simplify]: Simplify (+ 1 0) into 1
1.661 * [backup-simplify]: Simplify (+ 0 1) into 1
1.661 * [backup-simplify]: Simplify 1 into 1
1.663 * [backup-simplify]: Simplify (* (sqrt 20.0) (sqrt 20.0)) into (pow (sqrt 20.0) 2)
1.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.664 * [backup-simplify]: Simplify (+ 0 10.0) into 10.0
1.666 * [backup-simplify]: Simplify (+ (pow (sqrt 20.0) 2) 10.0) into (+ 10.0 (pow (sqrt 20.0) 2))
1.667 * [backup-simplify]: Simplify (+ 10.0 (pow (sqrt 20.0) 2)) into (+ (pow (sqrt 20.0) 2) 10.0)
1.668 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (* 0 (sqrt 20.0))) into 0
1.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.670 * [backup-simplify]: Simplify (+ 0 0) into 0
1.670 * [backup-simplify]: Simplify (+ 0 0) into 0
1.670 * [backup-simplify]: Simplify 0 into 0
1.671 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 20.0))) into 0
1.672 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 20.0))) into 0
1.673 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (* 0 (sqrt 20.0)))) into 0
1.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.675 * [backup-simplify]: Simplify (+ 0 0) into 0
1.675 * [backup-simplify]: Simplify (+ 0 0) into 0
1.675 * [backup-simplify]: Simplify 0 into 0
1.676 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.678 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.679 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 20.0))))) into 0
1.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.680 * [backup-simplify]: Simplify (+ 0 0) into 0
1.681 * [backup-simplify]: Simplify (+ 0 0) into 0
1.681 * [backup-simplify]: Simplify 0 into 0
1.682 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.684 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.685 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 20.0)))))) into 0
1.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.686 * [backup-simplify]: Simplify (+ 0 0) into 0
1.687 * [backup-simplify]: Simplify (+ 0 0) into 0
1.687 * [backup-simplify]: Simplify 0 into 0
1.688 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.690 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.691 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 20.0))))))) into 0
1.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.693 * [backup-simplify]: Simplify (+ 0 0) into 0
1.693 * [backup-simplify]: Simplify (+ 0 0) into 0
1.693 * [backup-simplify]: Simplify 0 into 0
1.695 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.696 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.698 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 20.0)))))))) into 0
1.699 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.699 * [backup-simplify]: Simplify (+ 0 0) into 0
1.700 * [backup-simplify]: Simplify (+ 0 0) into 0
1.700 * [backup-simplify]: Simplify 0 into 0
1.702 * [backup-simplify]: Simplify (+ (+ (pow (sqrt 20.0) 2) 10.0) (* 1 (/ 1 (/ 1 d2)))) into (+ (pow (sqrt 20.0) 2) (+ d2 10.0))
1.703 * [backup-simplify]: Simplify (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 (/ 1 (- d2)))) into (fma (sqrt 20.0) (sqrt 20.0) (- 10.0 (/ 1 d2)))
1.703 * [approximate]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (- 10.0 (/ 1 d2))) in (d2) around 0
1.703 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (- 10.0 (/ 1 d2))) in d2
1.703 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (- 10.0 (/ 1 d2)))
1.703 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2
1.703 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2
1.703 * [taylor]: Taking taylor expansion of 20.0 in d2
1.703 * [backup-simplify]: Simplify 20.0 into 20.0
1.703 * [backup-simplify]: Simplify (sqrt 20.0) into (sqrt 20.0)
1.704 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 20.0))) into 0
1.704 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2
1.704 * [taylor]: Taking taylor expansion of 20.0 in d2
1.704 * [backup-simplify]: Simplify 20.0 into 20.0
1.705 * [backup-simplify]: Simplify (sqrt 20.0) into (sqrt 20.0)
1.705 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 20.0))) into 0
1.705 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d2
1.705 * [taylor]: Taking taylor expansion of 10.0 in d2
1.705 * [backup-simplify]: Simplify 10.0 into 10.0
1.705 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.706 * [taylor]: Taking taylor expansion of d2 in d2
1.706 * [backup-simplify]: Simplify 0 into 0
1.706 * [backup-simplify]: Simplify 1 into 1
1.706 * [backup-simplify]: Simplify (/ 1 1) into 1
1.706 * [taylor]: Taking taylor expansion of (fma (sqrt 20.0) (sqrt 20.0) (- 10.0 (/ 1 d2))) in d2
1.706 * [taylor]: Rewrote expression to (+ (* (sqrt 20.0) (sqrt 20.0)) (- 10.0 (/ 1 d2)))
1.706 * [taylor]: Taking taylor expansion of (* (sqrt 20.0) (sqrt 20.0)) in d2
1.706 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2
1.706 * [taylor]: Taking taylor expansion of 20.0 in d2
1.706 * [backup-simplify]: Simplify 20.0 into 20.0
1.707 * [backup-simplify]: Simplify (sqrt 20.0) into (sqrt 20.0)
1.707 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 20.0))) into 0
1.707 * [taylor]: Taking taylor expansion of (sqrt 20.0) in d2
1.707 * [taylor]: Taking taylor expansion of 20.0 in d2
1.707 * [backup-simplify]: Simplify 20.0 into 20.0
1.708 * [backup-simplify]: Simplify (sqrt 20.0) into (sqrt 20.0)
1.708 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 20.0))) into 0
1.708 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 d2)) in d2
1.708 * [taylor]: Taking taylor expansion of 10.0 in d2
1.708 * [backup-simplify]: Simplify 10.0 into 10.0
1.708 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.708 * [taylor]: Taking taylor expansion of d2 in d2
1.708 * [backup-simplify]: Simplify 0 into 0
1.708 * [backup-simplify]: Simplify 1 into 1
1.708 * [backup-simplify]: Simplify (/ 1 1) into 1
1.709 * [backup-simplify]: Simplify (- 1) into -1
1.709 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.709 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.709 * [backup-simplify]: Simplify -1 into -1
1.710 * [backup-simplify]: Simplify (* (sqrt 20.0) (sqrt 20.0)) into (pow (sqrt 20.0) 2)
1.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.711 * [backup-simplify]: Simplify (- 0) into 0
1.711 * [backup-simplify]: Simplify (+ 10.0 0) into 10.0
1.713 * [backup-simplify]: Simplify (+ (pow (sqrt 20.0) 2) 10.0) into (+ 10.0 (pow (sqrt 20.0) 2))
1.714 * [backup-simplify]: Simplify (+ 10.0 (pow (sqrt 20.0) 2)) into (+ (pow (sqrt 20.0) 2) 10.0)
1.714 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (* 0 (sqrt 20.0))) into 0
1.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.715 * [backup-simplify]: Simplify (- 0) into 0
1.715 * [backup-simplify]: Simplify (+ 0 0) into 0
1.715 * [backup-simplify]: Simplify (+ 0 0) into 0
1.715 * [backup-simplify]: Simplify 0 into 0
1.716 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 20.0))) into 0
1.717 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 20.0))) into 0
1.717 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (* 0 (sqrt 20.0)))) into 0
1.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.718 * [backup-simplify]: Simplify (- 0) into 0
1.718 * [backup-simplify]: Simplify (+ 0 0) into 0
1.718 * [backup-simplify]: Simplify (+ 0 0) into 0
1.718 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.720 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.721 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 20.0))))) into 0
1.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.721 * [backup-simplify]: Simplify (- 0) into 0
1.722 * [backup-simplify]: Simplify (+ 0 0) into 0
1.722 * [backup-simplify]: Simplify (+ 0 0) into 0
1.722 * [backup-simplify]: Simplify 0 into 0
1.723 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.723 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.724 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 20.0)))))) into 0
1.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.725 * [backup-simplify]: Simplify (- 0) into 0
1.725 * [backup-simplify]: Simplify (+ 0 0) into 0
1.725 * [backup-simplify]: Simplify (+ 0 0) into 0
1.725 * [backup-simplify]: Simplify 0 into 0
1.726 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.727 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.728 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 20.0))))))) into 0
1.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.729 * [backup-simplify]: Simplify (- 0) into 0
1.729 * [backup-simplify]: Simplify (+ 0 0) into 0
1.729 * [backup-simplify]: Simplify (+ 0 0) into 0
1.729 * [backup-simplify]: Simplify 0 into 0
1.730 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.731 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 20.0))) into 0
1.732 * [backup-simplify]: Simplify (+ (* (sqrt 20.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 20.0)))))))) into 0
1.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.733 * [backup-simplify]: Simplify (- 0) into 0
1.733 * [backup-simplify]: Simplify (+ 0 0) into 0
1.733 * [backup-simplify]: Simplify (+ 0 0) into 0
1.733 * [backup-simplify]: Simplify 0 into 0
1.734 * [backup-simplify]: Simplify (+ (+ (pow (sqrt 20.0) 2) 10.0) (* -1 (/ 1 (/ 1 (- d2))))) into (+ (pow (sqrt 20.0) 2) (+ d2 10.0))
1.734 * * * [progress]: simplifying candidates
1.735 * [simplify]: Simplifying:
  (expm1 (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2)))
  (log1p (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2)))
  (* (sqrt 20.0) (sqrt 20.0))
  (log (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2)))
  (exp (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2)))
  (* (cbrt (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))) (cbrt (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))))
  (cbrt (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2)))
  (* (* (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2)) (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))) (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2)))
  (sqrt (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2)))
  (sqrt (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2)))
  (+ (pow (sqrt 20.0) 2) (+ d2 10.0))
  (+ (pow (sqrt 20.0) 2) (+ d2 10.0))
  (+ (pow (sqrt 20.0) 2) (+ d2 10.0))
1.735 * * [simplify]: Extracting # 0 : cost  0
1.735 * * [simplify]: Extracting # 1 : cost  0
1.735 * * [simplify]: Extracting # 2 : cost  0
1.735 * * [simplify]: Extracting # 3 : cost  0
1.735 * * [simplify]: Extracting # 4 : cost  0
1.735 * * [simplify]: Extracting # 5 : cost  0
1.736 * * [simplify]: iteration  0 :  20  enodes  (cost  137 )
1.743 * * [simplify]: Extracting # 0 : cost  0
1.743 * * [simplify]: Extracting # 1 : cost  0
1.743 * * [simplify]: Extracting # 2 : cost  0
1.743 * * [simplify]: iteration  1 :  29  enodes  (cost  88 )
1.756 * * [simplify]: Extracting # 0 : cost  0
1.756 * * [simplify]: Extracting # 1 : cost  0
1.756 * * [simplify]: Extracting # 2 : cost  0
1.756 * * [simplify]: Extracting # 3 : cost  0
1.756 * * [simplify]: iteration  2 :  79  enodes  (cost  78 )
1.826 * * [simplify]: Extracting # 0 : cost  0
1.827 * * [simplify]: Extracting # 1 : cost  0
1.827 * * [simplify]: Extracting # 2 : cost  0
1.827 * * [simplify]: Extracting # 3 : cost  0
1.828 * * [simplify]: iteration  3 :  382  enodes  (cost  78 )
2.583 * * [simplify]: Extracting # 0 : cost  0
2.585 * * [simplify]: Extracting # 1 : cost  0
2.587 * * [simplify]: Extracting # 2 : cost  0
2.589 * * [simplify]: Extracting # 3 : cost  0
2.595 * * [simplify]: Extracting # 4 : cost  0
2.596 * * [simplify]: iteration  4 :  2289  enodes  (cost  78 )
3.626 * * [simplify]: Extracting # 0 : cost  0
3.631 * * [simplify]: Extracting # 1 : cost  0
3.636 * * [simplify]: Extracting # 2 : cost  0
3.640 * * [simplify]: Extracting # 3 : cost  0
3.647 * * [simplify]: Extracting # 4 : cost  0
3.655 * * [simplify]: iteration done:  5000  enodes  (cost  78 )
3.656 * [simplify]: Simplified to:
  (expm1 (+ (+ 10.0 d2) 20.0))
  (log1p (+ (+ 10.0 d2) 20.0))
  20.0
  (log (+ (+ 10.0 d2) 20.0))
  (exp (+ (+ 10.0 d2) 20.0))
  (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0)))
  (cbrt (+ (+ 10.0 d2) 20.0))
  (pow (+ (+ 10.0 d2) 20.0) 3)
  (sqrt (+ (+ 10.0 d2) 20.0))
  (sqrt (+ (+ 10.0 d2) 20.0))
  (+ (+ 10.0 d2) 20.0)
  (+ (+ 10.0 d2) 20.0)
  (+ (+ 10.0 d2) 20.0)
3.656 * * * [progress]: adding candidates to table
3.705 * * [progress]: iteration 3 / 4
3.705 * * * [progress]: picking best candidate
3.707 * * * * [pick]: Picked  #<alt (λ (d1 d2) (* d1 (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))))>
3.707 * * * [progress]: localizing error
3.718 * * * [progress]: generating rewritten candidates
3.718 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
3.761 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
3.807 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 1)
3.827 * * * [progress]: generating series expansions
3.827 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
3.828 * [backup-simplify]: Simplify (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3)) into (+ d2 30.0)
3.828 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0
3.828 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
3.828 * [taylor]: Taking taylor expansion of d2 in d2
3.828 * [backup-simplify]: Simplify 0 into 0
3.828 * [backup-simplify]: Simplify 1 into 1
3.828 * [taylor]: Taking taylor expansion of 30.0 in d2
3.828 * [backup-simplify]: Simplify 30.0 into 30.0
3.828 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
3.828 * [taylor]: Taking taylor expansion of d2 in d2
3.828 * [backup-simplify]: Simplify 0 into 0
3.828 * [backup-simplify]: Simplify 1 into 1
3.828 * [taylor]: Taking taylor expansion of 30.0 in d2
3.828 * [backup-simplify]: Simplify 30.0 into 30.0
3.829 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
3.829 * [backup-simplify]: Simplify 30.0 into 30.0
3.829 * [backup-simplify]: Simplify (+ 1 0) into 1
3.829 * [backup-simplify]: Simplify 1 into 1
3.829 * [backup-simplify]: Simplify (+ 0 0) into 0
3.829 * [backup-simplify]: Simplify 0 into 0
3.829 * [backup-simplify]: Simplify (+ 0 0) into 0
3.829 * [backup-simplify]: Simplify 0 into 0
3.830 * [backup-simplify]: Simplify (+ 0 0) into 0
3.830 * [backup-simplify]: Simplify 0 into 0
3.830 * [backup-simplify]: Simplify (+ 0 0) into 0
3.830 * [backup-simplify]: Simplify 0 into 0
3.830 * [backup-simplify]: Simplify (+ 0 0) into 0
3.830 * [backup-simplify]: Simplify 0 into 0
3.830 * [backup-simplify]: Simplify (+ 0 0) into 0
3.830 * [backup-simplify]: Simplify 0 into 0
3.831 * [backup-simplify]: Simplify (+ (* 1 d2) 30.0) into (+ d2 30.0)
3.831 * [backup-simplify]: Simplify (cbrt (pow (+ 20.0 (+ 10.0 (/ 1 d2))) 3)) into (+ (/ 1 d2) 30.0)
3.831 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0
3.831 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
3.831 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.831 * [taylor]: Taking taylor expansion of d2 in d2
3.831 * [backup-simplify]: Simplify 0 into 0
3.831 * [backup-simplify]: Simplify 1 into 1
3.831 * [backup-simplify]: Simplify (/ 1 1) into 1
3.831 * [taylor]: Taking taylor expansion of 30.0 in d2
3.831 * [backup-simplify]: Simplify 30.0 into 30.0
3.831 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
3.831 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.831 * [taylor]: Taking taylor expansion of d2 in d2
3.831 * [backup-simplify]: Simplify 0 into 0
3.831 * [backup-simplify]: Simplify 1 into 1
3.831 * [backup-simplify]: Simplify (/ 1 1) into 1
3.831 * [taylor]: Taking taylor expansion of 30.0 in d2
3.832 * [backup-simplify]: Simplify 30.0 into 30.0
3.832 * [backup-simplify]: Simplify (+ 1 0) into 1
3.832 * [backup-simplify]: Simplify 1 into 1
3.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.833 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
3.833 * [backup-simplify]: Simplify 30.0 into 30.0
3.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.833 * [backup-simplify]: Simplify (+ 0 0) into 0
3.833 * [backup-simplify]: Simplify 0 into 0
3.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.834 * [backup-simplify]: Simplify (+ 0 0) into 0
3.834 * [backup-simplify]: Simplify 0 into 0
3.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.835 * [backup-simplify]: Simplify (+ 0 0) into 0
3.835 * [backup-simplify]: Simplify 0 into 0
3.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.836 * [backup-simplify]: Simplify (+ 0 0) into 0
3.836 * [backup-simplify]: Simplify 0 into 0
3.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.836 * [backup-simplify]: Simplify (+ 0 0) into 0
3.837 * [backup-simplify]: Simplify 0 into 0
3.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.837 * [backup-simplify]: Simplify (+ 0 0) into 0
3.837 * [backup-simplify]: Simplify 0 into 0
3.837 * [backup-simplify]: Simplify (+ 30.0 (* 1 (/ 1 (/ 1 d2)))) into (+ d2 30.0)
3.838 * [backup-simplify]: Simplify (cbrt (pow (+ 20.0 (+ 10.0 (/ 1 (- d2)))) 3)) into (- 30.0 (/ 1 d2))
3.838 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0
3.838 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
3.838 * [taylor]: Taking taylor expansion of 30.0 in d2
3.838 * [backup-simplify]: Simplify 30.0 into 30.0
3.838 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.838 * [taylor]: Taking taylor expansion of d2 in d2
3.838 * [backup-simplify]: Simplify 0 into 0
3.838 * [backup-simplify]: Simplify 1 into 1
3.838 * [backup-simplify]: Simplify (/ 1 1) into 1
3.838 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
3.838 * [taylor]: Taking taylor expansion of 30.0 in d2
3.838 * [backup-simplify]: Simplify 30.0 into 30.0
3.838 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.838 * [taylor]: Taking taylor expansion of d2 in d2
3.838 * [backup-simplify]: Simplify 0 into 0
3.838 * [backup-simplify]: Simplify 1 into 1
3.838 * [backup-simplify]: Simplify (/ 1 1) into 1
3.839 * [backup-simplify]: Simplify (- 1) into -1
3.839 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.839 * [backup-simplify]: Simplify -1 into -1
3.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.840 * [backup-simplify]: Simplify (- 0) into 0
3.840 * [backup-simplify]: Simplify (+ 30.0 0) into 30.0
3.840 * [backup-simplify]: Simplify 30.0 into 30.0
3.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.841 * [backup-simplify]: Simplify (- 0) into 0
3.841 * [backup-simplify]: Simplify (+ 0 0) into 0
3.841 * [backup-simplify]: Simplify 0 into 0
3.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.842 * [backup-simplify]: Simplify (- 0) into 0
3.842 * [backup-simplify]: Simplify (+ 0 0) into 0
3.842 * [backup-simplify]: Simplify 0 into 0
3.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.843 * [backup-simplify]: Simplify (- 0) into 0
3.843 * [backup-simplify]: Simplify (+ 0 0) into 0
3.843 * [backup-simplify]: Simplify 0 into 0
3.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.844 * [backup-simplify]: Simplify (- 0) into 0
3.844 * [backup-simplify]: Simplify (+ 0 0) into 0
3.844 * [backup-simplify]: Simplify 0 into 0
3.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.845 * [backup-simplify]: Simplify (- 0) into 0
3.845 * [backup-simplify]: Simplify (+ 0 0) into 0
3.845 * [backup-simplify]: Simplify 0 into 0
3.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.846 * [backup-simplify]: Simplify (- 0) into 0
3.846 * [backup-simplify]: Simplify (+ 0 0) into 0
3.846 * [backup-simplify]: Simplify 0 into 0
3.846 * [backup-simplify]: Simplify (+ 30.0 (* -1 (/ 1 (/ 1 (- d2))))) into (+ d2 30.0)
3.846 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
3.846 * [backup-simplify]: Simplify (pow (+ 20.0 (+ 10.0 d2)) 3) into (pow (+ d2 30.0) 3)
3.846 * [approximate]: Taking taylor expansion of (pow (+ d2 30.0) 3) in (d2) around 0
3.846 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 3) in d2
3.846 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
3.846 * [taylor]: Taking taylor expansion of d2 in d2
3.846 * [backup-simplify]: Simplify 0 into 0
3.846 * [backup-simplify]: Simplify 1 into 1
3.846 * [taylor]: Taking taylor expansion of 30.0 in d2
3.847 * [backup-simplify]: Simplify 30.0 into 30.0
3.847 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
3.847 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 3) in d2
3.847 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
3.847 * [taylor]: Taking taylor expansion of d2 in d2
3.847 * [backup-simplify]: Simplify 0 into 0
3.847 * [backup-simplify]: Simplify 1 into 1
3.847 * [taylor]: Taking taylor expansion of 30.0 in d2
3.847 * [backup-simplify]: Simplify 30.0 into 30.0
3.847 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
3.848 * [backup-simplify]: Simplify (* 30.0 30.0) into 900.0
3.848 * [backup-simplify]: Simplify (* 30.0 900.0) into 27000.0
3.848 * [backup-simplify]: Simplify 27000.0 into 27000.0
3.848 * [backup-simplify]: Simplify (+ 1 0) into 1
3.849 * [backup-simplify]: Simplify (+ (* 30.0 1) (* 1 30.0)) into 60.0
3.850 * [backup-simplify]: Simplify (+ (* 30.0 60.0) (* 1 900.0)) into 2700.0
3.850 * [backup-simplify]: Simplify 2700.0 into 2700.0
3.850 * [backup-simplify]: Simplify (+ 0 0) into 0
3.851 * [backup-simplify]: Simplify (+ (* 30.0 0) (+ (* 1 1) (* 0 30.0))) into 1
3.853 * [backup-simplify]: Simplify (+ (* 30.0 1) (+ (* 1 60.0) (* 0 900.0))) into 90.0
3.853 * [backup-simplify]: Simplify 90.0 into 90.0
3.853 * [backup-simplify]: Simplify (+ (* 90.0 (pow d2 2)) (+ (* 2700.0 d2) 27000.0)) into (+ 27000.0 (+ (* 2700.0 d2) (* 90.0 (pow d2 2))))
3.853 * [backup-simplify]: Simplify (pow (+ 20.0 (+ 10.0 (/ 1 d2))) 3) into (pow (+ (/ 1 d2) 30.0) 3)
3.853 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 3) in (d2) around 0
3.853 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 3) in d2
3.853 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
3.853 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.853 * [taylor]: Taking taylor expansion of d2 in d2
3.853 * [backup-simplify]: Simplify 0 into 0
3.853 * [backup-simplify]: Simplify 1 into 1
3.853 * [backup-simplify]: Simplify (/ 1 1) into 1
3.853 * [taylor]: Taking taylor expansion of 30.0 in d2
3.853 * [backup-simplify]: Simplify 30.0 into 30.0
3.854 * [backup-simplify]: Simplify (+ 1 0) into 1
3.854 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 3) in d2
3.854 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
3.854 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.854 * [taylor]: Taking taylor expansion of d2 in d2
3.854 * [backup-simplify]: Simplify 0 into 0
3.854 * [backup-simplify]: Simplify 1 into 1
3.854 * [backup-simplify]: Simplify (/ 1 1) into 1
3.854 * [taylor]: Taking taylor expansion of 30.0 in d2
3.854 * [backup-simplify]: Simplify 30.0 into 30.0
3.854 * [backup-simplify]: Simplify (+ 1 0) into 1
3.855 * [backup-simplify]: Simplify (* 1 1) into 1
3.855 * [backup-simplify]: Simplify (* 1 1) into 1
3.855 * [backup-simplify]: Simplify 1 into 1
3.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.856 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
3.858 * [backup-simplify]: Simplify (+ (* 1 30.0) (* 30.0 1)) into 60.0
3.859 * [backup-simplify]: Simplify (+ (* 1 60.0) (* 30.0 1)) into 90.0
3.859 * [backup-simplify]: Simplify 90.0 into 90.0
3.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.860 * [backup-simplify]: Simplify (+ 0 0) into 0
3.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 30.0 30.0) (* 0 1))) into 900.0
3.867 * [backup-simplify]: Simplify (+ (* 1 900.0) (+ (* 30.0 60.0) (* 0 1))) into 2700.0
3.867 * [backup-simplify]: Simplify 2700.0 into 2700.0
3.868 * [backup-simplify]: Simplify (+ (* 2700.0 (/ 1 (/ 1 d2))) (+ (* 90.0 (pow (/ 1 (/ 1 d2)) 2)) (* 1 (pow (/ 1 (/ 1 d2)) 3)))) into (+ (* 2700.0 d2) (+ (pow d2 3) (* 90.0 (pow d2 2))))
3.868 * [backup-simplify]: Simplify (pow (+ 20.0 (+ 10.0 (/ 1 (- d2)))) 3) into (pow (- 30.0 (/ 1 d2)) 3)
3.868 * [approximate]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 3) in (d2) around 0
3.868 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 3) in d2
3.869 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
3.869 * [taylor]: Taking taylor expansion of 30.0 in d2
3.869 * [backup-simplify]: Simplify 30.0 into 30.0
3.869 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.869 * [taylor]: Taking taylor expansion of d2 in d2
3.869 * [backup-simplify]: Simplify 0 into 0
3.869 * [backup-simplify]: Simplify 1 into 1
3.869 * [backup-simplify]: Simplify (/ 1 1) into 1
3.869 * [backup-simplify]: Simplify (- 1) into -1
3.870 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.870 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 3) in d2
3.870 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
3.870 * [taylor]: Taking taylor expansion of 30.0 in d2
3.870 * [backup-simplify]: Simplify 30.0 into 30.0
3.870 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.870 * [taylor]: Taking taylor expansion of d2 in d2
3.870 * [backup-simplify]: Simplify 0 into 0
3.870 * [backup-simplify]: Simplify 1 into 1
3.871 * [backup-simplify]: Simplify (/ 1 1) into 1
3.871 * [backup-simplify]: Simplify (- 1) into -1
3.871 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.871 * [backup-simplify]: Simplify (* -1 -1) into 1
3.872 * [backup-simplify]: Simplify (* -1 1) into -1
3.872 * [backup-simplify]: Simplify -1 into -1
3.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.872 * [backup-simplify]: Simplify (- 0) into 0
3.873 * [backup-simplify]: Simplify (+ 30.0 0) into 30.0
3.874 * [backup-simplify]: Simplify (+ (* -1 30.0) (* 30.0 -1)) into (- 60.0)
3.875 * [backup-simplify]: Simplify (+ (* -1 (- 60.0)) (* 30.0 1)) into 90.0
3.875 * [backup-simplify]: Simplify 90.0 into 90.0
3.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.876 * [backup-simplify]: Simplify (- 0) into 0
3.876 * [backup-simplify]: Simplify (+ 0 0) into 0
3.877 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 30.0 30.0) (* 0 -1))) into 900.0
3.880 * [backup-simplify]: Simplify (+ (* -1 900.0) (+ (* 30.0 (- 60.0)) (* 0 1))) into (- 2700.0)
3.880 * [backup-simplify]: Simplify (- 2700.0) into (- 2700.0)
3.884 * [backup-simplify]: Simplify (+ (* (- 2700.0) (/ 1 (/ 1 (- d2)))) (+ (* 90.0 (pow (/ 1 (/ 1 (- d2))) 2)) (* -1 (pow (/ 1 (/ 1 (- d2))) 3)))) into (+ (* 2700.0 d2) (+ (pow d2 3) (* 90.0 (pow d2 2))))
3.884 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 1)
3.884 * [backup-simplify]: Simplify (+ 20.0 (+ 10.0 d2)) into (+ d2 30.0)
3.884 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0
3.884 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
3.884 * [taylor]: Taking taylor expansion of d2 in d2
3.884 * [backup-simplify]: Simplify 0 into 0
3.884 * [backup-simplify]: Simplify 1 into 1
3.884 * [taylor]: Taking taylor expansion of 30.0 in d2
3.884 * [backup-simplify]: Simplify 30.0 into 30.0
3.884 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
3.884 * [taylor]: Taking taylor expansion of d2 in d2
3.884 * [backup-simplify]: Simplify 0 into 0
3.884 * [backup-simplify]: Simplify 1 into 1
3.884 * [taylor]: Taking taylor expansion of 30.0 in d2
3.884 * [backup-simplify]: Simplify 30.0 into 30.0
3.884 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
3.885 * [backup-simplify]: Simplify 30.0 into 30.0
3.885 * [backup-simplify]: Simplify (+ 1 0) into 1
3.885 * [backup-simplify]: Simplify 1 into 1
3.885 * [backup-simplify]: Simplify (+ 0 0) into 0
3.885 * [backup-simplify]: Simplify 0 into 0
3.885 * [backup-simplify]: Simplify (+ 0 0) into 0
3.885 * [backup-simplify]: Simplify 0 into 0
3.886 * [backup-simplify]: Simplify (+ 0 0) into 0
3.886 * [backup-simplify]: Simplify 0 into 0
3.886 * [backup-simplify]: Simplify (+ 0 0) into 0
3.886 * [backup-simplify]: Simplify 0 into 0
3.886 * [backup-simplify]: Simplify (+ 0 0) into 0
3.886 * [backup-simplify]: Simplify 0 into 0
3.886 * [backup-simplify]: Simplify (+ 0 0) into 0
3.886 * [backup-simplify]: Simplify 0 into 0
3.886 * [backup-simplify]: Simplify (+ (* 1 d2) 30.0) into (+ d2 30.0)
3.887 * [backup-simplify]: Simplify (+ 20.0 (+ 10.0 (/ 1 d2))) into (+ (/ 1 d2) 30.0)
3.887 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0
3.887 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
3.887 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.887 * [taylor]: Taking taylor expansion of d2 in d2
3.887 * [backup-simplify]: Simplify 0 into 0
3.887 * [backup-simplify]: Simplify 1 into 1
3.887 * [backup-simplify]: Simplify (/ 1 1) into 1
3.887 * [taylor]: Taking taylor expansion of 30.0 in d2
3.887 * [backup-simplify]: Simplify 30.0 into 30.0
3.887 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
3.887 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.887 * [taylor]: Taking taylor expansion of d2 in d2
3.887 * [backup-simplify]: Simplify 0 into 0
3.887 * [backup-simplify]: Simplify 1 into 1
3.887 * [backup-simplify]: Simplify (/ 1 1) into 1
3.887 * [taylor]: Taking taylor expansion of 30.0 in d2
3.887 * [backup-simplify]: Simplify 30.0 into 30.0
3.888 * [backup-simplify]: Simplify (+ 1 0) into 1
3.888 * [backup-simplify]: Simplify 1 into 1
3.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.888 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
3.888 * [backup-simplify]: Simplify 30.0 into 30.0
3.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.889 * [backup-simplify]: Simplify (+ 0 0) into 0
3.889 * [backup-simplify]: Simplify 0 into 0
3.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.890 * [backup-simplify]: Simplify (+ 0 0) into 0
3.890 * [backup-simplify]: Simplify 0 into 0
3.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.891 * [backup-simplify]: Simplify (+ 0 0) into 0
3.891 * [backup-simplify]: Simplify 0 into 0
3.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.892 * [backup-simplify]: Simplify (+ 0 0) into 0
3.892 * [backup-simplify]: Simplify 0 into 0
3.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.892 * [backup-simplify]: Simplify (+ 0 0) into 0
3.892 * [backup-simplify]: Simplify 0 into 0
3.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.893 * [backup-simplify]: Simplify (+ 0 0) into 0
3.893 * [backup-simplify]: Simplify 0 into 0
3.893 * [backup-simplify]: Simplify (+ 30.0 (* 1 (/ 1 (/ 1 d2)))) into (+ d2 30.0)
3.893 * [backup-simplify]: Simplify (+ 20.0 (+ 10.0 (/ 1 (- d2)))) into (- 30.0 (/ 1 d2))
3.893 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0
3.893 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
3.893 * [taylor]: Taking taylor expansion of 30.0 in d2
3.893 * [backup-simplify]: Simplify 30.0 into 30.0
3.893 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.893 * [taylor]: Taking taylor expansion of d2 in d2
3.893 * [backup-simplify]: Simplify 0 into 0
3.893 * [backup-simplify]: Simplify 1 into 1
3.894 * [backup-simplify]: Simplify (/ 1 1) into 1
3.894 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
3.894 * [taylor]: Taking taylor expansion of 30.0 in d2
3.894 * [backup-simplify]: Simplify 30.0 into 30.0
3.894 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.894 * [taylor]: Taking taylor expansion of d2 in d2
3.894 * [backup-simplify]: Simplify 0 into 0
3.894 * [backup-simplify]: Simplify 1 into 1
3.894 * [backup-simplify]: Simplify (/ 1 1) into 1
3.894 * [backup-simplify]: Simplify (- 1) into -1
3.895 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.895 * [backup-simplify]: Simplify -1 into -1
3.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.895 * [backup-simplify]: Simplify (- 0) into 0
3.896 * [backup-simplify]: Simplify (+ 30.0 0) into 30.0
3.896 * [backup-simplify]: Simplify 30.0 into 30.0
3.896 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.896 * [backup-simplify]: Simplify (- 0) into 0
3.897 * [backup-simplify]: Simplify (+ 0 0) into 0
3.897 * [backup-simplify]: Simplify 0 into 0
3.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.897 * [backup-simplify]: Simplify (- 0) into 0
3.898 * [backup-simplify]: Simplify (+ 0 0) into 0
3.898 * [backup-simplify]: Simplify 0 into 0
3.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.898 * [backup-simplify]: Simplify (- 0) into 0
3.899 * [backup-simplify]: Simplify (+ 0 0) into 0
3.899 * [backup-simplify]: Simplify 0 into 0
3.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.899 * [backup-simplify]: Simplify (- 0) into 0
3.900 * [backup-simplify]: Simplify (+ 0 0) into 0
3.900 * [backup-simplify]: Simplify 0 into 0
3.900 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.900 * [backup-simplify]: Simplify (- 0) into 0
3.901 * [backup-simplify]: Simplify (+ 0 0) into 0
3.901 * [backup-simplify]: Simplify 0 into 0
3.901 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.901 * [backup-simplify]: Simplify (- 0) into 0
3.902 * [backup-simplify]: Simplify (+ 0 0) into 0
3.902 * [backup-simplify]: Simplify 0 into 0
3.902 * [backup-simplify]: Simplify (+ 30.0 (* -1 (/ 1 (/ 1 (- d2))))) into (+ d2 30.0)
3.902 * * * [progress]: simplifying candidates
3.904 * [simplify]: Simplifying:
  (expm1 (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3)))
  (log1p (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3)))
  (log (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3)))
  (exp (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3)))
  (cbrt (pow (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) 3))
  (cbrt (pow (cbrt (+ 20.0 (+ 10.0 d2))) 3))
  (cbrt (pow (sqrt (+ 20.0 (+ 10.0 d2))) 3))
  (cbrt (pow (sqrt (+ 20.0 (+ 10.0 d2))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))
  (cbrt (* (+ 20.0 (+ 10.0 d2)) (+ 20.0 (+ 10.0 d2))))
  (cbrt (+ 20.0 (+ 10.0 d2)))
  (cbrt (* (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3)) (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))))
  (cbrt (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3)))
  (cbrt (pow (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) 3))
  (cbrt (pow (cbrt (+ 20.0 (+ 10.0 d2))) 3))
  (cbrt (pow (sqrt (+ 20.0 (+ 10.0 d2))) 3))
  (cbrt (pow (sqrt (+ 20.0 (+ 10.0 d2))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))
  (cbrt (+ 20.0 (+ 10.0 d2)))
  (cbrt (* (+ 20.0 (+ 10.0 d2)) (+ 20.0 (+ 10.0 d2))))
  (cbrt (sqrt (pow (+ 20.0 (+ 10.0 d2)) 3)))
  (cbrt (sqrt (pow (+ 20.0 (+ 10.0 d2)) 3)))
  (cbrt 1)
  (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))
  (cbrt (pow (+ 20.0 (+ 10.0 d2)) (/ 3 2)))
  (cbrt (pow (+ 20.0 (+ 10.0 d2)) (/ 3 2)))
  (cbrt (pow (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)) 3))
  (cbrt (pow (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2)))) 3))
  (cbrt (pow (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))) 3))
  (cbrt (pow (- 20.0 (+ 10.0 d2)) 3))
  (* (cbrt (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))) (cbrt (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))))
  (cbrt (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3)))
  (* (* (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3)) (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))) (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3)))
  (sqrt (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3)))
  (sqrt (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3)))
  (expm1 (pow (+ 20.0 (+ 10.0 d2)) 3))
  (log1p (pow (+ 20.0 (+ 10.0 d2)) 3))
  (* (log (+ 20.0 (+ 10.0 d2))) 3)
  (* (log (+ 20.0 (+ 10.0 d2))) 3)
  (* 1 3)
  (pow (+ 20.0 (+ 10.0 d2)) (* (cbrt 3) (cbrt 3)))
  (pow (+ 20.0 (+ 10.0 d2)) (sqrt 3))
  (pow (+ 20.0 (+ 10.0 d2)) 1)
  (pow (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) 3)
  (pow (cbrt (+ 20.0 (+ 10.0 d2))) 3)
  (pow (sqrt (+ 20.0 (+ 10.0 d2))) 3)
  (pow (sqrt (+ 20.0 (+ 10.0 d2))) 3)
  (pow 1 3)
  (pow (+ 20.0 (+ 10.0 d2)) 3)
  (pow 1 3)
  (pow (+ 20.0 (+ 10.0 d2)) 3)
  (pow 1 3)
  (pow (+ 20.0 (+ 10.0 d2)) 3)
  (* (+ 20.0 (+ 10.0 d2)) (+ 20.0 (+ 10.0 d2)))
  (log (pow (+ 20.0 (+ 10.0 d2)) 3))
  (exp (pow (+ 20.0 (+ 10.0 d2)) 3))
  (* (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3)) (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3)))
  (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))
  (* (* (pow (+ 20.0 (+ 10.0 d2)) 3) (pow (+ 20.0 (+ 10.0 d2)) 3)) (pow (+ 20.0 (+ 10.0 d2)) 3))
  (pow (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2)))) 3)
  (pow (cbrt (+ 20.0 (+ 10.0 d2))) 3)
  (pow (sqrt (+ 20.0 (+ 10.0 d2))) 3)
  (pow (sqrt (+ 20.0 (+ 10.0 d2))) 3)
  (pow 1 3)
  (pow (+ 20.0 (+ 10.0 d2)) 3)
  (pow 1 3)
  (pow (+ 20.0 (+ 10.0 d2)) 3)
  (pow 1 3)
  (pow (+ 20.0 (+ 10.0 d2)) 3)
  (pow (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)) 3)
  (pow (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2)))) 3)
  (pow (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))) 3)
  (pow (- 20.0 (+ 10.0 d2)) 3)
  (* (+ 20.0 (+ 10.0 d2)) (+ 20.0 (+ 10.0 d2)))
  (sqrt (pow (+ 20.0 (+ 10.0 d2)) 3))
  (sqrt (pow (+ 20.0 (+ 10.0 d2)) 3))
  (pow (+ 20.0 (+ 10.0 d2)) (/ 3 2))
  (pow (+ 20.0 (+ 10.0 d2)) (/ 3 2))
  (expm1 (+ 20.0 (+ 10.0 d2)))
  (log1p (+ 20.0 (+ 10.0 d2)))
  (* (exp 20.0) (* (exp 10.0) (exp d2)))
  (* (exp 20.0) (exp (+ 10.0 d2)))
  (log (+ 20.0 (+ 10.0 d2)))
  (exp (+ 20.0 (+ 10.0 d2)))
  (* (cbrt (+ 20.0 (+ 10.0 d2))) (cbrt (+ 20.0 (+ 10.0 d2))))
  (cbrt (+ 20.0 (+ 10.0 d2)))
  (* (* (+ 20.0 (+ 10.0 d2)) (+ 20.0 (+ 10.0 d2))) (+ 20.0 (+ 10.0 d2)))
  (sqrt (+ 20.0 (+ 10.0 d2)))
  (sqrt (+ 20.0 (+ 10.0 d2)))
  (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))
  (+ (* 20.0 20.0) (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 (+ 10.0 d2))))
  (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))
  (- 20.0 (+ 10.0 d2))
  (+ 20.0 (+ 10.0 d2))
  (+ 20.0 (+ 10.0 d2))
  (+ 20.0 10.0)
  (+ d2 30.0)
  (+ d2 30.0)
  (+ d2 30.0)
  (+ 27000.0 (+ (* 2700.0 d2) (* 90.0 (pow d2 2))))
  (+ (* 2700.0 d2) (+ (pow d2 3) (* 90.0 (pow d2 2))))
  (+ (* 2700.0 d2) (+ (pow d2 3) (* 90.0 (pow d2 2))))
  (+ d2 30.0)
  (+ d2 30.0)
  (+ d2 30.0)
3.907 * * [simplify]: Extracting # 0 : cost  0
3.907 * * [simplify]: Extracting # 1 : cost  0
3.907 * * [simplify]: Extracting # 2 : cost  0
3.907 * * [simplify]: Extracting # 3 : cost  0
3.908 * * [simplify]: Extracting # 4 : cost  0
3.908 * * [simplify]: Extracting # 5 : cost  0
3.908 * * [simplify]: Extracting # 6 : cost  0
3.908 * * [simplify]: iteration  0 :  97  enodes  (cost  997 )
3.961 * * [simplify]: Extracting # 0 : cost  0
3.962 * * [simplify]: Extracting # 1 : cost  0
3.962 * * [simplify]: Extracting # 2 : cost  0
3.963 * * [simplify]: Extracting # 3 : cost  0
3.963 * * [simplify]: Extracting # 4 : cost  0
3.964 * * [simplify]: iteration  1 :  241  enodes  (cost  776 )
4.096 * * [simplify]: Extracting # 0 : cost  0
4.097 * * [simplify]: Extracting # 1 : cost  0
4.099 * * [simplify]: Extracting # 2 : cost  0
4.101 * * [simplify]: Extracting # 3 : cost  0
4.102 * * [simplify]: iteration  2 :  832  enodes  (cost  718 )
4.795 * * [simplify]: Extracting # 0 : cost  0
4.807 * * [simplify]: Extracting # 1 : cost  0
4.816 * * [simplify]: Extracting # 2 : cost  0
4.825 * * [simplify]: Extracting # 3 : cost  0
4.838 * * [simplify]: Extracting # 4 : cost  0
4.851 * * [simplify]: iteration done:  5000  enodes  (cost  717 )
4.852 * [simplify]: Simplified to:
  (expm1 (+ (+ 10.0 d2) 20.0))
  (log1p (+ (+ 10.0 d2) 20.0))
  (log (+ (+ 10.0 d2) 20.0))
  (exp (+ 20.0 (+ 10.0 d2)))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 2))
  (cbrt (+ (+ 10.0 d2) 20.0))
  (sqrt (+ (+ 10.0 d2) 20.0))
  (sqrt (+ (+ 10.0 d2) 20.0))
  1
  (+ (+ 10.0 d2) 20.0)
  1
  (+ (+ 10.0 d2) 20.0)
  1
  (+ (+ 10.0 d2) 20.0)
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 2))
  (cbrt (+ (+ 10.0 d2) 20.0))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 2))
  (cbrt (+ (+ 10.0 d2) 20.0))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 2))
  (cbrt (+ (+ 10.0 d2) 20.0))
  (sqrt (+ (+ 10.0 d2) 20.0))
  (sqrt (+ (+ 10.0 d2) 20.0))
  1
  (+ (+ 10.0 d2) 20.0)
  1
  (+ (+ 10.0 d2) 20.0)
  1
  (+ (+ 10.0 d2) 20.0)
  (cbrt (+ (+ 10.0 d2) 20.0))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 2))
  (cbrt (sqrt (pow (+ 20.0 (+ 10.0 d2)) 3)))
  (cbrt (sqrt (pow (+ 20.0 (+ 10.0 d2)) 3)))
  1
  (+ (+ 10.0 d2) 20.0)
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 3/2))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 3/2))
  (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))
  (fma 20.0 20.0 (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)))
  (* (+ (+ 10.0 d2) 20.0) (- 20.0 (+ 10.0 d2)))
  (- 20.0 (+ 10.0 d2))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 2))
  (cbrt (+ (+ 10.0 d2) 20.0))
  (pow (+ (+ 10.0 d2) 20.0) 3)
  (sqrt (+ (+ 10.0 d2) 20.0))
  (sqrt (+ (+ 10.0 d2) 20.0))
  (expm1 (pow (+ 20.0 (+ 10.0 d2)) 3))
  (log1p (pow (+ 20.0 (+ 10.0 d2)) 3))
  (* (log (+ 20.0 (+ 10.0 d2))) 3)
  (* (log (+ 20.0 (+ 10.0 d2))) 3)
  3
  (pow (+ 20.0 (+ 10.0 d2)) (* (cbrt 3) (cbrt 3)))
  (pow (+ 20.0 (+ 10.0 d2)) (sqrt 3))
  (+ (+ 10.0 d2) 20.0)
  (pow (+ (+ 10.0 d2) 20.0) 2)
  (+ (+ 10.0 d2) 20.0)
  (pow (sqrt (+ 20.0 (+ 10.0 d2))) 3)
  (pow (sqrt (+ 20.0 (+ 10.0 d2))) 3)
  1
  (pow (+ (+ 10.0 d2) 20.0) 3)
  1
  (pow (+ (+ 10.0 d2) 20.0) 3)
  1
  (pow (+ (+ 10.0 d2) 20.0) 3)
  (pow (+ (+ 10.0 d2) 20.0) 2)
  (* (log (+ 20.0 (+ 10.0 d2))) 3)
  (exp (pow (+ 20.0 (+ 10.0 d2)) 3))
  (pow (+ (+ 10.0 d2) 20.0) 2)
  (+ (+ 10.0 d2) 20.0)
  (pow (pow (+ (+ 10.0 d2) 20.0) 3) 3)
  (pow (+ (+ 10.0 d2) 20.0) 2)
  (+ (+ 10.0 d2) 20.0)
  (pow (sqrt (+ 20.0 (+ 10.0 d2))) 3)
  (pow (sqrt (+ 20.0 (+ 10.0 d2))) 3)
  1
  (pow (+ (+ 10.0 d2) 20.0) 3)
  1
  (pow (+ (+ 10.0 d2) 20.0) 3)
  1
  (pow (+ (+ 10.0 d2) 20.0) 3)
  (pow (+ (pow 20.0 3) (pow (+ 10.0 d2) 3)) 3)
  (pow (fma 20.0 20.0 (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0))) 3)
  (pow (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))) 3)
  (pow (- 20.0 (+ 10.0 d2)) 3)
  (pow (+ (+ 10.0 d2) 20.0) 2)
  (sqrt (pow (+ 20.0 (+ 10.0 d2)) 3))
  (sqrt (pow (+ 20.0 (+ 10.0 d2)) 3))
  (pow (+ (+ 10.0 d2) 20.0) 3/2)
  (pow (+ (+ 10.0 d2) 20.0) 3/2)
  (expm1 (+ (+ 10.0 d2) 20.0))
  (log1p (+ (+ 10.0 d2) 20.0))
  (exp (+ 20.0 (+ 10.0 d2)))
  (exp (+ 20.0 (+ 10.0 d2)))
  (log (+ (+ 10.0 d2) 20.0))
  (exp (+ 20.0 (+ 10.0 d2)))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 2))
  (cbrt (+ (+ 10.0 d2) 20.0))
  (pow (+ (+ 10.0 d2) 20.0) 3)
  (sqrt (+ (+ 10.0 d2) 20.0))
  (sqrt (+ (+ 10.0 d2) 20.0))
  (+ (pow 20.0 3) (pow (+ 10.0 d2) 3))
  (fma 20.0 20.0 (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)))
  (* (+ (+ 10.0 d2) 20.0) (- 20.0 (+ 10.0 d2)))
  (- 20.0 (+ 10.0 d2))
  (+ (+ 10.0 d2) 20.0)
  (+ (+ 10.0 d2) 20.0)
  (+ 20.0 10.0)
  (+ d2 30.0)
  (+ d2 30.0)
  (+ d2 30.0)
  (fma 90.0 (pow d2 2) (fma d2 2700.0 27000.0))
  (fma 2700.0 d2 (* (pow d2 2) (+ 90.0 d2)))
  (fma 2700.0 d2 (* (pow d2 2) (+ 90.0 d2)))
  (+ d2 30.0)
  (+ d2 30.0)
  (+ d2 30.0)
4.853 * * * [progress]: adding candidates to table
5.082 * [progress]: [Phase 3 of 3] Extracting.
5.082 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2) (* d1 (+ 20.0 (+ 10.0 d2))))> #<alt (λ (d1 d2) (* d1 (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))))> #<alt (λ (d1 d2) (* d1 (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))))>)
5.083 * * * [regime-changes]: Trying 2 branch expressions: (d2 d1)
5.083 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2) (* d1 (+ 20.0 (+ 10.0 d2))))> #<alt (λ (d1 d2) (* d1 (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))))> #<alt (λ (d1 d2) (* d1 (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))))>)
5.106 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2) (* d1 (+ 20.0 (+ 10.0 d2))))> #<alt (λ (d1 d2) (* d1 (cbrt (pow (+ 20.0 (+ 10.0 d2)) 3))))> #<alt (λ (d1 d2) (* d1 (fma (sqrt 20.0) (sqrt 20.0) (+ 10.0 d2))))>)
5.139 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
5.139 * [simplify]: Simplifying:
  (* d1 (+ 20.0 (+ 10.0 d2)))
5.139 * * [simplify]: Extracting # 0 : cost  0
5.139 * * [simplify]: Extracting # 1 : cost  0
5.139 * * [simplify]: Extracting # 2 : cost  0
5.139 * * [simplify]: Extracting # 3 : cost  0
5.139 * * [simplify]: Extracting # 4 : cost  0
5.139 * * [simplify]: Extracting # 5 : cost  0
5.139 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
5.140 * * [simplify]: Extracting # 0 : cost  0
5.140 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
5.141 * * [simplify]: Extracting # 0 : cost  0
5.141 * * [simplify]: iteration done:  10  enodes  (cost  7 )
5.141 * [simplify]: Simplified to:
  (* d1 (+ 20.0 (+ 10.0 d2)))
6.222 * [regime-testing]: Baseline error score: 0.028003500437554694
6.226 * [regime-testing]: Oracle error score: 0.005125640705088136
6.234 * [regime-testing]: End program error score: 0.028003500437554694
6.271 * [regime-testing]: Target error score: 0.025128141017627205