3.721 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying: (/ (+ 1.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) 0.020 * [simplify]: Sending expressions to egg_math: (/ (+ h0 (* (- h1 (/ (/ h1 h2) (+ h0 (/ h0 h2)))) (- h1 (/ (/ h1 h2) (+ h0 (/ h0 h2)))))) (+ h1 (* (- h1 (/ (/ h1 h2) (+ h0 (/ h0 h2)))) (- h1 (/ (/ h1 h2) (+ h0 (/ h0 h2))))))) 0.022 * * [simplify]: iteration 0 : 19 enodes (cost 25 ) 0.023 * * [simplify]: iteration 1 : 33 enodes (cost 25 ) 0.025 * * [simplify]: iteration 2 : 88 enodes (cost 25 ) 0.027 * * [simplify]: iteration 3 : 292 enodes (cost 25 ) 0.031 * * [simplify]: iteration 4 : 754 enodes (cost 25 ) 0.042 * * [simplify]: iteration 5 : 1756 enodes (cost 25 ) 0.075 * * [simplify]: iteration 6 : 5001 enodes (cost 25 ) 0.076 * * [progress]: iteration 1 / 4 0.076 * * * [progress]: picking best candidate 0.077 * * * * [pick]: Picked # 0.077 * * * [progress]: localizing error 0.089 * * * [progress]: generating rewritten candidates 0.089 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 0.137 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 0.182 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 0.228 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 0.275 * * * [progress]: generating series expansions 0.275 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 0.275 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 0.275 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 0.275 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 0.275 * [taylor]: Taking taylor expansion of 2.0 in t 0.275 * [backup-simplify]: Simplify 2.0 into 2.0 0.275 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.276 * [taylor]: Taking taylor expansion of 2.0 in t 0.276 * [backup-simplify]: Simplify 2.0 into 2.0 0.276 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.276 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.276 * [taylor]: Taking taylor expansion of t in t 0.276 * [backup-simplify]: Simplify 0 into 0 0.276 * [backup-simplify]: Simplify 1 into 1 0.276 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.276 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.276 * [taylor]: Taking taylor expansion of 1.0 in t 0.276 * [backup-simplify]: Simplify 1.0 into 1.0 0.276 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.276 * [taylor]: Taking taylor expansion of t in t 0.276 * [backup-simplify]: Simplify 0 into 0 0.276 * [backup-simplify]: Simplify 1 into 1 0.276 * [backup-simplify]: Simplify (/ 1 1) into 1 0.276 * [taylor]: Taking taylor expansion of 1.0 in t 0.276 * [backup-simplify]: Simplify 1.0 into 1.0 0.277 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.277 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.277 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.278 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.278 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.279 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.279 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.279 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 0.279 * [taylor]: Taking taylor expansion of 2.0 in t 0.279 * [backup-simplify]: Simplify 2.0 into 2.0 0.279 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.279 * [taylor]: Taking taylor expansion of 2.0 in t 0.279 * [backup-simplify]: Simplify 2.0 into 2.0 0.279 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.280 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.280 * [taylor]: Taking taylor expansion of t in t 0.280 * [backup-simplify]: Simplify 0 into 0 0.280 * [backup-simplify]: Simplify 1 into 1 0.280 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.280 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.280 * [taylor]: Taking taylor expansion of 1.0 in t 0.280 * [backup-simplify]: Simplify 1.0 into 1.0 0.280 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.280 * [taylor]: Taking taylor expansion of t in t 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 1.0 in t 0.280 * [backup-simplify]: Simplify 1.0 into 1.0 0.280 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.280 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.281 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.281 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.282 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.282 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.283 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.283 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.283 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.284 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 0.284 * [backup-simplify]: Simplify 0 into 0 0.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.287 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 0.288 * [backup-simplify]: Simplify (+ 0 0) into 0 0.289 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 0.290 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.291 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 0.292 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.292 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.292 * [backup-simplify]: Simplify 2.0 into 2.0 0.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.293 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.293 * [backup-simplify]: Simplify (+ 0 0) into 0 0.294 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 0.296 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 0.297 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 0.297 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.298 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 0.298 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.299 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.299 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.299 * [backup-simplify]: Simplify (+ 0 0) into 0 0.300 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 0.302 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.304 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 0.305 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.305 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.305 * [backup-simplify]: Simplify 2.0 into 2.0 0.305 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 0.306 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 0.306 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 0.306 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.306 * [taylor]: Taking taylor expansion of 2.0 in t 0.306 * [backup-simplify]: Simplify 2.0 into 2.0 0.306 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.306 * [taylor]: Taking taylor expansion of 2.0 in t 0.306 * [backup-simplify]: Simplify 2.0 into 2.0 0.306 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.306 * [taylor]: Taking taylor expansion of t in t 0.306 * [backup-simplify]: Simplify 0 into 0 0.306 * [backup-simplify]: Simplify 1 into 1 0.306 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.306 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.306 * [taylor]: Taking taylor expansion of 1.0 in t 0.306 * [backup-simplify]: Simplify 1.0 into 1.0 0.306 * [taylor]: Taking taylor expansion of t in t 0.306 * [backup-simplify]: Simplify 0 into 0 0.306 * [backup-simplify]: Simplify 1 into 1 0.306 * [taylor]: Taking taylor expansion of 1.0 in t 0.306 * [backup-simplify]: Simplify 1.0 into 1.0 0.306 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.307 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.307 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.307 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.307 * [taylor]: Taking taylor expansion of 2.0 in t 0.307 * [backup-simplify]: Simplify 2.0 into 2.0 0.307 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.307 * [taylor]: Taking taylor expansion of 2.0 in t 0.307 * [backup-simplify]: Simplify 2.0 into 2.0 0.307 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.307 * [taylor]: Taking taylor expansion of t in t 0.307 * [backup-simplify]: Simplify 0 into 0 0.307 * [backup-simplify]: Simplify 1 into 1 0.307 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.307 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.307 * [taylor]: Taking taylor expansion of 1.0 in t 0.307 * [backup-simplify]: Simplify 1.0 into 1.0 0.307 * [taylor]: Taking taylor expansion of t in t 0.307 * [backup-simplify]: Simplify 0 into 0 0.307 * [backup-simplify]: Simplify 1 into 1 0.307 * [taylor]: Taking taylor expansion of 1.0 in t 0.307 * [backup-simplify]: Simplify 1.0 into 1.0 0.307 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.308 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.308 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.308 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.308 * [backup-simplify]: Simplify 2.0 into 2.0 0.308 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.309 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.309 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 0.309 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.310 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.310 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.312 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.313 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 0.313 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.314 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.314 * [backup-simplify]: Simplify 2.0 into 2.0 0.314 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 0.314 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 0.314 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 0.314 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.314 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.314 * [taylor]: Taking taylor expansion of 2.0 in t 0.314 * [backup-simplify]: Simplify 2.0 into 2.0 0.314 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.314 * [taylor]: Taking taylor expansion of t in t 0.314 * [backup-simplify]: Simplify 0 into 0 0.314 * [backup-simplify]: Simplify 1 into 1 0.314 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.314 * [taylor]: Taking taylor expansion of 1.0 in t 0.315 * [backup-simplify]: Simplify 1.0 into 1.0 0.315 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.315 * [taylor]: Taking taylor expansion of 1.0 in t 0.315 * [backup-simplify]: Simplify 1.0 into 1.0 0.315 * [taylor]: Taking taylor expansion of t in t 0.315 * [backup-simplify]: Simplify 0 into 0 0.315 * [backup-simplify]: Simplify 1 into 1 0.315 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.315 * [backup-simplify]: Simplify (- 0) into 0 0.315 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.316 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.316 * [taylor]: Taking taylor expansion of 2.0 in t 0.316 * [backup-simplify]: Simplify 2.0 into 2.0 0.316 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.316 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.316 * [taylor]: Taking taylor expansion of 2.0 in t 0.316 * [backup-simplify]: Simplify 2.0 into 2.0 0.316 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.316 * [taylor]: Taking taylor expansion of t in t 0.316 * [backup-simplify]: Simplify 0 into 0 0.316 * [backup-simplify]: Simplify 1 into 1 0.316 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.316 * [taylor]: Taking taylor expansion of 1.0 in t 0.316 * [backup-simplify]: Simplify 1.0 into 1.0 0.316 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.316 * [taylor]: Taking taylor expansion of 1.0 in t 0.316 * [backup-simplify]: Simplify 1.0 into 1.0 0.316 * [taylor]: Taking taylor expansion of t in t 0.316 * [backup-simplify]: Simplify 0 into 0 0.316 * [backup-simplify]: Simplify 1 into 1 0.316 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.316 * [backup-simplify]: Simplify (- 0) into 0 0.317 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.317 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.317 * [taylor]: Taking taylor expansion of 2.0 in t 0.317 * [backup-simplify]: Simplify 2.0 into 2.0 0.317 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.317 * [backup-simplify]: Simplify 2.0 into 2.0 0.318 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.318 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.318 * [backup-simplify]: Simplify 2.0 into 2.0 0.319 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.319 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.319 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.321 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 0.322 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 0.322 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.322 * [backup-simplify]: Simplify 2.0 into 2.0 0.322 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 0.322 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 0.323 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 0.323 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 0.323 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 0.323 * [taylor]: Taking taylor expansion of 2.0 in t 0.323 * [backup-simplify]: Simplify 2.0 into 2.0 0.323 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.323 * [taylor]: Taking taylor expansion of 2.0 in t 0.323 * [backup-simplify]: Simplify 2.0 into 2.0 0.323 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.323 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.323 * [taylor]: Taking taylor expansion of t in t 0.323 * [backup-simplify]: Simplify 0 into 0 0.323 * [backup-simplify]: Simplify 1 into 1 0.323 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.323 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.323 * [taylor]: Taking taylor expansion of 1.0 in t 0.323 * [backup-simplify]: Simplify 1.0 into 1.0 0.323 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.323 * [taylor]: Taking taylor expansion of t in t 0.323 * [backup-simplify]: Simplify 0 into 0 0.323 * [backup-simplify]: Simplify 1 into 1 0.323 * [backup-simplify]: Simplify (/ 1 1) into 1 0.323 * [taylor]: Taking taylor expansion of 1.0 in t 0.323 * [backup-simplify]: Simplify 1.0 into 1.0 0.323 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.324 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.324 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.325 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.325 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.326 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.326 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.326 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 0.326 * [taylor]: Taking taylor expansion of 2.0 in t 0.326 * [backup-simplify]: Simplify 2.0 into 2.0 0.326 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.326 * [taylor]: Taking taylor expansion of 2.0 in t 0.326 * [backup-simplify]: Simplify 2.0 into 2.0 0.326 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.326 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.326 * [taylor]: Taking taylor expansion of t in t 0.326 * [backup-simplify]: Simplify 0 into 0 0.326 * [backup-simplify]: Simplify 1 into 1 0.326 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.326 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.326 * [taylor]: Taking taylor expansion of 1.0 in t 0.326 * [backup-simplify]: Simplify 1.0 into 1.0 0.326 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.326 * [taylor]: Taking taylor expansion of t in t 0.326 * [backup-simplify]: Simplify 0 into 0 0.326 * [backup-simplify]: Simplify 1 into 1 0.327 * [backup-simplify]: Simplify (/ 1 1) into 1 0.327 * [taylor]: Taking taylor expansion of 1.0 in t 0.327 * [backup-simplify]: Simplify 1.0 into 1.0 0.327 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.327 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.327 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.328 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.328 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.329 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.330 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.330 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.330 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.331 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 0.331 * [backup-simplify]: Simplify 0 into 0 0.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.332 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 0.332 * [backup-simplify]: Simplify (+ 0 0) into 0 0.333 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 0.334 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.335 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 0.336 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.336 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.336 * [backup-simplify]: Simplify 2.0 into 2.0 0.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.337 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.337 * [backup-simplify]: Simplify (+ 0 0) into 0 0.338 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 0.340 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 0.341 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 0.341 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.342 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 0.342 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.343 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.343 * [backup-simplify]: Simplify (+ 0 0) into 0 0.344 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 0.346 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.348 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 0.348 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.349 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.349 * [backup-simplify]: Simplify 2.0 into 2.0 0.349 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 0.349 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 0.349 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 0.349 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.349 * [taylor]: Taking taylor expansion of 2.0 in t 0.349 * [backup-simplify]: Simplify 2.0 into 2.0 0.349 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.349 * [taylor]: Taking taylor expansion of 2.0 in t 0.349 * [backup-simplify]: Simplify 2.0 into 2.0 0.349 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.349 * [taylor]: Taking taylor expansion of t in t 0.349 * [backup-simplify]: Simplify 0 into 0 0.349 * [backup-simplify]: Simplify 1 into 1 0.350 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.350 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.350 * [taylor]: Taking taylor expansion of 1.0 in t 0.350 * [backup-simplify]: Simplify 1.0 into 1.0 0.350 * [taylor]: Taking taylor expansion of t in t 0.350 * [backup-simplify]: Simplify 0 into 0 0.350 * [backup-simplify]: Simplify 1 into 1 0.350 * [taylor]: Taking taylor expansion of 1.0 in t 0.350 * [backup-simplify]: Simplify 1.0 into 1.0 0.350 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.350 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.350 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.350 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.350 * [taylor]: Taking taylor expansion of 2.0 in t 0.350 * [backup-simplify]: Simplify 2.0 into 2.0 0.350 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.350 * [taylor]: Taking taylor expansion of 2.0 in t 0.350 * [backup-simplify]: Simplify 2.0 into 2.0 0.351 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.351 * [taylor]: Taking taylor expansion of t in t 0.351 * [backup-simplify]: Simplify 0 into 0 0.351 * [backup-simplify]: Simplify 1 into 1 0.351 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.351 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.351 * [taylor]: Taking taylor expansion of 1.0 in t 0.351 * [backup-simplify]: Simplify 1.0 into 1.0 0.351 * [taylor]: Taking taylor expansion of t in t 0.351 * [backup-simplify]: Simplify 0 into 0 0.351 * [backup-simplify]: Simplify 1 into 1 0.351 * [taylor]: Taking taylor expansion of 1.0 in t 0.351 * [backup-simplify]: Simplify 1.0 into 1.0 0.351 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.351 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.351 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.352 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.352 * [backup-simplify]: Simplify 2.0 into 2.0 0.352 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.352 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.353 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 0.353 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.354 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.354 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.355 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.356 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 0.357 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.357 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.357 * [backup-simplify]: Simplify 2.0 into 2.0 0.358 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 0.358 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 0.358 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 0.358 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.358 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.358 * [taylor]: Taking taylor expansion of 2.0 in t 0.358 * [backup-simplify]: Simplify 2.0 into 2.0 0.358 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.358 * [taylor]: Taking taylor expansion of t in t 0.358 * [backup-simplify]: Simplify 0 into 0 0.358 * [backup-simplify]: Simplify 1 into 1 0.358 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.358 * [taylor]: Taking taylor expansion of 1.0 in t 0.358 * [backup-simplify]: Simplify 1.0 into 1.0 0.358 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.358 * [taylor]: Taking taylor expansion of 1.0 in t 0.358 * [backup-simplify]: Simplify 1.0 into 1.0 0.358 * [taylor]: Taking taylor expansion of t in t 0.358 * [backup-simplify]: Simplify 0 into 0 0.358 * [backup-simplify]: Simplify 1 into 1 0.358 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.359 * [backup-simplify]: Simplify (- 0) into 0 0.359 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.359 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.359 * [taylor]: Taking taylor expansion of 2.0 in t 0.359 * [backup-simplify]: Simplify 2.0 into 2.0 0.359 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.359 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.359 * [taylor]: Taking taylor expansion of 2.0 in t 0.359 * [backup-simplify]: Simplify 2.0 into 2.0 0.359 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.359 * [taylor]: Taking taylor expansion of t in t 0.359 * [backup-simplify]: Simplify 0 into 0 0.359 * [backup-simplify]: Simplify 1 into 1 0.359 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.359 * [taylor]: Taking taylor expansion of 1.0 in t 0.359 * [backup-simplify]: Simplify 1.0 into 1.0 0.359 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.359 * [taylor]: Taking taylor expansion of 1.0 in t 0.359 * [backup-simplify]: Simplify 1.0 into 1.0 0.359 * [taylor]: Taking taylor expansion of t in t 0.359 * [backup-simplify]: Simplify 0 into 0 0.359 * [backup-simplify]: Simplify 1 into 1 0.360 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.360 * [backup-simplify]: Simplify (- 0) into 0 0.360 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.360 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.360 * [taylor]: Taking taylor expansion of 2.0 in t 0.360 * [backup-simplify]: Simplify 2.0 into 2.0 0.361 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.361 * [backup-simplify]: Simplify 2.0 into 2.0 0.361 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.361 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.361 * [backup-simplify]: Simplify 2.0 into 2.0 0.362 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.362 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.363 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.365 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 0.365 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 0.366 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.366 * [backup-simplify]: Simplify 2.0 into 2.0 0.366 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 0.366 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 0.366 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 0.366 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 0.366 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 0.366 * [taylor]: Taking taylor expansion of 2.0 in t 0.366 * [backup-simplify]: Simplify 2.0 into 2.0 0.366 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.366 * [taylor]: Taking taylor expansion of 2.0 in t 0.366 * [backup-simplify]: Simplify 2.0 into 2.0 0.366 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.366 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.366 * [taylor]: Taking taylor expansion of t in t 0.366 * [backup-simplify]: Simplify 0 into 0 0.366 * [backup-simplify]: Simplify 1 into 1 0.366 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.366 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.366 * [taylor]: Taking taylor expansion of 1.0 in t 0.366 * [backup-simplify]: Simplify 1.0 into 1.0 0.366 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.366 * [taylor]: Taking taylor expansion of t in t 0.366 * [backup-simplify]: Simplify 0 into 0 0.366 * [backup-simplify]: Simplify 1 into 1 0.367 * [backup-simplify]: Simplify (/ 1 1) into 1 0.367 * [taylor]: Taking taylor expansion of 1.0 in t 0.367 * [backup-simplify]: Simplify 1.0 into 1.0 0.367 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.367 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.367 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.368 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.368 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.369 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.369 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.370 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 0.370 * [taylor]: Taking taylor expansion of 2.0 in t 0.370 * [backup-simplify]: Simplify 2.0 into 2.0 0.370 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.370 * [taylor]: Taking taylor expansion of 2.0 in t 0.370 * [backup-simplify]: Simplify 2.0 into 2.0 0.370 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.370 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.370 * [taylor]: Taking taylor expansion of t in t 0.370 * [backup-simplify]: Simplify 0 into 0 0.370 * [backup-simplify]: Simplify 1 into 1 0.370 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.370 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.370 * [taylor]: Taking taylor expansion of 1.0 in t 0.370 * [backup-simplify]: Simplify 1.0 into 1.0 0.370 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.370 * [taylor]: Taking taylor expansion of t in t 0.370 * [backup-simplify]: Simplify 0 into 0 0.370 * [backup-simplify]: Simplify 1 into 1 0.370 * [backup-simplify]: Simplify (/ 1 1) into 1 0.370 * [taylor]: Taking taylor expansion of 1.0 in t 0.370 * [backup-simplify]: Simplify 1.0 into 1.0 0.370 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.371 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.371 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.372 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.372 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.375 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.375 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.375 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.376 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.376 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 0.376 * [backup-simplify]: Simplify 0 into 0 0.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.377 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 0.377 * [backup-simplify]: Simplify (+ 0 0) into 0 0.379 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 0.380 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.381 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 0.381 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.381 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.381 * [backup-simplify]: Simplify 2.0 into 2.0 0.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.383 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.383 * [backup-simplify]: Simplify (+ 0 0) into 0 0.383 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 0.385 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 0.386 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 0.387 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.387 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 0.387 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.388 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.389 * [backup-simplify]: Simplify (+ 0 0) into 0 0.389 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 0.391 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.393 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 0.393 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.394 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.394 * [backup-simplify]: Simplify 2.0 into 2.0 0.394 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 0.394 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 0.394 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 0.394 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.394 * [taylor]: Taking taylor expansion of 2.0 in t 0.395 * [backup-simplify]: Simplify 2.0 into 2.0 0.395 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.395 * [taylor]: Taking taylor expansion of 2.0 in t 0.395 * [backup-simplify]: Simplify 2.0 into 2.0 0.395 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.395 * [taylor]: Taking taylor expansion of t in t 0.395 * [backup-simplify]: Simplify 0 into 0 0.395 * [backup-simplify]: Simplify 1 into 1 0.395 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.395 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.395 * [taylor]: Taking taylor expansion of 1.0 in t 0.395 * [backup-simplify]: Simplify 1.0 into 1.0 0.395 * [taylor]: Taking taylor expansion of t in t 0.395 * [backup-simplify]: Simplify 0 into 0 0.395 * [backup-simplify]: Simplify 1 into 1 0.395 * [taylor]: Taking taylor expansion of 1.0 in t 0.395 * [backup-simplify]: Simplify 1.0 into 1.0 0.395 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.395 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.396 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.396 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.396 * [taylor]: Taking taylor expansion of 2.0 in t 0.396 * [backup-simplify]: Simplify 2.0 into 2.0 0.396 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.396 * [taylor]: Taking taylor expansion of 2.0 in t 0.396 * [backup-simplify]: Simplify 2.0 into 2.0 0.396 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.396 * [taylor]: Taking taylor expansion of t in t 0.396 * [backup-simplify]: Simplify 0 into 0 0.396 * [backup-simplify]: Simplify 1 into 1 0.396 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.396 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.396 * [taylor]: Taking taylor expansion of 1.0 in t 0.396 * [backup-simplify]: Simplify 1.0 into 1.0 0.396 * [taylor]: Taking taylor expansion of t in t 0.396 * [backup-simplify]: Simplify 0 into 0 0.396 * [backup-simplify]: Simplify 1 into 1 0.396 * [taylor]: Taking taylor expansion of 1.0 in t 0.396 * [backup-simplify]: Simplify 1.0 into 1.0 0.396 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.396 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.397 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.397 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.397 * [backup-simplify]: Simplify 2.0 into 2.0 0.397 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.398 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.398 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 0.398 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.399 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.399 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.401 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.402 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 0.402 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.402 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.402 * [backup-simplify]: Simplify 2.0 into 2.0 0.403 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 0.403 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 0.403 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 0.403 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.403 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.403 * [taylor]: Taking taylor expansion of 2.0 in t 0.403 * [backup-simplify]: Simplify 2.0 into 2.0 0.403 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.403 * [taylor]: Taking taylor expansion of t in t 0.403 * [backup-simplify]: Simplify 0 into 0 0.403 * [backup-simplify]: Simplify 1 into 1 0.403 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.403 * [taylor]: Taking taylor expansion of 1.0 in t 0.403 * [backup-simplify]: Simplify 1.0 into 1.0 0.403 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.403 * [taylor]: Taking taylor expansion of 1.0 in t 0.403 * [backup-simplify]: Simplify 1.0 into 1.0 0.403 * [taylor]: Taking taylor expansion of t in t 0.403 * [backup-simplify]: Simplify 0 into 0 0.403 * [backup-simplify]: Simplify 1 into 1 0.404 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.404 * [backup-simplify]: Simplify (- 0) into 0 0.404 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.404 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.404 * [taylor]: Taking taylor expansion of 2.0 in t 0.404 * [backup-simplify]: Simplify 2.0 into 2.0 0.404 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.404 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.404 * [taylor]: Taking taylor expansion of 2.0 in t 0.404 * [backup-simplify]: Simplify 2.0 into 2.0 0.404 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.404 * [taylor]: Taking taylor expansion of t in t 0.405 * [backup-simplify]: Simplify 0 into 0 0.405 * [backup-simplify]: Simplify 1 into 1 0.405 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.405 * [taylor]: Taking taylor expansion of 1.0 in t 0.405 * [backup-simplify]: Simplify 1.0 into 1.0 0.405 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.405 * [taylor]: Taking taylor expansion of 1.0 in t 0.405 * [backup-simplify]: Simplify 1.0 into 1.0 0.405 * [taylor]: Taking taylor expansion of t in t 0.405 * [backup-simplify]: Simplify 0 into 0 0.405 * [backup-simplify]: Simplify 1 into 1 0.405 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.405 * [backup-simplify]: Simplify (- 0) into 0 0.405 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.406 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.406 * [taylor]: Taking taylor expansion of 2.0 in t 0.406 * [backup-simplify]: Simplify 2.0 into 2.0 0.406 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.406 * [backup-simplify]: Simplify 2.0 into 2.0 0.406 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.406 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.406 * [backup-simplify]: Simplify 2.0 into 2.0 0.407 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.407 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.408 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.410 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 0.410 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 0.411 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.411 * [backup-simplify]: Simplify 2.0 into 2.0 0.411 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 0.411 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 0.411 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 0.411 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 0.411 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 0.411 * [taylor]: Taking taylor expansion of 2.0 in t 0.411 * [backup-simplify]: Simplify 2.0 into 2.0 0.411 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.411 * [taylor]: Taking taylor expansion of 2.0 in t 0.411 * [backup-simplify]: Simplify 2.0 into 2.0 0.411 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.411 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.411 * [taylor]: Taking taylor expansion of t in t 0.411 * [backup-simplify]: Simplify 0 into 0 0.411 * [backup-simplify]: Simplify 1 into 1 0.411 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.411 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.411 * [taylor]: Taking taylor expansion of 1.0 in t 0.411 * [backup-simplify]: Simplify 1.0 into 1.0 0.411 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.411 * [taylor]: Taking taylor expansion of t in t 0.411 * [backup-simplify]: Simplify 0 into 0 0.411 * [backup-simplify]: Simplify 1 into 1 0.412 * [backup-simplify]: Simplify (/ 1 1) into 1 0.412 * [taylor]: Taking taylor expansion of 1.0 in t 0.412 * [backup-simplify]: Simplify 1.0 into 1.0 0.412 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.412 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.412 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.413 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.413 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.414 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.415 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.415 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 0.415 * [taylor]: Taking taylor expansion of 2.0 in t 0.415 * [backup-simplify]: Simplify 2.0 into 2.0 0.415 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.415 * [taylor]: Taking taylor expansion of 2.0 in t 0.415 * [backup-simplify]: Simplify 2.0 into 2.0 0.415 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.415 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.415 * [taylor]: Taking taylor expansion of t in t 0.415 * [backup-simplify]: Simplify 0 into 0 0.415 * [backup-simplify]: Simplify 1 into 1 0.415 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.415 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.415 * [taylor]: Taking taylor expansion of 1.0 in t 0.415 * [backup-simplify]: Simplify 1.0 into 1.0 0.415 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.415 * [taylor]: Taking taylor expansion of t in t 0.415 * [backup-simplify]: Simplify 0 into 0 0.415 * [backup-simplify]: Simplify 1 into 1 0.415 * [backup-simplify]: Simplify (/ 1 1) into 1 0.415 * [taylor]: Taking taylor expansion of 1.0 in t 0.415 * [backup-simplify]: Simplify 1.0 into 1.0 0.415 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.416 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.416 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.416 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.417 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.417 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.418 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.418 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.418 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.418 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.419 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 0.419 * [backup-simplify]: Simplify 0 into 0 0.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.420 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 0.420 * [backup-simplify]: Simplify (+ 0 0) into 0 0.422 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 0.423 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.424 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 0.424 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.425 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.425 * [backup-simplify]: Simplify 2.0 into 2.0 0.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.426 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.426 * [backup-simplify]: Simplify (+ 0 0) into 0 0.426 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 0.428 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 0.429 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 0.430 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.430 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 0.430 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.431 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.432 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.432 * [backup-simplify]: Simplify (+ 0 0) into 0 0.432 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 0.435 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.436 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 0.437 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.437 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.437 * [backup-simplify]: Simplify 2.0 into 2.0 0.437 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) 0.437 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 0.437 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 0.437 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.438 * [taylor]: Taking taylor expansion of 2.0 in t 0.438 * [backup-simplify]: Simplify 2.0 into 2.0 0.438 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.438 * [taylor]: Taking taylor expansion of 2.0 in t 0.438 * [backup-simplify]: Simplify 2.0 into 2.0 0.438 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.438 * [taylor]: Taking taylor expansion of t in t 0.438 * [backup-simplify]: Simplify 0 into 0 0.438 * [backup-simplify]: Simplify 1 into 1 0.438 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.438 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.438 * [taylor]: Taking taylor expansion of 1.0 in t 0.438 * [backup-simplify]: Simplify 1.0 into 1.0 0.438 * [taylor]: Taking taylor expansion of t in t 0.438 * [backup-simplify]: Simplify 0 into 0 0.438 * [backup-simplify]: Simplify 1 into 1 0.438 * [taylor]: Taking taylor expansion of 1.0 in t 0.438 * [backup-simplify]: Simplify 1.0 into 1.0 0.438 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.438 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.439 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.439 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.439 * [taylor]: Taking taylor expansion of 2.0 in t 0.439 * [backup-simplify]: Simplify 2.0 into 2.0 0.439 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.439 * [taylor]: Taking taylor expansion of 2.0 in t 0.439 * [backup-simplify]: Simplify 2.0 into 2.0 0.439 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.439 * [taylor]: Taking taylor expansion of t in t 0.439 * [backup-simplify]: Simplify 0 into 0 0.439 * [backup-simplify]: Simplify 1 into 1 0.439 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.439 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.439 * [taylor]: Taking taylor expansion of 1.0 in t 0.439 * [backup-simplify]: Simplify 1.0 into 1.0 0.439 * [taylor]: Taking taylor expansion of t in t 0.439 * [backup-simplify]: Simplify 0 into 0 0.439 * [backup-simplify]: Simplify 1 into 1 0.439 * [taylor]: Taking taylor expansion of 1.0 in t 0.439 * [backup-simplify]: Simplify 1.0 into 1.0 0.439 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.439 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.440 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.440 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.440 * [backup-simplify]: Simplify 2.0 into 2.0 0.440 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.440 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.441 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 0.441 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.442 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.442 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.443 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.445 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 0.445 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.445 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.445 * [backup-simplify]: Simplify 2.0 into 2.0 0.446 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 0.446 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 0.446 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 0.446 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.446 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.446 * [taylor]: Taking taylor expansion of 2.0 in t 0.446 * [backup-simplify]: Simplify 2.0 into 2.0 0.446 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.446 * [taylor]: Taking taylor expansion of t in t 0.446 * [backup-simplify]: Simplify 0 into 0 0.446 * [backup-simplify]: Simplify 1 into 1 0.446 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.446 * [taylor]: Taking taylor expansion of 1.0 in t 0.446 * [backup-simplify]: Simplify 1.0 into 1.0 0.446 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.446 * [taylor]: Taking taylor expansion of 1.0 in t 0.446 * [backup-simplify]: Simplify 1.0 into 1.0 0.446 * [taylor]: Taking taylor expansion of t in t 0.446 * [backup-simplify]: Simplify 0 into 0 0.446 * [backup-simplify]: Simplify 1 into 1 0.446 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.447 * [backup-simplify]: Simplify (- 0) into 0 0.447 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.447 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.447 * [taylor]: Taking taylor expansion of 2.0 in t 0.447 * [backup-simplify]: Simplify 2.0 into 2.0 0.447 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.447 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.447 * [taylor]: Taking taylor expansion of 2.0 in t 0.447 * [backup-simplify]: Simplify 2.0 into 2.0 0.447 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.447 * [taylor]: Taking taylor expansion of t in t 0.447 * [backup-simplify]: Simplify 0 into 0 0.447 * [backup-simplify]: Simplify 1 into 1 0.447 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.447 * [taylor]: Taking taylor expansion of 1.0 in t 0.448 * [backup-simplify]: Simplify 1.0 into 1.0 0.448 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.448 * [taylor]: Taking taylor expansion of 1.0 in t 0.448 * [backup-simplify]: Simplify 1.0 into 1.0 0.448 * [taylor]: Taking taylor expansion of t in t 0.448 * [backup-simplify]: Simplify 0 into 0 0.448 * [backup-simplify]: Simplify 1 into 1 0.448 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.448 * [backup-simplify]: Simplify (- 0) into 0 0.448 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.449 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.449 * [taylor]: Taking taylor expansion of 2.0 in t 0.449 * [backup-simplify]: Simplify 2.0 into 2.0 0.449 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.449 * [backup-simplify]: Simplify 2.0 into 2.0 0.449 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.449 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.449 * [backup-simplify]: Simplify 2.0 into 2.0 0.450 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.450 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.451 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.453 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 0.453 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 0.454 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.454 * [backup-simplify]: Simplify 2.0 into 2.0 0.454 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 0.454 * * * [progress]: simplifying candidates 0.455 * [simplify]: Simplifying: (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 0.458 * [simplify]: Sending expressions to egg_math: (/ (exp h0) (exp (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (log (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (exp (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (* (cbrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (cbrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))))) (cbrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (* (* (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (sqrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (sqrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (- (pow h0 3) (pow (/ (/ h0 h1) (+ h2 (/ h2 h1))) 3)) (+ (* h0 h0) (+ (* (/ (/ h0 h1) (+ h2 (/ h2 h1))) (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (* h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))))) (- (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (- (* h0 h0) (* (/ (/ h0 h1) (+ h2 (/ h2 h1))) (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (+ h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (+ (sqrt h0) (sqrt (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (- (sqrt h0) (sqrt (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (+ (sqrt h0) (/ (sqrt (/ h0 h1)) (sqrt (+ h2 (/ h2 h1))))) (- (sqrt h0) (/ (sqrt (/ h0 h1)) (sqrt (+ h2 (/ h2 h1))))) (+ (sqrt h0) (/ (/ (sqrt h0) (sqrt h1)) (sqrt (+ h2 (/ h2 h1))))) (- (sqrt h0) (/ (/ (sqrt h0) (sqrt h1)) (sqrt (+ h2 (/ h2 h1))))) (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (- (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (/ (exp h0) (exp (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (log (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (exp (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (* (cbrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (cbrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))))) (cbrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (* (* (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (sqrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (sqrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (- (pow h0 3) (pow (/ (/ h0 h1) (+ h2 (/ h2 h1))) 3)) (+ (* h0 h0) (+ (* (/ (/ h0 h1) (+ h2 (/ h2 h1))) (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (* h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))))) (- (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (- (* h0 h0) (* (/ (/ h0 h1) (+ h2 (/ h2 h1))) (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (+ h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (+ (sqrt h0) (sqrt (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (- (sqrt h0) (sqrt (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (+ (sqrt h0) (/ (sqrt (/ h0 h1)) (sqrt (+ h2 (/ h2 h1))))) (- (sqrt h0) (/ (sqrt (/ h0 h1)) (sqrt (+ h2 (/ h2 h1))))) (+ (sqrt h0) (/ (/ (sqrt h0) (sqrt h1)) (sqrt (+ h2 (/ h2 h1))))) (- (sqrt h0) (/ (/ (sqrt h0) (sqrt h1)) (sqrt (+ h2 (/ h2 h1))))) (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (- (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (/ (exp h0) (exp (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (log (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (exp (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (* (cbrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (cbrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))))) (cbrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (* (* (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (sqrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (sqrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (- (pow h0 3) (pow (/ (/ h0 h1) (+ h2 (/ h2 h1))) 3)) (+ (* h0 h0) (+ (* (/ (/ h0 h1) (+ h2 (/ h2 h1))) (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (* h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))))) (- (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (- (* h0 h0) (* (/ (/ h0 h1) (+ h2 (/ h2 h1))) (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (+ h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (+ (sqrt h0) (sqrt (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (- (sqrt h0) (sqrt (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (+ (sqrt h0) (/ (sqrt (/ h0 h1)) (sqrt (+ h2 (/ h2 h1))))) (- (sqrt h0) (/ (sqrt (/ h0 h1)) (sqrt (+ h2 (/ h2 h1))))) (+ (sqrt h0) (/ (/ (sqrt h0) (sqrt h1)) (sqrt (+ h2 (/ h2 h1))))) (- (sqrt h0) (/ (/ (sqrt h0) (sqrt h1)) (sqrt (+ h2 (/ h2 h1))))) (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (- (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (/ (exp h0) (exp (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (log (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (exp (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (* (cbrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (cbrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))))) (cbrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (* (* (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (sqrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (sqrt (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (- (pow h0 3) (pow (/ (/ h0 h1) (+ h2 (/ h2 h1))) 3)) (+ (* h0 h0) (+ (* (/ (/ h0 h1) (+ h2 (/ h2 h1))) (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (* h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))))) (- (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (- (* h0 h0) (* (/ (/ h0 h1) (+ h2 (/ h2 h1))) (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (+ h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (+ (sqrt h0) (sqrt (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (- (sqrt h0) (sqrt (/ (/ h0 h1) (+ h2 (/ h2 h1))))) (+ (sqrt h0) (/ (sqrt (/ h0 h1)) (sqrt (+ h2 (/ h2 h1))))) (- (sqrt h0) (/ (sqrt (/ h0 h1)) (sqrt (+ h2 (/ h2 h1))))) (+ (sqrt h0) (/ (/ (sqrt h0) (sqrt h1)) (sqrt (+ h2 (/ h2 h1))))) (- (sqrt h0) (/ (/ (sqrt h0) (sqrt h1)) (sqrt (+ h2 (/ h2 h1))))) (- h0 (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (- (/ (/ h0 h1) (+ h2 (/ h2 h1)))) (- (+ (* h0 (pow h1 3)) (* h0 h1)) (* h0 (pow h1 2))) (- (+ (* h0 (/ 1 (pow h1 2))) h0) (* h0 (/ 1 h1))) (- (+ (* h0 (/ 1 (pow h1 2))) h0) (* h0 (/ 1 h1))) (- (+ (* h0 (pow h1 3)) (* h0 h1)) (* h0 (pow h1 2))) (- (+ (* h0 (/ 1 (pow h1 2))) h0) (* h0 (/ 1 h1))) (- (+ (* h0 (/ 1 (pow h1 2))) h0) (* h0 (/ 1 h1))) (- (+ (* h0 (pow h1 3)) (* h0 h1)) (* h0 (pow h1 2))) (- (+ (* h0 (/ 1 (pow h1 2))) h0) (* h0 (/ 1 h1))) (- (+ (* h0 (/ 1 (pow h1 2))) h0) (* h0 (/ 1 h1))) (- (+ (* h0 (pow h1 3)) (* h0 h1)) (* h0 (pow h1 2))) (- (+ (* h0 (/ 1 (pow h1 2))) h0) (* h0 (/ 1 h1))) (- (+ (* h0 (/ 1 (pow h1 2))) h0) (* h0 (/ 1 h1))) 0.462 * * [simplify]: iteration 0 : 137 enodes (cost 740 ) 0.465 * * [simplify]: iteration 1 : 352 enodes (cost 680 ) 0.472 * * [simplify]: iteration 2 : 1683 enodes (cost 672 ) 0.508 * * [simplify]: iteration 3 : 5001 enodes (cost 672 ) 0.511 * * * [progress]: adding candidates to table 0.682 * [progress]: [Phase 3 of 3] Extracting. 0.683 * [simplify]: Simplifying: (/ (+ 1.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) 0.684 * [simplify]: Sending expressions to egg_math: (/ (+ h0 (* (- h1 (/ (/ h1 h2) (+ h0 (/ h0 h2)))) (- h1 (/ (/ h1 h2) (+ h0 (/ h0 h2)))))) (+ h1 (* (- h1 (/ (/ h1 h2) (+ h0 (/ h0 h2)))) (- h1 (/ (/ h1 h2) (+ h0 (/ h0 h2))))))) 0.684 * * [simplify]: iteration 0 : 15 enodes (cost 25 ) 0.684 * * [simplify]: iteration 1 : 15 enodes (cost 25 ) 1.162 * [regime-testing]: End program error score: 0.008501062632829104