1552121008.982 * [progress]: [Phase 1 of 3] Setting up. 1552121008.982 * * * [progress]: [1/2] Preparing points 1552121009.020 * * * [progress]: [2/2] Setting up program. 1552121009.024 * [progress]: [Phase 2 of 3] Improving. 1552121009.024 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1552121009.024 * [simplify]: Simplifying (+ (+ (* d1 10) (* d1 d2)) (* d1 20)) 1552121009.024 * * [simplify]: iters left: 6 (9 enodes) 1552121009.030 * * [simplify]: iters left: 5 (36 enodes) 1552121009.041 * * [simplify]: iters left: 4 (55 enodes) 1552121009.071 * * [simplify]: iters left: 3 (82 enodes) 1552121009.094 * * [simplify]: iters left: 2 (96 enodes) 1552121009.115 * * [simplify]: iters left: 1 (104 enodes) 1552121009.135 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121009.135 * * [simplify]: Extracting #1: cost 11 inf + 0 1552121009.135 * * [simplify]: Extracting #2: cost 24 inf + 1 1552121009.135 * * [simplify]: Extracting #3: cost 14 inf + 422 1552121009.136 * * [simplify]: Extracting #4: cost 1 inf + 1132 1552121009.137 * * [simplify]: Extracting #5: cost 0 inf + 1175 1552121009.138 * [simplify]: Simplified to (* d1 (+ d2 30)) 1552121009.138 * [simplify]: Simplified (2) to (λ (d1 d2) (* d1 (+ d2 30))) 1552121009.147 * * [progress]: iteration 1 / 4 1552121009.147 * * * [progress]: picking best candidate 1552121009.154 * * * * [pick]: Picked # 1552121009.154 * * * [progress]: localizing error 1552121009.166 * * * [progress]: generating rewritten candidates 1552121009.166 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1552121009.169 * * * [progress]: generating series expansions 1552121009.169 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1552121009.169 * [backup-simplify]: Simplify (* d1 (+ d2 30)) into (* (+ d2 30) d1) 1552121009.169 * [approximate]: Taking taylor expansion of (* (+ d2 30) d1) in (d1 d2) around 0 1552121009.169 * [taylor]: Taking taylor expansion of (* (+ d2 30) d1) in d2 1552121009.169 * [taylor]: Taking taylor expansion of (+ d2 30) in d2 1552121009.169 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.169 * [backup-simplify]: Simplify 0 into 0 1552121009.169 * [backup-simplify]: Simplify 1 into 1 1552121009.169 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.169 * [backup-simplify]: Simplify 30 into 30 1552121009.169 * [taylor]: Taking taylor expansion of d1 in d2 1552121009.169 * [backup-simplify]: Simplify d1 into d1 1552121009.169 * [taylor]: Taking taylor expansion of (* (+ d2 30) d1) in d1 1552121009.169 * [taylor]: Taking taylor expansion of (+ d2 30) in d1 1552121009.169 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.169 * [backup-simplify]: Simplify d2 into d2 1552121009.169 * [taylor]: Taking taylor expansion of 30 in d1 1552121009.169 * [backup-simplify]: Simplify 30 into 30 1552121009.169 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.169 * [backup-simplify]: Simplify 0 into 0 1552121009.169 * [backup-simplify]: Simplify 1 into 1 1552121009.169 * [taylor]: Taking taylor expansion of (* (+ d2 30) d1) in d1 1552121009.169 * [taylor]: Taking taylor expansion of (+ d2 30) in d1 1552121009.169 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.169 * [backup-simplify]: Simplify d2 into d2 1552121009.169 * [taylor]: Taking taylor expansion of 30 in d1 1552121009.169 * [backup-simplify]: Simplify 30 into 30 1552121009.169 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.169 * [backup-simplify]: Simplify 0 into 0 1552121009.169 * [backup-simplify]: Simplify 1 into 1 1552121009.170 * [backup-simplify]: Simplify (+ d2 30) into (+ d2 30) 1552121009.170 * [backup-simplify]: Simplify (* (+ d2 30) 0) into 0 1552121009.170 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.170 * [backup-simplify]: Simplify 0 into 0 1552121009.170 * [backup-simplify]: Simplify 0 into 0 1552121009.170 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.171 * [backup-simplify]: Simplify (+ (* (+ d2 30) 1) (* 0 0)) into (+ d2 30) 1552121009.171 * [taylor]: Taking taylor expansion of (+ d2 30) in d2 1552121009.171 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.171 * [backup-simplify]: Simplify 0 into 0 1552121009.171 * [backup-simplify]: Simplify 1 into 1 1552121009.171 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.171 * [backup-simplify]: Simplify 30 into 30 1552121009.171 * [backup-simplify]: Simplify (+ 0 30) into 30 1552121009.171 * [backup-simplify]: Simplify 30 into 30 1552121009.171 * [backup-simplify]: Simplify 0 into 0 1552121009.172 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.172 * [backup-simplify]: Simplify (+ (* (+ d2 30) 0) (+ (* 0 1) (* 0 0))) into 0 1552121009.173 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.173 * [backup-simplify]: Simplify 0 into 0 1552121009.173 * [backup-simplify]: Simplify 0 into 0 1552121009.173 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.173 * [backup-simplify]: Simplify 1 into 1 1552121009.173 * [backup-simplify]: Simplify 0 into 0 1552121009.174 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.174 * [backup-simplify]: Simplify (+ (* (+ d2 30) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552121009.174 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.174 * [backup-simplify]: Simplify 0 into 0 1552121009.174 * [backup-simplify]: Simplify 0 into 0 1552121009.174 * [backup-simplify]: Simplify 0 into 0 1552121009.175 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.175 * [backup-simplify]: Simplify 0 into 0 1552121009.175 * [backup-simplify]: Simplify 0 into 0 1552121009.175 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.176 * [backup-simplify]: Simplify (+ (* (+ d2 30) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1552121009.176 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.176 * [backup-simplify]: Simplify 0 into 0 1552121009.176 * [backup-simplify]: Simplify 0 into 0 1552121009.177 * [backup-simplify]: Simplify (+ (* 1 (* d2 d1)) (* 30 (* 1 d1))) into (+ (* d2 d1) (* 30 d1)) 1552121009.177 * [backup-simplify]: Simplify (* (/ 1 d1) (+ (/ 1 d2) 30)) into (/ (+ (/ 1 d2) 30) d1) 1552121009.177 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 d2) 30) d1) in (d1 d2) around 0 1552121009.177 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30) d1) in d2 1552121009.177 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30) in d2 1552121009.177 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1552121009.177 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.177 * [backup-simplify]: Simplify 0 into 0 1552121009.177 * [backup-simplify]: Simplify 1 into 1 1552121009.177 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.177 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.177 * [backup-simplify]: Simplify 30 into 30 1552121009.177 * [taylor]: Taking taylor expansion of d1 in d2 1552121009.177 * [backup-simplify]: Simplify d1 into d1 1552121009.178 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.178 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1552121009.178 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30) d1) in d1 1552121009.178 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30) in d1 1552121009.178 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 1552121009.178 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.178 * [backup-simplify]: Simplify d2 into d2 1552121009.178 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1552121009.178 * [taylor]: Taking taylor expansion of 30 in d1 1552121009.178 * [backup-simplify]: Simplify 30 into 30 1552121009.178 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.178 * [backup-simplify]: Simplify 0 into 0 1552121009.178 * [backup-simplify]: Simplify 1 into 1 1552121009.178 * [backup-simplify]: Simplify (+ (/ 1 d2) 30) into (+ (/ 1 d2) 30) 1552121009.178 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) 30) 1) into (+ (/ 1 d2) 30) 1552121009.178 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30) d1) in d1 1552121009.178 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30) in d1 1552121009.178 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 1552121009.178 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.178 * [backup-simplify]: Simplify d2 into d2 1552121009.179 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1552121009.179 * [taylor]: Taking taylor expansion of 30 in d1 1552121009.179 * [backup-simplify]: Simplify 30 into 30 1552121009.179 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.179 * [backup-simplify]: Simplify 0 into 0 1552121009.179 * [backup-simplify]: Simplify 1 into 1 1552121009.179 * [backup-simplify]: Simplify (+ (/ 1 d2) 30) into (+ (/ 1 d2) 30) 1552121009.179 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) 30) 1) into (+ (/ 1 d2) 30) 1552121009.179 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30) in d2 1552121009.179 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1552121009.179 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.179 * [backup-simplify]: Simplify 0 into 0 1552121009.179 * [backup-simplify]: Simplify 1 into 1 1552121009.179 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.179 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.179 * [backup-simplify]: Simplify 30 into 30 1552121009.180 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.180 * [backup-simplify]: Simplify 1 into 1 1552121009.180 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1552121009.180 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.181 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) 30) (/ 0 1)))) into 0 1552121009.181 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.181 * [backup-simplify]: Simplify 0 into 0 1552121009.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121009.183 * [backup-simplify]: Simplify (+ 0 30) into 30 1552121009.183 * [backup-simplify]: Simplify 30 into 30 1552121009.183 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1552121009.183 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.185 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) 30) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.185 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.185 * [backup-simplify]: Simplify 0 into 0 1552121009.185 * [backup-simplify]: Simplify 0 into 0 1552121009.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.186 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.186 * [backup-simplify]: Simplify 0 into 0 1552121009.186 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1552121009.187 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.188 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) 30) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.188 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.188 * [backup-simplify]: Simplify 0 into 0 1552121009.189 * [backup-simplify]: Simplify 0 into 0 1552121009.189 * [backup-simplify]: Simplify 0 into 0 1552121009.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.190 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.190 * [backup-simplify]: Simplify 0 into 0 1552121009.190 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1552121009.191 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.193 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) 30) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.193 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.193 * [backup-simplify]: Simplify 0 into 0 1552121009.193 * [backup-simplify]: Simplify 0 into 0 1552121009.193 * [backup-simplify]: Simplify (+ (* 30 (* 1 (/ 1 (/ 1 d1)))) (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) into (+ (* d2 d1) (* 30 d1)) 1552121009.194 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (+ (/ 1 (- d2)) 30)) into (* -1 (/ (- 30 (/ 1 d2)) d1)) 1552121009.194 * [approximate]: Taking taylor expansion of (* -1 (/ (- 30 (/ 1 d2)) d1)) in (d1 d2) around 0 1552121009.194 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30 (/ 1 d2)) d1)) in d2 1552121009.194 * [taylor]: Taking taylor expansion of -1 in d2 1552121009.194 * [backup-simplify]: Simplify -1 into -1 1552121009.194 * [taylor]: Taking taylor expansion of (/ (- 30 (/ 1 d2)) d1) in d2 1552121009.194 * [taylor]: Taking taylor expansion of (- 30 (/ 1 d2)) in d2 1552121009.194 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.194 * [backup-simplify]: Simplify 30 into 30 1552121009.194 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1552121009.194 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.194 * [backup-simplify]: Simplify 0 into 0 1552121009.194 * [backup-simplify]: Simplify 1 into 1 1552121009.194 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.194 * [taylor]: Taking taylor expansion of d1 in d2 1552121009.194 * [backup-simplify]: Simplify d1 into d1 1552121009.195 * [backup-simplify]: Simplify (- 1) into -1 1552121009.195 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552121009.195 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 1552121009.195 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30 (/ 1 d2)) d1)) in d1 1552121009.195 * [taylor]: Taking taylor expansion of -1 in d1 1552121009.195 * [backup-simplify]: Simplify -1 into -1 1552121009.195 * [taylor]: Taking taylor expansion of (/ (- 30 (/ 1 d2)) d1) in d1 1552121009.195 * [taylor]: Taking taylor expansion of (- 30 (/ 1 d2)) in d1 1552121009.195 * [taylor]: Taking taylor expansion of 30 in d1 1552121009.195 * [backup-simplify]: Simplify 30 into 30 1552121009.195 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 1552121009.195 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.196 * [backup-simplify]: Simplify d2 into d2 1552121009.196 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1552121009.196 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.196 * [backup-simplify]: Simplify 0 into 0 1552121009.196 * [backup-simplify]: Simplify 1 into 1 1552121009.196 * [backup-simplify]: Simplify (- (/ 1 d2)) into (- (/ 1 d2)) 1552121009.196 * [backup-simplify]: Simplify (+ 30 (- (/ 1 d2))) into (- 30 (/ 1 d2)) 1552121009.196 * [backup-simplify]: Simplify (/ (- 30 (/ 1 d2)) 1) into (- 30 (/ 1 d2)) 1552121009.196 * [taylor]: Taking taylor expansion of (* -1 (/ (- 30 (/ 1 d2)) d1)) in d1 1552121009.196 * [taylor]: Taking taylor expansion of -1 in d1 1552121009.196 * [backup-simplify]: Simplify -1 into -1 1552121009.196 * [taylor]: Taking taylor expansion of (/ (- 30 (/ 1 d2)) d1) in d1 1552121009.196 * [taylor]: Taking taylor expansion of (- 30 (/ 1 d2)) in d1 1552121009.196 * [taylor]: Taking taylor expansion of 30 in d1 1552121009.196 * [backup-simplify]: Simplify 30 into 30 1552121009.196 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 1552121009.196 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.196 * [backup-simplify]: Simplify d2 into d2 1552121009.196 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1552121009.196 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.196 * [backup-simplify]: Simplify 0 into 0 1552121009.196 * [backup-simplify]: Simplify 1 into 1 1552121009.196 * [backup-simplify]: Simplify (- (/ 1 d2)) into (- (/ 1 d2)) 1552121009.196 * [backup-simplify]: Simplify (+ 30 (- (/ 1 d2))) into (- 30 (/ 1 d2)) 1552121009.196 * [backup-simplify]: Simplify (/ (- 30 (/ 1 d2)) 1) into (- 30 (/ 1 d2)) 1552121009.197 * [backup-simplify]: Simplify (* -1 (- 30 (/ 1 d2))) into (* -1 (- 30 (/ 1 d2))) 1552121009.197 * [taylor]: Taking taylor expansion of (* -1 (- 30 (/ 1 d2))) in d2 1552121009.197 * [taylor]: Taking taylor expansion of -1 in d2 1552121009.197 * [backup-simplify]: Simplify -1 into -1 1552121009.197 * [taylor]: Taking taylor expansion of (- 30 (/ 1 d2)) in d2 1552121009.197 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.197 * [backup-simplify]: Simplify 30 into 30 1552121009.197 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1552121009.197 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.197 * [backup-simplify]: Simplify 0 into 0 1552121009.197 * [backup-simplify]: Simplify 1 into 1 1552121009.197 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.198 * [backup-simplify]: Simplify (- 1) into -1 1552121009.198 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552121009.198 * [backup-simplify]: Simplify (* -1 -1) into 1 1552121009.198 * [backup-simplify]: Simplify 1 into 1 1552121009.199 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1552121009.199 * [backup-simplify]: Simplify (- 0) into 0 1552121009.199 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.200 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 30 (/ 1 d2)) (/ 0 1)))) into 0 1552121009.201 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- 30 (/ 1 d2)))) into 0 1552121009.201 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.201 * [backup-simplify]: Simplify 0 into 0 1552121009.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121009.202 * [backup-simplify]: Simplify (- 0) into 0 1552121009.202 * [backup-simplify]: Simplify (+ 30 0) into 30 1552121009.203 * [backup-simplify]: Simplify (+ (* -1 30) (* 0 -1)) into -30 1552121009.203 * [backup-simplify]: Simplify -30 into -30 1552121009.203 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1552121009.204 * [backup-simplify]: Simplify (- 0) into 0 1552121009.204 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.212 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 30 (/ 1 d2)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.213 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- 30 (/ 1 d2))))) into 0 1552121009.213 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.213 * [backup-simplify]: Simplify 0 into 0 1552121009.213 * [backup-simplify]: Simplify 0 into 0 1552121009.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.214 * [backup-simplify]: Simplify (- 0) into 0 1552121009.215 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.216 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 30) (* 0 -1))) into 0 1552121009.216 * [backup-simplify]: Simplify 0 into 0 1552121009.216 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1552121009.216 * [backup-simplify]: Simplify (- 0) into 0 1552121009.217 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 30 (/ 1 d2)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.220 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 30 (/ 1 d2)))))) into 0 1552121009.220 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.220 * [backup-simplify]: Simplify 0 into 0 1552121009.220 * [backup-simplify]: Simplify 0 into 0 1552121009.220 * [backup-simplify]: Simplify 0 into 0 1552121009.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.221 * [backup-simplify]: Simplify (- 0) into 0 1552121009.222 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.223 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 30) (* 0 -1)))) into 0 1552121009.223 * [backup-simplify]: Simplify 0 into 0 1552121009.223 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1552121009.223 * [backup-simplify]: Simplify (- 0) into 0 1552121009.224 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.226 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 30 (/ 1 d2)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.228 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 30 (/ 1 d2))))))) into 0 1552121009.228 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.228 * [backup-simplify]: Simplify 0 into 0 1552121009.228 * [backup-simplify]: Simplify 0 into 0 1552121009.228 * [backup-simplify]: Simplify (+ (* -30 (* 1 (/ 1 (/ 1 (- d1))))) (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) into (+ (* d2 d1) (* 30 d1)) 1552121009.228 * * * [progress]: simplifying candidates 1552121009.228 * * * * [progress]: [ 1 / 19 ] simplifiying candidate # 1552121009.228 * * * * [progress]: [ 2 / 19 ] simplifiying candidate # 1552121009.228 * * * * [progress]: [ 3 / 19 ] simplifiying candidate # 1552121009.229 * * * * [progress]: [ 4 / 19 ] simplifiying candidate # 1552121009.229 * * * * [progress]: [ 5 / 19 ] simplifiying candidate # 1552121009.229 * * * * [progress]: [ 6 / 19 ] simplifiying candidate # 1552121009.229 * * * * [progress]: [ 7 / 19 ] simplifiying candidate # 1552121009.229 * * * * [progress]: [ 8 / 19 ] simplifiying candidate # 1552121009.229 * [simplify]: Simplifying (* d1 30) 1552121009.229 * * [simplify]: iters left: 2 (3 enodes) 1552121009.230 * * [simplify]: iters left: 1 (10 enodes) 1552121009.232 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121009.232 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121009.232 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121009.232 * * [simplify]: Extracting #3: cost 0 inf + 86 1552121009.232 * [simplify]: Simplified to (* d1 30) 1552121009.232 * [simplify]: Simplified (2 2) to (λ (d1 d2) (+ (* d1 d2) (* d1 30))) 1552121009.232 * * * * [progress]: [ 9 / 19 ] simplifiying candidate # 1552121009.232 * [simplify]: Simplifying (* 30 d1) 1552121009.232 * * [simplify]: iters left: 2 (3 enodes) 1552121009.233 * * [simplify]: iters left: 1 (10 enodes) 1552121009.235 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121009.235 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121009.235 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121009.235 * * [simplify]: Extracting #3: cost 0 inf + 86 1552121009.235 * [simplify]: Simplified to (* 30 d1) 1552121009.235 * [simplify]: Simplified (2 2) to (λ (d1 d2) (+ (* d2 d1) (* 30 d1))) 1552121009.235 * * * * [progress]: [ 10 / 19 ] simplifiying candidate # 1552121009.235 * [simplify]: Simplifying (cbrt (+ d2 30)) 1552121009.235 * * [simplify]: iters left: 3 (4 enodes) 1552121009.236 * * [simplify]: iters left: 2 (13 enodes) 1552121009.238 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121009.238 * * [simplify]: Extracting #1: cost 3 inf + 0 1552121009.238 * * [simplify]: Extracting #2: cost 6 inf + 0 1552121009.238 * * [simplify]: Extracting #3: cost 4 inf + 2 1552121009.238 * * [simplify]: Extracting #4: cost 0 inf + 330 1552121009.239 * [simplify]: Simplified to (cbrt (+ 30 d2)) 1552121009.239 * [simplify]: Simplified (2 2) to (λ (d1 d2) (* (* d1 (* (cbrt (+ d2 30)) (cbrt (+ d2 30)))) (cbrt (+ 30 d2)))) 1552121009.239 * * * * [progress]: [ 11 / 19 ] simplifiying candidate # 1552121009.239 * [simplify]: Simplifying (sqrt (+ d2 30)) 1552121009.239 * * [simplify]: iters left: 3 (4 enodes) 1552121009.240 * * [simplify]: iters left: 2 (13 enodes) 1552121009.242 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121009.242 * * [simplify]: Extracting #1: cost 3 inf + 0 1552121009.242 * * [simplify]: Extracting #2: cost 6 inf + 0 1552121009.242 * * [simplify]: Extracting #3: cost 4 inf + 2 1552121009.242 * * [simplify]: Extracting #4: cost 0 inf + 250 1552121009.242 * [simplify]: Simplified to (sqrt (+ 30 d2)) 1552121009.242 * [simplify]: Simplified (2 2) to (λ (d1 d2) (* (* d1 (sqrt (+ d2 30))) (sqrt (+ 30 d2)))) 1552121009.242 * * * * [progress]: [ 12 / 19 ] simplifiying candidate # 1552121009.242 * [simplify]: Simplifying (+ d2 30) 1552121009.242 * * [simplify]: iters left: 2 (3 enodes) 1552121009.243 * * [simplify]: iters left: 1 (10 enodes) 1552121009.245 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121009.245 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121009.245 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121009.245 * * [simplify]: Extracting #3: cost 0 inf + 86 1552121009.245 * [simplify]: Simplified to (+ 30 d2) 1552121009.245 * [simplify]: Simplified (2 2) to (λ (d1 d2) (* (* d1 1) (+ 30 d2))) 1552121009.245 * * * * [progress]: [ 13 / 19 ] simplifiying candidate # 1552121009.245 * [simplify]: Simplifying (+ (* d2 d2) (- (* 30 30) (* d2 30))) 1552121009.245 * * [simplify]: iters left: 6 (7 enodes) 1552121009.248 * * [simplify]: iters left: 5 (30 enodes) 1552121009.253 * * [simplify]: iters left: 4 (59 enodes) 1552121009.268 * * [simplify]: iters left: 3 (87 enodes) 1552121009.290 * * [simplify]: iters left: 2 (103 enodes) 1552121009.304 * * [simplify]: iters left: 1 (126 enodes) 1552121009.331 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121009.331 * * [simplify]: Extracting #1: cost 13 inf + 0 1552121009.331 * * [simplify]: Extracting #2: cost 31 inf + 1 1552121009.331 * * [simplify]: Extracting #3: cost 25 inf + 376 1552121009.332 * * [simplify]: Extracting #4: cost 4 inf + 2019 1552121009.334 * * [simplify]: Extracting #5: cost 0 inf + 2185 1552121009.335 * [simplify]: Simplified to (- 900 (* (- 30 d2) d2)) 1552121009.335 * [simplify]: Simplified (2 2) to (λ (d1 d2) (/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (* (- 30 d2) d2)))) 1552121009.335 * * * * [progress]: [ 14 / 19 ] simplifiying candidate # 1552121009.336 * [simplify]: Simplifying (- d2 30) 1552121009.336 * * [simplify]: iters left: 2 (3 enodes) 1552121009.339 * * [simplify]: iters left: 1 (12 enodes) 1552121009.343 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121009.343 * * [simplify]: Extracting #1: cost 5 inf + 0 1552121009.343 * * [simplify]: Extracting #2: cost 2 inf + 3 1552121009.343 * * [simplify]: Extracting #3: cost 0 inf + 87 1552121009.343 * [simplify]: Simplified to (+ d2 -30) 1552121009.343 * [simplify]: Simplified (2 2) to (λ (d1 d2) (/ (* d1 (- (* d2 d2) (* 30 30))) (+ d2 -30))) 1552121009.343 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #real (real->posit16 (* d1 (+ d2 30)))))> 1552121009.343 * * * * [progress]: [ 16 / 19 ] simplifiying candidate # 1552121009.343 * * * * [progress]: [ 17 / 19 ] simplifiying candidate # 1552121009.343 * [simplify]: Simplifying (+ (* d2 d1) (* 30 d1)) 1552121009.343 * * [simplify]: iters left: 4 (6 enodes) 1552121009.346 * * [simplify]: iters left: 3 (23 enodes) 1552121009.350 * * [simplify]: iters left: 2 (28 enodes) 1552121009.354 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121009.354 * * [simplify]: Extracting #1: cost 6 inf + 0 1552121009.354 * * [simplify]: Extracting #2: cost 10 inf + 1 1552121009.354 * * [simplify]: Extracting #3: cost 8 inf + 3 1552121009.354 * * [simplify]: Extracting #4: cost 0 inf + 501 1552121009.354 * * [simplify]: Extracting #5: cost 0 inf + 421 1552121009.354 * [simplify]: Simplified to (* (+ 30 d2) d1) 1552121009.354 * [simplify]: Simplified (2) to (λ (d1 d2) (* (+ 30 d2) d1)) 1552121009.354 * * * * [progress]: [ 18 / 19 ] simplifiying candidate # 1552121009.355 * [simplify]: Simplifying (+ (* d2 d1) (* 30 d1)) 1552121009.355 * * [simplify]: iters left: 4 (6 enodes) 1552121009.356 * * [simplify]: iters left: 3 (23 enodes) 1552121009.360 * * [simplify]: iters left: 2 (28 enodes) 1552121009.364 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121009.364 * * [simplify]: Extracting #1: cost 6 inf + 0 1552121009.364 * * [simplify]: Extracting #2: cost 10 inf + 1 1552121009.364 * * [simplify]: Extracting #3: cost 8 inf + 3 1552121009.364 * * [simplify]: Extracting #4: cost 0 inf + 501 1552121009.364 * * [simplify]: Extracting #5: cost 0 inf + 421 1552121009.364 * [simplify]: Simplified to (* (+ 30 d2) d1) 1552121009.364 * [simplify]: Simplified (2) to (λ (d1 d2) (* (+ 30 d2) d1)) 1552121009.364 * * * * [progress]: [ 19 / 19 ] simplifiying candidate # 1552121009.365 * [simplify]: Simplifying (+ (* d2 d1) (* 30 d1)) 1552121009.365 * * [simplify]: iters left: 4 (6 enodes) 1552121009.366 * * [simplify]: iters left: 3 (23 enodes) 1552121009.370 * * [simplify]: iters left: 2 (28 enodes) 1552121009.375 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121009.375 * * [simplify]: Extracting #1: cost 6 inf + 0 1552121009.375 * * [simplify]: Extracting #2: cost 10 inf + 1 1552121009.375 * * [simplify]: Extracting #3: cost 8 inf + 3 1552121009.375 * * [simplify]: Extracting #4: cost 0 inf + 501 1552121009.376 * * [simplify]: Extracting #5: cost 0 inf + 421 1552121009.376 * [simplify]: Simplified to (* (+ 30 d2) d1) 1552121009.376 * [simplify]: Simplified (2) to (λ (d1 d2) (* (+ 30 d2) d1)) 1552121009.376 * * * [progress]: adding candidates to table 1552121009.516 * * [progress]: iteration 2 / 4 1552121009.516 * * * [progress]: picking best candidate 1552121009.519 * * * * [pick]: Picked # 1552121009.519 * * * [progress]: localizing error 1552121009.561 * * * [progress]: generating rewritten candidates 1552121009.561 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1552121009.574 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1552121009.580 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 1552121009.583 * * * [progress]: generating series expansions 1552121009.583 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1552121009.584 * [backup-simplify]: Simplify (/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (* (- 30 d2) d2))) into (/ (* d1 (+ (pow d2 3) 27000)) (- (+ (pow d2 2) 900) (* 30 d2))) 1552121009.584 * [approximate]: Taking taylor expansion of (/ (* d1 (+ (pow d2 3) 27000)) (- (+ (pow d2 2) 900) (* 30 d2))) in (d1 d2) around 0 1552121009.584 * [taylor]: Taking taylor expansion of (/ (* d1 (+ (pow d2 3) 27000)) (- (+ (pow d2 2) 900) (* 30 d2))) in d2 1552121009.584 * [taylor]: Taking taylor expansion of (* d1 (+ (pow d2 3) 27000)) in d2 1552121009.584 * [taylor]: Taking taylor expansion of d1 in d2 1552121009.584 * [backup-simplify]: Simplify d1 into d1 1552121009.584 * [taylor]: Taking taylor expansion of (+ (pow d2 3) 27000) in d2 1552121009.584 * [taylor]: Taking taylor expansion of (pow d2 3) in d2 1552121009.584 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.584 * [backup-simplify]: Simplify 0 into 0 1552121009.584 * [backup-simplify]: Simplify 1 into 1 1552121009.584 * [taylor]: Taking taylor expansion of 27000 in d2 1552121009.584 * [backup-simplify]: Simplify 27000 into 27000 1552121009.584 * [taylor]: Taking taylor expansion of (- (+ (pow d2 2) 900) (* 30 d2)) in d2 1552121009.584 * [taylor]: Taking taylor expansion of (+ (pow d2 2) 900) in d2 1552121009.584 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1552121009.584 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.584 * [backup-simplify]: Simplify 0 into 0 1552121009.584 * [backup-simplify]: Simplify 1 into 1 1552121009.584 * [taylor]: Taking taylor expansion of 900 in d2 1552121009.584 * [backup-simplify]: Simplify 900 into 900 1552121009.584 * [taylor]: Taking taylor expansion of (* 30 d2) in d2 1552121009.584 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.584 * [backup-simplify]: Simplify 30 into 30 1552121009.584 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.584 * [backup-simplify]: Simplify 0 into 0 1552121009.584 * [backup-simplify]: Simplify 1 into 1 1552121009.585 * [backup-simplify]: Simplify (+ 0 27000) into 27000 1552121009.585 * [backup-simplify]: Simplify (* d1 27000) into (* 27000 d1) 1552121009.585 * [backup-simplify]: Simplify (+ 0 900) into 900 1552121009.585 * [backup-simplify]: Simplify (* 30 0) into 0 1552121009.586 * [backup-simplify]: Simplify (- 0) into 0 1552121009.586 * [backup-simplify]: Simplify (+ 900 0) into 900 1552121009.586 * [backup-simplify]: Simplify (/ (* 27000 d1) 900) into (* 30 d1) 1552121009.586 * [taylor]: Taking taylor expansion of (/ (* d1 (+ (pow d2 3) 27000)) (- (+ (pow d2 2) 900) (* 30 d2))) in d1 1552121009.586 * [taylor]: Taking taylor expansion of (* d1 (+ (pow d2 3) 27000)) in d1 1552121009.586 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.586 * [backup-simplify]: Simplify 0 into 0 1552121009.586 * [backup-simplify]: Simplify 1 into 1 1552121009.586 * [taylor]: Taking taylor expansion of (+ (pow d2 3) 27000) in d1 1552121009.586 * [taylor]: Taking taylor expansion of (pow d2 3) in d1 1552121009.586 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.586 * [backup-simplify]: Simplify d2 into d2 1552121009.586 * [taylor]: Taking taylor expansion of 27000 in d1 1552121009.586 * [backup-simplify]: Simplify 27000 into 27000 1552121009.586 * [taylor]: Taking taylor expansion of (- (+ (pow d2 2) 900) (* 30 d2)) in d1 1552121009.586 * [taylor]: Taking taylor expansion of (+ (pow d2 2) 900) in d1 1552121009.586 * [taylor]: Taking taylor expansion of (pow d2 2) in d1 1552121009.586 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.586 * [backup-simplify]: Simplify d2 into d2 1552121009.586 * [taylor]: Taking taylor expansion of 900 in d1 1552121009.586 * [backup-simplify]: Simplify 900 into 900 1552121009.586 * [taylor]: Taking taylor expansion of (* 30 d2) in d1 1552121009.586 * [taylor]: Taking taylor expansion of 30 in d1 1552121009.586 * [backup-simplify]: Simplify 30 into 30 1552121009.586 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.586 * [backup-simplify]: Simplify d2 into d2 1552121009.586 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.586 * [backup-simplify]: Simplify (* d2 (pow d2 2)) into (pow d2 3) 1552121009.587 * [backup-simplify]: Simplify (+ (pow d2 3) 27000) into (+ (pow d2 3) 27000) 1552121009.587 * [backup-simplify]: Simplify (* 0 (+ (pow d2 3) 27000)) into 0 1552121009.587 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 1552121009.587 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 (pow d2 2))) into 0 1552121009.587 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.587 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ (pow d2 3) 27000))) into (+ (pow d2 3) 27000) 1552121009.587 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.587 * [backup-simplify]: Simplify (+ (pow d2 2) 900) into (+ (pow d2 2) 900) 1552121009.587 * [backup-simplify]: Simplify (* 30 d2) into (* 30 d2) 1552121009.588 * [backup-simplify]: Simplify (- (* 30 d2)) into (- (* 30 d2)) 1552121009.588 * [backup-simplify]: Simplify (+ (+ (pow d2 2) 900) (- (* 30 d2))) into (- (+ (pow d2 2) 900) (* 30 d2)) 1552121009.588 * [backup-simplify]: Simplify (/ (+ (pow d2 3) 27000) (- (+ (pow d2 2) 900) (* 30 d2))) into (/ (+ (pow d2 3) 27000) (- (+ (pow d2 2) 900) (* 30 d2))) 1552121009.588 * [taylor]: Taking taylor expansion of (/ (* d1 (+ (pow d2 3) 27000)) (- (+ (pow d2 2) 900) (* 30 d2))) in d1 1552121009.588 * [taylor]: Taking taylor expansion of (* d1 (+ (pow d2 3) 27000)) in d1 1552121009.588 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.588 * [backup-simplify]: Simplify 0 into 0 1552121009.588 * [backup-simplify]: Simplify 1 into 1 1552121009.588 * [taylor]: Taking taylor expansion of (+ (pow d2 3) 27000) in d1 1552121009.588 * [taylor]: Taking taylor expansion of (pow d2 3) in d1 1552121009.588 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.588 * [backup-simplify]: Simplify d2 into d2 1552121009.588 * [taylor]: Taking taylor expansion of 27000 in d1 1552121009.588 * [backup-simplify]: Simplify 27000 into 27000 1552121009.588 * [taylor]: Taking taylor expansion of (- (+ (pow d2 2) 900) (* 30 d2)) in d1 1552121009.588 * [taylor]: Taking taylor expansion of (+ (pow d2 2) 900) in d1 1552121009.588 * [taylor]: Taking taylor expansion of (pow d2 2) in d1 1552121009.588 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.588 * [backup-simplify]: Simplify d2 into d2 1552121009.588 * [taylor]: Taking taylor expansion of 900 in d1 1552121009.588 * [backup-simplify]: Simplify 900 into 900 1552121009.588 * [taylor]: Taking taylor expansion of (* 30 d2) in d1 1552121009.588 * [taylor]: Taking taylor expansion of 30 in d1 1552121009.588 * [backup-simplify]: Simplify 30 into 30 1552121009.588 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.588 * [backup-simplify]: Simplify d2 into d2 1552121009.588 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.588 * [backup-simplify]: Simplify (* d2 (pow d2 2)) into (pow d2 3) 1552121009.588 * [backup-simplify]: Simplify (+ (pow d2 3) 27000) into (+ (pow d2 3) 27000) 1552121009.588 * [backup-simplify]: Simplify (* 0 (+ (pow d2 3) 27000)) into 0 1552121009.588 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 1552121009.588 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 (pow d2 2))) into 0 1552121009.589 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.589 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ (pow d2 3) 27000))) into (+ (pow d2 3) 27000) 1552121009.589 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.589 * [backup-simplify]: Simplify (+ (pow d2 2) 900) into (+ (pow d2 2) 900) 1552121009.589 * [backup-simplify]: Simplify (* 30 d2) into (* 30 d2) 1552121009.589 * [backup-simplify]: Simplify (- (* 30 d2)) into (- (* 30 d2)) 1552121009.589 * [backup-simplify]: Simplify (+ (+ (pow d2 2) 900) (- (* 30 d2))) into (- (+ (pow d2 2) 900) (* 30 d2)) 1552121009.589 * [backup-simplify]: Simplify (/ (+ (pow d2 3) 27000) (- (+ (pow d2 2) 900) (* 30 d2))) into (/ (+ (pow d2 3) 27000) (- (+ (pow d2 2) 900) (* 30 d2))) 1552121009.589 * [taylor]: Taking taylor expansion of (/ (+ (pow d2 3) 27000) (- (+ (pow d2 2) 900) (* 30 d2))) in d2 1552121009.589 * [taylor]: Taking taylor expansion of (+ (pow d2 3) 27000) in d2 1552121009.590 * [taylor]: Taking taylor expansion of (pow d2 3) in d2 1552121009.590 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.590 * [backup-simplify]: Simplify 0 into 0 1552121009.590 * [backup-simplify]: Simplify 1 into 1 1552121009.590 * [taylor]: Taking taylor expansion of 27000 in d2 1552121009.590 * [backup-simplify]: Simplify 27000 into 27000 1552121009.590 * [taylor]: Taking taylor expansion of (- (+ (pow d2 2) 900) (* 30 d2)) in d2 1552121009.590 * [taylor]: Taking taylor expansion of (+ (pow d2 2) 900) in d2 1552121009.590 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1552121009.590 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.590 * [backup-simplify]: Simplify 0 into 0 1552121009.590 * [backup-simplify]: Simplify 1 into 1 1552121009.590 * [taylor]: Taking taylor expansion of 900 in d2 1552121009.590 * [backup-simplify]: Simplify 900 into 900 1552121009.590 * [taylor]: Taking taylor expansion of (* 30 d2) in d2 1552121009.590 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.590 * [backup-simplify]: Simplify 30 into 30 1552121009.590 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.590 * [backup-simplify]: Simplify 0 into 0 1552121009.590 * [backup-simplify]: Simplify 1 into 1 1552121009.590 * [backup-simplify]: Simplify (+ 0 27000) into 27000 1552121009.590 * [backup-simplify]: Simplify (+ 0 900) into 900 1552121009.591 * [backup-simplify]: Simplify (* 30 0) into 0 1552121009.591 * [backup-simplify]: Simplify (- 0) into 0 1552121009.591 * [backup-simplify]: Simplify (+ 900 0) into 900 1552121009.591 * [backup-simplify]: Simplify (/ 27000 900) into 30 1552121009.591 * [backup-simplify]: Simplify 30 into 30 1552121009.592 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (* 0 d2))) into 0 1552121009.592 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (* 0 (pow d2 2)))) into 0 1552121009.592 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.593 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ (pow d2 3) 27000)))) into 0 1552121009.593 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 1552121009.593 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.593 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 d2)) into 0 1552121009.594 * [backup-simplify]: Simplify (- 0) into 0 1552121009.594 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.594 * [backup-simplify]: Simplify (- (/ 0 (- (+ (pow d2 2) 900) (* 30 d2))) (+ (* (/ (+ (pow d2 3) 27000) (- (+ (pow d2 2) 900) (* 30 d2))) (/ 0 (- (+ (pow d2 2) 900) (* 30 d2)))))) into 0 1552121009.594 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.594 * [backup-simplify]: Simplify 0 into 0 1552121009.594 * [backup-simplify]: Simplify 0 into 0 1552121009.595 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.595 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.595 * [backup-simplify]: Simplify (+ (* 30 1) (* 0 0)) into 30 1552121009.595 * [backup-simplify]: Simplify (- 30) into -30 1552121009.596 * [backup-simplify]: Simplify (+ 0 -30) into -30 1552121009.596 * [backup-simplify]: Simplify (- (/ 0 900) (+ (* 30 (/ -30 900)))) into 1 1552121009.596 * [backup-simplify]: Simplify 1 into 1 1552121009.597 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))) into 0 1552121009.597 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow d2 2))))) into 0 1552121009.598 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.599 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (+ (pow d2 3) 27000))))) into 0 1552121009.599 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (* 0 d2))) into 0 1552121009.599 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.600 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (* 0 d2))) into 0 1552121009.600 * [backup-simplify]: Simplify (- 0) into 0 1552121009.600 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.605 * [backup-simplify]: Simplify (- (/ 0 (- (+ (pow d2 2) 900) (* 30 d2))) (+ (* (/ (+ (pow d2 3) 27000) (- (+ (pow d2 2) 900) (* 30 d2))) (/ 0 (- (+ (pow d2 2) 900) (* 30 d2)))) (* 0 (/ 0 (- (+ (pow d2 2) 900) (* 30 d2)))))) into 0 1552121009.605 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.605 * [backup-simplify]: Simplify 0 into 0 1552121009.605 * [backup-simplify]: Simplify 0 into 0 1552121009.605 * [backup-simplify]: Simplify 0 into 0 1552121009.605 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.606 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.606 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.607 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 1) (* 0 0))) into 0 1552121009.607 * [backup-simplify]: Simplify (- 0) into 0 1552121009.608 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.609 * [backup-simplify]: Simplify (- (/ 0 900) (+ (* 30 (/ 1 900)) (* 1 (/ -30 900)))) into 0 1552121009.609 * [backup-simplify]: Simplify 0 into 0 1552121009.611 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0 1552121009.612 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow d2 2)))))) into 0 1552121009.612 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.614 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (pow d2 3) 27000)))))) into 0 1552121009.614 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))) into 0 1552121009.615 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.616 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))) into 0 1552121009.616 * [backup-simplify]: Simplify (- 0) into 0 1552121009.617 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.618 * [backup-simplify]: Simplify (- (/ 0 (- (+ (pow d2 2) 900) (* 30 d2))) (+ (* (/ (+ (pow d2 3) 27000) (- (+ (pow d2 2) 900) (* 30 d2))) (/ 0 (- (+ (pow d2 2) 900) (* 30 d2)))) (* 0 (/ 0 (- (+ (pow d2 2) 900) (* 30 d2)))) (* 0 (/ 0 (- (+ (pow d2 2) 900) (* 30 d2)))))) into 0 1552121009.618 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.618 * [backup-simplify]: Simplify 0 into 0 1552121009.618 * [backup-simplify]: Simplify 0 into 0 1552121009.618 * [backup-simplify]: Simplify 0 into 0 1552121009.618 * [backup-simplify]: Simplify 0 into 0 1552121009.618 * [backup-simplify]: Simplify (+ (* 1 (* d2 d1)) (* 30 (* 1 d1))) into (+ (* d2 d1) (* 30 d1)) 1552121009.619 * [backup-simplify]: Simplify (/ (* (/ 1 d1) (+ (pow (/ 1 d2) 3) (pow 30 3))) (- 900 (* (- 30 (/ 1 d2)) (/ 1 d2)))) into (/ (+ (/ 1 (pow d2 3)) 27000) (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1)) 1552121009.619 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow d2 3)) 27000) (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1)) in (d1 d2) around 0 1552121009.619 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow d2 3)) 27000) (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1)) in d2 1552121009.619 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 3)) 27000) in d2 1552121009.619 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d2 1552121009.619 * [taylor]: Taking taylor expansion of (pow d2 3) in d2 1552121009.619 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.619 * [backup-simplify]: Simplify 0 into 0 1552121009.619 * [backup-simplify]: Simplify 1 into 1 1552121009.620 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.620 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.620 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.620 * [taylor]: Taking taylor expansion of 27000 in d2 1552121009.620 * [backup-simplify]: Simplify 27000 into 27000 1552121009.620 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1) in d2 1552121009.620 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) in d2 1552121009.620 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 2)) 900) in d2 1552121009.620 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1552121009.620 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1552121009.620 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.620 * [backup-simplify]: Simplify 0 into 0 1552121009.620 * [backup-simplify]: Simplify 1 into 1 1552121009.621 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.621 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.621 * [taylor]: Taking taylor expansion of 900 in d2 1552121009.621 * [backup-simplify]: Simplify 900 into 900 1552121009.621 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d2 1552121009.621 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.621 * [backup-simplify]: Simplify 30 into 30 1552121009.621 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1552121009.621 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.621 * [backup-simplify]: Simplify 0 into 0 1552121009.621 * [backup-simplify]: Simplify 1 into 1 1552121009.622 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.622 * [taylor]: Taking taylor expansion of d1 in d2 1552121009.622 * [backup-simplify]: Simplify d1 into d1 1552121009.622 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.623 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.623 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.623 * [backup-simplify]: Simplify (* 1 d1) into d1 1552121009.623 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1552121009.623 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow d2 3)) 27000) (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1)) in d1 1552121009.623 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 3)) 27000) in d1 1552121009.624 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d1 1552121009.624 * [taylor]: Taking taylor expansion of (pow d2 3) in d1 1552121009.624 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.624 * [backup-simplify]: Simplify d2 into d2 1552121009.624 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.624 * [backup-simplify]: Simplify (* d2 (pow d2 2)) into (pow d2 3) 1552121009.624 * [backup-simplify]: Simplify (/ 1 (pow d2 3)) into (/ 1 (pow d2 3)) 1552121009.624 * [taylor]: Taking taylor expansion of 27000 in d1 1552121009.624 * [backup-simplify]: Simplify 27000 into 27000 1552121009.624 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1) in d1 1552121009.624 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) in d1 1552121009.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 2)) 900) in d1 1552121009.624 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d1 1552121009.624 * [taylor]: Taking taylor expansion of (pow d2 2) in d1 1552121009.624 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.624 * [backup-simplify]: Simplify d2 into d2 1552121009.624 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.624 * [backup-simplify]: Simplify (/ 1 (pow d2 2)) into (/ 1 (pow d2 2)) 1552121009.624 * [taylor]: Taking taylor expansion of 900 in d1 1552121009.624 * [backup-simplify]: Simplify 900 into 900 1552121009.624 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d1 1552121009.624 * [taylor]: Taking taylor expansion of 30 in d1 1552121009.624 * [backup-simplify]: Simplify 30 into 30 1552121009.624 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 1552121009.624 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.624 * [backup-simplify]: Simplify d2 into d2 1552121009.624 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1552121009.624 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.624 * [backup-simplify]: Simplify 0 into 0 1552121009.625 * [backup-simplify]: Simplify 1 into 1 1552121009.625 * [backup-simplify]: Simplify (+ (/ 1 (pow d2 3)) 27000) into (+ (/ 1 (pow d2 3)) 27000) 1552121009.625 * [backup-simplify]: Simplify (+ (/ 1 (pow d2 2)) 900) into (+ (/ 1 (pow d2 2)) 900) 1552121009.625 * [backup-simplify]: Simplify (* 30 (/ 1 d2)) into (/ 30 d2) 1552121009.625 * [backup-simplify]: Simplify (- (/ 30 d2)) into (- (* 30 (/ 1 d2))) 1552121009.625 * [backup-simplify]: Simplify (+ (+ (/ 1 (pow d2 2)) 900) (- (* 30 (/ 1 d2)))) into (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 1552121009.625 * [backup-simplify]: Simplify (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 0) into 0 1552121009.625 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 1552121009.626 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 2)) (/ 0 (pow d2 2))))) into 0 1552121009.626 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.626 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1552121009.627 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 (/ 1 d2))) into 0 1552121009.627 * [backup-simplify]: Simplify (- 0) into 0 1552121009.628 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.628 * [backup-simplify]: Simplify (+ (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 1) (* 0 0)) into (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 1552121009.628 * [backup-simplify]: Simplify (/ (+ (/ 1 (pow d2 3)) 27000) (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2)))) into (/ (+ (/ 1 (pow d2 3)) 27000) (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2)))) 1552121009.628 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow d2 3)) 27000) (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1)) in d1 1552121009.629 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 3)) 27000) in d1 1552121009.629 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d1 1552121009.629 * [taylor]: Taking taylor expansion of (pow d2 3) in d1 1552121009.629 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.629 * [backup-simplify]: Simplify d2 into d2 1552121009.629 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.629 * [backup-simplify]: Simplify (* d2 (pow d2 2)) into (pow d2 3) 1552121009.629 * [backup-simplify]: Simplify (/ 1 (pow d2 3)) into (/ 1 (pow d2 3)) 1552121009.629 * [taylor]: Taking taylor expansion of 27000 in d1 1552121009.629 * [backup-simplify]: Simplify 27000 into 27000 1552121009.629 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) d1) in d1 1552121009.629 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) in d1 1552121009.629 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 2)) 900) in d1 1552121009.629 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d1 1552121009.629 * [taylor]: Taking taylor expansion of (pow d2 2) in d1 1552121009.629 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.629 * [backup-simplify]: Simplify d2 into d2 1552121009.629 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.629 * [backup-simplify]: Simplify (/ 1 (pow d2 2)) into (/ 1 (pow d2 2)) 1552121009.629 * [taylor]: Taking taylor expansion of 900 in d1 1552121009.629 * [backup-simplify]: Simplify 900 into 900 1552121009.629 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d1 1552121009.629 * [taylor]: Taking taylor expansion of 30 in d1 1552121009.629 * [backup-simplify]: Simplify 30 into 30 1552121009.629 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 1552121009.629 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.629 * [backup-simplify]: Simplify d2 into d2 1552121009.629 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1552121009.629 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.630 * [backup-simplify]: Simplify 0 into 0 1552121009.630 * [backup-simplify]: Simplify 1 into 1 1552121009.630 * [backup-simplify]: Simplify (+ (/ 1 (pow d2 3)) 27000) into (+ (/ 1 (pow d2 3)) 27000) 1552121009.630 * [backup-simplify]: Simplify (+ (/ 1 (pow d2 2)) 900) into (+ (/ 1 (pow d2 2)) 900) 1552121009.630 * [backup-simplify]: Simplify (* 30 (/ 1 d2)) into (/ 30 d2) 1552121009.630 * [backup-simplify]: Simplify (- (/ 30 d2)) into (- (* 30 (/ 1 d2))) 1552121009.630 * [backup-simplify]: Simplify (+ (+ (/ 1 (pow d2 2)) 900) (- (* 30 (/ 1 d2)))) into (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 1552121009.630 * [backup-simplify]: Simplify (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 0) into 0 1552121009.630 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 1552121009.631 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 2)) (/ 0 (pow d2 2))))) into 0 1552121009.631 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.631 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1552121009.632 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 (/ 1 d2))) into 0 1552121009.632 * [backup-simplify]: Simplify (- 0) into 0 1552121009.632 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.633 * [backup-simplify]: Simplify (+ (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 1) (* 0 0)) into (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 1552121009.633 * [backup-simplify]: Simplify (/ (+ (/ 1 (pow d2 3)) 27000) (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2)))) into (/ (+ (/ 1 (pow d2 3)) 27000) (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2)))) 1552121009.634 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow d2 3)) 27000) (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2)))) in d2 1552121009.634 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 3)) 27000) in d2 1552121009.634 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d2 1552121009.634 * [taylor]: Taking taylor expansion of (pow d2 3) in d2 1552121009.634 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.634 * [backup-simplify]: Simplify 0 into 0 1552121009.634 * [backup-simplify]: Simplify 1 into 1 1552121009.634 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.635 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.635 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.635 * [taylor]: Taking taylor expansion of 27000 in d2 1552121009.635 * [backup-simplify]: Simplify 27000 into 27000 1552121009.635 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) in d2 1552121009.635 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 2)) 900) in d2 1552121009.635 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1552121009.635 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1552121009.635 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.635 * [backup-simplify]: Simplify 0 into 0 1552121009.635 * [backup-simplify]: Simplify 1 into 1 1552121009.636 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.636 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.636 * [taylor]: Taking taylor expansion of 900 in d2 1552121009.636 * [backup-simplify]: Simplify 900 into 900 1552121009.636 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d2 1552121009.636 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.636 * [backup-simplify]: Simplify 30 into 30 1552121009.636 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1552121009.636 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.636 * [backup-simplify]: Simplify 0 into 0 1552121009.636 * [backup-simplify]: Simplify 1 into 1 1552121009.637 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.637 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.638 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.638 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.638 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.638 * [backup-simplify]: Simplify 1 into 1 1552121009.639 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 1552121009.639 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 (pow d2 2))) into 0 1552121009.639 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))))) into 0 1552121009.639 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.640 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (* 0 d2))) into 0 1552121009.640 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 2)) (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))))) into 0 1552121009.640 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.640 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1552121009.641 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (* 0 (/ 1 d2)))) into 0 1552121009.642 * [backup-simplify]: Simplify (- 0) into 0 1552121009.642 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.643 * [backup-simplify]: Simplify (+ (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 0) (+ (* 0 1) (* 0 0))) into 0 1552121009.644 * [backup-simplify]: Simplify (- (/ 0 (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2)))) (+ (* (/ (+ (/ 1 (pow d2 3)) 27000) (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2)))) (/ 0 (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))))))) into 0 1552121009.644 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.644 * [backup-simplify]: Simplify 0 into 0 1552121009.644 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121009.645 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121009.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121009.646 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.647 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121009.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121009.648 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.648 * [backup-simplify]: Simplify (* 30 1) into 30 1552121009.648 * [backup-simplify]: Simplify (- 30) into -30 1552121009.649 * [backup-simplify]: Simplify (+ 0 -30) into -30 1552121009.650 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ -30 1)))) into 30 1552121009.650 * [backup-simplify]: Simplify 30 into 30 1552121009.650 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (* 0 d2))) into 0 1552121009.651 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (* 0 (pow d2 2)))) into 0 1552121009.651 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.651 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.652 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))) into 0 1552121009.652 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 2)) (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))))) into 0 1552121009.653 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.653 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1552121009.654 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 d2))))) into 0 1552121009.654 * [backup-simplify]: Simplify (- 0) into 0 1552121009.655 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.656 * [backup-simplify]: Simplify (+ (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552121009.657 * [backup-simplify]: Simplify (- (/ 0 (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2)))) (+ (* (/ (+ (/ 1 (pow d2 3)) 27000) (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2)))) (/ 0 (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))))) (* 0 (/ 0 (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))))))) into 0 1552121009.657 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.657 * [backup-simplify]: Simplify 0 into 0 1552121009.657 * [backup-simplify]: Simplify 0 into 0 1552121009.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121009.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121009.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.660 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121009.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.662 * [backup-simplify]: Simplify (+ 0 900) into 900 1552121009.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121009.663 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 1)) into 0 1552121009.664 * [backup-simplify]: Simplify (- 0) into 0 1552121009.664 * [backup-simplify]: Simplify (+ 900 0) into 900 1552121009.665 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 900 1)) (* 30 (/ -30 1)))) into 0 1552121009.665 * [backup-simplify]: Simplify 0 into 0 1552121009.666 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))) into 0 1552121009.667 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow d2 2))))) into 0 1552121009.667 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.668 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.669 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0 1552121009.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 2)) (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))))) into 0 1552121009.669 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1552121009.671 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 d2)))))) into 0 1552121009.671 * [backup-simplify]: Simplify (- 0) into 0 1552121009.672 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.673 * [backup-simplify]: Simplify (+ (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1552121009.673 * [backup-simplify]: Simplify (- (/ 0 (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2)))) (+ (* (/ (+ (/ 1 (pow d2 3)) 27000) (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2)))) (/ 0 (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))))) (* 0 (/ 0 (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))))) (* 0 (/ 0 (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))))))) into 0 1552121009.674 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.674 * [backup-simplify]: Simplify 0 into 0 1552121009.674 * [backup-simplify]: Simplify 0 into 0 1552121009.674 * [backup-simplify]: Simplify 0 into 0 1552121009.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121009.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121009.676 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.677 * [backup-simplify]: Simplify (+ 0 27000) into 27000 1552121009.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121009.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.679 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.681 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (* 0 1))) into 0 1552121009.682 * [backup-simplify]: Simplify (- 0) into 0 1552121009.682 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.684 * [backup-simplify]: Simplify (- (/ 27000 1) (+ (* 1 (/ 0 1)) (* 30 (/ 900 1)) (* 0 (/ -30 1)))) into 0 1552121009.684 * [backup-simplify]: Simplify 0 into 0 1552121009.685 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0 1552121009.687 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow d2 2)))))) into 0 1552121009.687 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.687 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.689 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))))) into 0 1552121009.690 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 2)) (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))))) into 0 1552121009.690 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.690 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1552121009.692 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 d2))))))) into 0 1552121009.692 * [backup-simplify]: Simplify (- 0) into 0 1552121009.693 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.694 * [backup-simplify]: Simplify (+ (* (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1552121009.695 * [backup-simplify]: Simplify (- (/ 0 (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2)))) (+ (* (/ (+ (/ 1 (pow d2 3)) 27000) (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2)))) (/ 0 (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))))) (* 0 (/ 0 (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))))) (* 0 (/ 0 (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))))) (* 0 (/ 0 (- (+ (/ 1 (pow d2 2)) 900) (* 30 (/ 1 d2))))))) into 0 1552121009.695 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.695 * [backup-simplify]: Simplify 0 into 0 1552121009.695 * [backup-simplify]: Simplify 0 into 0 1552121009.696 * [backup-simplify]: Simplify (+ (* 30 (* 1 (/ 1 (/ 1 d1)))) (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) into (+ (* d2 d1) (* 30 d1)) 1552121009.696 * [backup-simplify]: Simplify (/ (* (/ 1 (- d1)) (+ (pow (/ 1 (- d2)) 3) (pow 30 3))) (- 900 (* (- 30 (/ 1 (- d2))) (/ 1 (- d2))))) into (* -1 (/ (- 27000 (/ 1 (pow d2 3))) (* d1 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))))) 1552121009.696 * [approximate]: Taking taylor expansion of (* -1 (/ (- 27000 (/ 1 (pow d2 3))) (* d1 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))))) in (d1 d2) around 0 1552121009.697 * [taylor]: Taking taylor expansion of (* -1 (/ (- 27000 (/ 1 (pow d2 3))) (* d1 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))))) in d2 1552121009.697 * [taylor]: Taking taylor expansion of -1 in d2 1552121009.697 * [backup-simplify]: Simplify -1 into -1 1552121009.697 * [taylor]: Taking taylor expansion of (/ (- 27000 (/ 1 (pow d2 3))) (* d1 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))) in d2 1552121009.697 * [taylor]: Taking taylor expansion of (- 27000 (/ 1 (pow d2 3))) in d2 1552121009.697 * [taylor]: Taking taylor expansion of 27000 in d2 1552121009.697 * [backup-simplify]: Simplify 27000 into 27000 1552121009.697 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d2 1552121009.697 * [taylor]: Taking taylor expansion of (pow d2 3) in d2 1552121009.697 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.697 * [backup-simplify]: Simplify 0 into 0 1552121009.697 * [backup-simplify]: Simplify 1 into 1 1552121009.697 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.698 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.698 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.698 * [taylor]: Taking taylor expansion of (* d1 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) in d2 1552121009.698 * [taylor]: Taking taylor expansion of d1 in d2 1552121009.698 * [backup-simplify]: Simplify d1 into d1 1552121009.698 * [taylor]: Taking taylor expansion of (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) in d2 1552121009.698 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d2 1552121009.698 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.698 * [backup-simplify]: Simplify 30 into 30 1552121009.698 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1552121009.698 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.698 * [backup-simplify]: Simplify 0 into 0 1552121009.698 * [backup-simplify]: Simplify 1 into 1 1552121009.699 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.699 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 2)) 900) in d2 1552121009.699 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1552121009.699 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1552121009.699 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.699 * [backup-simplify]: Simplify 0 into 0 1552121009.699 * [backup-simplify]: Simplify 1 into 1 1552121009.699 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.699 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.699 * [taylor]: Taking taylor expansion of 900 in d2 1552121009.699 * [backup-simplify]: Simplify 900 into 900 1552121009.700 * [backup-simplify]: Simplify (- 1) into -1 1552121009.700 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552121009.701 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.701 * [backup-simplify]: Simplify (+ 0 1) into 1 1552121009.701 * [backup-simplify]: Simplify (* d1 1) into d1 1552121009.701 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 1552121009.701 * [taylor]: Taking taylor expansion of (* -1 (/ (- 27000 (/ 1 (pow d2 3))) (* d1 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))))) in d1 1552121009.701 * [taylor]: Taking taylor expansion of -1 in d1 1552121009.701 * [backup-simplify]: Simplify -1 into -1 1552121009.701 * [taylor]: Taking taylor expansion of (/ (- 27000 (/ 1 (pow d2 3))) (* d1 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))) in d1 1552121009.701 * [taylor]: Taking taylor expansion of (- 27000 (/ 1 (pow d2 3))) in d1 1552121009.701 * [taylor]: Taking taylor expansion of 27000 in d1 1552121009.701 * [backup-simplify]: Simplify 27000 into 27000 1552121009.701 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d1 1552121009.701 * [taylor]: Taking taylor expansion of (pow d2 3) in d1 1552121009.702 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.702 * [backup-simplify]: Simplify d2 into d2 1552121009.702 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.702 * [backup-simplify]: Simplify (* d2 (pow d2 2)) into (pow d2 3) 1552121009.702 * [backup-simplify]: Simplify (/ 1 (pow d2 3)) into (/ 1 (pow d2 3)) 1552121009.702 * [taylor]: Taking taylor expansion of (* d1 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) in d1 1552121009.702 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.702 * [backup-simplify]: Simplify 0 into 0 1552121009.702 * [backup-simplify]: Simplify 1 into 1 1552121009.702 * [taylor]: Taking taylor expansion of (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) in d1 1552121009.702 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d1 1552121009.702 * [taylor]: Taking taylor expansion of 30 in d1 1552121009.702 * [backup-simplify]: Simplify 30 into 30 1552121009.702 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 1552121009.702 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.702 * [backup-simplify]: Simplify d2 into d2 1552121009.702 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1552121009.702 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 2)) 900) in d1 1552121009.702 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d1 1552121009.702 * [taylor]: Taking taylor expansion of (pow d2 2) in d1 1552121009.702 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.702 * [backup-simplify]: Simplify d2 into d2 1552121009.702 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.702 * [backup-simplify]: Simplify (/ 1 (pow d2 2)) into (/ 1 (pow d2 2)) 1552121009.702 * [taylor]: Taking taylor expansion of 900 in d1 1552121009.702 * [backup-simplify]: Simplify 900 into 900 1552121009.703 * [backup-simplify]: Simplify (- (/ 1 (pow d2 3))) into (- (/ 1 (pow d2 3))) 1552121009.703 * [backup-simplify]: Simplify (+ 27000 (- (/ 1 (pow d2 3)))) into (- 27000 (/ 1 (pow d2 3))) 1552121009.703 * [backup-simplify]: Simplify (* 30 (/ 1 d2)) into (/ 30 d2) 1552121009.703 * [backup-simplify]: Simplify (+ (/ 1 (pow d2 2)) 900) into (+ (/ 1 (pow d2 2)) 900) 1552121009.703 * [backup-simplify]: Simplify (+ (/ 30 d2) (+ (/ 1 (pow d2 2)) 900)) into (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) 1552121009.703 * [backup-simplify]: Simplify (* 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) into 0 1552121009.703 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1552121009.704 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 (/ 1 d2))) into 0 1552121009.704 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 1552121009.704 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 2)) (/ 0 (pow d2 2))))) into 0 1552121009.704 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.705 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.705 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))) into (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) 1552121009.706 * [backup-simplify]: Simplify (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) into (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) 1552121009.706 * [taylor]: Taking taylor expansion of (* -1 (/ (- 27000 (/ 1 (pow d2 3))) (* d1 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))))) in d1 1552121009.706 * [taylor]: Taking taylor expansion of -1 in d1 1552121009.706 * [backup-simplify]: Simplify -1 into -1 1552121009.706 * [taylor]: Taking taylor expansion of (/ (- 27000 (/ 1 (pow d2 3))) (* d1 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))) in d1 1552121009.706 * [taylor]: Taking taylor expansion of (- 27000 (/ 1 (pow d2 3))) in d1 1552121009.706 * [taylor]: Taking taylor expansion of 27000 in d1 1552121009.706 * [backup-simplify]: Simplify 27000 into 27000 1552121009.706 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d1 1552121009.706 * [taylor]: Taking taylor expansion of (pow d2 3) in d1 1552121009.706 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.706 * [backup-simplify]: Simplify d2 into d2 1552121009.706 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.706 * [backup-simplify]: Simplify (* d2 (pow d2 2)) into (pow d2 3) 1552121009.706 * [backup-simplify]: Simplify (/ 1 (pow d2 3)) into (/ 1 (pow d2 3)) 1552121009.706 * [taylor]: Taking taylor expansion of (* d1 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) in d1 1552121009.706 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.706 * [backup-simplify]: Simplify 0 into 0 1552121009.706 * [backup-simplify]: Simplify 1 into 1 1552121009.706 * [taylor]: Taking taylor expansion of (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) in d1 1552121009.706 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d1 1552121009.706 * [taylor]: Taking taylor expansion of 30 in d1 1552121009.706 * [backup-simplify]: Simplify 30 into 30 1552121009.706 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 1552121009.706 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.707 * [backup-simplify]: Simplify d2 into d2 1552121009.707 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1552121009.707 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 2)) 900) in d1 1552121009.707 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d1 1552121009.707 * [taylor]: Taking taylor expansion of (pow d2 2) in d1 1552121009.707 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.707 * [backup-simplify]: Simplify d2 into d2 1552121009.707 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.707 * [backup-simplify]: Simplify (/ 1 (pow d2 2)) into (/ 1 (pow d2 2)) 1552121009.707 * [taylor]: Taking taylor expansion of 900 in d1 1552121009.707 * [backup-simplify]: Simplify 900 into 900 1552121009.707 * [backup-simplify]: Simplify (- (/ 1 (pow d2 3))) into (- (/ 1 (pow d2 3))) 1552121009.707 * [backup-simplify]: Simplify (+ 27000 (- (/ 1 (pow d2 3)))) into (- 27000 (/ 1 (pow d2 3))) 1552121009.707 * [backup-simplify]: Simplify (* 30 (/ 1 d2)) into (/ 30 d2) 1552121009.707 * [backup-simplify]: Simplify (+ (/ 1 (pow d2 2)) 900) into (+ (/ 1 (pow d2 2)) 900) 1552121009.708 * [backup-simplify]: Simplify (+ (/ 30 d2) (+ (/ 1 (pow d2 2)) 900)) into (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) 1552121009.708 * [backup-simplify]: Simplify (* 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) into 0 1552121009.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1552121009.709 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 (/ 1 d2))) into 0 1552121009.709 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 1552121009.709 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 2)) (/ 0 (pow d2 2))))) into 0 1552121009.709 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.710 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.710 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))) into (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) 1552121009.710 * [backup-simplify]: Simplify (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) into (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) 1552121009.711 * [backup-simplify]: Simplify (* -1 (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))) into (* -1 (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))) 1552121009.711 * [taylor]: Taking taylor expansion of (* -1 (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))) in d2 1552121009.711 * [taylor]: Taking taylor expansion of -1 in d2 1552121009.711 * [backup-simplify]: Simplify -1 into -1 1552121009.711 * [taylor]: Taking taylor expansion of (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) in d2 1552121009.711 * [taylor]: Taking taylor expansion of (- 27000 (/ 1 (pow d2 3))) in d2 1552121009.711 * [taylor]: Taking taylor expansion of 27000 in d2 1552121009.711 * [backup-simplify]: Simplify 27000 into 27000 1552121009.711 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d2 1552121009.711 * [taylor]: Taking taylor expansion of (pow d2 3) in d2 1552121009.711 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.711 * [backup-simplify]: Simplify 0 into 0 1552121009.711 * [backup-simplify]: Simplify 1 into 1 1552121009.712 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.712 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.712 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.712 * [taylor]: Taking taylor expansion of (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)) in d2 1552121009.712 * [taylor]: Taking taylor expansion of (* 30 (/ 1 d2)) in d2 1552121009.712 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.712 * [backup-simplify]: Simplify 30 into 30 1552121009.712 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1552121009.712 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.712 * [backup-simplify]: Simplify 0 into 0 1552121009.712 * [backup-simplify]: Simplify 1 into 1 1552121009.713 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.713 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 2)) 900) in d2 1552121009.713 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 2)) in d2 1552121009.713 * [taylor]: Taking taylor expansion of (pow d2 2) in d2 1552121009.713 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.713 * [backup-simplify]: Simplify 0 into 0 1552121009.713 * [backup-simplify]: Simplify 1 into 1 1552121009.713 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.714 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.714 * [taylor]: Taking taylor expansion of 900 in d2 1552121009.714 * [backup-simplify]: Simplify 900 into 900 1552121009.714 * [backup-simplify]: Simplify (- 1) into -1 1552121009.715 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552121009.715 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.715 * [backup-simplify]: Simplify (+ 0 1) into 1 1552121009.716 * [backup-simplify]: Simplify (/ -1 1) into -1 1552121009.717 * [backup-simplify]: Simplify (* -1 -1) into 1 1552121009.717 * [backup-simplify]: Simplify 1 into 1 1552121009.717 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 1552121009.717 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 (pow d2 2))) into 0 1552121009.717 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))))) into 0 1552121009.717 * [backup-simplify]: Simplify (- 0) into 0 1552121009.718 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.718 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1552121009.719 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (* 0 (/ 1 d2)))) into 0 1552121009.719 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (* 0 d2))) into 0 1552121009.719 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 2)) (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))))) into 0 1552121009.720 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.720 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.721 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))))) into 0 1552121009.722 * [backup-simplify]: Simplify (- (/ 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) (+ (* (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) (/ 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))))) into 0 1552121009.722 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))))) into 0 1552121009.723 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.723 * [backup-simplify]: Simplify 0 into 0 1552121009.723 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121009.724 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121009.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121009.725 * [backup-simplify]: Simplify (- 0) into 0 1552121009.725 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.726 * [backup-simplify]: Simplify (* 30 1) into 30 1552121009.726 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121009.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121009.727 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.728 * [backup-simplify]: Simplify (+ 30 0) into 30 1552121009.729 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 30 1)))) into 30 1552121009.730 * [backup-simplify]: Simplify (+ (* -1 30) (* 0 -1)) into -30 1552121009.730 * [backup-simplify]: Simplify -30 into -30 1552121009.730 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (* 0 d2))) into 0 1552121009.731 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (* 0 (pow d2 2)))) into 0 1552121009.731 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.731 * [backup-simplify]: Simplify (- 0) into 0 1552121009.732 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.732 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1552121009.733 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 d2))))) into 0 1552121009.734 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))) into 0 1552121009.734 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 2)) (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))))) into 0 1552121009.734 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.735 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.736 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))))) into 0 1552121009.737 * [backup-simplify]: Simplify (- (/ 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) (+ (* (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) (/ 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))) (* 0 (/ 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))))) into 0 1552121009.738 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))))) into 0 1552121009.738 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.738 * [backup-simplify]: Simplify 0 into 0 1552121009.738 * [backup-simplify]: Simplify 0 into 0 1552121009.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121009.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121009.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.744 * [backup-simplify]: Simplify (- 0) into 0 1552121009.744 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121009.746 * [backup-simplify]: Simplify (+ (* 30 0) (* 0 1)) into 0 1552121009.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121009.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.748 * [backup-simplify]: Simplify (+ 0 900) into 900 1552121009.748 * [backup-simplify]: Simplify (+ 0 900) into 900 1552121009.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 900 1)) (* 30 (/ 30 1)))) into 0 1552121009.751 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 30) (* 0 -1))) into 0 1552121009.751 * [backup-simplify]: Simplify 0 into 0 1552121009.752 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))) into 0 1552121009.753 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow d2 2))))) into 0 1552121009.753 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.753 * [backup-simplify]: Simplify (- 0) into 0 1552121009.754 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.754 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1552121009.756 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 d2)))))) into 0 1552121009.757 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0 1552121009.757 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 2)) (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))))) into 0 1552121009.758 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.758 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.760 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))))))) into 0 1552121009.761 * [backup-simplify]: Simplify (- (/ 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) (+ (* (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) (/ 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))) (* 0 (/ 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))) (* 0 (/ 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))))) into 0 1552121009.762 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))))))) into 0 1552121009.762 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.762 * [backup-simplify]: Simplify 0 into 0 1552121009.763 * [backup-simplify]: Simplify 0 into 0 1552121009.763 * [backup-simplify]: Simplify 0 into 0 1552121009.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121009.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121009.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.766 * [backup-simplify]: Simplify (- 0) into 0 1552121009.767 * [backup-simplify]: Simplify (+ 27000 0) into 27000 1552121009.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.769 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (* 0 1))) into 0 1552121009.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121009.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.771 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.771 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.773 * [backup-simplify]: Simplify (- (/ 27000 1) (+ (* -1 (/ 0 1)) (* 30 (/ 900 1)) (* 0 (/ 30 1)))) into 0 1552121009.775 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 30) (* 0 -1)))) into 0 1552121009.775 * [backup-simplify]: Simplify 0 into 0 1552121009.776 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0 1552121009.777 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow d2 2)))))) into 0 1552121009.778 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.778 * [backup-simplify]: Simplify (- 0) into 0 1552121009.778 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.779 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1552121009.781 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 d2))))))) into 0 1552121009.782 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))))) into 0 1552121009.782 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 2)) (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))) (* 0 (/ 0 (pow d2 2))))) into 0 1552121009.783 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.783 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.785 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))))))) into 0 1552121009.787 * [backup-simplify]: Simplify (- (/ 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) (+ (* (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900))) (/ 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))) (* 0 (/ 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))) (* 0 (/ 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))) (* 0 (/ 0 (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))))) into 0 1552121009.789 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (- 27000 (/ 1 (pow d2 3))) (+ (* 30 (/ 1 d2)) (+ (/ 1 (pow d2 2)) 900)))))))) into 0 1552121009.789 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.789 * [backup-simplify]: Simplify 0 into 0 1552121009.789 * [backup-simplify]: Simplify 0 into 0 1552121009.789 * [backup-simplify]: Simplify (+ (* -30 (* 1 (/ 1 (/ 1 (- d1))))) (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) into (+ (* d2 d1) (* 30 d1)) 1552121009.789 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1552121009.790 * [backup-simplify]: Simplify (* d1 (+ (pow d2 3) (pow 30 3))) into (* (+ (pow d2 3) 27000) d1) 1552121009.790 * [approximate]: Taking taylor expansion of (* (+ (pow d2 3) 27000) d1) in (d1 d2) around 0 1552121009.790 * [taylor]: Taking taylor expansion of (* (+ (pow d2 3) 27000) d1) in d2 1552121009.790 * [taylor]: Taking taylor expansion of (+ (pow d2 3) 27000) in d2 1552121009.790 * [taylor]: Taking taylor expansion of (pow d2 3) in d2 1552121009.790 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.790 * [backup-simplify]: Simplify 0 into 0 1552121009.790 * [backup-simplify]: Simplify 1 into 1 1552121009.790 * [taylor]: Taking taylor expansion of 27000 in d2 1552121009.790 * [backup-simplify]: Simplify 27000 into 27000 1552121009.790 * [taylor]: Taking taylor expansion of d1 in d2 1552121009.790 * [backup-simplify]: Simplify d1 into d1 1552121009.790 * [taylor]: Taking taylor expansion of (* (+ (pow d2 3) 27000) d1) in d1 1552121009.790 * [taylor]: Taking taylor expansion of (+ (pow d2 3) 27000) in d1 1552121009.790 * [taylor]: Taking taylor expansion of (pow d2 3) in d1 1552121009.790 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.790 * [backup-simplify]: Simplify d2 into d2 1552121009.790 * [taylor]: Taking taylor expansion of 27000 in d1 1552121009.790 * [backup-simplify]: Simplify 27000 into 27000 1552121009.791 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.791 * [backup-simplify]: Simplify 0 into 0 1552121009.791 * [backup-simplify]: Simplify 1 into 1 1552121009.791 * [taylor]: Taking taylor expansion of (* (+ (pow d2 3) 27000) d1) in d1 1552121009.791 * [taylor]: Taking taylor expansion of (+ (pow d2 3) 27000) in d1 1552121009.791 * [taylor]: Taking taylor expansion of (pow d2 3) in d1 1552121009.791 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.791 * [backup-simplify]: Simplify d2 into d2 1552121009.791 * [taylor]: Taking taylor expansion of 27000 in d1 1552121009.791 * [backup-simplify]: Simplify 27000 into 27000 1552121009.791 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.791 * [backup-simplify]: Simplify 0 into 0 1552121009.791 * [backup-simplify]: Simplify 1 into 1 1552121009.791 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.791 * [backup-simplify]: Simplify (* d2 (pow d2 2)) into (pow d2 3) 1552121009.791 * [backup-simplify]: Simplify (+ (pow d2 3) 27000) into (+ (pow d2 3) 27000) 1552121009.791 * [backup-simplify]: Simplify (* (+ (pow d2 3) 27000) 0) into 0 1552121009.791 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.791 * [backup-simplify]: Simplify 0 into 0 1552121009.791 * [backup-simplify]: Simplify 0 into 0 1552121009.792 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 1552121009.792 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 (pow d2 2))) into 0 1552121009.792 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.793 * [backup-simplify]: Simplify (+ (* (+ (pow d2 3) 27000) 1) (* 0 0)) into (+ (pow d2 3) 27000) 1552121009.793 * [taylor]: Taking taylor expansion of (+ (pow d2 3) 27000) in d2 1552121009.793 * [taylor]: Taking taylor expansion of (pow d2 3) in d2 1552121009.793 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.793 * [backup-simplify]: Simplify 0 into 0 1552121009.793 * [backup-simplify]: Simplify 1 into 1 1552121009.793 * [taylor]: Taking taylor expansion of 27000 in d2 1552121009.793 * [backup-simplify]: Simplify 27000 into 27000 1552121009.793 * [backup-simplify]: Simplify (+ 0 27000) into 27000 1552121009.793 * [backup-simplify]: Simplify 27000 into 27000 1552121009.793 * [backup-simplify]: Simplify 0 into 0 1552121009.794 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (* 0 d2))) into 0 1552121009.794 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (* 0 (pow d2 2)))) into 0 1552121009.795 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.795 * [backup-simplify]: Simplify (+ (* (+ (pow d2 3) 27000) 0) (+ (* 0 1) (* 0 0))) into 0 1552121009.795 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.795 * [backup-simplify]: Simplify 0 into 0 1552121009.795 * [backup-simplify]: Simplify 0 into 0 1552121009.796 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.796 * [backup-simplify]: Simplify 0 into 0 1552121009.796 * [backup-simplify]: Simplify 0 into 0 1552121009.797 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))) into 0 1552121009.798 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow d2 2))))) into 0 1552121009.798 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.799 * [backup-simplify]: Simplify (+ (* (+ (pow d2 3) 27000) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1552121009.799 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.799 * [backup-simplify]: Simplify 0 into 0 1552121009.799 * [backup-simplify]: Simplify 0 into 0 1552121009.799 * [backup-simplify]: Simplify 0 into 0 1552121009.799 * [backup-simplify]: Simplify (* 27000 (* 1 d1)) into (* 27000 d1) 1552121009.800 * [backup-simplify]: Simplify (* (/ 1 d1) (+ (pow (/ 1 d2) 3) (pow 30 3))) into (/ (+ (/ 1 (pow d2 3)) 27000) d1) 1552121009.800 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow d2 3)) 27000) d1) in (d1 d2) around 0 1552121009.800 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow d2 3)) 27000) d1) in d2 1552121009.800 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 3)) 27000) in d2 1552121009.800 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d2 1552121009.800 * [taylor]: Taking taylor expansion of (pow d2 3) in d2 1552121009.800 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.800 * [backup-simplify]: Simplify 0 into 0 1552121009.800 * [backup-simplify]: Simplify 1 into 1 1552121009.800 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.801 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.801 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.801 * [taylor]: Taking taylor expansion of 27000 in d2 1552121009.801 * [backup-simplify]: Simplify 27000 into 27000 1552121009.801 * [taylor]: Taking taylor expansion of d1 in d2 1552121009.801 * [backup-simplify]: Simplify d1 into d1 1552121009.802 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.802 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1552121009.802 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow d2 3)) 27000) d1) in d1 1552121009.802 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 3)) 27000) in d1 1552121009.802 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d1 1552121009.802 * [taylor]: Taking taylor expansion of (pow d2 3) in d1 1552121009.802 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.802 * [backup-simplify]: Simplify d2 into d2 1552121009.802 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.802 * [backup-simplify]: Simplify (* d2 (pow d2 2)) into (pow d2 3) 1552121009.802 * [backup-simplify]: Simplify (/ 1 (pow d2 3)) into (/ 1 (pow d2 3)) 1552121009.802 * [taylor]: Taking taylor expansion of 27000 in d1 1552121009.802 * [backup-simplify]: Simplify 27000 into 27000 1552121009.802 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.802 * [backup-simplify]: Simplify 0 into 0 1552121009.802 * [backup-simplify]: Simplify 1 into 1 1552121009.802 * [backup-simplify]: Simplify (+ (/ 1 (pow d2 3)) 27000) into (+ (/ 1 (pow d2 3)) 27000) 1552121009.802 * [backup-simplify]: Simplify (/ (+ (/ 1 (pow d2 3)) 27000) 1) into (+ (/ 1 (pow d2 3)) 27000) 1552121009.802 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow d2 3)) 27000) d1) in d1 1552121009.803 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 3)) 27000) in d1 1552121009.803 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d1 1552121009.803 * [taylor]: Taking taylor expansion of (pow d2 3) in d1 1552121009.803 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.803 * [backup-simplify]: Simplify d2 into d2 1552121009.803 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.803 * [backup-simplify]: Simplify (* d2 (pow d2 2)) into (pow d2 3) 1552121009.803 * [backup-simplify]: Simplify (/ 1 (pow d2 3)) into (/ 1 (pow d2 3)) 1552121009.803 * [taylor]: Taking taylor expansion of 27000 in d1 1552121009.803 * [backup-simplify]: Simplify 27000 into 27000 1552121009.803 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.803 * [backup-simplify]: Simplify 0 into 0 1552121009.803 * [backup-simplify]: Simplify 1 into 1 1552121009.803 * [backup-simplify]: Simplify (+ (/ 1 (pow d2 3)) 27000) into (+ (/ 1 (pow d2 3)) 27000) 1552121009.803 * [backup-simplify]: Simplify (/ (+ (/ 1 (pow d2 3)) 27000) 1) into (+ (/ 1 (pow d2 3)) 27000) 1552121009.803 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow d2 3)) 27000) in d2 1552121009.803 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d2 1552121009.803 * [taylor]: Taking taylor expansion of (pow d2 3) in d2 1552121009.803 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.803 * [backup-simplify]: Simplify 0 into 0 1552121009.803 * [backup-simplify]: Simplify 1 into 1 1552121009.804 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.804 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.805 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.805 * [taylor]: Taking taylor expansion of 27000 in d2 1552121009.805 * [backup-simplify]: Simplify 27000 into 27000 1552121009.805 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.805 * [backup-simplify]: Simplify 1 into 1 1552121009.805 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 1552121009.806 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 (pow d2 2))) into 0 1552121009.806 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))))) into 0 1552121009.806 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.807 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 (pow d2 3)) 27000) (/ 0 1)))) into 0 1552121009.807 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.807 * [backup-simplify]: Simplify 0 into 0 1552121009.808 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121009.808 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121009.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121009.810 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.810 * [backup-simplify]: Simplify 0 into 0 1552121009.810 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (* 0 d2))) into 0 1552121009.811 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (* 0 (pow d2 2)))) into 0 1552121009.811 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.811 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 (pow d2 3)) 27000) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.813 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.813 * [backup-simplify]: Simplify 0 into 0 1552121009.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121009.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121009.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.816 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.816 * [backup-simplify]: Simplify 0 into 0 1552121009.817 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))) into 0 1552121009.818 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow d2 2))))) into 0 1552121009.818 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.818 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 (pow d2 3)) 27000) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.821 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.821 * [backup-simplify]: Simplify 0 into 0 1552121009.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121009.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121009.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.824 * [backup-simplify]: Simplify (+ 0 27000) into 27000 1552121009.824 * [backup-simplify]: Simplify 27000 into 27000 1552121009.825 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0 1552121009.827 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow d2 2)))))) into 0 1552121009.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.827 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.830 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 (pow d2 3)) 27000) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.830 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.830 * [backup-simplify]: Simplify 0 into 0 1552121009.830 * [backup-simplify]: Simplify 0 into 0 1552121009.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121009.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121009.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.834 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.834 * [backup-simplify]: Simplify 0 into 0 1552121009.835 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))))) into 0 1552121009.837 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow d2 2))))))) into 0 1552121009.837 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.838 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.841 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 (pow d2 3)) 27000) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.841 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.841 * [backup-simplify]: Simplify 0 into 0 1552121009.841 * [backup-simplify]: Simplify 0 into 0 1552121009.841 * [backup-simplify]: Simplify 0 into 0 1552121009.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121009.844 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121009.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.845 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.845 * [backup-simplify]: Simplify 0 into 0 1552121009.846 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))))) into 0 1552121009.847 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow d2 2)))))))) into 0 1552121009.848 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.848 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.850 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 (pow d2 3)) 27000) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.850 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.850 * [backup-simplify]: Simplify 0 into 0 1552121009.850 * [backup-simplify]: Simplify 0 into 0 1552121009.850 * [backup-simplify]: Simplify (+ (* 27000 (* 1 (/ 1 (/ 1 d1)))) (* 1 (* (pow (/ 1 d2) -3) (/ 1 (/ 1 d1))))) into (+ (* (pow d2 3) d1) (* 27000 d1)) 1552121009.851 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (+ (pow (/ 1 (- d2)) 3) (pow 30 3))) into (* -1 (/ (- 27000 (/ 1 (pow d2 3))) d1)) 1552121009.851 * [approximate]: Taking taylor expansion of (* -1 (/ (- 27000 (/ 1 (pow d2 3))) d1)) in (d1 d2) around 0 1552121009.851 * [taylor]: Taking taylor expansion of (* -1 (/ (- 27000 (/ 1 (pow d2 3))) d1)) in d2 1552121009.851 * [taylor]: Taking taylor expansion of -1 in d2 1552121009.851 * [backup-simplify]: Simplify -1 into -1 1552121009.851 * [taylor]: Taking taylor expansion of (/ (- 27000 (/ 1 (pow d2 3))) d1) in d2 1552121009.851 * [taylor]: Taking taylor expansion of (- 27000 (/ 1 (pow d2 3))) in d2 1552121009.851 * [taylor]: Taking taylor expansion of 27000 in d2 1552121009.851 * [backup-simplify]: Simplify 27000 into 27000 1552121009.851 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d2 1552121009.851 * [taylor]: Taking taylor expansion of (pow d2 3) in d2 1552121009.851 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.851 * [backup-simplify]: Simplify 0 into 0 1552121009.851 * [backup-simplify]: Simplify 1 into 1 1552121009.851 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.851 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.852 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.852 * [taylor]: Taking taylor expansion of d1 in d2 1552121009.852 * [backup-simplify]: Simplify d1 into d1 1552121009.852 * [backup-simplify]: Simplify (- 1) into -1 1552121009.852 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552121009.852 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 1552121009.852 * [taylor]: Taking taylor expansion of (* -1 (/ (- 27000 (/ 1 (pow d2 3))) d1)) in d1 1552121009.852 * [taylor]: Taking taylor expansion of -1 in d1 1552121009.852 * [backup-simplify]: Simplify -1 into -1 1552121009.852 * [taylor]: Taking taylor expansion of (/ (- 27000 (/ 1 (pow d2 3))) d1) in d1 1552121009.852 * [taylor]: Taking taylor expansion of (- 27000 (/ 1 (pow d2 3))) in d1 1552121009.852 * [taylor]: Taking taylor expansion of 27000 in d1 1552121009.852 * [backup-simplify]: Simplify 27000 into 27000 1552121009.852 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d1 1552121009.852 * [taylor]: Taking taylor expansion of (pow d2 3) in d1 1552121009.852 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.852 * [backup-simplify]: Simplify d2 into d2 1552121009.852 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.852 * [backup-simplify]: Simplify (* d2 (pow d2 2)) into (pow d2 3) 1552121009.852 * [backup-simplify]: Simplify (/ 1 (pow d2 3)) into (/ 1 (pow d2 3)) 1552121009.852 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.853 * [backup-simplify]: Simplify 0 into 0 1552121009.853 * [backup-simplify]: Simplify 1 into 1 1552121009.853 * [backup-simplify]: Simplify (- (/ 1 (pow d2 3))) into (- (/ 1 (pow d2 3))) 1552121009.853 * [backup-simplify]: Simplify (+ 27000 (- (/ 1 (pow d2 3)))) into (- 27000 (/ 1 (pow d2 3))) 1552121009.853 * [backup-simplify]: Simplify (/ (- 27000 (/ 1 (pow d2 3))) 1) into (- 27000 (/ 1 (pow d2 3))) 1552121009.853 * [taylor]: Taking taylor expansion of (* -1 (/ (- 27000 (/ 1 (pow d2 3))) d1)) in d1 1552121009.853 * [taylor]: Taking taylor expansion of -1 in d1 1552121009.853 * [backup-simplify]: Simplify -1 into -1 1552121009.853 * [taylor]: Taking taylor expansion of (/ (- 27000 (/ 1 (pow d2 3))) d1) in d1 1552121009.853 * [taylor]: Taking taylor expansion of (- 27000 (/ 1 (pow d2 3))) in d1 1552121009.853 * [taylor]: Taking taylor expansion of 27000 in d1 1552121009.853 * [backup-simplify]: Simplify 27000 into 27000 1552121009.853 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d1 1552121009.853 * [taylor]: Taking taylor expansion of (pow d2 3) in d1 1552121009.853 * [taylor]: Taking taylor expansion of d2 in d1 1552121009.853 * [backup-simplify]: Simplify d2 into d2 1552121009.853 * [backup-simplify]: Simplify (* d2 d2) into (pow d2 2) 1552121009.853 * [backup-simplify]: Simplify (* d2 (pow d2 2)) into (pow d2 3) 1552121009.853 * [backup-simplify]: Simplify (/ 1 (pow d2 3)) into (/ 1 (pow d2 3)) 1552121009.853 * [taylor]: Taking taylor expansion of d1 in d1 1552121009.853 * [backup-simplify]: Simplify 0 into 0 1552121009.853 * [backup-simplify]: Simplify 1 into 1 1552121009.853 * [backup-simplify]: Simplify (- (/ 1 (pow d2 3))) into (- (/ 1 (pow d2 3))) 1552121009.853 * [backup-simplify]: Simplify (+ 27000 (- (/ 1 (pow d2 3)))) into (- 27000 (/ 1 (pow d2 3))) 1552121009.853 * [backup-simplify]: Simplify (/ (- 27000 (/ 1 (pow d2 3))) 1) into (- 27000 (/ 1 (pow d2 3))) 1552121009.853 * [backup-simplify]: Simplify (* -1 (- 27000 (/ 1 (pow d2 3)))) into (* -1 (- 27000 (/ 1 (pow d2 3)))) 1552121009.853 * [taylor]: Taking taylor expansion of (* -1 (- 27000 (/ 1 (pow d2 3)))) in d2 1552121009.853 * [taylor]: Taking taylor expansion of -1 in d2 1552121009.853 * [backup-simplify]: Simplify -1 into -1 1552121009.853 * [taylor]: Taking taylor expansion of (- 27000 (/ 1 (pow d2 3))) in d2 1552121009.853 * [taylor]: Taking taylor expansion of 27000 in d2 1552121009.853 * [backup-simplify]: Simplify 27000 into 27000 1552121009.853 * [taylor]: Taking taylor expansion of (/ 1 (pow d2 3)) in d2 1552121009.854 * [taylor]: Taking taylor expansion of (pow d2 3) in d2 1552121009.854 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.854 * [backup-simplify]: Simplify 0 into 0 1552121009.854 * [backup-simplify]: Simplify 1 into 1 1552121009.854 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.854 * [backup-simplify]: Simplify (* 1 1) into 1 1552121009.854 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.854 * [backup-simplify]: Simplify (- 1) into -1 1552121009.855 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552121009.855 * [backup-simplify]: Simplify (* -1 -1) into 1 1552121009.855 * [backup-simplify]: Simplify 1 into 1 1552121009.855 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 d2)) into 0 1552121009.855 * [backup-simplify]: Simplify (+ (* d2 0) (* 0 (pow d2 2))) into 0 1552121009.855 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))))) into 0 1552121009.855 * [backup-simplify]: Simplify (- 0) into 0 1552121009.856 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.856 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 27000 (/ 1 (pow d2 3))) (/ 0 1)))) into 0 1552121009.857 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- 27000 (/ 1 (pow d2 3))))) into 0 1552121009.857 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.857 * [backup-simplify]: Simplify 0 into 0 1552121009.857 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121009.858 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1552121009.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121009.858 * [backup-simplify]: Simplify (- 0) into 0 1552121009.859 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.859 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0 1552121009.859 * [backup-simplify]: Simplify 0 into 0 1552121009.859 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (* 0 d2))) into 0 1552121009.860 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (* 0 (pow d2 2)))) into 0 1552121009.860 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.860 * [backup-simplify]: Simplify (- 0) into 0 1552121009.860 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.861 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 27000 (/ 1 (pow d2 3))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.862 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- 27000 (/ 1 (pow d2 3)))))) into 0 1552121009.862 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.862 * [backup-simplify]: Simplify 0 into 0 1552121009.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121009.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1552121009.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.864 * [backup-simplify]: Simplify (- 0) into 0 1552121009.864 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.865 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0 1552121009.865 * [backup-simplify]: Simplify 0 into 0 1552121009.865 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))) into 0 1552121009.866 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow d2 2))))) into 0 1552121009.866 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.866 * [backup-simplify]: Simplify (- 0) into 0 1552121009.867 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.868 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 27000 (/ 1 (pow d2 3))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.872 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 27000 (/ 1 (pow d2 3))))))) into 0 1552121009.872 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.872 * [backup-simplify]: Simplify 0 into 0 1552121009.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121009.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1552121009.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.874 * [backup-simplify]: Simplify (- 0) into 0 1552121009.874 * [backup-simplify]: Simplify (+ 27000 0) into 27000 1552121009.876 * [backup-simplify]: Simplify (+ (* -1 27000) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into -27000 1552121009.876 * [backup-simplify]: Simplify -27000 into -27000 1552121009.877 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0 1552121009.878 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow d2 2)))))) into 0 1552121009.878 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.879 * [backup-simplify]: Simplify (- 0) into 0 1552121009.879 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.881 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 27000 (/ 1 (pow d2 3))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.883 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 27000 (/ 1 (pow d2 3)))))))) into 0 1552121009.883 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.883 * [backup-simplify]: Simplify 0 into 0 1552121009.883 * [backup-simplify]: Simplify 0 into 0 1552121009.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121009.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1552121009.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.887 * [backup-simplify]: Simplify (- 0) into 0 1552121009.887 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.889 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 27000) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1552121009.889 * [backup-simplify]: Simplify 0 into 0 1552121009.890 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))))) into 0 1552121009.892 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow d2 2))))))) into 0 1552121009.892 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.892 * [backup-simplify]: Simplify (- 0) into 0 1552121009.893 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 27000 (/ 1 (pow d2 3))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.898 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 27000 (/ 1 (pow d2 3))))))))) into 0 1552121009.898 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.898 * [backup-simplify]: Simplify 0 into 0 1552121009.898 * [backup-simplify]: Simplify 0 into 0 1552121009.898 * [backup-simplify]: Simplify 0 into 0 1552121009.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121009.900 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1552121009.901 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.902 * [backup-simplify]: Simplify (- 0) into 0 1552121009.902 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.904 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 27000) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0 1552121009.904 * [backup-simplify]: Simplify 0 into 0 1552121009.906 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))))) into 0 1552121009.908 * [backup-simplify]: Simplify (+ (* d2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow d2 2)))))))) into 0 1552121009.908 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow d2 3)) (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))) (* 0 (/ 0 (pow d2 3))))) into 0 1552121009.909 * [backup-simplify]: Simplify (- 0) into 0 1552121009.909 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.911 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 27000 (/ 1 (pow d2 3))) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.913 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- 27000 (/ 1 (pow d2 3)))))))))) into 0 1552121009.913 * [taylor]: Taking taylor expansion of 0 in d2 1552121009.913 * [backup-simplify]: Simplify 0 into 0 1552121009.913 * [backup-simplify]: Simplify 0 into 0 1552121009.913 * [backup-simplify]: Simplify (+ (* -27000 (* 1 (/ 1 (/ 1 (- d1))))) (* 1 (* (pow (/ 1 (- d2)) -3) (/ 1 (/ 1 (- d1)))))) into (+ (* (pow d2 3) d1) (* 27000 d1)) 1552121009.913 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 1552121009.913 * [backup-simplify]: Simplify (* (- 30 d2) d2) into (* (- 30 d2) d2) 1552121009.913 * [approximate]: Taking taylor expansion of (* (- 30 d2) d2) in (d2) around 0 1552121009.913 * [taylor]: Taking taylor expansion of (* (- 30 d2) d2) in d2 1552121009.913 * [taylor]: Taking taylor expansion of (- 30 d2) in d2 1552121009.913 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.913 * [backup-simplify]: Simplify 30 into 30 1552121009.913 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.913 * [backup-simplify]: Simplify 0 into 0 1552121009.913 * [backup-simplify]: Simplify 1 into 1 1552121009.913 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.913 * [backup-simplify]: Simplify 0 into 0 1552121009.913 * [backup-simplify]: Simplify 1 into 1 1552121009.913 * [taylor]: Taking taylor expansion of (* (- 30 d2) d2) in d2 1552121009.913 * [taylor]: Taking taylor expansion of (- 30 d2) in d2 1552121009.913 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.913 * [backup-simplify]: Simplify 30 into 30 1552121009.913 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.913 * [backup-simplify]: Simplify 0 into 0 1552121009.913 * [backup-simplify]: Simplify 1 into 1 1552121009.913 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.913 * [backup-simplify]: Simplify 0 into 0 1552121009.913 * [backup-simplify]: Simplify 1 into 1 1552121009.914 * [backup-simplify]: Simplify (- 0) into 0 1552121009.914 * [backup-simplify]: Simplify (+ 30 0) into 30 1552121009.914 * [backup-simplify]: Simplify (* 30 0) into 0 1552121009.914 * [backup-simplify]: Simplify 0 into 0 1552121009.914 * [backup-simplify]: Simplify (- 1) into -1 1552121009.915 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552121009.915 * [backup-simplify]: Simplify (+ (* 30 1) (* -1 0)) into 30 1552121009.915 * [backup-simplify]: Simplify 30 into 30 1552121009.915 * [backup-simplify]: Simplify (- 0) into 0 1552121009.916 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.916 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* -1 1) (* 0 0))) into -1 1552121009.916 * [backup-simplify]: Simplify -1 into -1 1552121009.916 * [backup-simplify]: Simplify (- 0) into 0 1552121009.917 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.917 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* -1 0) (+ (* 0 1) (* 0 0)))) into 0 1552121009.917 * [backup-simplify]: Simplify 0 into 0 1552121009.918 * [backup-simplify]: Simplify (- 0) into 0 1552121009.918 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.919 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1552121009.919 * [backup-simplify]: Simplify 0 into 0 1552121009.919 * [backup-simplify]: Simplify (- 0) into 0 1552121009.919 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.920 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1552121009.920 * [backup-simplify]: Simplify 0 into 0 1552121009.921 * [backup-simplify]: Simplify (- 0) into 0 1552121009.921 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.922 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1552121009.922 * [backup-simplify]: Simplify 0 into 0 1552121009.922 * [backup-simplify]: Simplify (- 0) into 0 1552121009.923 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.924 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1552121009.924 * [backup-simplify]: Simplify 0 into 0 1552121009.924 * [backup-simplify]: Simplify (- 0) into 0 1552121009.924 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.925 * [backup-simplify]: Simplify (+ (* 30 0) (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1552121009.925 * [backup-simplify]: Simplify 0 into 0 1552121009.926 * [backup-simplify]: Simplify (+ (* -1 (pow d2 2)) (* 30 d2)) into (- (* 30 d2) (pow d2 2)) 1552121009.926 * [backup-simplify]: Simplify (* (- 30 (/ 1 d2)) (/ 1 d2)) into (/ (- 30 (/ 1 d2)) d2) 1552121009.926 * [approximate]: Taking taylor expansion of (/ (- 30 (/ 1 d2)) d2) in (d2) around 0 1552121009.926 * [taylor]: Taking taylor expansion of (/ (- 30 (/ 1 d2)) d2) in d2 1552121009.926 * [taylor]: Taking taylor expansion of (- 30 (/ 1 d2)) in d2 1552121009.926 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.926 * [backup-simplify]: Simplify 30 into 30 1552121009.926 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1552121009.926 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.926 * [backup-simplify]: Simplify 0 into 0 1552121009.926 * [backup-simplify]: Simplify 1 into 1 1552121009.926 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.926 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.926 * [backup-simplify]: Simplify 0 into 0 1552121009.926 * [backup-simplify]: Simplify 1 into 1 1552121009.926 * [backup-simplify]: Simplify (- 1) into -1 1552121009.927 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552121009.927 * [backup-simplify]: Simplify (/ -1 1) into -1 1552121009.927 * [taylor]: Taking taylor expansion of (/ (- 30 (/ 1 d2)) d2) in d2 1552121009.927 * [taylor]: Taking taylor expansion of (- 30 (/ 1 d2)) in d2 1552121009.927 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.927 * [backup-simplify]: Simplify 30 into 30 1552121009.927 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1552121009.927 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.927 * [backup-simplify]: Simplify 0 into 0 1552121009.927 * [backup-simplify]: Simplify 1 into 1 1552121009.927 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.927 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.927 * [backup-simplify]: Simplify 0 into 0 1552121009.927 * [backup-simplify]: Simplify 1 into 1 1552121009.928 * [backup-simplify]: Simplify (- 1) into -1 1552121009.928 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552121009.928 * [backup-simplify]: Simplify (/ -1 1) into -1 1552121009.928 * [backup-simplify]: Simplify -1 into -1 1552121009.929 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121009.929 * [backup-simplify]: Simplify (- 0) into 0 1552121009.929 * [backup-simplify]: Simplify (+ 30 0) into 30 1552121009.930 * [backup-simplify]: Simplify (- (/ 30 1) (+ (* -1 (/ 0 1)))) into 30 1552121009.930 * [backup-simplify]: Simplify 30 into 30 1552121009.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.931 * [backup-simplify]: Simplify (- 0) into 0 1552121009.931 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.932 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 30 (/ 0 1)))) into 0 1552121009.932 * [backup-simplify]: Simplify 0 into 0 1552121009.932 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.932 * [backup-simplify]: Simplify (- 0) into 0 1552121009.933 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.933 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 30 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.933 * [backup-simplify]: Simplify 0 into 0 1552121009.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.934 * [backup-simplify]: Simplify (- 0) into 0 1552121009.934 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.935 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 30 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.935 * [backup-simplify]: Simplify 0 into 0 1552121009.935 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.936 * [backup-simplify]: Simplify (- 0) into 0 1552121009.936 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.937 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 30 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.937 * [backup-simplify]: Simplify 0 into 0 1552121009.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.937 * [backup-simplify]: Simplify (- 0) into 0 1552121009.938 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.938 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 30 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.938 * [backup-simplify]: Simplify 0 into 0 1552121009.939 * [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 1552121009.939 * [backup-simplify]: Simplify (- 0) into 0 1552121009.939 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.940 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 30 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.940 * [backup-simplify]: Simplify 0 into 0 1552121009.940 * [backup-simplify]: Simplify (+ (* 30 (/ 1 (/ 1 d2))) (* -1 (pow (/ 1 (/ 1 d2)) 2))) into (- (* 30 d2) (pow d2 2)) 1552121009.940 * [backup-simplify]: Simplify (* (- 30 (/ 1 (- d2))) (/ 1 (- d2))) into (* -1 (/ (+ (/ 1 d2) 30) d2)) 1552121009.940 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 d2) 30) d2)) in (d2) around 0 1552121009.940 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 d2) 30) d2)) in d2 1552121009.940 * [taylor]: Taking taylor expansion of -1 in d2 1552121009.941 * [backup-simplify]: Simplify -1 into -1 1552121009.941 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30) d2) in d2 1552121009.941 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30) in d2 1552121009.941 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1552121009.941 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.941 * [backup-simplify]: Simplify 0 into 0 1552121009.941 * [backup-simplify]: Simplify 1 into 1 1552121009.941 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.941 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.941 * [backup-simplify]: Simplify 30 into 30 1552121009.941 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.941 * [backup-simplify]: Simplify 0 into 0 1552121009.941 * [backup-simplify]: Simplify 1 into 1 1552121009.941 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.942 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.942 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 d2) 30) d2)) in d2 1552121009.942 * [taylor]: Taking taylor expansion of -1 in d2 1552121009.942 * [backup-simplify]: Simplify -1 into -1 1552121009.942 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 d2) 30) d2) in d2 1552121009.942 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 30) in d2 1552121009.942 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1552121009.942 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.942 * [backup-simplify]: Simplify 0 into 0 1552121009.942 * [backup-simplify]: Simplify 1 into 1 1552121009.942 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.942 * [taylor]: Taking taylor expansion of 30 in d2 1552121009.942 * [backup-simplify]: Simplify 30 into 30 1552121009.942 * [taylor]: Taking taylor expansion of d2 in d2 1552121009.942 * [backup-simplify]: Simplify 0 into 0 1552121009.942 * [backup-simplify]: Simplify 1 into 1 1552121009.943 * [backup-simplify]: Simplify (+ 1 0) into 1 1552121009.943 * [backup-simplify]: Simplify (/ 1 1) into 1 1552121009.943 * [backup-simplify]: Simplify (* -1 1) into -1 1552121009.944 * [backup-simplify]: Simplify -1 into -1 1552121009.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1552121009.945 * [backup-simplify]: Simplify (+ 0 30) into 30 1552121009.946 * [backup-simplify]: Simplify (- (/ 30 1) (+ (* 1 (/ 0 1)))) into 30 1552121009.947 * [backup-simplify]: Simplify (+ (* -1 30) (* 0 1)) into -30 1552121009.947 * [backup-simplify]: Simplify -30 into -30 1552121009.948 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.948 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.949 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 30 (/ 0 1)))) into 0 1552121009.950 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 30) (* 0 1))) into 0 1552121009.950 * [backup-simplify]: Simplify 0 into 0 1552121009.951 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.951 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.953 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 30 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.954 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 30) (* 0 1)))) into 0 1552121009.954 * [backup-simplify]: Simplify 0 into 0 1552121009.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.955 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.956 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 30 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.958 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 30) (* 0 1))))) into 0 1552121009.958 * [backup-simplify]: Simplify 0 into 0 1552121009.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.959 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.961 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 30 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.962 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 30) (* 0 1)))))) into 0 1552121009.962 * [backup-simplify]: Simplify 0 into 0 1552121009.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.964 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.965 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 30 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.967 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 30) (* 0 1))))))) into 0 1552121009.967 * [backup-simplify]: Simplify 0 into 0 1552121009.968 * [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 1552121009.968 * [backup-simplify]: Simplify (+ 0 0) into 0 1552121009.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 30 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1552121009.972 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 30) (* 0 1)))))))) into 0 1552121009.972 * [backup-simplify]: Simplify 0 into 0 1552121009.972 * [backup-simplify]: Simplify (+ (* -30 (/ 1 (/ 1 (- d2)))) (* -1 (pow (/ 1 (/ 1 (- d2))) 2))) into (- (* 30 d2) (pow d2 2)) 1552121009.972 * * * [progress]: simplifying candidates 1552121009.972 * * * * [progress]: [ 1 / 65 ] simplifiying candidate # 1552121009.973 * * * * [progress]: [ 2 / 65 ] simplifiying candidate # 1552121009.973 * [simplify]: Simplifying (- (log (* d1 (+ (pow d2 3) (pow 30 3)))) (log (- 900 (* (- 30 d2) d2)))) 1552121009.973 * * [simplify]: iters left: 6 (15 enodes) 1552121009.986 * * [simplify]: iters left: 5 (70 enodes) 1552121010.009 * * [simplify]: iters left: 4 (133 enodes) 1552121010.052 * * [simplify]: iters left: 3 (206 enodes) 1552121010.106 * * [simplify]: iters left: 2 (233 enodes) 1552121010.157 * * [simplify]: iters left: 1 (259 enodes) 1552121010.202 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121010.202 * * [simplify]: Extracting #1: cost 13 inf + 0 1552121010.202 * * [simplify]: Extracting #2: cost 28 inf + 0 1552121010.203 * * [simplify]: Extracting #3: cost 51 inf + 1 1552121010.203 * * [simplify]: Extracting #4: cost 74 inf + 185 1552121010.204 * * [simplify]: Extracting #5: cost 69 inf + 775 1552121010.206 * * [simplify]: Extracting #6: cost 37 inf + 4336 1552121010.209 * * [simplify]: Extracting #7: cost 12 inf + 7529 1552121010.214 * * [simplify]: Extracting #8: cost 1 inf + 10533 1552121010.220 * * [simplify]: Extracting #9: cost 0 inf + 10998 1552121010.225 * [simplify]: Simplified to (- (log (* d1 (+ (* d2 (* d2 d2)) 27000))) (log (- 900 (* (- 30 d2) d2)))) 1552121010.226 * [simplify]: Simplified (2 1) to (λ (d1 d2) (exp (- (log (* d1 (+ (* d2 (* d2 d2)) 27000))) (log (- 900 (* (- 30 d2) d2)))))) 1552121010.226 * * * * [progress]: [ 3 / 65 ] simplifiying candidate # 1552121010.226 * * * * [progress]: [ 4 / 65 ] simplifiying candidate # 1552121010.226 * * * * [progress]: [ 5 / 65 ] simplifiying candidate # 1552121010.226 * [simplify]: Simplifying (/ (* (* (* d1 (+ (pow d2 3) (pow 30 3))) (* d1 (+ (pow d2 3) (pow 30 3)))) (* d1 (+ (pow d2 3) (pow 30 3)))) (* (* (- 900 (* (- 30 d2) d2)) (- 900 (* (- 30 d2) d2))) (- 900 (* (- 30 d2) d2)))) 1552121010.227 * * [simplify]: iters left: 6 (17 enodes) 1552121010.239 * * [simplify]: iters left: 5 (86 enodes) 1552121010.278 * * [simplify]: iters left: 4 (305 enodes) 1552121010.522 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121010.522 * * [simplify]: Extracting #1: cost 92 inf + 0 1552121010.523 * * [simplify]: Extracting #2: cost 289 inf + 2 1552121010.529 * * [simplify]: Extracting #3: cost 486 inf + 257 1552121010.535 * * [simplify]: Extracting #4: cost 372 inf + 34858 1552121010.566 * * [simplify]: Extracting #5: cost 143 inf + 94873 1552121010.612 * * [simplify]: Extracting #6: cost 6 inf + 130885 1552121010.675 * * [simplify]: Extracting #7: cost 0 inf + 132051 1552121010.726 * * [simplify]: Extracting #8: cost 0 inf + 132011 1552121010.785 * [simplify]: Simplified to (* (/ (* d1 (+ (* (* d2 d2) d2) 27000)) (- 900 (* (- 30 d2) d2))) (* (/ (* d1 (+ (* (* d2 d2) d2) 27000)) (- 900 (* (- 30 d2) d2))) (/ (* d1 (+ (* (* d2 d2) d2) 27000)) (- 900 (* (- 30 d2) d2))))) 1552121010.786 * [simplify]: Simplified (2 1) to (λ (d1 d2) (cbrt (* (/ (* d1 (+ (* (* d2 d2) d2) 27000)) (- 900 (* (- 30 d2) d2))) (* (/ (* d1 (+ (* (* d2 d2) d2) 27000)) (- 900 (* (- 30 d2) d2))) (/ (* d1 (+ (* (* d2 d2) d2) 27000)) (- 900 (* (- 30 d2) d2))))))) 1552121010.786 * * * * [progress]: [ 6 / 65 ] simplifiying candidate # 1552121010.786 * * * * [progress]: [ 7 / 65 ] simplifiying candidate # 1552121010.786 * * * * [progress]: [ 8 / 65 ] simplifiying candidate # 1552121010.786 * * * * [progress]: [ 9 / 65 ] simplifiying candidate # 1552121010.786 * * * * [progress]: [ 10 / 65 ] simplifiying candidate # 1552121010.786 * [simplify]: Simplifying (/ d1 (* (cbrt (- 900 (* (- 30 d2) d2))) (cbrt (- 900 (* (- 30 d2) d2))))) 1552121010.787 * * [simplify]: iters left: 6 (10 enodes) 1552121010.793 * * [simplify]: iters left: 5 (37 enodes) 1552121010.805 * * [simplify]: iters left: 4 (56 enodes) 1552121010.824 * * [simplify]: iters left: 3 (88 enodes) 1552121010.850 * * [simplify]: iters left: 2 (100 enodes) 1552121010.876 * * [simplify]: iters left: 1 (105 enodes) 1552121010.902 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121010.902 * * [simplify]: Extracting #1: cost 6 inf + 0 1552121010.902 * * [simplify]: Extracting #2: cost 9 inf + 1 1552121010.902 * * [simplify]: Extracting #3: cost 23 inf + 1 1552121010.902 * * [simplify]: Extracting #4: cost 37 inf + 2 1552121010.902 * * [simplify]: Extracting #5: cost 24 inf + 748 1552121010.903 * * [simplify]: Extracting #6: cost 4 inf + 3033 1552121010.904 * * [simplify]: Extracting #7: cost 0 inf + 4048 1552121010.905 * [simplify]: Simplified to (/ d1 (* (cbrt (- 900 (* d2 (- 30 d2)))) (cbrt (- 900 (* d2 (- 30 d2)))))) 1552121010.905 * [simplify]: Simplified (2 1) to (λ (d1 d2) (* (/ d1 (* (cbrt (- 900 (* d2 (- 30 d2)))) (cbrt (- 900 (* d2 (- 30 d2)))))) (/ (+ (pow d2 3) (pow 30 3)) (cbrt (- 900 (* (- 30 d2) d2)))))) 1552121010.905 * [simplify]: Simplifying (/ (+ (pow d2 3) (pow 30 3)) (cbrt (- 900 (* (- 30 d2) d2)))) 1552121010.905 * * [simplify]: iters left: 6 (12 enodes) 1552121010.910 * * [simplify]: iters left: 5 (49 enodes) 1552121010.918 * * [simplify]: iters left: 4 (68 enodes) 1552121010.935 * * [simplify]: iters left: 3 (99 enodes) 1552121010.951 * * [simplify]: iters left: 2 (110 enodes) 1552121010.973 * * [simplify]: iters left: 1 (120 enodes) 1552121011.005 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121011.005 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121011.005 * * [simplify]: Extracting #2: cost 10 inf + 0 1552121011.006 * * [simplify]: Extracting #3: cost 28 inf + 1 1552121011.006 * * [simplify]: Extracting #4: cost 36 inf + 208 1552121011.007 * * [simplify]: Extracting #5: cost 16 inf + 1923 1552121011.008 * * [simplify]: Extracting #6: cost 2 inf + 3637 1552121011.010 * * [simplify]: Extracting #7: cost 0 inf + 3883 1552121011.012 * [simplify]: Simplified to (/ (+ (* (* d2 d2) d2) 27000) (cbrt (- 900 (* (- 30 d2) d2)))) 1552121011.012 * [simplify]: Simplified (2 2) to (λ (d1 d2) (* (/ d1 (* (cbrt (- 900 (* (- 30 d2) d2))) (cbrt (- 900 (* (- 30 d2) d2))))) (/ (+ (* (* d2 d2) d2) 27000) (cbrt (- 900 (* (- 30 d2) d2)))))) 1552121011.012 * * * * [progress]: [ 11 / 65 ] simplifiying candidate # 1552121011.013 * [simplify]: Simplifying (/ d1 (sqrt (- 900 (* (- 30 d2) d2)))) 1552121011.013 * * [simplify]: iters left: 6 (9 enodes) 1552121011.018 * * [simplify]: iters left: 5 (32 enodes) 1552121011.027 * * [simplify]: iters left: 4 (49 enodes) 1552121011.036 * * [simplify]: iters left: 3 (81 enodes) 1552121011.050 * * [simplify]: iters left: 2 (93 enodes) 1552121011.071 * * [simplify]: iters left: 1 (98 enodes) 1552121011.084 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121011.084 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121011.084 * * [simplify]: Extracting #2: cost 5 inf + 1 1552121011.084 * * [simplify]: Extracting #3: cost 19 inf + 1 1552121011.084 * * [simplify]: Extracting #4: cost 33 inf + 2 1552121011.084 * * [simplify]: Extracting #5: cost 29 inf + 171 1552121011.085 * * [simplify]: Extracting #6: cost 7 inf + 2017 1552121011.086 * * [simplify]: Extracting #7: cost 0 inf + 2834 1552121011.086 * [simplify]: Simplified to (/ d1 (sqrt (- 900 (* d2 (- 30 d2))))) 1552121011.086 * [simplify]: Simplified (2 1) to (λ (d1 d2) (* (/ d1 (sqrt (- 900 (* d2 (- 30 d2))))) (/ (+ (pow d2 3) (pow 30 3)) (sqrt (- 900 (* (- 30 d2) d2)))))) 1552121011.087 * [simplify]: Simplifying (/ (+ (pow d2 3) (pow 30 3)) (sqrt (- 900 (* (- 30 d2) d2)))) 1552121011.087 * * [simplify]: iters left: 6 (12 enodes) 1552121011.092 * * [simplify]: iters left: 5 (49 enodes) 1552121011.101 * * [simplify]: iters left: 4 (68 enodes) 1552121011.116 * * [simplify]: iters left: 3 (99 enodes) 1552121011.132 * * [simplify]: iters left: 2 (110 enodes) 1552121011.153 * * [simplify]: iters left: 1 (120 enodes) 1552121011.172 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121011.172 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121011.172 * * [simplify]: Extracting #2: cost 10 inf + 0 1552121011.172 * * [simplify]: Extracting #3: cost 28 inf + 1 1552121011.172 * * [simplify]: Extracting #4: cost 36 inf + 208 1552121011.173 * * [simplify]: Extracting #5: cost 16 inf + 1923 1552121011.174 * * [simplify]: Extracting #6: cost 2 inf + 3517 1552121011.175 * * [simplify]: Extracting #7: cost 0 inf + 3723 1552121011.176 * [simplify]: Simplified to (/ (+ (* (* d2 d2) d2) 27000) (sqrt (- 900 (* (- 30 d2) d2)))) 1552121011.176 * [simplify]: Simplified (2 2) to (λ (d1 d2) (* (/ d1 (sqrt (- 900 (* (- 30 d2) d2)))) (/ (+ (* (* d2 d2) d2) 27000) (sqrt (- 900 (* (- 30 d2) d2)))))) 1552121011.176 * * * * [progress]: [ 12 / 65 ] simplifiying candidate # 1552121011.176 * [simplify]: Simplifying (/ d1 1) 1552121011.176 * * [simplify]: iters left: 2 (3 enodes) 1552121011.177 * * [simplify]: iters left: 1 (9 enodes) 1552121011.179 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121011.179 * * [simplify]: Extracting #1: cost 0 inf + 1 1552121011.179 * [simplify]: Simplified to d1 1552121011.179 * [simplify]: Simplified (2 1) to (λ (d1 d2) (* d1 (/ (+ (pow d2 3) (pow 30 3)) (- 900 (* (- 30 d2) d2))))) 1552121011.179 * [simplify]: Simplifying (/ (+ (pow d2 3) (pow 30 3)) (- 900 (* (- 30 d2) d2))) 1552121011.179 * * [simplify]: iters left: 6 (11 enodes) 1552121011.183 * * [simplify]: iters left: 5 (46 enodes) 1552121011.194 * * [simplify]: iters left: 4 (65 enodes) 1552121011.215 * * [simplify]: iters left: 3 (95 enodes) 1552121011.243 * * [simplify]: iters left: 2 (106 enodes) 1552121011.273 * * [simplify]: iters left: 1 (116 enodes) 1552121011.306 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121011.306 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121011.306 * * [simplify]: Extracting #2: cost 22 inf + 0 1552121011.306 * * [simplify]: Extracting #3: cost 38 inf + 2 1552121011.307 * * [simplify]: Extracting #4: cost 29 inf + 538 1552121011.308 * * [simplify]: Extracting #5: cost 3 inf + 2786 1552121011.310 * * [simplify]: Extracting #6: cost 0 inf + 3437 1552121011.312 * * [simplify]: Extracting #7: cost 0 inf + 3317 1552121011.313 * [simplify]: Simplified to (/ (+ 27000 (* (* d2 d2) d2)) (+ (* d2 (+ -30 d2)) 900)) 1552121011.313 * [simplify]: Simplified (2 2) to (λ (d1 d2) (* d1 (/ (+ 27000 (* (* d2 d2) d2)) (+ (* d2 (+ -30 d2)) 900)))) 1552121011.313 * * * * [progress]: [ 13 / 65 ] simplifiying candidate # 1552121011.313 * * * * [progress]: [ 14 / 65 ] simplifiying candidate # 1552121011.314 * * * * [progress]: [ 15 / 65 ] simplifiying candidate # 1552121011.314 * * * * [progress]: [ 16 / 65 ] simplifiying candidate # 1552121011.314 * [simplify]: Simplifying (cbrt (- 900 (* (- 30 d2) d2))) 1552121011.314 * * [simplify]: iters left: 6 (7 enodes) 1552121011.319 * * [simplify]: iters left: 5 (26 enodes) 1552121011.327 * * [simplify]: iters left: 4 (43 enodes) 1552121011.342 * * [simplify]: iters left: 3 (74 enodes) 1552121011.362 * * [simplify]: iters left: 2 (89 enodes) 1552121011.387 * * [simplify]: iters left: 1 (108 enodes) 1552121011.419 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121011.419 * * [simplify]: Extracting #1: cost 3 inf + 0 1552121011.419 * * [simplify]: Extracting #2: cost 14 inf + 0 1552121011.419 * * [simplify]: Extracting #3: cost 29 inf + 1 1552121011.419 * * [simplify]: Extracting #4: cost 24 inf + 209 1552121011.420 * * [simplify]: Extracting #5: cost 8 inf + 1282 1552121011.422 * * [simplify]: Extracting #6: cost 0 inf + 2221 1552121011.423 * [simplify]: Simplified to (cbrt (- 900 (* d2 (- 30 d2)))) 1552121011.423 * [simplify]: Simplified (2 2) to (λ (d1 d2) (/ (/ (* d1 (+ (pow d2 3) (pow 30 3))) (* (cbrt (- 900 (* (- 30 d2) d2))) (cbrt (- 900 (* (- 30 d2) d2))))) (cbrt (- 900 (* d2 (- 30 d2)))))) 1552121011.423 * * * * [progress]: [ 17 / 65 ] simplifiying candidate # 1552121011.424 * [simplify]: Simplifying (sqrt (- 900 (* (- 30 d2) d2))) 1552121011.424 * * [simplify]: iters left: 6 (7 enodes) 1552121011.428 * * [simplify]: iters left: 5 (26 enodes) 1552121011.433 * * [simplify]: iters left: 4 (43 enodes) 1552121011.440 * * [simplify]: iters left: 3 (74 enodes) 1552121011.451 * * [simplify]: iters left: 2 (89 enodes) 1552121011.466 * * [simplify]: iters left: 1 (108 enodes) 1552121011.497 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121011.497 * * [simplify]: Extracting #1: cost 3 inf + 0 1552121011.497 * * [simplify]: Extracting #2: cost 14 inf + 0 1552121011.497 * * [simplify]: Extracting #3: cost 29 inf + 1 1552121011.498 * * [simplify]: Extracting #4: cost 24 inf + 209 1552121011.498 * * [simplify]: Extracting #5: cost 8 inf + 1282 1552121011.500 * * [simplify]: Extracting #6: cost 0 inf + 2141 1552121011.501 * [simplify]: Simplified to (sqrt (- 900 (* d2 (- 30 d2)))) 1552121011.501 * [simplify]: Simplified (2 2) to (λ (d1 d2) (/ (/ (* d1 (+ (pow d2 3) (pow 30 3))) (sqrt (- 900 (* (- 30 d2) d2)))) (sqrt (- 900 (* d2 (- 30 d2)))))) 1552121011.501 * * * * [progress]: [ 18 / 65 ] simplifiying candidate # 1552121011.502 * [simplify]: Simplifying (- 900 (* (- 30 d2) d2)) 1552121011.502 * * [simplify]: iters left: 6 (6 enodes) 1552121011.506 * * [simplify]: iters left: 5 (23 enodes) 1552121011.513 * * [simplify]: iters left: 4 (40 enodes) 1552121011.520 * * [simplify]: iters left: 3 (72 enodes) 1552121011.531 * * [simplify]: iters left: 2 (84 enodes) 1552121011.543 * * [simplify]: iters left: 1 (89 enodes) 1552121011.566 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121011.566 * * [simplify]: Extracting #1: cost 15 inf + 0 1552121011.566 * * [simplify]: Extracting #2: cost 29 inf + 1 1552121011.566 * * [simplify]: Extracting #3: cost 23 inf + 252 1552121011.567 * * [simplify]: Extracting #4: cost 2 inf + 1894 1552121011.568 * * [simplify]: Extracting #5: cost 0 inf + 2099 1552121011.570 * [simplify]: Simplified to (+ 900 (* d2 (+ -30 d2))) 1552121011.570 * [simplify]: Simplified (2 2) to (λ (d1 d2) (/ (/ (* d1 (+ (pow d2 3) (pow 30 3))) 1) (+ 900 (* d2 (+ -30 d2))))) 1552121011.570 * * * * [progress]: [ 19 / 65 ] simplifiying candidate # 1552121011.570 * * * * [progress]: [ 20 / 65 ] simplifiying candidate # 1552121011.571 * [simplify]: Simplifying (+ (* 900 900) (+ (* (* (- 30 d2) d2) (* (- 30 d2) d2)) (* 900 (* (- 30 d2) d2)))) 1552121011.571 * * [simplify]: iters left: 6 (10 enodes) 1552121011.577 * * [simplify]: iters left: 5 (47 enodes) 1552121011.596 * * [simplify]: iters left: 4 (114 enodes) 1552121011.646 * * [simplify]: iters left: 3 (293 enodes) 1552121011.841 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121011.841 * * [simplify]: Extracting #1: cost 24 inf + 0 1552121011.841 * * [simplify]: Extracting #2: cost 133 inf + 1 1552121011.843 * * [simplify]: Extracting #3: cost 173 inf + 1351 1552121011.850 * * [simplify]: Extracting #4: cost 66 inf + 19377 1552121011.866 * * [simplify]: Extracting #5: cost 4 inf + 31114 1552121011.885 * * [simplify]: Extracting #6: cost 0 inf + 31566 1552121011.899 * * [simplify]: Extracting #7: cost 0 inf + 31486 1552121011.908 * [simplify]: Simplified to (+ 810000 (* (* d2 (- 30 d2)) (+ (* d2 (- 30 d2)) 900))) 1552121011.908 * [simplify]: Simplified (2 2) to (λ (d1 d2) (* (/ (* d1 (+ (pow d2 3) (pow 30 3))) (- (pow 900 3) (pow (* (- 30 d2) d2) 3))) (+ 810000 (* (* d2 (- 30 d2)) (+ (* d2 (- 30 d2)) 900))))) 1552121011.908 * * * * [progress]: [ 21 / 65 ] simplifiying candidate # 1552121011.909 * [simplify]: Simplifying (+ 900 (* (- 30 d2) d2)) 1552121011.909 * * [simplify]: iters left: 6 (6 enodes) 1552121011.912 * * [simplify]: iters left: 5 (22 enodes) 1552121011.916 * * [simplify]: iters left: 4 (31 enodes) 1552121011.922 * * [simplify]: iters left: 3 (45 enodes) 1552121011.929 * * [simplify]: iters left: 2 (59 enodes) 1552121011.937 * * [simplify]: iters left: 1 (68 enodes) 1552121011.947 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121011.948 * * [simplify]: Extracting #1: cost 11 inf + 0 1552121011.948 * * [simplify]: Extracting #2: cost 22 inf + 1 1552121011.948 * * [simplify]: Extracting #3: cost 14 inf + 374 1552121011.948 * * [simplify]: Extracting #4: cost 2 inf + 1319 1552121011.949 * * [simplify]: Extracting #5: cost 0 inf + 1524 1552121011.949 * [simplify]: Simplified to (+ 900 (* d2 (- 30 d2))) 1552121011.949 * [simplify]: Simplified (2 2) to (λ (d1 d2) (* (/ (* d1 (+ (pow d2 3) (pow 30 3))) (- (* 900 900) (* (* (- 30 d2) d2) (* (- 30 d2) d2)))) (+ 900 (* d2 (- 30 d2))))) 1552121011.949 * * * * [progress]: [ 22 / 65 ] simplifiying candidate # 1552121011.950 * [simplify]: Simplifying (* d1 (+ (pow (pow d2 3) 3) (pow (pow 30 3) 3))) 1552121011.950 * * [simplify]: iters left: 6 (10 enodes) 1552121011.958 * * [simplify]: iters left: 5 (54 enodes) 1552121011.975 * * [simplify]: iters left: 4 (113 enodes) 1552121012.015 * * [simplify]: iters left: 3 (234 enodes) 1552121012.071 * * [simplify]: iters left: 2 (396 enodes) 1552121012.211 * * [simplify]: iters left: 1 (462 enodes) 1552121012.665 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121012.665 * * [simplify]: Extracting #1: cost 9 inf + 0 1552121012.665 * * [simplify]: Extracting #2: cost 32 inf + 1 1552121012.666 * * [simplify]: Extracting #3: cost 49 inf + 87 1552121012.667 * * [simplify]: Extracting #4: cost 14 inf + 4514 1552121012.670 * * [simplify]: Extracting #5: cost 1 inf + 5935 1552121012.675 * * [simplify]: Extracting #6: cost 0 inf + 5846 1552121012.680 * [simplify]: Simplified to (* (+ (* (* (* (* d2 d2) (* d2 d2)) (* (* d2 d2) (* d2 d2))) d2) 19683000000000) d1) 1552121012.680 * [simplify]: Simplified (2 1) to (λ (d1 d2) (/ (* (+ (* (* (* (* d2 d2) (* d2 d2)) (* (* d2 d2) (* d2 d2))) d2) 19683000000000) d1) (* (- 900 (* (- 30 d2) d2)) (+ (* (pow d2 3) (pow d2 3)) (- (* (pow 30 3) (pow 30 3)) (* (pow d2 3) (pow 30 3))))))) 1552121012.680 * * * * [progress]: [ 23 / 65 ] simplifiying candidate # 1552121012.680 * [simplify]: Simplifying (* d1 (- (* (pow d2 3) (pow d2 3)) (* (pow 30 3) (pow 30 3)))) 1552121012.680 * * [simplify]: iters left: 6 (10 enodes) 1552121012.688 * * [simplify]: iters left: 5 (45 enodes) 1552121012.704 * * [simplify]: iters left: 4 (83 enodes) 1552121012.732 * * [simplify]: iters left: 3 (176 enodes) 1552121012.790 * * [simplify]: iters left: 2 (439 enodes) 1552121012.978 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121012.979 * * [simplify]: Extracting #1: cost 66 inf + 0 1552121012.980 * * [simplify]: Extracting #2: cost 220 inf + 1 1552121012.981 * * [simplify]: Extracting #3: cost 243 inf + 421 1552121012.989 * * [simplify]: Extracting #4: cost 117 inf + 17863 1552121012.998 * * [simplify]: Extracting #5: cost 4 inf + 41766 1552121013.009 * * [simplify]: Extracting #6: cost 0 inf + 42819 1552121013.029 * [simplify]: Simplified to (* d1 (+ -729000000 (* (* (* d2 d2) d2) (* (* d2 d2) d2)))) 1552121013.029 * [simplify]: Simplified (2 1) to (λ (d1 d2) (/ (* d1 (+ -729000000 (* (* (* d2 d2) d2) (* (* d2 d2) d2)))) (* (- 900 (* (- 30 d2) d2)) (- (pow d2 3) (pow 30 3))))) 1552121013.030 * * * * [progress]: [ 24 / 65 ] simplifiying candidate #real (real->posit16 (/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (* (- 30 d2) d2))))))> 1552121013.030 * * * * [progress]: [ 25 / 65 ] simplifiying candidate # 1552121013.030 * * * * [progress]: [ 26 / 65 ] simplifiying candidate # 1552121013.030 * * * * [progress]: [ 27 / 65 ] simplifiying candidate # 1552121013.030 * * * * [progress]: [ 28 / 65 ] simplifiying candidate # 1552121013.030 * * * * [progress]: [ 29 / 65 ] simplifiying candidate # 1552121013.030 * * * * [progress]: [ 30 / 65 ] simplifiying candidate # 1552121013.030 * * * * [progress]: [ 31 / 65 ] simplifiying candidate # 1552121013.030 * * * * [progress]: [ 32 / 65 ] simplifiying candidate # 1552121013.031 * [simplify]: Simplifying (* d1 (pow 30 3)) 1552121013.031 * * [simplify]: iters left: 3 (5 enodes) 1552121013.035 * * [simplify]: iters left: 2 (21 enodes) 1552121013.042 * * [simplify]: iters left: 1 (23 enodes) 1552121013.049 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.049 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121013.049 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121013.049 * * [simplify]: Extracting #3: cost 0 inf + 86 1552121013.049 * [simplify]: Simplified to (* d1 27000) 1552121013.049 * [simplify]: Simplified (2 1 2) to (λ (d1 d2) (/ (+ (* d1 (pow d2 3)) (* d1 27000)) (- 900 (* (- 30 d2) d2)))) 1552121013.049 * * * * [progress]: [ 33 / 65 ] simplifiying candidate # 1552121013.050 * [simplify]: Simplifying (* (pow 30 3) d1) 1552121013.050 * * [simplify]: iters left: 3 (5 enodes) 1552121013.054 * * [simplify]: iters left: 2 (21 enodes) 1552121013.059 * * [simplify]: iters left: 1 (23 enodes) 1552121013.063 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.063 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121013.063 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121013.063 * * [simplify]: Extracting #3: cost 0 inf + 86 1552121013.063 * [simplify]: Simplified to (* d1 27000) 1552121013.063 * [simplify]: Simplified (2 1 2) to (λ (d1 d2) (/ (+ (* (pow d2 3) d1) (* d1 27000)) (- 900 (* (- 30 d2) d2)))) 1552121013.063 * * * * [progress]: [ 34 / 65 ] simplifiying candidate # 1552121013.063 * [simplify]: Simplifying (cbrt (+ (pow d2 3) (pow 30 3))) 1552121013.063 * * [simplify]: iters left: 4 (7 enodes) 1552121013.066 * * [simplify]: iters left: 3 (30 enodes) 1552121013.071 * * [simplify]: iters left: 2 (34 enodes) 1552121013.076 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.076 * * [simplify]: Extracting #1: cost 3 inf + 0 1552121013.076 * * [simplify]: Extracting #2: cost 6 inf + 0 1552121013.076 * * [simplify]: Extracting #3: cost 9 inf + 1 1552121013.076 * * [simplify]: Extracting #4: cost 8 inf + 3 1552121013.076 * * [simplify]: Extracting #5: cost 4 inf + 721 1552121013.076 * * [simplify]: Extracting #6: cost 0 inf + 1288 1552121013.077 * * [simplify]: Extracting #7: cost 0 inf + 895 1552121013.077 * [simplify]: Simplified to (cbrt (+ (* (* d2 d2) d2) 27000)) 1552121013.077 * [simplify]: Simplified (2 1 2) to (λ (d1 d2) (/ (* (* d1 (* (cbrt (+ (pow d2 3) (pow 30 3))) (cbrt (+ (pow d2 3) (pow 30 3))))) (cbrt (+ (* (* d2 d2) d2) 27000))) (- 900 (* (- 30 d2) d2)))) 1552121013.077 * * * * [progress]: [ 35 / 65 ] simplifiying candidate # 1552121013.077 * [simplify]: Simplifying (sqrt (+ (pow d2 3) (pow 30 3))) 1552121013.077 * * [simplify]: iters left: 4 (7 enodes) 1552121013.080 * * [simplify]: iters left: 3 (30 enodes) 1552121013.084 * * [simplify]: iters left: 2 (34 enodes) 1552121013.096 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.096 * * [simplify]: Extracting #1: cost 3 inf + 0 1552121013.096 * * [simplify]: Extracting #2: cost 6 inf + 0 1552121013.096 * * [simplify]: Extracting #3: cost 9 inf + 1 1552121013.096 * * [simplify]: Extracting #4: cost 8 inf + 3 1552121013.097 * * [simplify]: Extracting #5: cost 4 inf + 721 1552121013.097 * * [simplify]: Extracting #6: cost 0 inf + 1208 1552121013.097 * * [simplify]: Extracting #7: cost 0 inf + 815 1552121013.098 * [simplify]: Simplified to (sqrt (+ (* (* d2 d2) d2) 27000)) 1552121013.098 * [simplify]: Simplified (2 1 2) to (λ (d1 d2) (/ (* (* d1 (sqrt (+ (pow d2 3) (pow 30 3)))) (sqrt (+ (* (* d2 d2) d2) 27000))) (- 900 (* (- 30 d2) d2)))) 1552121013.098 * * * * [progress]: [ 36 / 65 ] simplifiying candidate # 1552121013.098 * [simplify]: Simplifying (+ d2 30) 1552121013.098 * * [simplify]: iters left: 2 (3 enodes) 1552121013.100 * * [simplify]: iters left: 1 (10 enodes) 1552121013.103 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.103 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121013.103 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121013.103 * * [simplify]: Extracting #3: cost 0 inf + 86 1552121013.103 * [simplify]: Simplified to (+ 30 d2) 1552121013.103 * [simplify]: Simplified (2 1 2) to (λ (d1 d2) (/ (* (* d1 (+ (* d2 d2) (- (* 30 30) (* d2 30)))) (+ 30 d2)) (- 900 (* (- 30 d2) d2)))) 1552121013.104 * * * * [progress]: [ 37 / 65 ] simplifiying candidate # 1552121013.104 * [simplify]: Simplifying (+ (pow d2 3) (pow 30 3)) 1552121013.104 * * [simplify]: iters left: 3 (6 enodes) 1552121013.110 * * [simplify]: iters left: 2 (27 enodes) 1552121013.119 * * [simplify]: iters left: 1 (31 enodes) 1552121013.125 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.125 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121013.125 * * [simplify]: Extracting #2: cost 7 inf + 1 1552121013.125 * * [simplify]: Extracting #3: cost 6 inf + 3 1552121013.125 * * [simplify]: Extracting #4: cost 1 inf + 762 1552121013.125 * * [simplify]: Extracting #5: cost 0 inf + 622 1552121013.125 * * [simplify]: Extracting #6: cost 0 inf + 491 1552121013.126 * [simplify]: Simplified to (+ (* d2 (* d2 d2)) 27000) 1552121013.126 * [simplify]: Simplified (2 1 2) to (λ (d1 d2) (/ (* (* d1 1) (+ (* d2 (* d2 d2)) 27000)) (- 900 (* (- 30 d2) d2)))) 1552121013.126 * * * * [progress]: [ 38 / 65 ] simplifiying candidate # 1552121013.126 * [simplify]: Simplifying (+ (pow d2 3) (pow 30 3)) 1552121013.126 * * [simplify]: iters left: 3 (6 enodes) 1552121013.129 * * [simplify]: iters left: 2 (27 enodes) 1552121013.134 * * [simplify]: iters left: 1 (31 enodes) 1552121013.138 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.139 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121013.139 * * [simplify]: Extracting #2: cost 7 inf + 1 1552121013.139 * * [simplify]: Extracting #3: cost 6 inf + 3 1552121013.139 * * [simplify]: Extracting #4: cost 1 inf + 762 1552121013.139 * * [simplify]: Extracting #5: cost 0 inf + 622 1552121013.139 * * [simplify]: Extracting #6: cost 0 inf + 491 1552121013.139 * [simplify]: Simplified to (+ (* d2 (* d2 d2)) 27000) 1552121013.139 * [simplify]: Simplified (2 1 2) to (λ (d1 d2) (/ (* (* d1 1) (+ (* d2 (* d2 d2)) 27000)) (- 900 (* (- 30 d2) d2)))) 1552121013.139 * * * * [progress]: [ 39 / 65 ] simplifiying candidate # 1552121013.139 * [simplify]: Simplifying (+ (* (pow d2 3) (pow d2 3)) (- (* (pow 30 3) (pow 30 3)) (* (pow d2 3) (pow 30 3)))) 1552121013.140 * * [simplify]: iters left: 6 (10 enodes) 1552121013.144 * * [simplify]: iters left: 5 (46 enodes) 1552121013.156 * * [simplify]: iters left: 4 (93 enodes) 1552121013.185 * * [simplify]: iters left: 3 (168 enodes) 1552121013.217 * * [simplify]: iters left: 2 (248 enodes) 1552121013.270 * * [simplify]: iters left: 1 (341 enodes) 1552121013.346 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.346 * * [simplify]: Extracting #1: cost 13 inf + 0 1552121013.347 * * [simplify]: Extracting #2: cost 57 inf + 1 1552121013.347 * * [simplify]: Extracting #3: cost 75 inf + 7 1552121013.348 * * [simplify]: Extracting #4: cost 32 inf + 6827 1552121013.353 * * [simplify]: Extracting #5: cost 1 inf + 11140 1552121013.360 * * [simplify]: Extracting #6: cost 0 inf + 10013 1552121013.367 * * [simplify]: Extracting #7: cost 0 inf + 9773 1552121013.373 * [simplify]: Simplified to (+ (* (+ -27000 (* d2 (* d2 d2))) (* d2 (* d2 d2))) 729000000) 1552121013.373 * [simplify]: Simplified (2 1 2) to (λ (d1 d2) (/ (/ (* d1 (+ (pow (pow d2 3) 3) (pow (pow 30 3) 3))) (+ (* (+ -27000 (* d2 (* d2 d2))) (* d2 (* d2 d2))) 729000000)) (- 900 (* (- 30 d2) d2)))) 1552121013.373 * * * * [progress]: [ 40 / 65 ] simplifiying candidate # 1552121013.374 * [simplify]: Simplifying (- (pow d2 3) (pow 30 3)) 1552121013.374 * * [simplify]: iters left: 3 (6 enodes) 1552121013.377 * * [simplify]: iters left: 2 (29 enodes) 1552121013.383 * * [simplify]: iters left: 1 (37 enodes) 1552121013.388 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.388 * * [simplify]: Extracting #1: cost 5 inf + 0 1552121013.388 * * [simplify]: Extracting #2: cost 7 inf + 2 1552121013.388 * * [simplify]: Extracting #3: cost 6 inf + 4 1552121013.388 * * [simplify]: Extracting #4: cost 0 inf + 1016 1552121013.389 * * [simplify]: Extracting #5: cost 0 inf + 492 1552121013.389 * [simplify]: Simplified to (- (* d2 (* d2 d2)) 27000) 1552121013.389 * [simplify]: Simplified (2 1 2) to (λ (d1 d2) (/ (/ (* d1 (- (* (pow d2 3) (pow d2 3)) (* (pow 30 3) (pow 30 3)))) (- (* d2 (* d2 d2)) 27000)) (- 900 (* (- 30 d2) d2)))) 1552121013.389 * * * * [progress]: [ 41 / 65 ] simplifiying candidate #real (real->posit16 (* d1 (+ (pow d2 3) (pow 30 3))))) (- 900 (* (- 30 d2) d2))))> 1552121013.389 * * * * [progress]: [ 42 / 65 ] simplifiying candidate # 1552121013.389 * * * * [progress]: [ 43 / 65 ] simplifiying candidate # 1552121013.389 * * * * [progress]: [ 44 / 65 ] simplifiying candidate # 1552121013.389 * * * * [progress]: [ 45 / 65 ] simplifiying candidate # 1552121013.389 * * * * [progress]: [ 46 / 65 ] simplifiying candidate # 1552121013.389 * * * * [progress]: [ 47 / 65 ] simplifiying candidate # 1552121013.389 * * * * [progress]: [ 48 / 65 ] simplifiying candidate # 1552121013.389 * * * * [progress]: [ 49 / 65 ] simplifiying candidate # 1552121013.389 * * * * [progress]: [ 50 / 65 ] simplifiying candidate # 1552121013.389 * [simplify]: Simplifying (* (cbrt (- 30 d2)) (cbrt (- 30 d2))) 1552121013.389 * * [simplify]: iters left: 5 (5 enodes) 1552121013.391 * * [simplify]: iters left: 4 (17 enodes) 1552121013.394 * * [simplify]: iters left: 3 (20 enodes) 1552121013.397 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.397 * * [simplify]: Extracting #1: cost 3 inf + 0 1552121013.397 * * [simplify]: Extracting #2: cost 5 inf + 0 1552121013.397 * * [simplify]: Extracting #3: cost 9 inf + 0 1552121013.397 * * [simplify]: Extracting #4: cost 7 inf + 43 1552121013.397 * * [simplify]: Extracting #5: cost 0 inf + 736 1552121013.397 * [simplify]: Simplified to (* (cbrt (- 30 d2)) (cbrt (- 30 d2))) 1552121013.397 * [simplify]: Simplified (2 2 2 1) to (λ (d1 d2) (/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (* (* (cbrt (- 30 d2)) (cbrt (- 30 d2))) (* (cbrt (- 30 d2)) d2))))) 1552121013.398 * * * * [progress]: [ 51 / 65 ] simplifiying candidate # 1552121013.398 * [simplify]: Simplifying (sqrt (- 30 d2)) 1552121013.398 * * [simplify]: iters left: 3 (4 enodes) 1552121013.400 * * [simplify]: iters left: 2 (14 enodes) 1552121013.405 * * [simplify]: iters left: 1 (17 enodes) 1552121013.410 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.410 * * [simplify]: Extracting #1: cost 3 inf + 0 1552121013.410 * * [simplify]: Extracting #2: cost 7 inf + 0 1552121013.410 * * [simplify]: Extracting #3: cost 5 inf + 43 1552121013.410 * * [simplify]: Extracting #4: cost 0 inf + 332 1552121013.411 * [simplify]: Simplified to (sqrt (- 30 d2)) 1552121013.411 * [simplify]: Simplified (2 2 2 1) to (λ (d1 d2) (/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (* (sqrt (- 30 d2)) (* (sqrt (- 30 d2)) d2))))) 1552121013.411 * * * * [progress]: [ 52 / 65 ] simplifiying candidate # 1552121013.411 * * * * [progress]: [ 53 / 65 ] simplifiying candidate # 1552121013.411 * [simplify]: Simplifying (* (- (pow 30 3) (pow d2 3)) d2) 1552121013.411 * * [simplify]: iters left: 5 (7 enodes) 1552121013.417 * * [simplify]: iters left: 4 (32 enodes) 1552121013.427 * * [simplify]: iters left: 3 (52 enodes) 1552121013.443 * * [simplify]: iters left: 2 (74 enodes) 1552121013.464 * * [simplify]: iters left: 1 (85 enodes) 1552121013.487 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.487 * * [simplify]: Extracting #1: cost 7 inf + 0 1552121013.487 * * [simplify]: Extracting #2: cost 17 inf + 1 1552121013.487 * * [simplify]: Extracting #3: cost 15 inf + 530 1552121013.488 * * [simplify]: Extracting #4: cost 1 inf + 1789 1552121013.489 * * [simplify]: Extracting #5: cost 0 inf + 1790 1552121013.490 * [simplify]: Simplified to (* d2 (- 27000 (* d2 (* d2 d2)))) 1552121013.490 * [simplify]: Simplified (2 2 2 1) to (λ (d1 d2) (/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (/ (* d2 (- 27000 (* d2 (* d2 d2)))) (+ (* 30 30) (+ (* d2 d2) (* 30 d2))))))) 1552121013.490 * * * * [progress]: [ 54 / 65 ] simplifiying candidate # 1552121013.490 * [simplify]: Simplifying (* (- (* 30 30) (* d2 d2)) d2) 1552121013.491 * * [simplify]: iters left: 6 (6 enodes) 1552121013.495 * * [simplify]: iters left: 5 (25 enodes) 1552121013.503 * * [simplify]: iters left: 4 (49 enodes) 1552121013.521 * * [simplify]: iters left: 3 (98 enodes) 1552121013.560 * * [simplify]: iters left: 2 (217 enodes) 1552121013.644 * * [simplify]: iters left: 1 (406 enodes) 1552121013.767 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.767 * * [simplify]: Extracting #1: cost 28 inf + 0 1552121013.767 * * [simplify]: Extracting #2: cost 72 inf + 1 1552121013.768 * * [simplify]: Extracting #3: cost 82 inf + 616 1552121013.769 * * [simplify]: Extracting #4: cost 40 inf + 5430 1552121013.773 * * [simplify]: Extracting #5: cost 2 inf + 10388 1552121013.777 * * [simplify]: Extracting #6: cost 0 inf + 10391 1552121013.781 * * [simplify]: Extracting #7: cost 0 inf + 10351 1552121013.787 * [simplify]: Simplified to (* (- 900 (* d2 d2)) d2) 1552121013.787 * [simplify]: Simplified (2 2 2 1) to (λ (d1 d2) (/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (/ (* (- 900 (* d2 d2)) d2) (+ 30 d2))))) 1552121013.787 * * * * [progress]: [ 55 / 65 ] simplifiying candidate #real (real->posit16 (* (- 30 d2) d2))))))> 1552121013.787 * * * * [progress]: [ 56 / 65 ] simplifiying candidate # 1552121013.787 * * * * [progress]: [ 57 / 65 ] simplifiying candidate # 1552121013.788 * [simplify]: Simplifying (+ (* d2 d1) (* 30 d1)) 1552121013.788 * * [simplify]: iters left: 4 (6 enodes) 1552121013.790 * * [simplify]: iters left: 3 (23 enodes) 1552121013.793 * * [simplify]: iters left: 2 (28 enodes) 1552121013.798 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.798 * * [simplify]: Extracting #1: cost 6 inf + 0 1552121013.798 * * [simplify]: Extracting #2: cost 10 inf + 1 1552121013.798 * * [simplify]: Extracting #3: cost 8 inf + 3 1552121013.798 * * [simplify]: Extracting #4: cost 0 inf + 501 1552121013.798 * * [simplify]: Extracting #5: cost 0 inf + 421 1552121013.799 * [simplify]: Simplified to (* (+ 30 d2) d1) 1552121013.799 * [simplify]: Simplified (2) to (λ (d1 d2) (* (+ 30 d2) d1)) 1552121013.799 * * * * [progress]: [ 58 / 65 ] simplifiying candidate # 1552121013.799 * [simplify]: Simplifying (+ (* d2 d1) (* 30 d1)) 1552121013.799 * * [simplify]: iters left: 4 (6 enodes) 1552121013.803 * * [simplify]: iters left: 3 (23 enodes) 1552121013.810 * * [simplify]: iters left: 2 (28 enodes) 1552121013.818 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.818 * * [simplify]: Extracting #1: cost 6 inf + 0 1552121013.818 * * [simplify]: Extracting #2: cost 10 inf + 1 1552121013.819 * * [simplify]: Extracting #3: cost 8 inf + 3 1552121013.819 * * [simplify]: Extracting #4: cost 0 inf + 501 1552121013.819 * * [simplify]: Extracting #5: cost 0 inf + 421 1552121013.819 * [simplify]: Simplified to (* (+ 30 d2) d1) 1552121013.819 * [simplify]: Simplified (2) to (λ (d1 d2) (* (+ 30 d2) d1)) 1552121013.820 * * * * [progress]: [ 59 / 65 ] simplifiying candidate # 1552121013.820 * [simplify]: Simplifying (+ (* d2 d1) (* 30 d1)) 1552121013.820 * * [simplify]: iters left: 4 (6 enodes) 1552121013.823 * * [simplify]: iters left: 3 (23 enodes) 1552121013.831 * * [simplify]: iters left: 2 (28 enodes) 1552121013.839 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.839 * * [simplify]: Extracting #1: cost 6 inf + 0 1552121013.839 * * [simplify]: Extracting #2: cost 10 inf + 1 1552121013.839 * * [simplify]: Extracting #3: cost 8 inf + 3 1552121013.840 * * [simplify]: Extracting #4: cost 0 inf + 501 1552121013.840 * * [simplify]: Extracting #5: cost 0 inf + 421 1552121013.840 * [simplify]: Simplified to (* (+ 30 d2) d1) 1552121013.840 * [simplify]: Simplified (2) to (λ (d1 d2) (* (+ 30 d2) d1)) 1552121013.840 * * * * [progress]: [ 60 / 65 ] simplifiying candidate # 1552121013.840 * [simplify]: Simplifying (* 27000 d1) 1552121013.841 * * [simplify]: iters left: 2 (3 enodes) 1552121013.842 * * [simplify]: iters left: 1 (10 enodes) 1552121013.846 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.846 * * [simplify]: Extracting #1: cost 4 inf + 0 1552121013.846 * * [simplify]: Extracting #2: cost 2 inf + 2 1552121013.846 * * [simplify]: Extracting #3: cost 0 inf + 86 1552121013.846 * [simplify]: Simplified to (* 27000 d1) 1552121013.846 * [simplify]: Simplified (2 1) to (λ (d1 d2) (/ (* 27000 d1) (- 900 (* (- 30 d2) d2)))) 1552121013.846 * * * * [progress]: [ 61 / 65 ] simplifiying candidate # 1552121013.846 * [simplify]: Simplifying (+ (* (pow d2 3) d1) (* 27000 d1)) 1552121013.846 * * [simplify]: iters left: 5 (8 enodes) 1552121013.851 * * [simplify]: iters left: 4 (32 enodes) 1552121013.862 * * [simplify]: iters left: 3 (47 enodes) 1552121013.877 * * [simplify]: iters left: 2 (59 enodes) 1552121013.892 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.892 * * [simplify]: Extracting #1: cost 6 inf + 0 1552121013.892 * * [simplify]: Extracting #2: cost 14 inf + 1 1552121013.892 * * [simplify]: Extracting #3: cost 17 inf + 3 1552121013.893 * * [simplify]: Extracting #4: cost 11 inf + 212 1552121013.893 * * [simplify]: Extracting #5: cost 3 inf + 1027 1552121013.894 * * [simplify]: Extracting #6: cost 0 inf + 1434 1552121013.895 * * [simplify]: Extracting #7: cost 0 inf + 1394 1552121013.895 * [simplify]: Simplified to (* d1 (+ 27000 (* d2 (* d2 d2)))) 1552121013.895 * [simplify]: Simplified (2 1) to (λ (d1 d2) (/ (* d1 (+ 27000 (* d2 (* d2 d2)))) (- 900 (* (- 30 d2) d2)))) 1552121013.895 * * * * [progress]: [ 62 / 65 ] simplifiying candidate # 1552121013.896 * [simplify]: Simplifying (+ (* (pow d2 3) d1) (* 27000 d1)) 1552121013.896 * * [simplify]: iters left: 5 (8 enodes) 1552121013.900 * * [simplify]: iters left: 4 (32 enodes) 1552121013.910 * * [simplify]: iters left: 3 (47 enodes) 1552121013.917 * * [simplify]: iters left: 2 (59 enodes) 1552121013.926 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.926 * * [simplify]: Extracting #1: cost 6 inf + 0 1552121013.927 * * [simplify]: Extracting #2: cost 14 inf + 1 1552121013.927 * * [simplify]: Extracting #3: cost 17 inf + 3 1552121013.927 * * [simplify]: Extracting #4: cost 11 inf + 212 1552121013.927 * * [simplify]: Extracting #5: cost 3 inf + 1027 1552121013.927 * * [simplify]: Extracting #6: cost 0 inf + 1434 1552121013.928 * * [simplify]: Extracting #7: cost 0 inf + 1394 1552121013.928 * [simplify]: Simplified to (* d1 (+ 27000 (* d2 (* d2 d2)))) 1552121013.928 * [simplify]: Simplified (2 1) to (λ (d1 d2) (/ (* d1 (+ 27000 (* d2 (* d2 d2)))) (- 900 (* (- 30 d2) d2)))) 1552121013.928 * * * * [progress]: [ 63 / 65 ] simplifiying candidate # 1552121013.929 * [simplify]: Simplifying (- (* 30 d2) (pow d2 2)) 1552121013.929 * * [simplify]: iters left: 4 (6 enodes) 1552121013.931 * * [simplify]: iters left: 3 (22 enodes) 1552121013.935 * * [simplify]: iters left: 2 (30 enodes) 1552121013.939 * * [simplify]: iters left: 1 (39 enodes) 1552121013.945 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.945 * * [simplify]: Extracting #1: cost 7 inf + 0 1552121013.945 * * [simplify]: Extracting #2: cost 11 inf + 123 1552121013.945 * * [simplify]: Extracting #3: cost 7 inf + 288 1552121013.946 * * [simplify]: Extracting #4: cost 1 inf + 579 1552121013.946 * * [simplify]: Extracting #5: cost 0 inf + 661 1552121013.946 * [simplify]: Simplified to (* d2 (- 30 d2)) 1552121013.946 * [simplify]: Simplified (2 2 2) to (λ (d1 d2) (/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (* d2 (- 30 d2))))) 1552121013.946 * * * * [progress]: [ 64 / 65 ] simplifiying candidate # 1552121013.946 * [simplify]: Simplifying (- (* 30 d2) (pow d2 2)) 1552121013.946 * * [simplify]: iters left: 4 (6 enodes) 1552121013.948 * * [simplify]: iters left: 3 (22 enodes) 1552121013.952 * * [simplify]: iters left: 2 (30 enodes) 1552121013.957 * * [simplify]: iters left: 1 (39 enodes) 1552121013.963 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.963 * * [simplify]: Extracting #1: cost 7 inf + 0 1552121013.963 * * [simplify]: Extracting #2: cost 11 inf + 123 1552121013.963 * * [simplify]: Extracting #3: cost 7 inf + 288 1552121013.963 * * [simplify]: Extracting #4: cost 1 inf + 579 1552121013.964 * * [simplify]: Extracting #5: cost 0 inf + 661 1552121013.964 * [simplify]: Simplified to (* d2 (- 30 d2)) 1552121013.964 * [simplify]: Simplified (2 2 2) to (λ (d1 d2) (/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (* d2 (- 30 d2))))) 1552121013.964 * * * * [progress]: [ 65 / 65 ] simplifiying candidate # 1552121013.964 * [simplify]: Simplifying (- (* 30 d2) (pow d2 2)) 1552121013.964 * * [simplify]: iters left: 4 (6 enodes) 1552121013.966 * * [simplify]: iters left: 3 (22 enodes) 1552121013.970 * * [simplify]: iters left: 2 (30 enodes) 1552121013.975 * * [simplify]: iters left: 1 (39 enodes) 1552121013.986 * * [simplify]: Extracting #0: cost 1 inf + 0 1552121013.986 * * [simplify]: Extracting #1: cost 7 inf + 0 1552121013.987 * * [simplify]: Extracting #2: cost 11 inf + 123 1552121013.987 * * [simplify]: Extracting #3: cost 7 inf + 288 1552121013.987 * * [simplify]: Extracting #4: cost 1 inf + 579 1552121013.987 * * [simplify]: Extracting #5: cost 0 inf + 661 1552121013.988 * [simplify]: Simplified to (* d2 (- 30 d2)) 1552121013.988 * [simplify]: Simplified (2 2 2) to (λ (d1 d2) (/ (* d1 (+ (pow d2 3) (pow 30 3))) (- 900 (* d2 (- 30 d2))))) 1552121013.988 * * * [progress]: adding candidates to table 1552121014.673 * [progress]: [Phase 3 of 3] Extracting. 1552121014.673 * * [regime]: Finding splitpoints for: (# #) 1552121014.674 * * * [regime-changes]: Trying 2 branch expressions: (d2 d1) 1552121014.674 * * * * [regimes]: Trying to branch on d2 from (# #) 1552121014.715 * * * * [regimes]: Trying to branch on d1 from (# #) 1552121014.755 * * * [regime]: Found split indices: #