0.150 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.046 * * * [progress]: [2/2] Setting up program. 0.051 * [progress]: [Phase 2 of 3] Improving. 0.052 * [simplify]: Simplifying: (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) 0.052 * * [simplify]: Extracting # 0 : cost 0 0.052 * * [simplify]: Extracting # 1 : cost 0 0.052 * * [simplify]: Extracting # 2 : cost 0 0.052 * * [simplify]: Extracting # 3 : cost 0 0.052 * * [simplify]: Extracting # 4 : cost 0 0.052 * * [simplify]: Extracting # 5 : cost 0 0.052 * * [simplify]: Extracting # 6 : cost 0 0.052 * * [simplify]: Extracting # 7 : cost 0 0.053 * * [simplify]: Extracting # 8 : cost 0 0.053 * * [simplify]: Extracting # 9 : cost 0 0.053 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 0.057 * * [simplify]: Extracting # 1 : cost 0 0.057 * * [simplify]: Extracting # 2 : cost 0 0.057 * * [simplify]: iteration 1 : 20 enodes (cost 29 ) 0.065 * * [simplify]: Extracting # 0 : cost 0 0.065 * * [simplify]: Extracting # 1 : cost 0 0.065 * * [simplify]: Extracting # 2 : cost 0 0.065 * * [simplify]: iteration 2 : 37 enodes (cost 29 ) 0.081 * * [simplify]: Extracting # 0 : cost 0 0.081 * * [simplify]: Extracting # 1 : cost 0 0.081 * * [simplify]: Extracting # 2 : cost 0 0.081 * * [simplify]: iteration 3 : 84 enodes (cost 29 ) 0.168 * * [simplify]: Extracting # 0 : cost 0 0.169 * * [simplify]: Extracting # 1 : cost 0 0.169 * * [simplify]: Extracting # 2 : cost 0 0.170 * * [simplify]: Extracting # 3 : cost 0 0.170 * * [simplify]: Extracting # 4 : cost 0 0.171 * * [simplify]: iteration 4 : 245 enodes (cost 29 ) 0.278 * * [simplify]: Extracting # 0 : cost 0 0.278 * * [simplify]: Extracting # 1 : cost 0 0.279 * * [simplify]: Extracting # 2 : cost 0 0.279 * * [simplify]: Extracting # 3 : cost 0 0.280 * * [simplify]: Extracting # 4 : cost 0 0.280 * * [simplify]: iteration 5 : 689 enodes (cost 29 ) 0.858 * * [simplify]: Extracting # 0 : cost 0 0.864 * * [simplify]: Extracting # 1 : cost 0 0.869 * * [simplify]: Extracting # 2 : cost 0 0.873 * * [simplify]: Extracting # 3 : cost 0 0.878 * * [simplify]: Extracting # 4 : cost 0 0.882 * * [simplify]: iteration 6 : 2704 enodes (cost 29 ) 2.461 * * [simplify]: Extracting # 0 : cost 0 2.471 * * [simplify]: Extracting # 1 : cost 0 2.475 * * [simplify]: Extracting # 2 : cost 0 2.480 * * [simplify]: Extracting # 3 : cost 0 2.484 * * [simplify]: Extracting # 4 : cost 0 2.488 * * [simplify]: iteration done: 5000 enodes (cost 25 ) 2.488 * [simplify]: Simplified to: (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))))) 2.495 * * [progress]: iteration 1 / 4 2.495 * * * [progress]: picking best candidate 2.500 * * * * [pick]: Picked # 2.500 * * * [progress]: localizing error 2.546 * * * [progress]: generating rewritten candidates 2.546 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2) 2.609 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1) 2.676 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 3.306 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 3.334 * * * [progress]: generating series expansions 3.334 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2) 3.334 * [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))))) 3.334 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 3.334 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.334 * [taylor]: Taking taylor expansion of 2.0 in t 3.334 * [backup-simplify]: Simplify 2.0 into 2.0 3.334 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.334 * [taylor]: Taking taylor expansion of 2.0 in t 3.335 * [backup-simplify]: Simplify 2.0 into 2.0 3.335 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.335 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.335 * [taylor]: Taking taylor expansion of t in t 3.335 * [backup-simplify]: Simplify 0 into 0 3.335 * [backup-simplify]: Simplify 1 into 1 3.335 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.335 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.335 * [taylor]: Taking taylor expansion of 1.0 in t 3.335 * [backup-simplify]: Simplify 1.0 into 1.0 3.335 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.335 * [taylor]: Taking taylor expansion of t in t 3.335 * [backup-simplify]: Simplify 0 into 0 3.335 * [backup-simplify]: Simplify 1 into 1 3.336 * [backup-simplify]: Simplify (/ 1 1) into 1 3.336 * [taylor]: Taking taylor expansion of 1.0 in t 3.336 * [backup-simplify]: Simplify 1.0 into 1.0 3.336 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.337 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.337 * [backup-simplify]: Simplify (* 0 1.0) into 0 3.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.338 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.339 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.340 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 3.341 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.341 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.341 * [taylor]: Taking taylor expansion of 2.0 in t 3.341 * [backup-simplify]: Simplify 2.0 into 2.0 3.341 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.341 * [taylor]: Taking taylor expansion of 2.0 in t 3.341 * [backup-simplify]: Simplify 2.0 into 2.0 3.341 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.341 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.341 * [taylor]: Taking taylor expansion of t in t 3.341 * [backup-simplify]: Simplify 0 into 0 3.341 * [backup-simplify]: Simplify 1 into 1 3.341 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.341 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.341 * [taylor]: Taking taylor expansion of 1.0 in t 3.341 * [backup-simplify]: Simplify 1.0 into 1.0 3.341 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.342 * [taylor]: Taking taylor expansion of t in t 3.342 * [backup-simplify]: Simplify 0 into 0 3.342 * [backup-simplify]: Simplify 1 into 1 3.342 * [backup-simplify]: Simplify (/ 1 1) into 1 3.342 * [taylor]: Taking taylor expansion of 1.0 in t 3.342 * [backup-simplify]: Simplify 1.0 into 1.0 3.343 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.343 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.343 * [backup-simplify]: Simplify (* 0 1.0) into 0 3.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.345 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.345 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.347 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 3.347 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.348 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 3.348 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.349 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 3.349 * [backup-simplify]: Simplify 0 into 0 3.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.351 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 3.351 * [backup-simplify]: Simplify (+ 0 0) into 0 3.354 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 3.356 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 3.358 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 3.359 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 3.359 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 3.359 * [backup-simplify]: Simplify 2.0 into 2.0 3.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.362 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.362 * [backup-simplify]: Simplify (+ 0 0) into 0 3.363 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 3.367 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 3.369 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 3.370 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.371 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 3.371 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.373 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.373 * [backup-simplify]: Simplify (+ 0 0) into 0 3.375 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 3.378 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 3.381 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 3.381 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 3.382 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 3.382 * [backup-simplify]: Simplify 2.0 into 2.0 3.383 * [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))) 3.383 * [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)))) 3.383 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 3.383 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 3.383 * [taylor]: Taking taylor expansion of 2.0 in t 3.383 * [backup-simplify]: Simplify 2.0 into 2.0 3.383 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 3.383 * [taylor]: Taking taylor expansion of 2.0 in t 3.383 * [backup-simplify]: Simplify 2.0 into 2.0 3.383 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 3.383 * [taylor]: Taking taylor expansion of t in t 3.383 * [backup-simplify]: Simplify 0 into 0 3.383 * [backup-simplify]: Simplify 1 into 1 3.383 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.383 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.383 * [taylor]: Taking taylor expansion of 1.0 in t 3.383 * [backup-simplify]: Simplify 1.0 into 1.0 3.383 * [taylor]: Taking taylor expansion of t in t 3.383 * [backup-simplify]: Simplify 0 into 0 3.383 * [backup-simplify]: Simplify 1 into 1 3.383 * [taylor]: Taking taylor expansion of 1.0 in t 3.383 * [backup-simplify]: Simplify 1.0 into 1.0 3.384 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.384 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.385 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.385 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 3.385 * [taylor]: Taking taylor expansion of 2.0 in t 3.385 * [backup-simplify]: Simplify 2.0 into 2.0 3.385 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 3.385 * [taylor]: Taking taylor expansion of 2.0 in t 3.385 * [backup-simplify]: Simplify 2.0 into 2.0 3.385 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 3.385 * [taylor]: Taking taylor expansion of t in t 3.385 * [backup-simplify]: Simplify 0 into 0 3.385 * [backup-simplify]: Simplify 1 into 1 3.385 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.385 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.385 * [taylor]: Taking taylor expansion of 1.0 in t 3.385 * [backup-simplify]: Simplify 1.0 into 1.0 3.385 * [taylor]: Taking taylor expansion of t in t 3.385 * [backup-simplify]: Simplify 0 into 0 3.385 * [backup-simplify]: Simplify 1 into 1 3.385 * [taylor]: Taking taylor expansion of 1.0 in t 3.385 * [backup-simplify]: Simplify 1.0 into 1.0 3.385 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.386 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.386 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.387 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 3.387 * [backup-simplify]: Simplify 2.0 into 2.0 3.387 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 3.387 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.388 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 3.388 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.390 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.390 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.392 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 3.394 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 3.395 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 3.395 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 3.395 * [backup-simplify]: Simplify 2.0 into 2.0 3.396 * [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))) 3.396 * [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) 3.396 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 3.396 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 3.396 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 3.396 * [taylor]: Taking taylor expansion of 2.0 in t 3.396 * [backup-simplify]: Simplify 2.0 into 2.0 3.396 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 3.396 * [taylor]: Taking taylor expansion of t in t 3.396 * [backup-simplify]: Simplify 0 into 0 3.396 * [backup-simplify]: Simplify 1 into 1 3.396 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 3.396 * [taylor]: Taking taylor expansion of 1.0 in t 3.396 * [backup-simplify]: Simplify 1.0 into 1.0 3.396 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.397 * [taylor]: Taking taylor expansion of 1.0 in t 3.397 * [backup-simplify]: Simplify 1.0 into 1.0 3.397 * [taylor]: Taking taylor expansion of t in t 3.397 * [backup-simplify]: Simplify 0 into 0 3.397 * [backup-simplify]: Simplify 1 into 1 3.397 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.397 * [backup-simplify]: Simplify (- 0) into 0 3.398 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.398 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.398 * [taylor]: Taking taylor expansion of 2.0 in t 3.398 * [backup-simplify]: Simplify 2.0 into 2.0 3.398 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 3.398 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 3.399 * [taylor]: Taking taylor expansion of 2.0 in t 3.399 * [backup-simplify]: Simplify 2.0 into 2.0 3.399 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 3.399 * [taylor]: Taking taylor expansion of t in t 3.399 * [backup-simplify]: Simplify 0 into 0 3.399 * [backup-simplify]: Simplify 1 into 1 3.399 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 3.399 * [taylor]: Taking taylor expansion of 1.0 in t 3.399 * [backup-simplify]: Simplify 1.0 into 1.0 3.399 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.399 * [taylor]: Taking taylor expansion of 1.0 in t 3.399 * [backup-simplify]: Simplify 1.0 into 1.0 3.399 * [taylor]: Taking taylor expansion of t in t 3.399 * [backup-simplify]: Simplify 0 into 0 3.399 * [backup-simplify]: Simplify 1 into 1 3.399 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.400 * [backup-simplify]: Simplify (- 0) into 0 3.400 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.401 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.401 * [taylor]: Taking taylor expansion of 2.0 in t 3.401 * [backup-simplify]: Simplify 2.0 into 2.0 3.401 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 3.401 * [backup-simplify]: Simplify 2.0 into 2.0 3.402 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 3.402 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 3.402 * [backup-simplify]: Simplify 2.0 into 2.0 3.404 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.404 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.405 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.408 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 3.410 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 3.410 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 3.411 * [backup-simplify]: Simplify 2.0 into 2.0 3.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))) 3.411 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1) 3.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))))) 3.411 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 3.411 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.411 * [taylor]: Taking taylor expansion of 2.0 in t 3.412 * [backup-simplify]: Simplify 2.0 into 2.0 3.412 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.412 * [taylor]: Taking taylor expansion of 2.0 in t 3.412 * [backup-simplify]: Simplify 2.0 into 2.0 3.412 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.412 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.412 * [taylor]: Taking taylor expansion of t in t 3.412 * [backup-simplify]: Simplify 0 into 0 3.412 * [backup-simplify]: Simplify 1 into 1 3.412 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.412 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.412 * [taylor]: Taking taylor expansion of 1.0 in t 3.412 * [backup-simplify]: Simplify 1.0 into 1.0 3.412 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.412 * [taylor]: Taking taylor expansion of t in t 3.412 * [backup-simplify]: Simplify 0 into 0 3.412 * [backup-simplify]: Simplify 1 into 1 3.413 * [backup-simplify]: Simplify (/ 1 1) into 1 3.413 * [taylor]: Taking taylor expansion of 1.0 in t 3.413 * [backup-simplify]: Simplify 1.0 into 1.0 3.413 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.414 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.414 * [backup-simplify]: Simplify (* 0 1.0) into 0 3.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.416 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.421 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.422 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 3.423 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.423 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.423 * [taylor]: Taking taylor expansion of 2.0 in t 3.423 * [backup-simplify]: Simplify 2.0 into 2.0 3.423 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.423 * [taylor]: Taking taylor expansion of 2.0 in t 3.423 * [backup-simplify]: Simplify 2.0 into 2.0 3.423 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.423 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.423 * [taylor]: Taking taylor expansion of t in t 3.423 * [backup-simplify]: Simplify 0 into 0 3.423 * [backup-simplify]: Simplify 1 into 1 3.423 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.423 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.423 * [taylor]: Taking taylor expansion of 1.0 in t 3.423 * [backup-simplify]: Simplify 1.0 into 1.0 3.423 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.423 * [taylor]: Taking taylor expansion of t in t 3.423 * [backup-simplify]: Simplify 0 into 0 3.423 * [backup-simplify]: Simplify 1 into 1 3.424 * [backup-simplify]: Simplify (/ 1 1) into 1 3.424 * [taylor]: Taking taylor expansion of 1.0 in t 3.424 * [backup-simplify]: Simplify 1.0 into 1.0 3.424 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.425 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.425 * [backup-simplify]: Simplify (* 0 1.0) into 0 3.426 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.426 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.427 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.428 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 3.429 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.429 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 3.430 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.430 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 3.430 * [backup-simplify]: Simplify 0 into 0 3.431 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.432 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 3.432 * [backup-simplify]: Simplify (+ 0 0) into 0 3.435 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 3.436 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 3.438 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 3.439 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 3.439 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 3.439 * [backup-simplify]: Simplify 2.0 into 2.0 3.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.441 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.441 * [backup-simplify]: Simplify (+ 0 0) into 0 3.442 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 3.445 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 3.447 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 3.447 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.448 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 3.448 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.449 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.450 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.451 * [backup-simplify]: Simplify (+ 0 0) into 0 3.452 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 3.456 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 3.459 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 3.460 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 3.460 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 3.460 * [backup-simplify]: Simplify 2.0 into 2.0 3.461 * [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))) 3.461 * [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)))) 3.461 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 3.461 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 3.461 * [taylor]: Taking taylor expansion of 2.0 in t 3.461 * [backup-simplify]: Simplify 2.0 into 2.0 3.462 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 3.462 * [taylor]: Taking taylor expansion of 2.0 in t 3.462 * [backup-simplify]: Simplify 2.0 into 2.0 3.462 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 3.462 * [taylor]: Taking taylor expansion of t in t 3.462 * [backup-simplify]: Simplify 0 into 0 3.462 * [backup-simplify]: Simplify 1 into 1 3.462 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.462 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.462 * [taylor]: Taking taylor expansion of 1.0 in t 3.462 * [backup-simplify]: Simplify 1.0 into 1.0 3.462 * [taylor]: Taking taylor expansion of t in t 3.462 * [backup-simplify]: Simplify 0 into 0 3.462 * [backup-simplify]: Simplify 1 into 1 3.462 * [taylor]: Taking taylor expansion of 1.0 in t 3.462 * [backup-simplify]: Simplify 1.0 into 1.0 3.462 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.463 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.463 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.463 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 3.463 * [taylor]: Taking taylor expansion of 2.0 in t 3.463 * [backup-simplify]: Simplify 2.0 into 2.0 3.463 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 3.463 * [taylor]: Taking taylor expansion of 2.0 in t 3.463 * [backup-simplify]: Simplify 2.0 into 2.0 3.463 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 3.463 * [taylor]: Taking taylor expansion of t in t 3.463 * [backup-simplify]: Simplify 0 into 0 3.463 * [backup-simplify]: Simplify 1 into 1 3.464 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.464 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.464 * [taylor]: Taking taylor expansion of 1.0 in t 3.464 * [backup-simplify]: Simplify 1.0 into 1.0 3.464 * [taylor]: Taking taylor expansion of t in t 3.464 * [backup-simplify]: Simplify 0 into 0 3.464 * [backup-simplify]: Simplify 1 into 1 3.464 * [taylor]: Taking taylor expansion of 1.0 in t 3.464 * [backup-simplify]: Simplify 1.0 into 1.0 3.464 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.465 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.465 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.465 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 3.465 * [backup-simplify]: Simplify 2.0 into 2.0 3.466 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 3.466 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.467 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 3.467 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.469 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.469 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.472 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 3.474 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 3.475 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 3.475 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 3.475 * [backup-simplify]: Simplify 2.0 into 2.0 3.476 * [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))) 3.477 * [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) 3.477 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 3.477 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 3.477 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 3.477 * [taylor]: Taking taylor expansion of 2.0 in t 3.477 * [backup-simplify]: Simplify 2.0 into 2.0 3.477 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 3.477 * [taylor]: Taking taylor expansion of t in t 3.477 * [backup-simplify]: Simplify 0 into 0 3.477 * [backup-simplify]: Simplify 1 into 1 3.477 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 3.477 * [taylor]: Taking taylor expansion of 1.0 in t 3.477 * [backup-simplify]: Simplify 1.0 into 1.0 3.477 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.477 * [taylor]: Taking taylor expansion of 1.0 in t 3.477 * [backup-simplify]: Simplify 1.0 into 1.0 3.477 * [taylor]: Taking taylor expansion of t in t 3.477 * [backup-simplify]: Simplify 0 into 0 3.477 * [backup-simplify]: Simplify 1 into 1 3.478 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.478 * [backup-simplify]: Simplify (- 0) into 0 3.478 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.479 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.479 * [taylor]: Taking taylor expansion of 2.0 in t 3.479 * [backup-simplify]: Simplify 2.0 into 2.0 3.479 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 3.479 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 3.479 * [taylor]: Taking taylor expansion of 2.0 in t 3.479 * [backup-simplify]: Simplify 2.0 into 2.0 3.479 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 3.479 * [taylor]: Taking taylor expansion of t in t 3.479 * [backup-simplify]: Simplify 0 into 0 3.479 * [backup-simplify]: Simplify 1 into 1 3.479 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 3.479 * [taylor]: Taking taylor expansion of 1.0 in t 3.479 * [backup-simplify]: Simplify 1.0 into 1.0 3.479 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.479 * [taylor]: Taking taylor expansion of 1.0 in t 3.479 * [backup-simplify]: Simplify 1.0 into 1.0 3.479 * [taylor]: Taking taylor expansion of t in t 3.479 * [backup-simplify]: Simplify 0 into 0 3.479 * [backup-simplify]: Simplify 1 into 1 3.480 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.480 * [backup-simplify]: Simplify (- 0) into 0 3.481 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.481 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.481 * [taylor]: Taking taylor expansion of 2.0 in t 3.481 * [backup-simplify]: Simplify 2.0 into 2.0 3.482 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 3.482 * [backup-simplify]: Simplify 2.0 into 2.0 3.482 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 3.483 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 3.483 * [backup-simplify]: Simplify 2.0 into 2.0 3.484 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.484 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.485 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.489 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 3.490 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 3.490 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 3.491 * [backup-simplify]: Simplify 2.0 into 2.0 3.491 * [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))) 3.491 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 3.492 * [backup-simplify]: Simplify (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) into (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) 3.492 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) in (t) around 0 3.492 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) in t 3.492 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.492 * [taylor]: Taking taylor expansion of 2.0 in t 3.492 * [backup-simplify]: Simplify 2.0 into 2.0 3.492 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.492 * [taylor]: Taking taylor expansion of 2.0 in t 3.492 * [backup-simplify]: Simplify 2.0 into 2.0 3.492 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.492 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.492 * [taylor]: Taking taylor expansion of t in t 3.492 * [backup-simplify]: Simplify 0 into 0 3.492 * [backup-simplify]: Simplify 1 into 1 3.492 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.492 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.492 * [taylor]: Taking taylor expansion of 1.0 in t 3.492 * [backup-simplify]: Simplify 1.0 into 1.0 3.492 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.492 * [taylor]: Taking taylor expansion of t in t 3.492 * [backup-simplify]: Simplify 0 into 0 3.492 * [backup-simplify]: Simplify 1 into 1 3.493 * [backup-simplify]: Simplify (/ 1 1) into 1 3.493 * [taylor]: Taking taylor expansion of 1.0 in t 3.493 * [backup-simplify]: Simplify 1.0 into 1.0 3.493 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.494 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.494 * [backup-simplify]: Simplify (* 0 1.0) into 0 3.495 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.496 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.496 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.497 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 3.498 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.498 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 3.499 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.499 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 3.500 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.501 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 3.502 * [backup-simplify]: Simplify (+ 0 0) into 0 3.504 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 3.506 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 3.509 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 3.509 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 3.510 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 3.510 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) in t 3.510 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.510 * [taylor]: Taking taylor expansion of 2.0 in t 3.510 * [backup-simplify]: Simplify 2.0 into 2.0 3.510 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.510 * [taylor]: Taking taylor expansion of 2.0 in t 3.510 * [backup-simplify]: Simplify 2.0 into 2.0 3.510 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.510 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.510 * [taylor]: Taking taylor expansion of t in t 3.510 * [backup-simplify]: Simplify 0 into 0 3.510 * [backup-simplify]: Simplify 1 into 1 3.510 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.510 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.510 * [taylor]: Taking taylor expansion of 1.0 in t 3.510 * [backup-simplify]: Simplify 1.0 into 1.0 3.510 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.510 * [taylor]: Taking taylor expansion of t in t 3.510 * [backup-simplify]: Simplify 0 into 0 3.510 * [backup-simplify]: Simplify 1 into 1 3.511 * [backup-simplify]: Simplify (/ 1 1) into 1 3.511 * [taylor]: Taking taylor expansion of 1.0 in t 3.511 * [backup-simplify]: Simplify 1.0 into 1.0 3.511 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.512 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.512 * [backup-simplify]: Simplify (* 0 1.0) into 0 3.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.513 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.514 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.515 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 3.516 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.516 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 3.517 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.517 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 3.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.519 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 3.520 * [backup-simplify]: Simplify (+ 0 0) into 0 3.523 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 3.525 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 3.527 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 3.528 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 3.528 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 3.529 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0 3.529 * [backup-simplify]: Simplify 4.0 into 4.0 3.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.531 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.531 * [backup-simplify]: Simplify (+ 0 0) into 0 3.532 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 3.536 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 3.539 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 3.539 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.540 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 3.542 * [backup-simplify]: Simplify (+ (* 2.0 (- 2.0)) (* (- 2.0) 2.0)) into (- 8.0) 3.542 * [backup-simplify]: Simplify (- 8.0) into (- 8.0) 3.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.545 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.545 * [backup-simplify]: Simplify (+ 0 0) into 0 3.547 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 3.551 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 3.555 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 3.555 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 3.556 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 3.562 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* (- 2.0) (- 2.0)) (* 2.0 2.0))) into 12.0 3.563 * [backup-simplify]: Simplify 12.0 into 12.0 3.564 * [backup-simplify]: Simplify (+ (* 12.0 (pow t 4)) (+ (* (- 8.0) (pow t 3)) (* 4.0 (pow t 2)))) into (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) 3.564 * [backup-simplify]: Simplify (* (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t)))))) into (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) 3.564 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) in (t) around 0 3.564 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) in t 3.564 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 3.564 * [taylor]: Taking taylor expansion of 2.0 in t 3.564 * [backup-simplify]: Simplify 2.0 into 2.0 3.564 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 3.565 * [taylor]: Taking taylor expansion of 2.0 in t 3.565 * [backup-simplify]: Simplify 2.0 into 2.0 3.565 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 3.565 * [taylor]: Taking taylor expansion of t in t 3.565 * [backup-simplify]: Simplify 0 into 0 3.565 * [backup-simplify]: Simplify 1 into 1 3.565 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.565 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.565 * [taylor]: Taking taylor expansion of 1.0 in t 3.565 * [backup-simplify]: Simplify 1.0 into 1.0 3.565 * [taylor]: Taking taylor expansion of t in t 3.565 * [backup-simplify]: Simplify 0 into 0 3.565 * [backup-simplify]: Simplify 1 into 1 3.565 * [taylor]: Taking taylor expansion of 1.0 in t 3.565 * [backup-simplify]: Simplify 1.0 into 1.0 3.565 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.566 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.566 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.567 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 3.567 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) in t 3.567 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 3.567 * [taylor]: Taking taylor expansion of 2.0 in t 3.567 * [backup-simplify]: Simplify 2.0 into 2.0 3.567 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 3.567 * [taylor]: Taking taylor expansion of 2.0 in t 3.567 * [backup-simplify]: Simplify 2.0 into 2.0 3.567 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 3.567 * [taylor]: Taking taylor expansion of t in t 3.567 * [backup-simplify]: Simplify 0 into 0 3.567 * [backup-simplify]: Simplify 1 into 1 3.567 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.567 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.567 * [taylor]: Taking taylor expansion of 1.0 in t 3.567 * [backup-simplify]: Simplify 1.0 into 1.0 3.567 * [taylor]: Taking taylor expansion of t in t 3.567 * [backup-simplify]: Simplify 0 into 0 3.567 * [backup-simplify]: Simplify 1 into 1 3.567 * [taylor]: Taking taylor expansion of 1.0 in t 3.567 * [backup-simplify]: Simplify 1.0 into 1.0 3.568 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.568 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.569 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.569 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 3.570 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0 3.570 * [backup-simplify]: Simplify 4.0 into 4.0 3.570 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 3.570 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 3.571 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 3.573 * [backup-simplify]: Simplify (+ (* 2.0 (- 2.0)) (* (- 2.0) 2.0)) into (- 8.0) 3.574 * [backup-simplify]: Simplify (- 8.0) into (- 8.0) 3.575 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.575 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.578 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 3.579 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 3.580 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 3.580 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 3.582 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* (- 2.0) (- 2.0)) (* 2.0 2.0))) into 12.0 3.582 * [backup-simplify]: Simplify 12.0 into 12.0 3.583 * [backup-simplify]: Simplify (+ (* 12.0 (pow (/ 1 t) 2)) (+ (* (- 8.0) (/ 1 t)) 4.0)) into (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) 3.583 * [backup-simplify]: Simplify (* (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t))))))) into (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) 3.583 * [approximate]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) in (t) around 0 3.583 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) in t 3.583 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 3.583 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 3.583 * [taylor]: Taking taylor expansion of 2.0 in t 3.583 * [backup-simplify]: Simplify 2.0 into 2.0 3.583 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 3.583 * [taylor]: Taking taylor expansion of t in t 3.583 * [backup-simplify]: Simplify 0 into 0 3.583 * [backup-simplify]: Simplify 1 into 1 3.583 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 3.583 * [taylor]: Taking taylor expansion of 1.0 in t 3.583 * [backup-simplify]: Simplify 1.0 into 1.0 3.583 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.583 * [taylor]: Taking taylor expansion of 1.0 in t 3.583 * [backup-simplify]: Simplify 1.0 into 1.0 3.583 * [taylor]: Taking taylor expansion of t in t 3.583 * [backup-simplify]: Simplify 0 into 0 3.583 * [backup-simplify]: Simplify 1 into 1 3.583 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.584 * [backup-simplify]: Simplify (- 0) into 0 3.584 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.584 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.584 * [taylor]: Taking taylor expansion of 2.0 in t 3.584 * [backup-simplify]: Simplify 2.0 into 2.0 3.585 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 3.585 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) in t 3.585 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 3.585 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 3.585 * [taylor]: Taking taylor expansion of 2.0 in t 3.585 * [backup-simplify]: Simplify 2.0 into 2.0 3.585 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 3.585 * [taylor]: Taking taylor expansion of t in t 3.585 * [backup-simplify]: Simplify 0 into 0 3.585 * [backup-simplify]: Simplify 1 into 1 3.585 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 3.585 * [taylor]: Taking taylor expansion of 1.0 in t 3.585 * [backup-simplify]: Simplify 1.0 into 1.0 3.585 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.585 * [taylor]: Taking taylor expansion of 1.0 in t 3.585 * [backup-simplify]: Simplify 1.0 into 1.0 3.585 * [taylor]: Taking taylor expansion of t in t 3.585 * [backup-simplify]: Simplify 0 into 0 3.585 * [backup-simplify]: Simplify 1 into 1 3.585 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.585 * [backup-simplify]: Simplify (- 0) into 0 3.586 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.586 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.586 * [taylor]: Taking taylor expansion of 2.0 in t 3.586 * [backup-simplify]: Simplify 2.0 into 2.0 3.586 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 3.587 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0 3.587 * [backup-simplify]: Simplify 4.0 into 4.0 3.587 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 3.587 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 3.588 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (* 2.0 2.0)) into 8.0 3.588 * [backup-simplify]: Simplify 8.0 into 8.0 3.589 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.589 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.589 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.591 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 3.592 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 3.592 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 3.593 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* 2.0 2.0) (* 2.0 2.0))) into 12.0 3.593 * [backup-simplify]: Simplify 12.0 into 12.0 3.594 * [backup-simplify]: Simplify (+ (* 12.0 (pow (/ 1 (- t)) 2)) (+ (* 8.0 (/ 1 (- t))) 4.0)) into (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) 3.594 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 3.594 * [backup-simplify]: Simplify (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) into (/ 1.0 (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))) 3.594 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))) in (t) around 0 3.594 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))) in t 3.594 * [taylor]: Taking taylor expansion of 1.0 in t 3.594 * [backup-simplify]: Simplify 1.0 into 1.0 3.594 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.594 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) in t 3.594 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) in t 3.594 * [taylor]: Taking taylor expansion of 4.0 in t 3.594 * [backup-simplify]: Simplify 4.0 into 4.0 3.594 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 3.594 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 3.594 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.594 * [taylor]: Taking taylor expansion of t in t 3.594 * [backup-simplify]: Simplify 0 into 0 3.594 * [backup-simplify]: Simplify 1 into 1 3.594 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 3.595 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.595 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.595 * [taylor]: Taking taylor expansion of 1.0 in t 3.595 * [backup-simplify]: Simplify 1.0 into 1.0 3.595 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.595 * [taylor]: Taking taylor expansion of t in t 3.595 * [backup-simplify]: Simplify 0 into 0 3.595 * [backup-simplify]: Simplify 1 into 1 3.595 * [backup-simplify]: Simplify (/ 1 1) into 1 3.595 * [taylor]: Taking taylor expansion of 1.0 in t 3.595 * [backup-simplify]: Simplify 1.0 into 1.0 3.595 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.595 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.596 * [backup-simplify]: Simplify (* 1 1) into 1 3.596 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0 3.596 * [backup-simplify]: Simplify (* 1 1.0) into 1.0 3.596 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.596 * [taylor]: Taking taylor expansion of 6.0 in t 3.597 * [backup-simplify]: Simplify 6.0 into 6.0 3.597 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.597 * [taylor]: Taking taylor expansion of 8.0 in t 3.597 * [backup-simplify]: Simplify 8.0 into 8.0 3.597 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.597 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.597 * [taylor]: Taking taylor expansion of t in t 3.597 * [backup-simplify]: Simplify 0 into 0 3.597 * [backup-simplify]: Simplify 1 into 1 3.597 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.597 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.597 * [taylor]: Taking taylor expansion of 1.0 in t 3.597 * [backup-simplify]: Simplify 1.0 into 1.0 3.597 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.597 * [taylor]: Taking taylor expansion of t in t 3.597 * [backup-simplify]: Simplify 0 into 0 3.597 * [backup-simplify]: Simplify 1 into 1 3.597 * [backup-simplify]: Simplify (/ 1 1) into 1 3.597 * [taylor]: Taking taylor expansion of 1.0 in t 3.597 * [backup-simplify]: Simplify 1.0 into 1.0 3.597 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.598 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.598 * [backup-simplify]: Simplify (* 0 1.0) into 0 3.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.599 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.599 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.600 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 3.600 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.600 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0 3.601 * [backup-simplify]: Simplify (+ 4.0 6.0) into 10.0 3.601 * [backup-simplify]: Simplify (* 8.0 1.0) into 8.0 3.601 * [backup-simplify]: Simplify (- 8.0) into (- 8.0) 3.602 * [backup-simplify]: Simplify (+ 10.0 (- 8.0)) into 2.0 3.602 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5 3.602 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))) in t 3.602 * [taylor]: Taking taylor expansion of 1.0 in t 3.602 * [backup-simplify]: Simplify 1.0 into 1.0 3.602 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.602 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) in t 3.602 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) in t 3.602 * [taylor]: Taking taylor expansion of 4.0 in t 3.602 * [backup-simplify]: Simplify 4.0 into 4.0 3.602 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 3.602 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 3.602 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.602 * [taylor]: Taking taylor expansion of t in t 3.602 * [backup-simplify]: Simplify 0 into 0 3.602 * [backup-simplify]: Simplify 1 into 1 3.602 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 3.602 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.602 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.602 * [taylor]: Taking taylor expansion of 1.0 in t 3.602 * [backup-simplify]: Simplify 1.0 into 1.0 3.602 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.602 * [taylor]: Taking taylor expansion of t in t 3.602 * [backup-simplify]: Simplify 0 into 0 3.602 * [backup-simplify]: Simplify 1 into 1 3.603 * [backup-simplify]: Simplify (/ 1 1) into 1 3.603 * [taylor]: Taking taylor expansion of 1.0 in t 3.603 * [backup-simplify]: Simplify 1.0 into 1.0 3.603 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.603 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.603 * [backup-simplify]: Simplify (* 1 1) into 1 3.604 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0 3.604 * [backup-simplify]: Simplify (* 1 1.0) into 1.0 3.604 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.604 * [taylor]: Taking taylor expansion of 6.0 in t 3.604 * [backup-simplify]: Simplify 6.0 into 6.0 3.604 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.604 * [taylor]: Taking taylor expansion of 8.0 in t 3.604 * [backup-simplify]: Simplify 8.0 into 8.0 3.604 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.604 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.604 * [taylor]: Taking taylor expansion of t in t 3.604 * [backup-simplify]: Simplify 0 into 0 3.605 * [backup-simplify]: Simplify 1 into 1 3.605 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.605 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.605 * [taylor]: Taking taylor expansion of 1.0 in t 3.605 * [backup-simplify]: Simplify 1.0 into 1.0 3.605 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.605 * [taylor]: Taking taylor expansion of t in t 3.605 * [backup-simplify]: Simplify 0 into 0 3.605 * [backup-simplify]: Simplify 1 into 1 3.605 * [backup-simplify]: Simplify (/ 1 1) into 1 3.605 * [taylor]: Taking taylor expansion of 1.0 in t 3.605 * [backup-simplify]: Simplify 1.0 into 1.0 3.605 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.605 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.606 * [backup-simplify]: Simplify (* 0 1.0) into 0 3.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.607 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.607 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.608 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 3.608 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.608 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0 3.609 * [backup-simplify]: Simplify (+ 4.0 6.0) into 10.0 3.609 * [backup-simplify]: Simplify (* 8.0 1.0) into 8.0 3.609 * [backup-simplify]: Simplify (- 8.0) into (- 8.0) 3.610 * [backup-simplify]: Simplify (+ 10.0 (- 8.0)) into 2.0 3.610 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5 3.610 * [backup-simplify]: Simplify 0.5 into 0.5 3.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.611 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.611 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.612 * [backup-simplify]: Simplify (+ (* 1.0 1.0) (* 1.0 1.0)) into 2.0 3.612 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.613 * [backup-simplify]: Simplify (+ (* 1 2.0) (* 0 1.0)) into 2.0 3.614 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 2.0 1.0)))) into (- 2.0) 3.616 * [backup-simplify]: Simplify (+ (* 4.0 (- 2.0)) (* 0 1.0)) into (- 8.0) 3.616 * [backup-simplify]: Simplify (+ (- 8.0) 0) into (- 8.0) 3.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.618 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 3.618 * [backup-simplify]: Simplify (+ 0 0) into 0 3.621 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 3.623 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 3.625 * [backup-simplify]: Simplify (+ (* 8.0 (- 1.0)) (* 0 1.0)) into (- 8.0) 3.626 * [backup-simplify]: Simplify (- (- 8.0)) into 8.0 3.626 * [backup-simplify]: Simplify (+ (- 8.0) 8.0) into 0 3.627 * [backup-simplify]: Simplify (- (/ 0 2.0) (+ (* 0.5 (/ 0 2.0)))) into 0 3.627 * [backup-simplify]: Simplify 0 into 0 3.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.629 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 3.630 * [backup-simplify]: Simplify (+ 0 0) into 0 3.632 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1.0 1.0) (* 0 1.0))) into 1.0 3.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.635 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 2.0) (* 0 1.0))) into 1.0 3.638 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)) (* (- 2.0) (/ 2.0 1.0)))) into 3.0 3.641 * [backup-simplify]: Simplify (+ (* 4.0 3.0) (+ (* 0 (- 2.0)) (* 0 1.0))) into 12.0 3.641 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0 3.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.643 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.644 * [backup-simplify]: Simplify (+ 0 0) into 0 3.645 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 3.648 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 3.650 * [backup-simplify]: Simplify (+ (* 8.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 8.0 3.651 * [backup-simplify]: Simplify (- 8.0) into (- 8.0) 3.652 * [backup-simplify]: Simplify (+ 12.0 (- 8.0)) into 4.0 3.656 * [backup-simplify]: Simplify (- (/ 0 2.0) (+ (* 0.5 (/ 4.0 2.0)) (* 0 (/ 0 2.0)))) into (- 1.0) 3.656 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.658 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.659 * [backup-simplify]: Simplify (+ 0 0) into 0 3.659 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 3.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1.0) (+ (* 0 2.0) (* 0 1.0)))) into 0 3.668 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 2.0) (/ 1.0 1.0)) (* 3.0 (/ 2.0 1.0)))) into (- 4.0) 3.675 * [backup-simplify]: Simplify (+ (* 4.0 (- 4.0)) (+ (* 0 3.0) (+ (* 0 (- 2.0)) (* 0 1.0)))) into (- 16.0) 3.677 * [backup-simplify]: Simplify (+ (- 16.0) 0) into (- 16.0) 3.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.679 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 3.680 * [backup-simplify]: Simplify (+ 0 0) into 0 3.681 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 3.685 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 3.689 * [backup-simplify]: Simplify (+ (* 8.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 8.0) 3.689 * [backup-simplify]: Simplify (- (- 8.0)) into 8.0 3.690 * [backup-simplify]: Simplify (+ (- 16.0) 8.0) into (- 8.0) 3.695 * [backup-simplify]: Simplify (- (/ 0 2.0) (+ (* 0.5 (/ (- 8.0) 2.0)) (* 0 (/ 4.0 2.0)) (* (- 1.0) (/ 0 2.0)))) into 2.0 3.695 * [backup-simplify]: Simplify 2.0 into 2.0 3.696 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 1.0) (pow t 2)) 0.5)) into (- (+ (* 2.0 (pow t 3)) 0.5) (* 1.0 (pow t 2))) 3.696 * [backup-simplify]: Simplify (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t)))))))) into (/ 1.0 (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0))))) 3.696 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0))))) in (t) around 0 3.696 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0))))) in t 3.696 * [taylor]: Taking taylor expansion of 1.0 in t 3.696 * [backup-simplify]: Simplify 1.0 into 1.0 3.696 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0)))) in t 3.696 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 3.696 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) in t 3.696 * [taylor]: Taking taylor expansion of 4.0 in t 3.696 * [backup-simplify]: Simplify 4.0 into 4.0 3.696 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2)) in t 3.696 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.696 * [taylor]: Taking taylor expansion of t in t 3.696 * [backup-simplify]: Simplify 0 into 0 3.696 * [backup-simplify]: Simplify 1 into 1 3.696 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 3.696 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.696 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.696 * [taylor]: Taking taylor expansion of 1.0 in t 3.696 * [backup-simplify]: Simplify 1.0 into 1.0 3.696 * [taylor]: Taking taylor expansion of t in t 3.696 * [backup-simplify]: Simplify 0 into 0 3.697 * [backup-simplify]: Simplify 1 into 1 3.697 * [taylor]: Taking taylor expansion of 1.0 in t 3.697 * [backup-simplify]: Simplify 1.0 into 1.0 3.697 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.697 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.697 * [backup-simplify]: Simplify (* 1 1) into 1 3.698 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0 3.698 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.698 * [taylor]: Taking taylor expansion of 6.0 in t 3.698 * [backup-simplify]: Simplify 6.0 into 6.0 3.698 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (+ (* 1.0 t) 1.0))) in t 3.698 * [taylor]: Taking taylor expansion of 8.0 in t 3.698 * [backup-simplify]: Simplify 8.0 into 8.0 3.698 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 3.698 * [taylor]: Taking taylor expansion of t in t 3.698 * [backup-simplify]: Simplify 0 into 0 3.698 * [backup-simplify]: Simplify 1 into 1 3.698 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.698 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.698 * [taylor]: Taking taylor expansion of 1.0 in t 3.698 * [backup-simplify]: Simplify 1.0 into 1.0 3.698 * [taylor]: Taking taylor expansion of t in t 3.698 * [backup-simplify]: Simplify 0 into 0 3.698 * [backup-simplify]: Simplify 1 into 1 3.698 * [taylor]: Taking taylor expansion of 1.0 in t 3.698 * [backup-simplify]: Simplify 1.0 into 1.0 3.698 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.699 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.699 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.699 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0 3.699 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0 3.700 * [backup-simplify]: Simplify (/ 1.0 6.0) into 0.16666666666666666 3.700 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0))))) in t 3.700 * [taylor]: Taking taylor expansion of 1.0 in t 3.700 * [backup-simplify]: Simplify 1.0 into 1.0 3.700 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0)))) in t 3.700 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 3.700 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) in t 3.700 * [taylor]: Taking taylor expansion of 4.0 in t 3.700 * [backup-simplify]: Simplify 4.0 into 4.0 3.700 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2)) in t 3.700 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.700 * [taylor]: Taking taylor expansion of t in t 3.700 * [backup-simplify]: Simplify 0 into 0 3.700 * [backup-simplify]: Simplify 1 into 1 3.700 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 3.700 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.700 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.700 * [taylor]: Taking taylor expansion of 1.0 in t 3.700 * [backup-simplify]: Simplify 1.0 into 1.0 3.700 * [taylor]: Taking taylor expansion of t in t 3.700 * [backup-simplify]: Simplify 0 into 0 3.700 * [backup-simplify]: Simplify 1 into 1 3.700 * [taylor]: Taking taylor expansion of 1.0 in t 3.700 * [backup-simplify]: Simplify 1.0 into 1.0 3.700 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.701 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.701 * [backup-simplify]: Simplify (* 1 1) into 1 3.701 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0 3.701 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.701 * [taylor]: Taking taylor expansion of 6.0 in t 3.701 * [backup-simplify]: Simplify 6.0 into 6.0 3.702 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (+ (* 1.0 t) 1.0))) in t 3.702 * [taylor]: Taking taylor expansion of 8.0 in t 3.702 * [backup-simplify]: Simplify 8.0 into 8.0 3.702 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 3.702 * [taylor]: Taking taylor expansion of t in t 3.702 * [backup-simplify]: Simplify 0 into 0 3.702 * [backup-simplify]: Simplify 1 into 1 3.702 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.702 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.702 * [taylor]: Taking taylor expansion of 1.0 in t 3.702 * [backup-simplify]: Simplify 1.0 into 1.0 3.702 * [taylor]: Taking taylor expansion of t in t 3.702 * [backup-simplify]: Simplify 0 into 0 3.702 * [backup-simplify]: Simplify 1 into 1 3.702 * [taylor]: Taking taylor expansion of 1.0 in t 3.702 * [backup-simplify]: Simplify 1.0 into 1.0 3.702 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.702 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.703 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.703 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0 3.703 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0 3.703 * [backup-simplify]: Simplify (/ 1.0 6.0) into 0.16666666666666666 3.703 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666 3.704 * [backup-simplify]: Simplify (+ 0 0) into 0 3.704 * [backup-simplify]: Simplify (* 8.0 1.0) into 8.0 3.704 * [backup-simplify]: Simplify (- 8.0) into (- 8.0) 3.705 * [backup-simplify]: Simplify (+ 0 (- 8.0)) into (- 8.0) 3.709 * [backup-simplify]: Simplify (- (/ 0 6.0) (+ (* 0.16666666666666666 (/ (- 8.0) 6.0)))) into 0.2222222222222222 3.709 * [backup-simplify]: Simplify 0.2222222222222222 into 0.2222222222222222 3.709 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0 3.710 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0 3.711 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.712 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.714 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 3.716 * [backup-simplify]: Simplify (+ (* 8.0 (- 1.0)) (* 0 1.0)) into (- 8.0) 3.717 * [backup-simplify]: Simplify (- (- 8.0)) into 8.0 3.717 * [backup-simplify]: Simplify (+ 4.0 8.0) into 12.0 3.723 * [backup-simplify]: Simplify (- (/ 0 6.0) (+ (* 0.16666666666666666 (/ 12.0 6.0)) (* 0.2222222222222222 (/ (- 8.0) 6.0)))) into (- 0.037037037037037035) 3.723 * [backup-simplify]: Simplify (- 0.037037037037037035) into (- 0.037037037037037035) 3.724 * [backup-simplify]: Simplify (+ (* (- 0.037037037037037035) (pow (/ 1 t) 2)) (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666)) into (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2)))) 3.725 * [backup-simplify]: Simplify (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t))))))))) into (/ 1.0 (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0))) 3.725 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0))) in (t) around 0 3.725 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0))) in t 3.725 * [taylor]: Taking taylor expansion of 1.0 in t 3.725 * [backup-simplify]: Simplify 1.0 into 1.0 3.725 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0)) in t 3.725 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) in t 3.725 * [taylor]: Taking taylor expansion of 4.0 in t 3.725 * [backup-simplify]: Simplify 4.0 into 4.0 3.725 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2)) in t 3.725 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.725 * [taylor]: Taking taylor expansion of t in t 3.725 * [backup-simplify]: Simplify 0 into 0 3.725 * [backup-simplify]: Simplify 1 into 1 3.725 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 t)) 2) in t 3.726 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 3.726 * [taylor]: Taking taylor expansion of 1.0 in t 3.726 * [backup-simplify]: Simplify 1.0 into 1.0 3.726 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.726 * [taylor]: Taking taylor expansion of 1.0 in t 3.726 * [backup-simplify]: Simplify 1.0 into 1.0 3.726 * [taylor]: Taking taylor expansion of t in t 3.726 * [backup-simplify]: Simplify 0 into 0 3.726 * [backup-simplify]: Simplify 1 into 1 3.726 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.727 * [backup-simplify]: Simplify (- 0) into 0 3.727 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.727 * [backup-simplify]: Simplify (* 1 1) into 1 3.728 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0 3.728 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.728 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0) in t 3.728 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (- 1.0 (* 1.0 t)))) in t 3.728 * [taylor]: Taking taylor expansion of 8.0 in t 3.728 * [backup-simplify]: Simplify 8.0 into 8.0 3.728 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 3.728 * [taylor]: Taking taylor expansion of t in t 3.728 * [backup-simplify]: Simplify 0 into 0 3.728 * [backup-simplify]: Simplify 1 into 1 3.728 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 3.728 * [taylor]: Taking taylor expansion of 1.0 in t 3.728 * [backup-simplify]: Simplify 1.0 into 1.0 3.728 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.729 * [taylor]: Taking taylor expansion of 1.0 in t 3.729 * [backup-simplify]: Simplify 1.0 into 1.0 3.729 * [taylor]: Taking taylor expansion of t in t 3.729 * [backup-simplify]: Simplify 0 into 0 3.729 * [backup-simplify]: Simplify 1 into 1 3.729 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.729 * [backup-simplify]: Simplify (- 0) into 0 3.730 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.730 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.730 * [taylor]: Taking taylor expansion of 6.0 in t 3.730 * [backup-simplify]: Simplify 6.0 into 6.0 3.731 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0 3.731 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0 3.732 * [backup-simplify]: Simplify (/ 1.0 6.0) into 0.16666666666666666 3.732 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0))) in t 3.732 * [taylor]: Taking taylor expansion of 1.0 in t 3.732 * [backup-simplify]: Simplify 1.0 into 1.0 3.732 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0)) in t 3.732 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) in t 3.732 * [taylor]: Taking taylor expansion of 4.0 in t 3.732 * [backup-simplify]: Simplify 4.0 into 4.0 3.732 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2)) in t 3.732 * [taylor]: Taking taylor expansion of (pow t 2) in t 3.732 * [taylor]: Taking taylor expansion of t in t 3.732 * [backup-simplify]: Simplify 0 into 0 3.732 * [backup-simplify]: Simplify 1 into 1 3.732 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 t)) 2) in t 3.732 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 3.732 * [taylor]: Taking taylor expansion of 1.0 in t 3.732 * [backup-simplify]: Simplify 1.0 into 1.0 3.732 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.732 * [taylor]: Taking taylor expansion of 1.0 in t 3.732 * [backup-simplify]: Simplify 1.0 into 1.0 3.732 * [taylor]: Taking taylor expansion of t in t 3.732 * [backup-simplify]: Simplify 0 into 0 3.732 * [backup-simplify]: Simplify 1 into 1 3.733 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.733 * [backup-simplify]: Simplify (- 0) into 0 3.734 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.734 * [backup-simplify]: Simplify (* 1 1) into 1 3.735 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0 3.735 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.735 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0) in t 3.735 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (- 1.0 (* 1.0 t)))) in t 3.735 * [taylor]: Taking taylor expansion of 8.0 in t 3.735 * [backup-simplify]: Simplify 8.0 into 8.0 3.735 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 3.735 * [taylor]: Taking taylor expansion of t in t 3.735 * [backup-simplify]: Simplify 0 into 0 3.735 * [backup-simplify]: Simplify 1 into 1 3.735 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 3.735 * [taylor]: Taking taylor expansion of 1.0 in t 3.735 * [backup-simplify]: Simplify 1.0 into 1.0 3.735 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.735 * [taylor]: Taking taylor expansion of 1.0 in t 3.735 * [backup-simplify]: Simplify 1.0 into 1.0 3.735 * [taylor]: Taking taylor expansion of t in t 3.736 * [backup-simplify]: Simplify 0 into 0 3.736 * [backup-simplify]: Simplify 1 into 1 3.736 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.736 * [backup-simplify]: Simplify (- 0) into 0 3.737 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.737 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 3.737 * [taylor]: Taking taylor expansion of 6.0 in t 3.737 * [backup-simplify]: Simplify 6.0 into 6.0 3.738 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0 3.738 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0 3.739 * [backup-simplify]: Simplify (/ 1.0 6.0) into 0.16666666666666666 3.739 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666 3.739 * [backup-simplify]: Simplify (* 8.0 1.0) into 8.0 3.740 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0 3.740 * [backup-simplify]: Simplify (+ 0 8.0) into 8.0 3.743 * [backup-simplify]: Simplify (- (/ 0 6.0) (+ (* 0.16666666666666666 (/ 8.0 6.0)))) into (- 0.2222222222222222) 3.743 * [backup-simplify]: Simplify (- 0.2222222222222222) into (- 0.2222222222222222) 3.744 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0 3.745 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.745 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.746 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 3.749 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 3.751 * [backup-simplify]: Simplify (+ (* 8.0 1.0) (* 0 1.0)) into 8.0 3.751 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0 3.752 * [backup-simplify]: Simplify (+ 4.0 8.0) into 12.0 3.757 * [backup-simplify]: Simplify (- (/ 0 6.0) (+ (* 0.16666666666666666 (/ 12.0 6.0)) (* (- 0.2222222222222222) (/ 8.0 6.0)))) into (- 0.037037037037037035) 3.758 * [backup-simplify]: Simplify (- 0.037037037037037035) into (- 0.037037037037037035) 3.759 * [backup-simplify]: Simplify (+ (* (- 0.037037037037037035) (pow (/ 1 (- t)) 2)) (+ (* (- 0.2222222222222222) (/ 1 (- t))) 0.16666666666666666)) into (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2)))) 3.759 * * * [progress]: simplifying candidates 3.764 * [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)))) (+ 1 1) (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 1 1) (+ (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (log (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (exp (* (- 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))))) (- 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)))))) (* (cbrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 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))))))) (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))))) (* (- 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)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (sqrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (* (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (- (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 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))))))) (* (- (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) (+ (* (/ (/ 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 (/ (/ 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))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))) (* (+ 2.0 (/ (/ 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))))))) (* (- (* 2.0 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)))) (+ 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))))) (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)))))) (* (sqrt (- 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))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (* 1 1) (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* 1 1) (* (- 2.0 (/ (/ 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) (+ 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 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)))))) (* (- (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)))))) (* 1 1) (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* 1 1) (* (- 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)))))) (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (* 2 1) (* (- 2.0 (/ (/ 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)))) 2.0) (* (- 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))))) (* 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 (/ (/ 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)))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 1) (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 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)) (sqrt (+ 1.0 (/ 1.0 t)))))) (* (- 2.0 (/ (/ 2.0 t) (+ 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)))) 1) (* (cbrt (- 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))))) (- 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) (sqrt (/ (/ 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)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 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 (/ (/ 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)))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))) (* (- 2.0 (/ (/ 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)))))) (* (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (- 2.0 (/ (/ 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))))) (- (log 1.0) (log (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (log (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (exp (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (/ (* (* 1.0 1.0) 1.0) (* (* (+ 2.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))))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (* (cbrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (cbrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (cbrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (* (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (sqrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (sqrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (- 1.0) (- (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (/ (cbrt 1.0) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (/ (cbrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (cbrt 1.0) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ (sqrt 1.0) (* (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (/ (sqrt 1.0) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (/ (sqrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (/ (sqrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1 (* (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (/ 1.0 (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (/ 1 (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (/ 1.0 (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (/ 1 1) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1 (+ 2.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)))))) 1.0) (/ 1.0 (* (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))) (/ 1.0 (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (/ 1.0 1) (/ (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt 1.0)) (/ (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (sqrt 1.0)) (/ (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) 1.0) (/ 1.0 (+ (pow 2.0 3) (pow (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 3))) (/ 1.0 (- (* 2.0 2.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 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 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))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) 0.5) (* 1.0 (pow t 2))) (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2)))) (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2)))) 3.773 * * [simplify]: Extracting # 0 : cost 0 3.773 * * [simplify]: Extracting # 1 : cost 0 3.773 * * [simplify]: Extracting # 2 : cost 0 3.774 * * [simplify]: Extracting # 3 : cost 0 3.774 * * [simplify]: Extracting # 4 : cost 0 3.775 * * [simplify]: Extracting # 5 : cost 0 3.775 * * [simplify]: Extracting # 6 : cost 0 3.775 * * [simplify]: Extracting # 7 : cost 0 3.776 * * [simplify]: Extracting # 8 : cost 0 3.776 * * [simplify]: iteration 0 : 183 enodes (cost 3866 ) 3.836 * * [simplify]: Extracting # 0 : cost 0 3.837 * * [simplify]: Extracting # 1 : cost 0 3.838 * * [simplify]: Extracting # 2 : cost 0 3.839 * * [simplify]: Extracting # 3 : cost 0 3.840 * * [simplify]: Extracting # 4 : cost 0 3.842 * * [simplify]: iteration 1 : 481 enodes (cost 3626 ) 4.110 * * [simplify]: Extracting # 0 : cost 0 4.113 * * [simplify]: Extracting # 1 : cost 0 4.116 * * [simplify]: Extracting # 2 : cost 0 4.119 * * [simplify]: Extracting # 3 : cost 0 4.122 * * [simplify]: Extracting # 4 : cost 0 4.125 * * [simplify]: iteration 2 : 2390 enodes (cost 3290 ) 5.136 * * [simplify]: Extracting # 0 : cost 0 5.147 * * [simplify]: Extracting # 1 : cost 0 5.154 * * [simplify]: Extracting # 2 : cost 0 5.164 * * [simplify]: Extracting # 3 : cost 0 5.182 * * [simplify]: Extracting # 4 : cost 0 5.189 * * [simplify]: Extracting # 5 : cost 0 5.196 * * [simplify]: iteration done: 5001 enodes (cost 2896 ) 5.197 * [simplify]: Simplified to: (exp (- 2.0 (/ (/ 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))))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3) (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 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (/ (- 2.0) (* (+ 1.0 (/ 1.0 t)) t)) (- (* 2.0 2.0) (* (/ (/ 2.0 (+ 1.0 (/ 1.0 t))) t) (/ (/ 2.0 (+ 1.0 (/ 1.0 t))) t))) (+ (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 2.0) (+ (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (sqrt 2.0)) (- (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 t)) (sqrt (+ 1.0 (/ 1.0 t)))) (sqrt 2.0)) (- (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) (* (+ 1.0 (/ 1.0 t)) t)) (exp (- 2.0 (/ (/ 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))))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3) (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 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (/ (- 2.0) (* (+ 1.0 (/ 1.0 t)) t)) (- (* 2.0 2.0) (* (/ (/ 2.0 (+ 1.0 (/ 1.0 t))) t) (/ (/ 2.0 (+ 1.0 (/ 1.0 t))) t))) (+ (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 2.0) (+ (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (sqrt 2.0)) (- (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 t)) (sqrt (+ 1.0 (/ 1.0 t)))) (sqrt 2.0)) (- (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) (* (+ 1.0 (/ 1.0 t)) t)) 2 (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2 (* 2 (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (* 2 (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (exp (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 6) (* (cbrt (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1))) (cbrt (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)))) (cbrt (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 6) (fabs (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (fabs (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (- (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 (/ (/ 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))))))) (* (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 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 (/ (/ 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 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 (/ (/ 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 t) (+ 1.0 (/ 1.0 t))) 2.0) (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)))) (* (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (pow (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (* (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)))) 1 (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 1 (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (* (+ (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) (+ 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 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)))))) (* (- (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)))))) 1 (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 1 (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 2 (* (- 2.0 (/ (/ 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)))) 2.0) (* (- 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 (/ (/ 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 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (pow (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 3) (- 2.0 (/ (/ 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)))))) (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))) (* (- 2.0 (/ (/ 2.0 t) (+ 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)))) (pow (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 3) (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (* (- (sqrt 2.0) (sqrt (/ (/ 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)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 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))))) (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (* (- 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 t) (+ 1.0 (/ 1.0 t))) 2.0) (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1))) (* (- 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 t) (+ 1.0 (/ 1.0 t))) 2.0) (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1))) (log (/ 1.0 (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (log (/ 1.0 (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (exp (/ 1.0 (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (pow (/ 1.0 (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0)) 3) (* (cbrt (/ 1.0 (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (cbrt (/ 1.0 (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0)))) (cbrt (/ 1.0 (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (pow (/ 1.0 (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0)) 3) (sqrt (/ 1.0 (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (sqrt (/ 1.0 (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (- 1.0) (- (+ 2.0 (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)))) (* (/ (cbrt 1.0) (cbrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (/ (cbrt 1.0) (cbrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0)))) (/ (cbrt 1.0) (cbrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (/ (cbrt 1.0) (sqrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (* (cbrt 1.0) (cbrt 1.0)) (/ (cbrt 1.0) (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0)) (/ (/ (sqrt 1.0) (cbrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (cbrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (/ (sqrt 1.0) (cbrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (/ (sqrt 1.0) (sqrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (/ (sqrt 1.0) (sqrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (sqrt 1.0) (/ (sqrt 1.0) (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0)) (/ 1 (* (cbrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0)) (cbrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0)))) (/ 1.0 (cbrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (/ 1 (sqrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) (/ 1.0 (sqrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) 1 (/ 1.0 (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0)) (/ 1 (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0)) (/ (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0) 1.0) (/ 1.0 (* (cbrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0)) (cbrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0)))) (/ 1.0 (sqrt (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0))) 1.0 (/ (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0) (cbrt 1.0)) (/ (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0) (sqrt 1.0)) (/ (+ (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) 2.0) 1.0) (/ 1.0 (+ (pow 2.0 3) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 6))) (/ 1.0 (- (* 2.0 2.0) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 3 1)))) (* 2.0 (- (+ (pow t 3) t) (pow t 2))) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (* 2.0 (- (+ (pow t 3) t) (pow t 2))) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (+ (- 4.0 (/ 8.0 t)) (/ 12.0 (pow t 2))) (+ (- 4.0 (/ 8.0 t)) (/ 12.0 (pow t 2))) (- (+ (* 2.0 (pow t 3)) 0.5) (* 1.0 (pow t 2))) (- (+ 0.16666666666666666 (/ 0.2222222222222222 t)) (/ 0.037037037037037035 (pow t 2))) (- (+ 0.16666666666666666 (/ 0.2222222222222222 t)) (/ 0.037037037037037035 (pow t 2))) 5.198 * * * [progress]: adding candidates to table 5.714 * * [progress]: iteration 2 / 4 5.714 * * * [progress]: picking best candidate 5.720 * * * * [pick]: Picked # 5.720 * * * [progress]: localizing error 5.754 * * * [progress]: generating rewritten candidates 5.755 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2) 5.826 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1) 5.911 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 1) 5.970 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2) 6.132 * * * [progress]: generating series expansions 6.132 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2) 6.133 * [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))))) 6.133 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 6.133 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 6.133 * [taylor]: Taking taylor expansion of 2.0 in t 6.133 * [backup-simplify]: Simplify 2.0 into 2.0 6.133 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.133 * [taylor]: Taking taylor expansion of 2.0 in t 6.133 * [backup-simplify]: Simplify 2.0 into 2.0 6.133 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.133 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.133 * [taylor]: Taking taylor expansion of t in t 6.133 * [backup-simplify]: Simplify 0 into 0 6.133 * [backup-simplify]: Simplify 1 into 1 6.133 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.133 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.133 * [taylor]: Taking taylor expansion of 1.0 in t 6.133 * [backup-simplify]: Simplify 1.0 into 1.0 6.133 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.133 * [taylor]: Taking taylor expansion of t in t 6.133 * [backup-simplify]: Simplify 0 into 0 6.133 * [backup-simplify]: Simplify 1 into 1 6.133 * [backup-simplify]: Simplify (/ 1 1) into 1 6.133 * [taylor]: Taking taylor expansion of 1.0 in t 6.133 * [backup-simplify]: Simplify 1.0 into 1.0 6.134 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.134 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.134 * [backup-simplify]: Simplify (* 0 1.0) into 0 6.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.135 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.135 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.136 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 6.137 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.137 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 6.137 * [taylor]: Taking taylor expansion of 2.0 in t 6.137 * [backup-simplify]: Simplify 2.0 into 2.0 6.137 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.137 * [taylor]: Taking taylor expansion of 2.0 in t 6.137 * [backup-simplify]: Simplify 2.0 into 2.0 6.137 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.137 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.137 * [taylor]: Taking taylor expansion of t in t 6.137 * [backup-simplify]: Simplify 0 into 0 6.137 * [backup-simplify]: Simplify 1 into 1 6.137 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.137 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.137 * [taylor]: Taking taylor expansion of 1.0 in t 6.137 * [backup-simplify]: Simplify 1.0 into 1.0 6.137 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.137 * [taylor]: Taking taylor expansion of t in t 6.137 * [backup-simplify]: Simplify 0 into 0 6.137 * [backup-simplify]: Simplify 1 into 1 6.137 * [backup-simplify]: Simplify (/ 1 1) into 1 6.137 * [taylor]: Taking taylor expansion of 1.0 in t 6.137 * [backup-simplify]: Simplify 1.0 into 1.0 6.138 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.138 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.138 * [backup-simplify]: Simplify (* 0 1.0) into 0 6.139 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.139 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.139 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.140 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 6.140 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.141 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.141 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.142 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 6.142 * [backup-simplify]: Simplify 0 into 0 6.142 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.143 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 6.143 * [backup-simplify]: Simplify (+ 0 0) into 0 6.145 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 6.146 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.147 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.147 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.148 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.148 * [backup-simplify]: Simplify 2.0 into 2.0 6.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.149 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.149 * [backup-simplify]: Simplify (+ 0 0) into 0 6.150 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 6.152 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 6.153 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 6.153 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.154 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.154 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.155 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.156 * [backup-simplify]: Simplify (+ 0 0) into 0 6.156 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 6.161 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.163 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 6.163 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.164 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.164 * [backup-simplify]: Simplify 2.0 into 2.0 6.164 * [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))) 6.164 * [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)))) 6.164 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 6.164 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 6.165 * [taylor]: Taking taylor expansion of 2.0 in t 6.165 * [backup-simplify]: Simplify 2.0 into 2.0 6.165 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 6.165 * [taylor]: Taking taylor expansion of 2.0 in t 6.165 * [backup-simplify]: Simplify 2.0 into 2.0 6.165 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 6.165 * [taylor]: Taking taylor expansion of t in t 6.165 * [backup-simplify]: Simplify 0 into 0 6.165 * [backup-simplify]: Simplify 1 into 1 6.165 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.165 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.165 * [taylor]: Taking taylor expansion of 1.0 in t 6.165 * [backup-simplify]: Simplify 1.0 into 1.0 6.165 * [taylor]: Taking taylor expansion of t in t 6.165 * [backup-simplify]: Simplify 0 into 0 6.165 * [backup-simplify]: Simplify 1 into 1 6.165 * [taylor]: Taking taylor expansion of 1.0 in t 6.165 * [backup-simplify]: Simplify 1.0 into 1.0 6.165 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.165 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.166 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.166 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 6.166 * [taylor]: Taking taylor expansion of 2.0 in t 6.166 * [backup-simplify]: Simplify 2.0 into 2.0 6.166 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 6.166 * [taylor]: Taking taylor expansion of 2.0 in t 6.166 * [backup-simplify]: Simplify 2.0 into 2.0 6.166 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 6.166 * [taylor]: Taking taylor expansion of t in t 6.166 * [backup-simplify]: Simplify 0 into 0 6.166 * [backup-simplify]: Simplify 1 into 1 6.166 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.166 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.166 * [taylor]: Taking taylor expansion of 1.0 in t 6.166 * [backup-simplify]: Simplify 1.0 into 1.0 6.166 * [taylor]: Taking taylor expansion of t in t 6.166 * [backup-simplify]: Simplify 0 into 0 6.166 * [backup-simplify]: Simplify 1 into 1 6.166 * [taylor]: Taking taylor expansion of 1.0 in t 6.166 * [backup-simplify]: Simplify 1.0 into 1.0 6.166 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.167 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.167 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.167 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.167 * [backup-simplify]: Simplify 2.0 into 2.0 6.167 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.168 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.168 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.168 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.169 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.170 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.171 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.172 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.173 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.173 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.173 * [backup-simplify]: Simplify 2.0 into 2.0 6.173 * [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))) 6.174 * [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) 6.174 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 6.174 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 6.174 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 6.174 * [taylor]: Taking taylor expansion of 2.0 in t 6.174 * [backup-simplify]: Simplify 2.0 into 2.0 6.174 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 6.174 * [taylor]: Taking taylor expansion of t in t 6.174 * [backup-simplify]: Simplify 0 into 0 6.174 * [backup-simplify]: Simplify 1 into 1 6.174 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 6.174 * [taylor]: Taking taylor expansion of 1.0 in t 6.174 * [backup-simplify]: Simplify 1.0 into 1.0 6.174 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.174 * [taylor]: Taking taylor expansion of 1.0 in t 6.174 * [backup-simplify]: Simplify 1.0 into 1.0 6.174 * [taylor]: Taking taylor expansion of t in t 6.174 * [backup-simplify]: Simplify 0 into 0 6.174 * [backup-simplify]: Simplify 1 into 1 6.174 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.174 * [backup-simplify]: Simplify (- 0) into 0 6.175 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.175 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.175 * [taylor]: Taking taylor expansion of 2.0 in t 6.175 * [backup-simplify]: Simplify 2.0 into 2.0 6.175 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 6.175 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 6.175 * [taylor]: Taking taylor expansion of 2.0 in t 6.175 * [backup-simplify]: Simplify 2.0 into 2.0 6.175 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 6.175 * [taylor]: Taking taylor expansion of t in t 6.175 * [backup-simplify]: Simplify 0 into 0 6.175 * [backup-simplify]: Simplify 1 into 1 6.175 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 6.175 * [taylor]: Taking taylor expansion of 1.0 in t 6.175 * [backup-simplify]: Simplify 1.0 into 1.0 6.175 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.175 * [taylor]: Taking taylor expansion of 1.0 in t 6.175 * [backup-simplify]: Simplify 1.0 into 1.0 6.175 * [taylor]: Taking taylor expansion of t in t 6.175 * [backup-simplify]: Simplify 0 into 0 6.175 * [backup-simplify]: Simplify 1 into 1 6.176 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.176 * [backup-simplify]: Simplify (- 0) into 0 6.176 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.176 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.176 * [taylor]: Taking taylor expansion of 2.0 in t 6.176 * [backup-simplify]: Simplify 2.0 into 2.0 6.177 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.177 * [backup-simplify]: Simplify 2.0 into 2.0 6.177 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.177 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.177 * [backup-simplify]: Simplify 2.0 into 2.0 6.178 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.178 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.179 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.181 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 6.182 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 6.182 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.182 * [backup-simplify]: Simplify 2.0 into 2.0 6.182 * [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))) 6.183 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1) 6.183 * [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))))) 6.183 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 6.183 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 6.183 * [taylor]: Taking taylor expansion of 2.0 in t 6.183 * [backup-simplify]: Simplify 2.0 into 2.0 6.183 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.183 * [taylor]: Taking taylor expansion of 2.0 in t 6.183 * [backup-simplify]: Simplify 2.0 into 2.0 6.183 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.183 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.183 * [taylor]: Taking taylor expansion of t in t 6.183 * [backup-simplify]: Simplify 0 into 0 6.183 * [backup-simplify]: Simplify 1 into 1 6.183 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.183 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.183 * [taylor]: Taking taylor expansion of 1.0 in t 6.183 * [backup-simplify]: Simplify 1.0 into 1.0 6.183 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.183 * [taylor]: Taking taylor expansion of t in t 6.183 * [backup-simplify]: Simplify 0 into 0 6.183 * [backup-simplify]: Simplify 1 into 1 6.183 * [backup-simplify]: Simplify (/ 1 1) into 1 6.183 * [taylor]: Taking taylor expansion of 1.0 in t 6.183 * [backup-simplify]: Simplify 1.0 into 1.0 6.184 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.184 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.184 * [backup-simplify]: Simplify (* 0 1.0) into 0 6.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.185 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.185 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.186 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 6.186 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.186 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 6.186 * [taylor]: Taking taylor expansion of 2.0 in t 6.186 * [backup-simplify]: Simplify 2.0 into 2.0 6.186 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.186 * [taylor]: Taking taylor expansion of 2.0 in t 6.186 * [backup-simplify]: Simplify 2.0 into 2.0 6.186 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.186 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.186 * [taylor]: Taking taylor expansion of t in t 6.187 * [backup-simplify]: Simplify 0 into 0 6.187 * [backup-simplify]: Simplify 1 into 1 6.187 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.187 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.187 * [taylor]: Taking taylor expansion of 1.0 in t 6.187 * [backup-simplify]: Simplify 1.0 into 1.0 6.187 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.187 * [taylor]: Taking taylor expansion of t in t 6.187 * [backup-simplify]: Simplify 0 into 0 6.187 * [backup-simplify]: Simplify 1 into 1 6.187 * [backup-simplify]: Simplify (/ 1 1) into 1 6.187 * [taylor]: Taking taylor expansion of 1.0 in t 6.187 * [backup-simplify]: Simplify 1.0 into 1.0 6.187 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.187 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.188 * [backup-simplify]: Simplify (* 0 1.0) into 0 6.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.189 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.189 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.190 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 6.190 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.190 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.191 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.191 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 6.191 * [backup-simplify]: Simplify 0 into 0 6.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.192 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 6.192 * [backup-simplify]: Simplify (+ 0 0) into 0 6.194 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 6.195 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.197 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.197 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.198 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.198 * [backup-simplify]: Simplify 2.0 into 2.0 6.199 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.200 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.200 * [backup-simplify]: Simplify (+ 0 0) into 0 6.201 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 6.205 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 6.207 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 6.208 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.208 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.209 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.211 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.211 * [backup-simplify]: Simplify (+ 0 0) into 0 6.212 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 6.217 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.220 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 6.220 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.221 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.221 * [backup-simplify]: Simplify 2.0 into 2.0 6.222 * [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))) 6.222 * [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)))) 6.222 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 6.222 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 6.222 * [taylor]: Taking taylor expansion of 2.0 in t 6.222 * [backup-simplify]: Simplify 2.0 into 2.0 6.222 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 6.222 * [taylor]: Taking taylor expansion of 2.0 in t 6.222 * [backup-simplify]: Simplify 2.0 into 2.0 6.222 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 6.222 * [taylor]: Taking taylor expansion of t in t 6.222 * [backup-simplify]: Simplify 0 into 0 6.222 * [backup-simplify]: Simplify 1 into 1 6.222 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.222 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.223 * [taylor]: Taking taylor expansion of 1.0 in t 6.223 * [backup-simplify]: Simplify 1.0 into 1.0 6.223 * [taylor]: Taking taylor expansion of t in t 6.223 * [backup-simplify]: Simplify 0 into 0 6.223 * [backup-simplify]: Simplify 1 into 1 6.223 * [taylor]: Taking taylor expansion of 1.0 in t 6.223 * [backup-simplify]: Simplify 1.0 into 1.0 6.223 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.224 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.224 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.224 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 6.224 * [taylor]: Taking taylor expansion of 2.0 in t 6.224 * [backup-simplify]: Simplify 2.0 into 2.0 6.224 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 6.224 * [taylor]: Taking taylor expansion of 2.0 in t 6.224 * [backup-simplify]: Simplify 2.0 into 2.0 6.224 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 6.224 * [taylor]: Taking taylor expansion of t in t 6.224 * [backup-simplify]: Simplify 0 into 0 6.224 * [backup-simplify]: Simplify 1 into 1 6.224 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.224 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.224 * [taylor]: Taking taylor expansion of 1.0 in t 6.224 * [backup-simplify]: Simplify 1.0 into 1.0 6.224 * [taylor]: Taking taylor expansion of t in t 6.224 * [backup-simplify]: Simplify 0 into 0 6.225 * [backup-simplify]: Simplify 1 into 1 6.225 * [taylor]: Taking taylor expansion of 1.0 in t 6.225 * [backup-simplify]: Simplify 1.0 into 1.0 6.225 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.225 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.226 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.226 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.226 * [backup-simplify]: Simplify 2.0 into 2.0 6.227 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.227 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.228 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.228 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.230 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.230 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.233 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.235 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.236 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.236 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.236 * [backup-simplify]: Simplify 2.0 into 2.0 6.237 * [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))) 6.237 * [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) 6.237 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 6.237 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 6.238 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 6.238 * [taylor]: Taking taylor expansion of 2.0 in t 6.238 * [backup-simplify]: Simplify 2.0 into 2.0 6.238 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 6.238 * [taylor]: Taking taylor expansion of t in t 6.238 * [backup-simplify]: Simplify 0 into 0 6.238 * [backup-simplify]: Simplify 1 into 1 6.238 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 6.238 * [taylor]: Taking taylor expansion of 1.0 in t 6.238 * [backup-simplify]: Simplify 1.0 into 1.0 6.238 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.238 * [taylor]: Taking taylor expansion of 1.0 in t 6.238 * [backup-simplify]: Simplify 1.0 into 1.0 6.238 * [taylor]: Taking taylor expansion of t in t 6.238 * [backup-simplify]: Simplify 0 into 0 6.238 * [backup-simplify]: Simplify 1 into 1 6.238 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.239 * [backup-simplify]: Simplify (- 0) into 0 6.239 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.240 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.240 * [taylor]: Taking taylor expansion of 2.0 in t 6.240 * [backup-simplify]: Simplify 2.0 into 2.0 6.240 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 6.240 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 6.240 * [taylor]: Taking taylor expansion of 2.0 in t 6.240 * [backup-simplify]: Simplify 2.0 into 2.0 6.240 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 6.240 * [taylor]: Taking taylor expansion of t in t 6.240 * [backup-simplify]: Simplify 0 into 0 6.240 * [backup-simplify]: Simplify 1 into 1 6.240 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 6.240 * [taylor]: Taking taylor expansion of 1.0 in t 6.240 * [backup-simplify]: Simplify 1.0 into 1.0 6.240 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.240 * [taylor]: Taking taylor expansion of 1.0 in t 6.240 * [backup-simplify]: Simplify 1.0 into 1.0 6.240 * [taylor]: Taking taylor expansion of t in t 6.240 * [backup-simplify]: Simplify 0 into 0 6.240 * [backup-simplify]: Simplify 1 into 1 6.241 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.241 * [backup-simplify]: Simplify (- 0) into 0 6.241 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.242 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.242 * [taylor]: Taking taylor expansion of 2.0 in t 6.242 * [backup-simplify]: Simplify 2.0 into 2.0 6.242 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.242 * [backup-simplify]: Simplify 2.0 into 2.0 6.243 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.243 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.243 * [backup-simplify]: Simplify 2.0 into 2.0 6.245 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.245 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.246 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.249 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 6.251 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 6.251 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.252 * [backup-simplify]: Simplify 2.0 into 2.0 6.252 * [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))) 6.252 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 1) 6.252 * [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))))) 6.252 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 6.252 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 6.252 * [taylor]: Taking taylor expansion of 2.0 in t 6.252 * [backup-simplify]: Simplify 2.0 into 2.0 6.252 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.252 * [taylor]: Taking taylor expansion of 2.0 in t 6.253 * [backup-simplify]: Simplify 2.0 into 2.0 6.253 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.253 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.253 * [taylor]: Taking taylor expansion of t in t 6.253 * [backup-simplify]: Simplify 0 into 0 6.253 * [backup-simplify]: Simplify 1 into 1 6.253 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.253 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.253 * [taylor]: Taking taylor expansion of 1.0 in t 6.253 * [backup-simplify]: Simplify 1.0 into 1.0 6.253 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.253 * [taylor]: Taking taylor expansion of t in t 6.253 * [backup-simplify]: Simplify 0 into 0 6.253 * [backup-simplify]: Simplify 1 into 1 6.253 * [backup-simplify]: Simplify (/ 1 1) into 1 6.253 * [taylor]: Taking taylor expansion of 1.0 in t 6.253 * [backup-simplify]: Simplify 1.0 into 1.0 6.254 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.254 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.255 * [backup-simplify]: Simplify (* 0 1.0) into 0 6.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.256 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.257 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.258 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 6.259 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.259 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 6.259 * [taylor]: Taking taylor expansion of 2.0 in t 6.259 * [backup-simplify]: Simplify 2.0 into 2.0 6.259 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.259 * [taylor]: Taking taylor expansion of 2.0 in t 6.259 * [backup-simplify]: Simplify 2.0 into 2.0 6.259 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.259 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.259 * [taylor]: Taking taylor expansion of t in t 6.259 * [backup-simplify]: Simplify 0 into 0 6.259 * [backup-simplify]: Simplify 1 into 1 6.259 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.259 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.259 * [taylor]: Taking taylor expansion of 1.0 in t 6.259 * [backup-simplify]: Simplify 1.0 into 1.0 6.259 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.259 * [taylor]: Taking taylor expansion of t in t 6.259 * [backup-simplify]: Simplify 0 into 0 6.259 * [backup-simplify]: Simplify 1 into 1 6.260 * [backup-simplify]: Simplify (/ 1 1) into 1 6.260 * [taylor]: Taking taylor expansion of 1.0 in t 6.260 * [backup-simplify]: Simplify 1.0 into 1.0 6.260 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.261 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.261 * [backup-simplify]: Simplify (* 0 1.0) into 0 6.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.263 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.263 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.265 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 6.265 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.266 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.266 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.267 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 6.267 * [backup-simplify]: Simplify 0 into 0 6.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.269 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 6.269 * [backup-simplify]: Simplify (+ 0 0) into 0 6.272 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 6.274 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.276 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.277 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.277 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.277 * [backup-simplify]: Simplify 2.0 into 2.0 6.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.283 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.284 * [backup-simplify]: Simplify (+ 0 0) into 0 6.285 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 6.289 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 6.291 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 6.292 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.293 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.293 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.295 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.296 * [backup-simplify]: Simplify (+ 0 0) into 0 6.297 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 6.301 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.304 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 6.305 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.306 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.306 * [backup-simplify]: Simplify 2.0 into 2.0 6.306 * [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))) 6.307 * [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)))) 6.307 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0 6.307 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 6.307 * [taylor]: Taking taylor expansion of 2.0 in t 6.307 * [backup-simplify]: Simplify 2.0 into 2.0 6.307 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 6.307 * [taylor]: Taking taylor expansion of 2.0 in t 6.307 * [backup-simplify]: Simplify 2.0 into 2.0 6.307 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 6.307 * [taylor]: Taking taylor expansion of t in t 6.307 * [backup-simplify]: Simplify 0 into 0 6.307 * [backup-simplify]: Simplify 1 into 1 6.307 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.307 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.307 * [taylor]: Taking taylor expansion of 1.0 in t 6.307 * [backup-simplify]: Simplify 1.0 into 1.0 6.307 * [taylor]: Taking taylor expansion of t in t 6.307 * [backup-simplify]: Simplify 0 into 0 6.307 * [backup-simplify]: Simplify 1 into 1 6.307 * [taylor]: Taking taylor expansion of 1.0 in t 6.307 * [backup-simplify]: Simplify 1.0 into 1.0 6.308 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.308 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.309 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.309 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 6.309 * [taylor]: Taking taylor expansion of 2.0 in t 6.309 * [backup-simplify]: Simplify 2.0 into 2.0 6.309 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 6.309 * [taylor]: Taking taylor expansion of 2.0 in t 6.309 * [backup-simplify]: Simplify 2.0 into 2.0 6.309 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 6.309 * [taylor]: Taking taylor expansion of t in t 6.309 * [backup-simplify]: Simplify 0 into 0 6.309 * [backup-simplify]: Simplify 1 into 1 6.309 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.309 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.309 * [taylor]: Taking taylor expansion of 1.0 in t 6.309 * [backup-simplify]: Simplify 1.0 into 1.0 6.309 * [taylor]: Taking taylor expansion of t in t 6.309 * [backup-simplify]: Simplify 0 into 0 6.309 * [backup-simplify]: Simplify 1 into 1 6.309 * [taylor]: Taking taylor expansion of 1.0 in t 6.309 * [backup-simplify]: Simplify 1.0 into 1.0 6.310 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.310 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.311 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.311 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.311 * [backup-simplify]: Simplify 2.0 into 2.0 6.312 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.312 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.313 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.313 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.315 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.315 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.318 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.320 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.321 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.321 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.321 * [backup-simplify]: Simplify 2.0 into 2.0 6.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))) 6.323 * [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) 6.323 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0 6.323 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 6.323 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 6.323 * [taylor]: Taking taylor expansion of 2.0 in t 6.323 * [backup-simplify]: Simplify 2.0 into 2.0 6.323 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 6.323 * [taylor]: Taking taylor expansion of t in t 6.323 * [backup-simplify]: Simplify 0 into 0 6.323 * [backup-simplify]: Simplify 1 into 1 6.323 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 6.323 * [taylor]: Taking taylor expansion of 1.0 in t 6.323 * [backup-simplify]: Simplify 1.0 into 1.0 6.323 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.323 * [taylor]: Taking taylor expansion of 1.0 in t 6.323 * [backup-simplify]: Simplify 1.0 into 1.0 6.323 * [taylor]: Taking taylor expansion of t in t 6.323 * [backup-simplify]: Simplify 0 into 0 6.323 * [backup-simplify]: Simplify 1 into 1 6.324 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.324 * [backup-simplify]: Simplify (- 0) into 0 6.324 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.325 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.325 * [taylor]: Taking taylor expansion of 2.0 in t 6.325 * [backup-simplify]: Simplify 2.0 into 2.0 6.325 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 6.325 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 6.325 * [taylor]: Taking taylor expansion of 2.0 in t 6.325 * [backup-simplify]: Simplify 2.0 into 2.0 6.325 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 6.325 * [taylor]: Taking taylor expansion of t in t 6.325 * [backup-simplify]: Simplify 0 into 0 6.325 * [backup-simplify]: Simplify 1 into 1 6.325 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 6.325 * [taylor]: Taking taylor expansion of 1.0 in t 6.325 * [backup-simplify]: Simplify 1.0 into 1.0 6.325 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.325 * [taylor]: Taking taylor expansion of 1.0 in t 6.325 * [backup-simplify]: Simplify 1.0 into 1.0 6.325 * [taylor]: Taking taylor expansion of t in t 6.325 * [backup-simplify]: Simplify 0 into 0 6.326 * [backup-simplify]: Simplify 1 into 1 6.326 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.326 * [backup-simplify]: Simplify (- 0) into 0 6.327 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.327 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.327 * [taylor]: Taking taylor expansion of 2.0 in t 6.327 * [backup-simplify]: Simplify 2.0 into 2.0 6.328 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.328 * [backup-simplify]: Simplify 2.0 into 2.0 6.328 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.329 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.329 * [backup-simplify]: Simplify 2.0 into 2.0 6.330 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.331 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.331 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.335 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 6.336 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 6.337 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.337 * [backup-simplify]: Simplify 2.0 into 2.0 6.337 * [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))) 6.337 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2) 6.338 * [backup-simplify]: Simplify (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 3 1)) into (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 4) 6.338 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 4) in (t) around 0 6.338 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 4) in t 6.338 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 6.338 * [taylor]: Taking taylor expansion of 2.0 in t 6.338 * [backup-simplify]: Simplify 2.0 into 2.0 6.338 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.339 * [taylor]: Taking taylor expansion of 2.0 in t 6.339 * [backup-simplify]: Simplify 2.0 into 2.0 6.339 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.339 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.339 * [taylor]: Taking taylor expansion of t in t 6.339 * [backup-simplify]: Simplify 0 into 0 6.339 * [backup-simplify]: Simplify 1 into 1 6.339 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.339 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.339 * [taylor]: Taking taylor expansion of 1.0 in t 6.339 * [backup-simplify]: Simplify 1.0 into 1.0 6.339 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.339 * [taylor]: Taking taylor expansion of t in t 6.339 * [backup-simplify]: Simplify 0 into 0 6.339 * [backup-simplify]: Simplify 1 into 1 6.339 * [backup-simplify]: Simplify (/ 1 1) into 1 6.339 * [taylor]: Taking taylor expansion of 1.0 in t 6.339 * [backup-simplify]: Simplify 1.0 into 1.0 6.340 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.340 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.341 * [backup-simplify]: Simplify (* 0 1.0) into 0 6.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.343 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.343 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.345 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 6.345 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.345 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.346 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.347 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 6.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.348 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 6.349 * [backup-simplify]: Simplify (+ 0 0) into 0 6.352 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 6.353 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.354 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.355 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.355 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.355 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 4) in t 6.355 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t 6.355 * [taylor]: Taking taylor expansion of 2.0 in t 6.355 * [backup-simplify]: Simplify 2.0 into 2.0 6.355 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t 6.355 * [taylor]: Taking taylor expansion of 2.0 in t 6.355 * [backup-simplify]: Simplify 2.0 into 2.0 6.355 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t 6.355 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t 6.355 * [taylor]: Taking taylor expansion of t in t 6.355 * [backup-simplify]: Simplify 0 into 0 6.355 * [backup-simplify]: Simplify 1 into 1 6.355 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 6.355 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 6.355 * [taylor]: Taking taylor expansion of 1.0 in t 6.355 * [backup-simplify]: Simplify 1.0 into 1.0 6.355 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.355 * [taylor]: Taking taylor expansion of t in t 6.355 * [backup-simplify]: Simplify 0 into 0 6.355 * [backup-simplify]: Simplify 1 into 1 6.355 * [backup-simplify]: Simplify (/ 1 1) into 1 6.355 * [taylor]: Taking taylor expansion of 1.0 in t 6.355 * [backup-simplify]: Simplify 1.0 into 1.0 6.356 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.356 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.356 * [backup-simplify]: Simplify (* 0 1.0) into 0 6.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.357 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 6.357 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.358 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0 6.359 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.359 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.359 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.360 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0 6.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.361 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 6.361 * [backup-simplify]: Simplify (+ 0 0) into 0 6.362 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0 6.364 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.365 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.365 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.365 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.366 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0 6.366 * [backup-simplify]: Simplify (* 4.0 4.0) into 16.0 6.366 * [backup-simplify]: Simplify 16.0 into 16.0 6.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.367 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.367 * [backup-simplify]: Simplify (+ 0 0) into 0 6.368 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0 6.370 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0 6.371 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0 6.372 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.372 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.373 * [backup-simplify]: Simplify (+ (* 2.0 (- 2.0)) (* (- 2.0) 2.0)) into (- 8.0) 6.375 * [backup-simplify]: Simplify (+ (* 4.0 (- 8.0)) (* (- 8.0) 4.0)) into (- 64.0) 6.375 * [backup-simplify]: Simplify (- 64.0) into (- 64.0) 6.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.376 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.377 * [backup-simplify]: Simplify (+ 0 0) into 0 6.377 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0 6.380 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.382 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0) 6.383 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.384 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.387 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* (- 2.0) (- 2.0)) (* 2.0 2.0))) into 12.0 6.391 * [backup-simplify]: Simplify (+ (* 4.0 12.0) (+ (* (- 8.0) (- 8.0)) (* 12.0 4.0))) into 160.0 6.391 * [backup-simplify]: Simplify 160.0 into 160.0 6.392 * [backup-simplify]: Simplify (+ (* 160.0 (pow t 6)) (+ (* (- 64.0) (pow t 5)) (* 16.0 (pow t 4)))) into (- (+ (* 16.0 (pow t 4)) (* 160.0 (pow t 6))) (* 64.0 (pow t 5))) 6.393 * [backup-simplify]: Simplify (pow (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) (+ 3 1)) into (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 4) 6.393 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 4) in (t) around 0 6.393 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 4) in t 6.393 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 6.393 * [taylor]: Taking taylor expansion of 2.0 in t 6.393 * [backup-simplify]: Simplify 2.0 into 2.0 6.393 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 6.393 * [taylor]: Taking taylor expansion of 2.0 in t 6.393 * [backup-simplify]: Simplify 2.0 into 2.0 6.393 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 6.393 * [taylor]: Taking taylor expansion of t in t 6.394 * [backup-simplify]: Simplify 0 into 0 6.394 * [backup-simplify]: Simplify 1 into 1 6.394 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.394 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.394 * [taylor]: Taking taylor expansion of 1.0 in t 6.394 * [backup-simplify]: Simplify 1.0 into 1.0 6.394 * [taylor]: Taking taylor expansion of t in t 6.394 * [backup-simplify]: Simplify 0 into 0 6.394 * [backup-simplify]: Simplify 1 into 1 6.394 * [taylor]: Taking taylor expansion of 1.0 in t 6.394 * [backup-simplify]: Simplify 1.0 into 1.0 6.394 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.395 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.395 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.396 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.396 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 4) in t 6.396 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t 6.396 * [taylor]: Taking taylor expansion of 2.0 in t 6.396 * [backup-simplify]: Simplify 2.0 into 2.0 6.396 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t 6.396 * [taylor]: Taking taylor expansion of 2.0 in t 6.396 * [backup-simplify]: Simplify 2.0 into 2.0 6.396 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t 6.396 * [taylor]: Taking taylor expansion of t in t 6.396 * [backup-simplify]: Simplify 0 into 0 6.396 * [backup-simplify]: Simplify 1 into 1 6.396 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 6.396 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.396 * [taylor]: Taking taylor expansion of 1.0 in t 6.396 * [backup-simplify]: Simplify 1.0 into 1.0 6.396 * [taylor]: Taking taylor expansion of t in t 6.396 * [backup-simplify]: Simplify 0 into 0 6.396 * [backup-simplify]: Simplify 1 into 1 6.396 * [taylor]: Taking taylor expansion of 1.0 in t 6.396 * [backup-simplify]: Simplify 1.0 into 1.0 6.397 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.397 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.398 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.398 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.399 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0 6.399 * [backup-simplify]: Simplify (* 4.0 4.0) into 16.0 6.399 * [backup-simplify]: Simplify 16.0 into 16.0 6.400 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.400 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 6.401 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0) 6.403 * [backup-simplify]: Simplify (+ (* 2.0 (- 2.0)) (* (- 2.0) 2.0)) into (- 8.0) 6.409 * [backup-simplify]: Simplify (+ (* 4.0 (- 8.0)) (* (- 8.0) 4.0)) into (- 64.0) 6.410 * [backup-simplify]: Simplify (- 64.0) into (- 64.0) 6.411 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.412 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.414 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0) 6.416 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0) 6.417 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0 6.417 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.420 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* (- 2.0) (- 2.0)) (* 2.0 2.0))) into 12.0 6.424 * [backup-simplify]: Simplify (+ (* 4.0 12.0) (+ (* (- 8.0) (- 8.0)) (* 12.0 4.0))) into 160.0 6.424 * [backup-simplify]: Simplify 160.0 into 160.0 6.425 * [backup-simplify]: Simplify (+ (* 160.0 (pow (/ 1 t) 2)) (+ (* (- 64.0) (/ 1 t)) 16.0)) into (- (+ (* 160.0 (/ 1 (pow t 2))) 16.0) (* 64.0 (/ 1 t))) 6.426 * [backup-simplify]: Simplify (pow (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) (+ 3 1)) into (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 4) 6.426 * [approximate]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 4) in (t) around 0 6.426 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 4) in t 6.426 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 6.426 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 6.426 * [taylor]: Taking taylor expansion of 2.0 in t 6.426 * [backup-simplify]: Simplify 2.0 into 2.0 6.426 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 6.426 * [taylor]: Taking taylor expansion of t in t 6.426 * [backup-simplify]: Simplify 0 into 0 6.426 * [backup-simplify]: Simplify 1 into 1 6.426 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 6.426 * [taylor]: Taking taylor expansion of 1.0 in t 6.426 * [backup-simplify]: Simplify 1.0 into 1.0 6.426 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.426 * [taylor]: Taking taylor expansion of 1.0 in t 6.426 * [backup-simplify]: Simplify 1.0 into 1.0 6.426 * [taylor]: Taking taylor expansion of t in t 6.426 * [backup-simplify]: Simplify 0 into 0 6.426 * [backup-simplify]: Simplify 1 into 1 6.427 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.427 * [backup-simplify]: Simplify (- 0) into 0 6.428 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.428 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.428 * [taylor]: Taking taylor expansion of 2.0 in t 6.428 * [backup-simplify]: Simplify 2.0 into 2.0 6.429 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.429 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 4) in t 6.429 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t 6.429 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t 6.429 * [taylor]: Taking taylor expansion of 2.0 in t 6.429 * [backup-simplify]: Simplify 2.0 into 2.0 6.429 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t 6.429 * [taylor]: Taking taylor expansion of t in t 6.429 * [backup-simplify]: Simplify 0 into 0 6.429 * [backup-simplify]: Simplify 1 into 1 6.429 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t 6.429 * [taylor]: Taking taylor expansion of 1.0 in t 6.429 * [backup-simplify]: Simplify 1.0 into 1.0 6.429 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 6.429 * [taylor]: Taking taylor expansion of 1.0 in t 6.429 * [backup-simplify]: Simplify 1.0 into 1.0 6.429 * [taylor]: Taking taylor expansion of t in t 6.429 * [backup-simplify]: Simplify 0 into 0 6.429 * [backup-simplify]: Simplify 1 into 1 6.430 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.430 * [backup-simplify]: Simplify (- 0) into 0 6.430 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.431 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0 6.431 * [taylor]: Taking taylor expansion of 2.0 in t 6.431 * [backup-simplify]: Simplify 2.0 into 2.0 6.431 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.432 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0 6.432 * [backup-simplify]: Simplify (* 4.0 4.0) into 16.0 6.432 * [backup-simplify]: Simplify 16.0 into 16.0 6.433 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0 6.433 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.434 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (* 2.0 2.0)) into 8.0 6.436 * [backup-simplify]: Simplify (+ (* 4.0 8.0) (* 8.0 4.0)) into 64.0 6.436 * [backup-simplify]: Simplify 64.0 into 64.0 6.437 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.438 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.438 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 6.442 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0 6.443 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0 6.444 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.445 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* 2.0 2.0) (* 2.0 2.0))) into 12.0 6.447 * [backup-simplify]: Simplify (+ (* 4.0 12.0) (+ (* 8.0 8.0) (* 12.0 4.0))) into 160.0 6.447 * [backup-simplify]: Simplify 160.0 into 160.0 6.447 * [backup-simplify]: Simplify (+ (* 160.0 (pow (/ 1 (- t)) 2)) (+ (* 64.0 (/ 1 (- t))) 16.0)) into (- (+ (* 160.0 (/ 1 (pow t 2))) 16.0) (* 64.0 (/ 1 t))) 6.447 * * * [progress]: simplifying candidates 6.448 * [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)))) (* (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (* (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (* 1 (+ 3 1)) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* (cbrt (+ 3 1)) (cbrt (+ 3 1)))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (sqrt (+ 3 1))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 1) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 1) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 1) (pow (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 3 1)) (pow (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (pow (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (pow 1 (+ 3 1)) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 3 1)) (pow (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (pow (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (pow (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (pow (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (pow (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (pow (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ 3 1)) (pow 1 (+ 3 1)) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 3 1)) (log (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 3 1))) (exp (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 3 1))) (* (cbrt (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 3 1))) (cbrt (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 3 1)))) (cbrt (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 3 1))) (* (* (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 3 1)) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 3 1))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 3 1))) (sqrt (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 3 1))) (sqrt (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 3 1))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (/ (+ 3 1) 2)) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (/ (+ 3 1) 2)) (- (+ (* 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))) (- (+ (* 16.0 (pow t 4)) (* 160.0 (pow t 6))) (* 64.0 (pow t 5))) (- (+ (* 160.0 (/ 1 (pow t 2))) 16.0) (* 64.0 (/ 1 t))) (- (+ (* 160.0 (/ 1 (pow t 2))) 16.0) (* 64.0 (/ 1 t))) 6.450 * * [simplify]: Extracting # 0 : cost 0 6.451 * * [simplify]: Extracting # 1 : cost 0 6.451 * * [simplify]: Extracting # 2 : cost 0 6.451 * * [simplify]: Extracting # 3 : cost 0 6.451 * * [simplify]: Extracting # 4 : cost 0 6.451 * * [simplify]: Extracting # 5 : cost 0 6.451 * * [simplify]: Extracting # 6 : cost 0 6.451 * * [simplify]: Extracting # 7 : cost 0 6.451 * * [simplify]: Extracting # 8 : cost 0 6.452 * * [simplify]: iteration 0 : 107 enodes (cost 1723 ) 6.499 * * [simplify]: Extracting # 0 : cost 0 6.499 * * [simplify]: Extracting # 1 : cost 0 6.500 * * [simplify]: Extracting # 2 : cost 0 6.501 * * [simplify]: Extracting # 3 : cost 0 6.501 * * [simplify]: Extracting # 4 : cost 0 6.502 * * [simplify]: iteration 1 : 317 enodes (cost 1523 ) 6.729 * * [simplify]: Extracting # 0 : cost 0 6.730 * * [simplify]: Extracting # 1 : cost 0 6.731 * * [simplify]: Extracting # 2 : cost 0 6.733 * * [simplify]: Extracting # 3 : cost 0 6.734 * * [simplify]: Extracting # 4 : cost 0 6.735 * * [simplify]: iteration 2 : 1224 enodes (cost 1473 ) 7.046 * * [simplify]: Extracting # 0 : cost 0 7.051 * * [simplify]: Extracting # 1 : cost 0 7.058 * * [simplify]: Extracting # 2 : cost 0 7.078 * * [simplify]: Extracting # 3 : cost 0 7.090 * * [simplify]: Extracting # 4 : cost 0 7.103 * * [simplify]: iteration done: 5000 enodes (cost 1427 ) 7.105 * [simplify]: Simplified to: (exp (- 2.0 (/ (/ 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))))) (pow (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 2) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3) (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 (/ (/ 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 (/ (/ 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))))) (pow (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 2) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3) (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 (/ (/ 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 (/ (/ 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))))) (pow (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 2) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3) (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 (/ (/ 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)))) (* 4 (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (* 4 (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) 4 (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* (cbrt 4) (cbrt 4))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 2) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 3) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (pow (pow (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 2) 4) (pow (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 4) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 2) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 2) 1 (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 4) (pow (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 4) (pow (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 4) (pow (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) 4) (pow (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) 4) (pow (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) 4) (pow (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) 4) 1 (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 4) (* 4 (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (exp (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 4)) (* (cbrt (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 4)) (cbrt (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 4))) (cbrt (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 4)) (pow (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 4) 3) (sqrt (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 4)) (sqrt (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 4)) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 2) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 2) (* 2.0 (- (+ (pow t 3) t) (pow t 2))) (- (+ (/ 2.0 (pow t 2)) 2.0) (/ 2.0 t)) (- (+ (/ 2.0 (pow t 2)) 2.0) (/ 2.0 t)) (* 2.0 (- (+ (pow t 3) t) (pow t 2))) (- (+ (/ 2.0 (pow t 2)) 2.0) (/ 2.0 t)) (- (+ (/ 2.0 (pow t 2)) 2.0) (/ 2.0 t)) (* 2.0 (- (+ (pow t 3) t) (pow t 2))) (- (+ (/ 2.0 (pow t 2)) 2.0) (/ 2.0 t)) (- (+ (/ 2.0 (pow t 2)) 2.0) (/ 2.0 t)) (- (+ (* 16.0 (pow t 4)) (* 160.0 (pow t 6))) (* 64.0 (pow t 5))) (+ (- 16.0 (/ 64.0 t)) (/ 160.0 (pow t 2))) (+ (- 16.0 (/ 64.0 t)) (/ 160.0 (pow t 2))) 7.106 * * * [progress]: adding candidates to table 7.574 * [progress]: [Phase 3 of 3] Extracting. 7.578 * [simplify]: Simplifying: (- 1.0 (* (/ 1.0 (- (* 2.0 2.0) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 3 1)))) (- 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) 7.578 * * [simplify]: Extracting # 0 : cost 0 7.578 * * [simplify]: Extracting # 1 : cost 0 7.578 * * [simplify]: Extracting # 2 : cost 0 7.578 * * [simplify]: Extracting # 3 : cost 0 7.578 * * [simplify]: Extracting # 4 : cost 0 7.578 * * [simplify]: Extracting # 5 : cost 0 7.578 * * [simplify]: Extracting # 6 : cost 0 7.578 * * [simplify]: Extracting # 7 : cost 0 7.578 * * [simplify]: Extracting # 8 : cost 0 7.578 * * [simplify]: Extracting # 9 : cost 0 7.578 * * [simplify]: Extracting # 10 : cost 0 7.578 * * [simplify]: Extracting # 11 : cost 0 7.578 * * [simplify]: Extracting # 12 : cost 0 7.578 * * [simplify]: iteration 0 : 19 enodes (cost 49 ) 7.580 * * [simplify]: Extracting # 0 : cost 0 7.580 * * [simplify]: Extracting # 1 : cost 0 7.580 * * [simplify]: Extracting # 2 : cost 0 7.580 * * [simplify]: Extracting # 3 : cost 0 7.580 * * [simplify]: Extracting # 4 : cost 0 7.580 * * [simplify]: iteration 1 : 25 enodes (cost 47 ) 7.581 * * [simplify]: Extracting # 0 : cost 0 7.581 * * [simplify]: iteration done: 25 enodes (cost 47 ) 7.581 * [simplify]: Simplified to: (- 1.0 (* (/ 1.0 (- (* 2.0 2.0) (pow (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 4))) (- 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) 9.221 * [regime-testing]: Baseline error score: 0.006875859482435304 9.226 * [regime-testing]: Oracle error score: 0.006875859482435304 9.226 * [regime-testing]: End program error score: 0.006875859482435304