8.369 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [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.021 * [simplify]: Sending expressions to egg_math: (/ (+ h1 (* (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))))) (+ h2 (* (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))))) 0.023 * * [simplify]: iteration 0 : 19 enodes (cost 25 ) 0.025 * * [simplify]: iteration 1 : 33 enodes (cost 25 ) 0.026 * * [simplify]: iteration 2 : 88 enodes (cost 25 ) 0.028 * * [simplify]: iteration 3 : 292 enodes (cost 25 ) 0.032 * * [simplify]: iteration 4 : 754 enodes (cost 25 ) 0.044 * * [simplify]: iteration 5 : 1756 enodes (cost 25 ) 0.078 * * [simplify]: iteration 6 : 5001 enodes (cost 25 ) 0.079 * * [progress]: iteration 1 / 4 0.079 * * * [progress]: picking best candidate 0.080 * * * * [pick]: Picked # 0.080 * * * [progress]: localizing error 0.092 * * * [progress]: generating rewritten candidates 0.092 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 0.145 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 0.197 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 0.249 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 0.301 * * * [progress]: generating series expansions 0.301 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 0.301 * [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.301 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 0.301 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 0.301 * [taylor]: Taking taylor expansion of 2.0 in t 0.301 * [backup-simplify]: Simplify 2.0 into 2.0 0.301 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.301 * [taylor]: Taking taylor expansion of 2.0 in t 0.301 * [backup-simplify]: Simplify 2.0 into 2.0 0.301 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.301 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.301 * [taylor]: Taking taylor expansion of t in t 0.301 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify 1 into 1 0.301 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.301 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.301 * [taylor]: Taking taylor expansion of 1.0 in t 0.301 * [backup-simplify]: Simplify 1.0 into 1.0 0.301 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.302 * [taylor]: Taking taylor expansion of t in t 0.302 * [backup-simplify]: Simplify 0 into 0 0.302 * [backup-simplify]: Simplify 1 into 1 0.302 * [backup-simplify]: Simplify (/ 1 1) into 1 0.302 * [taylor]: Taking taylor expansion of 1.0 in t 0.302 * [backup-simplify]: Simplify 1.0 into 1.0 0.302 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.303 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.303 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.304 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.304 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.305 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.305 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.305 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 0.305 * [taylor]: Taking taylor expansion of 2.0 in t 0.305 * [backup-simplify]: Simplify 2.0 into 2.0 0.305 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.305 * [taylor]: Taking taylor expansion of 2.0 in t 0.305 * [backup-simplify]: Simplify 2.0 into 2.0 0.305 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.305 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.305 * [taylor]: Taking taylor expansion of t in t 0.305 * [backup-simplify]: Simplify 0 into 0 0.305 * [backup-simplify]: Simplify 1 into 1 0.305 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.305 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.305 * [taylor]: Taking taylor expansion of 1.0 in t 0.305 * [backup-simplify]: Simplify 1.0 into 1.0 0.305 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.305 * [taylor]: Taking taylor expansion of t in t 0.305 * [backup-simplify]: Simplify 0 into 0 0.305 * [backup-simplify]: Simplify 1 into 1 0.306 * [backup-simplify]: Simplify (/ 1 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 1) into 1.0 0.306 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.306 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.307 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.307 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.310 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.311 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.311 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.311 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.312 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 0.312 * [backup-simplify]: Simplify 0 into 0 0.312 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.313 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 0.313 * [backup-simplify]: Simplify (+ 0 0) into 0 0.314 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 0.315 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.316 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 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 (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.318 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.318 * [backup-simplify]: Simplify (+ 0 0) into 0 0.319 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 0.321 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 0.322 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 0.322 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.323 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 0.323 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.324 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.324 * [backup-simplify]: Simplify (+ 0 0) into 0 0.325 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 0.328 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.329 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 0.330 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.330 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.330 * [backup-simplify]: Simplify 2.0 into 2.0 0.331 * [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.331 * [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.331 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 0.331 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.331 * [taylor]: Taking taylor expansion of 2.0 in t 0.331 * [backup-simplify]: Simplify 2.0 into 2.0 0.331 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.331 * [taylor]: Taking taylor expansion of 2.0 in t 0.331 * [backup-simplify]: Simplify 2.0 into 2.0 0.331 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.331 * [taylor]: Taking taylor expansion of t in t 0.331 * [backup-simplify]: Simplify 0 into 0 0.331 * [backup-simplify]: Simplify 1 into 1 0.331 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.331 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.331 * [taylor]: Taking taylor expansion of 1.0 in t 0.331 * [backup-simplify]: Simplify 1.0 into 1.0 0.331 * [taylor]: Taking taylor expansion of t in t 0.331 * [backup-simplify]: Simplify 0 into 0 0.331 * [backup-simplify]: Simplify 1 into 1 0.331 * [taylor]: Taking taylor expansion of 1.0 in t 0.331 * [backup-simplify]: Simplify 1.0 into 1.0 0.332 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.332 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.332 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.332 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.332 * [taylor]: Taking taylor expansion of 2.0 in t 0.332 * [backup-simplify]: Simplify 2.0 into 2.0 0.332 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.332 * [taylor]: Taking taylor expansion of 2.0 in t 0.332 * [backup-simplify]: Simplify 2.0 into 2.0 0.332 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.332 * [taylor]: Taking taylor expansion of t in t 0.332 * [backup-simplify]: Simplify 0 into 0 0.332 * [backup-simplify]: Simplify 1 into 1 0.332 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.332 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.332 * [taylor]: Taking taylor expansion of 1.0 in t 0.332 * [backup-simplify]: Simplify 1.0 into 1.0 0.332 * [taylor]: Taking taylor expansion of t in t 0.332 * [backup-simplify]: Simplify 0 into 0 0.332 * [backup-simplify]: Simplify 1 into 1 0.332 * [taylor]: Taking taylor expansion of 1.0 in t 0.332 * [backup-simplify]: Simplify 1.0 into 1.0 0.333 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.333 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.333 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.333 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.333 * [backup-simplify]: Simplify 2.0 into 2.0 0.334 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.334 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.334 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 0.335 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.335 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.336 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.337 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.338 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 0.339 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.339 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.339 * [backup-simplify]: Simplify 2.0 into 2.0 0.340 * [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.340 * [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.340 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 0.340 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.340 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.340 * [taylor]: Taking taylor expansion of 2.0 in t 0.340 * [backup-simplify]: Simplify 2.0 into 2.0 0.340 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.340 * [taylor]: Taking taylor expansion of t in t 0.340 * [backup-simplify]: Simplify 0 into 0 0.340 * [backup-simplify]: Simplify 1 into 1 0.340 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.340 * [taylor]: Taking taylor expansion of 1.0 in t 0.340 * [backup-simplify]: Simplify 1.0 into 1.0 0.340 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.340 * [taylor]: Taking taylor expansion of 1.0 in t 0.340 * [backup-simplify]: Simplify 1.0 into 1.0 0.340 * [taylor]: Taking taylor expansion of t in t 0.340 * [backup-simplify]: Simplify 0 into 0 0.340 * [backup-simplify]: Simplify 1 into 1 0.340 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.341 * [backup-simplify]: Simplify (- 0) into 0 0.341 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.341 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.341 * [taylor]: Taking taylor expansion of 2.0 in t 0.341 * [backup-simplify]: Simplify 2.0 into 2.0 0.341 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.341 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.341 * [taylor]: Taking taylor expansion of 2.0 in t 0.341 * [backup-simplify]: Simplify 2.0 into 2.0 0.341 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.341 * [taylor]: Taking taylor expansion of t in t 0.341 * [backup-simplify]: Simplify 0 into 0 0.341 * [backup-simplify]: Simplify 1 into 1 0.341 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.341 * [taylor]: Taking taylor expansion of 1.0 in t 0.341 * [backup-simplify]: Simplify 1.0 into 1.0 0.341 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.341 * [taylor]: Taking taylor expansion of 1.0 in t 0.341 * [backup-simplify]: Simplify 1.0 into 1.0 0.341 * [taylor]: Taking taylor expansion of t in t 0.341 * [backup-simplify]: Simplify 0 into 0 0.341 * [backup-simplify]: Simplify 1 into 1 0.342 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.342 * [backup-simplify]: Simplify (- 0) into 0 0.342 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.342 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.342 * [taylor]: Taking taylor expansion of 2.0 in t 0.342 * [backup-simplify]: Simplify 2.0 into 2.0 0.343 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.343 * [backup-simplify]: Simplify 2.0 into 2.0 0.343 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.343 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.343 * [backup-simplify]: Simplify 2.0 into 2.0 0.344 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.344 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.345 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.347 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 0.347 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 0.348 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.348 * [backup-simplify]: Simplify 2.0 into 2.0 0.348 * [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.348 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 0.348 * [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.348 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 0.348 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 0.348 * [taylor]: Taking taylor expansion of 2.0 in t 0.348 * [backup-simplify]: Simplify 2.0 into 2.0 0.348 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.348 * [taylor]: Taking taylor expansion of 2.0 in t 0.348 * [backup-simplify]: Simplify 2.0 into 2.0 0.348 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.348 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.348 * [taylor]: Taking taylor expansion of t in t 0.348 * [backup-simplify]: Simplify 0 into 0 0.348 * [backup-simplify]: Simplify 1 into 1 0.348 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.348 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.348 * [taylor]: Taking taylor expansion of 1.0 in t 0.348 * [backup-simplify]: Simplify 1.0 into 1.0 0.348 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.348 * [taylor]: Taking taylor expansion of t in t 0.348 * [backup-simplify]: Simplify 0 into 0 0.348 * [backup-simplify]: Simplify 1 into 1 0.349 * [backup-simplify]: Simplify (/ 1 1) into 1 0.349 * [taylor]: Taking taylor expansion of 1.0 in t 0.349 * [backup-simplify]: Simplify 1.0 into 1.0 0.349 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.349 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.349 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.350 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.351 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.351 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.352 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.352 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 0.352 * [taylor]: Taking taylor expansion of 2.0 in t 0.352 * [backup-simplify]: Simplify 2.0 into 2.0 0.352 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.352 * [taylor]: Taking taylor expansion of 2.0 in t 0.352 * [backup-simplify]: Simplify 2.0 into 2.0 0.352 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.352 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.352 * [taylor]: Taking taylor expansion of t in t 0.352 * [backup-simplify]: Simplify 0 into 0 0.352 * [backup-simplify]: Simplify 1 into 1 0.352 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.352 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.352 * [taylor]: Taking taylor expansion of 1.0 in t 0.352 * [backup-simplify]: Simplify 1.0 into 1.0 0.352 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.352 * [taylor]: Taking taylor expansion of t in t 0.352 * [backup-simplify]: Simplify 0 into 0 0.352 * [backup-simplify]: Simplify 1 into 1 0.352 * [backup-simplify]: Simplify (/ 1 1) into 1 0.352 * [taylor]: Taking taylor expansion of 1.0 in t 0.352 * [backup-simplify]: Simplify 1.0 into 1.0 0.352 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.353 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.353 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.354 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.354 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.355 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.355 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.355 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.356 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.356 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 0.356 * [backup-simplify]: Simplify 0 into 0 0.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.357 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 0.357 * [backup-simplify]: Simplify (+ 0 0) into 0 0.359 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 0.360 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.361 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 0.361 * [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.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.363 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.363 * [backup-simplify]: Simplify (+ 0 0) into 0 0.363 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 0.365 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 0.367 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 0.367 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.367 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 0.367 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.369 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.369 * [backup-simplify]: Simplify (+ 0 0) into 0 0.370 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 0.372 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.373 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 0.374 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.374 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.374 * [backup-simplify]: Simplify 2.0 into 2.0 0.375 * [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.375 * [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.375 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 0.375 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.375 * [taylor]: Taking taylor expansion of 2.0 in t 0.375 * [backup-simplify]: Simplify 2.0 into 2.0 0.375 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.375 * [taylor]: Taking taylor expansion of 2.0 in t 0.375 * [backup-simplify]: Simplify 2.0 into 2.0 0.375 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.375 * [taylor]: Taking taylor expansion of t in t 0.375 * [backup-simplify]: Simplify 0 into 0 0.375 * [backup-simplify]: Simplify 1 into 1 0.375 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.375 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.375 * [taylor]: Taking taylor expansion of 1.0 in t 0.375 * [backup-simplify]: Simplify 1.0 into 1.0 0.375 * [taylor]: Taking taylor expansion of t in t 0.375 * [backup-simplify]: Simplify 0 into 0 0.375 * [backup-simplify]: Simplify 1 into 1 0.375 * [taylor]: Taking taylor expansion of 1.0 in t 0.375 * [backup-simplify]: Simplify 1.0 into 1.0 0.375 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.376 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.376 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.376 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.376 * [taylor]: Taking taylor expansion of 2.0 in t 0.376 * [backup-simplify]: Simplify 2.0 into 2.0 0.376 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.376 * [taylor]: Taking taylor expansion of 2.0 in t 0.376 * [backup-simplify]: Simplify 2.0 into 2.0 0.376 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.376 * [taylor]: Taking taylor expansion of t in t 0.376 * [backup-simplify]: Simplify 0 into 0 0.376 * [backup-simplify]: Simplify 1 into 1 0.376 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.376 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.376 * [taylor]: Taking taylor expansion of 1.0 in t 0.376 * [backup-simplify]: Simplify 1.0 into 1.0 0.376 * [taylor]: Taking taylor expansion of t in t 0.376 * [backup-simplify]: Simplify 0 into 0 0.376 * [backup-simplify]: Simplify 1 into 1 0.376 * [taylor]: Taking taylor expansion of 1.0 in t 0.376 * [backup-simplify]: Simplify 1.0 into 1.0 0.376 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.377 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.377 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.377 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.377 * [backup-simplify]: Simplify 2.0 into 2.0 0.378 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.378 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.378 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 0.378 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.379 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.380 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.381 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.382 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 0.382 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.383 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.383 * [backup-simplify]: Simplify 2.0 into 2.0 0.383 * [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.383 * [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.383 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 0.383 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.383 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.383 * [taylor]: Taking taylor expansion of 2.0 in t 0.383 * [backup-simplify]: Simplify 2.0 into 2.0 0.384 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.384 * [taylor]: Taking taylor expansion of t in t 0.384 * [backup-simplify]: Simplify 0 into 0 0.384 * [backup-simplify]: Simplify 1 into 1 0.384 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.384 * [taylor]: Taking taylor expansion of 1.0 in t 0.384 * [backup-simplify]: Simplify 1.0 into 1.0 0.384 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.384 * [taylor]: Taking taylor expansion of 1.0 in t 0.384 * [backup-simplify]: Simplify 1.0 into 1.0 0.384 * [taylor]: Taking taylor expansion of t in t 0.384 * [backup-simplify]: Simplify 0 into 0 0.384 * [backup-simplify]: Simplify 1 into 1 0.384 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.384 * [backup-simplify]: Simplify (- 0) into 0 0.384 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.385 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.385 * [taylor]: Taking taylor expansion of 2.0 in t 0.385 * [backup-simplify]: Simplify 2.0 into 2.0 0.385 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.385 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.385 * [taylor]: Taking taylor expansion of 2.0 in t 0.385 * [backup-simplify]: Simplify 2.0 into 2.0 0.385 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.385 * [taylor]: Taking taylor expansion of t in t 0.385 * [backup-simplify]: Simplify 0 into 0 0.385 * [backup-simplify]: Simplify 1 into 1 0.385 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.385 * [taylor]: Taking taylor expansion of 1.0 in t 0.385 * [backup-simplify]: Simplify 1.0 into 1.0 0.385 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.385 * [taylor]: Taking taylor expansion of 1.0 in t 0.385 * [backup-simplify]: Simplify 1.0 into 1.0 0.385 * [taylor]: Taking taylor expansion of t in t 0.385 * [backup-simplify]: Simplify 0 into 0 0.385 * [backup-simplify]: Simplify 1 into 1 0.385 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.385 * [backup-simplify]: Simplify (- 0) into 0 0.386 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.386 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.386 * [taylor]: Taking taylor expansion of 2.0 in t 0.386 * [backup-simplify]: Simplify 2.0 into 2.0 0.386 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.386 * [backup-simplify]: Simplify 2.0 into 2.0 0.387 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.387 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.387 * [backup-simplify]: Simplify 2.0 into 2.0 0.388 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.388 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.388 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.390 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 0.391 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 0.391 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.391 * [backup-simplify]: Simplify 2.0 into 2.0 0.392 * [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.392 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 0.392 * [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.392 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 0.392 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 0.392 * [taylor]: Taking taylor expansion of 2.0 in t 0.392 * [backup-simplify]: Simplify 2.0 into 2.0 0.392 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.392 * [taylor]: Taking taylor expansion of 2.0 in t 0.392 * [backup-simplify]: Simplify 2.0 into 2.0 0.392 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.392 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.392 * [taylor]: Taking taylor expansion of t in t 0.392 * [backup-simplify]: Simplify 0 into 0 0.392 * [backup-simplify]: Simplify 1 into 1 0.392 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.392 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.392 * [taylor]: Taking taylor expansion of 1.0 in t 0.392 * [backup-simplify]: Simplify 1.0 into 1.0 0.392 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.392 * [taylor]: Taking taylor expansion of t in t 0.392 * [backup-simplify]: Simplify 0 into 0 0.392 * [backup-simplify]: Simplify 1 into 1 0.392 * [backup-simplify]: Simplify (/ 1 1) into 1 0.392 * [taylor]: Taking taylor expansion of 1.0 in t 0.392 * [backup-simplify]: Simplify 1.0 into 1.0 0.393 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.393 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.393 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.394 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.394 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.395 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.398 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.398 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 0.398 * [taylor]: Taking taylor expansion of 2.0 in t 0.398 * [backup-simplify]: Simplify 2.0 into 2.0 0.398 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.398 * [taylor]: Taking taylor expansion of 2.0 in t 0.398 * [backup-simplify]: Simplify 2.0 into 2.0 0.398 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.398 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.398 * [taylor]: Taking taylor expansion of t in t 0.398 * [backup-simplify]: Simplify 0 into 0 0.398 * [backup-simplify]: Simplify 1 into 1 0.398 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.398 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.398 * [taylor]: Taking taylor expansion of 1.0 in t 0.398 * [backup-simplify]: Simplify 1.0 into 1.0 0.398 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.398 * [taylor]: Taking taylor expansion of t in t 0.398 * [backup-simplify]: Simplify 0 into 0 0.398 * [backup-simplify]: Simplify 1 into 1 0.399 * [backup-simplify]: Simplify (/ 1 1) into 1 0.399 * [taylor]: Taking taylor expansion of 1.0 in t 0.399 * [backup-simplify]: Simplify 1.0 into 1.0 0.399 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.399 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.399 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.400 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.401 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.401 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.402 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.402 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.402 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.403 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 0.403 * [backup-simplify]: Simplify 0 into 0 0.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.404 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 0.404 * [backup-simplify]: Simplify (+ 0 0) into 0 0.405 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 0.406 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.407 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 0.408 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.408 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.408 * [backup-simplify]: Simplify 2.0 into 2.0 0.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.409 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.409 * [backup-simplify]: Simplify (+ 0 0) into 0 0.410 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 0.412 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 0.413 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 0.413 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.414 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 0.414 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.415 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.415 * [backup-simplify]: Simplify (+ 0 0) into 0 0.416 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 0.418 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.420 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 0.420 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.421 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.421 * [backup-simplify]: Simplify 2.0 into 2.0 0.421 * [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.421 * [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.421 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 0.421 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.421 * [taylor]: Taking taylor expansion of 2.0 in t 0.421 * [backup-simplify]: Simplify 2.0 into 2.0 0.421 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.421 * [taylor]: Taking taylor expansion of 2.0 in t 0.421 * [backup-simplify]: Simplify 2.0 into 2.0 0.421 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.421 * [taylor]: Taking taylor expansion of t in t 0.421 * [backup-simplify]: Simplify 0 into 0 0.421 * [backup-simplify]: Simplify 1 into 1 0.421 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.422 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.422 * [taylor]: Taking taylor expansion of 1.0 in t 0.422 * [backup-simplify]: Simplify 1.0 into 1.0 0.422 * [taylor]: Taking taylor expansion of t in t 0.422 * [backup-simplify]: Simplify 0 into 0 0.422 * [backup-simplify]: Simplify 1 into 1 0.422 * [taylor]: Taking taylor expansion of 1.0 in t 0.422 * [backup-simplify]: Simplify 1.0 into 1.0 0.422 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.422 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.422 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.422 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.422 * [taylor]: Taking taylor expansion of 2.0 in t 0.422 * [backup-simplify]: Simplify 2.0 into 2.0 0.422 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.422 * [taylor]: Taking taylor expansion of 2.0 in t 0.423 * [backup-simplify]: Simplify 2.0 into 2.0 0.423 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.423 * [taylor]: Taking taylor expansion of t in t 0.423 * [backup-simplify]: Simplify 0 into 0 0.423 * [backup-simplify]: Simplify 1 into 1 0.423 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.423 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.423 * [taylor]: Taking taylor expansion of 1.0 in t 0.423 * [backup-simplify]: Simplify 1.0 into 1.0 0.423 * [taylor]: Taking taylor expansion of t in t 0.423 * [backup-simplify]: Simplify 0 into 0 0.423 * [backup-simplify]: Simplify 1 into 1 0.423 * [taylor]: Taking taylor expansion of 1.0 in t 0.423 * [backup-simplify]: Simplify 1.0 into 1.0 0.423 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.423 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.423 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.424 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.424 * [backup-simplify]: Simplify 2.0 into 2.0 0.424 * [backup-simplify]: Simplify (* 2.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.426 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.426 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.427 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.428 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 0.429 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.429 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.429 * [backup-simplify]: Simplify 2.0 into 2.0 0.430 * [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.430 * [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.430 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 0.430 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.430 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.430 * [taylor]: Taking taylor expansion of 2.0 in t 0.430 * [backup-simplify]: Simplify 2.0 into 2.0 0.430 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.430 * [taylor]: Taking taylor expansion of t in t 0.430 * [backup-simplify]: Simplify 0 into 0 0.430 * [backup-simplify]: Simplify 1 into 1 0.430 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.430 * [taylor]: Taking taylor expansion of 1.0 in t 0.430 * [backup-simplify]: Simplify 1.0 into 1.0 0.430 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.430 * [taylor]: Taking taylor expansion of 1.0 in t 0.430 * [backup-simplify]: Simplify 1.0 into 1.0 0.430 * [taylor]: Taking taylor expansion of t in t 0.430 * [backup-simplify]: Simplify 0 into 0 0.430 * [backup-simplify]: Simplify 1 into 1 0.430 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.431 * [backup-simplify]: Simplify (- 0) into 0 0.431 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.431 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.431 * [taylor]: Taking taylor expansion of 2.0 in t 0.431 * [backup-simplify]: Simplify 2.0 into 2.0 0.431 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.431 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.431 * [taylor]: Taking taylor expansion of 2.0 in t 0.431 * [backup-simplify]: Simplify 2.0 into 2.0 0.431 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.431 * [taylor]: Taking taylor expansion of t in t 0.431 * [backup-simplify]: Simplify 0 into 0 0.431 * [backup-simplify]: Simplify 1 into 1 0.431 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.431 * [taylor]: Taking taylor expansion of 1.0 in t 0.431 * [backup-simplify]: Simplify 1.0 into 1.0 0.431 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.431 * [taylor]: Taking taylor expansion of 1.0 in t 0.431 * [backup-simplify]: Simplify 1.0 into 1.0 0.431 * [taylor]: Taking taylor expansion of t in t 0.431 * [backup-simplify]: Simplify 0 into 0 0.431 * [backup-simplify]: Simplify 1 into 1 0.432 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.432 * [backup-simplify]: Simplify (- 0) into 0 0.432 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.432 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.432 * [taylor]: Taking taylor expansion of 2.0 in t 0.432 * [backup-simplify]: Simplify 2.0 into 2.0 0.433 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.433 * [backup-simplify]: Simplify 2.0 into 2.0 0.433 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.433 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.433 * [backup-simplify]: Simplify 2.0 into 2.0 0.434 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.434 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.435 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.437 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 0.437 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 0.438 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.438 * [backup-simplify]: Simplify 2.0 into 2.0 0.438 * [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.438 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 0.438 * [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.438 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 0.438 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 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 (/ 1 (* t (+ (* 1.0 (/ 1 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 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.438 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 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 (/ 1 t)) 1.0) in t 0.438 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 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 (/ 1 t) 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.439 * [backup-simplify]: Simplify (/ 1 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 1) into 1.0 0.439 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.439 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.440 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.441 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.441 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.442 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.442 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 0.442 * [taylor]: Taking taylor expansion of 2.0 in t 0.442 * [backup-simplify]: Simplify 2.0 into 2.0 0.442 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.442 * [taylor]: Taking taylor expansion of 2.0 in t 0.442 * [backup-simplify]: Simplify 2.0 into 2.0 0.442 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.442 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.442 * [taylor]: Taking taylor expansion of t in t 0.442 * [backup-simplify]: Simplify 0 into 0 0.442 * [backup-simplify]: Simplify 1 into 1 0.442 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.442 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.442 * [taylor]: Taking taylor expansion of 1.0 in t 0.442 * [backup-simplify]: Simplify 1.0 into 1.0 0.442 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.442 * [taylor]: Taking taylor expansion of t in t 0.442 * [backup-simplify]: Simplify 0 into 0 0.442 * [backup-simplify]: Simplify 1 into 1 0.442 * [backup-simplify]: Simplify (/ 1 1) into 1 0.442 * [taylor]: Taking taylor expansion of 1.0 in t 0.442 * [backup-simplify]: Simplify 1.0 into 1.0 0.443 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.443 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.443 * [backup-simplify]: Simplify (* 0 1.0) into 0 0.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.444 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.444 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.445 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 0.445 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.445 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.446 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.446 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 0.446 * [backup-simplify]: Simplify 0 into 0 0.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.447 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 0.447 * [backup-simplify]: Simplify (+ 0 0) into 0 0.449 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 0.450 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.451 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 0.451 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.452 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.452 * [backup-simplify]: Simplify 2.0 into 2.0 0.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.453 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.453 * [backup-simplify]: Simplify (+ 0 0) into 0 0.454 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 0.456 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 0.457 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 0.457 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.458 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 0.458 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.458 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.459 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.459 * [backup-simplify]: Simplify (+ 0 0) into 0 0.460 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 0.462 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.463 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 0.464 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.464 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.464 * [backup-simplify]: Simplify 2.0 into 2.0 0.465 * [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.465 * [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.465 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 0.465 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.465 * [taylor]: Taking taylor expansion of 2.0 in t 0.465 * [backup-simplify]: Simplify 2.0 into 2.0 0.465 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.465 * [taylor]: Taking taylor expansion of 2.0 in t 0.465 * [backup-simplify]: Simplify 2.0 into 2.0 0.465 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.465 * [taylor]: Taking taylor expansion of t in t 0.465 * [backup-simplify]: Simplify 0 into 0 0.465 * [backup-simplify]: Simplify 1 into 1 0.465 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.465 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.465 * [taylor]: Taking taylor expansion of 1.0 in t 0.465 * [backup-simplify]: Simplify 1.0 into 1.0 0.465 * [taylor]: Taking taylor expansion of t in t 0.465 * [backup-simplify]: Simplify 0 into 0 0.465 * [backup-simplify]: Simplify 1 into 1 0.465 * [taylor]: Taking taylor expansion of 1.0 in t 0.465 * [backup-simplify]: Simplify 1.0 into 1.0 0.465 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.466 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.466 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.466 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 0.466 * [taylor]: Taking taylor expansion of 2.0 in t 0.466 * [backup-simplify]: Simplify 2.0 into 2.0 0.466 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 0.466 * [taylor]: Taking taylor expansion of 2.0 in t 0.466 * [backup-simplify]: Simplify 2.0 into 2.0 0.466 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 0.466 * [taylor]: Taking taylor expansion of t in t 0.466 * [backup-simplify]: Simplify 0 into 0 0.466 * [backup-simplify]: Simplify 1 into 1 0.466 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.466 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.466 * [taylor]: Taking taylor expansion of 1.0 in t 0.466 * [backup-simplify]: Simplify 1.0 into 1.0 0.466 * [taylor]: Taking taylor expansion of t in t 0.466 * [backup-simplify]: Simplify 0 into 0 0.466 * [backup-simplify]: Simplify 1 into 1 0.466 * [taylor]: Taking taylor expansion of 1.0 in t 0.466 * [backup-simplify]: Simplify 1.0 into 1.0 0.467 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.467 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.467 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.467 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.467 * [backup-simplify]: Simplify 2.0 into 2.0 0.468 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.468 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.468 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 0.469 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 0.469 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.470 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.471 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 0.472 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 0.472 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 0.473 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.473 * [backup-simplify]: Simplify 2.0 into 2.0 0.473 * [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.473 * [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.473 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 0.473 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.473 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.474 * [taylor]: Taking taylor expansion of 2.0 in t 0.474 * [backup-simplify]: Simplify 2.0 into 2.0 0.474 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.474 * [taylor]: Taking taylor expansion of t in t 0.474 * [backup-simplify]: Simplify 0 into 0 0.474 * [backup-simplify]: Simplify 1 into 1 0.474 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.474 * [taylor]: Taking taylor expansion of 1.0 in t 0.474 * [backup-simplify]: Simplify 1.0 into 1.0 0.474 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.474 * [taylor]: Taking taylor expansion of 1.0 in t 0.474 * [backup-simplify]: Simplify 1.0 into 1.0 0.474 * [taylor]: Taking taylor expansion of t in t 0.474 * [backup-simplify]: Simplify 0 into 0 0.474 * [backup-simplify]: Simplify 1 into 1 0.474 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.474 * [backup-simplify]: Simplify (- 0) into 0 0.474 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.475 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.475 * [taylor]: Taking taylor expansion of 2.0 in t 0.475 * [backup-simplify]: Simplify 2.0 into 2.0 0.475 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 0.475 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 0.475 * [taylor]: Taking taylor expansion of 2.0 in t 0.475 * [backup-simplify]: Simplify 2.0 into 2.0 0.475 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 0.475 * [taylor]: Taking taylor expansion of t in t 0.475 * [backup-simplify]: Simplify 0 into 0 0.475 * [backup-simplify]: Simplify 1 into 1 0.475 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 0.475 * [taylor]: Taking taylor expansion of 1.0 in t 0.475 * [backup-simplify]: Simplify 1.0 into 1.0 0.475 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.475 * [taylor]: Taking taylor expansion of 1.0 in t 0.475 * [backup-simplify]: Simplify 1.0 into 1.0 0.475 * [taylor]: Taking taylor expansion of t in t 0.475 * [backup-simplify]: Simplify 0 into 0 0.475 * [backup-simplify]: Simplify 1 into 1 0.475 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.475 * [backup-simplify]: Simplify (- 0) into 0 0.476 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.476 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 0.476 * [taylor]: Taking taylor expansion of 2.0 in t 0.476 * [backup-simplify]: Simplify 2.0 into 2.0 0.476 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 0.476 * [backup-simplify]: Simplify 2.0 into 2.0 0.477 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 0.477 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.477 * [backup-simplify]: Simplify 2.0 into 2.0 0.478 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.478 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.478 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.480 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 0.481 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 0.481 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 0.481 * [backup-simplify]: Simplify 2.0 into 2.0 0.481 * [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.482 * * * [progress]: simplifying candidates 0.485 * [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.486 * [simplify]: Sending expressions to egg_math: (/ (exp h2) (exp (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (log (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (exp (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (* (cbrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (cbrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))))) (cbrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (* (* (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (sqrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (sqrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (- (pow h2 3) (pow (/ (/ h2 h0) (+ h1 (/ h1 h0))) 3)) (+ (* h2 h2) (+ (* (/ (/ h2 h0) (+ h1 (/ h1 h0))) (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (* h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))))) (- (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- (* h2 h2) (* (/ (/ h2 h0) (+ h1 (/ h1 h0))) (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (+ h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (+ (sqrt h2) (sqrt (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (- (sqrt h2) (sqrt (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (+ (sqrt h2) (/ (sqrt (/ h2 h0)) (sqrt (+ h1 (/ h1 h0))))) (- (sqrt h2) (/ (sqrt (/ h2 h0)) (sqrt (+ h1 (/ h1 h0))))) (+ (sqrt h2) (/ (/ (sqrt h2) (sqrt h0)) (sqrt (+ h1 (/ h1 h0))))) (- (sqrt h2) (/ (/ (sqrt h2) (sqrt h0)) (sqrt (+ h1 (/ h1 h0))))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (/ (exp h2) (exp (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (log (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (exp (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (* (cbrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (cbrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))))) (cbrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (* (* (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (sqrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (sqrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (- (pow h2 3) (pow (/ (/ h2 h0) (+ h1 (/ h1 h0))) 3)) (+ (* h2 h2) (+ (* (/ (/ h2 h0) (+ h1 (/ h1 h0))) (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (* h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))))) (- (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- (* h2 h2) (* (/ (/ h2 h0) (+ h1 (/ h1 h0))) (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (+ h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (+ (sqrt h2) (sqrt (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (- (sqrt h2) (sqrt (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (+ (sqrt h2) (/ (sqrt (/ h2 h0)) (sqrt (+ h1 (/ h1 h0))))) (- (sqrt h2) (/ (sqrt (/ h2 h0)) (sqrt (+ h1 (/ h1 h0))))) (+ (sqrt h2) (/ (/ (sqrt h2) (sqrt h0)) (sqrt (+ h1 (/ h1 h0))))) (- (sqrt h2) (/ (/ (sqrt h2) (sqrt h0)) (sqrt (+ h1 (/ h1 h0))))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (/ (exp h2) (exp (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (log (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (exp (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (* (cbrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (cbrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))))) (cbrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (* (* (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (sqrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (sqrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (- (pow h2 3) (pow (/ (/ h2 h0) (+ h1 (/ h1 h0))) 3)) (+ (* h2 h2) (+ (* (/ (/ h2 h0) (+ h1 (/ h1 h0))) (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (* h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))))) (- (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- (* h2 h2) (* (/ (/ h2 h0) (+ h1 (/ h1 h0))) (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (+ h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (+ (sqrt h2) (sqrt (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (- (sqrt h2) (sqrt (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (+ (sqrt h2) (/ (sqrt (/ h2 h0)) (sqrt (+ h1 (/ h1 h0))))) (- (sqrt h2) (/ (sqrt (/ h2 h0)) (sqrt (+ h1 (/ h1 h0))))) (+ (sqrt h2) (/ (/ (sqrt h2) (sqrt h0)) (sqrt (+ h1 (/ h1 h0))))) (- (sqrt h2) (/ (/ (sqrt h2) (sqrt h0)) (sqrt (+ h1 (/ h1 h0))))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (/ (exp h2) (exp (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (log (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (exp (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (* (cbrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (cbrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))))) (cbrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (* (* (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (sqrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (sqrt (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (- (pow h2 3) (pow (/ (/ h2 h0) (+ h1 (/ h1 h0))) 3)) (+ (* h2 h2) (+ (* (/ (/ h2 h0) (+ h1 (/ h1 h0))) (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (* h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))))) (- (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- (* h2 h2) (* (/ (/ h2 h0) (+ h1 (/ h1 h0))) (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (+ h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (+ (sqrt h2) (sqrt (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (- (sqrt h2) (sqrt (/ (/ h2 h0) (+ h1 (/ h1 h0))))) (+ (sqrt h2) (/ (sqrt (/ h2 h0)) (sqrt (+ h1 (/ h1 h0))))) (- (sqrt h2) (/ (sqrt (/ h2 h0)) (sqrt (+ h1 (/ h1 h0))))) (+ (sqrt h2) (/ (/ (sqrt h2) (sqrt h0)) (sqrt (+ h1 (/ h1 h0))))) (- (sqrt h2) (/ (/ (sqrt h2) (sqrt h0)) (sqrt (+ h1 (/ h1 h0))))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- (+ (* h2 (pow h0 3)) (* h2 h0)) (* h2 (pow h0 2))) (- (+ (* h2 (/ 1 (pow h0 2))) h2) (* h2 (/ 1 h0))) (- (+ (* h2 (/ 1 (pow h0 2))) h2) (* h2 (/ 1 h0))) (- (+ (* h2 (pow h0 3)) (* h2 h0)) (* h2 (pow h0 2))) (- (+ (* h2 (/ 1 (pow h0 2))) h2) (* h2 (/ 1 h0))) (- (+ (* h2 (/ 1 (pow h0 2))) h2) (* h2 (/ 1 h0))) (- (+ (* h2 (pow h0 3)) (* h2 h0)) (* h2 (pow h0 2))) (- (+ (* h2 (/ 1 (pow h0 2))) h2) (* h2 (/ 1 h0))) (- (+ (* h2 (/ 1 (pow h0 2))) h2) (* h2 (/ 1 h0))) (- (+ (* h2 (pow h0 3)) (* h2 h0)) (* h2 (pow h0 2))) (- (+ (* h2 (/ 1 (pow h0 2))) h2) (* h2 (/ 1 h0))) (- (+ (* h2 (/ 1 (pow h0 2))) h2) (* h2 (/ 1 h0))) 0.489 * * [simplify]: iteration 0 : 137 enodes (cost 740 ) 0.492 * * [simplify]: iteration 1 : 352 enodes (cost 680 ) 0.499 * * [simplify]: iteration 2 : 1683 enodes (cost 672 ) 0.537 * * [simplify]: iteration 3 : 5001 enodes (cost 672 ) 0.541 * * * [progress]: adding candidates to table 0.718 * [progress]: [Phase 3 of 3] Extracting. 0.720 * [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.720 * [simplify]: Sending expressions to egg_math: (/ (+ h1 (* (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))))) (+ h2 (* (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0)))) (- h2 (/ (/ h2 h0) (+ h1 (/ h1 h0))))))) 0.720 * * [simplify]: iteration 0 : 15 enodes (cost 25 ) 0.721 * * [simplify]: iteration 1 : 15 enodes (cost 25 ) 1.206 * [regime-testing]: End program error score: 0.008501062632829104