92.138 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying:
  (+ (+ (* d1 10.0) (* d1 d2)) (* d1 20.0))
0.027 * * [simplify]: Extracting # 0 : cost  0
0.027 * * [simplify]: Extracting # 1 : cost  0
0.027 * * [simplify]: Extracting # 2 : cost  0
0.027 * * [simplify]: Extracting # 3 : cost  0
0.027 * * [simplify]: Extracting # 4 : cost  0
0.027 * * [simplify]: Extracting # 5 : cost  0
0.027 * * [simplify]: iteration  0 :  9  enodes  (cost  11 )
0.028 * * [simplify]: Extracting # 0 : cost  0
0.029 * * [simplify]: Extracting # 1 : cost  0
0.029 * * [simplify]: Extracting # 2 : cost  0
0.029 * * [simplify]: Extracting # 3 : cost  0
0.029 * * [simplify]: iteration  1 :  18  enodes  (cost  9 )
0.032 * * [simplify]: Extracting # 0 : cost  0
0.032 * * [simplify]: Extracting # 1 : cost  0
0.032 * * [simplify]: Extracting # 2 : cost  0
0.032 * * [simplify]: Extracting # 3 : cost  0
0.032 * * [simplify]: iteration  2 :  34  enodes  (cost  7 )
0.046 * * [simplify]: Extracting # 0 : cost  0
0.046 * * [simplify]: Extracting # 1 : cost  0
0.046 * * [simplify]: Extracting # 2 : cost  0
0.046 * * [simplify]: iteration  3 :  51  enodes  (cost  7 )
0.065 * * [simplify]: Extracting # 0 : cost  0
0.066 * * [simplify]: iteration  4 :  59  enodes  (cost  7 )
0.085 * * [simplify]: Extracting # 0 : cost  0
0.085 * * [simplify]: iteration done:  59  enodes  (cost  7 )
0.085 * [simplify]: Simplified to:
  (* d1 (+ (+ 10.0 d2) 20.0))
0.089 * * [progress]: iteration 1 / 4
0.089 * * * [progress]: picking best candidate
0.093 * * * * [pick]: Picked  #<alt (λ (d1 d2) (* d1 (+ (+ 10.0 d2) 20.0)))>
0.094 * * * [progress]: localizing error
0.100 * * * [progress]: generating rewritten candidates
0.100 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.135 * * * [progress]: generating series expansions
0.135 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.135 * [backup-simplify]: Simplify (+ (+ 10.0 d2) 20.0) into (+ d2 30.0)
0.135 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0
0.135 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.135 * [taylor]: Taking taylor expansion of d2 in d2
0.135 * [backup-simplify]: Simplify 0 into 0
0.135 * [backup-simplify]: Simplify 1 into 1
0.135 * [taylor]: Taking taylor expansion of 30.0 in d2
0.135 * [backup-simplify]: Simplify 30.0 into 30.0
0.135 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
0.136 * [taylor]: Taking taylor expansion of d2 in d2
0.136 * [backup-simplify]: Simplify 0 into 0
0.136 * [backup-simplify]: Simplify 1 into 1
0.136 * [taylor]: Taking taylor expansion of 30.0 in d2
0.136 * [backup-simplify]: Simplify 30.0 into 30.0
0.136 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
0.136 * [backup-simplify]: Simplify 30.0 into 30.0
0.136 * [backup-simplify]: Simplify (+ 1 0) into 1
0.136 * [backup-simplify]: Simplify 1 into 1
0.137 * [backup-simplify]: Simplify (+ 0 0) into 0
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify (+ 0 0) into 0
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify (+ 0 0) into 0
0.137 * [backup-simplify]: Simplify 0 into 0
0.137 * [backup-simplify]: Simplify (+ 0 0) into 0
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify (+ 0 0) into 0
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify (+ 0 0) into 0
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify (+ (* 1 d2) 30.0) into (+ d2 30.0)
0.138 * [backup-simplify]: Simplify (+ (+ 10.0 (/ 1 d2)) 20.0) into (+ (/ 1 d2) 30.0)
0.138 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0
0.138 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.138 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.138 * [taylor]: Taking taylor expansion of d2 in d2
0.138 * [backup-simplify]: Simplify 0 into 0
0.138 * [backup-simplify]: Simplify 1 into 1
0.139 * [backup-simplify]: Simplify (/ 1 1) into 1
0.139 * [taylor]: Taking taylor expansion of 30.0 in d2
0.139 * [backup-simplify]: Simplify 30.0 into 30.0
0.139 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
0.139 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.139 * [taylor]: Taking taylor expansion of d2 in d2
0.139 * [backup-simplify]: Simplify 0 into 0
0.139 * [backup-simplify]: Simplify 1 into 1
0.139 * [backup-simplify]: Simplify (/ 1 1) into 1
0.139 * [taylor]: Taking taylor expansion of 30.0 in d2
0.139 * [backup-simplify]: Simplify 30.0 into 30.0
0.139 * [backup-simplify]: Simplify (+ 1 0) into 1
0.139 * [backup-simplify]: Simplify 1 into 1
0.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.140 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
0.140 * [backup-simplify]: Simplify 30.0 into 30.0
0.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.141 * [backup-simplify]: Simplify (+ 0 0) into 0
0.141 * [backup-simplify]: Simplify 0 into 0
0.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.142 * [backup-simplify]: Simplify (+ 0 0) into 0
0.142 * [backup-simplify]: Simplify 0 into 0
0.142 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.142 * [backup-simplify]: Simplify (+ 0 0) into 0
0.142 * [backup-simplify]: Simplify 0 into 0
0.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.143 * [backup-simplify]: Simplify (+ 0 0) into 0
0.143 * [backup-simplify]: Simplify 0 into 0
0.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.144 * [backup-simplify]: Simplify (+ 0 0) into 0
0.144 * [backup-simplify]: Simplify 0 into 0
0.144 * [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.145 * [backup-simplify]: Simplify (+ 0 0) into 0
0.145 * [backup-simplify]: Simplify 0 into 0
0.145 * [backup-simplify]: Simplify (+ 30.0 (* 1 (/ 1 (/ 1 d2)))) into (+ d2 30.0)
0.145 * [backup-simplify]: Simplify (+ (+ 10.0 (/ 1 (- d2))) 20.0) into (- 30.0 (/ 1 d2))
0.145 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0
0.145 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
0.145 * [taylor]: Taking taylor expansion of 30.0 in d2
0.145 * [backup-simplify]: Simplify 30.0 into 30.0
0.145 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.145 * [taylor]: Taking taylor expansion of d2 in d2
0.145 * [backup-simplify]: Simplify 0 into 0
0.145 * [backup-simplify]: Simplify 1 into 1
0.145 * [backup-simplify]: Simplify (/ 1 1) into 1
0.145 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
0.145 * [taylor]: Taking taylor expansion of 30.0 in d2
0.145 * [backup-simplify]: Simplify 30.0 into 30.0
0.145 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
0.145 * [taylor]: Taking taylor expansion of d2 in d2
0.145 * [backup-simplify]: Simplify 0 into 0
0.145 * [backup-simplify]: Simplify 1 into 1
0.146 * [backup-simplify]: Simplify (/ 1 1) into 1
0.146 * [backup-simplify]: Simplify (- 1) into -1
0.146 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.146 * [backup-simplify]: Simplify -1 into -1
0.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.147 * [backup-simplify]: Simplify (- 0) into 0
0.147 * [backup-simplify]: Simplify (+ 30.0 0) into 30.0
0.147 * [backup-simplify]: Simplify 30.0 into 30.0
0.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.148 * [backup-simplify]: Simplify (- 0) into 0
0.148 * [backup-simplify]: Simplify (+ 0 0) into 0
0.148 * [backup-simplify]: Simplify 0 into 0
0.149 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.149 * [backup-simplify]: Simplify (- 0) into 0
0.149 * [backup-simplify]: Simplify (+ 0 0) into 0
0.149 * [backup-simplify]: Simplify 0 into 0
0.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.150 * [backup-simplify]: Simplify (- 0) into 0
0.150 * [backup-simplify]: Simplify (+ 0 0) into 0
0.150 * [backup-simplify]: Simplify 0 into 0
0.151 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.151 * [backup-simplify]: Simplify (- 0) into 0
0.151 * [backup-simplify]: Simplify (+ 0 0) into 0
0.151 * [backup-simplify]: Simplify 0 into 0
0.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.152 * [backup-simplify]: Simplify (- 0) into 0
0.152 * [backup-simplify]: Simplify (+ 0 0) into 0
0.152 * [backup-simplify]: Simplify 0 into 0
0.154 * [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.154 * [backup-simplify]: Simplify (- 0) into 0
0.154 * [backup-simplify]: Simplify (+ 0 0) into 0
0.154 * [backup-simplify]: Simplify 0 into 0
0.155 * [backup-simplify]: Simplify (+ 30.0 (* -1 (/ 1 (/ 1 (- d2))))) into (+ d2 30.0)
0.155 * * * [progress]: simplifying candidates
0.156 * [simplify]: Simplifying:
  (* (* (exp 10.0) (exp d2)) (exp 20.0))
  (* (exp (+ 10.0 d2)) (exp 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))
  (* (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0)) (+ (+ 10.0 d2) 20.0))
  (sqrt (+ (+ 10.0 d2) 20.0))
  (sqrt (+ (+ 10.0 d2) 20.0))
  (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))
  (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0)))
  (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))
  (- (+ 10.0 d2) 20.0)
  (+ (+ 10.0 d2) 20.0)
  (+ (+ 10.0 d2) 20.0)
  (+ d2 20.0)
  (+ d2 30.0)
  (+ d2 30.0)
  (+ d2 30.0)
0.156 * * [simplify]: Extracting # 0 : cost  0
0.156 * * [simplify]: Extracting # 1 : cost  0
0.156 * * [simplify]: Extracting # 2 : cost  0
0.157 * * [simplify]: Extracting # 3 : cost  0
0.157 * * [simplify]: Extracting # 4 : cost  0
0.157 * * [simplify]: Extracting # 5 : cost  0
0.157 * * [simplify]: iteration  0 :  33  enodes  (cost  139 )
0.173 * * [simplify]: Extracting # 0 : cost  0
0.173 * * [simplify]: Extracting # 1 : cost  0
0.173 * * [simplify]: Extracting # 2 : cost  0
0.173 * * [simplify]: Extracting # 3 : cost  0
0.174 * * [simplify]: Extracting # 4 : cost  0
0.174 * * [simplify]: iteration  1 :  88  enodes  (cost  134 )
0.212 * * [simplify]: Extracting # 0 : cost  0
0.213 * * [simplify]: Extracting # 1 : cost  0
0.213 * * [simplify]: Extracting # 2 : cost  0
0.213 * * [simplify]: Extracting # 3 : cost  0
0.214 * * [simplify]: Extracting # 4 : cost  0
0.214 * * [simplify]: iteration  2 :  288  enodes  (cost  124 )
0.437 * * [simplify]: Extracting # 0 : cost  0
0.439 * * [simplify]: Extracting # 1 : cost  0
0.441 * * [simplify]: Extracting # 2 : cost  0
0.443 * * [simplify]: Extracting # 3 : cost  0
0.445 * * [simplify]: Extracting # 4 : cost  0
0.447 * * [simplify]: iteration  3 :  1208  enodes  (cost  122 )
1.320 * * [simplify]: Extracting # 0 : cost  0
1.327 * * [simplify]: Extracting # 1 : cost  0
1.339 * * [simplify]: Extracting # 2 : cost  0
1.345 * * [simplify]: Extracting # 3 : cost  0
1.350 * * [simplify]: Extracting # 4 : cost  0
1.356 * * [simplify]: iteration done:  5001  enodes  (cost  122 )
1.356 * [simplify]: Simplified to:
  (exp (+ (+ 10.0 d2) 20.0))
  (exp (+ (+ 10.0 d2) 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))
  (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))
  (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))
  (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))
  (- (+ 10.0 d2) 20.0)
  (+ (+ 10.0 d2) 20.0)
  (+ (+ 10.0 d2) 20.0)
  (+ d2 20.0)
  (+ d2 30.0)
  (+ d2 30.0)
  (+ d2 30.0)
1.356 * * * [progress]: adding candidates to table
1.414 * * [progress]: iteration 2 / 4
1.414 * * * [progress]: picking best candidate
1.421 * * * * [pick]: Picked  #<alt (λ (d1 d2) (* d1 (exp (log (+ (+ 10.0 d2) 20.0)))))>
1.422 * * * [progress]: localizing error
1.443 * * * [progress]: generating rewritten candidates
1.443 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
1.482 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.601 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 1)
1.631 * * * [progress]: generating series expansions
1.631 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
1.632 * [backup-simplify]: Simplify (exp (log (+ (+ 10.0 d2) 20.0))) into (+ d2 30.0)
1.632 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0
1.632 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
1.632 * [taylor]: Taking taylor expansion of d2 in d2
1.632 * [backup-simplify]: Simplify 0 into 0
1.632 * [backup-simplify]: Simplify 1 into 1
1.632 * [taylor]: Taking taylor expansion of 30.0 in d2
1.632 * [backup-simplify]: Simplify 30.0 into 30.0
1.632 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
1.632 * [taylor]: Taking taylor expansion of d2 in d2
1.632 * [backup-simplify]: Simplify 0 into 0
1.632 * [backup-simplify]: Simplify 1 into 1
1.632 * [taylor]: Taking taylor expansion of 30.0 in d2
1.632 * [backup-simplify]: Simplify 30.0 into 30.0
1.632 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
1.633 * [backup-simplify]: Simplify 30.0 into 30.0
1.633 * [backup-simplify]: Simplify (+ 1 0) into 1
1.633 * [backup-simplify]: Simplify 1 into 1
1.633 * [backup-simplify]: Simplify (+ 0 0) into 0
1.633 * [backup-simplify]: Simplify 0 into 0
1.633 * [backup-simplify]: Simplify (+ 0 0) into 0
1.633 * [backup-simplify]: Simplify 0 into 0
1.634 * [backup-simplify]: Simplify (+ 0 0) into 0
1.634 * [backup-simplify]: Simplify 0 into 0
1.634 * [backup-simplify]: Simplify (+ 0 0) into 0
1.634 * [backup-simplify]: Simplify 0 into 0
1.634 * [backup-simplify]: Simplify (+ 0 0) into 0
1.634 * [backup-simplify]: Simplify 0 into 0
1.634 * [backup-simplify]: Simplify (+ 0 0) into 0
1.634 * [backup-simplify]: Simplify 0 into 0
1.635 * [backup-simplify]: Simplify (+ (* 1 d2) 30.0) into (+ d2 30.0)
1.635 * [backup-simplify]: Simplify (exp (log (+ (+ 10.0 (/ 1 d2)) 20.0))) into (+ (/ 1 d2) 30.0)
1.635 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0
1.635 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
1.635 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.635 * [taylor]: Taking taylor expansion of d2 in d2
1.635 * [backup-simplify]: Simplify 0 into 0
1.635 * [backup-simplify]: Simplify 1 into 1
1.635 * [backup-simplify]: Simplify (/ 1 1) into 1
1.635 * [taylor]: Taking taylor expansion of 30.0 in d2
1.635 * [backup-simplify]: Simplify 30.0 into 30.0
1.635 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
1.635 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.635 * [taylor]: Taking taylor expansion of d2 in d2
1.635 * [backup-simplify]: Simplify 0 into 0
1.635 * [backup-simplify]: Simplify 1 into 1
1.635 * [backup-simplify]: Simplify (/ 1 1) into 1
1.636 * [taylor]: Taking taylor expansion of 30.0 in d2
1.636 * [backup-simplify]: Simplify 30.0 into 30.0
1.636 * [backup-simplify]: Simplify (+ 1 0) into 1
1.636 * [backup-simplify]: Simplify 1 into 1
1.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.637 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
1.637 * [backup-simplify]: Simplify 30.0 into 30.0
1.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.637 * [backup-simplify]: Simplify (+ 0 0) into 0
1.637 * [backup-simplify]: Simplify 0 into 0
1.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.638 * [backup-simplify]: Simplify (+ 0 0) into 0
1.638 * [backup-simplify]: Simplify 0 into 0
1.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.639 * [backup-simplify]: Simplify (+ 0 0) into 0
1.639 * [backup-simplify]: Simplify 0 into 0
1.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.640 * [backup-simplify]: Simplify (+ 0 0) into 0
1.640 * [backup-simplify]: Simplify 0 into 0
1.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.641 * [backup-simplify]: Simplify (+ 0 0) into 0
1.641 * [backup-simplify]: Simplify 0 into 0
1.641 * [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.642 * [backup-simplify]: Simplify (+ 0 0) into 0
1.642 * [backup-simplify]: Simplify 0 into 0
1.642 * [backup-simplify]: Simplify (+ 30.0 (* 1 (/ 1 (/ 1 d2)))) into (+ d2 30.0)
1.642 * [backup-simplify]: Simplify (exp (log (+ (+ 10.0 (/ 1 (- d2))) 20.0))) into (- 30.0 (/ 1 d2))
1.642 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0
1.642 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
1.642 * [taylor]: Taking taylor expansion of 30.0 in d2
1.642 * [backup-simplify]: Simplify 30.0 into 30.0
1.642 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.642 * [taylor]: Taking taylor expansion of d2 in d2
1.642 * [backup-simplify]: Simplify 0 into 0
1.642 * [backup-simplify]: Simplify 1 into 1
1.643 * [backup-simplify]: Simplify (/ 1 1) into 1
1.643 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
1.643 * [taylor]: Taking taylor expansion of 30.0 in d2
1.643 * [backup-simplify]: Simplify 30.0 into 30.0
1.643 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.643 * [taylor]: Taking taylor expansion of d2 in d2
1.643 * [backup-simplify]: Simplify 0 into 0
1.643 * [backup-simplify]: Simplify 1 into 1
1.643 * [backup-simplify]: Simplify (/ 1 1) into 1
1.643 * [backup-simplify]: Simplify (- 1) into -1
1.643 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.643 * [backup-simplify]: Simplify -1 into -1
1.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.644 * [backup-simplify]: Simplify (- 0) into 0
1.644 * [backup-simplify]: Simplify (+ 30.0 0) into 30.0
1.644 * [backup-simplify]: Simplify 30.0 into 30.0
1.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.645 * [backup-simplify]: Simplify (- 0) into 0
1.645 * [backup-simplify]: Simplify (+ 0 0) into 0
1.645 * [backup-simplify]: Simplify 0 into 0
1.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.646 * [backup-simplify]: Simplify (- 0) into 0
1.646 * [backup-simplify]: Simplify (+ 0 0) into 0
1.646 * [backup-simplify]: Simplify 0 into 0
1.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.647 * [backup-simplify]: Simplify (- 0) into 0
1.647 * [backup-simplify]: Simplify (+ 0 0) into 0
1.647 * [backup-simplify]: Simplify 0 into 0
1.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.648 * [backup-simplify]: Simplify (- 0) into 0
1.648 * [backup-simplify]: Simplify (+ 0 0) into 0
1.648 * [backup-simplify]: Simplify 0 into 0
1.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.649 * [backup-simplify]: Simplify (- 0) into 0
1.649 * [backup-simplify]: Simplify (+ 0 0) into 0
1.649 * [backup-simplify]: Simplify 0 into 0
1.650 * [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.650 * [backup-simplify]: Simplify (- 0) into 0
1.650 * [backup-simplify]: Simplify (+ 0 0) into 0
1.651 * [backup-simplify]: Simplify 0 into 0
1.651 * [backup-simplify]: Simplify (+ 30.0 (* -1 (/ 1 (/ 1 (- d2))))) into (+ d2 30.0)
1.651 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.651 * [backup-simplify]: Simplify (* d1 (exp (log (+ (+ 10.0 d2) 20.0)))) into (* d1 (+ d2 30.0))
1.651 * [approximate]: Taking taylor expansion of (* d1 (+ d2 30.0)) in (d1 d2) around 0
1.651 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d2
1.651 * [taylor]: Taking taylor expansion of d1 in d2
1.651 * [backup-simplify]: Simplify d1 into d1
1.651 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
1.651 * [taylor]: Taking taylor expansion of d2 in d2
1.651 * [backup-simplify]: Simplify 0 into 0
1.651 * [backup-simplify]: Simplify 1 into 1
1.651 * [taylor]: Taking taylor expansion of 30.0 in d2
1.651 * [backup-simplify]: Simplify 30.0 into 30.0
1.651 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d1
1.651 * [taylor]: Taking taylor expansion of d1 in d1
1.651 * [backup-simplify]: Simplify 0 into 0
1.651 * [backup-simplify]: Simplify 1 into 1
1.651 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1
1.651 * [taylor]: Taking taylor expansion of d2 in d1
1.651 * [backup-simplify]: Simplify d2 into d2
1.651 * [taylor]: Taking taylor expansion of 30.0 in d1
1.651 * [backup-simplify]: Simplify 30.0 into 30.0
1.651 * [taylor]: Taking taylor expansion of (* d1 (+ d2 30.0)) in d1
1.651 * [taylor]: Taking taylor expansion of d1 in d1
1.651 * [backup-simplify]: Simplify 0 into 0
1.651 * [backup-simplify]: Simplify 1 into 1
1.651 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1
1.651 * [taylor]: Taking taylor expansion of d2 in d1
1.651 * [backup-simplify]: Simplify d2 into d2
1.651 * [taylor]: Taking taylor expansion of 30.0 in d1
1.651 * [backup-simplify]: Simplify 30.0 into 30.0
1.651 * [backup-simplify]: Simplify (+ d2 30.0) into (+ d2 30.0)
1.652 * [backup-simplify]: Simplify (* 0 (+ d2 30.0)) into 0
1.652 * [taylor]: Taking taylor expansion of 0 in d2
1.652 * [backup-simplify]: Simplify 0 into 0
1.652 * [backup-simplify]: Simplify 0 into 0
1.652 * [backup-simplify]: Simplify (+ 0 0) into 0
1.652 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ d2 30.0))) into (+ d2 30.0)
1.652 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
1.652 * [taylor]: Taking taylor expansion of d2 in d2
1.652 * [backup-simplify]: Simplify 0 into 0
1.652 * [backup-simplify]: Simplify 1 into 1
1.652 * [taylor]: Taking taylor expansion of 30.0 in d2
1.652 * [backup-simplify]: Simplify 30.0 into 30.0
1.653 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
1.653 * [backup-simplify]: Simplify 30.0 into 30.0
1.653 * [backup-simplify]: Simplify 0 into 0
1.653 * [backup-simplify]: Simplify (+ 0 0) into 0
1.653 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ d2 30.0)))) into 0
1.653 * [taylor]: Taking taylor expansion of 0 in d2
1.653 * [backup-simplify]: Simplify 0 into 0
1.653 * [backup-simplify]: Simplify 0 into 0
1.654 * [backup-simplify]: Simplify (+ 1 0) into 1
1.654 * [backup-simplify]: Simplify 1 into 1
1.654 * [backup-simplify]: Simplify 0 into 0
1.654 * [backup-simplify]: Simplify (+ 0 0) into 0
1.655 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (+ d2 30.0))))) into 0
1.655 * [taylor]: Taking taylor expansion of 0 in d2
1.655 * [backup-simplify]: Simplify 0 into 0
1.655 * [backup-simplify]: Simplify 0 into 0
1.655 * [backup-simplify]: Simplify 0 into 0
1.655 * [backup-simplify]: Simplify (+ 0 0) into 0
1.655 * [backup-simplify]: Simplify 0 into 0
1.655 * [backup-simplify]: Simplify 0 into 0
1.655 * [backup-simplify]: Simplify (+ 0 0) into 0
1.656 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ d2 30.0)))))) into 0
1.656 * [taylor]: Taking taylor expansion of 0 in d2
1.656 * [backup-simplify]: Simplify 0 into 0
1.656 * [backup-simplify]: Simplify 0 into 0
1.656 * [backup-simplify]: Simplify (+ (* 1 (* d2 d1)) (* 30.0 (* 1 d1))) into (+ (* 30.0 d1) (* d1 d2))
1.657 * [backup-simplify]: Simplify (* (/ 1 d1) (exp (log (+ (+ 10.0 (/ 1 d2)) 20.0)))) into (/ (+ (/ 1 d2) 30.0) d1)
1.657 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in (d1 d2) around 0
1.657 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d2
1.657 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
1.657 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.657 * [taylor]: Taking taylor expansion of d2 in d2
1.657 * [backup-simplify]: Simplify 0 into 0
1.657 * [backup-simplify]: Simplify 1 into 1
1.657 * [backup-simplify]: Simplify (/ 1 1) into 1
1.657 * [taylor]: Taking taylor expansion of 30.0 in d2
1.657 * [backup-simplify]: Simplify 30.0 into 30.0
1.657 * [taylor]: Taking taylor expansion of d1 in d2
1.657 * [backup-simplify]: Simplify d1 into d1
1.657 * [backup-simplify]: Simplify (+ 1 0) into 1
1.657 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
1.658 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d1
1.658 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1
1.658 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
1.658 * [taylor]: Taking taylor expansion of d2 in d1
1.658 * [backup-simplify]: Simplify d2 into d2
1.658 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
1.658 * [taylor]: Taking taylor expansion of 30.0 in d1
1.658 * [backup-simplify]: Simplify 30.0 into 30.0
1.658 * [taylor]: Taking taylor expansion of d1 in d1
1.658 * [backup-simplify]: Simplify 0 into 0
1.658 * [backup-simplify]: Simplify 1 into 1
1.658 * [backup-simplify]: Simplify (+ (/ 1 d2) 30.0) into (+ (/ 1 d2) 30.0)
1.658 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) 30.0) 1) into (+ (/ 1 d2) 30.0)
1.658 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30.0) d1) in d1
1.658 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1
1.658 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
1.658 * [taylor]: Taking taylor expansion of d2 in d1
1.658 * [backup-simplify]: Simplify d2 into d2
1.658 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
1.658 * [taylor]: Taking taylor expansion of 30.0 in d1
1.658 * [backup-simplify]: Simplify 30.0 into 30.0
1.658 * [taylor]: Taking taylor expansion of d1 in d1
1.658 * [backup-simplify]: Simplify 0 into 0
1.658 * [backup-simplify]: Simplify 1 into 1
1.658 * [backup-simplify]: Simplify (+ (/ 1 d2) 30.0) into (+ (/ 1 d2) 30.0)
1.658 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) 30.0) 1) into (+ (/ 1 d2) 30.0)
1.658 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
1.658 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.658 * [taylor]: Taking taylor expansion of d2 in d2
1.658 * [backup-simplify]: Simplify 0 into 0
1.658 * [backup-simplify]: Simplify 1 into 1
1.659 * [backup-simplify]: Simplify (/ 1 1) into 1
1.659 * [taylor]: Taking taylor expansion of 30.0 in d2
1.659 * [backup-simplify]: Simplify 30.0 into 30.0
1.659 * [backup-simplify]: Simplify (+ 1 0) into 1
1.659 * [backup-simplify]: Simplify 1 into 1
1.659 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
1.659 * [backup-simplify]: Simplify (+ 0 0) into 0
1.660 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) 30.0) (/ 0 1)))) into 0
1.660 * [taylor]: Taking taylor expansion of 0 in d2
1.660 * [backup-simplify]: Simplify 0 into 0
1.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.661 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
1.661 * [backup-simplify]: Simplify 30.0 into 30.0
1.661 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
1.661 * [backup-simplify]: Simplify (+ 0 0) into 0
1.663 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) 30.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.663 * [taylor]: Taking taylor expansion of 0 in d2
1.663 * [backup-simplify]: Simplify 0 into 0
1.663 * [backup-simplify]: Simplify 0 into 0
1.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.664 * [backup-simplify]: Simplify (+ 0 0) into 0
1.664 * [backup-simplify]: Simplify 0 into 0
1.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
1.665 * [backup-simplify]: Simplify (+ 0 0) into 0
1.667 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) 30.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.667 * [taylor]: Taking taylor expansion of 0 in d2
1.667 * [backup-simplify]: Simplify 0 into 0
1.667 * [backup-simplify]: Simplify 0 into 0
1.667 * [backup-simplify]: Simplify 0 into 0
1.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.668 * [backup-simplify]: Simplify (+ 0 0) into 0
1.668 * [backup-simplify]: Simplify 0 into 0
1.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
1.669 * [backup-simplify]: Simplify (+ 0 0) into 0
1.671 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) 30.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.671 * [taylor]: Taking taylor expansion of 0 in d2
1.672 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify (+ (* 30.0 (* 1 (/ 1 (/ 1 d1)))) (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) into (+ (* 30.0 d1) (* d1 d2))
1.672 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (exp (log (+ (+ 10.0 (/ 1 (- d2))) 20.0)))) into (* -1 (/ (- 30.0 (/ 1 d2)) d1))
1.672 * [approximate]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in (d1 d2) around 0
1.672 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d2
1.672 * [taylor]: Taking taylor expansion of -1 in d2
1.672 * [backup-simplify]: Simplify -1 into -1
1.672 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d2
1.673 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
1.673 * [taylor]: Taking taylor expansion of 30.0 in d2
1.673 * [backup-simplify]: Simplify 30.0 into 30.0
1.673 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.673 * [taylor]: Taking taylor expansion of d2 in d2
1.673 * [backup-simplify]: Simplify 0 into 0
1.673 * [backup-simplify]: Simplify 1 into 1
1.673 * [backup-simplify]: Simplify (/ 1 1) into 1
1.673 * [taylor]: Taking taylor expansion of d1 in d2
1.673 * [backup-simplify]: Simplify d1 into d1
1.674 * [backup-simplify]: Simplify (- 1) into -1
1.674 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.674 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1)
1.674 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d1
1.674 * [taylor]: Taking taylor expansion of -1 in d1
1.674 * [backup-simplify]: Simplify -1 into -1
1.674 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d1
1.674 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1
1.674 * [taylor]: Taking taylor expansion of 30.0 in d1
1.674 * [backup-simplify]: Simplify 30.0 into 30.0
1.674 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
1.674 * [taylor]: Taking taylor expansion of d2 in d1
1.674 * [backup-simplify]: Simplify d2 into d2
1.674 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
1.674 * [taylor]: Taking taylor expansion of d1 in d1
1.674 * [backup-simplify]: Simplify 0 into 0
1.674 * [backup-simplify]: Simplify 1 into 1
1.675 * [backup-simplify]: Simplify (- (/ 1 d2)) into (- (/ 1 d2))
1.675 * [backup-simplify]: Simplify (+ 30.0 (- (/ 1 d2))) into (- 30.0 (/ 1 d2))
1.675 * [backup-simplify]: Simplify (/ (- 30.0 (/ 1 d2)) 1) into (- 30.0 (/ 1 d2))
1.675 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30.0 (/ 1 d2)) d1)) in d1
1.675 * [taylor]: Taking taylor expansion of -1 in d1
1.675 * [backup-simplify]: Simplify -1 into -1
1.675 * [taylor]: Taking taylor expansion of (/ (- 30.0 (/ 1 d2)) d1) in d1
1.675 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1
1.675 * [taylor]: Taking taylor expansion of 30.0 in d1
1.675 * [backup-simplify]: Simplify 30.0 into 30.0
1.675 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
1.675 * [taylor]: Taking taylor expansion of d2 in d1
1.675 * [backup-simplify]: Simplify d2 into d2
1.675 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
1.675 * [taylor]: Taking taylor expansion of d1 in d1
1.675 * [backup-simplify]: Simplify 0 into 0
1.675 * [backup-simplify]: Simplify 1 into 1
1.675 * [backup-simplify]: Simplify (- (/ 1 d2)) into (- (/ 1 d2))
1.676 * [backup-simplify]: Simplify (+ 30.0 (- (/ 1 d2))) into (- 30.0 (/ 1 d2))
1.676 * [backup-simplify]: Simplify (/ (- 30.0 (/ 1 d2)) 1) into (- 30.0 (/ 1 d2))
1.676 * [backup-simplify]: Simplify (* -1 (- 30.0 (/ 1 d2))) into (* -1 (- 30.0 (/ 1 d2)))
1.676 * [taylor]: Taking taylor expansion of (* -1 (- 30.0 (/ 1 d2))) in d2
1.676 * [taylor]: Taking taylor expansion of -1 in d2
1.676 * [backup-simplify]: Simplify -1 into -1
1.676 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
1.676 * [taylor]: Taking taylor expansion of 30.0 in d2
1.676 * [backup-simplify]: Simplify 30.0 into 30.0
1.676 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.676 * [taylor]: Taking taylor expansion of d2 in d2
1.676 * [backup-simplify]: Simplify 0 into 0
1.676 * [backup-simplify]: Simplify 1 into 1
1.677 * [backup-simplify]: Simplify (/ 1 1) into 1
1.677 * [backup-simplify]: Simplify (- 1) into -1
1.677 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.678 * [backup-simplify]: Simplify (* -1 -1) into 1
1.678 * [backup-simplify]: Simplify 1 into 1
1.678 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
1.678 * [backup-simplify]: Simplify (- 0) into 0
1.679 * [backup-simplify]: Simplify (+ 0 0) into 0
1.680 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 30.0 (/ 1 d2)) (/ 0 1)))) into 0
1.680 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- 30.0 (/ 1 d2)))) into 0
1.680 * [taylor]: Taking taylor expansion of 0 in d2
1.680 * [backup-simplify]: Simplify 0 into 0
1.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.682 * [backup-simplify]: Simplify (- 0) into 0
1.682 * [backup-simplify]: Simplify (+ 30.0 0) into 30.0
1.683 * [backup-simplify]: Simplify (+ (* -1 30.0) (* 0 -1)) into (- 30.0)
1.684 * [backup-simplify]: Simplify (- 30.0) into (- 30.0)
1.684 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
1.685 * [backup-simplify]: Simplify (- 0) into 0
1.685 * [backup-simplify]: Simplify (+ 0 0) into 0
1.686 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 30.0 (/ 1 d2)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.687 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- 30.0 (/ 1 d2))))) into 0
1.687 * [taylor]: Taking taylor expansion of 0 in d2
1.687 * [backup-simplify]: Simplify 0 into 0
1.687 * [backup-simplify]: Simplify 0 into 0
1.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.689 * [backup-simplify]: Simplify (- 0) into 0
1.689 * [backup-simplify]: Simplify (+ 0 0) into 0
1.690 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 30.0) (* 0 -1))) into 0
1.690 * [backup-simplify]: Simplify 0 into 0
1.690 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
1.691 * [backup-simplify]: Simplify (- 0) into 0
1.691 * [backup-simplify]: Simplify (+ 0 0) into 0
1.693 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 30.0 (/ 1 d2)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.694 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 30.0 (/ 1 d2)))))) into 0
1.694 * [taylor]: Taking taylor expansion of 0 in d2
1.694 * [backup-simplify]: Simplify 0 into 0
1.694 * [backup-simplify]: Simplify 0 into 0
1.694 * [backup-simplify]: Simplify 0 into 0
1.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.695 * [backup-simplify]: Simplify (- 0) into 0
1.696 * [backup-simplify]: Simplify (+ 0 0) into 0
1.697 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 30.0) (* 0 -1)))) into 0
1.697 * [backup-simplify]: Simplify 0 into 0
1.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
1.698 * [backup-simplify]: Simplify (- 0) into 0
1.698 * [backup-simplify]: Simplify (+ 0 0) into 0
1.701 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 30.0 (/ 1 d2)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.703 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 30.0 (/ 1 d2))))))) into 0
1.703 * [taylor]: Taking taylor expansion of 0 in d2
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify 0 into 0
1.703 * [backup-simplify]: Simplify (+ (* (- 30.0) (* 1 (/ 1 (/ 1 (- d1))))) (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) into (+ (* 30.0 d1) (* d1 d2))
1.703 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 1)
1.704 * [backup-simplify]: Simplify (+ (+ 10.0 d2) 20.0) into (+ d2 30.0)
1.704 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0
1.704 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
1.704 * [taylor]: Taking taylor expansion of d2 in d2
1.704 * [backup-simplify]: Simplify 0 into 0
1.704 * [backup-simplify]: Simplify 1 into 1
1.704 * [taylor]: Taking taylor expansion of 30.0 in d2
1.704 * [backup-simplify]: Simplify 30.0 into 30.0
1.704 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
1.704 * [taylor]: Taking taylor expansion of d2 in d2
1.704 * [backup-simplify]: Simplify 0 into 0
1.704 * [backup-simplify]: Simplify 1 into 1
1.704 * [taylor]: Taking taylor expansion of 30.0 in d2
1.704 * [backup-simplify]: Simplify 30.0 into 30.0
1.705 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
1.705 * [backup-simplify]: Simplify 30.0 into 30.0
1.705 * [backup-simplify]: Simplify (+ 1 0) into 1
1.705 * [backup-simplify]: Simplify 1 into 1
1.705 * [backup-simplify]: Simplify (+ 0 0) into 0
1.705 * [backup-simplify]: Simplify 0 into 0
1.706 * [backup-simplify]: Simplify (+ 0 0) into 0
1.706 * [backup-simplify]: Simplify 0 into 0
1.706 * [backup-simplify]: Simplify (+ 0 0) into 0
1.706 * [backup-simplify]: Simplify 0 into 0
1.707 * [backup-simplify]: Simplify (+ 0 0) into 0
1.707 * [backup-simplify]: Simplify 0 into 0
1.707 * [backup-simplify]: Simplify (+ 0 0) into 0
1.707 * [backup-simplify]: Simplify 0 into 0
1.707 * [backup-simplify]: Simplify (+ 0 0) into 0
1.707 * [backup-simplify]: Simplify 0 into 0
1.708 * [backup-simplify]: Simplify (+ (* 1 d2) 30.0) into (+ d2 30.0)
1.708 * [backup-simplify]: Simplify (+ (+ 10.0 (/ 1 d2)) 20.0) into (+ (/ 1 d2) 30.0)
1.708 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0
1.708 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
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.708 * [taylor]: Taking taylor expansion of 30.0 in d2
1.708 * [backup-simplify]: Simplify 30.0 into 30.0
1.708 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
1.708 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.708 * [taylor]: Taking taylor expansion of d2 in d2
1.709 * [backup-simplify]: Simplify 0 into 0
1.709 * [backup-simplify]: Simplify 1 into 1
1.709 * [backup-simplify]: Simplify (/ 1 1) into 1
1.709 * [taylor]: Taking taylor expansion of 30.0 in d2
1.709 * [backup-simplify]: Simplify 30.0 into 30.0
1.709 * [backup-simplify]: Simplify (+ 1 0) into 1
1.709 * [backup-simplify]: Simplify 1 into 1
1.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.710 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
1.710 * [backup-simplify]: Simplify 30.0 into 30.0
1.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.714 * [backup-simplify]: Simplify (+ 0 0) into 0
1.714 * [backup-simplify]: Simplify 0 into 0
1.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.715 * [backup-simplify]: Simplify (+ 0 0) into 0
1.715 * [backup-simplify]: Simplify 0 into 0
1.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.717 * [backup-simplify]: Simplify (+ 0 0) into 0
1.717 * [backup-simplify]: Simplify 0 into 0
1.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.718 * [backup-simplify]: Simplify (+ 0 0) into 0
1.718 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.719 * [backup-simplify]: Simplify (+ 0 0) into 0
1.719 * [backup-simplify]: Simplify 0 into 0
1.720 * [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.721 * [backup-simplify]: Simplify (+ 0 0) into 0
1.721 * [backup-simplify]: Simplify 0 into 0
1.721 * [backup-simplify]: Simplify (+ 30.0 (* 1 (/ 1 (/ 1 d2)))) into (+ d2 30.0)
1.721 * [backup-simplify]: Simplify (+ (+ 10.0 (/ 1 (- d2))) 20.0) into (- 30.0 (/ 1 d2))
1.721 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0
1.721 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
1.721 * [taylor]: Taking taylor expansion of 30.0 in d2
1.721 * [backup-simplify]: Simplify 30.0 into 30.0
1.721 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.721 * [taylor]: Taking taylor expansion of d2 in d2
1.721 * [backup-simplify]: Simplify 0 into 0
1.721 * [backup-simplify]: Simplify 1 into 1
1.722 * [backup-simplify]: Simplify (/ 1 1) into 1
1.722 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
1.722 * [taylor]: Taking taylor expansion of 30.0 in d2
1.722 * [backup-simplify]: Simplify 30.0 into 30.0
1.722 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
1.722 * [taylor]: Taking taylor expansion of d2 in d2
1.722 * [backup-simplify]: Simplify 0 into 0
1.722 * [backup-simplify]: Simplify 1 into 1
1.722 * [backup-simplify]: Simplify (/ 1 1) into 1
1.723 * [backup-simplify]: Simplify (- 1) into -1
1.723 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.723 * [backup-simplify]: Simplify -1 into -1
1.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.724 * [backup-simplify]: Simplify (- 0) into 0
1.725 * [backup-simplify]: Simplify (+ 30.0 0) into 30.0
1.725 * [backup-simplify]: Simplify 30.0 into 30.0
1.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.726 * [backup-simplify]: Simplify (- 0) into 0
1.726 * [backup-simplify]: Simplify (+ 0 0) into 0
1.726 * [backup-simplify]: Simplify 0 into 0
1.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.728 * [backup-simplify]: Simplify (- 0) into 0
1.728 * [backup-simplify]: Simplify (+ 0 0) into 0
1.728 * [backup-simplify]: Simplify 0 into 0
1.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.729 * [backup-simplify]: Simplify (- 0) into 0
1.730 * [backup-simplify]: Simplify (+ 0 0) into 0
1.730 * [backup-simplify]: Simplify 0 into 0
1.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.731 * [backup-simplify]: Simplify (- 0) into 0
1.732 * [backup-simplify]: Simplify (+ 0 0) into 0
1.732 * [backup-simplify]: Simplify 0 into 0
1.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 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 into 0
1.734 * [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.735 * [backup-simplify]: Simplify (- 0) into 0
1.735 * [backup-simplify]: Simplify (+ 0 0) into 0
1.735 * [backup-simplify]: Simplify 0 into 0
1.735 * [backup-simplify]: Simplify (+ 30.0 (* -1 (/ 1 (/ 1 (- d2))))) into (+ d2 30.0)
1.735 * * * [progress]: simplifying candidates
1.737 * [simplify]: Simplifying:
  (exp 1)
  (exp (* (cbrt (log (+ (+ 10.0 d2) 20.0))) (cbrt (log (+ (+ 10.0 d2) 20.0)))))
  (exp (sqrt (log (+ (+ 10.0 d2) 20.0))))
  (exp 1)
  (exp (log (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0)))))
  (exp (log (cbrt (+ (+ 10.0 d2) 20.0))))
  (exp (log (sqrt (+ (+ 10.0 d2) 20.0))))
  (exp (log (sqrt (+ (+ 10.0 d2) 20.0))))
  (exp (log 1))
  (exp (log (+ (+ 10.0 d2) 20.0)))
  (exp (log 1))
  (exp (log (+ (+ 10.0 d2) 20.0)))
  (exp (log 1))
  (exp (log (+ (+ 10.0 d2) 20.0)))
  (exp (log (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))))
  (exp (log (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0)))))
  (exp (log (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))))
  (exp (log (- (+ 10.0 d2) 20.0)))
  (log (exp (log (+ (+ 10.0 d2) 20.0))))
  (exp (exp (log (+ (+ 10.0 d2) 20.0))))
  (* (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))) (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))))
  (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))
  (* (* (exp (log (+ (+ 10.0 d2) 20.0))) (exp (log (+ (+ 10.0 d2) 20.0)))) (exp (log (+ (+ 10.0 d2) 20.0))))
  (sqrt (exp (log (+ (+ 10.0 d2) 20.0))))
  (sqrt (exp (log (+ (+ 10.0 d2) 20.0))))
  (* d1 (exp (log (+ (+ 10.0 d2) 20.0))))
  (+ (log d1) (log (+ (+ 10.0 d2) 20.0)))
  (log (* d1 (exp (log (+ (+ 10.0 d2) 20.0)))))
  (exp (* d1 (exp (log (+ (+ 10.0 d2) 20.0)))))
  (* (* (* d1 d1) d1) (* (* (exp (log (+ (+ 10.0 d2) 20.0))) (exp (log (+ (+ 10.0 d2) 20.0)))) (exp (log (+ (+ 10.0 d2) 20.0)))))
  (* (cbrt (* d1 (exp (log (+ (+ 10.0 d2) 20.0))))) (cbrt (* d1 (exp (log (+ (+ 10.0 d2) 20.0))))))
  (cbrt (* d1 (exp (log (+ (+ 10.0 d2) 20.0)))))
  (* (* (* d1 (exp (log (+ (+ 10.0 d2) 20.0)))) (* d1 (exp (log (+ (+ 10.0 d2) 20.0))))) (* d1 (exp (log (+ (+ 10.0 d2) 20.0)))))
  (sqrt (* d1 (exp (log (+ (+ 10.0 d2) 20.0)))))
  (sqrt (* d1 (exp (log (+ (+ 10.0 d2) 20.0)))))
  (* (sqrt d1) (exp (log (sqrt (+ (+ 10.0 d2) 20.0)))))
  (* (sqrt d1) (exp (log (sqrt (+ (+ 10.0 d2) 20.0)))))
  (* (sqrt d1) (sqrt (exp (log (+ (+ 10.0 d2) 20.0)))))
  (* (sqrt d1) (sqrt (exp (log (+ (+ 10.0 d2) 20.0)))))
  (* d1 (exp (log (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))))))
  (* d1 (exp (log (sqrt (+ (+ 10.0 d2) 20.0)))))
  (* d1 (exp (log 1)))
  (* d1 (exp (log 1)))
  (* d1 (exp (log 1)))
  (* d1 (* (cbrt (exp (log (+ (+ 10.0 d2) 20.0)))) (cbrt (exp (log (+ (+ 10.0 d2) 20.0))))))
  (* d1 (sqrt (exp (log (+ (+ 10.0 d2) 20.0)))))
  (* d1 1)
  (* (cbrt d1) (exp (log (+ (+ 10.0 d2) 20.0))))
  (* (sqrt d1) (exp (log (+ (+ 10.0 d2) 20.0))))
  (* d1 (exp (log (+ (+ 10.0 d2) 20.0))))
  (* d1 (exp (log (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))))
  (* d1 (exp (log (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))))
  (* (* (exp 10.0) (exp d2)) (exp 20.0))
  (* (exp (+ 10.0 d2)) (exp 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))
  (* (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0)) (+ (+ 10.0 d2) 20.0))
  (sqrt (+ (+ 10.0 d2) 20.0))
  (sqrt (+ (+ 10.0 d2) 20.0))
  (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))
  (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0)))
  (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))
  (- (+ 10.0 d2) 20.0)
  (+ (+ 10.0 d2) 20.0)
  (+ (+ 10.0 d2) 20.0)
  (+ d2 20.0)
  (+ d2 30.0)
  (+ d2 30.0)
  (+ d2 30.0)
  (+ (* 30.0 d1) (* d1 d2))
  (+ (* 30.0 d1) (* d1 d2))
  (+ (* 30.0 d1) (* d1 d2))
  (+ d2 30.0)
  (+ d2 30.0)
  (+ d2 30.0)
1.740 * * [simplify]: Extracting # 0 : cost  0
1.740 * * [simplify]: Extracting # 1 : cost  0
1.740 * * [simplify]: Extracting # 2 : cost  0
1.740 * * [simplify]: Extracting # 3 : cost  0
1.740 * * [simplify]: Extracting # 4 : cost  0
1.741 * * [simplify]: Extracting # 5 : cost  0
1.741 * * [simplify]: Extracting # 6 : cost  0
1.741 * * [simplify]: iteration  0 :  95  enodes  (cost  718 )
1.782 * * [simplify]: Extracting # 0 : cost  0
1.782 * * [simplify]: Extracting # 1 : cost  0
1.783 * * [simplify]: Extracting # 2 : cost  0
1.783 * * [simplify]: Extracting # 3 : cost  0
1.783 * * [simplify]: Extracting # 4 : cost  0
1.784 * * [simplify]: iteration  1 :  190  enodes  (cost  590 )
1.863 * * [simplify]: Extracting # 0 : cost  0
1.864 * * [simplify]: Extracting # 1 : cost  0
1.866 * * [simplify]: Extracting # 2 : cost  0
1.867 * * [simplify]: Extracting # 3 : cost  0
1.868 * * [simplify]: Extracting # 4 : cost  0
1.869 * * [simplify]: iteration  2 :  604  enodes  (cost  527 )
2.530 * * [simplify]: Extracting # 0 : cost  0
2.536 * * [simplify]: Extracting # 1 : cost  0
2.542 * * [simplify]: Extracting # 2 : cost  0
2.547 * * [simplify]: Extracting # 3 : cost  0
2.552 * * [simplify]: Extracting # 4 : cost  0
2.557 * * [simplify]: iteration  3 :  2815  enodes  (cost  517 )
3.406 * * [simplify]: Extracting # 0 : cost  0
3.411 * * [simplify]: Extracting # 1 : cost  0
3.416 * * [simplify]: Extracting # 2 : cost  0
3.422 * * [simplify]: Extracting # 3 : cost  0
3.428 * * [simplify]: Extracting # 4 : cost  0
3.440 * * [simplify]: iteration done:  5000  enodes  (cost  507 )
3.441 * [simplify]: Simplified to:
  E
  (exp (* (cbrt (log (+ (+ 10.0 d2) 20.0))) (cbrt (log (+ (+ 10.0 d2) 20.0)))))
  (exp (sqrt (log (+ (+ 10.0 d2) 20.0))))
  E
  (pow (cbrt (+ (+ 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)
  (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))
  (+ (* 20.0 20.0) (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)))
  (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))
  (- (+ 10.0 d2) 20.0)
  (log (+ (+ 10.0 d2) 20.0))
  (exp (+ (+ 10.0 d2) 20.0))
  (pow (cbrt (+ (+ 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))
  (* d1 (+ (+ 10.0 d2) 20.0))
  (log (* d1 (+ (+ 10.0 d2) 20.0)))
  (log (* d1 (+ (+ 10.0 d2) 20.0)))
  (exp (* d1 (+ (+ 10.0 d2) 20.0)))
  (pow (* d1 (+ (+ 10.0 d2) 20.0)) 3)
  (* (cbrt (* d1 (+ (+ 10.0 d2) 20.0))) (cbrt (* d1 (+ (+ 10.0 d2) 20.0))))
  (cbrt (* d1 (+ (+ 10.0 d2) 20.0)))
  (pow (* d1 (+ (+ 10.0 d2) 20.0)) 3)
  (sqrt (* d1 (+ (+ 10.0 d2) 20.0)))
  (sqrt (* d1 (+ (+ 10.0 d2) 20.0)))
  (* (sqrt (+ (+ 10.0 d2) 20.0)) (sqrt d1))
  (* (sqrt (+ (+ 10.0 d2) 20.0)) (sqrt d1))
  (* (sqrt (+ (+ 10.0 d2) 20.0)) (sqrt d1))
  (* (sqrt (+ (+ 10.0 d2) 20.0)) (sqrt d1))
  (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))
  (* d1 (sqrt (+ (+ 10.0 d2) 20.0)))
  d1
  d1
  d1
  (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))
  (* d1 (sqrt (+ (+ 10.0 d2) 20.0)))
  d1
  (* (cbrt d1) (+ (+ 10.0 d2) 20.0))
  (* (sqrt d1) (+ (+ 10.0 d2) 20.0))
  (* d1 (+ (+ 10.0 d2) 20.0))
  (* (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) d1)
  (* (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)) d1)
  (exp (+ (+ 10.0 d2) 20.0))
  (exp (+ (+ 10.0 d2) 20.0))
  (log (+ (+ 10.0 d2) 20.0))
  (exp (+ (+ 10.0 d2) 20.0))
  (pow (cbrt (+ (+ 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 (+ 10.0 d2) 3) (pow 20.0 3))
  (+ (* 20.0 20.0) (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)))
  (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))
  (- (+ 10.0 d2) 20.0)
  (+ (+ 10.0 d2) 20.0)
  (+ (+ 10.0 d2) 20.0)
  (+ d2 20.0)
  (+ d2 30.0)
  (+ d2 30.0)
  (+ d2 30.0)
  (* d1 (+ d2 30.0))
  (* d1 (+ d2 30.0))
  (* d1 (+ d2 30.0))
  (+ d2 30.0)
  (+ d2 30.0)
  (+ d2 30.0)
3.441 * * * [progress]: adding candidates to table
3.611 * * [progress]: iteration 3 / 4
3.612 * * * [progress]: picking best candidate
3.620 * * * * [pick]: Picked  #<alt (λ (d1 d2) (* (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)) (exp (log (cbrt (+ (+ 10.0 d2) 20.0))))))>
3.620 * * * [progress]: localizing error
3.650 * * * [progress]: generating rewritten candidates
3.650 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
3.679 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.872 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
3.902 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
3.925 * * * [progress]: generating series expansions
3.925 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
3.925 * [backup-simplify]: Simplify (exp (log (cbrt (+ (+ 10.0 d2) 20.0)))) into (pow (+ d2 30.0) 1/3)
3.925 * [approximate]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in (d2) around 0
3.925 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in d2
3.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d2 30.0)))) in d2
3.925 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d2 30.0))) in d2
3.925 * [taylor]: Taking taylor expansion of 1/3 in d2
3.925 * [backup-simplify]: Simplify 1/3 into 1/3
3.925 * [taylor]: Taking taylor expansion of (log (+ d2 30.0)) in d2
3.925 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
3.925 * [taylor]: Taking taylor expansion of d2 in d2
3.925 * [backup-simplify]: Simplify 0 into 0
3.925 * [backup-simplify]: Simplify 1 into 1
3.925 * [taylor]: Taking taylor expansion of 30.0 in d2
3.925 * [backup-simplify]: Simplify 30.0 into 30.0
3.926 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
3.926 * [backup-simplify]: Simplify (log 30.0) into (log 30.0)
3.927 * [backup-simplify]: Simplify (* 1/3 (log 30.0)) into (* 1/3 (log 30.0))
3.928 * [backup-simplify]: Simplify (exp (* 1/3 (log 30.0))) into (pow 30.0 1/3)
3.928 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in d2
3.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d2 30.0)))) in d2
3.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d2 30.0))) in d2
3.928 * [taylor]: Taking taylor expansion of 1/3 in d2
3.928 * [backup-simplify]: Simplify 1/3 into 1/3
3.928 * [taylor]: Taking taylor expansion of (log (+ d2 30.0)) in d2
3.928 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
3.928 * [taylor]: Taking taylor expansion of d2 in d2
3.928 * [backup-simplify]: Simplify 0 into 0
3.928 * [backup-simplify]: Simplify 1 into 1
3.928 * [taylor]: Taking taylor expansion of 30.0 in d2
3.928 * [backup-simplify]: Simplify 30.0 into 30.0
3.928 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
3.928 * [backup-simplify]: Simplify (log 30.0) into (log 30.0)
3.929 * [backup-simplify]: Simplify (* 1/3 (log 30.0)) into (* 1/3 (log 30.0))
3.930 * [backup-simplify]: Simplify (exp (* 1/3 (log 30.0))) into (pow 30.0 1/3)
3.930 * [backup-simplify]: Simplify (pow 30.0 1/3) into (pow 30.0 1/3)
3.931 * [backup-simplify]: Simplify (+ 1 0) into 1
3.934 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 30.0 1)))) 1) into 0.03333333333333333
3.935 * [backup-simplify]: Simplify (+ (* 1/3 0.03333333333333333) (* 0 (log 30.0))) into 0.01111111111111111
3.939 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 30.0))) (+ (* (/ (pow 0.01111111111111111 1) 1)))) into (* 0.01111111111111111 (pow 30.0 1/3))
3.940 * [backup-simplify]: Simplify (* 0.01111111111111111 (pow 30.0 1/3)) into (* 0.01111111111111111 (pow 30.0 1/3))
3.941 * [backup-simplify]: Simplify (+ 0 0) into 0
3.950 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 30.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 30.0 1)))) 2) into (/ -1/2 (pow 30.0 2))
3.955 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 30.0 2))) (+ (* 0 0.03333333333333333) (* 0 (log 30.0)))) into (- (* 1/6 (/ 1 (pow 30.0 2))))
3.968 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 30.0))) (+ (* (/ (pow 0.01111111111111111 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 30.0 2)))) 1) 1)))) into (* (- 6.172839506172838e-05 (* 1/6 (/ 1 (pow 30.0 2)))) (pow 30.0 1/3))
3.970 * [backup-simplify]: Simplify (* (- 6.172839506172838e-05 (* 1/6 (/ 1 (pow 30.0 2)))) (pow 30.0 1/3)) into (* (- 6.172839506172838e-05 (* 1/6 (/ 1 (pow 30.0 2)))) (pow 30.0 1/3))
3.979 * [backup-simplify]: Simplify (+ (* (* (- 6.172839506172838e-05 (* 1/6 (/ 1 (pow 30.0 2)))) (pow 30.0 1/3)) (pow d2 2)) (+ (* (* 0.01111111111111111 (pow 30.0 1/3)) d2) (pow 30.0 1/3))) into (- (+ (pow 30.0 1/3) (+ (* 0.01111111111111111 (* d2 (pow 30.0 1/3))) (* 6.172839506172838e-05 (* (pow d2 2) (pow 30.0 1/3))))) (* 1/6 (* (pow d2 2) (pow (/ 1 (pow 30.0 5)) 1/3))))
3.980 * [backup-simplify]: Simplify (exp (log (cbrt (+ (+ 10.0 (/ 1 d2)) 20.0)))) into (pow (+ (/ 1 d2) 30.0) 1/3)
3.980 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in (d2) around 0
3.980 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in d2
3.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) 30.0)))) in d2
3.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) 30.0))) in d2
3.980 * [taylor]: Taking taylor expansion of 1/3 in d2
3.980 * [backup-simplify]: Simplify 1/3 into 1/3
3.980 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) 30.0)) in d2
3.980 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
3.980 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.980 * [taylor]: Taking taylor expansion of d2 in d2
3.980 * [backup-simplify]: Simplify 0 into 0
3.980 * [backup-simplify]: Simplify 1 into 1
3.981 * [backup-simplify]: Simplify (/ 1 1) into 1
3.981 * [taylor]: Taking taylor expansion of 30.0 in d2
3.981 * [backup-simplify]: Simplify 30.0 into 30.0
3.981 * [backup-simplify]: Simplify (+ 1 0) into 1
3.981 * [backup-simplify]: Simplify (log 1) into 0
3.982 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) 0) into (- (log d2))
3.982 * [backup-simplify]: Simplify (* 1/3 (- (log d2))) into (* -1/3 (log d2))
3.982 * [backup-simplify]: Simplify (exp (* -1/3 (log d2))) into (pow d2 -1/3)
3.982 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in d2
3.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) 30.0)))) in d2
3.982 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) 30.0))) in d2
3.982 * [taylor]: Taking taylor expansion of 1/3 in d2
3.982 * [backup-simplify]: Simplify 1/3 into 1/3
3.982 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) 30.0)) in d2
3.982 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
3.982 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
3.982 * [taylor]: Taking taylor expansion of d2 in d2
3.982 * [backup-simplify]: Simplify 0 into 0
3.982 * [backup-simplify]: Simplify 1 into 1
3.983 * [backup-simplify]: Simplify (/ 1 1) into 1
3.983 * [taylor]: Taking taylor expansion of 30.0 in d2
3.983 * [backup-simplify]: Simplify 30.0 into 30.0
3.983 * [backup-simplify]: Simplify (+ 1 0) into 1
3.984 * [backup-simplify]: Simplify (log 1) into 0
3.984 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) 0) into (- (log d2))
3.984 * [backup-simplify]: Simplify (* 1/3 (- (log d2))) into (* -1/3 (log d2))
3.984 * [backup-simplify]: Simplify (exp (* -1/3 (log d2))) into (pow d2 -1/3)
3.984 * [backup-simplify]: Simplify (pow d2 -1/3) into (pow d2 -1/3)
3.985 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.985 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
3.989 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 30.0) 1)) (pow 1 1)))) 1) into 30.0
3.989 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) 0) into (- (log d2))
3.989 * [backup-simplify]: Simplify (+ (* 1/3 30.0) (* 0 (- (log d2)))) into 10.0
3.991 * [backup-simplify]: Simplify (* (exp (* -1/3 (log d2))) (+ (* (/ (pow 10.0 1) 1)))) into (* 10.0 (pow (/ 1 d2) 1/3))
3.991 * [backup-simplify]: Simplify (* 10.0 (pow (/ 1 d2) 1/3)) into (* 10.0 (pow (/ 1 d2) 1/3))
3.992 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.992 * [backup-simplify]: Simplify (+ 0 0) into 0
3.999 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 30.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -450.0
3.999 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) 0) into (- (log d2))
4.000 * [backup-simplify]: Simplify (+ (* 1/3 -450.0) (+ (* 0 30.0) (* 0 (- (log d2))))) into (- 150.0)
4.005 * [backup-simplify]: Simplify (* (exp (* -1/3 (log d2))) (+ (* (/ (pow 10.0 2) 2)) (* (/ (pow (- 150.0) 1) 1)))) into (* -100.0 (pow (/ 1 d2) 1/3))
4.005 * [backup-simplify]: Simplify (* -100.0 (pow (/ 1 d2) 1/3)) into (* -100.0 (pow (/ 1 d2) 1/3))
4.006 * [backup-simplify]: Simplify (+ (* (* -100.0 (pow (/ 1 (/ 1 d2)) 1/3)) (pow (/ 1 d2) 2)) (+ (* (* 10.0 (pow (/ 1 (/ 1 d2)) 1/3)) (/ 1 d2)) (pow (/ 1 d2) -1/3))) into (- (+ (* 10.0 (pow (/ 1 (pow d2 2)) 1/3)) (pow (/ 1 d2) -1/3)) (* 100.0 (pow (/ 1 (pow d2 5)) 1/3)))
4.006 * [backup-simplify]: Simplify (exp (log (cbrt (+ (+ 10.0 (/ 1 (- d2))) 20.0)))) into (pow (- 30.0 (/ 1 d2)) 1/3)
4.006 * [approximate]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in (d2) around 0
4.006 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in d2
4.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 30.0 (/ 1 d2))))) in d2
4.006 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 30.0 (/ 1 d2)))) in d2
4.006 * [taylor]: Taking taylor expansion of 1/3 in d2
4.006 * [backup-simplify]: Simplify 1/3 into 1/3
4.006 * [taylor]: Taking taylor expansion of (log (- 30.0 (/ 1 d2))) in d2
4.006 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
4.006 * [taylor]: Taking taylor expansion of 30.0 in d2
4.006 * [backup-simplify]: Simplify 30.0 into 30.0
4.006 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.006 * [taylor]: Taking taylor expansion of d2 in d2
4.006 * [backup-simplify]: Simplify 0 into 0
4.006 * [backup-simplify]: Simplify 1 into 1
4.006 * [backup-simplify]: Simplify (/ 1 1) into 1
4.007 * [backup-simplify]: Simplify (- 1) into -1
4.007 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.007 * [backup-simplify]: Simplify (log -1) into (log -1)
4.008 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) (log -1)) into (- (log -1) (log d2))
4.008 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log d2))) into (* 1/3 (- (log -1) (log d2)))
4.008 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d2)))) into (exp (* 1/3 (- (log -1) (log d2))))
4.008 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in d2
4.008 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 30.0 (/ 1 d2))))) in d2
4.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 30.0 (/ 1 d2)))) in d2
4.008 * [taylor]: Taking taylor expansion of 1/3 in d2
4.008 * [backup-simplify]: Simplify 1/3 into 1/3
4.008 * [taylor]: Taking taylor expansion of (log (- 30.0 (/ 1 d2))) in d2
4.008 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
4.008 * [taylor]: Taking taylor expansion of 30.0 in d2
4.008 * [backup-simplify]: Simplify 30.0 into 30.0
4.008 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.008 * [taylor]: Taking taylor expansion of d2 in d2
4.008 * [backup-simplify]: Simplify 0 into 0
4.008 * [backup-simplify]: Simplify 1 into 1
4.009 * [backup-simplify]: Simplify (/ 1 1) into 1
4.009 * [backup-simplify]: Simplify (- 1) into -1
4.009 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.010 * [backup-simplify]: Simplify (log -1) into (log -1)
4.010 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) (log -1)) into (- (log -1) (log d2))
4.010 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log d2))) into (* 1/3 (- (log -1) (log d2)))
4.011 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d2)))) into (exp (* 1/3 (- (log -1) (log d2))))
4.011 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d2)))) into (exp (* 1/3 (- (log -1) (log d2))))
4.011 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.012 * [backup-simplify]: Simplify (- 0) into 0
4.012 * [backup-simplify]: Simplify (+ 30.0 0) into 30.0
4.017 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 30.0) 1)) (pow -1 1)))) 1) into -30.0
4.017 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) (log -1)) into (- (log -1) (log d2))
4.018 * [backup-simplify]: Simplify (+ (* 1/3 -30.0) (* 0 (- (log -1) (log d2)))) into (- 10.0)
4.020 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log d2)))) (+ (* (/ (pow (- 10.0) 1) 1)))) into (* -10.0 (exp (* 1/3 (- (log -1) (log d2)))))
4.020 * [backup-simplify]: Simplify (* -10.0 (exp (* 1/3 (- (log -1) (log d2))))) into (* -10.0 (exp (* 1/3 (- (log -1) (log d2)))))
4.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.021 * [backup-simplify]: Simplify (- 0) into 0
4.021 * [backup-simplify]: Simplify (+ 0 0) into 0
4.028 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 30.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -450.0
4.028 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) (log -1)) into (- (log -1) (log d2))
4.029 * [backup-simplify]: Simplify (+ (* 1/3 -450.0) (+ (* 0 -30.0) (* 0 (- (log -1) (log d2))))) into (- 150.0)
4.033 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log d2)))) (+ (* (/ (pow (- 10.0) 2) 2)) (* (/ (pow (- 150.0) 1) 1)))) into (* -100.0 (exp (* 1/3 (- (log -1) (log d2)))))
4.034 * [backup-simplify]: Simplify (* -100.0 (exp (* 1/3 (- (log -1) (log d2))))) into (* -100.0 (exp (* 1/3 (- (log -1) (log d2)))))
4.035 * [backup-simplify]: Simplify (+ (* (* -100.0 (exp (* 1/3 (- (log -1) (log (/ 1 (- d2))))))) (pow (/ 1 (- d2)) 2)) (+ (* (* -10.0 (exp (* 1/3 (- (log -1) (log (/ 1 (- d2))))))) (/ 1 (- d2))) (exp (* 1/3 (- (log -1) (log (/ 1 (- d2)))))))) into (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) (* 10.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) d2))) (* 100.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) (pow d2 2))))
4.035 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
4.036 * [backup-simplify]: Simplify (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)) into (* d1 (pow (pow (+ d2 30.0) 2) 1/3))
4.036 * [approximate]: Taking taylor expansion of (* d1 (pow (pow (+ d2 30.0) 2) 1/3)) in (d1 d2) around 0
4.036 * [taylor]: Taking taylor expansion of (* d1 (pow (pow (+ d2 30.0) 2) 1/3)) in d2
4.036 * [taylor]: Taking taylor expansion of d1 in d2
4.036 * [backup-simplify]: Simplify d1 into d1
4.036 * [taylor]: Taking taylor expansion of (pow (pow (+ d2 30.0) 2) 1/3) in d2
4.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) in d2
4.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d2 30.0) 2))) in d2
4.036 * [taylor]: Taking taylor expansion of 1/3 in d2
4.036 * [backup-simplify]: Simplify 1/3 into 1/3
4.036 * [taylor]: Taking taylor expansion of (log (pow (+ d2 30.0) 2)) in d2
4.036 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 2) in d2
4.036 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
4.036 * [taylor]: Taking taylor expansion of d2 in d2
4.036 * [backup-simplify]: Simplify 0 into 0
4.036 * [backup-simplify]: Simplify 1 into 1
4.036 * [taylor]: Taking taylor expansion of 30.0 in d2
4.036 * [backup-simplify]: Simplify 30.0 into 30.0
4.036 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
4.037 * [backup-simplify]: Simplify (* 30.0 30.0) into 900.0
4.037 * [backup-simplify]: Simplify (log 900.0) into (log 900.0)
4.038 * [backup-simplify]: Simplify (* 1/3 (log 900.0)) into (* 1/3 (log 900.0))
4.039 * [backup-simplify]: Simplify (exp (* 1/3 (log 900.0))) into (pow 900.0 1/3)
4.040 * [taylor]: Taking taylor expansion of (* d1 (pow (pow (+ d2 30.0) 2) 1/3)) in d1
4.040 * [taylor]: Taking taylor expansion of d1 in d1
4.040 * [backup-simplify]: Simplify 0 into 0
4.040 * [backup-simplify]: Simplify 1 into 1
4.040 * [taylor]: Taking taylor expansion of (pow (pow (+ d2 30.0) 2) 1/3) in d1
4.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) in d1
4.040 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d2 30.0) 2))) in d1
4.040 * [taylor]: Taking taylor expansion of 1/3 in d1
4.040 * [backup-simplify]: Simplify 1/3 into 1/3
4.040 * [taylor]: Taking taylor expansion of (log (pow (+ d2 30.0) 2)) in d1
4.040 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 2) in d1
4.040 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1
4.040 * [taylor]: Taking taylor expansion of d2 in d1
4.040 * [backup-simplify]: Simplify d2 into d2
4.040 * [taylor]: Taking taylor expansion of 30.0 in d1
4.040 * [backup-simplify]: Simplify 30.0 into 30.0
4.040 * [backup-simplify]: Simplify (+ d2 30.0) into (+ d2 30.0)
4.040 * [backup-simplify]: Simplify (* (+ d2 30.0) (+ d2 30.0)) into (pow (+ d2 30.0) 2)
4.040 * [backup-simplify]: Simplify (log (pow (+ d2 30.0) 2)) into (log (pow (+ d2 30.0) 2))
4.041 * [backup-simplify]: Simplify (* 1/3 (log (pow (+ d2 30.0) 2))) into (* 1/3 (log (pow (+ d2 30.0) 2)))
4.041 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) into (pow (pow (+ d2 30.0) 2) 1/3)
4.041 * [taylor]: Taking taylor expansion of (* d1 (pow (pow (+ d2 30.0) 2) 1/3)) in d1
4.041 * [taylor]: Taking taylor expansion of d1 in d1
4.041 * [backup-simplify]: Simplify 0 into 0
4.041 * [backup-simplify]: Simplify 1 into 1
4.041 * [taylor]: Taking taylor expansion of (pow (pow (+ d2 30.0) 2) 1/3) in d1
4.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) in d1
4.041 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d2 30.0) 2))) in d1
4.041 * [taylor]: Taking taylor expansion of 1/3 in d1
4.041 * [backup-simplify]: Simplify 1/3 into 1/3
4.041 * [taylor]: Taking taylor expansion of (log (pow (+ d2 30.0) 2)) in d1
4.041 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 2) in d1
4.041 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d1
4.041 * [taylor]: Taking taylor expansion of d2 in d1
4.041 * [backup-simplify]: Simplify d2 into d2
4.041 * [taylor]: Taking taylor expansion of 30.0 in d1
4.041 * [backup-simplify]: Simplify 30.0 into 30.0
4.041 * [backup-simplify]: Simplify (+ d2 30.0) into (+ d2 30.0)
4.042 * [backup-simplify]: Simplify (* (+ d2 30.0) (+ d2 30.0)) into (pow (+ d2 30.0) 2)
4.042 * [backup-simplify]: Simplify (log (pow (+ d2 30.0) 2)) into (log (pow (+ d2 30.0) 2))
4.042 * [backup-simplify]: Simplify (* 1/3 (log (pow (+ d2 30.0) 2))) into (* 1/3 (log (pow (+ d2 30.0) 2)))
4.042 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) into (pow (pow (+ d2 30.0) 2) 1/3)
4.042 * [backup-simplify]: Simplify (* 0 (pow (pow (+ d2 30.0) 2) 1/3)) into 0
4.043 * [taylor]: Taking taylor expansion of 0 in d2
4.043 * [backup-simplify]: Simplify 0 into 0
4.043 * [backup-simplify]: Simplify 0 into 0
4.043 * [backup-simplify]: Simplify (+ 0 0) into 0
4.043 * [backup-simplify]: Simplify (+ (* (+ d2 30.0) 0) (* 0 (+ d2 30.0))) into 0
4.044 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (+ d2 30.0) 2) 1)))) 1) into 0
4.045 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (+ d2 30.0) 2)))) into 0
4.046 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
4.046 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (pow (+ d2 30.0) 2) 1/3))) into (pow (pow (+ d2 30.0) 2) 1/3)
4.046 * [taylor]: Taking taylor expansion of (pow (pow (+ d2 30.0) 2) 1/3) in d2
4.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) in d2
4.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ d2 30.0) 2))) in d2
4.046 * [taylor]: Taking taylor expansion of 1/3 in d2
4.046 * [backup-simplify]: Simplify 1/3 into 1/3
4.046 * [taylor]: Taking taylor expansion of (log (pow (+ d2 30.0) 2)) in d2
4.046 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 2) in d2
4.046 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
4.047 * [taylor]: Taking taylor expansion of d2 in d2
4.047 * [backup-simplify]: Simplify 0 into 0
4.047 * [backup-simplify]: Simplify 1 into 1
4.047 * [taylor]: Taking taylor expansion of 30.0 in d2
4.047 * [backup-simplify]: Simplify 30.0 into 30.0
4.047 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
4.047 * [backup-simplify]: Simplify (* 30.0 30.0) into 900.0
4.048 * [backup-simplify]: Simplify (log 900.0) into (log 900.0)
4.049 * [backup-simplify]: Simplify (* 1/3 (log 900.0)) into (* 1/3 (log 900.0))
4.050 * [backup-simplify]: Simplify (exp (* 1/3 (log 900.0))) into (pow 900.0 1/3)
4.051 * [backup-simplify]: Simplify (pow 900.0 1/3) into (pow 900.0 1/3)
4.051 * [backup-simplify]: Simplify 0 into 0
4.051 * [backup-simplify]: Simplify (+ 0 0) into 0
4.052 * [backup-simplify]: Simplify (+ (* (+ d2 30.0) 0) (+ (* 0 0) (* 0 (+ d2 30.0)))) into 0
4.053 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (+ d2 30.0) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (+ d2 30.0) 2) 1)))) 2) into 0
4.054 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (+ d2 30.0) 2))))) into 0
4.056 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.057 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (pow (+ d2 30.0) 2) 1/3)))) into 0
4.057 * [taylor]: Taking taylor expansion of 0 in d2
4.057 * [backup-simplify]: Simplify 0 into 0
4.057 * [backup-simplify]: Simplify 0 into 0
4.057 * [backup-simplify]: Simplify (+ 1 0) into 1
4.059 * [backup-simplify]: Simplify (+ (* 30.0 1) (* 1 30.0)) into 60.0
4.063 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 60.0) 1)) (pow 900.0 1)))) 1) into 0.06666666666666667
4.065 * [backup-simplify]: Simplify (+ (* 1/3 0.06666666666666667) (* 0 (log 900.0))) into 0.02222222222222222
4.068 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 900.0))) (+ (* (/ (pow 0.02222222222222222 1) 1)))) into (* 0.02222222222222222 (pow 900.0 1/3))
4.068 * [backup-simplify]: Simplify (* 0.02222222222222222 (pow 900.0 1/3)) into (* 0.02222222222222222 (pow 900.0 1/3))
4.068 * [backup-simplify]: Simplify 0 into 0
4.069 * [backup-simplify]: Simplify (+ 0 0) into 0
4.069 * [backup-simplify]: Simplify (+ (* (+ d2 30.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ d2 30.0))))) into 0
4.071 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow (+ d2 30.0) 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (pow (+ d2 30.0) 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow (+ d2 30.0) 2) 1)))) 6) into 0
4.072 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (pow (+ d2 30.0) 2)))))) into 0
4.073 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (+ d2 30.0) 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.074 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow (pow (+ d2 30.0) 2) 1/3))))) into 0
4.074 * [taylor]: Taking taylor expansion of 0 in d2
4.074 * [backup-simplify]: Simplify 0 into 0
4.074 * [backup-simplify]: Simplify 0 into 0
4.074 * [backup-simplify]: Simplify 0 into 0
4.074 * [backup-simplify]: Simplify (+ 0 0) into 0
4.075 * [backup-simplify]: Simplify (+ (* 30.0 0) (+ (* 1 1) (* 0 30.0))) into 1
4.088 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 60.0) 2)) (pow 900.0 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 900.0 1)))) 2) into (* 1/2 (- 0.0022222222222222222 (* 3600.0 (/ 1 (pow 900.0 2)))))
4.097 * [backup-simplify]: Simplify (+ (* 1/3 (* 1/2 (- 0.0022222222222222222 (* 3600.0 (/ 1 (pow 900.0 2)))))) (+ (* 0 0.06666666666666667) (* 0 (log 900.0)))) into (- 0.00037037037037037035 (* 600.0 (/ 1 (pow 900.0 2))))
4.113 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 900.0))) (+ (* (/ (pow 0.02222222222222222 2) 2)) (* (/ (pow (- 0.00037037037037037035 (* 600.0 (/ 1 (pow 900.0 2)))) 1) 1)))) into (* (pow 900.0 1/3) (- 0.0006172839506172838 (* 600.0 (/ 1 (pow 900.0 2)))))
4.117 * [backup-simplify]: Simplify (* (pow 900.0 1/3) (- 0.0006172839506172838 (* 600.0 (/ 1 (pow 900.0 2))))) into (* (pow 900.0 1/3) (- 0.0006172839506172838 (* 600.0 (/ 1 (pow 900.0 2)))))
4.122 * [backup-simplify]: Simplify (+ (* (* (pow 900.0 1/3) (- 0.0006172839506172838 (* 600.0 (/ 1 (pow 900.0 2))))) (* (pow d2 2) d1)) (+ (* (* 0.02222222222222222 (pow 900.0 1/3)) (* d2 d1)) (* (pow 900.0 1/3) (* 1 d1)))) into (- (+ (* 0.02222222222222222 (* (* d1 d2) (pow 900.0 1/3))) (+ (* d1 (pow 900.0 1/3)) (* 0.0006172839506172838 (* (* d1 (pow d2 2)) (pow 900.0 1/3))))) (* 600.0 (* (* d1 (pow d2 2)) (pow (/ 1 (pow 900.0 5)) 1/3))))
4.122 * [backup-simplify]: Simplify (* (/ 1 d1) (pow (cbrt (+ (+ 10.0 (/ 1 d2)) 20.0)) 2)) into (* (/ 1 d1) (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3))
4.122 * [approximate]: Taking taylor expansion of (* (/ 1 d1) (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)) in (d1 d2) around 0
4.122 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)) in d2
4.122 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
4.122 * [taylor]: Taking taylor expansion of d1 in d2
4.122 * [backup-simplify]: Simplify d1 into d1
4.122 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
4.122 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3) in d2
4.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))) in d2
4.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2))) in d2
4.122 * [taylor]: Taking taylor expansion of 1/3 in d2
4.122 * [backup-simplify]: Simplify 1/3 into 1/3
4.122 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) 30.0) 2)) in d2
4.122 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 2) in d2
4.122 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
4.122 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.122 * [taylor]: Taking taylor expansion of d2 in d2
4.122 * [backup-simplify]: Simplify 0 into 0
4.122 * [backup-simplify]: Simplify 1 into 1
4.123 * [backup-simplify]: Simplify (/ 1 1) into 1
4.123 * [taylor]: Taking taylor expansion of 30.0 in d2
4.123 * [backup-simplify]: Simplify 30.0 into 30.0
4.123 * [backup-simplify]: Simplify (+ 1 0) into 1
4.123 * [backup-simplify]: Simplify (* 1 1) into 1
4.123 * [backup-simplify]: Simplify (log 1) into 0
4.124 * [backup-simplify]: Simplify (+ (* (- 2) (log d2)) 0) into (- (* 2 (log d2)))
4.124 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log d2)))) into (* -2/3 (log d2))
4.124 * [backup-simplify]: Simplify (exp (* -2/3 (log d2))) into (pow d2 -2/3)
4.124 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)) in d1
4.124 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
4.124 * [taylor]: Taking taylor expansion of d1 in d1
4.124 * [backup-simplify]: Simplify 0 into 0
4.124 * [backup-simplify]: Simplify 1 into 1
4.124 * [backup-simplify]: Simplify (/ 1 1) into 1
4.124 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3) in d1
4.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))) in d1
4.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2))) in d1
4.124 * [taylor]: Taking taylor expansion of 1/3 in d1
4.124 * [backup-simplify]: Simplify 1/3 into 1/3
4.124 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) 30.0) 2)) in d1
4.124 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 2) in d1
4.124 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1
4.124 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
4.124 * [taylor]: Taking taylor expansion of d2 in d1
4.124 * [backup-simplify]: Simplify d2 into d2
4.124 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
4.124 * [taylor]: Taking taylor expansion of 30.0 in d1
4.124 * [backup-simplify]: Simplify 30.0 into 30.0
4.125 * [backup-simplify]: Simplify (+ (/ 1 d2) 30.0) into (+ (/ 1 d2) 30.0)
4.125 * [backup-simplify]: Simplify (* (+ (/ 1 d2) 30.0) (+ (/ 1 d2) 30.0)) into (pow (+ (/ 1 d2) 30.0) 2)
4.125 * [backup-simplify]: Simplify (log (pow (+ (/ 1 d2) 30.0) 2)) into (log (pow (+ (/ 1 d2) 30.0) 2))
4.125 * [backup-simplify]: Simplify (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2))) into (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))
4.125 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))) into (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)
4.125 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)) in d1
4.125 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
4.125 * [taylor]: Taking taylor expansion of d1 in d1
4.125 * [backup-simplify]: Simplify 0 into 0
4.125 * [backup-simplify]: Simplify 1 into 1
4.126 * [backup-simplify]: Simplify (/ 1 1) into 1
4.126 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3) in d1
4.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))) in d1
4.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2))) in d1
4.126 * [taylor]: Taking taylor expansion of 1/3 in d1
4.126 * [backup-simplify]: Simplify 1/3 into 1/3
4.126 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) 30.0) 2)) in d1
4.126 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 2) in d1
4.126 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d1
4.126 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
4.126 * [taylor]: Taking taylor expansion of d2 in d1
4.126 * [backup-simplify]: Simplify d2 into d2
4.126 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
4.126 * [taylor]: Taking taylor expansion of 30.0 in d1
4.126 * [backup-simplify]: Simplify 30.0 into 30.0
4.126 * [backup-simplify]: Simplify (+ (/ 1 d2) 30.0) into (+ (/ 1 d2) 30.0)
4.126 * [backup-simplify]: Simplify (* (+ (/ 1 d2) 30.0) (+ (/ 1 d2) 30.0)) into (pow (+ (/ 1 d2) 30.0) 2)
4.126 * [backup-simplify]: Simplify (log (pow (+ (/ 1 d2) 30.0) 2)) into (log (pow (+ (/ 1 d2) 30.0) 2))
4.126 * [backup-simplify]: Simplify (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2))) into (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))
4.127 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))) into (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)
4.127 * [backup-simplify]: Simplify (* 1 (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)) into (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)
4.127 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3) in d2
4.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))) in d2
4.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2))) in d2
4.127 * [taylor]: Taking taylor expansion of 1/3 in d2
4.127 * [backup-simplify]: Simplify 1/3 into 1/3
4.127 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 d2) 30.0) 2)) in d2
4.127 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 2) in d2
4.127 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
4.127 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.127 * [taylor]: Taking taylor expansion of d2 in d2
4.127 * [backup-simplify]: Simplify 0 into 0
4.127 * [backup-simplify]: Simplify 1 into 1
4.127 * [backup-simplify]: Simplify (/ 1 1) into 1
4.127 * [taylor]: Taking taylor expansion of 30.0 in d2
4.127 * [backup-simplify]: Simplify 30.0 into 30.0
4.128 * [backup-simplify]: Simplify (+ 1 0) into 1
4.128 * [backup-simplify]: Simplify (* 1 1) into 1
4.128 * [backup-simplify]: Simplify (log 1) into 0
4.128 * [backup-simplify]: Simplify (+ (* (- 2) (log d2)) 0) into (- (* 2 (log d2)))
4.128 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log d2)))) into (* -2/3 (log d2))
4.128 * [backup-simplify]: Simplify (exp (* -2/3 (log d2))) into (pow d2 -2/3)
4.129 * [backup-simplify]: Simplify (pow d2 -2/3) into (pow d2 -2/3)
4.129 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
4.129 * [backup-simplify]: Simplify (+ 0 0) into 0
4.129 * [backup-simplify]: Simplify (+ (* (+ (/ 1 d2) 30.0) 0) (* 0 (+ (/ 1 d2) 30.0))) into 0
4.130 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (+ (/ 1 d2) 30.0) 2) 1)))) 1) into 0
4.130 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (+ (/ 1 d2) 30.0) 2)))) into 0
4.131 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
4.131 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.132 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3))) into 0
4.132 * [taylor]: Taking taylor expansion of 0 in d2
4.132 * [backup-simplify]: Simplify 0 into 0
4.132 * [backup-simplify]: Simplify 0 into 0
4.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.132 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
4.133 * [backup-simplify]: Simplify (+ (* 1 30.0) (* 30.0 1)) into 60.0
4.137 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 60.0) 1)) (pow 1 1)))) 1) into 60.0
4.137 * [backup-simplify]: Simplify (+ (* (- 2) (log d2)) 0) into (- (* 2 (log d2)))
4.137 * [backup-simplify]: Simplify (+ (* 1/3 60.0) (* 0 (- (* 2 (log d2))))) into 20.0
4.139 * [backup-simplify]: Simplify (* (exp (* -2/3 (log d2))) (+ (* (/ (pow 20.0 1) 1)))) into (* 20.0 (pow (/ 1 (pow d2 2)) 1/3))
4.139 * [backup-simplify]: Simplify (* 20.0 (pow (/ 1 (pow d2 2)) 1/3)) into (* 20.0 (pow (/ 1 (pow d2 2)) 1/3))
4.139 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
4.139 * [backup-simplify]: Simplify (+ 0 0) into 0
4.140 * [backup-simplify]: Simplify (+ (* (+ (/ 1 d2) 30.0) 0) (+ (* 0 0) (* 0 (+ (/ 1 d2) 30.0)))) into 0
4.141 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (+ (/ 1 d2) 30.0) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (+ (/ 1 d2) 30.0) 2) 1)))) 2) into 0
4.142 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (+ (/ 1 d2) 30.0) 2))))) into 0
4.143 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (+ (/ 1 d2) 30.0) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (pow (+ (/ 1 d2) 30.0) 2) 1/3)))) into 0
4.144 * [taylor]: Taking taylor expansion of 0 in d2
4.144 * [backup-simplify]: Simplify 0 into 0
4.144 * [backup-simplify]: Simplify 0 into 0
4.144 * [backup-simplify]: Simplify 0 into 0
4.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.145 * [backup-simplify]: Simplify (+ 0 0) into 0
4.146 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 30.0 30.0) (* 0 1))) into 900.0
4.154 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 60.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 900.0) 1)) (pow 1 1)))) 2) into -900.0
4.154 * [backup-simplify]: Simplify (+ (* (- 2) (log d2)) 0) into (- (* 2 (log d2)))
4.155 * [backup-simplify]: Simplify (+ (* 1/3 -900.0) (+ (* 0 60.0) (* 0 (- (* 2 (log d2)))))) into (- 300.0)
4.158 * [backup-simplify]: Simplify (* (exp (* -2/3 (log d2))) (+ (* (/ (pow 20.0 2) 2)) (* (/ (pow (- 300.0) 1) 1)))) into (* -100.0 (pow (/ 1 (pow d2 2)) 1/3))
4.158 * [backup-simplify]: Simplify (* -100.0 (pow (/ 1 (pow d2 2)) 1/3)) into (* -100.0 (pow (/ 1 (pow d2 2)) 1/3))
4.159 * [backup-simplify]: Simplify (+ (* (* -100.0 (pow (/ 1 (pow (/ 1 d2) 2)) 1/3)) (* (pow (/ 1 d2) 2) (/ 1 (/ 1 d1)))) (+ (* (* 20.0 (pow (/ 1 (pow (/ 1 d2) 2)) 1/3)) (* (/ 1 d2) (/ 1 (/ 1 d1)))) (* (pow (/ 1 d2) -2/3) (* 1 (/ 1 (/ 1 d1)))))) into (- (+ (* 20.0 (* d1 (pow (/ 1 d2) 1/3))) (* d1 (pow (pow d2 2) 1/3))) (* 100.0 (* d1 (pow (/ 1 (pow d2 4)) 1/3))))
4.159 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (pow (cbrt (+ (+ 10.0 (/ 1 (- d2))) 20.0)) 2)) into (* -1 (* (/ 1 d1) (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3)))
4.159 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 d1) (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3))) in (d1 d2) around 0
4.160 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3))) in d2
4.160 * [taylor]: Taking taylor expansion of -1 in d2
4.160 * [backup-simplify]: Simplify -1 into -1
4.160 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3)) in d2
4.160 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2
4.160 * [taylor]: Taking taylor expansion of d1 in d2
4.160 * [backup-simplify]: Simplify d1 into d1
4.160 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1)
4.160 * [taylor]: Taking taylor expansion of (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) in d2
4.160 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))) in d2
4.160 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2))) in d2
4.160 * [taylor]: Taking taylor expansion of 1/3 in d2
4.160 * [backup-simplify]: Simplify 1/3 into 1/3
4.160 * [taylor]: Taking taylor expansion of (log (pow (- 30.0 (/ 1 d2)) 2)) in d2
4.160 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 2) in d2
4.160 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
4.160 * [taylor]: Taking taylor expansion of 30.0 in d2
4.160 * [backup-simplify]: Simplify 30.0 into 30.0
4.160 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.160 * [taylor]: Taking taylor expansion of d2 in d2
4.160 * [backup-simplify]: Simplify 0 into 0
4.160 * [backup-simplify]: Simplify 1 into 1
4.160 * [backup-simplify]: Simplify (/ 1 1) into 1
4.160 * [backup-simplify]: Simplify (- 1) into -1
4.161 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.161 * [backup-simplify]: Simplify (* -1 -1) into 1
4.161 * [backup-simplify]: Simplify (log 1) into 0
4.161 * [backup-simplify]: Simplify (+ (* (- 2) (log d2)) 0) into (- (* 2 (log d2)))
4.162 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log d2)))) into (* -2/3 (log d2))
4.162 * [backup-simplify]: Simplify (exp (* -2/3 (log d2))) into (pow d2 -2/3)
4.162 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3))) in d1
4.162 * [taylor]: Taking taylor expansion of -1 in d1
4.162 * [backup-simplify]: Simplify -1 into -1
4.162 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3)) in d1
4.162 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
4.162 * [taylor]: Taking taylor expansion of d1 in d1
4.162 * [backup-simplify]: Simplify 0 into 0
4.162 * [backup-simplify]: Simplify 1 into 1
4.162 * [backup-simplify]: Simplify (/ 1 1) into 1
4.162 * [taylor]: Taking taylor expansion of (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) in d1
4.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))) in d1
4.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2))) in d1
4.162 * [taylor]: Taking taylor expansion of 1/3 in d1
4.162 * [backup-simplify]: Simplify 1/3 into 1/3
4.162 * [taylor]: Taking taylor expansion of (log (pow (- 30.0 (/ 1 d2)) 2)) in d1
4.162 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 2) in d1
4.162 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1
4.162 * [taylor]: Taking taylor expansion of 30.0 in d1
4.162 * [backup-simplify]: Simplify 30.0 into 30.0
4.162 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
4.162 * [taylor]: Taking taylor expansion of d2 in d1
4.162 * [backup-simplify]: Simplify d2 into d2
4.162 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
4.162 * [backup-simplify]: Simplify (- (/ 1 d2)) into (- (/ 1 d2))
4.162 * [backup-simplify]: Simplify (+ 30.0 (- (/ 1 d2))) into (- 30.0 (/ 1 d2))
4.162 * [backup-simplify]: Simplify (* (- 30.0 (/ 1 d2)) (- 30.0 (/ 1 d2))) into (pow (- 30.0 (/ 1 d2)) 2)
4.163 * [backup-simplify]: Simplify (log (pow (- 30.0 (/ 1 d2)) 2)) into (log (pow (- 30.0 (/ 1 d2)) 2))
4.163 * [backup-simplify]: Simplify (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2))) into (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))
4.163 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))) into (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3)
4.163 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 d1) (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3))) in d1
4.163 * [taylor]: Taking taylor expansion of -1 in d1
4.163 * [backup-simplify]: Simplify -1 into -1
4.163 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3)) in d1
4.163 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1
4.163 * [taylor]: Taking taylor expansion of d1 in d1
4.163 * [backup-simplify]: Simplify 0 into 0
4.163 * [backup-simplify]: Simplify 1 into 1
4.163 * [backup-simplify]: Simplify (/ 1 1) into 1
4.163 * [taylor]: Taking taylor expansion of (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) in d1
4.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))) in d1
4.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2))) in d1
4.163 * [taylor]: Taking taylor expansion of 1/3 in d1
4.163 * [backup-simplify]: Simplify 1/3 into 1/3
4.163 * [taylor]: Taking taylor expansion of (log (pow (- 30.0 (/ 1 d2)) 2)) in d1
4.163 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 2) in d1
4.163 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d1
4.163 * [taylor]: Taking taylor expansion of 30.0 in d1
4.163 * [backup-simplify]: Simplify 30.0 into 30.0
4.163 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1
4.163 * [taylor]: Taking taylor expansion of d2 in d1
4.163 * [backup-simplify]: Simplify d2 into d2
4.164 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2)
4.164 * [backup-simplify]: Simplify (- (/ 1 d2)) into (- (/ 1 d2))
4.164 * [backup-simplify]: Simplify (+ 30.0 (- (/ 1 d2))) into (- 30.0 (/ 1 d2))
4.164 * [backup-simplify]: Simplify (* (- 30.0 (/ 1 d2)) (- 30.0 (/ 1 d2))) into (pow (- 30.0 (/ 1 d2)) 2)
4.164 * [backup-simplify]: Simplify (log (pow (- 30.0 (/ 1 d2)) 2)) into (log (pow (- 30.0 (/ 1 d2)) 2))
4.164 * [backup-simplify]: Simplify (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2))) into (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))
4.164 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))) into (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3)
4.164 * [backup-simplify]: Simplify (* 1 (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3)) into (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3)
4.165 * [backup-simplify]: Simplify (* -1 (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3)) into (* -1 (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3))
4.165 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3)) in d2
4.165 * [taylor]: Taking taylor expansion of -1 in d2
4.165 * [backup-simplify]: Simplify -1 into -1
4.165 * [taylor]: Taking taylor expansion of (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3) in d2
4.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))) in d2
4.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2))) in d2
4.165 * [taylor]: Taking taylor expansion of 1/3 in d2
4.165 * [backup-simplify]: Simplify 1/3 into 1/3
4.165 * [taylor]: Taking taylor expansion of (log (pow (- 30.0 (/ 1 d2)) 2)) in d2
4.165 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 2) in d2
4.165 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
4.165 * [taylor]: Taking taylor expansion of 30.0 in d2
4.165 * [backup-simplify]: Simplify 30.0 into 30.0
4.165 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.165 * [taylor]: Taking taylor expansion of d2 in d2
4.165 * [backup-simplify]: Simplify 0 into 0
4.165 * [backup-simplify]: Simplify 1 into 1
4.165 * [backup-simplify]: Simplify (/ 1 1) into 1
4.165 * [backup-simplify]: Simplify (- 1) into -1
4.166 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.166 * [backup-simplify]: Simplify (* -1 -1) into 1
4.166 * [backup-simplify]: Simplify (log 1) into 0
4.166 * [backup-simplify]: Simplify (+ (* (- 2) (log d2)) 0) into (- (* 2 (log d2)))
4.166 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log d2)))) into (* -2/3 (log d2))
4.166 * [backup-simplify]: Simplify (exp (* -2/3 (log d2))) into (pow d2 -2/3)
4.167 * [backup-simplify]: Simplify (* -1 (pow d2 -2/3)) into (* -1 (pow (/ 1 (pow d2 2)) 1/3))
4.167 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (pow d2 2)) 1/3)) into (* -1 (pow (/ 1 (pow d2 2)) 1/3))
4.167 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0
4.167 * [backup-simplify]: Simplify (- 0) into 0
4.167 * [backup-simplify]: Simplify (+ 0 0) into 0
4.167 * [backup-simplify]: Simplify (+ (* (- 30.0 (/ 1 d2)) 0) (* 0 (- 30.0 (/ 1 d2)))) into 0
4.168 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (- 30.0 (/ 1 d2)) 2) 1)))) 1) into 0
4.169 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (log (pow (- 30.0 (/ 1 d2)) 2)))) into 0
4.169 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
4.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.171 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3))) into 0
4.172 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3))) into 0
4.172 * [taylor]: Taking taylor expansion of 0 in d2
4.172 * [backup-simplify]: Simplify 0 into 0
4.172 * [backup-simplify]: Simplify 0 into 0
4.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.173 * [backup-simplify]: Simplify (- 0) into 0
4.173 * [backup-simplify]: Simplify (+ 30.0 0) into 30.0
4.175 * [backup-simplify]: Simplify (+ (* -1 30.0) (* 30.0 -1)) into (- 60.0)
4.182 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 60.0)) 1)) (pow 1 1)))) 1) into -60.0
4.183 * [backup-simplify]: Simplify (+ (* (- 2) (log d2)) 0) into (- (* 2 (log d2)))
4.183 * [backup-simplify]: Simplify (+ (* 1/3 -60.0) (* 0 (- (* 2 (log d2))))) into (- 20.0)
4.186 * [backup-simplify]: Simplify (* (exp (* -2/3 (log d2))) (+ (* (/ (pow (- 20.0) 1) 1)))) into (* -20.0 (pow (/ 1 (pow d2 2)) 1/3))
4.187 * [backup-simplify]: Simplify (+ (* -1 (* -20.0 (pow (/ 1 (pow d2 2)) 1/3))) (* 0 (pow d2 -2/3))) into (* 20.0 (pow (/ 1 (pow d2 2)) 1/3))
4.187 * [backup-simplify]: Simplify (* 20.0 (pow (/ 1 (pow d2 2)) 1/3)) into (* 20.0 (pow (/ 1 (pow d2 2)) 1/3))
4.187 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0
4.188 * [backup-simplify]: Simplify (- 0) into 0
4.188 * [backup-simplify]: Simplify (+ 0 0) into 0
4.188 * [backup-simplify]: Simplify (+ (* (- 30.0 (/ 1 d2)) 0) (+ (* 0 0) (* 0 (- 30.0 (/ 1 d2))))) into 0
4.190 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (- 30.0 (/ 1 d2)) 2) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (- 30.0 (/ 1 d2)) 2) 1)))) 2) into 0
4.191 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (log (pow (- 30.0 (/ 1 d2)) 2))))) into 0
4.193 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (pow (- 30.0 (/ 1 d2)) 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3)))) into 0
4.200 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (pow (pow (- 30.0 (/ 1 d2)) 2) 1/3)))) into 0
4.200 * [taylor]: Taking taylor expansion of 0 in d2
4.200 * [backup-simplify]: Simplify 0 into 0
4.200 * [backup-simplify]: Simplify 0 into 0
4.200 * [backup-simplify]: Simplify 0 into 0
4.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.202 * [backup-simplify]: Simplify (- 0) into 0
4.202 * [backup-simplify]: Simplify (+ 0 0) into 0
4.204 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 30.0 30.0) (* 0 -1))) into 900.0
4.213 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 60.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 900.0) 1)) (pow 1 1)))) 2) into -900.0
4.214 * [backup-simplify]: Simplify (+ (* (- 2) (log d2)) 0) into (- (* 2 (log d2)))
4.214 * [backup-simplify]: Simplify (+ (* 1/3 -900.0) (+ (* 0 -60.0) (* 0 (- (* 2 (log d2)))))) into (- 300.0)
4.218 * [backup-simplify]: Simplify (* (exp (* -2/3 (log d2))) (+ (* (/ (pow (- 20.0) 2) 2)) (* (/ (pow (- 300.0) 1) 1)))) into (* -100.0 (pow (/ 1 (pow d2 2)) 1/3))
4.218 * [backup-simplify]: Simplify (+ (* -1 (* -100.0 (pow (/ 1 (pow d2 2)) 1/3))) (+ (* 0 (* -20.0 (pow (/ 1 (pow d2 2)) 1/3))) (* 0 (pow d2 -2/3)))) into (* 100.0 (pow (/ 1 (pow d2 2)) 1/3))
4.219 * [backup-simplify]: Simplify (* 100.0 (pow (/ 1 (pow d2 2)) 1/3)) into (* 100.0 (pow (/ 1 (pow d2 2)) 1/3))
4.220 * [backup-simplify]: Simplify (+ (* (* 100.0 (pow (/ 1 (pow (/ 1 (- d2)) 2)) 1/3)) (* (pow (/ 1 (- d2)) 2) (/ 1 (/ 1 (- d1))))) (+ (* (* 20.0 (pow (/ 1 (pow (/ 1 (- d2)) 2)) 1/3)) (* (/ 1 (- d2)) (/ 1 (/ 1 (- d1))))) (* (* -1 (pow (/ 1 (pow (/ 1 (- d2)) 2)) 1/3)) (* 1 (/ 1 (/ 1 (- d1))))))) into (- (+ (* 20.0 (* d1 (pow (/ 1 d2) 1/3))) (* d1 (pow (pow d2 2) 1/3))) (* 100.0 (* d1 (pow (/ 1 (pow d2 4)) 1/3))))
4.220 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
4.220 * [backup-simplify]: Simplify (cbrt (+ (+ 10.0 d2) 20.0)) into (pow (+ d2 30.0) 1/3)
4.220 * [approximate]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in (d2) around 0
4.220 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in d2
4.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d2 30.0)))) in d2
4.220 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d2 30.0))) in d2
4.220 * [taylor]: Taking taylor expansion of 1/3 in d2
4.220 * [backup-simplify]: Simplify 1/3 into 1/3
4.220 * [taylor]: Taking taylor expansion of (log (+ d2 30.0)) in d2
4.220 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
4.220 * [taylor]: Taking taylor expansion of d2 in d2
4.220 * [backup-simplify]: Simplify 0 into 0
4.220 * [backup-simplify]: Simplify 1 into 1
4.220 * [taylor]: Taking taylor expansion of 30.0 in d2
4.220 * [backup-simplify]: Simplify 30.0 into 30.0
4.220 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
4.221 * [backup-simplify]: Simplify (log 30.0) into (log 30.0)
4.221 * [backup-simplify]: Simplify (* 1/3 (log 30.0)) into (* 1/3 (log 30.0))
4.222 * [backup-simplify]: Simplify (exp (* 1/3 (log 30.0))) into (pow 30.0 1/3)
4.222 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in d2
4.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d2 30.0)))) in d2
4.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d2 30.0))) in d2
4.222 * [taylor]: Taking taylor expansion of 1/3 in d2
4.222 * [backup-simplify]: Simplify 1/3 into 1/3
4.222 * [taylor]: Taking taylor expansion of (log (+ d2 30.0)) in d2
4.222 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
4.222 * [taylor]: Taking taylor expansion of d2 in d2
4.222 * [backup-simplify]: Simplify 0 into 0
4.222 * [backup-simplify]: Simplify 1 into 1
4.222 * [taylor]: Taking taylor expansion of 30.0 in d2
4.222 * [backup-simplify]: Simplify 30.0 into 30.0
4.223 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
4.223 * [backup-simplify]: Simplify (log 30.0) into (log 30.0)
4.224 * [backup-simplify]: Simplify (* 1/3 (log 30.0)) into (* 1/3 (log 30.0))
4.225 * [backup-simplify]: Simplify (exp (* 1/3 (log 30.0))) into (pow 30.0 1/3)
4.225 * [backup-simplify]: Simplify (pow 30.0 1/3) into (pow 30.0 1/3)
4.226 * [backup-simplify]: Simplify (+ 1 0) into 1
4.230 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 30.0 1)))) 1) into 0.03333333333333333
4.232 * [backup-simplify]: Simplify (+ (* 1/3 0.03333333333333333) (* 0 (log 30.0))) into 0.01111111111111111
4.237 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 30.0))) (+ (* (/ (pow 0.01111111111111111 1) 1)))) into (* 0.01111111111111111 (pow 30.0 1/3))
4.238 * [backup-simplify]: Simplify (* 0.01111111111111111 (pow 30.0 1/3)) into (* 0.01111111111111111 (pow 30.0 1/3))
4.238 * [backup-simplify]: Simplify (+ 0 0) into 0
4.248 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 30.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 30.0 1)))) 2) into (/ -1/2 (pow 30.0 2))
4.252 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 30.0 2))) (+ (* 0 0.03333333333333333) (* 0 (log 30.0)))) into (- (* 1/6 (/ 1 (pow 30.0 2))))
4.261 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 30.0))) (+ (* (/ (pow 0.01111111111111111 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 30.0 2)))) 1) 1)))) into (* (- 6.172839506172838e-05 (* 1/6 (/ 1 (pow 30.0 2)))) (pow 30.0 1/3))
4.264 * [backup-simplify]: Simplify (* (- 6.172839506172838e-05 (* 1/6 (/ 1 (pow 30.0 2)))) (pow 30.0 1/3)) into (* (- 6.172839506172838e-05 (* 1/6 (/ 1 (pow 30.0 2)))) (pow 30.0 1/3))
4.268 * [backup-simplify]: Simplify (+ (* (* (- 6.172839506172838e-05 (* 1/6 (/ 1 (pow 30.0 2)))) (pow 30.0 1/3)) (pow d2 2)) (+ (* (* 0.01111111111111111 (pow 30.0 1/3)) d2) (pow 30.0 1/3))) into (- (+ (pow 30.0 1/3) (+ (* 0.01111111111111111 (* d2 (pow 30.0 1/3))) (* 6.172839506172838e-05 (* (pow d2 2) (pow 30.0 1/3))))) (* 1/6 (* (pow d2 2) (pow (/ 1 (pow 30.0 5)) 1/3))))
4.268 * [backup-simplify]: Simplify (cbrt (+ (+ 10.0 (/ 1 d2)) 20.0)) into (pow (+ (/ 1 d2) 30.0) 1/3)
4.268 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in (d2) around 0
4.268 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in d2
4.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) 30.0)))) in d2
4.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) 30.0))) in d2
4.268 * [taylor]: Taking taylor expansion of 1/3 in d2
4.268 * [backup-simplify]: Simplify 1/3 into 1/3
4.268 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) 30.0)) in d2
4.268 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
4.268 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.268 * [taylor]: Taking taylor expansion of d2 in d2
4.268 * [backup-simplify]: Simplify 0 into 0
4.268 * [backup-simplify]: Simplify 1 into 1
4.269 * [backup-simplify]: Simplify (/ 1 1) into 1
4.269 * [taylor]: Taking taylor expansion of 30.0 in d2
4.269 * [backup-simplify]: Simplify 30.0 into 30.0
4.269 * [backup-simplify]: Simplify (+ 1 0) into 1
4.269 * [backup-simplify]: Simplify (log 1) into 0
4.270 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) 0) into (- (log d2))
4.270 * [backup-simplify]: Simplify (* 1/3 (- (log d2))) into (* -1/3 (log d2))
4.270 * [backup-simplify]: Simplify (exp (* -1/3 (log d2))) into (pow d2 -1/3)
4.270 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in d2
4.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) 30.0)))) in d2
4.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) 30.0))) in d2
4.270 * [taylor]: Taking taylor expansion of 1/3 in d2
4.270 * [backup-simplify]: Simplify 1/3 into 1/3
4.270 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) 30.0)) in d2
4.270 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
4.270 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.270 * [taylor]: Taking taylor expansion of d2 in d2
4.270 * [backup-simplify]: Simplify 0 into 0
4.270 * [backup-simplify]: Simplify 1 into 1
4.270 * [backup-simplify]: Simplify (/ 1 1) into 1
4.270 * [taylor]: Taking taylor expansion of 30.0 in d2
4.270 * [backup-simplify]: Simplify 30.0 into 30.0
4.271 * [backup-simplify]: Simplify (+ 1 0) into 1
4.271 * [backup-simplify]: Simplify (log 1) into 0
4.271 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) 0) into (- (log d2))
4.271 * [backup-simplify]: Simplify (* 1/3 (- (log d2))) into (* -1/3 (log d2))
4.271 * [backup-simplify]: Simplify (exp (* -1/3 (log d2))) into (pow d2 -1/3)
4.271 * [backup-simplify]: Simplify (pow d2 -1/3) into (pow d2 -1/3)
4.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.272 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
4.276 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 30.0) 1)) (pow 1 1)))) 1) into 30.0
4.276 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) 0) into (- (log d2))
4.277 * [backup-simplify]: Simplify (+ (* 1/3 30.0) (* 0 (- (log d2)))) into 10.0
4.278 * [backup-simplify]: Simplify (* (exp (* -1/3 (log d2))) (+ (* (/ (pow 10.0 1) 1)))) into (* 10.0 (pow (/ 1 d2) 1/3))
4.278 * [backup-simplify]: Simplify (* 10.0 (pow (/ 1 d2) 1/3)) into (* 10.0 (pow (/ 1 d2) 1/3))
4.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.279 * [backup-simplify]: Simplify (+ 0 0) into 0
4.288 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 30.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -450.0
4.289 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) 0) into (- (log d2))
4.290 * [backup-simplify]: Simplify (+ (* 1/3 -450.0) (+ (* 0 30.0) (* 0 (- (log d2))))) into (- 150.0)
4.295 * [backup-simplify]: Simplify (* (exp (* -1/3 (log d2))) (+ (* (/ (pow 10.0 2) 2)) (* (/ (pow (- 150.0) 1) 1)))) into (* -100.0 (pow (/ 1 d2) 1/3))
4.295 * [backup-simplify]: Simplify (* -100.0 (pow (/ 1 d2) 1/3)) into (* -100.0 (pow (/ 1 d2) 1/3))
4.296 * [backup-simplify]: Simplify (+ (* (* -100.0 (pow (/ 1 (/ 1 d2)) 1/3)) (pow (/ 1 d2) 2)) (+ (* (* 10.0 (pow (/ 1 (/ 1 d2)) 1/3)) (/ 1 d2)) (pow (/ 1 d2) -1/3))) into (- (+ (* 10.0 (pow (/ 1 (pow d2 2)) 1/3)) (pow (/ 1 d2) -1/3)) (* 100.0 (pow (/ 1 (pow d2 5)) 1/3)))
4.296 * [backup-simplify]: Simplify (cbrt (+ (+ 10.0 (/ 1 (- d2))) 20.0)) into (pow (- 30.0 (/ 1 d2)) 1/3)
4.296 * [approximate]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in (d2) around 0
4.296 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in d2
4.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 30.0 (/ 1 d2))))) in d2
4.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 30.0 (/ 1 d2)))) in d2
4.296 * [taylor]: Taking taylor expansion of 1/3 in d2
4.296 * [backup-simplify]: Simplify 1/3 into 1/3
4.296 * [taylor]: Taking taylor expansion of (log (- 30.0 (/ 1 d2))) in d2
4.296 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
4.296 * [taylor]: Taking taylor expansion of 30.0 in d2
4.296 * [backup-simplify]: Simplify 30.0 into 30.0
4.296 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.296 * [taylor]: Taking taylor expansion of d2 in d2
4.296 * [backup-simplify]: Simplify 0 into 0
4.296 * [backup-simplify]: Simplify 1 into 1
4.297 * [backup-simplify]: Simplify (/ 1 1) into 1
4.297 * [backup-simplify]: Simplify (- 1) into -1
4.298 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.298 * [backup-simplify]: Simplify (log -1) into (log -1)
4.299 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) (log -1)) into (- (log -1) (log d2))
4.300 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log d2))) into (* 1/3 (- (log -1) (log d2)))
4.300 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d2)))) into (exp (* 1/3 (- (log -1) (log d2))))
4.300 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in d2
4.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 30.0 (/ 1 d2))))) in d2
4.300 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 30.0 (/ 1 d2)))) in d2
4.300 * [taylor]: Taking taylor expansion of 1/3 in d2
4.300 * [backup-simplify]: Simplify 1/3 into 1/3
4.300 * [taylor]: Taking taylor expansion of (log (- 30.0 (/ 1 d2))) in d2
4.300 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
4.300 * [taylor]: Taking taylor expansion of 30.0 in d2
4.300 * [backup-simplify]: Simplify 30.0 into 30.0
4.300 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.300 * [taylor]: Taking taylor expansion of d2 in d2
4.300 * [backup-simplify]: Simplify 0 into 0
4.300 * [backup-simplify]: Simplify 1 into 1
4.301 * [backup-simplify]: Simplify (/ 1 1) into 1
4.301 * [backup-simplify]: Simplify (- 1) into -1
4.302 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.302 * [backup-simplify]: Simplify (log -1) into (log -1)
4.303 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) (log -1)) into (- (log -1) (log d2))
4.303 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log d2))) into (* 1/3 (- (log -1) (log d2)))
4.304 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d2)))) into (exp (* 1/3 (- (log -1) (log d2))))
4.304 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d2)))) into (exp (* 1/3 (- (log -1) (log d2))))
4.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.305 * [backup-simplify]: Simplify (- 0) into 0
4.306 * [backup-simplify]: Simplify (+ 30.0 0) into 30.0
4.317 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 30.0) 1)) (pow -1 1)))) 1) into -30.0
4.317 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) (log -1)) into (- (log -1) (log d2))
4.318 * [backup-simplify]: Simplify (+ (* 1/3 -30.0) (* 0 (- (log -1) (log d2)))) into (- 10.0)
4.320 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log d2)))) (+ (* (/ (pow (- 10.0) 1) 1)))) into (* -10.0 (exp (* 1/3 (- (log -1) (log d2)))))
4.320 * [backup-simplify]: Simplify (* -10.0 (exp (* 1/3 (- (log -1) (log d2))))) into (* -10.0 (exp (* 1/3 (- (log -1) (log d2)))))
4.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.321 * [backup-simplify]: Simplify (- 0) into 0
4.321 * [backup-simplify]: Simplify (+ 0 0) into 0
4.328 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 30.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -450.0
4.328 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) (log -1)) into (- (log -1) (log d2))
4.329 * [backup-simplify]: Simplify (+ (* 1/3 -450.0) (+ (* 0 -30.0) (* 0 (- (log -1) (log d2))))) into (- 150.0)
4.333 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log d2)))) (+ (* (/ (pow (- 10.0) 2) 2)) (* (/ (pow (- 150.0) 1) 1)))) into (* -100.0 (exp (* 1/3 (- (log -1) (log d2)))))
4.333 * [backup-simplify]: Simplify (* -100.0 (exp (* 1/3 (- (log -1) (log d2))))) into (* -100.0 (exp (* 1/3 (- (log -1) (log d2)))))
4.335 * [backup-simplify]: Simplify (+ (* (* -100.0 (exp (* 1/3 (- (log -1) (log (/ 1 (- d2))))))) (pow (/ 1 (- d2)) 2)) (+ (* (* -10.0 (exp (* 1/3 (- (log -1) (log (/ 1 (- d2))))))) (/ 1 (- d2))) (exp (* 1/3 (- (log -1) (log (/ 1 (- d2)))))))) into (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) (* 10.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) d2))) (* 100.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) (pow d2 2))))
4.335 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
4.335 * [backup-simplify]: Simplify (cbrt (+ (+ 10.0 d2) 20.0)) into (pow (+ d2 30.0) 1/3)
4.335 * [approximate]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in (d2) around 0
4.335 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in d2
4.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d2 30.0)))) in d2
4.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d2 30.0))) in d2
4.335 * [taylor]: Taking taylor expansion of 1/3 in d2
4.335 * [backup-simplify]: Simplify 1/3 into 1/3
4.335 * [taylor]: Taking taylor expansion of (log (+ d2 30.0)) in d2
4.335 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
4.335 * [taylor]: Taking taylor expansion of d2 in d2
4.335 * [backup-simplify]: Simplify 0 into 0
4.335 * [backup-simplify]: Simplify 1 into 1
4.335 * [taylor]: Taking taylor expansion of 30.0 in d2
4.335 * [backup-simplify]: Simplify 30.0 into 30.0
4.335 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
4.336 * [backup-simplify]: Simplify (log 30.0) into (log 30.0)
4.336 * [backup-simplify]: Simplify (* 1/3 (log 30.0)) into (* 1/3 (log 30.0))
4.338 * [backup-simplify]: Simplify (exp (* 1/3 (log 30.0))) into (pow 30.0 1/3)
4.338 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 1/3) in d2
4.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ d2 30.0)))) in d2
4.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ d2 30.0))) in d2
4.338 * [taylor]: Taking taylor expansion of 1/3 in d2
4.338 * [backup-simplify]: Simplify 1/3 into 1/3
4.338 * [taylor]: Taking taylor expansion of (log (+ d2 30.0)) in d2
4.338 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
4.338 * [taylor]: Taking taylor expansion of d2 in d2
4.338 * [backup-simplify]: Simplify 0 into 0
4.338 * [backup-simplify]: Simplify 1 into 1
4.338 * [taylor]: Taking taylor expansion of 30.0 in d2
4.338 * [backup-simplify]: Simplify 30.0 into 30.0
4.339 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
4.339 * [backup-simplify]: Simplify (log 30.0) into (log 30.0)
4.340 * [backup-simplify]: Simplify (* 1/3 (log 30.0)) into (* 1/3 (log 30.0))
4.341 * [backup-simplify]: Simplify (exp (* 1/3 (log 30.0))) into (pow 30.0 1/3)
4.342 * [backup-simplify]: Simplify (pow 30.0 1/3) into (pow 30.0 1/3)
4.342 * [backup-simplify]: Simplify (+ 1 0) into 1
4.347 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 30.0 1)))) 1) into 0.03333333333333333
4.349 * [backup-simplify]: Simplify (+ (* 1/3 0.03333333333333333) (* 0 (log 30.0))) into 0.01111111111111111
4.352 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 30.0))) (+ (* (/ (pow 0.01111111111111111 1) 1)))) into (* 0.01111111111111111 (pow 30.0 1/3))
4.353 * [backup-simplify]: Simplify (* 0.01111111111111111 (pow 30.0 1/3)) into (* 0.01111111111111111 (pow 30.0 1/3))
4.353 * [backup-simplify]: Simplify (+ 0 0) into 0
4.363 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 30.0 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 30.0 1)))) 2) into (/ -1/2 (pow 30.0 2))
4.368 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow 30.0 2))) (+ (* 0 0.03333333333333333) (* 0 (log 30.0)))) into (- (* 1/6 (/ 1 (pow 30.0 2))))
4.383 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 30.0))) (+ (* (/ (pow 0.01111111111111111 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow 30.0 2)))) 1) 1)))) into (* (- 6.172839506172838e-05 (* 1/6 (/ 1 (pow 30.0 2)))) (pow 30.0 1/3))
4.387 * [backup-simplify]: Simplify (* (- 6.172839506172838e-05 (* 1/6 (/ 1 (pow 30.0 2)))) (pow 30.0 1/3)) into (* (- 6.172839506172838e-05 (* 1/6 (/ 1 (pow 30.0 2)))) (pow 30.0 1/3))
4.394 * [backup-simplify]: Simplify (+ (* (* (- 6.172839506172838e-05 (* 1/6 (/ 1 (pow 30.0 2)))) (pow 30.0 1/3)) (pow d2 2)) (+ (* (* 0.01111111111111111 (pow 30.0 1/3)) d2) (pow 30.0 1/3))) into (- (+ (pow 30.0 1/3) (+ (* 0.01111111111111111 (* d2 (pow 30.0 1/3))) (* 6.172839506172838e-05 (* (pow d2 2) (pow 30.0 1/3))))) (* 1/6 (* (pow d2 2) (pow (/ 1 (pow 30.0 5)) 1/3))))
4.394 * [backup-simplify]: Simplify (cbrt (+ (+ 10.0 (/ 1 d2)) 20.0)) into (pow (+ (/ 1 d2) 30.0) 1/3)
4.394 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in (d2) around 0
4.394 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in d2
4.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) 30.0)))) in d2
4.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) 30.0))) in d2
4.394 * [taylor]: Taking taylor expansion of 1/3 in d2
4.394 * [backup-simplify]: Simplify 1/3 into 1/3
4.394 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) 30.0)) in d2
4.394 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
4.394 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.394 * [taylor]: Taking taylor expansion of d2 in d2
4.394 * [backup-simplify]: Simplify 0 into 0
4.394 * [backup-simplify]: Simplify 1 into 1
4.395 * [backup-simplify]: Simplify (/ 1 1) into 1
4.395 * [taylor]: Taking taylor expansion of 30.0 in d2
4.395 * [backup-simplify]: Simplify 30.0 into 30.0
4.395 * [backup-simplify]: Simplify (+ 1 0) into 1
4.396 * [backup-simplify]: Simplify (log 1) into 0
4.396 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) 0) into (- (log d2))
4.396 * [backup-simplify]: Simplify (* 1/3 (- (log d2))) into (* -1/3 (log d2))
4.396 * [backup-simplify]: Simplify (exp (* -1/3 (log d2))) into (pow d2 -1/3)
4.396 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 1/3) in d2
4.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 d2) 30.0)))) in d2
4.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 d2) 30.0))) in d2
4.396 * [taylor]: Taking taylor expansion of 1/3 in d2
4.397 * [backup-simplify]: Simplify 1/3 into 1/3
4.397 * [taylor]: Taking taylor expansion of (log (+ (/ 1 d2) 30.0)) in d2
4.397 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
4.397 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.397 * [taylor]: Taking taylor expansion of d2 in d2
4.397 * [backup-simplify]: Simplify 0 into 0
4.397 * [backup-simplify]: Simplify 1 into 1
4.397 * [backup-simplify]: Simplify (/ 1 1) into 1
4.397 * [taylor]: Taking taylor expansion of 30.0 in d2
4.397 * [backup-simplify]: Simplify 30.0 into 30.0
4.398 * [backup-simplify]: Simplify (+ 1 0) into 1
4.398 * [backup-simplify]: Simplify (log 1) into 0
4.398 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) 0) into (- (log d2))
4.398 * [backup-simplify]: Simplify (* 1/3 (- (log d2))) into (* -1/3 (log d2))
4.399 * [backup-simplify]: Simplify (exp (* -1/3 (log d2))) into (pow d2 -1/3)
4.399 * [backup-simplify]: Simplify (pow d2 -1/3) into (pow d2 -1/3)
4.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.400 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
4.406 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 30.0) 1)) (pow 1 1)))) 1) into 30.0
4.406 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) 0) into (- (log d2))
4.407 * [backup-simplify]: Simplify (+ (* 1/3 30.0) (* 0 (- (log d2)))) into 10.0
4.409 * [backup-simplify]: Simplify (* (exp (* -1/3 (log d2))) (+ (* (/ (pow 10.0 1) 1)))) into (* 10.0 (pow (/ 1 d2) 1/3))
4.409 * [backup-simplify]: Simplify (* 10.0 (pow (/ 1 d2) 1/3)) into (* 10.0 (pow (/ 1 d2) 1/3))
4.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.411 * [backup-simplify]: Simplify (+ 0 0) into 0
4.420 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 30.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -450.0
4.420 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) 0) into (- (log d2))
4.421 * [backup-simplify]: Simplify (+ (* 1/3 -450.0) (+ (* 0 30.0) (* 0 (- (log d2))))) into (- 150.0)
4.424 * [backup-simplify]: Simplify (* (exp (* -1/3 (log d2))) (+ (* (/ (pow 10.0 2) 2)) (* (/ (pow (- 150.0) 1) 1)))) into (* -100.0 (pow (/ 1 d2) 1/3))
4.424 * [backup-simplify]: Simplify (* -100.0 (pow (/ 1 d2) 1/3)) into (* -100.0 (pow (/ 1 d2) 1/3))
4.425 * [backup-simplify]: Simplify (+ (* (* -100.0 (pow (/ 1 (/ 1 d2)) 1/3)) (pow (/ 1 d2) 2)) (+ (* (* 10.0 (pow (/ 1 (/ 1 d2)) 1/3)) (/ 1 d2)) (pow (/ 1 d2) -1/3))) into (- (+ (* 10.0 (pow (/ 1 (pow d2 2)) 1/3)) (pow (/ 1 d2) -1/3)) (* 100.0 (pow (/ 1 (pow d2 5)) 1/3)))
4.425 * [backup-simplify]: Simplify (cbrt (+ (+ 10.0 (/ 1 (- d2))) 20.0)) into (pow (- 30.0 (/ 1 d2)) 1/3)
4.425 * [approximate]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in (d2) around 0
4.425 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in d2
4.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 30.0 (/ 1 d2))))) in d2
4.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 30.0 (/ 1 d2)))) in d2
4.425 * [taylor]: Taking taylor expansion of 1/3 in d2
4.425 * [backup-simplify]: Simplify 1/3 into 1/3
4.425 * [taylor]: Taking taylor expansion of (log (- 30.0 (/ 1 d2))) in d2
4.425 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
4.425 * [taylor]: Taking taylor expansion of 30.0 in d2
4.425 * [backup-simplify]: Simplify 30.0 into 30.0
4.425 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.425 * [taylor]: Taking taylor expansion of d2 in d2
4.425 * [backup-simplify]: Simplify 0 into 0
4.425 * [backup-simplify]: Simplify 1 into 1
4.425 * [backup-simplify]: Simplify (/ 1 1) into 1
4.426 * [backup-simplify]: Simplify (- 1) into -1
4.426 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.426 * [backup-simplify]: Simplify (log -1) into (log -1)
4.427 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) (log -1)) into (- (log -1) (log d2))
4.427 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log d2))) into (* 1/3 (- (log -1) (log d2)))
4.427 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d2)))) into (exp (* 1/3 (- (log -1) (log d2))))
4.427 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 1/3) in d2
4.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 30.0 (/ 1 d2))))) in d2
4.427 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 30.0 (/ 1 d2)))) in d2
4.427 * [taylor]: Taking taylor expansion of 1/3 in d2
4.427 * [backup-simplify]: Simplify 1/3 into 1/3
4.427 * [taylor]: Taking taylor expansion of (log (- 30.0 (/ 1 d2))) in d2
4.428 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
4.428 * [taylor]: Taking taylor expansion of 30.0 in d2
4.428 * [backup-simplify]: Simplify 30.0 into 30.0
4.428 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
4.428 * [taylor]: Taking taylor expansion of d2 in d2
4.428 * [backup-simplify]: Simplify 0 into 0
4.428 * [backup-simplify]: Simplify 1 into 1
4.428 * [backup-simplify]: Simplify (/ 1 1) into 1
4.428 * [backup-simplify]: Simplify (- 1) into -1
4.428 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.429 * [backup-simplify]: Simplify (log -1) into (log -1)
4.432 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) (log -1)) into (- (log -1) (log d2))
4.433 * [backup-simplify]: Simplify (* 1/3 (- (log -1) (log d2))) into (* 1/3 (- (log -1) (log d2)))
4.433 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d2)))) into (exp (* 1/3 (- (log -1) (log d2))))
4.433 * [backup-simplify]: Simplify (exp (* 1/3 (- (log -1) (log d2)))) into (exp (* 1/3 (- (log -1) (log d2))))
4.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.434 * [backup-simplify]: Simplify (- 0) into 0
4.434 * [backup-simplify]: Simplify (+ 30.0 0) into 30.0
4.439 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 30.0) 1)) (pow -1 1)))) 1) into -30.0
4.440 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) (log -1)) into (- (log -1) (log d2))
4.441 * [backup-simplify]: Simplify (+ (* 1/3 -30.0) (* 0 (- (log -1) (log d2)))) into (- 10.0)
4.444 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log d2)))) (+ (* (/ (pow (- 10.0) 1) 1)))) into (* -10.0 (exp (* 1/3 (- (log -1) (log d2)))))
4.445 * [backup-simplify]: Simplify (* -10.0 (exp (* 1/3 (- (log -1) (log d2))))) into (* -10.0 (exp (* 1/3 (- (log -1) (log d2)))))
4.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.446 * [backup-simplify]: Simplify (- 0) into 0
4.446 * [backup-simplify]: Simplify (+ 0 0) into 0
4.452 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 30.0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -450.0
4.453 * [backup-simplify]: Simplify (+ (* (- 1) (log d2)) (log -1)) into (- (log -1) (log d2))
4.454 * [backup-simplify]: Simplify (+ (* 1/3 -450.0) (+ (* 0 -30.0) (* 0 (- (log -1) (log d2))))) into (- 150.0)
4.458 * [backup-simplify]: Simplify (* (exp (* 1/3 (- (log -1) (log d2)))) (+ (* (/ (pow (- 10.0) 2) 2)) (* (/ (pow (- 150.0) 1) 1)))) into (* -100.0 (exp (* 1/3 (- (log -1) (log d2)))))
4.458 * [backup-simplify]: Simplify (* -100.0 (exp (* 1/3 (- (log -1) (log d2))))) into (* -100.0 (exp (* 1/3 (- (log -1) (log d2)))))
4.459 * [backup-simplify]: Simplify (+ (* (* -100.0 (exp (* 1/3 (- (log -1) (log (/ 1 (- d2))))))) (pow (/ 1 (- d2)) 2)) (+ (* (* -10.0 (exp (* 1/3 (- (log -1) (log (/ 1 (- d2))))))) (/ 1 (- d2))) (exp (* 1/3 (- (log -1) (log (/ 1 (- d2)))))))) into (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) (* 10.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) d2))) (* 100.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) (pow d2 2))))
4.459 * * * [progress]: simplifying candidates
4.461 * [simplify]: Simplifying:
  (exp 1/3)
  (exp 1)
  (exp (* (cbrt (log (cbrt (+ (+ 10.0 d2) 20.0)))) (cbrt (log (cbrt (+ (+ 10.0 d2) 20.0))))))
  (exp (sqrt (log (cbrt (+ (+ 10.0 d2) 20.0)))))
  (exp 1)
  (exp (log (cbrt (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))))))
  (exp (log (cbrt (cbrt (+ (+ 10.0 d2) 20.0)))))
  (exp (log (cbrt (sqrt (+ (+ 10.0 d2) 20.0)))))
  (exp (log (cbrt (sqrt (+ (+ 10.0 d2) 20.0)))))
  (exp (log (cbrt 1)))
  (exp (log (cbrt (+ (+ 10.0 d2) 20.0))))
  (exp (log (cbrt 1)))
  (exp (log (cbrt (+ (+ 10.0 d2) 20.0))))
  (exp (log (cbrt 1)))
  (exp (log (cbrt (+ (+ 10.0 d2) 20.0))))
  (exp (log (* (cbrt (cbrt (+ (+ 10.0 d2) 20.0))) (cbrt (cbrt (+ (+ 10.0 d2) 20.0))))))
  (exp (log (cbrt (cbrt (+ (+ 10.0 d2) 20.0)))))
  (exp (log (sqrt (cbrt (+ (+ 10.0 d2) 20.0)))))
  (exp (log (sqrt (cbrt (+ (+ 10.0 d2) 20.0)))))
  (exp (log 1))
  (exp (log (cbrt (+ (+ 10.0 d2) 20.0))))
  (exp (log (cbrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))))
  (exp (log (cbrt (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))))
  (exp (log (cbrt (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))))
  (exp (log (cbrt (- (+ 10.0 d2) 20.0))))
  (log (exp (log (cbrt (+ (+ 10.0 d2) 20.0)))))
  (exp (exp (log (cbrt (+ (+ 10.0 d2) 20.0)))))
  (* (cbrt (exp (log (cbrt (+ (+ 10.0 d2) 20.0))))) (cbrt (exp (log (cbrt (+ (+ 10.0 d2) 20.0))))))
  (cbrt (exp (log (cbrt (+ (+ 10.0 d2) 20.0)))))
  (* (* (exp (log (cbrt (+ (+ 10.0 d2) 20.0)))) (exp (log (cbrt (+ (+ 10.0 d2) 20.0))))) (exp (log (cbrt (+ (+ 10.0 d2) 20.0)))))
  (sqrt (exp (log (cbrt (+ (+ 10.0 d2) 20.0)))))
  (sqrt (exp (log (cbrt (+ (+ 10.0 d2) 20.0)))))
  (+ (log d1) (* (log (cbrt (+ (+ 10.0 d2) 20.0))) 2))
  (+ (log d1) (* (log (cbrt (+ (+ 10.0 d2) 20.0))) 2))
  (+ (log d1) (log (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (log (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (exp (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (* (* (* d1 d1) d1) (* (* (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2) (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)) (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (* (cbrt (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))) (cbrt (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))))
  (cbrt (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (* (* (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)) (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))) (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (sqrt (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (sqrt (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (* (sqrt d1) (pow (cbrt (sqrt (+ (+ 10.0 d2) 20.0))) 2))
  (* (sqrt d1) (pow (cbrt (sqrt (+ (+ 10.0 d2) 20.0))) 2))
  (* (sqrt d1) (pow (sqrt (cbrt (+ (+ 10.0 d2) 20.0))) 2))
  (* (sqrt d1) (pow (sqrt (cbrt (+ (+ 10.0 d2) 20.0))) 2))
  (* (sqrt d1) (cbrt (+ (+ 10.0 d2) 20.0)))
  (* (sqrt d1) (cbrt (+ (+ 10.0 d2) 20.0)))
  (* (sqrt d1) (sqrt (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (* (sqrt d1) (sqrt (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (* (sqrt d1) (pow (cbrt (+ (+ 10.0 d2) 20.0)) (/ 2 2)))
  (* (sqrt d1) (pow (cbrt (+ (+ 10.0 d2) 20.0)) (/ 2 2)))
  (* d1 (pow (cbrt (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0)))) 2))
  (* d1 (pow (cbrt (sqrt (+ (+ 10.0 d2) 20.0))) 2))
  (* d1 (pow (cbrt 1) 2))
  (* d1 (pow (cbrt 1) 2))
  (* d1 (pow (cbrt 1) 2))
  (* d1 (pow (* (cbrt (cbrt (+ (+ 10.0 d2) 20.0))) (cbrt (cbrt (+ (+ 10.0 d2) 20.0)))) 2))
  (* d1 (pow (sqrt (cbrt (+ (+ 10.0 d2) 20.0))) 2))
  (* d1 (pow 1 2))
  (* d1 (cbrt (+ (+ 10.0 d2) 20.0)))
  (* d1 (* (cbrt (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)) (cbrt (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))))
  (* d1 (sqrt (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (* d1 1)
  (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) (/ 2 2)))
  (* (cbrt d1) (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))
  (* (sqrt d1) (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))
  (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))
  (log (cbrt (+ (+ 10.0 d2) 20.0)))
  (exp (cbrt (+ (+ 10.0 d2) 20.0)))
  (cbrt (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))))
  (cbrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (cbrt (sqrt (+ (+ 10.0 d2) 20.0)))
  (cbrt (sqrt (+ (+ 10.0 d2) 20.0)))
  (cbrt 1)
  (cbrt (+ (+ 10.0 d2) 20.0))
  (cbrt 1)
  (cbrt (+ (+ 10.0 d2) 20.0))
  (cbrt 1)
  (cbrt (+ (+ 10.0 d2) 20.0))
  (cbrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))
  (cbrt (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))
  (cbrt (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))
  (cbrt (- (+ 10.0 d2) 20.0))
  (* (cbrt (cbrt (+ (+ 10.0 d2) 20.0))) (cbrt (cbrt (+ (+ 10.0 d2) 20.0))))
  (cbrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (* (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))) (cbrt (+ (+ 10.0 d2) 20.0)))
  (sqrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (sqrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (log (cbrt (+ (+ 10.0 d2) 20.0)))
  (exp (cbrt (+ (+ 10.0 d2) 20.0)))
  (cbrt (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))))
  (cbrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (cbrt (sqrt (+ (+ 10.0 d2) 20.0)))
  (cbrt (sqrt (+ (+ 10.0 d2) 20.0)))
  (cbrt 1)
  (cbrt (+ (+ 10.0 d2) 20.0))
  (cbrt 1)
  (cbrt (+ (+ 10.0 d2) 20.0))
  (cbrt 1)
  (cbrt (+ (+ 10.0 d2) 20.0))
  (cbrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))
  (cbrt (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))))
  (cbrt (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))
  (cbrt (- (+ 10.0 d2) 20.0))
  (* (cbrt (cbrt (+ (+ 10.0 d2) 20.0))) (cbrt (cbrt (+ (+ 10.0 d2) 20.0))))
  (cbrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (* (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))) (cbrt (+ (+ 10.0 d2) 20.0)))
  (sqrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (sqrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (- (+ (pow 30.0 1/3) (+ (* 0.01111111111111111 (* d2 (pow 30.0 1/3))) (* 6.172839506172838e-05 (* (pow d2 2) (pow 30.0 1/3))))) (* 1/6 (* (pow d2 2) (pow (/ 1 (pow 30.0 5)) 1/3))))
  (- (+ (* 10.0 (pow (/ 1 (pow d2 2)) 1/3)) (pow (/ 1 d2) -1/3)) (* 100.0 (pow (/ 1 (pow d2 5)) 1/3)))
  (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) (* 10.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) d2))) (* 100.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) (pow d2 2))))
  (- (+ (* 0.02222222222222222 (* (* d1 d2) (pow 900.0 1/3))) (+ (* d1 (pow 900.0 1/3)) (* 0.0006172839506172838 (* (* d1 (pow d2 2)) (pow 900.0 1/3))))) (* 600.0 (* (* d1 (pow d2 2)) (pow (/ 1 (pow 900.0 5)) 1/3))))
  (- (+ (* 20.0 (* d1 (pow (/ 1 d2) 1/3))) (* d1 (pow (pow d2 2) 1/3))) (* 100.0 (* d1 (pow (/ 1 (pow d2 4)) 1/3))))
  (- (+ (* 20.0 (* d1 (pow (/ 1 d2) 1/3))) (* d1 (pow (pow d2 2) 1/3))) (* 100.0 (* d1 (pow (/ 1 (pow d2 4)) 1/3))))
  (- (+ (pow 30.0 1/3) (+ (* 0.01111111111111111 (* d2 (pow 30.0 1/3))) (* 6.172839506172838e-05 (* (pow d2 2) (pow 30.0 1/3))))) (* 1/6 (* (pow d2 2) (pow (/ 1 (pow 30.0 5)) 1/3))))
  (- (+ (* 10.0 (pow (/ 1 (pow d2 2)) 1/3)) (pow (/ 1 d2) -1/3)) (* 100.0 (pow (/ 1 (pow d2 5)) 1/3)))
  (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) (* 10.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) d2))) (* 100.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) (pow d2 2))))
  (- (+ (pow 30.0 1/3) (+ (* 0.01111111111111111 (* d2 (pow 30.0 1/3))) (* 6.172839506172838e-05 (* (pow d2 2) (pow 30.0 1/3))))) (* 1/6 (* (pow d2 2) (pow (/ 1 (pow 30.0 5)) 1/3))))
  (- (+ (* 10.0 (pow (/ 1 (pow d2 2)) 1/3)) (pow (/ 1 d2) -1/3)) (* 100.0 (pow (/ 1 (pow d2 5)) 1/3)))
  (- (+ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) (* 10.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) d2))) (* 100.0 (/ (exp (* 1/3 (- (log -1) (log (/ -1 d2))))) (pow d2 2))))
4.463 * * [simplify]: Extracting # 0 : cost  0
4.463 * * [simplify]: Extracting # 1 : cost  0
4.463 * * [simplify]: Extracting # 2 : cost  0
4.464 * * [simplify]: Extracting # 3 : cost  0
4.464 * * [simplify]: Extracting # 4 : cost  0
4.464 * * [simplify]: Extracting # 5 : cost  0
4.464 * * [simplify]: Extracting # 6 : cost  0
4.464 * * [simplify]: Extracting # 7 : cost  0
4.465 * * [simplify]: Extracting # 8 : cost  0
4.465 * * [simplify]: Extracting # 9 : cost  0
4.465 * * [simplify]: Extracting # 10 : cost  0
4.465 * * [simplify]: Extracting # 11 : cost  0
4.466 * * [simplify]: iteration  0 :  201  enodes  (cost  1531 )
4.553 * * [simplify]: Extracting # 0 : cost  0
4.554 * * [simplify]: Extracting # 1 : cost  0
4.554 * * [simplify]: Extracting # 2 : cost  0
4.555 * * [simplify]: Extracting # 3 : cost  0
4.555 * * [simplify]: Extracting # 4 : cost  0
4.555 * * [simplify]: iteration  1 :  443  enodes  (cost  1335 )
4.698 * * [simplify]: Extracting # 0 : cost  0
4.700 * * [simplify]: Extracting # 1 : cost  0
4.703 * * [simplify]: Extracting # 2 : cost  0
4.705 * * [simplify]: Extracting # 3 : cost  0
4.708 * * [simplify]: Extracting # 4 : cost  0
4.714 * * [simplify]: iteration  2 :  1110  enodes  (cost  1239 )
5.307 * * [simplify]: Extracting # 0 : cost  0
5.311 * * [simplify]: Extracting # 1 : cost  0
5.316 * * [simplify]: Extracting # 2 : cost  0
5.326 * * [simplify]: Extracting # 3 : cost  0
5.330 * * [simplify]: Extracting # 4 : cost  0
5.333 * * [simplify]: Extracting # 5 : cost  0
5.337 * * [simplify]: iteration  3 :  3392  enodes  (cost  1143 )
6.691 * * [simplify]: Extracting # 0 : cost  0
6.696 * * [simplify]: Extracting # 1 : cost  0
6.702 * * [simplify]: Extracting # 2 : cost  0
6.708 * * [simplify]: Extracting # 3 : cost  0
6.713 * * [simplify]: Extracting # 4 : cost  0
6.722 * * [simplify]: iteration done:  5001  enodes  (cost  1109 )
6.723 * [simplify]: Simplified to:
  (exp 1/3)
  E
  (exp (* (cbrt (log (cbrt (+ (+ 10.0 d2) 20.0)))) (cbrt (log (cbrt (+ (+ 10.0 d2) 20.0))))))
  (exp (sqrt (log (cbrt (+ (+ 10.0 d2) 20.0)))))
  E
  (cbrt (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))
  (cbrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (cbrt (sqrt (+ (+ 10.0 d2) 20.0)))
  (cbrt (sqrt (+ (+ 10.0 d2) 20.0)))
  1
  (cbrt (+ (+ 10.0 d2) 20.0))
  1
  (cbrt (+ (+ 10.0 d2) 20.0))
  1
  (cbrt (+ (+ 10.0 d2) 20.0))
  (pow (cbrt (cbrt (+ (+ 10.0 d2) 20.0))) 2)
  (cbrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (sqrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (sqrt (cbrt (+ (+ 10.0 d2) 20.0)))
  1
  (cbrt (+ (+ 10.0 d2) 20.0))
  (cbrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))
  (cbrt (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))
  (cbrt (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))
  (cbrt (- (+ 10.0 d2) 20.0))
  (log (cbrt (+ (+ 10.0 d2) 20.0)))
  (exp (cbrt (+ (+ 10.0 d2) 20.0)))
  (pow (cbrt (cbrt (+ (+ 10.0 d2) 20.0))) 2)
  (cbrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (+ (+ 10.0 d2) 20.0)
  (sqrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (sqrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (log (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (log (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (log (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (log (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (exp (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (pow (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)) 3)
  (* (cbrt (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))) (cbrt (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))))
  (cbrt (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (pow (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)) 3)
  (sqrt (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (sqrt (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)))
  (* (sqrt d1) (pow (cbrt (sqrt (+ (+ 10.0 d2) 20.0))) 2))
  (* (sqrt d1) (pow (cbrt (sqrt (+ (+ 10.0 d2) 20.0))) 2))
  (* (cbrt (+ (+ 10.0 d2) 20.0)) (sqrt d1))
  (* (cbrt (+ (+ 10.0 d2) 20.0)) (sqrt d1))
  (* (cbrt (+ (+ 10.0 d2) 20.0)) (sqrt d1))
  (* (cbrt (+ (+ 10.0 d2) 20.0)) (sqrt d1))
  (* (fabs (cbrt (+ (+ 10.0 d2) 20.0))) (sqrt d1))
  (* (fabs (cbrt (+ (+ 10.0 d2) 20.0))) (sqrt d1))
  (* (cbrt (+ (+ 10.0 d2) 20.0)) (sqrt d1))
  (* (cbrt (+ (+ 10.0 d2) 20.0)) (sqrt d1))
  (* (pow (cbrt (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)) 2) d1)
  (* d1 (pow (cbrt (sqrt (+ (+ 10.0 d2) 20.0))) 2))
  d1
  d1
  d1
  (* d1 (pow (cbrt (cbrt (+ (+ 10.0 d2) 20.0))) 4))
  (* d1 (cbrt (+ (+ 10.0 d2) 20.0)))
  d1
  (* d1 (cbrt (+ (+ 10.0 d2) 20.0)))
  (* (pow (cbrt (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)) 2) d1)
  (* (fabs (cbrt (+ (+ 10.0 d2) 20.0))) d1)
  d1
  (* d1 (cbrt (+ (+ 10.0 d2) 20.0)))
  (* (cbrt d1) (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))
  (* (sqrt d1) (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))
  (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))
  (log (cbrt (+ (+ 10.0 d2) 20.0)))
  (exp (cbrt (+ (+ 10.0 d2) 20.0)))
  (cbrt (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))
  (cbrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (cbrt (sqrt (+ (+ 10.0 d2) 20.0)))
  (cbrt (sqrt (+ (+ 10.0 d2) 20.0)))
  1
  (cbrt (+ (+ 10.0 d2) 20.0))
  1
  (cbrt (+ (+ 10.0 d2) 20.0))
  1
  (cbrt (+ (+ 10.0 d2) 20.0))
  (cbrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))
  (cbrt (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))
  (cbrt (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))
  (cbrt (- (+ 10.0 d2) 20.0))
  (pow (cbrt (cbrt (+ (+ 10.0 d2) 20.0))) 2)
  (cbrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (+ (+ 10.0 d2) 20.0)
  (sqrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (sqrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (log (cbrt (+ (+ 10.0 d2) 20.0)))
  (exp (cbrt (+ (+ 10.0 d2) 20.0)))
  (cbrt (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2))
  (cbrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (cbrt (sqrt (+ (+ 10.0 d2) 20.0)))
  (cbrt (sqrt (+ (+ 10.0 d2) 20.0)))
  1
  (cbrt (+ (+ 10.0 d2) 20.0))
  1
  (cbrt (+ (+ 10.0 d2) 20.0))
  1
  (cbrt (+ (+ 10.0 d2) 20.0))
  (cbrt (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)))
  (cbrt (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)))
  (cbrt (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)))
  (cbrt (- (+ 10.0 d2) 20.0))
  (pow (cbrt (cbrt (+ (+ 10.0 d2) 20.0))) 2)
  (cbrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (+ (+ 10.0 d2) 20.0)
  (sqrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (sqrt (cbrt (+ (+ 10.0 d2) 20.0)))
  (+ (* (pow d2 2) (- (* (cbrt 30.0) 6.172839506172838e-05) (* 1/6 (cbrt (/ 1 (pow 30.0 5)))))) (* (+ (* 0.01111111111111111 d2) 1) (cbrt 30.0)))
  (- (+ (pow (/ 1 d2) -1/3) (* (cbrt (/ 1 (pow d2 2))) 10.0)) (* (cbrt (/ 1 (pow d2 5))) 100.0))
  (+ (* (/ (cbrt d2) d2) (- 10.0 (/ 100.0 d2))) (cbrt d2))
  (+ (* (cbrt 900.0) (+ (* 0.02222222222222222 (* d1 d2)) d1)) (* (* d1 (pow d2 2)) (- (* 0.0006172839506172838 (cbrt 900.0)) (* 600.0 (cbrt (/ 1 (pow 900.0 5)))))))
  (+ (* d1 (- (cbrt (pow d2 2)) (* 100.0 (cbrt (/ 1 (pow d2 4)))))) (* 20.0 (* d1 (cbrt (/ 1 d2)))))
  (+ (* d1 (- (cbrt (pow d2 2)) (* 100.0 (cbrt (/ 1 (pow d2 4)))))) (* 20.0 (* d1 (cbrt (/ 1 d2)))))
  (+ (* (pow d2 2) (- (* (cbrt 30.0) 6.172839506172838e-05) (* 1/6 (cbrt (/ 1 (pow 30.0 5)))))) (* (+ (* 0.01111111111111111 d2) 1) (cbrt 30.0)))
  (- (+ (pow (/ 1 d2) -1/3) (* (cbrt (/ 1 (pow d2 2))) 10.0)) (* (cbrt (/ 1 (pow d2 5))) 100.0))
  (+ (* (/ (cbrt d2) d2) (- 10.0 (/ 100.0 d2))) (cbrt d2))
  (+ (* (pow d2 2) (- (* (cbrt 30.0) 6.172839506172838e-05) (* 1/6 (cbrt (/ 1 (pow 30.0 5)))))) (* (+ (* 0.01111111111111111 d2) 1) (cbrt 30.0)))
  (- (+ (pow (/ 1 d2) -1/3) (* (cbrt (/ 1 (pow d2 2))) 10.0)) (* (cbrt (/ 1 (pow d2 5))) 100.0))
  (+ (* (/ (cbrt d2) d2) (- 10.0 (/ 100.0 d2))) (cbrt d2))
6.725 * * * [progress]: adding candidates to table
7.136 * * [progress]: iteration 4 / 4
7.136 * * * [progress]: picking best candidate
7.138 * * * * [pick]: Picked  #<alt (λ (d1 d2) (* d1 (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))))>
7.139 * * * [progress]: localizing error
7.149 * * * [progress]: generating rewritten candidates
7.150 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
7.191 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
7.249 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 1)
7.288 * * * [progress]: generating series expansions
7.288 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
7.289 * [backup-simplify]: Simplify (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)) into (+ d2 30.0)
7.289 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0
7.289 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
7.289 * [taylor]: Taking taylor expansion of d2 in d2
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 1 into 1
7.289 * [taylor]: Taking taylor expansion of 30.0 in d2
7.289 * [backup-simplify]: Simplify 30.0 into 30.0
7.289 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
7.289 * [taylor]: Taking taylor expansion of d2 in d2
7.289 * [backup-simplify]: Simplify 0 into 0
7.289 * [backup-simplify]: Simplify 1 into 1
7.289 * [taylor]: Taking taylor expansion of 30.0 in d2
7.289 * [backup-simplify]: Simplify 30.0 into 30.0
7.289 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
7.290 * [backup-simplify]: Simplify 30.0 into 30.0
7.290 * [backup-simplify]: Simplify (+ 1 0) into 1
7.290 * [backup-simplify]: Simplify 1 into 1
7.290 * [backup-simplify]: Simplify (+ 0 0) into 0
7.290 * [backup-simplify]: Simplify 0 into 0
7.290 * [backup-simplify]: Simplify (+ 0 0) into 0
7.290 * [backup-simplify]: Simplify 0 into 0
7.291 * [backup-simplify]: Simplify (+ 0 0) into 0
7.291 * [backup-simplify]: Simplify 0 into 0
7.291 * [backup-simplify]: Simplify (+ 0 0) into 0
7.291 * [backup-simplify]: Simplify 0 into 0
7.291 * [backup-simplify]: Simplify (+ 0 0) into 0
7.291 * [backup-simplify]: Simplify 0 into 0
7.291 * [backup-simplify]: Simplify (+ 0 0) into 0
7.291 * [backup-simplify]: Simplify 0 into 0
7.291 * [backup-simplify]: Simplify (+ (* 1 d2) 30.0) into (+ d2 30.0)
7.292 * [backup-simplify]: Simplify (cbrt (pow (+ (+ 10.0 (/ 1 d2)) 20.0) 3)) into (+ (/ 1 d2) 30.0)
7.292 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0
7.292 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
7.292 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.292 * [taylor]: Taking taylor expansion of d2 in d2
7.292 * [backup-simplify]: Simplify 0 into 0
7.292 * [backup-simplify]: Simplify 1 into 1
7.292 * [backup-simplify]: Simplify (/ 1 1) into 1
7.292 * [taylor]: Taking taylor expansion of 30.0 in d2
7.292 * [backup-simplify]: Simplify 30.0 into 30.0
7.292 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
7.292 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.292 * [taylor]: Taking taylor expansion of d2 in d2
7.292 * [backup-simplify]: Simplify 0 into 0
7.292 * [backup-simplify]: Simplify 1 into 1
7.292 * [backup-simplify]: Simplify (/ 1 1) into 1
7.292 * [taylor]: Taking taylor expansion of 30.0 in d2
7.292 * [backup-simplify]: Simplify 30.0 into 30.0
7.293 * [backup-simplify]: Simplify (+ 1 0) into 1
7.293 * [backup-simplify]: Simplify 1 into 1
7.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.293 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
7.293 * [backup-simplify]: Simplify 30.0 into 30.0
7.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.294 * [backup-simplify]: Simplify (+ 0 0) into 0
7.294 * [backup-simplify]: Simplify 0 into 0
7.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.295 * [backup-simplify]: Simplify (+ 0 0) into 0
7.295 * [backup-simplify]: Simplify 0 into 0
7.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.296 * [backup-simplify]: Simplify (+ 0 0) into 0
7.296 * [backup-simplify]: Simplify 0 into 0
7.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.297 * [backup-simplify]: Simplify (+ 0 0) into 0
7.297 * [backup-simplify]: Simplify 0 into 0
7.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.297 * [backup-simplify]: Simplify (+ 0 0) into 0
7.297 * [backup-simplify]: Simplify 0 into 0
7.298 * [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
7.298 * [backup-simplify]: Simplify (+ 0 0) into 0
7.298 * [backup-simplify]: Simplify 0 into 0
7.298 * [backup-simplify]: Simplify (+ 30.0 (* 1 (/ 1 (/ 1 d2)))) into (+ d2 30.0)
7.298 * [backup-simplify]: Simplify (cbrt (pow (+ (+ 10.0 (/ 1 (- d2))) 20.0) 3)) into (- 30.0 (/ 1 d2))
7.298 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0
7.299 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
7.299 * [taylor]: Taking taylor expansion of 30.0 in d2
7.299 * [backup-simplify]: Simplify 30.0 into 30.0
7.299 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.299 * [taylor]: Taking taylor expansion of d2 in d2
7.299 * [backup-simplify]: Simplify 0 into 0
7.299 * [backup-simplify]: Simplify 1 into 1
7.299 * [backup-simplify]: Simplify (/ 1 1) into 1
7.299 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
7.299 * [taylor]: Taking taylor expansion of 30.0 in d2
7.299 * [backup-simplify]: Simplify 30.0 into 30.0
7.299 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.299 * [taylor]: Taking taylor expansion of d2 in d2
7.299 * [backup-simplify]: Simplify 0 into 0
7.299 * [backup-simplify]: Simplify 1 into 1
7.299 * [backup-simplify]: Simplify (/ 1 1) into 1
7.299 * [backup-simplify]: Simplify (- 1) into -1
7.300 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.300 * [backup-simplify]: Simplify -1 into -1
7.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.300 * [backup-simplify]: Simplify (- 0) into 0
7.301 * [backup-simplify]: Simplify (+ 30.0 0) into 30.0
7.301 * [backup-simplify]: Simplify 30.0 into 30.0
7.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.302 * [backup-simplify]: Simplify (- 0) into 0
7.302 * [backup-simplify]: Simplify (+ 0 0) into 0
7.302 * [backup-simplify]: Simplify 0 into 0
7.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.303 * [backup-simplify]: Simplify (- 0) into 0
7.303 * [backup-simplify]: Simplify (+ 0 0) into 0
7.303 * [backup-simplify]: Simplify 0 into 0
7.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.304 * [backup-simplify]: Simplify (- 0) into 0
7.304 * [backup-simplify]: Simplify (+ 0 0) into 0
7.304 * [backup-simplify]: Simplify 0 into 0
7.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.305 * [backup-simplify]: Simplify (- 0) into 0
7.305 * [backup-simplify]: Simplify (+ 0 0) into 0
7.305 * [backup-simplify]: Simplify 0 into 0
7.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.306 * [backup-simplify]: Simplify (- 0) into 0
7.306 * [backup-simplify]: Simplify (+ 0 0) into 0
7.306 * [backup-simplify]: Simplify 0 into 0
7.306 * [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
7.307 * [backup-simplify]: Simplify (- 0) into 0
7.307 * [backup-simplify]: Simplify (+ 0 0) into 0
7.307 * [backup-simplify]: Simplify 0 into 0
7.307 * [backup-simplify]: Simplify (+ 30.0 (* -1 (/ 1 (/ 1 (- d2))))) into (+ d2 30.0)
7.307 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
7.307 * [backup-simplify]: Simplify (pow (+ (+ 10.0 d2) 20.0) 3) into (pow (+ d2 30.0) 3)
7.307 * [approximate]: Taking taylor expansion of (pow (+ d2 30.0) 3) in (d2) around 0
7.307 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 3) in d2
7.307 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
7.307 * [taylor]: Taking taylor expansion of d2 in d2
7.307 * [backup-simplify]: Simplify 0 into 0
7.307 * [backup-simplify]: Simplify 1 into 1
7.307 * [taylor]: Taking taylor expansion of 30.0 in d2
7.307 * [backup-simplify]: Simplify 30.0 into 30.0
7.308 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
7.308 * [taylor]: Taking taylor expansion of (pow (+ d2 30.0) 3) in d2
7.308 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
7.308 * [taylor]: Taking taylor expansion of d2 in d2
7.308 * [backup-simplify]: Simplify 0 into 0
7.308 * [backup-simplify]: Simplify 1 into 1
7.308 * [taylor]: Taking taylor expansion of 30.0 in d2
7.308 * [backup-simplify]: Simplify 30.0 into 30.0
7.308 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
7.308 * [backup-simplify]: Simplify (* 30.0 30.0) into 900.0
7.308 * [backup-simplify]: Simplify (* 30.0 900.0) into 27000.0
7.309 * [backup-simplify]: Simplify 27000.0 into 27000.0
7.309 * [backup-simplify]: Simplify (+ 1 0) into 1
7.310 * [backup-simplify]: Simplify (+ (* 30.0 1) (* 1 30.0)) into 60.0
7.311 * [backup-simplify]: Simplify (+ (* 30.0 60.0) (* 1 900.0)) into 2700.0
7.311 * [backup-simplify]: Simplify 2700.0 into 2700.0
7.311 * [backup-simplify]: Simplify (+ 0 0) into 0
7.311 * [backup-simplify]: Simplify (+ (* 30.0 0) (+ (* 1 1) (* 0 30.0))) into 1
7.314 * [backup-simplify]: Simplify (+ (* 30.0 1) (+ (* 1 60.0) (* 0 900.0))) into 90.0
7.314 * [backup-simplify]: Simplify 90.0 into 90.0
7.314 * [backup-simplify]: Simplify (+ (* 90.0 (pow d2 2)) (+ (* 2700.0 d2) 27000.0)) into (+ 27000.0 (+ (* 2700.0 d2) (* 90.0 (pow d2 2))))
7.314 * [backup-simplify]: Simplify (pow (+ (+ 10.0 (/ 1 d2)) 20.0) 3) into (pow (+ (/ 1 d2) 30.0) 3)
7.314 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 3) in (d2) around 0
7.315 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 3) in d2
7.315 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
7.315 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.315 * [taylor]: Taking taylor expansion of d2 in d2
7.315 * [backup-simplify]: Simplify 0 into 0
7.315 * [backup-simplify]: Simplify 1 into 1
7.315 * [backup-simplify]: Simplify (/ 1 1) into 1
7.315 * [taylor]: Taking taylor expansion of 30.0 in d2
7.315 * [backup-simplify]: Simplify 30.0 into 30.0
7.316 * [backup-simplify]: Simplify (+ 1 0) into 1
7.316 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 d2) 30.0) 3) in d2
7.316 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
7.316 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.316 * [taylor]: Taking taylor expansion of d2 in d2
7.316 * [backup-simplify]: Simplify 0 into 0
7.316 * [backup-simplify]: Simplify 1 into 1
7.316 * [backup-simplify]: Simplify (/ 1 1) into 1
7.316 * [taylor]: Taking taylor expansion of 30.0 in d2
7.316 * [backup-simplify]: Simplify 30.0 into 30.0
7.317 * [backup-simplify]: Simplify (+ 1 0) into 1
7.317 * [backup-simplify]: Simplify (* 1 1) into 1
7.317 * [backup-simplify]: Simplify (* 1 1) into 1
7.317 * [backup-simplify]: Simplify 1 into 1
7.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.318 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
7.320 * [backup-simplify]: Simplify (+ (* 1 30.0) (* 30.0 1)) into 60.0
7.321 * [backup-simplify]: Simplify (+ (* 1 60.0) (* 30.0 1)) into 90.0
7.321 * [backup-simplify]: Simplify 90.0 into 90.0
7.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.323 * [backup-simplify]: Simplify (+ 0 0) into 0
7.325 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 30.0 30.0) (* 0 1))) into 900.0
7.328 * [backup-simplify]: Simplify (+ (* 1 900.0) (+ (* 30.0 60.0) (* 0 1))) into 2700.0
7.328 * [backup-simplify]: Simplify 2700.0 into 2700.0
7.329 * [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))))
7.329 * [backup-simplify]: Simplify (pow (+ (+ 10.0 (/ 1 (- d2))) 20.0) 3) into (pow (- 30.0 (/ 1 d2)) 3)
7.329 * [approximate]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 3) in (d2) around 0
7.329 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 3) in d2
7.329 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
7.329 * [taylor]: Taking taylor expansion of 30.0 in d2
7.329 * [backup-simplify]: Simplify 30.0 into 30.0
7.329 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.329 * [taylor]: Taking taylor expansion of d2 in d2
7.330 * [backup-simplify]: Simplify 0 into 0
7.330 * [backup-simplify]: Simplify 1 into 1
7.330 * [backup-simplify]: Simplify (/ 1 1) into 1
7.330 * [backup-simplify]: Simplify (- 1) into -1
7.331 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.331 * [taylor]: Taking taylor expansion of (pow (- 30.0 (/ 1 d2)) 3) in d2
7.331 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
7.331 * [taylor]: Taking taylor expansion of 30.0 in d2
7.331 * [backup-simplify]: Simplify 30.0 into 30.0
7.331 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.331 * [taylor]: Taking taylor expansion of d2 in d2
7.331 * [backup-simplify]: Simplify 0 into 0
7.331 * [backup-simplify]: Simplify 1 into 1
7.331 * [backup-simplify]: Simplify (/ 1 1) into 1
7.332 * [backup-simplify]: Simplify (- 1) into -1
7.332 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.333 * [backup-simplify]: Simplify (* -1 -1) into 1
7.333 * [backup-simplify]: Simplify (* -1 1) into -1
7.333 * [backup-simplify]: Simplify -1 into -1
7.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.334 * [backup-simplify]: Simplify (- 0) into 0
7.334 * [backup-simplify]: Simplify (+ 30.0 0) into 30.0
7.335 * [backup-simplify]: Simplify (+ (* -1 30.0) (* 30.0 -1)) into (- 60.0)
7.336 * [backup-simplify]: Simplify (+ (* -1 (- 60.0)) (* 30.0 1)) into 90.0
7.336 * [backup-simplify]: Simplify 90.0 into 90.0
7.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.337 * [backup-simplify]: Simplify (- 0) into 0
7.337 * [backup-simplify]: Simplify (+ 0 0) into 0
7.339 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 30.0 30.0) (* 0 -1))) into 900.0
7.341 * [backup-simplify]: Simplify (+ (* -1 900.0) (+ (* 30.0 (- 60.0)) (* 0 1))) into (- 2700.0)
7.341 * [backup-simplify]: Simplify (- 2700.0) into (- 2700.0)
7.342 * [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))))
7.342 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 1)
7.342 * [backup-simplify]: Simplify (+ (+ 10.0 d2) 20.0) into (+ d2 30.0)
7.342 * [approximate]: Taking taylor expansion of (+ d2 30.0) in (d2) around 0
7.342 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
7.342 * [taylor]: Taking taylor expansion of d2 in d2
7.342 * [backup-simplify]: Simplify 0 into 0
7.342 * [backup-simplify]: Simplify 1 into 1
7.342 * [taylor]: Taking taylor expansion of 30.0 in d2
7.342 * [backup-simplify]: Simplify 30.0 into 30.0
7.342 * [taylor]: Taking taylor expansion of (+ d2 30.0) in d2
7.342 * [taylor]: Taking taylor expansion of d2 in d2
7.342 * [backup-simplify]: Simplify 0 into 0
7.342 * [backup-simplify]: Simplify 1 into 1
7.342 * [taylor]: Taking taylor expansion of 30.0 in d2
7.342 * [backup-simplify]: Simplify 30.0 into 30.0
7.343 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
7.343 * [backup-simplify]: Simplify 30.0 into 30.0
7.343 * [backup-simplify]: Simplify (+ 1 0) into 1
7.343 * [backup-simplify]: Simplify 1 into 1
7.343 * [backup-simplify]: Simplify (+ 0 0) into 0
7.343 * [backup-simplify]: Simplify 0 into 0
7.343 * [backup-simplify]: Simplify (+ 0 0) into 0
7.343 * [backup-simplify]: Simplify 0 into 0
7.344 * [backup-simplify]: Simplify (+ 0 0) into 0
7.344 * [backup-simplify]: Simplify 0 into 0
7.344 * [backup-simplify]: Simplify (+ 0 0) into 0
7.344 * [backup-simplify]: Simplify 0 into 0
7.344 * [backup-simplify]: Simplify (+ 0 0) into 0
7.344 * [backup-simplify]: Simplify 0 into 0
7.344 * [backup-simplify]: Simplify (+ 0 0) into 0
7.344 * [backup-simplify]: Simplify 0 into 0
7.345 * [backup-simplify]: Simplify (+ (* 1 d2) 30.0) into (+ d2 30.0)
7.345 * [backup-simplify]: Simplify (+ (+ 10.0 (/ 1 d2)) 20.0) into (+ (/ 1 d2) 30.0)
7.345 * [approximate]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in (d2) around 0
7.345 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
7.345 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.345 * [taylor]: Taking taylor expansion of d2 in d2
7.345 * [backup-simplify]: Simplify 0 into 0
7.345 * [backup-simplify]: Simplify 1 into 1
7.345 * [backup-simplify]: Simplify (/ 1 1) into 1
7.345 * [taylor]: Taking taylor expansion of 30.0 in d2
7.345 * [backup-simplify]: Simplify 30.0 into 30.0
7.345 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30.0) in d2
7.345 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.345 * [taylor]: Taking taylor expansion of d2 in d2
7.345 * [backup-simplify]: Simplify 0 into 0
7.345 * [backup-simplify]: Simplify 1 into 1
7.345 * [backup-simplify]: Simplify (/ 1 1) into 1
7.345 * [taylor]: Taking taylor expansion of 30.0 in d2
7.345 * [backup-simplify]: Simplify 30.0 into 30.0
7.346 * [backup-simplify]: Simplify (+ 1 0) into 1
7.346 * [backup-simplify]: Simplify 1 into 1
7.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.346 * [backup-simplify]: Simplify (+ 0 30.0) into 30.0
7.346 * [backup-simplify]: Simplify 30.0 into 30.0
7.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.347 * [backup-simplify]: Simplify (+ 0 0) into 0
7.347 * [backup-simplify]: Simplify 0 into 0
7.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.348 * [backup-simplify]: Simplify (+ 0 0) into 0
7.348 * [backup-simplify]: Simplify 0 into 0
7.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.349 * [backup-simplify]: Simplify (+ 0 0) into 0
7.349 * [backup-simplify]: Simplify 0 into 0
7.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.350 * [backup-simplify]: Simplify (+ 0 0) into 0
7.350 * [backup-simplify]: Simplify 0 into 0
7.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.350 * [backup-simplify]: Simplify (+ 0 0) into 0
7.350 * [backup-simplify]: Simplify 0 into 0
7.351 * [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
7.351 * [backup-simplify]: Simplify (+ 0 0) into 0
7.351 * [backup-simplify]: Simplify 0 into 0
7.351 * [backup-simplify]: Simplify (+ 30.0 (* 1 (/ 1 (/ 1 d2)))) into (+ d2 30.0)
7.351 * [backup-simplify]: Simplify (+ (+ 10.0 (/ 1 (- d2))) 20.0) into (- 30.0 (/ 1 d2))
7.351 * [approximate]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in (d2) around 0
7.351 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
7.351 * [taylor]: Taking taylor expansion of 30.0 in d2
7.351 * [backup-simplify]: Simplify 30.0 into 30.0
7.351 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.351 * [taylor]: Taking taylor expansion of d2 in d2
7.352 * [backup-simplify]: Simplify 0 into 0
7.352 * [backup-simplify]: Simplify 1 into 1
7.352 * [backup-simplify]: Simplify (/ 1 1) into 1
7.352 * [taylor]: Taking taylor expansion of (- 30.0 (/ 1 d2)) in d2
7.352 * [taylor]: Taking taylor expansion of 30.0 in d2
7.352 * [backup-simplify]: Simplify 30.0 into 30.0
7.352 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2
7.352 * [taylor]: Taking taylor expansion of d2 in d2
7.352 * [backup-simplify]: Simplify 0 into 0
7.352 * [backup-simplify]: Simplify 1 into 1
7.352 * [backup-simplify]: Simplify (/ 1 1) into 1
7.352 * [backup-simplify]: Simplify (- 1) into -1
7.353 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.353 * [backup-simplify]: Simplify -1 into -1
7.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.353 * [backup-simplify]: Simplify (- 0) into 0
7.354 * [backup-simplify]: Simplify (+ 30.0 0) into 30.0
7.354 * [backup-simplify]: Simplify 30.0 into 30.0
7.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.354 * [backup-simplify]: Simplify (- 0) into 0
7.355 * [backup-simplify]: Simplify (+ 0 0) into 0
7.355 * [backup-simplify]: Simplify 0 into 0
7.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.355 * [backup-simplify]: Simplify (- 0) into 0
7.356 * [backup-simplify]: Simplify (+ 0 0) into 0
7.356 * [backup-simplify]: Simplify 0 into 0
7.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.356 * [backup-simplify]: Simplify (- 0) into 0
7.357 * [backup-simplify]: Simplify (+ 0 0) into 0
7.357 * [backup-simplify]: Simplify 0 into 0
7.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.357 * [backup-simplify]: Simplify (- 0) into 0
7.358 * [backup-simplify]: Simplify (+ 0 0) into 0
7.358 * [backup-simplify]: Simplify 0 into 0
7.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.358 * [backup-simplify]: Simplify (- 0) into 0
7.359 * [backup-simplify]: Simplify (+ 0 0) into 0
7.359 * [backup-simplify]: Simplify 0 into 0
7.359 * [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
7.359 * [backup-simplify]: Simplify (- 0) into 0
7.360 * [backup-simplify]: Simplify (+ 0 0) into 0
7.360 * [backup-simplify]: Simplify 0 into 0
7.360 * [backup-simplify]: Simplify (+ 30.0 (* -1 (/ 1 (/ 1 (- d2))))) into (+ d2 30.0)
7.360 * * * [progress]: simplifying candidates
7.361 * [simplify]: Simplifying:
  (log (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)))
  (exp (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)))
  (cbrt (pow (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))) 3))
  (cbrt (pow (cbrt (+ (+ 10.0 d2) 20.0)) 3))
  (cbrt (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3))
  (cbrt (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))
  (cbrt (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0)))
  (cbrt (+ (+ 10.0 d2) 20.0))
  (cbrt (* (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))))
  (cbrt (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)))
  (cbrt (pow (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))) 3))
  (cbrt (pow (cbrt (+ (+ 10.0 d2) 20.0)) 3))
  (cbrt (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3))
  (cbrt (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))
  (cbrt (+ (+ 10.0 d2) 20.0))
  (cbrt (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0)))
  (cbrt (sqrt (pow (+ (+ 10.0 d2) 20.0) 3)))
  (cbrt (sqrt (pow (+ (+ 10.0 d2) 20.0) 3)))
  (cbrt 1)
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) (/ 3 2)))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) (/ 3 2)))
  (cbrt (pow (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) 3))
  (cbrt (pow (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))) 3))
  (cbrt (pow (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)) 3))
  (cbrt (pow (- (+ 10.0 d2) 20.0) 3))
  (* (cbrt (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))) (cbrt (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))))
  (cbrt (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)))
  (* (* (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)))
  (sqrt (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)))
  (sqrt (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)))
  (* (log (+ (+ 10.0 d2) 20.0)) 3)
  (* (log (+ (+ 10.0 d2) 20.0)) 3)
  (* 1 3)
  (pow (+ (+ 10.0 d2) 20.0) (* (cbrt 3) (cbrt 3)))
  (pow (+ (+ 10.0 d2) 20.0) (sqrt 3))
  (pow (+ (+ 10.0 d2) 20.0) 1)
  (pow (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))) 3)
  (pow (cbrt (+ (+ 10.0 d2) 20.0)) 3)
  (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3)
  (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3)
  (pow 1 3)
  (pow (+ (+ 10.0 d2) 20.0) 3)
  (pow 1 3)
  (pow (+ (+ 10.0 d2) 20.0) 3)
  (pow 1 3)
  (pow (+ (+ 10.0 d2) 20.0) 3)
  (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0))
  (log (pow (+ (+ 10.0 d2) 20.0) 3))
  (exp (pow (+ (+ 10.0 d2) 20.0) 3))
  (* (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)) (cbrt (pow (+ (+ 10.0 d2) 20.0) 3)))
  (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))
  (* (* (pow (+ (+ 10.0 d2) 20.0) 3) (pow (+ (+ 10.0 d2) 20.0) 3)) (pow (+ (+ 10.0 d2) 20.0) 3))
  (pow (* (cbrt (+ (+ 10.0 d2) 20.0)) (cbrt (+ (+ 10.0 d2) 20.0))) 3)
  (pow (cbrt (+ (+ 10.0 d2) 20.0)) 3)
  (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3)
  (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3)
  (pow 1 3)
  (pow (+ (+ 10.0 d2) 20.0) 3)
  (pow 1 3)
  (pow (+ (+ 10.0 d2) 20.0) 3)
  (pow 1 3)
  (pow (+ (+ 10.0 d2) 20.0) 3)
  (pow (+ (pow (+ 10.0 d2) 3) (pow 20.0 3)) 3)
  (pow (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0))) 3)
  (pow (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)) 3)
  (pow (- (+ 10.0 d2) 20.0) 3)
  (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0))
  (sqrt (pow (+ (+ 10.0 d2) 20.0) 3))
  (sqrt (pow (+ (+ 10.0 d2) 20.0) 3))
  (pow (+ (+ 10.0 d2) 20.0) (/ 3 2))
  (pow (+ (+ 10.0 d2) 20.0) (/ 3 2))
  (* (* (exp 10.0) (exp d2)) (exp 20.0))
  (* (exp (+ 10.0 d2)) (exp 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))
  (* (* (+ (+ 10.0 d2) 20.0) (+ (+ 10.0 d2) 20.0)) (+ (+ 10.0 d2) 20.0))
  (sqrt (+ (+ 10.0 d2) 20.0))
  (sqrt (+ (+ 10.0 d2) 20.0))
  (+ (pow (+ 10.0 d2) 3) (pow 20.0 3))
  (+ (* (+ 10.0 d2) (+ 10.0 d2)) (- (* 20.0 20.0) (* (+ 10.0 d2) 20.0)))
  (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))
  (- (+ 10.0 d2) 20.0)
  (+ (+ 10.0 d2) 20.0)
  (+ (+ 10.0 d2) 20.0)
  (+ d2 20.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)
7.362 * * [simplify]: Extracting # 0 : cost  0
7.362 * * [simplify]: Extracting # 1 : cost  0
7.362 * * [simplify]: Extracting # 2 : cost  0
7.363 * * [simplify]: Extracting # 3 : cost  0
7.363 * * [simplify]: Extracting # 4 : cost  0
7.363 * * [simplify]: Extracting # 5 : cost  0
7.363 * * [simplify]: Extracting # 6 : cost  0
7.363 * * [simplify]: Extracting # 7 : cost  0
7.363 * * [simplify]: iteration  0 :  91  enodes  (cost  951 )
7.391 * * [simplify]: Extracting # 0 : cost  0
7.391 * * [simplify]: Extracting # 1 : cost  0
7.391 * * [simplify]: Extracting # 2 : cost  0
7.391 * * [simplify]: Extracting # 3 : cost  0
7.392 * * [simplify]: Extracting # 4 : cost  0
7.392 * * [simplify]: iteration  1 :  225  enodes  (cost  748 )
7.500 * * [simplify]: Extracting # 0 : cost  0
7.501 * * [simplify]: Extracting # 1 : cost  0
7.502 * * [simplify]: Extracting # 2 : cost  0
7.504 * * [simplify]: Extracting # 3 : cost  0
7.505 * * [simplify]: Extracting # 4 : cost  0
7.507 * * [simplify]: iteration  2 :  795  enodes  (cost  690 )
8.002 * * [simplify]: Extracting # 0 : cost  0
8.007 * * [simplify]: Extracting # 1 : cost  0
8.015 * * [simplify]: Extracting # 2 : cost  0
8.022 * * [simplify]: Extracting # 3 : cost  0
8.037 * * [simplify]: Extracting # 4 : cost  0
8.046 * * [simplify]: iteration done:  5000  enodes  (cost  682 )
8.046 * [simplify]: Simplified to:
  (log (+ (+ 10.0 d2) 20.0))
  (exp (+ (+ 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 (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 (+ (+ 10.0 d2) 20.0) 3)))
  (cbrt (sqrt (pow (+ (+ 10.0 d2) 20.0) 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 (+ 10.0 d2) 3) (pow 20.0 3))
  (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))
  (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))
  (- (+ 10.0 d2) 20.0)
  (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))
  (* (log (+ (+ 10.0 d2) 20.0)) 3)
  (* (log (+ (+ 10.0 d2) 20.0)) 3)
  3
  (pow (+ (+ 10.0 d2) 20.0) (* (cbrt 3) (cbrt 3)))
  (pow (+ (+ 10.0 d2) 20.0) (sqrt 3))
  (+ (+ 10.0 d2) 20.0)
  (pow (+ (+ 10.0 d2) 20.0) 2)
  (+ (+ 10.0 d2) 20.0)
  (pow (sqrt (+ (+ 10.0 d2) 20.0)) 3)
  (pow (sqrt (+ (+ 10.0 d2) 20.0)) 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 (+ (+ 10.0 d2) 20.0)) 3)
  (exp (pow (+ (+ 10.0 d2) 20.0) 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 (+ (+ 10.0 d2) 20.0)) 3)
  (pow (sqrt (+ (+ 10.0 d2) 20.0)) 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 (+ 10.0 d2) 3) (pow 20.0 3)) 3)
  (pow (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0)) 3)
  (pow (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0)) 3)
  (pow (- (+ 10.0 d2) 20.0) 3)
  (pow (+ (+ 10.0 d2) 20.0) 2)
  (sqrt (pow (+ (+ 10.0 d2) 20.0) 3))
  (sqrt (pow (+ (+ 10.0 d2) 20.0) 3))
  (pow (+ (+ 10.0 d2) 20.0) 3/2)
  (pow (+ (+ 10.0 d2) 20.0) 3/2)
  (exp (+ (+ 10.0 d2) 20.0))
  (exp (+ (+ 10.0 d2) 20.0))
  (log (+ (+ 10.0 d2) 20.0))
  (exp (+ (+ 10.0 d2) 20.0))
  (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 (+ 10.0 d2) 3) (pow 20.0 3))
  (+ (* (+ 10.0 d2) (- (+ 10.0 d2) 20.0)) (* 20.0 20.0))
  (- (* (+ 10.0 d2) (+ 10.0 d2)) (* 20.0 20.0))
  (- (+ 10.0 d2) 20.0)
  (+ (+ 10.0 d2) 20.0)
  (+ (+ 10.0 d2) 20.0)
  (+ d2 20.0)
  (+ d2 30.0)
  (+ d2 30.0)
  (+ d2 30.0)
  (+ (* d2 (+ 2700.0 (* d2 90.0))) 27000.0)
  (+ (* 2700.0 d2) (* (pow d2 2) (+ 90.0 d2)))
  (+ (* 2700.0 d2) (* (pow d2 2) (+ 90.0 d2)))
  (+ d2 30.0)
  (+ d2 30.0)
  (+ d2 30.0)
8.047 * * * [progress]: adding candidates to table
8.261 * [progress]: [Phase 3 of 3] Extracting.
8.261 * * [regime]: Finding splitpoints for: (#<alt (λ (d1 d2) (* (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)) (exp (log (cbrt (+ (+ 10.0 d2) 20.0))))))> #<alt (λ (d1 d2) (* d1 (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))))> #<alt (λ (d1 d2) (* d1 (+ (+ 10.0 d2) 20.0)))>)
8.261 * * * [regime-changes]: Trying 2 branch expressions: (d2 d1)
8.261 * * * * [regimes]: Trying to branch on d2 from (#<alt (λ (d1 d2) (* (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)) (exp (log (cbrt (+ (+ 10.0 d2) 20.0))))))> #<alt (λ (d1 d2) (* d1 (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))))> #<alt (λ (d1 d2) (* d1 (+ (+ 10.0 d2) 20.0)))>)
8.285 * * * * [regimes]: Trying to branch on d1 from (#<alt (λ (d1 d2) (* (* d1 (pow (cbrt (+ (+ 10.0 d2) 20.0)) 2)) (exp (log (cbrt (+ (+ 10.0 d2) 20.0))))))> #<alt (λ (d1 d2) (* d1 (cbrt (pow (+ (+ 10.0 d2) 20.0) 3))))> #<alt (λ (d1 d2) (* d1 (+ (+ 10.0 d2) 20.0)))>)
8.312 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
8.312 * [simplify]: Simplifying:
  (* d1 (+ (+ 10.0 d2) 20.0))
8.312 * * [simplify]: Extracting # 0 : cost  0
8.312 * * [simplify]: Extracting # 1 : cost  0
8.312 * * [simplify]: Extracting # 2 : cost  0
8.313 * * [simplify]: Extracting # 3 : cost  0
8.313 * * [simplify]: Extracting # 4 : cost  0
8.313 * * [simplify]: Extracting # 5 : cost  0
8.313 * * [simplify]: iteration  0 :  7  enodes  (cost  7 )
8.313 * * [simplify]: Extracting # 0 : cost  0
8.313 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
8.313 * * [simplify]: Extracting # 0 : cost  0
8.313 * * [simplify]: iteration done:  10  enodes  (cost  7 )
8.313 * [simplify]: Simplified to:
  (* d1 (+ (+ 10.0 d2) 20.0))
9.889 * [regime-testing]: Baseline error score: 0.028003500437554694
9.891 * [regime-testing]: Oracle error score: 0.013001625203150393
9.895 * [regime-testing]: End program error score: 0.028003500437554694
9.931 * [regime-testing]: Target error score: 0.025128141017627205