5.102 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.049 * * * [progress]: [2/2] Setting up program. 0.051 * [progress]: [Phase 2 of 3] Improving. 0.051 * [simplify]: Simplifying: (+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3)) 0.052 * * [simplify]: Extracting # 0 : cost 0 0.052 * * [simplify]: Extracting # 1 : cost 0 0.052 * * [simplify]: Extracting # 2 : cost 0 0.052 * * [simplify]: Extracting # 3 : cost 0 0.052 * * [simplify]: Extracting # 4 : cost 0 0.052 * * [simplify]: Extracting # 5 : cost 0 0.052 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 0.053 * * [simplify]: Extracting # 0 : cost 0 0.053 * * [simplify]: Extracting # 1 : cost 0 0.053 * * [simplify]: Extracting # 2 : cost 0 0.053 * * [simplify]: Extracting # 3 : cost 0 0.053 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 0.057 * * [simplify]: Extracting # 1 : cost 0 0.057 * * [simplify]: Extracting # 2 : cost 0 0.057 * * [simplify]: Extracting # 3 : cost 0 0.058 * * [simplify]: iteration 2 : 45 enodes (cost 7 ) 0.066 * * [simplify]: Extracting # 0 : cost 0 0.066 * * [simplify]: Extracting # 1 : cost 0 0.066 * * [simplify]: Extracting # 2 : cost 0 0.066 * * [simplify]: iteration 3 : 73 enodes (cost 7 ) 0.079 * * [simplify]: Extracting # 0 : cost 0 0.079 * * [simplify]: Extracting # 1 : cost 0 0.079 * * [simplify]: Extracting # 2 : cost 0 0.079 * * [simplify]: iteration 4 : 85 enodes (cost 7 ) 0.093 * * [simplify]: Extracting # 0 : cost 0 0.093 * * [simplify]: iteration 5 : 94 enodes (cost 7 ) 0.113 * * [simplify]: Extracting # 0 : cost 0 0.113 * * [simplify]: iteration 6 : 100 enodes (cost 7 ) 0.144 * * [simplify]: Extracting # 0 : cost 0 0.144 * * [simplify]: iteration done: 100 enodes (cost 7 ) 0.144 * [simplify]: Simplified to: (* d1 (+ d3 (+ 3.0 d2))) 0.148 * * [progress]: iteration 1 / 4 0.148 * * * [progress]: picking best candidate 0.153 * * * * [pick]: Picked # 0.153 * * * [progress]: localizing error 0.164 * * * [progress]: generating rewritten candidates 0.164 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.266 * * * [progress]: generating series expansions 0.266 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.266 * [backup-simplify]: Simplify (* d1 (+ d3 (+ 3.0 d2))) into (* d1 (+ d3 (+ d2 3.0))) 0.266 * [approximate]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in (d1 d3 d2) around 0 0.266 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d2 0.266 * [taylor]: Taking taylor expansion of d1 in d2 0.266 * [backup-simplify]: Simplify d1 into d1 0.266 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d2 0.266 * [taylor]: Taking taylor expansion of d3 in d2 0.266 * [backup-simplify]: Simplify d3 into d3 0.266 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2 0.266 * [taylor]: Taking taylor expansion of d2 in d2 0.266 * [backup-simplify]: Simplify 0 into 0 0.266 * [backup-simplify]: Simplify 1 into 1 0.266 * [taylor]: Taking taylor expansion of 3.0 in d2 0.266 * [backup-simplify]: Simplify 3.0 into 3.0 0.266 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d3 0.266 * [taylor]: Taking taylor expansion of d1 in d3 0.266 * [backup-simplify]: Simplify d1 into d1 0.266 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3 0.266 * [taylor]: Taking taylor expansion of d3 in d3 0.266 * [backup-simplify]: Simplify 0 into 0 0.266 * [backup-simplify]: Simplify 1 into 1 0.266 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3 0.266 * [taylor]: Taking taylor expansion of d2 in d3 0.266 * [backup-simplify]: Simplify d2 into d2 0.266 * [taylor]: Taking taylor expansion of 3.0 in d3 0.266 * [backup-simplify]: Simplify 3.0 into 3.0 0.266 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d1 0.266 * [taylor]: Taking taylor expansion of d1 in d1 0.266 * [backup-simplify]: Simplify 0 into 0 0.266 * [backup-simplify]: Simplify 1 into 1 0.266 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d1 0.266 * [taylor]: Taking taylor expansion of d3 in d1 0.266 * [backup-simplify]: Simplify d3 into d3 0.266 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d1 0.266 * [taylor]: Taking taylor expansion of d2 in d1 0.266 * [backup-simplify]: Simplify d2 into d2 0.266 * [taylor]: Taking taylor expansion of 3.0 in d1 0.266 * [backup-simplify]: Simplify 3.0 into 3.0 0.266 * [taylor]: Taking taylor expansion of (* d1 (+ d3 (+ d2 3.0))) in d1 0.266 * [taylor]: Taking taylor expansion of d1 in d1 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify 1 into 1 0.267 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d1 0.267 * [taylor]: Taking taylor expansion of d3 in d1 0.267 * [backup-simplify]: Simplify d3 into d3 0.267 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d1 0.267 * [taylor]: Taking taylor expansion of d2 in d1 0.267 * [backup-simplify]: Simplify d2 into d2 0.267 * [taylor]: Taking taylor expansion of 3.0 in d1 0.267 * [backup-simplify]: Simplify 3.0 into 3.0 0.267 * [backup-simplify]: Simplify (+ d2 3.0) into (+ d2 3.0) 0.267 * [backup-simplify]: Simplify (+ d3 (+ d2 3.0)) into (+ d3 (+ d2 3.0)) 0.267 * [backup-simplify]: Simplify (* 0 (+ d3 (+ d2 3.0))) into 0 0.267 * [taylor]: Taking taylor expansion of 0 in d3 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [taylor]: Taking taylor expansion of 0 in d2 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify 0 into 0 0.267 * [backup-simplify]: Simplify (+ 0 0) into 0 0.268 * [backup-simplify]: Simplify (+ 0 0) into 0 0.268 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ d3 (+ d2 3.0)))) into (+ d3 (+ d2 3.0)) 0.268 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d3 0.268 * [taylor]: Taking taylor expansion of d3 in d3 0.268 * [backup-simplify]: Simplify 0 into 0 0.268 * [backup-simplify]: Simplify 1 into 1 0.268 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3 0.268 * [taylor]: Taking taylor expansion of d2 in d3 0.268 * [backup-simplify]: Simplify d2 into d2 0.268 * [taylor]: Taking taylor expansion of 3.0 in d3 0.268 * [backup-simplify]: Simplify 3.0 into 3.0 0.268 * [backup-simplify]: Simplify (+ d2 3.0) into (+ d2 3.0) 0.268 * [backup-simplify]: Simplify (+ 0 (+ d2 3.0)) into (+ d2 3.0) 0.268 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2 0.268 * [taylor]: Taking taylor expansion of d2 in d2 0.268 * [backup-simplify]: Simplify 0 into 0 0.268 * [backup-simplify]: Simplify 1 into 1 0.268 * [taylor]: Taking taylor expansion of 3.0 in d2 0.268 * [backup-simplify]: Simplify 3.0 into 3.0 0.269 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 0.269 * [backup-simplify]: Simplify 3.0 into 3.0 0.269 * [taylor]: Taking taylor expansion of 0 in d2 0.269 * [backup-simplify]: Simplify 0 into 0 0.269 * [backup-simplify]: Simplify 0 into 0 0.269 * [backup-simplify]: Simplify 0 into 0 0.269 * [backup-simplify]: Simplify (+ 0 0) into 0 0.269 * [backup-simplify]: Simplify (+ 0 0) into 0 0.270 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ d3 (+ d2 3.0))))) into 0 0.270 * [taylor]: Taking taylor expansion of 0 in d3 0.270 * [backup-simplify]: Simplify 0 into 0 0.270 * [taylor]: Taking taylor expansion of 0 in d2 0.270 * [backup-simplify]: Simplify 0 into 0 0.270 * [backup-simplify]: Simplify 0 into 0 0.270 * [backup-simplify]: Simplify (+ 0 0) into 0 0.271 * [backup-simplify]: Simplify (+ 1 0) into 1 0.271 * [taylor]: Taking taylor expansion of 1 in d2 0.271 * [backup-simplify]: Simplify 1 into 1 0.271 * [backup-simplify]: Simplify 1 into 1 0.271 * [taylor]: Taking taylor expansion of 0 in d2 0.271 * [backup-simplify]: Simplify 0 into 0 0.271 * [backup-simplify]: Simplify 0 into 0 0.271 * [backup-simplify]: Simplify (+ 1 0) into 1 0.271 * [backup-simplify]: Simplify 1 into 1 0.271 * [backup-simplify]: Simplify (+ (* 1 (* d2 (* 1 d1))) (+ (* 1 (* 1 (* d3 d1))) (* 3.0 (* 1 (* 1 d1))))) into (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 0.271 * [backup-simplify]: Simplify (* (/ 1 d1) (+ (/ 1 d3) (+ 3.0 (/ 1 d2)))) into (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) 0.271 * [approximate]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in (d1 d3 d2) around 0 0.271 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2 0.271 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2 0.272 * [taylor]: Taking taylor expansion of 3.0 in d2 0.272 * [backup-simplify]: Simplify 3.0 into 3.0 0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 0.272 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.272 * [taylor]: Taking taylor expansion of d2 in d2 0.272 * [backup-simplify]: Simplify 0 into 0 0.272 * [backup-simplify]: Simplify 1 into 1 0.272 * [backup-simplify]: Simplify (/ 1 1) into 1 0.272 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.272 * [taylor]: Taking taylor expansion of d3 in d2 0.272 * [backup-simplify]: Simplify d3 into d3 0.272 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.272 * [taylor]: Taking taylor expansion of d1 in d2 0.272 * [backup-simplify]: Simplify d1 into d1 0.273 * [backup-simplify]: Simplify (+ 1 0) into 1 0.274 * [backup-simplify]: Simplify (+ 0 1) into 1 0.274 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.274 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3 0.274 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3 0.274 * [taylor]: Taking taylor expansion of 3.0 in d3 0.274 * [backup-simplify]: Simplify 3.0 into 3.0 0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 0.274 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 0.274 * [taylor]: Taking taylor expansion of d2 in d3 0.274 * [backup-simplify]: Simplify d2 into d2 0.274 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.274 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.274 * [taylor]: Taking taylor expansion of d3 in d3 0.274 * [backup-simplify]: Simplify 0 into 0 0.274 * [backup-simplify]: Simplify 1 into 1 0.274 * [backup-simplify]: Simplify (/ 1 1) into 1 0.274 * [taylor]: Taking taylor expansion of d1 in d3 0.274 * [backup-simplify]: Simplify d1 into d1 0.275 * [backup-simplify]: Simplify (+ 0 1) into 1 0.275 * [backup-simplify]: Simplify (+ 0 1) into 1 0.275 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 0.275 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1 0.275 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d1 0.275 * [taylor]: Taking taylor expansion of 3.0 in d1 0.275 * [backup-simplify]: Simplify 3.0 into 3.0 0.275 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 0.275 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.275 * [taylor]: Taking taylor expansion of d2 in d1 0.275 * [backup-simplify]: Simplify d2 into d2 0.275 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.275 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 0.275 * [taylor]: Taking taylor expansion of d3 in d1 0.275 * [backup-simplify]: Simplify d3 into d3 0.275 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.275 * [taylor]: Taking taylor expansion of d1 in d1 0.275 * [backup-simplify]: Simplify 0 into 0 0.275 * [backup-simplify]: Simplify 1 into 1 0.275 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 0.275 * [backup-simplify]: Simplify (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) into (+ (/ 1 d2) (+ (/ 1 d3) 3.0)) 0.276 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) (+ (/ 1 d3) 3.0)) 1) into (+ (/ 1 d2) (+ (/ 1 d3) 3.0)) 0.276 * [taylor]: Taking taylor expansion of (/ (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1 0.276 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d1 0.276 * [taylor]: Taking taylor expansion of 3.0 in d1 0.276 * [backup-simplify]: Simplify 3.0 into 3.0 0.276 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 0.276 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.276 * [taylor]: Taking taylor expansion of d2 in d1 0.276 * [backup-simplify]: Simplify d2 into d2 0.276 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.276 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 0.276 * [taylor]: Taking taylor expansion of d3 in d1 0.276 * [backup-simplify]: Simplify d3 into d3 0.276 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.276 * [taylor]: Taking taylor expansion of d1 in d1 0.276 * [backup-simplify]: Simplify 0 into 0 0.276 * [backup-simplify]: Simplify 1 into 1 0.276 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 0.276 * [backup-simplify]: Simplify (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) into (+ (/ 1 d2) (+ (/ 1 d3) 3.0)) 0.276 * [backup-simplify]: Simplify (/ (+ (/ 1 d2) (+ (/ 1 d3) 3.0)) 1) into (+ (/ 1 d2) (+ (/ 1 d3) 3.0)) 0.276 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 3.0)) in d3 0.276 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 0.276 * [taylor]: Taking taylor expansion of d2 in d3 0.276 * [backup-simplify]: Simplify d2 into d2 0.277 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.277 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 3.0) in d3 0.277 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.277 * [taylor]: Taking taylor expansion of d3 in d3 0.277 * [backup-simplify]: Simplify 0 into 0 0.277 * [backup-simplify]: Simplify 1 into 1 0.277 * [backup-simplify]: Simplify (/ 1 1) into 1 0.277 * [taylor]: Taking taylor expansion of 3.0 in d3 0.277 * [backup-simplify]: Simplify 3.0 into 3.0 0.277 * [backup-simplify]: Simplify (+ 1 0) into 1 0.278 * [backup-simplify]: Simplify (+ 0 1) into 1 0.278 * [taylor]: Taking taylor expansion of 1 in d2 0.278 * [backup-simplify]: Simplify 1 into 1 0.278 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 0.278 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 0.278 * [backup-simplify]: Simplify (+ 0 0) into 0 0.278 * [backup-simplify]: Simplify (+ 0 0) into 0 0.279 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (+ (/ 1 d3) 3.0)) (/ 0 1)))) into 0 0.279 * [taylor]: Taking taylor expansion of 0 in d3 0.279 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.280 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 0.280 * [backup-simplify]: Simplify (+ (/ 1 d2) 3.0) into (+ (/ 1 d2) 3.0) 0.280 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 3.0) in d2 0.280 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.280 * [taylor]: Taking taylor expansion of d2 in d2 0.280 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify 1 into 1 0.280 * [backup-simplify]: Simplify (/ 1 1) into 1 0.280 * [taylor]: Taking taylor expansion of 3.0 in d2 0.280 * [backup-simplify]: Simplify 3.0 into 3.0 0.281 * [backup-simplify]: Simplify (+ 1 0) into 1 0.281 * [backup-simplify]: Simplify 1 into 1 0.281 * [backup-simplify]: Simplify 1 into 1 0.281 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 0.281 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 0.281 * [backup-simplify]: Simplify (+ 0 0) into 0 0.281 * [backup-simplify]: Simplify (+ 0 0) into 0 0.282 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 d2) (+ (/ 1 d3) 3.0)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.282 * [taylor]: Taking taylor expansion of 0 in d3 0.282 * [backup-simplify]: Simplify 0 into 0 0.282 * [taylor]: Taking taylor expansion of 0 in d2 0.282 * [backup-simplify]: Simplify 0 into 0 0.282 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 0.283 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.283 * [backup-simplify]: Simplify (+ 0 0) into 0 0.283 * [backup-simplify]: Simplify (+ 0 0) into 0 0.283 * [taylor]: Taking taylor expansion of 0 in d2 0.283 * [backup-simplify]: Simplify 0 into 0 0.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.284 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 0.284 * [backup-simplify]: Simplify 3.0 into 3.0 0.284 * [backup-simplify]: Simplify (+ (* 3.0 (* 1 (* 1 (/ 1 (/ 1 d1))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d3)) (/ 1 (/ 1 d1))))) (* 1 (* (/ 1 (/ 1 d2)) (* 1 (/ 1 (/ 1 d1))))))) into (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 0.285 * [backup-simplify]: Simplify (* (/ 1 (- d1)) (+ (/ 1 (- d3)) (+ 3.0 (/ 1 (- d2))))) into (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) 0.285 * [approximate]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in (d1 d3 d2) around 0 0.285 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d2 0.285 * [taylor]: Taking taylor expansion of -1 in d2 0.285 * [backup-simplify]: Simplify -1 into -1 0.285 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d2 0.285 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2 0.285 * [taylor]: Taking taylor expansion of 3.0 in d2 0.285 * [backup-simplify]: Simplify 3.0 into 3.0 0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 0.285 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.285 * [taylor]: Taking taylor expansion of d2 in d2 0.285 * [backup-simplify]: Simplify 0 into 0 0.285 * [backup-simplify]: Simplify 1 into 1 0.285 * [backup-simplify]: Simplify (/ 1 1) into 1 0.285 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 0.285 * [taylor]: Taking taylor expansion of d3 in d2 0.285 * [backup-simplify]: Simplify d3 into d3 0.285 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.285 * [taylor]: Taking taylor expansion of d1 in d2 0.285 * [backup-simplify]: Simplify d1 into d1 0.286 * [backup-simplify]: Simplify (+ 1 0) into 1 0.286 * [backup-simplify]: Simplify (- 1) into -1 0.286 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.286 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 0.286 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d3 0.286 * [taylor]: Taking taylor expansion of -1 in d3 0.286 * [backup-simplify]: Simplify -1 into -1 0.286 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d3 0.286 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3 0.286 * [taylor]: Taking taylor expansion of 3.0 in d3 0.286 * [backup-simplify]: Simplify 3.0 into 3.0 0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 0.286 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 0.286 * [taylor]: Taking taylor expansion of d2 in d3 0.286 * [backup-simplify]: Simplify d2 into d2 0.286 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.286 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.286 * [taylor]: Taking taylor expansion of d3 in d3 0.286 * [backup-simplify]: Simplify 0 into 0 0.286 * [backup-simplify]: Simplify 1 into 1 0.287 * [backup-simplify]: Simplify (/ 1 1) into 1 0.287 * [taylor]: Taking taylor expansion of d1 in d3 0.287 * [backup-simplify]: Simplify d1 into d1 0.287 * [backup-simplify]: Simplify (+ 0 1) into 1 0.287 * [backup-simplify]: Simplify (- 1) into -1 0.287 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.288 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 0.288 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1 0.288 * [taylor]: Taking taylor expansion of -1 in d1 0.288 * [backup-simplify]: Simplify -1 into -1 0.288 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1 0.288 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d1 0.288 * [taylor]: Taking taylor expansion of 3.0 in d1 0.288 * [backup-simplify]: Simplify 3.0 into 3.0 0.288 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 0.288 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.288 * [taylor]: Taking taylor expansion of d2 in d1 0.288 * [backup-simplify]: Simplify d2 into d2 0.288 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.288 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 0.288 * [taylor]: Taking taylor expansion of d3 in d1 0.288 * [backup-simplify]: Simplify d3 into d3 0.288 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.288 * [taylor]: Taking taylor expansion of d1 in d1 0.288 * [backup-simplify]: Simplify 0 into 0 0.288 * [backup-simplify]: Simplify 1 into 1 0.288 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 0.288 * [backup-simplify]: Simplify (- (+ (/ 1 d2) (/ 1 d3))) into (- (+ (/ 1 d2) (/ 1 d3))) 0.288 * [backup-simplify]: Simplify (+ 3.0 (- (+ (/ 1 d2) (/ 1 d3)))) into (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 0.288 * [backup-simplify]: Simplify (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 1) into (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 0.288 * [taylor]: Taking taylor expansion of (* -1 (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1)) in d1 0.288 * [taylor]: Taking taylor expansion of -1 in d1 0.288 * [backup-simplify]: Simplify -1 into -1 0.288 * [taylor]: Taking taylor expansion of (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) d1) in d1 0.288 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d1 0.288 * [taylor]: Taking taylor expansion of 3.0 in d1 0.288 * [backup-simplify]: Simplify 3.0 into 3.0 0.288 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d1 0.289 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 0.289 * [taylor]: Taking taylor expansion of d2 in d1 0.289 * [backup-simplify]: Simplify d2 into d2 0.289 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.289 * [taylor]: Taking taylor expansion of (/ 1 d3) in d1 0.289 * [taylor]: Taking taylor expansion of d3 in d1 0.289 * [backup-simplify]: Simplify d3 into d3 0.289 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 0.289 * [taylor]: Taking taylor expansion of d1 in d1 0.289 * [backup-simplify]: Simplify 0 into 0 0.289 * [backup-simplify]: Simplify 1 into 1 0.289 * [backup-simplify]: Simplify (+ (/ 1 d2) (/ 1 d3)) into (+ (/ 1 d2) (/ 1 d3)) 0.289 * [backup-simplify]: Simplify (- (+ (/ 1 d2) (/ 1 d3))) into (- (+ (/ 1 d2) (/ 1 d3))) 0.289 * [backup-simplify]: Simplify (+ 3.0 (- (+ (/ 1 d2) (/ 1 d3)))) into (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 0.289 * [backup-simplify]: Simplify (/ (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 1) into (- 3.0 (+ (/ 1 d2) (/ 1 d3))) 0.289 * [backup-simplify]: Simplify (* -1 (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) into (* -1 (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) 0.289 * [taylor]: Taking taylor expansion of (* -1 (- 3.0 (+ (/ 1 d2) (/ 1 d3)))) in d3 0.289 * [taylor]: Taking taylor expansion of -1 in d3 0.289 * [backup-simplify]: Simplify -1 into -1 0.289 * [taylor]: Taking taylor expansion of (- 3.0 (+ (/ 1 d2) (/ 1 d3))) in d3 0.289 * [taylor]: Taking taylor expansion of 3.0 in d3 0.289 * [backup-simplify]: Simplify 3.0 into 3.0 0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d3 0.289 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 0.289 * [taylor]: Taking taylor expansion of d2 in d3 0.289 * [backup-simplify]: Simplify d2 into d2 0.290 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 0.290 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 0.290 * [taylor]: Taking taylor expansion of d3 in d3 0.290 * [backup-simplify]: Simplify 0 into 0 0.290 * [backup-simplify]: Simplify 1 into 1 0.290 * [backup-simplify]: Simplify (/ 1 1) into 1 0.290 * [backup-simplify]: Simplify (+ 0 1) into 1 0.290 * [backup-simplify]: Simplify (- 1) into -1 0.291 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.291 * [backup-simplify]: Simplify (* -1 -1) into 1 0.291 * [taylor]: Taking taylor expansion of 1 in d2 0.291 * [backup-simplify]: Simplify 1 into 1 0.291 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 0.291 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 0.291 * [backup-simplify]: Simplify (+ 0 0) into 0 0.292 * [backup-simplify]: Simplify (- 0) into 0 0.292 * [backup-simplify]: Simplify (+ 0 0) into 0 0.292 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 3.0 (+ (/ 1 d2) (/ 1 d3))) (/ 0 1)))) into 0 0.293 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- 3.0 (+ (/ 1 d2) (/ 1 d3))))) into 0 0.293 * [taylor]: Taking taylor expansion of 0 in d3 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.294 * [backup-simplify]: Simplify (+ (/ 1 d2) 0) into (/ 1 d2) 0.294 * [backup-simplify]: Simplify (- (/ 1 d2)) into (- (/ 1 d2)) 0.294 * [backup-simplify]: Simplify (+ 3.0 (- (/ 1 d2))) into (- 3.0 (/ 1 d2)) 0.294 * [backup-simplify]: Simplify (+ (* -1 (- 3.0 (/ 1 d2))) (* 0 -1)) into (- (/ 1 d2) 3.0) 0.294 * [taylor]: Taking taylor expansion of (- (/ 1 d2) 3.0) in d2 0.294 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 0.294 * [taylor]: Taking taylor expansion of d2 in d2 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify 1 into 1 0.294 * [backup-simplify]: Simplify (/ 1 1) into 1 0.294 * [taylor]: Taking taylor expansion of 3.0 in d2 0.294 * [backup-simplify]: Simplify 3.0 into 3.0 0.295 * [backup-simplify]: Simplify (+ 1 0) into 1 0.295 * [backup-simplify]: Simplify 1 into 1 0.295 * [backup-simplify]: Simplify 1 into 1 0.295 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 0.295 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 0.295 * [backup-simplify]: Simplify (+ 0 0) into 0 0.295 * [backup-simplify]: Simplify (- 0) into 0 0.296 * [backup-simplify]: Simplify (+ 0 0) into 0 0.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- 3.0 (+ (/ 1 d2) (/ 1 d3))) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.297 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- 3.0 (+ (/ 1 d2) (/ 1 d3)))))) into 0 0.297 * [taylor]: Taking taylor expansion of 0 in d3 0.297 * [backup-simplify]: Simplify 0 into 0 0.297 * [taylor]: Taking taylor expansion of 0 in d2 0.297 * [backup-simplify]: Simplify 0 into 0 0.297 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 0.298 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.298 * [backup-simplify]: Simplify (+ 0 0) into 0 0.298 * [backup-simplify]: Simplify (- 0) into 0 0.299 * [backup-simplify]: Simplify (+ 0 0) into 0 0.299 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- 3.0 (/ 1 d2))) (* 0 -1))) into 0 0.299 * [taylor]: Taking taylor expansion of 0 in d2 0.299 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.300 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 0.300 * [backup-simplify]: Simplify (+ 0 (- 3.0)) into (- 3.0) 0.301 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 0.301 * [backup-simplify]: Simplify (+ (* (- 3.0) (* 1 (* 1 (/ 1 (/ 1 (- d1)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d3))) (/ 1 (/ 1 (- d1)))))) (* 1 (* (/ 1 (/ 1 (- d2))) (* 1 (/ 1 (/ 1 (- d1)))))))) into (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 0.301 * * * [progress]: simplifying candidates 0.302 * [simplify]: Simplifying: (expm1 (* d1 (+ d3 (+ 3.0 d2)))) (log1p (* d1 (+ d3 (+ 3.0 d2)))) (* d1 (+ d3 (+ 3.0 d2))) (+ (log d1) (log (+ d3 (+ 3.0 d2)))) (log (* d1 (+ d3 (+ 3.0 d2)))) (exp (* d1 (+ d3 (+ 3.0 d2)))) (* (* (* d1 d1) d1) (* (* (+ d3 (+ 3.0 d2)) (+ d3 (+ 3.0 d2))) (+ d3 (+ 3.0 d2)))) (* (cbrt (* d1 (+ d3 (+ 3.0 d2)))) (cbrt (* d1 (+ d3 (+ 3.0 d2))))) (cbrt (* d1 (+ d3 (+ 3.0 d2)))) (* (* (* d1 (+ d3 (+ 3.0 d2))) (* d1 (+ d3 (+ 3.0 d2)))) (* d1 (+ d3 (+ 3.0 d2)))) (sqrt (* d1 (+ d3 (+ 3.0 d2)))) (sqrt (* d1 (+ d3 (+ 3.0 d2)))) (* (sqrt d1) (sqrt (+ d3 (+ 3.0 d2)))) (* (sqrt d1) (sqrt (+ d3 (+ 3.0 d2)))) (* d1 d3) (* d1 (+ 3.0 d2)) (* d3 d1) (* (+ 3.0 d2) d1) (* d1 (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))) (* d1 (sqrt (+ d3 (+ 3.0 d2)))) (* d1 1) (* d1 1) (* d1 1) (* (cbrt d1) (+ d3 (+ 3.0 d2))) (* (sqrt d1) (+ d3 (+ 3.0 d2))) (* d1 (+ d3 (+ 3.0 d2))) (* d1 (+ (pow d3 3) (pow (+ 3.0 d2) 3))) (* d1 (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 0.302 * * [simplify]: Extracting # 0 : cost 0 0.302 * * [simplify]: Extracting # 1 : cost 0 0.302 * * [simplify]: Extracting # 2 : cost 0 0.302 * * [simplify]: Extracting # 3 : cost 0 0.303 * * [simplify]: Extracting # 4 : cost 0 0.303 * * [simplify]: Extracting # 5 : cost 0 0.303 * * [simplify]: Extracting # 6 : cost 0 0.303 * * [simplify]: iteration 0 : 53 enodes (cost 281 ) 0.325 * * [simplify]: Extracting # 0 : cost 0 0.326 * * [simplify]: Extracting # 1 : cost 0 0.326 * * [simplify]: Extracting # 2 : cost 0 0.327 * * [simplify]: Extracting # 3 : cost 0 0.327 * * [simplify]: Extracting # 4 : cost 0 0.327 * * [simplify]: iteration 1 : 171 enodes (cost 265 ) 0.416 * * [simplify]: Extracting # 0 : cost 0 0.417 * * [simplify]: Extracting # 1 : cost 0 0.417 * * [simplify]: Extracting # 2 : cost 0 0.418 * * [simplify]: Extracting # 3 : cost 0 0.419 * * [simplify]: Extracting # 4 : cost 0 0.420 * * [simplify]: iteration 2 : 760 enodes (cost 236 ) 0.886 * * [simplify]: Extracting # 0 : cost 0 0.900 * * [simplify]: Extracting # 1 : cost 0 0.907 * * [simplify]: Extracting # 2 : cost 0 0.913 * * [simplify]: Extracting # 3 : cost 0 0.920 * * [simplify]: Extracting # 4 : cost 0 0.932 * * [simplify]: iteration done: 5001 enodes (cost 234 ) 0.933 * [simplify]: Simplified to: (expm1 (* d1 (+ d3 (+ 3.0 d2)))) (log1p (* d1 (+ d3 (+ 3.0 d2)))) (* d1 (+ d3 (+ 3.0 d2))) (log (* d1 (+ d3 (+ 3.0 d2)))) (log (* d1 (+ d3 (+ 3.0 d2)))) (exp (* d1 (+ d3 (+ 3.0 d2)))) (pow (* d1 (+ d3 (+ 3.0 d2))) 3) (* (cbrt (* d1 (+ d3 (+ 3.0 d2)))) (cbrt (* d1 (+ d3 (+ 3.0 d2))))) (cbrt (* d1 (+ d3 (+ 3.0 d2)))) (pow (* d1 (+ d3 (+ 3.0 d2))) 3) (sqrt (* d1 (+ d3 (+ 3.0 d2)))) (sqrt (* d1 (+ d3 (+ 3.0 d2)))) (* (sqrt d1) (sqrt (+ d3 (+ 3.0 d2)))) (* (sqrt d1) (sqrt (+ d3 (+ 3.0 d2)))) (* d1 d3) (* d1 (+ 3.0 d2)) (* d1 d3) (* d1 (+ 3.0 d2)) (* d1 (* (cbrt (+ d3 (+ 3.0 d2))) (cbrt (+ d3 (+ 3.0 d2))))) (* d1 (sqrt (+ d3 (+ 3.0 d2)))) d1 d1 d1 (* (cbrt d1) (+ d3 (+ 3.0 d2))) (* (sqrt d1) (+ d3 (+ 3.0 d2))) (* d1 (+ d3 (+ 3.0 d2))) (* d1 (+ (pow d3 3) (pow (+ 3.0 d2) 3))) (* d1 (- (* d3 d3) (* (+ 3.0 d2) (+ 3.0 d2)))) (* d1 (+ d3 (+ 3.0 d2))) (* d1 (+ d3 (+ 3.0 d2))) (* d1 (+ d3 (+ 3.0 d2))) 0.933 * * * [progress]: adding candidates to table 1.024 * * [progress]: iteration 2 / 4 1.024 * * * [progress]: picking best candidate 1.047 * * * * [pick]: Picked # 1.047 * * * [progress]: localizing error 1.065 * * * [progress]: generating rewritten candidates 1.065 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.145 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1.163 * * * [progress]: generating series expansions 1.163 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.163 * [backup-simplify]: Simplify (+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3)) into (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 1.164 * [approximate]: Taking taylor expansion of (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) in (d1 d2 d3) around 0 1.164 * [taylor]: Taking taylor expansion of (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) in d3 1.164 * [taylor]: Taking taylor expansion of (* 3.0 d1) in d3 1.164 * [taylor]: Taking taylor expansion of 3.0 in d3 1.164 * [backup-simplify]: Simplify 3.0 into 3.0 1.164 * [taylor]: Taking taylor expansion of d1 in d3 1.164 * [backup-simplify]: Simplify d1 into d1 1.164 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d3 1.164 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 1.164 * [taylor]: Taking taylor expansion of d1 in d3 1.164 * [backup-simplify]: Simplify d1 into d1 1.164 * [taylor]: Taking taylor expansion of d3 in d3 1.164 * [backup-simplify]: Simplify 0 into 0 1.164 * [backup-simplify]: Simplify 1 into 1 1.164 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 1.164 * [taylor]: Taking taylor expansion of d1 in d3 1.164 * [backup-simplify]: Simplify d1 into d1 1.164 * [taylor]: Taking taylor expansion of d2 in d3 1.164 * [backup-simplify]: Simplify d2 into d2 1.164 * [taylor]: Taking taylor expansion of (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) in d2 1.164 * [taylor]: Taking taylor expansion of (* 3.0 d1) in d2 1.164 * [taylor]: Taking taylor expansion of 3.0 in d2 1.164 * [backup-simplify]: Simplify 3.0 into 3.0 1.164 * [taylor]: Taking taylor expansion of d1 in d2 1.164 * [backup-simplify]: Simplify d1 into d1 1.164 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d2 1.164 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 1.164 * [taylor]: Taking taylor expansion of d1 in d2 1.164 * [backup-simplify]: Simplify d1 into d1 1.164 * [taylor]: Taking taylor expansion of d3 in d2 1.164 * [backup-simplify]: Simplify d3 into d3 1.165 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 1.165 * [taylor]: Taking taylor expansion of d1 in d2 1.165 * [backup-simplify]: Simplify d1 into d1 1.165 * [taylor]: Taking taylor expansion of d2 in d2 1.165 * [backup-simplify]: Simplify 0 into 0 1.165 * [backup-simplify]: Simplify 1 into 1 1.165 * [taylor]: Taking taylor expansion of (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) in d1 1.165 * [taylor]: Taking taylor expansion of (* 3.0 d1) in d1 1.165 * [taylor]: Taking taylor expansion of 3.0 in d1 1.165 * [backup-simplify]: Simplify 3.0 into 3.0 1.165 * [taylor]: Taking taylor expansion of d1 in d1 1.165 * [backup-simplify]: Simplify 0 into 0 1.165 * [backup-simplify]: Simplify 1 into 1 1.165 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1 1.165 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 1.165 * [taylor]: Taking taylor expansion of d1 in d1 1.165 * [backup-simplify]: Simplify 0 into 0 1.165 * [backup-simplify]: Simplify 1 into 1 1.165 * [taylor]: Taking taylor expansion of d3 in d1 1.165 * [backup-simplify]: Simplify d3 into d3 1.165 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 1.165 * [taylor]: Taking taylor expansion of d1 in d1 1.165 * [backup-simplify]: Simplify 0 into 0 1.165 * [backup-simplify]: Simplify 1 into 1 1.165 * [taylor]: Taking taylor expansion of d2 in d1 1.165 * [backup-simplify]: Simplify d2 into d2 1.165 * [taylor]: Taking taylor expansion of (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) in d1 1.165 * [taylor]: Taking taylor expansion of (* 3.0 d1) in d1 1.165 * [taylor]: Taking taylor expansion of 3.0 in d1 1.165 * [backup-simplify]: Simplify 3.0 into 3.0 1.165 * [taylor]: Taking taylor expansion of d1 in d1 1.165 * [backup-simplify]: Simplify 0 into 0 1.165 * [backup-simplify]: Simplify 1 into 1 1.165 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (* d1 d2)) in d1 1.166 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 1.166 * [taylor]: Taking taylor expansion of d1 in d1 1.166 * [backup-simplify]: Simplify 0 into 0 1.166 * [backup-simplify]: Simplify 1 into 1 1.166 * [taylor]: Taking taylor expansion of d3 in d1 1.166 * [backup-simplify]: Simplify d3 into d3 1.166 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 1.166 * [taylor]: Taking taylor expansion of d1 in d1 1.166 * [backup-simplify]: Simplify 0 into 0 1.166 * [backup-simplify]: Simplify 1 into 1 1.166 * [taylor]: Taking taylor expansion of d2 in d1 1.166 * [backup-simplify]: Simplify d2 into d2 1.167 * [backup-simplify]: Simplify (* 3.0 0) into 0 1.167 * [backup-simplify]: Simplify (* 0 d3) into 0 1.167 * [backup-simplify]: Simplify (* 0 d2) into 0 1.167 * [backup-simplify]: Simplify (+ 0 0) into 0 1.168 * [backup-simplify]: Simplify (+ 0 0) into 0 1.168 * [taylor]: Taking taylor expansion of 0 in d2 1.168 * [backup-simplify]: Simplify 0 into 0 1.168 * [taylor]: Taking taylor expansion of 0 in d3 1.168 * [backup-simplify]: Simplify 0 into 0 1.168 * [backup-simplify]: Simplify 0 into 0 1.169 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0 1.170 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 1.170 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 1.170 * [backup-simplify]: Simplify (+ d3 d2) into (+ d3 d2) 1.171 * [backup-simplify]: Simplify (+ 3.0 (+ d3 d2)) into (+ d3 (+ d2 3.0)) 1.171 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d2 1.171 * [taylor]: Taking taylor expansion of d3 in d2 1.171 * [backup-simplify]: Simplify d3 into d3 1.171 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2 1.171 * [taylor]: Taking taylor expansion of d2 in d2 1.171 * [backup-simplify]: Simplify 0 into 0 1.171 * [backup-simplify]: Simplify 1 into 1 1.171 * [taylor]: Taking taylor expansion of 3.0 in d2 1.171 * [backup-simplify]: Simplify 3.0 into 3.0 1.171 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 1.171 * [backup-simplify]: Simplify (+ d3 3.0) into (+ d3 3.0) 1.171 * [taylor]: Taking taylor expansion of (+ d3 3.0) in d3 1.171 * [taylor]: Taking taylor expansion of d3 in d3 1.171 * [backup-simplify]: Simplify 0 into 0 1.171 * [backup-simplify]: Simplify 1 into 1 1.171 * [taylor]: Taking taylor expansion of 3.0 in d3 1.172 * [backup-simplify]: Simplify 3.0 into 3.0 1.172 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 1.172 * [backup-simplify]: Simplify 3.0 into 3.0 1.172 * [taylor]: Taking taylor expansion of 0 in d3 1.172 * [backup-simplify]: Simplify 0 into 0 1.172 * [backup-simplify]: Simplify 0 into 0 1.172 * [backup-simplify]: Simplify 0 into 0 1.173 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0 1.174 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 1.175 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 1.176 * [backup-simplify]: Simplify (+ 0 0) into 0 1.176 * [backup-simplify]: Simplify (+ 0 0) into 0 1.176 * [taylor]: Taking taylor expansion of 0 in d2 1.176 * [backup-simplify]: Simplify 0 into 0 1.176 * [taylor]: Taking taylor expansion of 0 in d3 1.176 * [backup-simplify]: Simplify 0 into 0 1.176 * [backup-simplify]: Simplify 0 into 0 1.177 * [backup-simplify]: Simplify (+ 1 0) into 1 1.177 * [backup-simplify]: Simplify (+ 0 1) into 1 1.177 * [taylor]: Taking taylor expansion of 1 in d3 1.177 * [backup-simplify]: Simplify 1 into 1 1.177 * [backup-simplify]: Simplify 1 into 1 1.177 * [taylor]: Taking taylor expansion of 0 in d3 1.177 * [backup-simplify]: Simplify 0 into 0 1.177 * [backup-simplify]: Simplify 0 into 0 1.178 * [backup-simplify]: Simplify (+ 1 0) into 1 1.178 * [backup-simplify]: Simplify 1 into 1 1.178 * [backup-simplify]: Simplify (+ (* 1 (* d3 (* 1 d1))) (+ (* 1 (* 1 (* d2 d1))) (* 3.0 (* 1 (* 1 d1))))) into (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 1.179 * [backup-simplify]: Simplify (+ (+ (* (/ 1 d1) 3.0) (* (/ 1 d1) (/ 1 d2))) (* (/ 1 d1) (/ 1 d3))) into (+ (* 3.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) 1.179 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in (d1 d2 d3) around 0 1.179 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d3 1.179 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d3 1.179 * [taylor]: Taking taylor expansion of 3.0 in d3 1.179 * [backup-simplify]: Simplify 3.0 into 3.0 1.179 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 1.179 * [taylor]: Taking taylor expansion of d1 in d3 1.179 * [backup-simplify]: Simplify d1 into d1 1.179 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.179 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3 1.179 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 1.179 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 1.179 * [taylor]: Taking taylor expansion of d1 in d3 1.179 * [backup-simplify]: Simplify d1 into d1 1.179 * [taylor]: Taking taylor expansion of d3 in d3 1.179 * [backup-simplify]: Simplify 0 into 0 1.179 * [backup-simplify]: Simplify 1 into 1 1.179 * [backup-simplify]: Simplify (* d1 0) into 0 1.180 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 1.180 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.180 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 1.180 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 1.180 * [taylor]: Taking taylor expansion of d1 in d3 1.180 * [backup-simplify]: Simplify d1 into d1 1.180 * [taylor]: Taking taylor expansion of d2 in d3 1.180 * [backup-simplify]: Simplify d2 into d2 1.180 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2) 1.180 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2)) 1.180 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d2 1.180 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d2 1.180 * [taylor]: Taking taylor expansion of 3.0 in d2 1.180 * [backup-simplify]: Simplify 3.0 into 3.0 1.180 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 1.180 * [taylor]: Taking taylor expansion of d1 in d2 1.180 * [backup-simplify]: Simplify d1 into d1 1.181 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.181 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2 1.181 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 1.181 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 1.181 * [taylor]: Taking taylor expansion of d1 in d2 1.181 * [backup-simplify]: Simplify d1 into d1 1.181 * [taylor]: Taking taylor expansion of d3 in d2 1.181 * [backup-simplify]: Simplify d3 into d3 1.181 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 1.181 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 1.181 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 1.181 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 1.181 * [taylor]: Taking taylor expansion of d1 in d2 1.181 * [backup-simplify]: Simplify d1 into d1 1.181 * [taylor]: Taking taylor expansion of d2 in d2 1.181 * [backup-simplify]: Simplify 0 into 0 1.181 * [backup-simplify]: Simplify 1 into 1 1.181 * [backup-simplify]: Simplify (* d1 0) into 0 1.182 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 1.182 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.182 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d1 1.182 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d1 1.182 * [taylor]: Taking taylor expansion of 3.0 in d1 1.182 * [backup-simplify]: Simplify 3.0 into 3.0 1.182 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.182 * [taylor]: Taking taylor expansion of d1 in d1 1.182 * [backup-simplify]: Simplify 0 into 0 1.182 * [backup-simplify]: Simplify 1 into 1 1.182 * [backup-simplify]: Simplify (/ 1 1) into 1 1.182 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1 1.182 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 1.182 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 1.182 * [taylor]: Taking taylor expansion of d1 in d1 1.182 * [backup-simplify]: Simplify 0 into 0 1.182 * [backup-simplify]: Simplify 1 into 1 1.183 * [taylor]: Taking taylor expansion of d3 in d1 1.183 * [backup-simplify]: Simplify d3 into d3 1.183 * [backup-simplify]: Simplify (* 0 d3) into 0 1.183 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 1.183 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.183 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 1.183 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 1.183 * [taylor]: Taking taylor expansion of d1 in d1 1.183 * [backup-simplify]: Simplify 0 into 0 1.183 * [backup-simplify]: Simplify 1 into 1 1.183 * [taylor]: Taking taylor expansion of d2 in d1 1.183 * [backup-simplify]: Simplify d2 into d2 1.183 * [backup-simplify]: Simplify (* 0 d2) into 0 1.184 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 1.184 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.184 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 d1)) (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2)))) in d1 1.184 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d1 1.184 * [taylor]: Taking taylor expansion of 3.0 in d1 1.184 * [backup-simplify]: Simplify 3.0 into 3.0 1.184 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.184 * [taylor]: Taking taylor expansion of d1 in d1 1.184 * [backup-simplify]: Simplify 0 into 0 1.184 * [backup-simplify]: Simplify 1 into 1 1.185 * [backup-simplify]: Simplify (/ 1 1) into 1 1.185 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1 1.185 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 1.185 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 1.185 * [taylor]: Taking taylor expansion of d1 in d1 1.185 * [backup-simplify]: Simplify 0 into 0 1.185 * [backup-simplify]: Simplify 1 into 1 1.185 * [taylor]: Taking taylor expansion of d3 in d1 1.185 * [backup-simplify]: Simplify d3 into d3 1.185 * [backup-simplify]: Simplify (* 0 d3) into 0 1.185 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 1.185 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.185 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 1.185 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 1.185 * [taylor]: Taking taylor expansion of d1 in d1 1.185 * [backup-simplify]: Simplify 0 into 0 1.186 * [backup-simplify]: Simplify 1 into 1 1.186 * [taylor]: Taking taylor expansion of d2 in d1 1.186 * [backup-simplify]: Simplify d2 into d2 1.186 * [backup-simplify]: Simplify (* 0 d2) into 0 1.186 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 1.186 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.187 * [backup-simplify]: Simplify (* 3.0 1) into 3.0 1.187 * [backup-simplify]: Simplify (+ (/ 1 d3) (/ 1 d2)) into (+ (/ 1 d2) (/ 1 d3)) 1.187 * [backup-simplify]: Simplify (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) into (+ (/ 1 d2) (+ (/ 1 d3) 3.0)) 1.187 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 3.0)) in d2 1.187 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.187 * [taylor]: Taking taylor expansion of d2 in d2 1.187 * [backup-simplify]: Simplify 0 into 0 1.187 * [backup-simplify]: Simplify 1 into 1 1.187 * [backup-simplify]: Simplify (/ 1 1) into 1 1.188 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 3.0) in d2 1.188 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 1.188 * [taylor]: Taking taylor expansion of d3 in d2 1.188 * [backup-simplify]: Simplify d3 into d3 1.188 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.188 * [taylor]: Taking taylor expansion of 3.0 in d2 1.188 * [backup-simplify]: Simplify 3.0 into 3.0 1.188 * [backup-simplify]: Simplify (+ 1 0) into 1 1.188 * [taylor]: Taking taylor expansion of 1 in d3 1.188 * [backup-simplify]: Simplify 1 into 1 1.189 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.190 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0 1.191 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 1.191 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1.192 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 1.192 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1.192 * [backup-simplify]: Simplify (+ 0 0) into 0 1.193 * [backup-simplify]: Simplify (+ 0 0) into 0 1.193 * [taylor]: Taking taylor expansion of 0 in d2 1.193 * [backup-simplify]: Simplify 0 into 0 1.193 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.193 * [backup-simplify]: Simplify (+ (/ 1 d3) 3.0) into (+ 3.0 (/ 1 d3)) 1.194 * [backup-simplify]: Simplify (+ 0 (+ 3.0 (/ 1 d3))) into (+ (/ 1 d3) 3.0) 1.194 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 3.0) in d3 1.194 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 1.194 * [taylor]: Taking taylor expansion of d3 in d3 1.194 * [backup-simplify]: Simplify 0 into 0 1.194 * [backup-simplify]: Simplify 1 into 1 1.194 * [backup-simplify]: Simplify (/ 1 1) into 1 1.194 * [taylor]: Taking taylor expansion of 3.0 in d3 1.194 * [backup-simplify]: Simplify 3.0 into 3.0 1.194 * [backup-simplify]: Simplify (+ 1 0) into 1 1.195 * [backup-simplify]: Simplify 1 into 1 1.195 * [backup-simplify]: Simplify 1 into 1 1.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.196 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0 1.196 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0 1.196 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 1.197 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 1.197 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1.198 * [backup-simplify]: Simplify (+ 0 0) into 0 1.198 * [backup-simplify]: Simplify (+ 0 0) into 0 1.198 * [taylor]: Taking taylor expansion of 0 in d2 1.198 * [backup-simplify]: Simplify 0 into 0 1.198 * [taylor]: Taking taylor expansion of 0 in d3 1.198 * [backup-simplify]: Simplify 0 into 0 1.199 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.199 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1.200 * [backup-simplify]: Simplify (+ 0 0) into 0 1.200 * [backup-simplify]: Simplify (+ 0 0) into 0 1.200 * [taylor]: Taking taylor expansion of 0 in d3 1.200 * [backup-simplify]: Simplify 0 into 0 1.200 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.201 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 1.201 * [backup-simplify]: Simplify 3.0 into 3.0 1.201 * [backup-simplify]: Simplify (+ (* 3.0 (* 1 (* 1 (/ 1 (/ 1 d1))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1))))))) into (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 1.201 * [backup-simplify]: Simplify (+ (+ (* (/ 1 (- d1)) 3.0) (* (/ 1 (- d1)) (/ 1 (- d2)))) (* (/ 1 (- d1)) (/ 1 (- d3)))) into (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 3.0 (/ 1 d1))) 1.201 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 3.0 (/ 1 d1))) in (d1 d2 d3) around 0 1.201 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 3.0 (/ 1 d1))) in d3 1.201 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d3 1.201 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 1.201 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 1.201 * [taylor]: Taking taylor expansion of d1 in d3 1.201 * [backup-simplify]: Simplify d1 into d1 1.201 * [taylor]: Taking taylor expansion of d3 in d3 1.201 * [backup-simplify]: Simplify 0 into 0 1.201 * [backup-simplify]: Simplify 1 into 1 1.202 * [backup-simplify]: Simplify (* d1 0) into 0 1.202 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 1.202 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.202 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 1.202 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 1.202 * [taylor]: Taking taylor expansion of d1 in d3 1.202 * [backup-simplify]: Simplify d1 into d1 1.202 * [taylor]: Taking taylor expansion of d2 in d3 1.202 * [backup-simplify]: Simplify d2 into d2 1.202 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2) 1.202 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2)) 1.202 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d3 1.202 * [taylor]: Taking taylor expansion of 3.0 in d3 1.202 * [backup-simplify]: Simplify 3.0 into 3.0 1.202 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 1.202 * [taylor]: Taking taylor expansion of d1 in d3 1.202 * [backup-simplify]: Simplify d1 into d1 1.202 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.202 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 3.0 (/ 1 d1))) in d2 1.202 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d2 1.202 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 1.202 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 1.202 * [taylor]: Taking taylor expansion of d1 in d2 1.202 * [backup-simplify]: Simplify d1 into d1 1.202 * [taylor]: Taking taylor expansion of d3 in d2 1.202 * [backup-simplify]: Simplify d3 into d3 1.202 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 1.203 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 1.203 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 1.203 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 1.203 * [taylor]: Taking taylor expansion of d1 in d2 1.203 * [backup-simplify]: Simplify d1 into d1 1.203 * [taylor]: Taking taylor expansion of d2 in d2 1.203 * [backup-simplify]: Simplify 0 into 0 1.203 * [backup-simplify]: Simplify 1 into 1 1.203 * [backup-simplify]: Simplify (* d1 0) into 0 1.203 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 1.203 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.203 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d2 1.203 * [taylor]: Taking taylor expansion of 3.0 in d2 1.203 * [backup-simplify]: Simplify 3.0 into 3.0 1.203 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 1.203 * [taylor]: Taking taylor expansion of d1 in d2 1.203 * [backup-simplify]: Simplify d1 into d1 1.203 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.203 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 3.0 (/ 1 d1))) in d1 1.203 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1 1.203 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 1.203 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 1.203 * [taylor]: Taking taylor expansion of d1 in d1 1.203 * [backup-simplify]: Simplify 0 into 0 1.203 * [backup-simplify]: Simplify 1 into 1 1.203 * [taylor]: Taking taylor expansion of d3 in d1 1.203 * [backup-simplify]: Simplify d3 into d3 1.203 * [backup-simplify]: Simplify (* 0 d3) into 0 1.204 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 1.204 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.204 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 1.204 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 1.204 * [taylor]: Taking taylor expansion of d1 in d1 1.204 * [backup-simplify]: Simplify 0 into 0 1.204 * [backup-simplify]: Simplify 1 into 1 1.204 * [taylor]: Taking taylor expansion of d2 in d1 1.204 * [backup-simplify]: Simplify d2 into d2 1.204 * [backup-simplify]: Simplify (* 0 d2) into 0 1.204 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 1.204 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.204 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d1 1.204 * [taylor]: Taking taylor expansion of 3.0 in d1 1.204 * [backup-simplify]: Simplify 3.0 into 3.0 1.204 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.204 * [taylor]: Taking taylor expansion of d1 in d1 1.204 * [backup-simplify]: Simplify 0 into 0 1.204 * [backup-simplify]: Simplify 1 into 1 1.205 * [backup-simplify]: Simplify (/ 1 1) into 1 1.205 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) (* 3.0 (/ 1 d1))) in d1 1.205 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (/ 1 (* d1 d2))) in d1 1.205 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 1.205 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 1.205 * [taylor]: Taking taylor expansion of d1 in d1 1.205 * [backup-simplify]: Simplify 0 into 0 1.205 * [backup-simplify]: Simplify 1 into 1 1.205 * [taylor]: Taking taylor expansion of d3 in d1 1.205 * [backup-simplify]: Simplify d3 into d3 1.205 * [backup-simplify]: Simplify (* 0 d3) into 0 1.205 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 1.205 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.205 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 1.205 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 1.205 * [taylor]: Taking taylor expansion of d1 in d1 1.205 * [backup-simplify]: Simplify 0 into 0 1.205 * [backup-simplify]: Simplify 1 into 1 1.205 * [taylor]: Taking taylor expansion of d2 in d1 1.205 * [backup-simplify]: Simplify d2 into d2 1.205 * [backup-simplify]: Simplify (* 0 d2) into 0 1.206 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 1.206 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.206 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d1 1.206 * [taylor]: Taking taylor expansion of 3.0 in d1 1.206 * [backup-simplify]: Simplify 3.0 into 3.0 1.206 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.206 * [taylor]: Taking taylor expansion of d1 in d1 1.206 * [backup-simplify]: Simplify 0 into 0 1.206 * [backup-simplify]: Simplify 1 into 1 1.206 * [backup-simplify]: Simplify (/ 1 1) into 1 1.206 * [backup-simplify]: Simplify (+ (/ 1 d3) (/ 1 d2)) into (+ (/ 1 d2) (/ 1 d3)) 1.206 * [backup-simplify]: Simplify (* 3.0 1) into 3.0 1.207 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 1.207 * [backup-simplify]: Simplify (+ (+ (/ 1 d2) (/ 1 d3)) (- 3.0)) into (- (+ (/ 1 d2) (/ 1 d3)) 3.0) 1.207 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d3)) 3.0) in d2 1.207 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 1.207 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.207 * [taylor]: Taking taylor expansion of d2 in d2 1.207 * [backup-simplify]: Simplify 0 into 0 1.207 * [backup-simplify]: Simplify 1 into 1 1.207 * [backup-simplify]: Simplify (/ 1 1) into 1 1.207 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 1.208 * [taylor]: Taking taylor expansion of d3 in d2 1.208 * [backup-simplify]: Simplify d3 into d3 1.208 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 1.208 * [taylor]: Taking taylor expansion of 3.0 in d2 1.208 * [backup-simplify]: Simplify 3.0 into 3.0 1.208 * [backup-simplify]: Simplify (+ 1 0) into 1 1.208 * [backup-simplify]: Simplify (+ 1 0) into 1 1.208 * [taylor]: Taking taylor expansion of 1 in d3 1.208 * [backup-simplify]: Simplify 1 into 1 1.209 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 1.209 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1.209 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 1.209 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1.210 * [backup-simplify]: Simplify (+ 0 0) into 0 1.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.211 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0 1.211 * [backup-simplify]: Simplify (- 0) into 0 1.211 * [backup-simplify]: Simplify (+ 0 0) into 0 1.211 * [taylor]: Taking taylor expansion of 0 in d2 1.211 * [backup-simplify]: Simplify 0 into 0 1.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.212 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 1.212 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 1.212 * [backup-simplify]: Simplify (+ (/ 1 d3) (- 3.0)) into (- (/ 1 d3) 3.0) 1.212 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 3.0) in d3 1.212 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 1.212 * [taylor]: Taking taylor expansion of d3 in d3 1.212 * [backup-simplify]: Simplify 0 into 0 1.212 * [backup-simplify]: Simplify 1 into 1 1.212 * [backup-simplify]: Simplify (/ 1 1) into 1 1.213 * [taylor]: Taking taylor expansion of 3.0 in d3 1.213 * [backup-simplify]: Simplify 3.0 into 3.0 1.213 * [backup-simplify]: Simplify (+ 1 0) into 1 1.213 * [backup-simplify]: Simplify 1 into 1 1.213 * [backup-simplify]: Simplify 1 into 1 1.214 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0 1.214 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 1.214 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 1.215 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1.215 * [backup-simplify]: Simplify (+ 0 0) into 0 1.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.216 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0 1.216 * [backup-simplify]: Simplify (- 0) into 0 1.216 * [backup-simplify]: Simplify (+ 0 0) into 0 1.216 * [taylor]: Taking taylor expansion of 0 in d2 1.216 * [backup-simplify]: Simplify 0 into 0 1.216 * [taylor]: Taking taylor expansion of 0 in d3 1.216 * [backup-simplify]: Simplify 0 into 0 1.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.218 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 1.219 * [backup-simplify]: Simplify (+ 0 0) into 0 1.219 * [backup-simplify]: Simplify (- 0) into 0 1.219 * [backup-simplify]: Simplify (+ 0 0) into 0 1.219 * [taylor]: Taking taylor expansion of 0 in d3 1.219 * [backup-simplify]: Simplify 0 into 0 1.220 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.220 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 1.221 * [backup-simplify]: Simplify (+ 0 (- 3.0)) into (- 3.0) 1.221 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 1.221 * [backup-simplify]: Simplify (+ (* (- 3.0) (* 1 (* 1 (/ 1 (/ 1 (- d1)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1)))))))) into (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 1.221 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1.222 * [backup-simplify]: Simplify (+ (* d1 3.0) (* d1 d2)) into (+ (* 3.0 d1) (* d1 d2)) 1.222 * [approximate]: Taking taylor expansion of (+ (* 3.0 d1) (* d1 d2)) in (d1 d2) around 0 1.222 * [taylor]: Taking taylor expansion of (+ (* 3.0 d1) (* d1 d2)) in d2 1.222 * [taylor]: Taking taylor expansion of (* 3.0 d1) in d2 1.222 * [taylor]: Taking taylor expansion of 3.0 in d2 1.222 * [backup-simplify]: Simplify 3.0 into 3.0 1.222 * [taylor]: Taking taylor expansion of d1 in d2 1.222 * [backup-simplify]: Simplify d1 into d1 1.222 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 1.222 * [taylor]: Taking taylor expansion of d1 in d2 1.222 * [backup-simplify]: Simplify d1 into d1 1.222 * [taylor]: Taking taylor expansion of d2 in d2 1.222 * [backup-simplify]: Simplify 0 into 0 1.222 * [backup-simplify]: Simplify 1 into 1 1.222 * [taylor]: Taking taylor expansion of (+ (* 3.0 d1) (* d1 d2)) in d1 1.222 * [taylor]: Taking taylor expansion of (* 3.0 d1) in d1 1.222 * [taylor]: Taking taylor expansion of 3.0 in d1 1.222 * [backup-simplify]: Simplify 3.0 into 3.0 1.222 * [taylor]: Taking taylor expansion of d1 in d1 1.222 * [backup-simplify]: Simplify 0 into 0 1.222 * [backup-simplify]: Simplify 1 into 1 1.222 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 1.222 * [taylor]: Taking taylor expansion of d1 in d1 1.222 * [backup-simplify]: Simplify 0 into 0 1.222 * [backup-simplify]: Simplify 1 into 1 1.222 * [taylor]: Taking taylor expansion of d2 in d1 1.222 * [backup-simplify]: Simplify d2 into d2 1.222 * [taylor]: Taking taylor expansion of (+ (* 3.0 d1) (* d1 d2)) in d1 1.222 * [taylor]: Taking taylor expansion of (* 3.0 d1) in d1 1.222 * [taylor]: Taking taylor expansion of 3.0 in d1 1.222 * [backup-simplify]: Simplify 3.0 into 3.0 1.222 * [taylor]: Taking taylor expansion of d1 in d1 1.222 * [backup-simplify]: Simplify 0 into 0 1.222 * [backup-simplify]: Simplify 1 into 1 1.222 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 1.222 * [taylor]: Taking taylor expansion of d1 in d1 1.222 * [backup-simplify]: Simplify 0 into 0 1.222 * [backup-simplify]: Simplify 1 into 1 1.222 * [taylor]: Taking taylor expansion of d2 in d1 1.222 * [backup-simplify]: Simplify d2 into d2 1.223 * [backup-simplify]: Simplify (* 3.0 0) into 0 1.223 * [backup-simplify]: Simplify (* 0 d2) into 0 1.223 * [backup-simplify]: Simplify (+ 0 0) into 0 1.223 * [taylor]: Taking taylor expansion of 0 in d2 1.223 * [backup-simplify]: Simplify 0 into 0 1.223 * [backup-simplify]: Simplify 0 into 0 1.224 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0 1.224 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 1.224 * [backup-simplify]: Simplify (+ 3.0 d2) into (+ d2 3.0) 1.224 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2 1.224 * [taylor]: Taking taylor expansion of d2 in d2 1.224 * [backup-simplify]: Simplify 0 into 0 1.224 * [backup-simplify]: Simplify 1 into 1 1.224 * [taylor]: Taking taylor expansion of 3.0 in d2 1.224 * [backup-simplify]: Simplify 3.0 into 3.0 1.224 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 1.224 * [backup-simplify]: Simplify 3.0 into 3.0 1.225 * [backup-simplify]: Simplify 0 into 0 1.225 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0 1.226 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 1.226 * [backup-simplify]: Simplify (+ 0 0) into 0 1.226 * [taylor]: Taking taylor expansion of 0 in d2 1.226 * [backup-simplify]: Simplify 0 into 0 1.226 * [backup-simplify]: Simplify 0 into 0 1.226 * [backup-simplify]: Simplify (+ 1 0) into 1 1.226 * [backup-simplify]: Simplify 1 into 1 1.226 * [backup-simplify]: Simplify 0 into 0 1.227 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.231 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 1.231 * [backup-simplify]: Simplify (+ 0 0) into 0 1.231 * [taylor]: Taking taylor expansion of 0 in d2 1.231 * [backup-simplify]: Simplify 0 into 0 1.231 * [backup-simplify]: Simplify 0 into 0 1.231 * [backup-simplify]: Simplify 0 into 0 1.232 * [backup-simplify]: Simplify (+ 0 0) into 0 1.232 * [backup-simplify]: Simplify 0 into 0 1.232 * [backup-simplify]: Simplify 0 into 0 1.232 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.233 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0 1.234 * [backup-simplify]: Simplify (+ 0 0) into 0 1.234 * [taylor]: Taking taylor expansion of 0 in d2 1.234 * [backup-simplify]: Simplify 0 into 0 1.234 * [backup-simplify]: Simplify 0 into 0 1.234 * [backup-simplify]: Simplify (+ (* 1 (* d2 d1)) (* 3.0 (* 1 d1))) into (+ (* 3.0 d1) (* d1 d2)) 1.234 * [backup-simplify]: Simplify (+ (* (/ 1 d1) 3.0) (* (/ 1 d1) (/ 1 d2))) into (+ (* 3.0 (/ 1 d1)) (/ 1 (* d1 d2))) 1.234 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 d1)) (/ 1 (* d1 d2))) in (d1 d2) around 0 1.234 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d2 1.234 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d2 1.234 * [taylor]: Taking taylor expansion of 3.0 in d2 1.234 * [backup-simplify]: Simplify 3.0 into 3.0 1.234 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 1.234 * [taylor]: Taking taylor expansion of d1 in d2 1.234 * [backup-simplify]: Simplify d1 into d1 1.234 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.234 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 1.234 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 1.234 * [taylor]: Taking taylor expansion of d1 in d2 1.234 * [backup-simplify]: Simplify d1 into d1 1.234 * [taylor]: Taking taylor expansion of d2 in d2 1.234 * [backup-simplify]: Simplify 0 into 0 1.234 * [backup-simplify]: Simplify 1 into 1 1.234 * [backup-simplify]: Simplify (* d1 0) into 0 1.235 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 1.235 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.235 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d1 1.235 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d1 1.235 * [taylor]: Taking taylor expansion of 3.0 in d1 1.235 * [backup-simplify]: Simplify 3.0 into 3.0 1.235 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.235 * [taylor]: Taking taylor expansion of d1 in d1 1.235 * [backup-simplify]: Simplify 0 into 0 1.235 * [backup-simplify]: Simplify 1 into 1 1.235 * [backup-simplify]: Simplify (/ 1 1) into 1 1.235 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 1.235 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 1.235 * [taylor]: Taking taylor expansion of d1 in d1 1.235 * [backup-simplify]: Simplify 0 into 0 1.235 * [backup-simplify]: Simplify 1 into 1 1.235 * [taylor]: Taking taylor expansion of d2 in d1 1.235 * [backup-simplify]: Simplify d2 into d2 1.235 * [backup-simplify]: Simplify (* 0 d2) into 0 1.235 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 1.236 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.236 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 d1)) (/ 1 (* d1 d2))) in d1 1.236 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d1 1.236 * [taylor]: Taking taylor expansion of 3.0 in d1 1.236 * [backup-simplify]: Simplify 3.0 into 3.0 1.236 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.236 * [taylor]: Taking taylor expansion of d1 in d1 1.236 * [backup-simplify]: Simplify 0 into 0 1.236 * [backup-simplify]: Simplify 1 into 1 1.236 * [backup-simplify]: Simplify (/ 1 1) into 1 1.236 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 1.236 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 1.236 * [taylor]: Taking taylor expansion of d1 in d1 1.236 * [backup-simplify]: Simplify 0 into 0 1.236 * [backup-simplify]: Simplify 1 into 1 1.236 * [taylor]: Taking taylor expansion of d2 in d1 1.236 * [backup-simplify]: Simplify d2 into d2 1.236 * [backup-simplify]: Simplify (* 0 d2) into 0 1.236 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 1.236 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.237 * [backup-simplify]: Simplify (* 3.0 1) into 3.0 1.237 * [backup-simplify]: Simplify (+ 3.0 (/ 1 d2)) into (+ (/ 1 d2) 3.0) 1.237 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 3.0) in d2 1.237 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.237 * [taylor]: Taking taylor expansion of d2 in d2 1.237 * [backup-simplify]: Simplify 0 into 0 1.237 * [backup-simplify]: Simplify 1 into 1 1.237 * [backup-simplify]: Simplify (/ 1 1) into 1 1.237 * [taylor]: Taking taylor expansion of 3.0 in d2 1.237 * [backup-simplify]: Simplify 3.0 into 3.0 1.237 * [backup-simplify]: Simplify (+ 1 0) into 1 1.237 * [backup-simplify]: Simplify 1 into 1 1.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.238 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0 1.239 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 1.239 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1.240 * [backup-simplify]: Simplify (+ 0 0) into 0 1.240 * [taylor]: Taking taylor expansion of 0 in d2 1.240 * [backup-simplify]: Simplify 0 into 0 1.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.241 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 1.241 * [backup-simplify]: Simplify 3.0 into 3.0 1.242 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.243 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0 1.244 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 1.244 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1.244 * [backup-simplify]: Simplify (+ 0 0) into 0 1.244 * [taylor]: Taking taylor expansion of 0 in d2 1.244 * [backup-simplify]: Simplify 0 into 0 1.244 * [backup-simplify]: Simplify 0 into 0 1.245 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.245 * [backup-simplify]: Simplify (+ 0 0) into 0 1.246 * [backup-simplify]: Simplify 0 into 0 1.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.247 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.249 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0 1.249 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1.249 * [backup-simplify]: Simplify (+ 0 0) into 0 1.249 * [taylor]: Taking taylor expansion of 0 in d2 1.249 * [backup-simplify]: Simplify 0 into 0 1.249 * [backup-simplify]: Simplify 0 into 0 1.249 * [backup-simplify]: Simplify 0 into 0 1.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.251 * [backup-simplify]: Simplify (+ 0 0) into 0 1.251 * [backup-simplify]: Simplify 0 into 0 1.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.253 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.254 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))))) into 0 1.255 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1.255 * [backup-simplify]: Simplify (+ 0 0) into 0 1.255 * [taylor]: Taking taylor expansion of 0 in d2 1.255 * [backup-simplify]: Simplify 0 into 0 1.255 * [backup-simplify]: Simplify 0 into 0 1.255 * [backup-simplify]: Simplify (+ (* 3.0 (* 1 (/ 1 (/ 1 d1)))) (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) into (+ (* 3.0 d1) (* d1 d2)) 1.256 * [backup-simplify]: Simplify (+ (* (/ 1 (- d1)) 3.0) (* (/ 1 (- d1)) (/ 1 (- d2)))) into (- (/ 1 (* d1 d2)) (* 3.0 (/ 1 d1))) 1.256 * [approximate]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 3.0 (/ 1 d1))) in (d1 d2) around 0 1.256 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 3.0 (/ 1 d1))) in d2 1.256 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 1.256 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 1.256 * [taylor]: Taking taylor expansion of d1 in d2 1.256 * [backup-simplify]: Simplify d1 into d1 1.256 * [taylor]: Taking taylor expansion of d2 in d2 1.256 * [backup-simplify]: Simplify 0 into 0 1.256 * [backup-simplify]: Simplify 1 into 1 1.256 * [backup-simplify]: Simplify (* d1 0) into 0 1.256 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 1.256 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.256 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d2 1.256 * [taylor]: Taking taylor expansion of 3.0 in d2 1.256 * [backup-simplify]: Simplify 3.0 into 3.0 1.256 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 1.256 * [taylor]: Taking taylor expansion of d1 in d2 1.257 * [backup-simplify]: Simplify d1 into d1 1.257 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 1.257 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 3.0 (/ 1 d1))) in d1 1.257 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 1.257 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 1.257 * [taylor]: Taking taylor expansion of d1 in d1 1.257 * [backup-simplify]: Simplify 0 into 0 1.257 * [backup-simplify]: Simplify 1 into 1 1.257 * [taylor]: Taking taylor expansion of d2 in d1 1.257 * [backup-simplify]: Simplify d2 into d2 1.257 * [backup-simplify]: Simplify (* 0 d2) into 0 1.257 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 1.257 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.257 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d1 1.257 * [taylor]: Taking taylor expansion of 3.0 in d1 1.257 * [backup-simplify]: Simplify 3.0 into 3.0 1.257 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.257 * [taylor]: Taking taylor expansion of d1 in d1 1.257 * [backup-simplify]: Simplify 0 into 0 1.257 * [backup-simplify]: Simplify 1 into 1 1.258 * [backup-simplify]: Simplify (/ 1 1) into 1 1.258 * [taylor]: Taking taylor expansion of (- (/ 1 (* d1 d2)) (* 3.0 (/ 1 d1))) in d1 1.258 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 1.258 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 1.258 * [taylor]: Taking taylor expansion of d1 in d1 1.258 * [backup-simplify]: Simplify 0 into 0 1.258 * [backup-simplify]: Simplify 1 into 1 1.258 * [taylor]: Taking taylor expansion of d2 in d1 1.258 * [backup-simplify]: Simplify d2 into d2 1.258 * [backup-simplify]: Simplify (* 0 d2) into 0 1.258 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 1.258 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 1.259 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 d1)) in d1 1.259 * [taylor]: Taking taylor expansion of 3.0 in d1 1.259 * [backup-simplify]: Simplify 3.0 into 3.0 1.259 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 1.259 * [taylor]: Taking taylor expansion of d1 in d1 1.259 * [backup-simplify]: Simplify 0 into 0 1.259 * [backup-simplify]: Simplify 1 into 1 1.259 * [backup-simplify]: Simplify (/ 1 1) into 1 1.259 * [backup-simplify]: Simplify (* 3.0 1) into 3.0 1.260 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 1.260 * [backup-simplify]: Simplify (+ (/ 1 d2) (- 3.0)) into (- (/ 1 d2) 3.0) 1.260 * [taylor]: Taking taylor expansion of (- (/ 1 d2) 3.0) in d2 1.260 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 1.260 * [taylor]: Taking taylor expansion of d2 in d2 1.260 * [backup-simplify]: Simplify 0 into 0 1.260 * [backup-simplify]: Simplify 1 into 1 1.261 * [backup-simplify]: Simplify (/ 1 1) into 1 1.261 * [taylor]: Taking taylor expansion of 3.0 in d2 1.261 * [backup-simplify]: Simplify 3.0 into 3.0 1.261 * [backup-simplify]: Simplify (+ 1 0) into 1 1.261 * [backup-simplify]: Simplify 1 into 1 1.262 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 1.262 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 1.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.263 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0 1.264 * [backup-simplify]: Simplify (- 0) into 0 1.264 * [backup-simplify]: Simplify (+ 0 0) into 0 1.264 * [taylor]: Taking taylor expansion of 0 in d2 1.264 * [backup-simplify]: Simplify 0 into 0 1.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.265 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 1.266 * [backup-simplify]: Simplify (+ 0 (- 3.0)) into (- 3.0) 1.266 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 1.267 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 1.268 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.269 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0 1.270 * [backup-simplify]: Simplify (- 0) into 0 1.270 * [backup-simplify]: Simplify (+ 0 0) into 0 1.270 * [taylor]: Taking taylor expansion of 0 in d2 1.270 * [backup-simplify]: Simplify 0 into 0 1.270 * [backup-simplify]: Simplify 0 into 0 1.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.271 * [backup-simplify]: Simplify (- 0) into 0 1.271 * [backup-simplify]: Simplify (+ 0 0) into 0 1.272 * [backup-simplify]: Simplify 0 into 0 1.273 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0 1.273 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.275 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1.275 * [backup-simplify]: Simplify (- 0) into 0 1.276 * [backup-simplify]: Simplify (+ 0 0) into 0 1.276 * [taylor]: Taking taylor expansion of 0 in d2 1.276 * [backup-simplify]: Simplify 0 into 0 1.276 * [backup-simplify]: Simplify 0 into 0 1.276 * [backup-simplify]: Simplify 0 into 0 1.277 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.277 * [backup-simplify]: Simplify (- 0) into 0 1.277 * [backup-simplify]: Simplify (+ 0 0) into 0 1.277 * [backup-simplify]: Simplify 0 into 0 1.279 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))))) into 0 1.279 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 1.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.281 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1.281 * [backup-simplify]: Simplify (- 0) into 0 1.282 * [backup-simplify]: Simplify (+ 0 0) into 0 1.282 * [taylor]: Taking taylor expansion of 0 in d2 1.282 * [backup-simplify]: Simplify 0 into 0 1.282 * [backup-simplify]: Simplify 0 into 0 1.283 * [backup-simplify]: Simplify (+ (* (- 3.0) (* 1 (/ 1 (/ 1 (- d1))))) (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) into (+ (* 3.0 d1) (* d1 d2)) 1.283 * * * [progress]: simplifying candidates 1.284 * [simplify]: Simplifying: (expm1 (+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3))) (log1p (+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3))) (* (* (exp (* d1 3.0)) (exp (* d1 d2))) (exp (* d1 d3))) (* (exp (+ (* d1 3.0) (* d1 d2))) (exp (* d1 d3))) (log (+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3))) (exp (+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3))) (* (cbrt (+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3))) (cbrt (+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3)))) (cbrt (+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3))) (* (* (+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3)) (+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3))) (+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3))) (sqrt (+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3))) (sqrt (+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3))) (+ (pow (+ (* d1 3.0) (* d1 d2)) 3) (pow (* d1 d3) 3)) (+ (* (+ (* d1 3.0) (* d1 d2)) (+ (* d1 3.0) (* d1 d2))) (- (* (* d1 d3) (* d1 d3)) (* (+ (* d1 3.0) (* d1 d2)) (* d1 d3)))) (- (* (+ (* d1 3.0) (* d1 d2)) (+ (* d1 3.0) (* d1 d2))) (* (* d1 d3) (* d1 d3))) (- (+ (* d1 3.0) (* d1 d2)) (* d1 d3)) (+ (+ 3.0 d2) d3) (+ (* d1 d2) (* d1 d3)) (expm1 (+ (* d1 3.0) (* d1 d2))) (log1p (+ (* d1 3.0) (* d1 d2))) (* (exp (* d1 3.0)) (exp (* d1 d2))) (log (+ (* d1 3.0) (* d1 d2))) (exp (+ (* d1 3.0) (* d1 d2))) (* (cbrt (+ (* d1 3.0) (* d1 d2))) (cbrt (+ (* d1 3.0) (* d1 d2)))) (cbrt (+ (* d1 3.0) (* d1 d2))) (* (* (+ (* d1 3.0) (* d1 d2)) (+ (* d1 3.0) (* d1 d2))) (+ (* d1 3.0) (* d1 d2))) (sqrt (+ (* d1 3.0) (* d1 d2))) (sqrt (+ (* d1 3.0) (* d1 d2))) (+ (pow (* d1 3.0) 3) (pow (* d1 d2) 3)) (+ (* (* d1 3.0) (* d1 3.0)) (- (* (* d1 d2) (* d1 d2)) (* (* d1 3.0) (* d1 d2)))) (- (* (* d1 3.0) (* d1 3.0)) (* (* d1 d2) (* d1 d2))) (- (* d1 3.0) (* d1 d2)) (+ 3.0 d2) (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) (+ (* 3.0 d1) (* d1 d2)) (+ (* 3.0 d1) (* d1 d2)) (+ (* 3.0 d1) (* d1 d2)) 1.285 * * [simplify]: Extracting # 0 : cost 0 1.285 * * [simplify]: Extracting # 1 : cost 0 1.285 * * [simplify]: Extracting # 2 : cost 0 1.286 * * [simplify]: Extracting # 3 : cost 0 1.286 * * [simplify]: Extracting # 4 : cost 0 1.286 * * [simplify]: Extracting # 5 : cost 0 1.286 * * [simplify]: Extracting # 6 : cost 0 1.286 * * [simplify]: iteration 0 : 60 enodes (cost 485 ) 1.315 * * [simplify]: Extracting # 0 : cost 0 1.316 * * [simplify]: Extracting # 1 : cost 0 1.316 * * [simplify]: Extracting # 2 : cost 0 1.317 * * [simplify]: Extracting # 3 : cost 0 1.317 * * [simplify]: Extracting # 4 : cost 0 1.318 * * [simplify]: Extracting # 5 : cost 0 1.318 * * [simplify]: iteration 1 : 209 enodes (cost 355 ) 1.449 * * [simplify]: Extracting # 0 : cost 0 1.451 * * [simplify]: Extracting # 1 : cost 0 1.454 * * [simplify]: Extracting # 2 : cost 0 1.457 * * [simplify]: Extracting # 3 : cost 0 1.460 * * [simplify]: Extracting # 4 : cost 0 1.463 * * [simplify]: Extracting # 5 : cost 0 1.465 * * [simplify]: iteration 2 : 1196 enodes (cost 315 ) 2.427 * * [simplify]: Extracting # 0 : cost 0 2.439 * * [simplify]: Extracting # 1 : cost 0 2.446 * * [simplify]: Extracting # 2 : cost 0 2.460 * * [simplify]: Extracting # 3 : cost 0 2.471 * * [simplify]: Extracting # 4 : cost 0 2.482 * * [simplify]: iteration done: 5000 enodes (cost 315 ) 2.483 * [simplify]: Simplified to: (expm1 (* d1 (+ (+ 3.0 d2) d3))) (log1p (* d1 (+ (+ 3.0 d2) d3))) (exp (* d1 (+ (+ 3.0 d2) d3))) (exp (* d1 (+ (+ 3.0 d2) d3))) (log (* d1 (+ (+ 3.0 d2) d3))) (exp (* d1 (+ (+ 3.0 d2) d3))) (* (cbrt (* d1 (+ (+ 3.0 d2) d3))) (cbrt (* d1 (+ (+ 3.0 d2) d3)))) (cbrt (* d1 (+ (+ 3.0 d2) d3))) (pow (* d1 (+ (+ 3.0 d2) d3)) 3) (sqrt (* d1 (+ (+ 3.0 d2) d3))) (sqrt (* d1 (+ (+ 3.0 d2) d3))) (+ (pow (* d1 d3) 3) (pow (* d1 (+ 3.0 d2)) 3)) (fma (* d1 (+ 3.0 d2)) (* d1 (+ 3.0 d2)) (* (* d1 (- d3 (+ 3.0 d2))) (* d1 d3))) (* (* d1 (- (+ 3.0 d2) d3)) (* d1 (+ (+ 3.0 d2) d3))) (* d1 (- (+ 3.0 d2) d3)) (+ (+ 3.0 d2) d3) (* d1 (+ d3 d2)) (expm1 (* d1 (+ 3.0 d2))) (log1p (* d1 (+ 3.0 d2))) (exp (* d1 (+ 3.0 d2))) (log (* d1 (+ 3.0 d2))) (exp (* d1 (+ 3.0 d2))) (* (cbrt (* d1 (+ 3.0 d2))) (cbrt (* d1 (+ 3.0 d2)))) (cbrt (* d1 (+ 3.0 d2))) (pow (* d1 (+ 3.0 d2)) 3) (sqrt (* d1 (+ 3.0 d2))) (sqrt (* d1 (+ 3.0 d2))) (+ (pow (* d1 3.0) 3) (pow (* d1 d2) 3)) (fma d1 (* 3.0 (* d1 3.0)) (* d2 (* d1 (* d1 (- d2 3.0))))) (* (* d1 (+ 3.0 d2)) (* d1 (- 3.0 d2))) (* (- 3.0 d2) d1) (+ 3.0 d2) (* d1 (+ (+ 3.0 d2) d3)) (* d1 (+ (+ 3.0 d2) d3)) (* d1 (+ (+ 3.0 d2) d3)) (* (+ 3.0 d2) d1) (* (+ 3.0 d2) d1) (* (+ 3.0 d2) d1) 2.483 * * * [progress]: adding candidates to table 2.592 * * [progress]: iteration 3 / 4 2.592 * * * [progress]: picking best candidate 2.597 * * * * [pick]: Picked # 2.597 * * * [progress]: localizing error 2.605 * * * [progress]: generating rewritten candidates 2.605 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 2.605 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.612 * * * [progress]: generating series expansions 2.612 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 2.612 * [backup-simplify]: Simplify (fma d1 3.0 (* d1 d2)) into (fma d1 3.0 (* d1 d2)) 2.612 * [approximate]: Taking taylor expansion of (fma d1 3.0 (* d1 d2)) in (d1 d2) around 0 2.612 * [taylor]: Taking taylor expansion of (fma d1 3.0 (* d1 d2)) in d2 2.612 * [taylor]: Rewrote expression to (+ (* d1 3.0) (* d1 d2)) 2.612 * [taylor]: Taking taylor expansion of (* d1 3.0) in d2 2.612 * [taylor]: Taking taylor expansion of d1 in d2 2.612 * [backup-simplify]: Simplify d1 into d1 2.612 * [taylor]: Taking taylor expansion of 3.0 in d2 2.612 * [backup-simplify]: Simplify 3.0 into 3.0 2.612 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 2.612 * [taylor]: Taking taylor expansion of d1 in d2 2.612 * [backup-simplify]: Simplify d1 into d1 2.612 * [taylor]: Taking taylor expansion of d2 in d2 2.612 * [backup-simplify]: Simplify 0 into 0 2.612 * [backup-simplify]: Simplify 1 into 1 2.612 * [taylor]: Taking taylor expansion of (fma d1 3.0 (* d1 d2)) in d1 2.612 * [taylor]: Rewrote expression to (+ (* d1 3.0) (* d1 d2)) 2.613 * [taylor]: Taking taylor expansion of (* d1 3.0) in d1 2.613 * [taylor]: Taking taylor expansion of d1 in d1 2.613 * [backup-simplify]: Simplify 0 into 0 2.613 * [backup-simplify]: Simplify 1 into 1 2.613 * [taylor]: Taking taylor expansion of 3.0 in d1 2.613 * [backup-simplify]: Simplify 3.0 into 3.0 2.613 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 2.613 * [taylor]: Taking taylor expansion of d1 in d1 2.613 * [backup-simplify]: Simplify 0 into 0 2.613 * [backup-simplify]: Simplify 1 into 1 2.613 * [taylor]: Taking taylor expansion of d2 in d1 2.613 * [backup-simplify]: Simplify d2 into d2 2.613 * [taylor]: Taking taylor expansion of (fma d1 3.0 (* d1 d2)) in d1 2.613 * [taylor]: Rewrote expression to (+ (* d1 3.0) (* d1 d2)) 2.613 * [taylor]: Taking taylor expansion of (* d1 3.0) in d1 2.613 * [taylor]: Taking taylor expansion of d1 in d1 2.613 * [backup-simplify]: Simplify 0 into 0 2.613 * [backup-simplify]: Simplify 1 into 1 2.613 * [taylor]: Taking taylor expansion of 3.0 in d1 2.613 * [backup-simplify]: Simplify 3.0 into 3.0 2.613 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 2.613 * [taylor]: Taking taylor expansion of d1 in d1 2.613 * [backup-simplify]: Simplify 0 into 0 2.613 * [backup-simplify]: Simplify 1 into 1 2.613 * [taylor]: Taking taylor expansion of d2 in d1 2.613 * [backup-simplify]: Simplify d2 into d2 2.613 * [backup-simplify]: Simplify (* 0 3.0) into 0 2.614 * [backup-simplify]: Simplify (* 0 d2) into 0 2.614 * [backup-simplify]: Simplify (+ 0 0) into 0 2.614 * [taylor]: Taking taylor expansion of 0 in d2 2.614 * [backup-simplify]: Simplify 0 into 0 2.614 * [backup-simplify]: Simplify 0 into 0 2.615 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 3.0)) into 3.0 2.615 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 2.615 * [backup-simplify]: Simplify (+ 3.0 d2) into (+ d2 3.0) 2.615 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2 2.615 * [taylor]: Taking taylor expansion of d2 in d2 2.615 * [backup-simplify]: Simplify 0 into 0 2.615 * [backup-simplify]: Simplify 1 into 1 2.615 * [taylor]: Taking taylor expansion of 3.0 in d2 2.615 * [backup-simplify]: Simplify 3.0 into 3.0 2.615 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 2.615 * [backup-simplify]: Simplify 3.0 into 3.0 2.615 * [backup-simplify]: Simplify 0 into 0 2.616 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 3.0))) into 0 2.617 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 2.617 * [backup-simplify]: Simplify (+ 0 0) into 0 2.617 * [taylor]: Taking taylor expansion of 0 in d2 2.617 * [backup-simplify]: Simplify 0 into 0 2.617 * [backup-simplify]: Simplify 0 into 0 2.617 * [backup-simplify]: Simplify (+ 1 0) into 1 2.617 * [backup-simplify]: Simplify 1 into 1 2.617 * [backup-simplify]: Simplify 0 into 0 2.618 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 3.0)))) into 0 2.619 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 2.619 * [backup-simplify]: Simplify (+ 0 0) into 0 2.619 * [taylor]: Taking taylor expansion of 0 in d2 2.619 * [backup-simplify]: Simplify 0 into 0 2.619 * [backup-simplify]: Simplify 0 into 0 2.619 * [backup-simplify]: Simplify 0 into 0 2.619 * [backup-simplify]: Simplify (+ 0 0) into 0 2.619 * [backup-simplify]: Simplify 0 into 0 2.619 * [backup-simplify]: Simplify 0 into 0 2.620 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 3.0))))) into 0 2.621 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0 2.621 * [backup-simplify]: Simplify (+ 0 0) into 0 2.621 * [taylor]: Taking taylor expansion of 0 in d2 2.621 * [backup-simplify]: Simplify 0 into 0 2.621 * [backup-simplify]: Simplify 0 into 0 2.621 * [backup-simplify]: Simplify (+ (* 1 (* d2 d1)) (* 3.0 (* 1 d1))) into (+ (* 3.0 d1) (* d1 d2)) 2.621 * [backup-simplify]: Simplify (fma (/ 1 d1) 3.0 (* (/ 1 d1) (/ 1 d2))) into (fma (/ 1 d1) 3.0 (/ 1 (* d1 d2))) 2.621 * [approximate]: Taking taylor expansion of (fma (/ 1 d1) 3.0 (/ 1 (* d1 d2))) in (d1 d2) around 0 2.621 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) 3.0 (/ 1 (* d1 d2))) in d2 2.622 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) 3.0) (/ 1 (* d1 d2))) 2.622 * [taylor]: Taking taylor expansion of (* (/ 1 d1) 3.0) in d2 2.622 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 2.622 * [taylor]: Taking taylor expansion of d1 in d2 2.622 * [backup-simplify]: Simplify d1 into d1 2.622 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.622 * [taylor]: Taking taylor expansion of 3.0 in d2 2.622 * [backup-simplify]: Simplify 3.0 into 3.0 2.622 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 2.622 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 2.622 * [taylor]: Taking taylor expansion of d1 in d2 2.622 * [backup-simplify]: Simplify d1 into d1 2.622 * [taylor]: Taking taylor expansion of d2 in d2 2.622 * [backup-simplify]: Simplify 0 into 0 2.622 * [backup-simplify]: Simplify 1 into 1 2.622 * [backup-simplify]: Simplify (* d1 0) into 0 2.622 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 2.622 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.622 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) 3.0 (/ 1 (* d1 d2))) in d1 2.622 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) 3.0) (/ 1 (* d1 d2))) 2.622 * [taylor]: Taking taylor expansion of (* (/ 1 d1) 3.0) in d1 2.622 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.622 * [taylor]: Taking taylor expansion of d1 in d1 2.622 * [backup-simplify]: Simplify 0 into 0 2.622 * [backup-simplify]: Simplify 1 into 1 2.623 * [backup-simplify]: Simplify (/ 1 1) into 1 2.623 * [taylor]: Taking taylor expansion of 3.0 in d1 2.623 * [backup-simplify]: Simplify 3.0 into 3.0 2.623 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 2.623 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 2.623 * [taylor]: Taking taylor expansion of d1 in d1 2.623 * [backup-simplify]: Simplify 0 into 0 2.623 * [backup-simplify]: Simplify 1 into 1 2.623 * [taylor]: Taking taylor expansion of d2 in d1 2.623 * [backup-simplify]: Simplify d2 into d2 2.623 * [backup-simplify]: Simplify (* 0 d2) into 0 2.623 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 2.623 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.623 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) 3.0 (/ 1 (* d1 d2))) in d1 2.623 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) 3.0) (/ 1 (* d1 d2))) 2.623 * [taylor]: Taking taylor expansion of (* (/ 1 d1) 3.0) in d1 2.623 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.623 * [taylor]: Taking taylor expansion of d1 in d1 2.623 * [backup-simplify]: Simplify 0 into 0 2.623 * [backup-simplify]: Simplify 1 into 1 2.624 * [backup-simplify]: Simplify (/ 1 1) into 1 2.624 * [taylor]: Taking taylor expansion of 3.0 in d1 2.624 * [backup-simplify]: Simplify 3.0 into 3.0 2.624 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 2.624 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 2.624 * [taylor]: Taking taylor expansion of d1 in d1 2.624 * [backup-simplify]: Simplify 0 into 0 2.624 * [backup-simplify]: Simplify 1 into 1 2.624 * [taylor]: Taking taylor expansion of d2 in d1 2.624 * [backup-simplify]: Simplify d2 into d2 2.624 * [backup-simplify]: Simplify (* 0 d2) into 0 2.624 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 2.624 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.625 * [backup-simplify]: Simplify (* 1 3.0) into 3.0 2.625 * [backup-simplify]: Simplify (+ 3.0 (/ 1 d2)) into (+ (/ 1 d2) 3.0) 2.625 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 3.0) in d2 2.625 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.625 * [taylor]: Taking taylor expansion of d2 in d2 2.625 * [backup-simplify]: Simplify 0 into 0 2.625 * [backup-simplify]: Simplify 1 into 1 2.625 * [backup-simplify]: Simplify (/ 1 1) into 1 2.625 * [taylor]: Taking taylor expansion of 3.0 in d2 2.625 * [backup-simplify]: Simplify 3.0 into 3.0 2.625 * [backup-simplify]: Simplify (+ 1 0) into 1 2.625 * [backup-simplify]: Simplify 1 into 1 2.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.626 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 3.0)) into 0 2.627 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 2.627 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 2.627 * [backup-simplify]: Simplify (+ 0 0) into 0 2.627 * [taylor]: Taking taylor expansion of 0 in d2 2.627 * [backup-simplify]: Simplify 0 into 0 2.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.628 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 2.628 * [backup-simplify]: Simplify 3.0 into 3.0 2.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 3.0))) into 0 2.630 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 2.630 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.630 * [backup-simplify]: Simplify (+ 0 0) into 0 2.630 * [taylor]: Taking taylor expansion of 0 in d2 2.630 * [backup-simplify]: Simplify 0 into 0 2.630 * [backup-simplify]: Simplify 0 into 0 2.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.631 * [backup-simplify]: Simplify (+ 0 0) into 0 2.631 * [backup-simplify]: Simplify 0 into 0 2.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 3.0)))) into 0 2.633 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0 2.633 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.633 * [backup-simplify]: Simplify (+ 0 0) into 0 2.633 * [taylor]: Taking taylor expansion of 0 in d2 2.633 * [backup-simplify]: Simplify 0 into 0 2.633 * [backup-simplify]: Simplify 0 into 0 2.633 * [backup-simplify]: Simplify 0 into 0 2.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.634 * [backup-simplify]: Simplify (+ 0 0) into 0 2.634 * [backup-simplify]: Simplify 0 into 0 2.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 3.0))))) into 0 2.637 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))))) into 0 2.637 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.637 * [backup-simplify]: Simplify (+ 0 0) into 0 2.637 * [taylor]: Taking taylor expansion of 0 in d2 2.637 * [backup-simplify]: Simplify 0 into 0 2.637 * [backup-simplify]: Simplify 0 into 0 2.637 * [backup-simplify]: Simplify (+ (* 3.0 (* 1 (/ 1 (/ 1 d1)))) (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) into (+ (* 3.0 d1) (* d1 d2)) 2.638 * [backup-simplify]: Simplify (fma (/ 1 (- d1)) 3.0 (* (/ 1 (- d1)) (/ 1 (- d2)))) into (fma (/ -1 d1) 3.0 (/ 1 (* d1 d2))) 2.638 * [approximate]: Taking taylor expansion of (fma (/ -1 d1) 3.0 (/ 1 (* d1 d2))) in (d1 d2) around 0 2.638 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) 3.0 (/ 1 (* d1 d2))) in d2 2.638 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) 3.0) (/ 1 (* d1 d2))) 2.638 * [taylor]: Taking taylor expansion of (* (/ -1 d1) 3.0) in d2 2.638 * [taylor]: Taking taylor expansion of (/ -1 d1) in d2 2.638 * [taylor]: Taking taylor expansion of -1 in d2 2.638 * [backup-simplify]: Simplify -1 into -1 2.638 * [taylor]: Taking taylor expansion of d1 in d2 2.638 * [backup-simplify]: Simplify d1 into d1 2.638 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 2.638 * [taylor]: Taking taylor expansion of 3.0 in d2 2.638 * [backup-simplify]: Simplify 3.0 into 3.0 2.638 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 2.638 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 2.638 * [taylor]: Taking taylor expansion of d1 in d2 2.638 * [backup-simplify]: Simplify d1 into d1 2.638 * [taylor]: Taking taylor expansion of d2 in d2 2.638 * [backup-simplify]: Simplify 0 into 0 2.638 * [backup-simplify]: Simplify 1 into 1 2.638 * [backup-simplify]: Simplify (* d1 0) into 0 2.639 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 2.639 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.639 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) 3.0 (/ 1 (* d1 d2))) in d1 2.639 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) 3.0) (/ 1 (* d1 d2))) 2.639 * [taylor]: Taking taylor expansion of (* (/ -1 d1) 3.0) in d1 2.639 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1 2.639 * [taylor]: Taking taylor expansion of -1 in d1 2.639 * [backup-simplify]: Simplify -1 into -1 2.639 * [taylor]: Taking taylor expansion of d1 in d1 2.639 * [backup-simplify]: Simplify 0 into 0 2.639 * [backup-simplify]: Simplify 1 into 1 2.640 * [backup-simplify]: Simplify (/ -1 1) into -1 2.640 * [taylor]: Taking taylor expansion of 3.0 in d1 2.640 * [backup-simplify]: Simplify 3.0 into 3.0 2.640 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 2.640 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 2.640 * [taylor]: Taking taylor expansion of d1 in d1 2.640 * [backup-simplify]: Simplify 0 into 0 2.640 * [backup-simplify]: Simplify 1 into 1 2.640 * [taylor]: Taking taylor expansion of d2 in d1 2.640 * [backup-simplify]: Simplify d2 into d2 2.640 * [backup-simplify]: Simplify (* 0 d2) into 0 2.640 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 2.641 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.641 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) 3.0 (/ 1 (* d1 d2))) in d1 2.641 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) 3.0) (/ 1 (* d1 d2))) 2.641 * [taylor]: Taking taylor expansion of (* (/ -1 d1) 3.0) in d1 2.641 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1 2.641 * [taylor]: Taking taylor expansion of -1 in d1 2.641 * [backup-simplify]: Simplify -1 into -1 2.641 * [taylor]: Taking taylor expansion of d1 in d1 2.641 * [backup-simplify]: Simplify 0 into 0 2.641 * [backup-simplify]: Simplify 1 into 1 2.641 * [backup-simplify]: Simplify (/ -1 1) into -1 2.642 * [taylor]: Taking taylor expansion of 3.0 in d1 2.642 * [backup-simplify]: Simplify 3.0 into 3.0 2.642 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 2.642 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 2.642 * [taylor]: Taking taylor expansion of d1 in d1 2.642 * [backup-simplify]: Simplify 0 into 0 2.642 * [backup-simplify]: Simplify 1 into 1 2.642 * [taylor]: Taking taylor expansion of d2 in d1 2.642 * [backup-simplify]: Simplify d2 into d2 2.642 * [backup-simplify]: Simplify (* 0 d2) into 0 2.642 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 2.642 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.643 * [backup-simplify]: Simplify (* -1 3.0) into -3.0 2.643 * [backup-simplify]: Simplify (+ -3.0 (/ 1 d2)) into (- (/ 1 d2) 3.0) 2.643 * [taylor]: Taking taylor expansion of (- (/ 1 d2) 3.0) in d2 2.643 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.643 * [taylor]: Taking taylor expansion of d2 in d2 2.643 * [backup-simplify]: Simplify 0 into 0 2.643 * [backup-simplify]: Simplify 1 into 1 2.643 * [backup-simplify]: Simplify (/ 1 1) into 1 2.643 * [taylor]: Taking taylor expansion of 3.0 in d2 2.643 * [backup-simplify]: Simplify 3.0 into 3.0 2.644 * [backup-simplify]: Simplify (+ 1 0) into 1 2.644 * [backup-simplify]: Simplify 1 into 1 2.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.645 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 3.0)) into 0 2.645 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 2.645 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 2.646 * [backup-simplify]: Simplify (+ 0 0) into 0 2.646 * [taylor]: Taking taylor expansion of 0 in d2 2.646 * [backup-simplify]: Simplify 0 into 0 2.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.646 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 2.647 * [backup-simplify]: Simplify (+ 0 (- 3.0)) into (- 3.0) 2.647 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 2.648 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.649 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 3.0))) into 0 2.649 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 2.649 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.650 * [backup-simplify]: Simplify (+ 0 0) into 0 2.650 * [taylor]: Taking taylor expansion of 0 in d2 2.650 * [backup-simplify]: Simplify 0 into 0 2.650 * [backup-simplify]: Simplify 0 into 0 2.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.651 * [backup-simplify]: Simplify (- 0) into 0 2.651 * [backup-simplify]: Simplify (+ 0 0) into 0 2.651 * [backup-simplify]: Simplify 0 into 0 2.651 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.652 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 3.0)))) into 0 2.653 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2))))) into 0 2.653 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.653 * [backup-simplify]: Simplify (+ 0 0) into 0 2.654 * [taylor]: Taking taylor expansion of 0 in d2 2.654 * [backup-simplify]: Simplify 0 into 0 2.654 * [backup-simplify]: Simplify 0 into 0 2.654 * [backup-simplify]: Simplify 0 into 0 2.654 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.654 * [backup-simplify]: Simplify (- 0) into 0 2.655 * [backup-simplify]: Simplify (+ 0 0) into 0 2.655 * [backup-simplify]: Simplify 0 into 0 2.655 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.656 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 3.0))))) into 0 2.657 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 d2)))))) into 0 2.657 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.657 * [backup-simplify]: Simplify (+ 0 0) into 0 2.657 * [taylor]: Taking taylor expansion of 0 in d2 2.658 * [backup-simplify]: Simplify 0 into 0 2.658 * [backup-simplify]: Simplify 0 into 0 2.658 * [backup-simplify]: Simplify (+ (* (- 3.0) (* 1 (/ 1 (/ 1 (- d1))))) (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) into (+ (* 3.0 d1) (* d1 d2)) 2.658 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.658 * [backup-simplify]: Simplify (+ (fma d1 3.0 (* d1 d2)) (* d1 d3)) into (+ (* d1 d3) (fma d1 3.0 (* d1 d2))) 2.658 * [approximate]: Taking taylor expansion of (+ (* d1 d3) (fma d1 3.0 (* d1 d2))) in (d1 d2 d3) around 0 2.658 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (fma d1 3.0 (* d1 d2))) in d3 2.658 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 2.658 * [taylor]: Taking taylor expansion of d1 in d3 2.658 * [backup-simplify]: Simplify d1 into d1 2.658 * [taylor]: Taking taylor expansion of d3 in d3 2.658 * [backup-simplify]: Simplify 0 into 0 2.658 * [backup-simplify]: Simplify 1 into 1 2.658 * [taylor]: Taking taylor expansion of (fma d1 3.0 (* d1 d2)) in d3 2.658 * [taylor]: Rewrote expression to (+ (* d1 3.0) (* d1 d2)) 2.659 * [taylor]: Taking taylor expansion of (* d1 3.0) in d3 2.659 * [taylor]: Taking taylor expansion of d1 in d3 2.659 * [backup-simplify]: Simplify d1 into d1 2.659 * [taylor]: Taking taylor expansion of 3.0 in d3 2.659 * [backup-simplify]: Simplify 3.0 into 3.0 2.659 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 2.659 * [taylor]: Taking taylor expansion of d1 in d3 2.659 * [backup-simplify]: Simplify d1 into d1 2.659 * [taylor]: Taking taylor expansion of d2 in d3 2.659 * [backup-simplify]: Simplify d2 into d2 2.659 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (fma d1 3.0 (* d1 d2))) in d2 2.659 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 2.659 * [taylor]: Taking taylor expansion of d1 in d2 2.659 * [backup-simplify]: Simplify d1 into d1 2.659 * [taylor]: Taking taylor expansion of d3 in d2 2.659 * [backup-simplify]: Simplify d3 into d3 2.659 * [taylor]: Taking taylor expansion of (fma d1 3.0 (* d1 d2)) in d2 2.659 * [taylor]: Rewrote expression to (+ (* d1 3.0) (* d1 d2)) 2.659 * [taylor]: Taking taylor expansion of (* d1 3.0) in d2 2.659 * [taylor]: Taking taylor expansion of d1 in d2 2.659 * [backup-simplify]: Simplify d1 into d1 2.659 * [taylor]: Taking taylor expansion of 3.0 in d2 2.659 * [backup-simplify]: Simplify 3.0 into 3.0 2.659 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 2.659 * [taylor]: Taking taylor expansion of d1 in d2 2.659 * [backup-simplify]: Simplify d1 into d1 2.659 * [taylor]: Taking taylor expansion of d2 in d2 2.659 * [backup-simplify]: Simplify 0 into 0 2.659 * [backup-simplify]: Simplify 1 into 1 2.659 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (fma d1 3.0 (* d1 d2))) in d1 2.659 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 2.659 * [taylor]: Taking taylor expansion of d1 in d1 2.659 * [backup-simplify]: Simplify 0 into 0 2.659 * [backup-simplify]: Simplify 1 into 1 2.659 * [taylor]: Taking taylor expansion of d3 in d1 2.659 * [backup-simplify]: Simplify d3 into d3 2.659 * [taylor]: Taking taylor expansion of (fma d1 3.0 (* d1 d2)) in d1 2.659 * [taylor]: Rewrote expression to (+ (* d1 3.0) (* d1 d2)) 2.659 * [taylor]: Taking taylor expansion of (* d1 3.0) in d1 2.659 * [taylor]: Taking taylor expansion of d1 in d1 2.659 * [backup-simplify]: Simplify 0 into 0 2.659 * [backup-simplify]: Simplify 1 into 1 2.659 * [taylor]: Taking taylor expansion of 3.0 in d1 2.659 * [backup-simplify]: Simplify 3.0 into 3.0 2.659 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 2.659 * [taylor]: Taking taylor expansion of d1 in d1 2.659 * [backup-simplify]: Simplify 0 into 0 2.659 * [backup-simplify]: Simplify 1 into 1 2.659 * [taylor]: Taking taylor expansion of d2 in d1 2.659 * [backup-simplify]: Simplify d2 into d2 2.659 * [taylor]: Taking taylor expansion of (+ (* d1 d3) (fma d1 3.0 (* d1 d2))) in d1 2.660 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 2.660 * [taylor]: Taking taylor expansion of d1 in d1 2.660 * [backup-simplify]: Simplify 0 into 0 2.660 * [backup-simplify]: Simplify 1 into 1 2.660 * [taylor]: Taking taylor expansion of d3 in d1 2.660 * [backup-simplify]: Simplify d3 into d3 2.660 * [taylor]: Taking taylor expansion of (fma d1 3.0 (* d1 d2)) in d1 2.660 * [taylor]: Rewrote expression to (+ (* d1 3.0) (* d1 d2)) 2.660 * [taylor]: Taking taylor expansion of (* d1 3.0) in d1 2.660 * [taylor]: Taking taylor expansion of d1 in d1 2.660 * [backup-simplify]: Simplify 0 into 0 2.660 * [backup-simplify]: Simplify 1 into 1 2.660 * [taylor]: Taking taylor expansion of 3.0 in d1 2.660 * [backup-simplify]: Simplify 3.0 into 3.0 2.660 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 2.660 * [taylor]: Taking taylor expansion of d1 in d1 2.660 * [backup-simplify]: Simplify 0 into 0 2.660 * [backup-simplify]: Simplify 1 into 1 2.660 * [taylor]: Taking taylor expansion of d2 in d1 2.660 * [backup-simplify]: Simplify d2 into d2 2.660 * [backup-simplify]: Simplify (* 0 d3) into 0 2.660 * [backup-simplify]: Simplify (* 0 3.0) into 0 2.660 * [backup-simplify]: Simplify (* 0 d2) into 0 2.661 * [backup-simplify]: Simplify (+ 0 0) into 0 2.661 * [backup-simplify]: Simplify (+ 0 0) into 0 2.661 * [taylor]: Taking taylor expansion of 0 in d2 2.661 * [backup-simplify]: Simplify 0 into 0 2.661 * [taylor]: Taking taylor expansion of 0 in d3 2.661 * [backup-simplify]: Simplify 0 into 0 2.661 * [backup-simplify]: Simplify 0 into 0 2.661 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 2.662 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 3.0)) into 3.0 2.662 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 2.662 * [backup-simplify]: Simplify (+ 3.0 d2) into (+ d2 3.0) 2.662 * [backup-simplify]: Simplify (+ d3 (+ d2 3.0)) into (+ d3 (+ d2 3.0)) 2.662 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d2 2.662 * [taylor]: Taking taylor expansion of d3 in d2 2.662 * [backup-simplify]: Simplify d3 into d3 2.662 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2 2.662 * [taylor]: Taking taylor expansion of d2 in d2 2.662 * [backup-simplify]: Simplify 0 into 0 2.662 * [backup-simplify]: Simplify 1 into 1 2.663 * [taylor]: Taking taylor expansion of 3.0 in d2 2.663 * [backup-simplify]: Simplify 3.0 into 3.0 2.663 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 2.663 * [backup-simplify]: Simplify (+ d3 3.0) into (+ d3 3.0) 2.663 * [taylor]: Taking taylor expansion of (+ d3 3.0) in d3 2.663 * [taylor]: Taking taylor expansion of d3 in d3 2.663 * [backup-simplify]: Simplify 0 into 0 2.663 * [backup-simplify]: Simplify 1 into 1 2.663 * [taylor]: Taking taylor expansion of 3.0 in d3 2.663 * [backup-simplify]: Simplify 3.0 into 3.0 2.663 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 2.663 * [backup-simplify]: Simplify 3.0 into 3.0 2.663 * [taylor]: Taking taylor expansion of 0 in d3 2.663 * [backup-simplify]: Simplify 0 into 0 2.663 * [backup-simplify]: Simplify 0 into 0 2.663 * [backup-simplify]: Simplify 0 into 0 2.664 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 2.664 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 3.0))) into 0 2.665 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 2.665 * [backup-simplify]: Simplify (+ 0 0) into 0 2.665 * [backup-simplify]: Simplify (+ 0 0) into 0 2.666 * [taylor]: Taking taylor expansion of 0 in d2 2.666 * [backup-simplify]: Simplify 0 into 0 2.666 * [taylor]: Taking taylor expansion of 0 in d3 2.666 * [backup-simplify]: Simplify 0 into 0 2.666 * [backup-simplify]: Simplify 0 into 0 2.666 * [backup-simplify]: Simplify (+ 1 0) into 1 2.666 * [backup-simplify]: Simplify (+ 0 1) into 1 2.666 * [taylor]: Taking taylor expansion of 1 in d3 2.666 * [backup-simplify]: Simplify 1 into 1 2.666 * [backup-simplify]: Simplify 1 into 1 2.666 * [taylor]: Taking taylor expansion of 0 in d3 2.666 * [backup-simplify]: Simplify 0 into 0 2.666 * [backup-simplify]: Simplify 0 into 0 2.667 * [backup-simplify]: Simplify (+ 1 0) into 1 2.667 * [backup-simplify]: Simplify 1 into 1 2.667 * [backup-simplify]: Simplify (+ (* 1 (* d3 (* 1 d1))) (+ (* 1 (* 1 (* d2 d1))) (* 3.0 (* 1 (* 1 d1))))) into (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 2.667 * [backup-simplify]: Simplify (+ (fma (/ 1 d1) 3.0 (* (/ 1 d1) (/ 1 d2))) (* (/ 1 d1) (/ 1 d3))) into (+ (/ 1 (* d1 d3)) (fma (/ 1 d1) 3.0 (/ 1 (* d1 d2)))) 2.667 * [approximate]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (fma (/ 1 d1) 3.0 (/ 1 (* d1 d2)))) in (d1 d2 d3) around 0 2.667 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (fma (/ 1 d1) 3.0 (/ 1 (* d1 d2)))) in d3 2.667 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 2.667 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 2.667 * [taylor]: Taking taylor expansion of d1 in d3 2.667 * [backup-simplify]: Simplify d1 into d1 2.667 * [taylor]: Taking taylor expansion of d3 in d3 2.667 * [backup-simplify]: Simplify 0 into 0 2.667 * [backup-simplify]: Simplify 1 into 1 2.667 * [backup-simplify]: Simplify (* d1 0) into 0 2.667 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 2.668 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.668 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) 3.0 (/ 1 (* d1 d2))) in d3 2.668 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) 3.0) (/ 1 (* d1 d2))) 2.668 * [taylor]: Taking taylor expansion of (* (/ 1 d1) 3.0) in d3 2.668 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 2.668 * [taylor]: Taking taylor expansion of d1 in d3 2.668 * [backup-simplify]: Simplify d1 into d1 2.668 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.668 * [taylor]: Taking taylor expansion of 3.0 in d3 2.668 * [backup-simplify]: Simplify 3.0 into 3.0 2.668 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 2.668 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 2.668 * [taylor]: Taking taylor expansion of d1 in d3 2.668 * [backup-simplify]: Simplify d1 into d1 2.668 * [taylor]: Taking taylor expansion of d2 in d3 2.668 * [backup-simplify]: Simplify d2 into d2 2.668 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2) 2.668 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2)) 2.668 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (fma (/ 1 d1) 3.0 (/ 1 (* d1 d2)))) in d2 2.668 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 2.668 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 2.668 * [taylor]: Taking taylor expansion of d1 in d2 2.668 * [backup-simplify]: Simplify d1 into d1 2.668 * [taylor]: Taking taylor expansion of d3 in d2 2.668 * [backup-simplify]: Simplify d3 into d3 2.668 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 2.668 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 2.668 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) 3.0 (/ 1 (* d1 d2))) in d2 2.668 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) 3.0) (/ 1 (* d1 d2))) 2.668 * [taylor]: Taking taylor expansion of (* (/ 1 d1) 3.0) in d2 2.668 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 2.668 * [taylor]: Taking taylor expansion of d1 in d2 2.668 * [backup-simplify]: Simplify d1 into d1 2.669 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.669 * [taylor]: Taking taylor expansion of 3.0 in d2 2.669 * [backup-simplify]: Simplify 3.0 into 3.0 2.669 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 2.669 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 2.669 * [taylor]: Taking taylor expansion of d1 in d2 2.669 * [backup-simplify]: Simplify d1 into d1 2.669 * [taylor]: Taking taylor expansion of d2 in d2 2.669 * [backup-simplify]: Simplify 0 into 0 2.669 * [backup-simplify]: Simplify 1 into 1 2.669 * [backup-simplify]: Simplify (* d1 0) into 0 2.669 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 2.669 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.669 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (fma (/ 1 d1) 3.0 (/ 1 (* d1 d2)))) in d1 2.669 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 2.669 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 2.669 * [taylor]: Taking taylor expansion of d1 in d1 2.669 * [backup-simplify]: Simplify 0 into 0 2.669 * [backup-simplify]: Simplify 1 into 1 2.669 * [taylor]: Taking taylor expansion of d3 in d1 2.669 * [backup-simplify]: Simplify d3 into d3 2.669 * [backup-simplify]: Simplify (* 0 d3) into 0 2.669 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 2.670 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.670 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) 3.0 (/ 1 (* d1 d2))) in d1 2.670 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) 3.0) (/ 1 (* d1 d2))) 2.670 * [taylor]: Taking taylor expansion of (* (/ 1 d1) 3.0) in d1 2.670 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.670 * [taylor]: Taking taylor expansion of d1 in d1 2.670 * [backup-simplify]: Simplify 0 into 0 2.670 * [backup-simplify]: Simplify 1 into 1 2.670 * [backup-simplify]: Simplify (/ 1 1) into 1 2.670 * [taylor]: Taking taylor expansion of 3.0 in d1 2.670 * [backup-simplify]: Simplify 3.0 into 3.0 2.670 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 2.670 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 2.670 * [taylor]: Taking taylor expansion of d1 in d1 2.670 * [backup-simplify]: Simplify 0 into 0 2.670 * [backup-simplify]: Simplify 1 into 1 2.670 * [taylor]: Taking taylor expansion of d2 in d1 2.670 * [backup-simplify]: Simplify d2 into d2 2.670 * [backup-simplify]: Simplify (* 0 d2) into 0 2.670 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 2.671 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.671 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d1 d3)) (fma (/ 1 d1) 3.0 (/ 1 (* d1 d2)))) in d1 2.671 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 2.671 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 2.671 * [taylor]: Taking taylor expansion of d1 in d1 2.671 * [backup-simplify]: Simplify 0 into 0 2.671 * [backup-simplify]: Simplify 1 into 1 2.671 * [taylor]: Taking taylor expansion of d3 in d1 2.671 * [backup-simplify]: Simplify d3 into d3 2.671 * [backup-simplify]: Simplify (* 0 d3) into 0 2.671 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 2.671 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.671 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) 3.0 (/ 1 (* d1 d2))) in d1 2.671 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) 3.0) (/ 1 (* d1 d2))) 2.671 * [taylor]: Taking taylor expansion of (* (/ 1 d1) 3.0) in d1 2.671 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 2.671 * [taylor]: Taking taylor expansion of d1 in d1 2.671 * [backup-simplify]: Simplify 0 into 0 2.671 * [backup-simplify]: Simplify 1 into 1 2.671 * [backup-simplify]: Simplify (/ 1 1) into 1 2.671 * [taylor]: Taking taylor expansion of 3.0 in d1 2.672 * [backup-simplify]: Simplify 3.0 into 3.0 2.672 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 2.672 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 2.672 * [taylor]: Taking taylor expansion of d1 in d1 2.672 * [backup-simplify]: Simplify 0 into 0 2.672 * [backup-simplify]: Simplify 1 into 1 2.672 * [taylor]: Taking taylor expansion of d2 in d1 2.672 * [backup-simplify]: Simplify d2 into d2 2.672 * [backup-simplify]: Simplify (* 0 d2) into 0 2.672 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 2.672 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.672 * [backup-simplify]: Simplify (* 1 3.0) into 3.0 2.672 * [backup-simplify]: Simplify (+ 3.0 (/ 1 d2)) into (+ (/ 1 d2) 3.0) 2.672 * [backup-simplify]: Simplify (+ (/ 1 d3) (+ (/ 1 d2) 3.0)) into (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) 2.672 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (/ 1 d2) (/ 1 d3))) in d2 2.673 * [taylor]: Taking taylor expansion of 3.0 in d2 2.673 * [backup-simplify]: Simplify 3.0 into 3.0 2.673 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 2.673 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.673 * [taylor]: Taking taylor expansion of d2 in d2 2.673 * [backup-simplify]: Simplify 0 into 0 2.673 * [backup-simplify]: Simplify 1 into 1 2.673 * [backup-simplify]: Simplify (/ 1 1) into 1 2.673 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.673 * [taylor]: Taking taylor expansion of d3 in d2 2.673 * [backup-simplify]: Simplify d3 into d3 2.673 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.673 * [backup-simplify]: Simplify (+ 1 0) into 1 2.674 * [backup-simplify]: Simplify (+ 0 1) into 1 2.674 * [taylor]: Taking taylor expansion of 1 in d3 2.674 * [backup-simplify]: Simplify 1 into 1 2.675 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 2.675 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.676 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 3.0)) into 0 2.676 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 2.676 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 2.682 * [backup-simplify]: Simplify (+ 0 0) into 0 2.682 * [backup-simplify]: Simplify (+ 0 0) into 0 2.682 * [taylor]: Taking taylor expansion of 0 in d2 2.682 * [backup-simplify]: Simplify 0 into 0 2.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.683 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 2.683 * [backup-simplify]: Simplify (+ 3.0 (/ 1 d3)) into (+ (/ 1 d3) 3.0) 2.683 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 3.0) in d3 2.683 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.683 * [taylor]: Taking taylor expansion of d3 in d3 2.683 * [backup-simplify]: Simplify 0 into 0 2.683 * [backup-simplify]: Simplify 1 into 1 2.683 * [backup-simplify]: Simplify (/ 1 1) into 1 2.683 * [taylor]: Taking taylor expansion of 3.0 in d3 2.683 * [backup-simplify]: Simplify 3.0 into 3.0 2.684 * [backup-simplify]: Simplify (+ 1 0) into 1 2.684 * [backup-simplify]: Simplify 1 into 1 2.684 * [backup-simplify]: Simplify 1 into 1 2.685 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0 2.685 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 3.0))) into 0 2.687 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 2.687 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.687 * [backup-simplify]: Simplify (+ 0 0) into 0 2.687 * [backup-simplify]: Simplify (+ 0 0) into 0 2.687 * [taylor]: Taking taylor expansion of 0 in d2 2.687 * [backup-simplify]: Simplify 0 into 0 2.687 * [taylor]: Taking taylor expansion of 0 in d3 2.687 * [backup-simplify]: Simplify 0 into 0 2.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.688 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.688 * [backup-simplify]: Simplify (+ 0 0) into 0 2.688 * [backup-simplify]: Simplify (+ 0 0) into 0 2.688 * [taylor]: Taking taylor expansion of 0 in d3 2.688 * [backup-simplify]: Simplify 0 into 0 2.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.689 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 2.689 * [backup-simplify]: Simplify 3.0 into 3.0 2.690 * [backup-simplify]: Simplify (+ (* 3.0 (* 1 (* 1 (/ 1 (/ 1 d1))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1))))))) into (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 2.690 * [backup-simplify]: Simplify (+ (fma (/ 1 (- d1)) 3.0 (* (/ 1 (- d1)) (/ 1 (- d2)))) (* (/ 1 (- d1)) (/ 1 (- d3)))) into (+ (fma (/ -1 d1) 3.0 (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) 2.690 * [approximate]: Taking taylor expansion of (+ (fma (/ -1 d1) 3.0 (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in (d1 d2 d3) around 0 2.690 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 d1) 3.0 (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d3 2.690 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) 3.0 (/ 1 (* d1 d2))) in d3 2.690 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) 3.0) (/ 1 (* d1 d2))) 2.690 * [taylor]: Taking taylor expansion of (* (/ -1 d1) 3.0) in d3 2.690 * [taylor]: Taking taylor expansion of (/ -1 d1) in d3 2.690 * [taylor]: Taking taylor expansion of -1 in d3 2.690 * [backup-simplify]: Simplify -1 into -1 2.690 * [taylor]: Taking taylor expansion of d1 in d3 2.690 * [backup-simplify]: Simplify d1 into d1 2.690 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 2.690 * [taylor]: Taking taylor expansion of 3.0 in d3 2.690 * [backup-simplify]: Simplify 3.0 into 3.0 2.690 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d3 2.690 * [taylor]: Taking taylor expansion of (* d1 d2) in d3 2.690 * [taylor]: Taking taylor expansion of d1 in d3 2.690 * [backup-simplify]: Simplify d1 into d1 2.690 * [taylor]: Taking taylor expansion of d2 in d3 2.690 * [backup-simplify]: Simplify d2 into d2 2.690 * [backup-simplify]: Simplify (* d1 d2) into (* d1 d2) 2.690 * [backup-simplify]: Simplify (/ 1 (* d1 d2)) into (/ 1 (* d1 d2)) 2.691 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 2.691 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 2.691 * [taylor]: Taking taylor expansion of d1 in d3 2.691 * [backup-simplify]: Simplify d1 into d1 2.691 * [taylor]: Taking taylor expansion of d3 in d3 2.691 * [backup-simplify]: Simplify 0 into 0 2.691 * [backup-simplify]: Simplify 1 into 1 2.691 * [backup-simplify]: Simplify (* d1 0) into 0 2.691 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 2.691 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.691 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 d1) 3.0 (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d2 2.691 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) 3.0 (/ 1 (* d1 d2))) in d2 2.691 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) 3.0) (/ 1 (* d1 d2))) 2.691 * [taylor]: Taking taylor expansion of (* (/ -1 d1) 3.0) in d2 2.691 * [taylor]: Taking taylor expansion of (/ -1 d1) in d2 2.691 * [taylor]: Taking taylor expansion of -1 in d2 2.691 * [backup-simplify]: Simplify -1 into -1 2.692 * [taylor]: Taking taylor expansion of d1 in d2 2.692 * [backup-simplify]: Simplify d1 into d1 2.692 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 2.692 * [taylor]: Taking taylor expansion of 3.0 in d2 2.692 * [backup-simplify]: Simplify 3.0 into 3.0 2.692 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d2 2.692 * [taylor]: Taking taylor expansion of (* d1 d2) in d2 2.692 * [taylor]: Taking taylor expansion of d1 in d2 2.692 * [backup-simplify]: Simplify d1 into d1 2.692 * [taylor]: Taking taylor expansion of d2 in d2 2.692 * [backup-simplify]: Simplify 0 into 0 2.692 * [backup-simplify]: Simplify 1 into 1 2.692 * [backup-simplify]: Simplify (* d1 0) into 0 2.692 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 2.692 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 2.692 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 2.693 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 2.693 * [taylor]: Taking taylor expansion of d1 in d2 2.693 * [backup-simplify]: Simplify d1 into d1 2.693 * [taylor]: Taking taylor expansion of d3 in d2 2.693 * [backup-simplify]: Simplify d3 into d3 2.693 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 2.693 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 2.693 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 d1) 3.0 (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1 2.693 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) 3.0 (/ 1 (* d1 d2))) in d1 2.693 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) 3.0) (/ 1 (* d1 d2))) 2.693 * [taylor]: Taking taylor expansion of (* (/ -1 d1) 3.0) in d1 2.693 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1 2.693 * [taylor]: Taking taylor expansion of -1 in d1 2.693 * [backup-simplify]: Simplify -1 into -1 2.693 * [taylor]: Taking taylor expansion of d1 in d1 2.693 * [backup-simplify]: Simplify 0 into 0 2.693 * [backup-simplify]: Simplify 1 into 1 2.694 * [backup-simplify]: Simplify (/ -1 1) into -1 2.694 * [taylor]: Taking taylor expansion of 3.0 in d1 2.694 * [backup-simplify]: Simplify 3.0 into 3.0 2.694 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 2.694 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 2.694 * [taylor]: Taking taylor expansion of d1 in d1 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify 1 into 1 2.694 * [taylor]: Taking taylor expansion of d2 in d1 2.694 * [backup-simplify]: Simplify d2 into d2 2.694 * [backup-simplify]: Simplify (* 0 d2) into 0 2.694 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 2.694 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.694 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 2.694 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 2.694 * [taylor]: Taking taylor expansion of d1 in d1 2.694 * [backup-simplify]: Simplify 0 into 0 2.694 * [backup-simplify]: Simplify 1 into 1 2.694 * [taylor]: Taking taylor expansion of d3 in d1 2.694 * [backup-simplify]: Simplify d3 into d3 2.694 * [backup-simplify]: Simplify (* 0 d3) into 0 2.695 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 2.695 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.695 * [taylor]: Taking taylor expansion of (+ (fma (/ -1 d1) 3.0 (/ 1 (* d1 d2))) (/ 1 (* d1 d3))) in d1 2.695 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) 3.0 (/ 1 (* d1 d2))) in d1 2.695 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) 3.0) (/ 1 (* d1 d2))) 2.695 * [taylor]: Taking taylor expansion of (* (/ -1 d1) 3.0) in d1 2.695 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1 2.695 * [taylor]: Taking taylor expansion of -1 in d1 2.695 * [backup-simplify]: Simplify -1 into -1 2.695 * [taylor]: Taking taylor expansion of d1 in d1 2.695 * [backup-simplify]: Simplify 0 into 0 2.695 * [backup-simplify]: Simplify 1 into 1 2.695 * [backup-simplify]: Simplify (/ -1 1) into -1 2.695 * [taylor]: Taking taylor expansion of 3.0 in d1 2.695 * [backup-simplify]: Simplify 3.0 into 3.0 2.695 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d2)) in d1 2.695 * [taylor]: Taking taylor expansion of (* d1 d2) in d1 2.695 * [taylor]: Taking taylor expansion of d1 in d1 2.695 * [backup-simplify]: Simplify 0 into 0 2.695 * [backup-simplify]: Simplify 1 into 1 2.695 * [taylor]: Taking taylor expansion of d2 in d1 2.695 * [backup-simplify]: Simplify d2 into d2 2.695 * [backup-simplify]: Simplify (* 0 d2) into 0 2.696 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d2)) into d2 2.696 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 2.696 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 2.696 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 2.696 * [taylor]: Taking taylor expansion of d1 in d1 2.696 * [backup-simplify]: Simplify 0 into 0 2.696 * [backup-simplify]: Simplify 1 into 1 2.696 * [taylor]: Taking taylor expansion of d3 in d1 2.696 * [backup-simplify]: Simplify d3 into d3 2.696 * [backup-simplify]: Simplify (* 0 d3) into 0 2.696 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 2.696 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.697 * [backup-simplify]: Simplify (* -1 3.0) into -3.0 2.697 * [backup-simplify]: Simplify (+ -3.0 (/ 1 d2)) into (- (/ 1 d2) 3.0) 2.697 * [backup-simplify]: Simplify (+ (- (/ 1 d2) 3.0) (/ 1 d3)) into (- (+ (/ 1 d2) (/ 1 d3)) 3.0) 2.697 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d3)) 3.0) in d2 2.697 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 2.697 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 2.697 * [taylor]: Taking taylor expansion of d2 in d2 2.697 * [backup-simplify]: Simplify 0 into 0 2.697 * [backup-simplify]: Simplify 1 into 1 2.697 * [backup-simplify]: Simplify (/ 1 1) into 1 2.697 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 2.697 * [taylor]: Taking taylor expansion of d3 in d2 2.697 * [backup-simplify]: Simplify d3 into d3 2.697 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 2.697 * [taylor]: Taking taylor expansion of 3.0 in d2 2.697 * [backup-simplify]: Simplify 3.0 into 3.0 2.698 * [backup-simplify]: Simplify (+ 1 0) into 1 2.698 * [backup-simplify]: Simplify (+ 1 0) into 1 2.698 * [taylor]: Taking taylor expansion of 1 in d3 2.698 * [backup-simplify]: Simplify 1 into 1 2.699 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.699 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 3.0)) into 0 2.700 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d2))) into 0 2.700 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 2.700 * [backup-simplify]: Simplify (+ 0 0) into 0 2.700 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 2.701 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.701 * [backup-simplify]: Simplify (+ 0 0) into 0 2.701 * [taylor]: Taking taylor expansion of 0 in d2 2.701 * [backup-simplify]: Simplify 0 into 0 2.701 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.701 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 2.702 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 2.702 * [backup-simplify]: Simplify (+ (/ 1 d3) (- 3.0)) into (- (/ 1 d3) 3.0) 2.702 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 3.0) in d3 2.702 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 2.702 * [taylor]: Taking taylor expansion of d3 in d3 2.702 * [backup-simplify]: Simplify 0 into 0 2.702 * [backup-simplify]: Simplify 1 into 1 2.702 * [backup-simplify]: Simplify (/ 1 1) into 1 2.702 * [taylor]: Taking taylor expansion of 3.0 in d3 2.702 * [backup-simplify]: Simplify 3.0 into 3.0 2.702 * [backup-simplify]: Simplify (+ 1 0) into 1 2.703 * [backup-simplify]: Simplify 1 into 1 2.703 * [backup-simplify]: Simplify 1 into 1 2.703 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.704 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 3.0))) into 0 2.704 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d2)))) into 0 2.704 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 2.705 * [backup-simplify]: Simplify (+ 0 0) into 0 2.705 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0 2.706 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 2.706 * [backup-simplify]: Simplify (+ 0 0) into 0 2.706 * [taylor]: Taking taylor expansion of 0 in d2 2.706 * [backup-simplify]: Simplify 0 into 0 2.706 * [taylor]: Taking taylor expansion of 0 in d3 2.706 * [backup-simplify]: Simplify 0 into 0 2.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.706 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 2.707 * [backup-simplify]: Simplify (+ 0 0) into 0 2.707 * [backup-simplify]: Simplify (- 0) into 0 2.707 * [backup-simplify]: Simplify (+ 0 0) into 0 2.707 * [taylor]: Taking taylor expansion of 0 in d3 2.707 * [backup-simplify]: Simplify 0 into 0 2.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.708 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 2.708 * [backup-simplify]: Simplify (+ 0 (- 3.0)) into (- 3.0) 2.709 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 2.709 * [backup-simplify]: Simplify (+ (* (- 3.0) (* 1 (* 1 (/ 1 (/ 1 (- d1)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1)))))))) into (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 2.709 * * * [progress]: simplifying candidates 2.710 * [simplify]: Simplifying: (expm1 (fma d1 3.0 (* d1 d2))) (log1p (fma d1 3.0 (* d1 d2))) (* d1 3.0) (log (fma d1 3.0 (* d1 d2))) (exp (fma d1 3.0 (* d1 d2))) (* (cbrt (fma d1 3.0 (* d1 d2))) (cbrt (fma d1 3.0 (* d1 d2)))) (cbrt (fma d1 3.0 (* d1 d2))) (* (* (fma d1 3.0 (* d1 d2)) (fma d1 3.0 (* d1 d2))) (fma d1 3.0 (* d1 d2))) (sqrt (fma d1 3.0 (* d1 d2))) (sqrt (fma d1 3.0 (* d1 d2))) (expm1 (+ (fma d1 3.0 (* d1 d2)) (* d1 d3))) (log1p (+ (fma d1 3.0 (* d1 d2)) (* d1 d3))) (* (exp (fma d1 3.0 (* d1 d2))) (exp (* d1 d3))) (log (+ (fma d1 3.0 (* d1 d2)) (* d1 d3))) (exp (+ (fma d1 3.0 (* d1 d2)) (* d1 d3))) (* (cbrt (+ (fma d1 3.0 (* d1 d2)) (* d1 d3))) (cbrt (+ (fma d1 3.0 (* d1 d2)) (* d1 d3)))) (cbrt (+ (fma d1 3.0 (* d1 d2)) (* d1 d3))) (* (* (+ (fma d1 3.0 (* d1 d2)) (* d1 d3)) (+ (fma d1 3.0 (* d1 d2)) (* d1 d3))) (+ (fma d1 3.0 (* d1 d2)) (* d1 d3))) (sqrt (+ (fma d1 3.0 (* d1 d2)) (* d1 d3))) (sqrt (+ (fma d1 3.0 (* d1 d2)) (* d1 d3))) (+ (pow (fma d1 3.0 (* d1 d2)) 3) (pow (* d1 d3) 3)) (+ (* (fma d1 3.0 (* d1 d2)) (fma d1 3.0 (* d1 d2))) (- (* (* d1 d3) (* d1 d3)) (* (fma d1 3.0 (* d1 d2)) (* d1 d3)))) (- (* (fma d1 3.0 (* d1 d2)) (fma d1 3.0 (* d1 d2))) (* (* d1 d3) (* d1 d3))) (- (fma d1 3.0 (* d1 d2)) (* d1 d3)) (+ (* d1 d2) (* d1 d3)) (+ (* 3.0 d1) (* d1 d2)) (+ (* 3.0 d1) (* d1 d2)) (+ (* 3.0 d1) (* d1 d2)) (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 2.710 * * [simplify]: Extracting # 0 : cost 0 2.710 * * [simplify]: Extracting # 1 : cost 0 2.711 * * [simplify]: Extracting # 2 : cost 0 2.711 * * [simplify]: Extracting # 3 : cost 0 2.711 * * [simplify]: Extracting # 4 : cost 0 2.711 * * [simplify]: Extracting # 5 : cost 0 2.711 * * [simplify]: Extracting # 6 : cost 0 2.711 * * [simplify]: Extracting # 7 : cost 0 2.711 * * [simplify]: iteration 0 : 44 enodes (cost 369 ) 2.720 * * [simplify]: Extracting # 0 : cost 0 2.721 * * [simplify]: Extracting # 1 : cost 0 2.721 * * [simplify]: Extracting # 2 : cost 0 2.721 * * [simplify]: Extracting # 3 : cost 0 2.721 * * [simplify]: Extracting # 4 : cost 0 2.721 * * [simplify]: iteration 1 : 117 enodes (cost 337 ) 2.787 * * [simplify]: Extracting # 0 : cost 0 2.788 * * [simplify]: Extracting # 1 : cost 0 2.789 * * [simplify]: Extracting # 2 : cost 0 2.790 * * [simplify]: Extracting # 3 : cost 0 2.791 * * [simplify]: Extracting # 4 : cost 0 2.792 * * [simplify]: Extracting # 5 : cost 0 2.793 * * [simplify]: iteration 2 : 541 enodes (cost 259 ) 3.541 * * [simplify]: Extracting # 0 : cost 0 3.555 * * [simplify]: Extracting # 1 : cost 0 3.563 * * [simplify]: Extracting # 2 : cost 0 3.567 * * [simplify]: Extracting # 3 : cost 0 3.570 * * [simplify]: Extracting # 4 : cost 0 3.574 * * [simplify]: iteration 3 : 3775 enodes (cost 251 ) 5.805 * * [simplify]: Extracting # 0 : cost 0 5.816 * * [simplify]: Extracting # 1 : cost 0 5.827 * * [simplify]: iteration done: 5000 enodes (cost 251 ) 5.828 * [simplify]: Simplified to: (expm1 (* d1 (+ 3.0 d2))) (log1p (* d1 (+ 3.0 d2))) (* d1 3.0) (log (* d1 (+ 3.0 d2))) (exp (* d1 (+ 3.0 d2))) (* (cbrt (* d1 (+ 3.0 d2))) (cbrt (* d1 (+ 3.0 d2)))) (cbrt (* d1 (+ 3.0 d2))) (pow (* d1 (+ 3.0 d2)) 3) (sqrt (* d1 (+ 3.0 d2))) (sqrt (* d1 (+ 3.0 d2))) (expm1 (* d1 (+ 3.0 (+ d2 d3)))) (log1p (* d1 (+ 3.0 (+ d2 d3)))) (exp (* d1 (+ 3.0 (+ d2 d3)))) (log (* d1 (+ 3.0 (+ d2 d3)))) (exp (* d1 (+ 3.0 (+ d2 d3)))) (* (cbrt (* d1 (+ 3.0 (+ d2 d3)))) (cbrt (* d1 (+ 3.0 (+ d2 d3))))) (cbrt (* d1 (+ 3.0 (+ d2 d3)))) (pow (* d1 (+ 3.0 (+ d2 d3))) 3) (sqrt (* d1 (+ 3.0 (+ d2 d3)))) (sqrt (* d1 (+ 3.0 (+ d2 d3)))) (+ (pow (* d1 d3) 3) (pow (* d1 (+ 3.0 d2)) 3)) (fma (* d1 d1) (* d3 d3) (* (* d1 (+ 3.0 d2)) (* d1 (- (+ d2 3.0) d3)))) (* (* (+ (+ d2 d3) 3.0) d1) (* d1 (- (+ d2 3.0) d3))) (* d1 (- (+ d2 3.0) d3)) (* d1 (+ d2 d3)) (* d1 (+ 3.0 d2)) (* d1 (+ 3.0 d2)) (* d1 (+ 3.0 d2)) (* (+ (+ d2 d3) 3.0) d1) (* (+ (+ d2 d3) 3.0) d1) (* (+ (+ d2 d3) 3.0) d1) 5.828 * * * [progress]: adding candidates to table 5.938 * * [progress]: iteration 4 / 4 5.938 * * * [progress]: picking best candidate 5.944 * * * * [pick]: Picked # 5.944 * * * [progress]: localizing error 5.957 * * * [progress]: generating rewritten candidates 5.957 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.958 * * * [progress]: generating series expansions 5.958 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.958 * [backup-simplify]: Simplify (fma d1 (+ 3.0 d2) (* d1 d3)) into (fma d1 (+ d2 3.0) (* d1 d3)) 5.959 * [approximate]: Taking taylor expansion of (fma d1 (+ d2 3.0) (* d1 d3)) in (d1 d2 d3) around 0 5.959 * [taylor]: Taking taylor expansion of (fma d1 (+ d2 3.0) (* d1 d3)) in d3 5.959 * [taylor]: Rewrote expression to (+ (* d1 (+ d2 3.0)) (* d1 d3)) 5.959 * [taylor]: Taking taylor expansion of (* d1 (+ d2 3.0)) in d3 5.959 * [taylor]: Taking taylor expansion of d1 in d3 5.959 * [backup-simplify]: Simplify d1 into d1 5.959 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d3 5.959 * [taylor]: Taking taylor expansion of d2 in d3 5.959 * [backup-simplify]: Simplify d2 into d2 5.959 * [taylor]: Taking taylor expansion of 3.0 in d3 5.959 * [backup-simplify]: Simplify 3.0 into 3.0 5.959 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 5.959 * [taylor]: Taking taylor expansion of d1 in d3 5.959 * [backup-simplify]: Simplify d1 into d1 5.959 * [taylor]: Taking taylor expansion of d3 in d3 5.959 * [backup-simplify]: Simplify 0 into 0 5.959 * [backup-simplify]: Simplify 1 into 1 5.959 * [taylor]: Taking taylor expansion of (fma d1 (+ d2 3.0) (* d1 d3)) in d2 5.959 * [taylor]: Rewrote expression to (+ (* d1 (+ d2 3.0)) (* d1 d3)) 5.959 * [taylor]: Taking taylor expansion of (* d1 (+ d2 3.0)) in d2 5.959 * [taylor]: Taking taylor expansion of d1 in d2 5.959 * [backup-simplify]: Simplify d1 into d1 5.959 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2 5.959 * [taylor]: Taking taylor expansion of d2 in d2 5.960 * [backup-simplify]: Simplify 0 into 0 5.960 * [backup-simplify]: Simplify 1 into 1 5.960 * [taylor]: Taking taylor expansion of 3.0 in d2 5.960 * [backup-simplify]: Simplify 3.0 into 3.0 5.960 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 5.960 * [taylor]: Taking taylor expansion of d1 in d2 5.960 * [backup-simplify]: Simplify d1 into d1 5.960 * [taylor]: Taking taylor expansion of d3 in d2 5.960 * [backup-simplify]: Simplify d3 into d3 5.960 * [taylor]: Taking taylor expansion of (fma d1 (+ d2 3.0) (* d1 d3)) in d1 5.960 * [taylor]: Rewrote expression to (+ (* d1 (+ d2 3.0)) (* d1 d3)) 5.960 * [taylor]: Taking taylor expansion of (* d1 (+ d2 3.0)) in d1 5.960 * [taylor]: Taking taylor expansion of d1 in d1 5.960 * [backup-simplify]: Simplify 0 into 0 5.960 * [backup-simplify]: Simplify 1 into 1 5.960 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d1 5.960 * [taylor]: Taking taylor expansion of d2 in d1 5.960 * [backup-simplify]: Simplify d2 into d2 5.960 * [taylor]: Taking taylor expansion of 3.0 in d1 5.960 * [backup-simplify]: Simplify 3.0 into 3.0 5.960 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.960 * [taylor]: Taking taylor expansion of d1 in d1 5.960 * [backup-simplify]: Simplify 0 into 0 5.960 * [backup-simplify]: Simplify 1 into 1 5.960 * [taylor]: Taking taylor expansion of d3 in d1 5.960 * [backup-simplify]: Simplify d3 into d3 5.960 * [taylor]: Taking taylor expansion of (fma d1 (+ d2 3.0) (* d1 d3)) in d1 5.960 * [taylor]: Rewrote expression to (+ (* d1 (+ d2 3.0)) (* d1 d3)) 5.961 * [taylor]: Taking taylor expansion of (* d1 (+ d2 3.0)) in d1 5.961 * [taylor]: Taking taylor expansion of d1 in d1 5.961 * [backup-simplify]: Simplify 0 into 0 5.961 * [backup-simplify]: Simplify 1 into 1 5.961 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d1 5.961 * [taylor]: Taking taylor expansion of d2 in d1 5.961 * [backup-simplify]: Simplify d2 into d2 5.961 * [taylor]: Taking taylor expansion of 3.0 in d1 5.961 * [backup-simplify]: Simplify 3.0 into 3.0 5.961 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.961 * [taylor]: Taking taylor expansion of d1 in d1 5.961 * [backup-simplify]: Simplify 0 into 0 5.961 * [backup-simplify]: Simplify 1 into 1 5.961 * [taylor]: Taking taylor expansion of d3 in d1 5.961 * [backup-simplify]: Simplify d3 into d3 5.961 * [backup-simplify]: Simplify (+ d2 3.0) into (+ d2 3.0) 5.961 * [backup-simplify]: Simplify (* 0 (+ d2 3.0)) into 0 5.961 * [backup-simplify]: Simplify (* 0 d3) into 0 5.962 * [backup-simplify]: Simplify (+ 0 0) into 0 5.962 * [taylor]: Taking taylor expansion of 0 in d2 5.962 * [backup-simplify]: Simplify 0 into 0 5.962 * [taylor]: Taking taylor expansion of 0 in d3 5.962 * [backup-simplify]: Simplify 0 into 0 5.962 * [backup-simplify]: Simplify 0 into 0 5.962 * [backup-simplify]: Simplify (+ 0 0) into 0 5.963 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ d2 3.0))) into (+ d2 3.0) 5.963 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 5.963 * [backup-simplify]: Simplify (+ (+ d2 3.0) d3) into (+ d3 (+ d2 3.0)) 5.963 * [taylor]: Taking taylor expansion of (+ d3 (+ d2 3.0)) in d2 5.963 * [taylor]: Taking taylor expansion of d3 in d2 5.964 * [backup-simplify]: Simplify d3 into d3 5.964 * [taylor]: Taking taylor expansion of (+ d2 3.0) in d2 5.964 * [taylor]: Taking taylor expansion of d2 in d2 5.964 * [backup-simplify]: Simplify 0 into 0 5.964 * [backup-simplify]: Simplify 1 into 1 5.964 * [taylor]: Taking taylor expansion of 3.0 in d2 5.964 * [backup-simplify]: Simplify 3.0 into 3.0 5.964 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 5.964 * [backup-simplify]: Simplify (+ d3 3.0) into (+ d3 3.0) 5.964 * [taylor]: Taking taylor expansion of (+ d3 3.0) in d3 5.964 * [taylor]: Taking taylor expansion of d3 in d3 5.964 * [backup-simplify]: Simplify 0 into 0 5.964 * [backup-simplify]: Simplify 1 into 1 5.964 * [taylor]: Taking taylor expansion of 3.0 in d3 5.964 * [backup-simplify]: Simplify 3.0 into 3.0 5.965 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 5.965 * [backup-simplify]: Simplify 3.0 into 3.0 5.965 * [taylor]: Taking taylor expansion of 0 in d3 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify 0 into 0 5.965 * [backup-simplify]: Simplify (+ 0 0) into 0 5.966 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ d2 3.0)))) into 0 5.967 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 5.967 * [backup-simplify]: Simplify (+ 0 0) into 0 5.967 * [taylor]: Taking taylor expansion of 0 in d2 5.967 * [backup-simplify]: Simplify 0 into 0 5.967 * [taylor]: Taking taylor expansion of 0 in d3 5.967 * [backup-simplify]: Simplify 0 into 0 5.967 * [backup-simplify]: Simplify 0 into 0 5.968 * [backup-simplify]: Simplify (+ 1 0) into 1 5.968 * [backup-simplify]: Simplify (+ 0 1) into 1 5.968 * [taylor]: Taking taylor expansion of 1 in d3 5.968 * [backup-simplify]: Simplify 1 into 1 5.968 * [backup-simplify]: Simplify 1 into 1 5.968 * [taylor]: Taking taylor expansion of 0 in d3 5.969 * [backup-simplify]: Simplify 0 into 0 5.969 * [backup-simplify]: Simplify 0 into 0 5.969 * [backup-simplify]: Simplify (+ 1 0) into 1 5.969 * [backup-simplify]: Simplify 1 into 1 5.969 * [backup-simplify]: Simplify (+ (* 1 (* d3 (* 1 d1))) (+ (* 1 (* 1 (* d2 d1))) (* 3.0 (* 1 (* 1 d1))))) into (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 5.970 * [backup-simplify]: Simplify (fma (/ 1 d1) (+ 3.0 (/ 1 d2)) (* (/ 1 d1) (/ 1 d3))) into (fma (/ 1 d1) (+ (/ 1 d2) 3.0) (/ 1 (* d1 d3))) 5.970 * [approximate]: Taking taylor expansion of (fma (/ 1 d1) (+ (/ 1 d2) 3.0) (/ 1 (* d1 d3))) in (d1 d2 d3) around 0 5.970 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (+ (/ 1 d2) 3.0) (/ 1 (* d1 d3))) in d3 5.970 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (+ (/ 1 d2) 3.0)) (/ 1 (* d1 d3))) 5.970 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d2) 3.0)) in d3 5.970 * [taylor]: Taking taylor expansion of (/ 1 d1) in d3 5.970 * [taylor]: Taking taylor expansion of d1 in d3 5.970 * [backup-simplify]: Simplify d1 into d1 5.970 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 5.970 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 3.0) in d3 5.970 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 5.970 * [taylor]: Taking taylor expansion of d2 in d3 5.970 * [backup-simplify]: Simplify d2 into d2 5.970 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 5.970 * [taylor]: Taking taylor expansion of 3.0 in d3 5.970 * [backup-simplify]: Simplify 3.0 into 3.0 5.970 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 5.970 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 5.970 * [taylor]: Taking taylor expansion of d1 in d3 5.970 * [backup-simplify]: Simplify d1 into d1 5.971 * [taylor]: Taking taylor expansion of d3 in d3 5.971 * [backup-simplify]: Simplify 0 into 0 5.971 * [backup-simplify]: Simplify 1 into 1 5.971 * [backup-simplify]: Simplify (* d1 0) into 0 5.971 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 5.971 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 5.971 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (+ (/ 1 d2) 3.0) (/ 1 (* d1 d3))) in d2 5.971 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (+ (/ 1 d2) 3.0)) (/ 1 (* d1 d3))) 5.971 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d2) 3.0)) in d2 5.971 * [taylor]: Taking taylor expansion of (/ 1 d1) in d2 5.971 * [taylor]: Taking taylor expansion of d1 in d2 5.971 * [backup-simplify]: Simplify d1 into d1 5.971 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 5.972 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 3.0) in d2 5.972 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.972 * [taylor]: Taking taylor expansion of d2 in d2 5.972 * [backup-simplify]: Simplify 0 into 0 5.972 * [backup-simplify]: Simplify 1 into 1 5.972 * [backup-simplify]: Simplify (/ 1 1) into 1 5.972 * [taylor]: Taking taylor expansion of 3.0 in d2 5.972 * [backup-simplify]: Simplify 3.0 into 3.0 5.972 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 5.972 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 5.972 * [taylor]: Taking taylor expansion of d1 in d2 5.972 * [backup-simplify]: Simplify d1 into d1 5.972 * [taylor]: Taking taylor expansion of d3 in d2 5.972 * [backup-simplify]: Simplify d3 into d3 5.972 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 5.972 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 5.972 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (+ (/ 1 d2) 3.0) (/ 1 (* d1 d3))) in d1 5.973 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (+ (/ 1 d2) 3.0)) (/ 1 (* d1 d3))) 5.973 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d2) 3.0)) in d1 5.973 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.973 * [taylor]: Taking taylor expansion of d1 in d1 5.973 * [backup-simplify]: Simplify 0 into 0 5.973 * [backup-simplify]: Simplify 1 into 1 5.973 * [backup-simplify]: Simplify (/ 1 1) into 1 5.973 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 3.0) in d1 5.973 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.973 * [taylor]: Taking taylor expansion of d2 in d1 5.973 * [backup-simplify]: Simplify d2 into d2 5.973 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 5.973 * [taylor]: Taking taylor expansion of 3.0 in d1 5.973 * [backup-simplify]: Simplify 3.0 into 3.0 5.973 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.973 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.973 * [taylor]: Taking taylor expansion of d1 in d1 5.973 * [backup-simplify]: Simplify 0 into 0 5.974 * [backup-simplify]: Simplify 1 into 1 5.974 * [taylor]: Taking taylor expansion of d3 in d1 5.974 * [backup-simplify]: Simplify d3 into d3 5.974 * [backup-simplify]: Simplify (* 0 d3) into 0 5.974 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 5.974 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 5.974 * [taylor]: Taking taylor expansion of (fma (/ 1 d1) (+ (/ 1 d2) 3.0) (/ 1 (* d1 d3))) in d1 5.974 * [taylor]: Rewrote expression to (+ (* (/ 1 d1) (+ (/ 1 d2) 3.0)) (/ 1 (* d1 d3))) 5.974 * [taylor]: Taking taylor expansion of (* (/ 1 d1) (+ (/ 1 d2) 3.0)) in d1 5.974 * [taylor]: Taking taylor expansion of (/ 1 d1) in d1 5.974 * [taylor]: Taking taylor expansion of d1 in d1 5.974 * [backup-simplify]: Simplify 0 into 0 5.974 * [backup-simplify]: Simplify 1 into 1 5.975 * [backup-simplify]: Simplify (/ 1 1) into 1 5.975 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) 3.0) in d1 5.975 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.975 * [taylor]: Taking taylor expansion of d2 in d1 5.975 * [backup-simplify]: Simplify d2 into d2 5.975 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 5.975 * [taylor]: Taking taylor expansion of 3.0 in d1 5.975 * [backup-simplify]: Simplify 3.0 into 3.0 5.975 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.975 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.975 * [taylor]: Taking taylor expansion of d1 in d1 5.975 * [backup-simplify]: Simplify 0 into 0 5.975 * [backup-simplify]: Simplify 1 into 1 5.975 * [taylor]: Taking taylor expansion of d3 in d1 5.975 * [backup-simplify]: Simplify d3 into d3 5.975 * [backup-simplify]: Simplify (* 0 d3) into 0 5.976 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 5.976 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 5.976 * [backup-simplify]: Simplify (+ (/ 1 d2) 3.0) into (+ (/ 1 d2) 3.0) 5.976 * [backup-simplify]: Simplify (* 1 (+ (/ 1 d2) 3.0)) into (+ (/ 1 d2) 3.0) 5.976 * [backup-simplify]: Simplify (+ (+ (/ 1 d2) 3.0) (/ 1 d3)) into (+ (/ 1 d2) (+ (/ 1 d3) 3.0)) 5.976 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (+ (/ 1 d3) 3.0)) in d2 5.976 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.976 * [taylor]: Taking taylor expansion of d2 in d2 5.976 * [backup-simplify]: Simplify 0 into 0 5.976 * [backup-simplify]: Simplify 1 into 1 5.977 * [backup-simplify]: Simplify (/ 1 1) into 1 5.977 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 3.0) in d2 5.977 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.977 * [taylor]: Taking taylor expansion of d3 in d2 5.977 * [backup-simplify]: Simplify d3 into d3 5.977 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 5.977 * [taylor]: Taking taylor expansion of 3.0 in d2 5.977 * [backup-simplify]: Simplify 3.0 into 3.0 5.978 * [backup-simplify]: Simplify (+ 1 0) into 1 5.978 * [taylor]: Taking taylor expansion of 1 in d3 5.978 * [backup-simplify]: Simplify 1 into 1 5.978 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 5.978 * [backup-simplify]: Simplify (+ 0 0) into 0 5.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.979 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (+ (/ 1 d2) 3.0))) into 0 5.980 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 5.980 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 5.981 * [backup-simplify]: Simplify (+ 0 0) into 0 5.981 * [taylor]: Taking taylor expansion of 0 in d2 5.981 * [backup-simplify]: Simplify 0 into 0 5.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.982 * [backup-simplify]: Simplify (+ (/ 1 d3) 3.0) into (+ 3.0 (/ 1 d3)) 5.982 * [backup-simplify]: Simplify (+ 0 (+ 3.0 (/ 1 d3))) into (+ (/ 1 d3) 3.0) 5.982 * [taylor]: Taking taylor expansion of (+ (/ 1 d3) 3.0) in d3 5.982 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 5.982 * [taylor]: Taking taylor expansion of d3 in d3 5.982 * [backup-simplify]: Simplify 0 into 0 5.982 * [backup-simplify]: Simplify 1 into 1 5.982 * [backup-simplify]: Simplify (/ 1 1) into 1 5.983 * [taylor]: Taking taylor expansion of 3.0 in d3 5.983 * [backup-simplify]: Simplify 3.0 into 3.0 5.983 * [backup-simplify]: Simplify (+ 1 0) into 1 5.983 * [backup-simplify]: Simplify 1 into 1 5.983 * [backup-simplify]: Simplify 1 into 1 5.983 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 5.984 * [backup-simplify]: Simplify (+ 0 0) into 0 5.984 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (+ (/ 1 d2) 3.0)))) into 0 5.986 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0 5.987 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 5.987 * [backup-simplify]: Simplify (+ 0 0) into 0 5.987 * [taylor]: Taking taylor expansion of 0 in d2 5.987 * [backup-simplify]: Simplify 0 into 0 5.987 * [taylor]: Taking taylor expansion of 0 in d3 5.987 * [backup-simplify]: Simplify 0 into 0 5.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.988 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 5.988 * [backup-simplify]: Simplify (+ 0 0) into 0 5.989 * [backup-simplify]: Simplify (+ 0 0) into 0 5.989 * [taylor]: Taking taylor expansion of 0 in d3 5.989 * [backup-simplify]: Simplify 0 into 0 5.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.990 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0 5.990 * [backup-simplify]: Simplify 3.0 into 3.0 5.991 * [backup-simplify]: Simplify (+ (* 3.0 (* 1 (* 1 (/ 1 (/ 1 d1))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 d2)) (/ 1 (/ 1 d1))))) (* 1 (* (/ 1 (/ 1 d3)) (* 1 (/ 1 (/ 1 d1))))))) into (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 5.991 * [backup-simplify]: Simplify (fma (/ 1 (- d1)) (+ 3.0 (/ 1 (- d2))) (* (/ 1 (- d1)) (/ 1 (- d3)))) into (fma (/ -1 d1) (- 3.0 (/ 1 d2)) (/ 1 (* d1 d3))) 5.991 * [approximate]: Taking taylor expansion of (fma (/ -1 d1) (- 3.0 (/ 1 d2)) (/ 1 (* d1 d3))) in (d1 d2 d3) around 0 5.991 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- 3.0 (/ 1 d2)) (/ 1 (* d1 d3))) in d3 5.991 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- 3.0 (/ 1 d2))) (/ 1 (* d1 d3))) 5.991 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- 3.0 (/ 1 d2))) in d3 5.991 * [taylor]: Taking taylor expansion of (/ -1 d1) in d3 5.991 * [taylor]: Taking taylor expansion of -1 in d3 5.991 * [backup-simplify]: Simplify -1 into -1 5.991 * [taylor]: Taking taylor expansion of d1 in d3 5.991 * [backup-simplify]: Simplify d1 into d1 5.991 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 5.991 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 d2)) in d3 5.991 * [taylor]: Taking taylor expansion of 3.0 in d3 5.991 * [backup-simplify]: Simplify 3.0 into 3.0 5.991 * [taylor]: Taking taylor expansion of (/ 1 d2) in d3 5.992 * [taylor]: Taking taylor expansion of d2 in d3 5.992 * [backup-simplify]: Simplify d2 into d2 5.992 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 5.992 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d3 5.992 * [taylor]: Taking taylor expansion of (* d1 d3) in d3 5.992 * [taylor]: Taking taylor expansion of d1 in d3 5.992 * [backup-simplify]: Simplify d1 into d1 5.992 * [taylor]: Taking taylor expansion of d3 in d3 5.992 * [backup-simplify]: Simplify 0 into 0 5.992 * [backup-simplify]: Simplify 1 into 1 5.992 * [backup-simplify]: Simplify (* d1 0) into 0 5.992 * [backup-simplify]: Simplify (+ (* d1 1) (* 0 0)) into d1 5.992 * [backup-simplify]: Simplify (/ 1 d1) into (/ 1 d1) 5.992 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- 3.0 (/ 1 d2)) (/ 1 (* d1 d3))) in d2 5.992 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- 3.0 (/ 1 d2))) (/ 1 (* d1 d3))) 5.993 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- 3.0 (/ 1 d2))) in d2 5.993 * [taylor]: Taking taylor expansion of (/ -1 d1) in d2 5.993 * [taylor]: Taking taylor expansion of -1 in d2 5.993 * [backup-simplify]: Simplify -1 into -1 5.993 * [taylor]: Taking taylor expansion of d1 in d2 5.993 * [backup-simplify]: Simplify d1 into d1 5.993 * [backup-simplify]: Simplify (/ -1 d1) into (/ -1 d1) 5.993 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 d2)) in d2 5.993 * [taylor]: Taking taylor expansion of 3.0 in d2 5.993 * [backup-simplify]: Simplify 3.0 into 3.0 5.993 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.993 * [taylor]: Taking taylor expansion of d2 in d2 5.993 * [backup-simplify]: Simplify 0 into 0 5.993 * [backup-simplify]: Simplify 1 into 1 5.993 * [backup-simplify]: Simplify (/ 1 1) into 1 5.993 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d2 5.993 * [taylor]: Taking taylor expansion of (* d1 d3) in d2 5.993 * [taylor]: Taking taylor expansion of d1 in d2 5.993 * [backup-simplify]: Simplify d1 into d1 5.993 * [taylor]: Taking taylor expansion of d3 in d2 5.993 * [backup-simplify]: Simplify d3 into d3 5.993 * [backup-simplify]: Simplify (* d1 d3) into (* d1 d3) 5.994 * [backup-simplify]: Simplify (/ 1 (* d1 d3)) into (/ 1 (* d1 d3)) 5.994 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- 3.0 (/ 1 d2)) (/ 1 (* d1 d3))) in d1 5.994 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- 3.0 (/ 1 d2))) (/ 1 (* d1 d3))) 5.994 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- 3.0 (/ 1 d2))) in d1 5.994 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1 5.994 * [taylor]: Taking taylor expansion of -1 in d1 5.994 * [backup-simplify]: Simplify -1 into -1 5.994 * [taylor]: Taking taylor expansion of d1 in d1 5.994 * [backup-simplify]: Simplify 0 into 0 5.994 * [backup-simplify]: Simplify 1 into 1 5.994 * [backup-simplify]: Simplify (/ -1 1) into -1 5.994 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 d2)) in d1 5.994 * [taylor]: Taking taylor expansion of 3.0 in d1 5.994 * [backup-simplify]: Simplify 3.0 into 3.0 5.994 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.994 * [taylor]: Taking taylor expansion of d2 in d1 5.994 * [backup-simplify]: Simplify d2 into d2 5.995 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 5.995 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.995 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.995 * [taylor]: Taking taylor expansion of d1 in d1 5.995 * [backup-simplify]: Simplify 0 into 0 5.995 * [backup-simplify]: Simplify 1 into 1 5.995 * [taylor]: Taking taylor expansion of d3 in d1 5.995 * [backup-simplify]: Simplify d3 into d3 5.995 * [backup-simplify]: Simplify (* 0 d3) into 0 5.995 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 5.995 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 5.995 * [taylor]: Taking taylor expansion of (fma (/ -1 d1) (- 3.0 (/ 1 d2)) (/ 1 (* d1 d3))) in d1 5.995 * [taylor]: Rewrote expression to (+ (* (/ -1 d1) (- 3.0 (/ 1 d2))) (/ 1 (* d1 d3))) 5.995 * [taylor]: Taking taylor expansion of (* (/ -1 d1) (- 3.0 (/ 1 d2))) in d1 5.995 * [taylor]: Taking taylor expansion of (/ -1 d1) in d1 5.995 * [taylor]: Taking taylor expansion of -1 in d1 5.995 * [backup-simplify]: Simplify -1 into -1 5.996 * [taylor]: Taking taylor expansion of d1 in d1 5.996 * [backup-simplify]: Simplify 0 into 0 5.996 * [backup-simplify]: Simplify 1 into 1 5.996 * [backup-simplify]: Simplify (/ -1 1) into -1 5.996 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 d2)) in d1 5.996 * [taylor]: Taking taylor expansion of 3.0 in d1 5.996 * [backup-simplify]: Simplify 3.0 into 3.0 5.996 * [taylor]: Taking taylor expansion of (/ 1 d2) in d1 5.996 * [taylor]: Taking taylor expansion of d2 in d1 5.996 * [backup-simplify]: Simplify d2 into d2 5.996 * [backup-simplify]: Simplify (/ 1 d2) into (/ 1 d2) 5.996 * [taylor]: Taking taylor expansion of (/ 1 (* d1 d3)) in d1 5.996 * [taylor]: Taking taylor expansion of (* d1 d3) in d1 5.996 * [taylor]: Taking taylor expansion of d1 in d1 5.996 * [backup-simplify]: Simplify 0 into 0 5.996 * [backup-simplify]: Simplify 1 into 1 5.996 * [taylor]: Taking taylor expansion of d3 in d1 5.996 * [backup-simplify]: Simplify d3 into d3 5.996 * [backup-simplify]: Simplify (* 0 d3) into 0 5.997 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 d3)) into d3 5.997 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 5.997 * [backup-simplify]: Simplify (- (/ 1 d2)) into (- (/ 1 d2)) 5.997 * [backup-simplify]: Simplify (+ 3.0 (- (/ 1 d2))) into (- 3.0 (/ 1 d2)) 5.997 * [backup-simplify]: Simplify (* -1 (- 3.0 (/ 1 d2))) into (* -1 (- 3.0 (/ 1 d2))) 5.997 * [backup-simplify]: Simplify (+ (* -1 (- 3.0 (/ 1 d2))) (/ 1 d3)) into (- (+ (/ 1 d2) (/ 1 d3)) 3.0) 5.997 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d2) (/ 1 d3)) 3.0) in d2 5.997 * [taylor]: Taking taylor expansion of (+ (/ 1 d2) (/ 1 d3)) in d2 5.997 * [taylor]: Taking taylor expansion of (/ 1 d2) in d2 5.998 * [taylor]: Taking taylor expansion of d2 in d2 5.998 * [backup-simplify]: Simplify 0 into 0 5.998 * [backup-simplify]: Simplify 1 into 1 5.998 * [backup-simplify]: Simplify (/ 1 1) into 1 5.998 * [taylor]: Taking taylor expansion of (/ 1 d3) in d2 5.998 * [taylor]: Taking taylor expansion of d3 in d2 5.998 * [backup-simplify]: Simplify d3 into d3 5.998 * [backup-simplify]: Simplify (/ 1 d3) into (/ 1 d3) 5.998 * [taylor]: Taking taylor expansion of 3.0 in d2 5.998 * [backup-simplify]: Simplify 3.0 into 3.0 5.999 * [backup-simplify]: Simplify (+ 1 0) into 1 5.999 * [backup-simplify]: Simplify (+ 1 0) into 1 5.999 * [taylor]: Taking taylor expansion of 1 in d3 5.999 * [backup-simplify]: Simplify 1 into 1 5.999 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)))) into 0 5.999 * [backup-simplify]: Simplify (- 0) into 0 6.000 * [backup-simplify]: Simplify (+ 0 0) into 0 6.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 6.001 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- 3.0 (/ 1 d2)))) into 0 6.002 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 d3))) into 0 6.002 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 6.002 * [backup-simplify]: Simplify (+ 0 0) into 0 6.002 * [taylor]: Taking taylor expansion of 0 in d2 6.002 * [backup-simplify]: Simplify 0 into 0 6.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.003 * [backup-simplify]: Simplify (+ 0 (/ 1 d3)) into (/ 1 d3) 6.008 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 6.008 * [backup-simplify]: Simplify (+ (/ 1 d3) (- 3.0)) into (- (/ 1 d3) 3.0) 6.008 * [taylor]: Taking taylor expansion of (- (/ 1 d3) 3.0) in d3 6.008 * [taylor]: Taking taylor expansion of (/ 1 d3) in d3 6.008 * [taylor]: Taking taylor expansion of d3 in d3 6.008 * [backup-simplify]: Simplify 0 into 0 6.008 * [backup-simplify]: Simplify 1 into 1 6.008 * [backup-simplify]: Simplify (/ 1 1) into 1 6.008 * [taylor]: Taking taylor expansion of 3.0 in d3 6.008 * [backup-simplify]: Simplify 3.0 into 3.0 6.009 * [backup-simplify]: Simplify (+ 1 0) into 1 6.009 * [backup-simplify]: Simplify 1 into 1 6.009 * [backup-simplify]: Simplify 1 into 1 6.009 * [backup-simplify]: Simplify (- (+ (* (/ 1 d2) (/ 0 d2)) (* 0 (/ 0 d2)))) into 0 6.009 * [backup-simplify]: Simplify (- 0) into 0 6.009 * [backup-simplify]: Simplify (+ 0 0) into 0 6.010 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.010 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- 3.0 (/ 1 d2))))) into 0 6.011 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 d3)))) into 0 6.011 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)) (* 0 (/ 0 d3)))) into 0 6.012 * [backup-simplify]: Simplify (+ 0 0) into 0 6.012 * [taylor]: Taking taylor expansion of 0 in d2 6.012 * [backup-simplify]: Simplify 0 into 0 6.012 * [taylor]: Taking taylor expansion of 0 in d3 6.012 * [backup-simplify]: Simplify 0 into 0 6.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.012 * [backup-simplify]: Simplify (- (+ (* (/ 1 d3) (/ 0 d3)))) into 0 6.013 * [backup-simplify]: Simplify (+ 0 0) into 0 6.013 * [backup-simplify]: Simplify (- 0) into 0 6.013 * [backup-simplify]: Simplify (+ 0 0) into 0 6.013 * [taylor]: Taking taylor expansion of 0 in d3 6.013 * [backup-simplify]: Simplify 0 into 0 6.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.014 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 6.014 * [backup-simplify]: Simplify (+ 0 (- 3.0)) into (- 3.0) 6.015 * [backup-simplify]: Simplify (- 3.0) into (- 3.0) 6.015 * [backup-simplify]: Simplify (+ (* (- 3.0) (* 1 (* 1 (/ 1 (/ 1 (- d1)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- d2))) (/ 1 (/ 1 (- d1)))))) (* 1 (* (/ 1 (/ 1 (- d3))) (* 1 (/ 1 (/ 1 (- d1)))))))) into (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 6.015 * * * [progress]: simplifying candidates 6.016 * [simplify]: Simplifying: (expm1 (fma d1 (+ 3.0 d2) (* d1 d3))) (log1p (fma d1 (+ 3.0 d2) (* d1 d3))) (* d1 (+ 3.0 d2)) (log (fma d1 (+ 3.0 d2) (* d1 d3))) (exp (fma d1 (+ 3.0 d2) (* d1 d3))) (* (cbrt (fma d1 (+ 3.0 d2) (* d1 d3))) (cbrt (fma d1 (+ 3.0 d2) (* d1 d3)))) (cbrt (fma d1 (+ 3.0 d2) (* d1 d3))) (* (* (fma d1 (+ 3.0 d2) (* d1 d3)) (fma d1 (+ 3.0 d2) (* d1 d3))) (fma d1 (+ 3.0 d2) (* d1 d3))) (sqrt (fma d1 (+ 3.0 d2) (* d1 d3))) (sqrt (fma d1 (+ 3.0 d2) (* d1 d3))) (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) (+ (* 3.0 d1) (+ (* d1 d3) (* d1 d2))) 6.016 * * [simplify]: Extracting # 0 : cost 0 6.016 * * [simplify]: Extracting # 1 : cost 0 6.016 * * [simplify]: Extracting # 2 : cost 0 6.016 * * [simplify]: Extracting # 3 : cost 0 6.016 * * [simplify]: Extracting # 4 : cost 0 6.016 * * [simplify]: Extracting # 5 : cost 0 6.016 * * [simplify]: iteration 0 : 21 enodes (cost 146 ) 6.020 * * [simplify]: Extracting # 0 : cost 0 6.020 * * [simplify]: Extracting # 1 : cost 0 6.020 * * [simplify]: Extracting # 2 : cost 0 6.020 * * [simplify]: Extracting # 3 : cost 0 6.020 * * [simplify]: iteration 1 : 38 enodes (cost 137 ) 6.028 * * [simplify]: Extracting # 0 : cost 0 6.028 * * [simplify]: Extracting # 1 : cost 0 6.028 * * [simplify]: Extracting # 2 : cost 0 6.028 * * [simplify]: Extracting # 3 : cost 0 6.028 * * [simplify]: Extracting # 4 : cost 0 6.028 * * [simplify]: iteration 2 : 87 enodes (cost 108 ) 6.064 * * [simplify]: Extracting # 0 : cost 0 6.065 * * [simplify]: Extracting # 1 : cost 0 6.066 * * [simplify]: Extracting # 2 : cost 0 6.066 * * [simplify]: Extracting # 3 : cost 0 6.067 * * [simplify]: Extracting # 4 : cost 0 6.067 * * [simplify]: iteration 3 : 517 enodes (cost 108 ) 6.695 * * [simplify]: Extracting # 0 : cost 0 6.727 * * [simplify]: Extracting # 1 : cost 0 6.742 * * [simplify]: Extracting # 2 : cost 0 6.755 * * [simplify]: Extracting # 3 : cost 0 6.769 * * [simplify]: Extracting # 4 : cost 0 6.782 * * [simplify]: Extracting # 5 : cost 0 6.795 * * [simplify]: iteration done: 5002 enodes (cost 108 ) 6.796 * [simplify]: Simplified to: (expm1 (* d1 (+ (+ d3 d2) 3.0))) (log1p (* d1 (+ (+ d3 d2) 3.0))) (* d1 (+ 3.0 d2)) (log (* d1 (+ (+ d3 d2) 3.0))) (exp (* d1 (+ (+ d3 d2) 3.0))) (* (cbrt (* d1 (+ (+ d3 d2) 3.0))) (cbrt (* d1 (+ (+ d3 d2) 3.0)))) (cbrt (* d1 (+ (+ d3 d2) 3.0))) (pow (* d1 (+ (+ d3 d2) 3.0)) 3) (sqrt (* d1 (+ (+ d3 d2) 3.0))) (sqrt (* d1 (+ (+ d3 d2) 3.0))) (* d1 (+ (+ d3 d2) 3.0)) (* d1 (+ (+ d3 d2) 3.0)) (* d1 (+ (+ d3 d2) 3.0)) 6.796 * * * [progress]: adding candidates to table 6.855 * [progress]: [Phase 3 of 3] Extracting. 6.855 * * [regime]: Finding splitpoints for: (# # # #) 6.856 * * * [regime-changes]: Trying 3 branch expressions: (d3 d2 d1) 6.856 * * * * [regimes]: Trying to branch on d3 from (# # # #) 6.889 * * * * [regimes]: Trying to branch on d2 from (# # # #) 6.926 * * * * [regimes]: Trying to branch on d1 from (# # # #) 6.958 * * * [regime]: Found split indices: #