0.142 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.034 * [progress]: [Phase 2 of 3] Improving.
0.034 * [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.034 * * [simplify]: iteration 0: 12 enodes
0.038 * * [simplify]: iteration 1: 20 enodes
0.043 * * [simplify]: iteration 2: 37 enodes
0.055 * * [simplify]: iteration 3: 84 enodes
0.087 * * [simplify]: iteration 4: 242 enodes
0.232 * * [simplify]: iteration 5: 703 enodes
1.132 * * [simplify]: iteration 6: 2972 enodes
2.311 * * [simplify]: iteration complete: 5000 enodes
2.311 * * [simplify]: Extracting #0: cost 1 inf + 0
2.311 * * [simplify]: Extracting #1: cost 4 inf + 0
2.311 * * [simplify]: Extracting #2: cost 10 inf + 1
2.312 * * [simplify]: Extracting #3: cost 190 inf + 8
2.316 * * [simplify]: Extracting #4: cost 1128 inf + 15
2.324 * * [simplify]: Extracting #5: cost 1256 inf + 1681
2.332 * * [simplify]: Extracting #6: cost 486 inf + 15348
2.337 * * [simplify]: Extracting #7: cost 16 inf + 22614
2.342 * * [simplify]: Extracting #8: cost 0 inf + 22691
2.351 * * [simplify]: Extracting #9: cost 0 inf + 22687
2.359 * [simplify]: Simplified to:
  (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))))
2.365 * * [progress]: iteration 1 / 4
2.365 * * * [progress]: picking best candidate
2.369 * * * * [pick]: Picked  #<alt (λ (t) (- 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.369 * * * [progress]: localizing error
2.400 * * * [progress]: generating rewritten candidates
2.400 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2)
2.465 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1)
2.548 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
2.984 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
3.001 * * * [progress]: generating series expansions
3.001 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2)
3.001 * [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.001 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
3.001 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.001 * [taylor]: Taking taylor expansion of 2.0 in t
3.001 * [backup-simplify]: Simplify 2.0 into 2.0
3.001 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.001 * [taylor]: Taking taylor expansion of 2.0 in t
3.001 * [backup-simplify]: Simplify 2.0 into 2.0
3.001 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.001 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.001 * [taylor]: Taking taylor expansion of t in t
3.001 * [backup-simplify]: Simplify 0 into 0
3.001 * [backup-simplify]: Simplify 1 into 1
3.001 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.001 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.001 * [taylor]: Taking taylor expansion of 1.0 in t
3.001 * [backup-simplify]: Simplify 1.0 into 1.0
3.001 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.001 * [taylor]: Taking taylor expansion of t in t
3.001 * [backup-simplify]: Simplify 0 into 0
3.001 * [backup-simplify]: Simplify 1 into 1
3.002 * [backup-simplify]: Simplify (/ 1 1) into 1
3.002 * [taylor]: Taking taylor expansion of 1.0 in t
3.002 * [backup-simplify]: Simplify 1.0 into 1.0
3.002 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.003 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.003 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.004 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.004 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.005 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.005 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.005 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.005 * [taylor]: Taking taylor expansion of 2.0 in t
3.005 * [backup-simplify]: Simplify 2.0 into 2.0
3.005 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.005 * [taylor]: Taking taylor expansion of 2.0 in t
3.005 * [backup-simplify]: Simplify 2.0 into 2.0
3.005 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.005 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.005 * [taylor]: Taking taylor expansion of t in t
3.005 * [backup-simplify]: Simplify 0 into 0
3.006 * [backup-simplify]: Simplify 1 into 1
3.006 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.006 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.006 * [taylor]: Taking taylor expansion of 1.0 in t
3.006 * [backup-simplify]: Simplify 1.0 into 1.0
3.006 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.006 * [taylor]: Taking taylor expansion of t in t
3.006 * [backup-simplify]: Simplify 0 into 0
3.006 * [backup-simplify]: Simplify 1 into 1
3.006 * [backup-simplify]: Simplify (/ 1 1) into 1
3.006 * [taylor]: Taking taylor expansion of 1.0 in t
3.006 * [backup-simplify]: Simplify 1.0 into 1.0
3.006 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.006 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.007 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.008 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.008 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.009 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.009 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.010 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.010 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.011 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
3.011 * [backup-simplify]: Simplify 0 into 0
3.011 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.012 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
3.012 * [backup-simplify]: Simplify (+ 0 0) into 0
3.014 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
3.015 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.016 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.016 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.017 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.017 * [backup-simplify]: Simplify 2.0 into 2.0
3.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.018 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.018 * [backup-simplify]: Simplify (+ 0 0) into 0
3.019 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
3.022 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
3.023 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
3.023 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.024 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
3.024 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.025 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.026 * [backup-simplify]: Simplify (+ 0 0) into 0
3.027 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
3.031 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.034 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
3.035 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.036 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.036 * [backup-simplify]: Simplify 2.0 into 2.0
3.037 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
3.037 * [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.037 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
3.037 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.037 * [taylor]: Taking taylor expansion of 2.0 in t
3.037 * [backup-simplify]: Simplify 2.0 into 2.0
3.037 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.038 * [taylor]: Taking taylor expansion of 2.0 in t
3.038 * [backup-simplify]: Simplify 2.0 into 2.0
3.038 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.038 * [taylor]: Taking taylor expansion of t in t
3.038 * [backup-simplify]: Simplify 0 into 0
3.038 * [backup-simplify]: Simplify 1 into 1
3.038 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.038 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.038 * [taylor]: Taking taylor expansion of 1.0 in t
3.038 * [backup-simplify]: Simplify 1.0 into 1.0
3.038 * [taylor]: Taking taylor expansion of t in t
3.038 * [backup-simplify]: Simplify 0 into 0
3.038 * [backup-simplify]: Simplify 1 into 1
3.038 * [taylor]: Taking taylor expansion of 1.0 in t
3.038 * [backup-simplify]: Simplify 1.0 into 1.0
3.038 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.039 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.039 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.039 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.039 * [taylor]: Taking taylor expansion of 2.0 in t
3.039 * [backup-simplify]: Simplify 2.0 into 2.0
3.040 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.040 * [taylor]: Taking taylor expansion of 2.0 in t
3.040 * [backup-simplify]: Simplify 2.0 into 2.0
3.040 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.040 * [taylor]: Taking taylor expansion of t in t
3.040 * [backup-simplify]: Simplify 0 into 0
3.040 * [backup-simplify]: Simplify 1 into 1
3.040 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.040 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.040 * [taylor]: Taking taylor expansion of 1.0 in t
3.040 * [backup-simplify]: Simplify 1.0 into 1.0
3.040 * [taylor]: Taking taylor expansion of t in t
3.040 * [backup-simplify]: Simplify 0 into 0
3.040 * [backup-simplify]: Simplify 1 into 1
3.040 * [taylor]: Taking taylor expansion of 1.0 in t
3.040 * [backup-simplify]: Simplify 1.0 into 1.0
3.040 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.041 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.041 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.042 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.042 * [backup-simplify]: Simplify 2.0 into 2.0
3.042 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.043 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.044 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
3.044 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.046 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.046 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.049 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.051 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.052 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.053 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.053 * [backup-simplify]: Simplify 2.0 into 2.0
3.053 * [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.054 * [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.054 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
3.054 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.054 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.054 * [taylor]: Taking taylor expansion of 2.0 in t
3.054 * [backup-simplify]: Simplify 2.0 into 2.0
3.054 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.054 * [taylor]: Taking taylor expansion of t in t
3.054 * [backup-simplify]: Simplify 0 into 0
3.054 * [backup-simplify]: Simplify 1 into 1
3.054 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.054 * [taylor]: Taking taylor expansion of 1.0 in t
3.054 * [backup-simplify]: Simplify 1.0 into 1.0
3.054 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.054 * [taylor]: Taking taylor expansion of 1.0 in t
3.054 * [backup-simplify]: Simplify 1.0 into 1.0
3.054 * [taylor]: Taking taylor expansion of t in t
3.054 * [backup-simplify]: Simplify 0 into 0
3.054 * [backup-simplify]: Simplify 1 into 1
3.055 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.055 * [backup-simplify]: Simplify (- 0) into 0
3.056 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.056 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.056 * [taylor]: Taking taylor expansion of 2.0 in t
3.056 * [backup-simplify]: Simplify 2.0 into 2.0
3.056 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.056 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.056 * [taylor]: Taking taylor expansion of 2.0 in t
3.056 * [backup-simplify]: Simplify 2.0 into 2.0
3.056 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.056 * [taylor]: Taking taylor expansion of t in t
3.056 * [backup-simplify]: Simplify 0 into 0
3.056 * [backup-simplify]: Simplify 1 into 1
3.056 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.056 * [taylor]: Taking taylor expansion of 1.0 in t
3.056 * [backup-simplify]: Simplify 1.0 into 1.0
3.056 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.057 * [taylor]: Taking taylor expansion of 1.0 in t
3.057 * [backup-simplify]: Simplify 1.0 into 1.0
3.057 * [taylor]: Taking taylor expansion of t in t
3.057 * [backup-simplify]: Simplify 0 into 0
3.057 * [backup-simplify]: Simplify 1 into 1
3.057 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.058 * [backup-simplify]: Simplify (- 0) into 0
3.058 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.059 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.059 * [taylor]: Taking taylor expansion of 2.0 in t
3.059 * [backup-simplify]: Simplify 2.0 into 2.0
3.059 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.059 * [backup-simplify]: Simplify 2.0 into 2.0
3.060 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.060 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.060 * [backup-simplify]: Simplify 2.0 into 2.0
3.062 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.062 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.063 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.067 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
3.068 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0
3.069 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.069 * [backup-simplify]: Simplify 2.0 into 2.0
3.069 * [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.069 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1)
3.069 * [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.070 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
3.070 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.070 * [taylor]: Taking taylor expansion of 2.0 in t
3.070 * [backup-simplify]: Simplify 2.0 into 2.0
3.070 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.070 * [taylor]: Taking taylor expansion of 2.0 in t
3.070 * [backup-simplify]: Simplify 2.0 into 2.0
3.070 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.070 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.070 * [taylor]: Taking taylor expansion of t in t
3.070 * [backup-simplify]: Simplify 0 into 0
3.070 * [backup-simplify]: Simplify 1 into 1
3.070 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.070 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.070 * [taylor]: Taking taylor expansion of 1.0 in t
3.070 * [backup-simplify]: Simplify 1.0 into 1.0
3.070 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.070 * [taylor]: Taking taylor expansion of t in t
3.070 * [backup-simplify]: Simplify 0 into 0
3.070 * [backup-simplify]: Simplify 1 into 1
3.071 * [backup-simplify]: Simplify (/ 1 1) into 1
3.071 * [taylor]: Taking taylor expansion of 1.0 in t
3.071 * [backup-simplify]: Simplify 1.0 into 1.0
3.071 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.072 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.072 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.073 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.074 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.075 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.076 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.076 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.076 * [taylor]: Taking taylor expansion of 2.0 in t
3.076 * [backup-simplify]: Simplify 2.0 into 2.0
3.076 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.076 * [taylor]: Taking taylor expansion of 2.0 in t
3.076 * [backup-simplify]: Simplify 2.0 into 2.0
3.076 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.076 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.076 * [taylor]: Taking taylor expansion of t in t
3.076 * [backup-simplify]: Simplify 0 into 0
3.076 * [backup-simplify]: Simplify 1 into 1
3.076 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.076 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.076 * [taylor]: Taking taylor expansion of 1.0 in t
3.076 * [backup-simplify]: Simplify 1.0 into 1.0
3.076 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.076 * [taylor]: Taking taylor expansion of t in t
3.076 * [backup-simplify]: Simplify 0 into 0
3.077 * [backup-simplify]: Simplify 1 into 1
3.077 * [backup-simplify]: Simplify (/ 1 1) into 1
3.077 * [taylor]: Taking taylor expansion of 1.0 in t
3.077 * [backup-simplify]: Simplify 1.0 into 1.0
3.077 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.078 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.078 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.079 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.080 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.080 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.082 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.082 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.083 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.083 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.084 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
3.084 * [backup-simplify]: Simplify 0 into 0
3.085 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.086 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
3.087 * [backup-simplify]: Simplify (+ 0 0) into 0
3.090 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
3.092 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.094 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.094 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.095 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.095 * [backup-simplify]: Simplify 2.0 into 2.0
3.095 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.096 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.096 * [backup-simplify]: Simplify (+ 0 0) into 0
3.097 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
3.099 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
3.104 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
3.104 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.105 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
3.105 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.106 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.106 * [backup-simplify]: Simplify (+ 0 0) into 0
3.107 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
3.110 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.111 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
3.112 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.112 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.112 * [backup-simplify]: Simplify 2.0 into 2.0
3.113 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
3.113 * [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.113 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
3.113 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.113 * [taylor]: Taking taylor expansion of 2.0 in t
3.113 * [backup-simplify]: Simplify 2.0 into 2.0
3.113 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.113 * [taylor]: Taking taylor expansion of 2.0 in t
3.113 * [backup-simplify]: Simplify 2.0 into 2.0
3.113 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.113 * [taylor]: Taking taylor expansion of t in t
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 1 into 1
3.113 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.113 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.113 * [taylor]: Taking taylor expansion of 1.0 in t
3.113 * [backup-simplify]: Simplify 1.0 into 1.0
3.113 * [taylor]: Taking taylor expansion of t in t
3.113 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify 1 into 1
3.113 * [taylor]: Taking taylor expansion of 1.0 in t
3.113 * [backup-simplify]: Simplify 1.0 into 1.0
3.114 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.114 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.114 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.114 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.114 * [taylor]: Taking taylor expansion of 2.0 in t
3.114 * [backup-simplify]: Simplify 2.0 into 2.0
3.114 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.114 * [taylor]: Taking taylor expansion of 2.0 in t
3.114 * [backup-simplify]: Simplify 2.0 into 2.0
3.114 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.115 * [taylor]: Taking taylor expansion of t in t
3.115 * [backup-simplify]: Simplify 0 into 0
3.115 * [backup-simplify]: Simplify 1 into 1
3.115 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.115 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.115 * [taylor]: Taking taylor expansion of 1.0 in t
3.115 * [backup-simplify]: Simplify 1.0 into 1.0
3.115 * [taylor]: Taking taylor expansion of t in t
3.115 * [backup-simplify]: Simplify 0 into 0
3.115 * [backup-simplify]: Simplify 1 into 1
3.115 * [taylor]: Taking taylor expansion of 1.0 in t
3.115 * [backup-simplify]: Simplify 1.0 into 1.0
3.115 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.115 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.116 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.116 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.116 * [backup-simplify]: Simplify 2.0 into 2.0
3.116 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.116 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.117 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
3.117 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.118 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.119 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.120 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.122 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.122 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.122 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.122 * [backup-simplify]: Simplify 2.0 into 2.0
3.123 * [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.123 * [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.123 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
3.123 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.123 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.123 * [taylor]: Taking taylor expansion of 2.0 in t
3.123 * [backup-simplify]: Simplify 2.0 into 2.0
3.123 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.123 * [taylor]: Taking taylor expansion of t in t
3.123 * [backup-simplify]: Simplify 0 into 0
3.123 * [backup-simplify]: Simplify 1 into 1
3.123 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.123 * [taylor]: Taking taylor expansion of 1.0 in t
3.123 * [backup-simplify]: Simplify 1.0 into 1.0
3.123 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.123 * [taylor]: Taking taylor expansion of 1.0 in t
3.123 * [backup-simplify]: Simplify 1.0 into 1.0
3.123 * [taylor]: Taking taylor expansion of t in t
3.123 * [backup-simplify]: Simplify 0 into 0
3.123 * [backup-simplify]: Simplify 1 into 1
3.124 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.124 * [backup-simplify]: Simplify (- 0) into 0
3.124 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.124 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.124 * [taylor]: Taking taylor expansion of 2.0 in t
3.124 * [backup-simplify]: Simplify 2.0 into 2.0
3.124 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.125 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.125 * [taylor]: Taking taylor expansion of 2.0 in t
3.125 * [backup-simplify]: Simplify 2.0 into 2.0
3.125 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.125 * [taylor]: Taking taylor expansion of t in t
3.125 * [backup-simplify]: Simplify 0 into 0
3.125 * [backup-simplify]: Simplify 1 into 1
3.125 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.125 * [taylor]: Taking taylor expansion of 1.0 in t
3.125 * [backup-simplify]: Simplify 1.0 into 1.0
3.125 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.125 * [taylor]: Taking taylor expansion of 1.0 in t
3.125 * [backup-simplify]: Simplify 1.0 into 1.0
3.125 * [taylor]: Taking taylor expansion of t in t
3.125 * [backup-simplify]: Simplify 0 into 0
3.125 * [backup-simplify]: Simplify 1 into 1
3.125 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.125 * [backup-simplify]: Simplify (- 0) into 0
3.126 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.126 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.126 * [taylor]: Taking taylor expansion of 2.0 in t
3.126 * [backup-simplify]: Simplify 2.0 into 2.0
3.126 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.126 * [backup-simplify]: Simplify 2.0 into 2.0
3.126 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.127 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.127 * [backup-simplify]: Simplify 2.0 into 2.0
3.128 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.128 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.129 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.131 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
3.133 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0
3.133 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.133 * [backup-simplify]: Simplify 2.0 into 2.0
3.134 * [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.134 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
3.134 * [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.134 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) in (t) around 0
3.134 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) in t
3.134 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.134 * [taylor]: Taking taylor expansion of 2.0 in t
3.134 * [backup-simplify]: Simplify 2.0 into 2.0
3.134 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.134 * [taylor]: Taking taylor expansion of 2.0 in t
3.135 * [backup-simplify]: Simplify 2.0 into 2.0
3.135 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.135 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.135 * [taylor]: Taking taylor expansion of t in t
3.135 * [backup-simplify]: Simplify 0 into 0
3.135 * [backup-simplify]: Simplify 1 into 1
3.135 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.135 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.135 * [taylor]: Taking taylor expansion of 1.0 in t
3.135 * [backup-simplify]: Simplify 1.0 into 1.0
3.135 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.135 * [taylor]: Taking taylor expansion of t in t
3.135 * [backup-simplify]: Simplify 0 into 0
3.135 * [backup-simplify]: Simplify 1 into 1
3.135 * [backup-simplify]: Simplify (/ 1 1) into 1
3.136 * [taylor]: Taking taylor expansion of 1.0 in t
3.136 * [backup-simplify]: Simplify 1.0 into 1.0
3.136 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.137 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.137 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.139 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.139 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.141 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.141 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.142 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.142 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.143 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
3.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.145 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
3.145 * [backup-simplify]: Simplify (+ 0 0) into 0
3.148 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
3.150 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.153 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.153 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.154 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.154 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) in t
3.154 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
3.154 * [taylor]: Taking taylor expansion of 2.0 in t
3.154 * [backup-simplify]: Simplify 2.0 into 2.0
3.154 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.154 * [taylor]: Taking taylor expansion of 2.0 in t
3.154 * [backup-simplify]: Simplify 2.0 into 2.0
3.154 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.154 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.154 * [taylor]: Taking taylor expansion of t in t
3.154 * [backup-simplify]: Simplify 0 into 0
3.154 * [backup-simplify]: Simplify 1 into 1
3.154 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.154 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.154 * [taylor]: Taking taylor expansion of 1.0 in t
3.154 * [backup-simplify]: Simplify 1.0 into 1.0
3.154 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.154 * [taylor]: Taking taylor expansion of t in t
3.154 * [backup-simplify]: Simplify 0 into 0
3.154 * [backup-simplify]: Simplify 1 into 1
3.155 * [backup-simplify]: Simplify (/ 1 1) into 1
3.155 * [taylor]: Taking taylor expansion of 1.0 in t
3.155 * [backup-simplify]: Simplify 1.0 into 1.0
3.155 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.156 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.156 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.157 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.158 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.158 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.160 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.161 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.161 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.162 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.162 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
3.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.164 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
3.165 * [backup-simplify]: Simplify (+ 0 0) into 0
3.168 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
3.170 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.173 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.173 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.174 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.174 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
3.175 * [backup-simplify]: Simplify 4.0 into 4.0
3.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.177 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.177 * [backup-simplify]: Simplify (+ 0 0) into 0
3.178 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
3.182 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
3.185 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
3.185 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.186 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
3.188 * [backup-simplify]: Simplify (+ (* 2.0 (- 2.0)) (* (- 2.0) 2.0)) into (- 8.0)
3.189 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
3.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.191 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.192 * [backup-simplify]: Simplify (+ 0 0) into 0
3.193 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
3.198 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.201 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
3.202 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.203 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.206 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* (- 2.0) (- 2.0)) (* 2.0 2.0))) into 12.0
3.206 * [backup-simplify]: Simplify 12.0 into 12.0
3.208 * [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.208 * [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.208 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) in (t) around 0
3.208 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) in t
3.208 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.208 * [taylor]: Taking taylor expansion of 2.0 in t
3.209 * [backup-simplify]: Simplify 2.0 into 2.0
3.209 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.209 * [taylor]: Taking taylor expansion of 2.0 in t
3.209 * [backup-simplify]: Simplify 2.0 into 2.0
3.209 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.209 * [taylor]: Taking taylor expansion of t in t
3.209 * [backup-simplify]: Simplify 0 into 0
3.209 * [backup-simplify]: Simplify 1 into 1
3.209 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.209 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.209 * [taylor]: Taking taylor expansion of 1.0 in t
3.209 * [backup-simplify]: Simplify 1.0 into 1.0
3.209 * [taylor]: Taking taylor expansion of t in t
3.209 * [backup-simplify]: Simplify 0 into 0
3.209 * [backup-simplify]: Simplify 1 into 1
3.209 * [taylor]: Taking taylor expansion of 1.0 in t
3.209 * [backup-simplify]: Simplify 1.0 into 1.0
3.209 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.210 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.210 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.211 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.211 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) in t
3.211 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
3.211 * [taylor]: Taking taylor expansion of 2.0 in t
3.211 * [backup-simplify]: Simplify 2.0 into 2.0
3.211 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.211 * [taylor]: Taking taylor expansion of 2.0 in t
3.211 * [backup-simplify]: Simplify 2.0 into 2.0
3.211 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.211 * [taylor]: Taking taylor expansion of t in t
3.211 * [backup-simplify]: Simplify 0 into 0
3.211 * [backup-simplify]: Simplify 1 into 1
3.211 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.211 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.211 * [taylor]: Taking taylor expansion of 1.0 in t
3.211 * [backup-simplify]: Simplify 1.0 into 1.0
3.211 * [taylor]: Taking taylor expansion of t in t
3.211 * [backup-simplify]: Simplify 0 into 0
3.211 * [backup-simplify]: Simplify 1 into 1
3.212 * [taylor]: Taking taylor expansion of 1.0 in t
3.212 * [backup-simplify]: Simplify 1.0 into 1.0
3.212 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.212 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.213 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.213 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.214 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
3.214 * [backup-simplify]: Simplify 4.0 into 4.0
3.215 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.215 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
3.216 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
3.218 * [backup-simplify]: Simplify (+ (* 2.0 (- 2.0)) (* (- 2.0) 2.0)) into (- 8.0)
3.219 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
3.220 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.221 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.224 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.226 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
3.227 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
3.227 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.231 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* (- 2.0) (- 2.0)) (* 2.0 2.0))) into 12.0
3.231 * [backup-simplify]: Simplify 12.0 into 12.0
3.232 * [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.233 * [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.233 * [approximate]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) in (t) around 0
3.233 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) in t
3.233 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.233 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.233 * [taylor]: Taking taylor expansion of 2.0 in t
3.233 * [backup-simplify]: Simplify 2.0 into 2.0
3.233 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.233 * [taylor]: Taking taylor expansion of t in t
3.233 * [backup-simplify]: Simplify 0 into 0
3.233 * [backup-simplify]: Simplify 1 into 1
3.233 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.233 * [taylor]: Taking taylor expansion of 1.0 in t
3.233 * [backup-simplify]: Simplify 1.0 into 1.0
3.233 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.233 * [taylor]: Taking taylor expansion of 1.0 in t
3.233 * [backup-simplify]: Simplify 1.0 into 1.0
3.233 * [taylor]: Taking taylor expansion of t in t
3.233 * [backup-simplify]: Simplify 0 into 0
3.233 * [backup-simplify]: Simplify 1 into 1
3.236 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.236 * [backup-simplify]: Simplify (- 0) into 0
3.237 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.237 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.237 * [taylor]: Taking taylor expansion of 2.0 in t
3.237 * [backup-simplify]: Simplify 2.0 into 2.0
3.238 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.238 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) in t
3.238 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
3.238 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.238 * [taylor]: Taking taylor expansion of 2.0 in t
3.238 * [backup-simplify]: Simplify 2.0 into 2.0
3.238 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.238 * [taylor]: Taking taylor expansion of t in t
3.238 * [backup-simplify]: Simplify 0 into 0
3.238 * [backup-simplify]: Simplify 1 into 1
3.238 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.238 * [taylor]: Taking taylor expansion of 1.0 in t
3.238 * [backup-simplify]: Simplify 1.0 into 1.0
3.238 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.238 * [taylor]: Taking taylor expansion of 1.0 in t
3.238 * [backup-simplify]: Simplify 1.0 into 1.0
3.238 * [taylor]: Taking taylor expansion of t in t
3.238 * [backup-simplify]: Simplify 0 into 0
3.238 * [backup-simplify]: Simplify 1 into 1
3.239 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.239 * [backup-simplify]: Simplify (- 0) into 0
3.240 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.240 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.240 * [taylor]: Taking taylor expansion of 2.0 in t
3.240 * [backup-simplify]: Simplify 2.0 into 2.0
3.241 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
3.241 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
3.241 * [backup-simplify]: Simplify 4.0 into 4.0
3.242 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
3.242 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.244 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (* 2.0 2.0)) into 8.0
3.244 * [backup-simplify]: Simplify 8.0 into 8.0
3.245 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.246 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.247 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.250 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
3.252 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0
3.253 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
3.255 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* 2.0 2.0) (* 2.0 2.0))) into 12.0
3.255 * [backup-simplify]: Simplify 12.0 into 12.0
3.255 * [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.256 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
3.256 * [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.256 * [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.256 * [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.256 * [taylor]: Taking taylor expansion of 1.0 in t
3.256 * [backup-simplify]: Simplify 1.0 into 1.0
3.256 * [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.256 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) in t
3.256 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) in t
3.256 * [taylor]: Taking taylor expansion of 4.0 in t
3.257 * [backup-simplify]: Simplify 4.0 into 4.0
3.257 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t
3.257 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t
3.257 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.257 * [taylor]: Taking taylor expansion of t in t
3.257 * [backup-simplify]: Simplify 0 into 0
3.257 * [backup-simplify]: Simplify 1 into 1
3.257 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t
3.257 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.257 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.257 * [taylor]: Taking taylor expansion of 1.0 in t
3.257 * [backup-simplify]: Simplify 1.0 into 1.0
3.257 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.257 * [taylor]: Taking taylor expansion of t in t
3.257 * [backup-simplify]: Simplify 0 into 0
3.257 * [backup-simplify]: Simplify 1 into 1
3.258 * [backup-simplify]: Simplify (/ 1 1) into 1
3.258 * [taylor]: Taking taylor expansion of 1.0 in t
3.258 * [backup-simplify]: Simplify 1.0 into 1.0
3.258 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.259 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.259 * [backup-simplify]: Simplify (* 1 1) into 1
3.260 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
3.260 * [backup-simplify]: Simplify (* 1 1.0) into 1.0
3.261 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.261 * [taylor]: Taking taylor expansion of 6.0 in t
3.261 * [backup-simplify]: Simplify 6.0 into 6.0
3.261 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.261 * [taylor]: Taking taylor expansion of 8.0 in t
3.261 * [backup-simplify]: Simplify 8.0 into 8.0
3.261 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.261 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.261 * [taylor]: Taking taylor expansion of t in t
3.261 * [backup-simplify]: Simplify 0 into 0
3.261 * [backup-simplify]: Simplify 1 into 1
3.261 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.261 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.261 * [taylor]: Taking taylor expansion of 1.0 in t
3.261 * [backup-simplify]: Simplify 1.0 into 1.0
3.261 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.261 * [taylor]: Taking taylor expansion of t in t
3.261 * [backup-simplify]: Simplify 0 into 0
3.261 * [backup-simplify]: Simplify 1 into 1
3.262 * [backup-simplify]: Simplify (/ 1 1) into 1
3.262 * [taylor]: Taking taylor expansion of 1.0 in t
3.262 * [backup-simplify]: Simplify 1.0 into 1.0
3.262 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.263 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.263 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.265 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.265 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.267 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.268 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.268 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0
3.269 * [backup-simplify]: Simplify (+ 4.0 6.0) into 10.0
3.269 * [backup-simplify]: Simplify (* 8.0 1.0) into 8.0
3.269 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
3.270 * [backup-simplify]: Simplify (+ 10.0 (- 8.0)) into 2.0
3.271 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5
3.271 * [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.271 * [taylor]: Taking taylor expansion of 1.0 in t
3.271 * [backup-simplify]: Simplify 1.0 into 1.0
3.271 * [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.271 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) in t
3.271 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) in t
3.271 * [taylor]: Taking taylor expansion of 4.0 in t
3.271 * [backup-simplify]: Simplify 4.0 into 4.0
3.271 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t
3.271 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t
3.271 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.271 * [taylor]: Taking taylor expansion of t in t
3.271 * [backup-simplify]: Simplify 0 into 0
3.271 * [backup-simplify]: Simplify 1 into 1
3.271 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t
3.271 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.271 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.271 * [taylor]: Taking taylor expansion of 1.0 in t
3.272 * [backup-simplify]: Simplify 1.0 into 1.0
3.272 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.272 * [taylor]: Taking taylor expansion of t in t
3.272 * [backup-simplify]: Simplify 0 into 0
3.272 * [backup-simplify]: Simplify 1 into 1
3.272 * [backup-simplify]: Simplify (/ 1 1) into 1
3.272 * [taylor]: Taking taylor expansion of 1.0 in t
3.272 * [backup-simplify]: Simplify 1.0 into 1.0
3.273 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.273 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.274 * [backup-simplify]: Simplify (* 1 1) into 1
3.274 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
3.274 * [backup-simplify]: Simplify (* 1 1.0) into 1.0
3.275 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.275 * [taylor]: Taking taylor expansion of 6.0 in t
3.275 * [backup-simplify]: Simplify 6.0 into 6.0
3.275 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
3.275 * [taylor]: Taking taylor expansion of 8.0 in t
3.275 * [backup-simplify]: Simplify 8.0 into 8.0
3.275 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
3.275 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
3.275 * [taylor]: Taking taylor expansion of t in t
3.275 * [backup-simplify]: Simplify 0 into 0
3.275 * [backup-simplify]: Simplify 1 into 1
3.275 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
3.275 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
3.275 * [taylor]: Taking taylor expansion of 1.0 in t
3.275 * [backup-simplify]: Simplify 1.0 into 1.0
3.275 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.275 * [taylor]: Taking taylor expansion of t in t
3.275 * [backup-simplify]: Simplify 0 into 0
3.275 * [backup-simplify]: Simplify 1 into 1
3.276 * [backup-simplify]: Simplify (/ 1 1) into 1
3.276 * [taylor]: Taking taylor expansion of 1.0 in t
3.276 * [backup-simplify]: Simplify 1.0 into 1.0
3.276 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
3.277 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.277 * [backup-simplify]: Simplify (* 0 1.0) into 0
3.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.279 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.280 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.281 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
3.282 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.282 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0
3.283 * [backup-simplify]: Simplify (+ 4.0 6.0) into 10.0
3.283 * [backup-simplify]: Simplify (* 8.0 1.0) into 8.0
3.284 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
3.285 * [backup-simplify]: Simplify (+ 10.0 (- 8.0)) into 2.0
3.285 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5
3.285 * [backup-simplify]: Simplify 0.5 into 0.5
3.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.287 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
3.287 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.289 * [backup-simplify]: Simplify (+ (* 1.0 1.0) (* 1.0 1.0)) into 2.0
3.289 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.291 * [backup-simplify]: Simplify (+ (* 1 2.0) (* 0 1.0)) into 2.0
3.293 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 2.0 1.0)))) into (- 2.0)
3.295 * [backup-simplify]: Simplify (+ (* 4.0 (- 2.0)) (* 0 1.0)) into (- 8.0)
3.296 * [backup-simplify]: Simplify (+ (- 8.0) 0) into (- 8.0)
3.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.298 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
3.299 * [backup-simplify]: Simplify (+ 0 0) into 0
3.302 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
3.304 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.306 * [backup-simplify]: Simplify (+ (* 8.0 (- 1.0)) (* 0 1.0)) into (- 8.0)
3.307 * [backup-simplify]: Simplify (- (- 8.0)) into 8.0
3.308 * [backup-simplify]: Simplify (+ (- 8.0) 8.0) into 0
3.309 * [backup-simplify]: Simplify (- (/ 0 2.0) (+ (* 0.5 (/ 0 2.0)))) into 0
3.309 * [backup-simplify]: Simplify 0 into 0
3.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.311 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
3.312 * [backup-simplify]: Simplify (+ 0 0) into 0
3.314 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1.0 1.0) (* 0 1.0))) into 1.0
3.316 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.318 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 2.0) (* 0 1.0))) into 1.0
3.323 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)) (* (- 2.0) (/ 2.0 1.0)))) into 3.0
3.325 * [backup-simplify]: Simplify (+ (* 4.0 3.0) (+ (* 0 (- 2.0)) (* 0 1.0))) into 12.0
3.326 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
3.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.328 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.328 * [backup-simplify]: Simplify (+ 0 0) into 0
3.329 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
3.333 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
3.335 * [backup-simplify]: Simplify (+ (* 8.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 8.0
3.336 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
3.337 * [backup-simplify]: Simplify (+ 12.0 (- 8.0)) into 4.0
3.341 * [backup-simplify]: Simplify (- (/ 0 2.0) (+ (* 0.5 (/ 4.0 2.0)) (* 0 (/ 0 2.0)))) into (- 1.0)
3.342 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.344 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.344 * [backup-simplify]: Simplify (+ 0 0) into 0
3.345 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
3.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1.0) (+ (* 0 2.0) (* 0 1.0)))) into 0
3.355 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 2.0) (/ 1.0 1.0)) (* 3.0 (/ 2.0 1.0)))) into (- 4.0)
3.359 * [backup-simplify]: Simplify (+ (* 4.0 (- 4.0)) (+ (* 0 3.0) (+ (* 0 (- 2.0)) (* 0 1.0)))) into (- 16.0)
3.360 * [backup-simplify]: Simplify (+ (- 16.0) 0) into (- 16.0)
3.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.363 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.363 * [backup-simplify]: Simplify (+ 0 0) into 0
3.364 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
3.369 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.373 * [backup-simplify]: Simplify (+ (* 8.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 8.0)
3.373 * [backup-simplify]: Simplify (- (- 8.0)) into 8.0
3.374 * [backup-simplify]: Simplify (+ (- 16.0) 8.0) into (- 8.0)
3.382 * [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.382 * [backup-simplify]: Simplify 2.0 into 2.0
3.383 * [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.384 * [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.384 * [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.384 * [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.384 * [taylor]: Taking taylor expansion of 1.0 in t
3.384 * [backup-simplify]: Simplify 1.0 into 1.0
3.384 * [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.384 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t
3.384 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) in t
3.384 * [taylor]: Taking taylor expansion of 4.0 in t
3.384 * [backup-simplify]: Simplify 4.0 into 4.0
3.384 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2)) in t
3.384 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.384 * [taylor]: Taking taylor expansion of t in t
3.384 * [backup-simplify]: Simplify 0 into 0
3.385 * [backup-simplify]: Simplify 1 into 1
3.385 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t
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.387 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.388 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.389 * [backup-simplify]: Simplify (* 1 1) into 1
3.389 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
3.390 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.390 * [taylor]: Taking taylor expansion of 6.0 in t
3.390 * [backup-simplify]: Simplify 6.0 into 6.0
3.390 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.390 * [taylor]: Taking taylor expansion of 8.0 in t
3.390 * [backup-simplify]: Simplify 8.0 into 8.0
3.390 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
3.390 * [taylor]: Taking taylor expansion of t in t
3.390 * [backup-simplify]: Simplify 0 into 0
3.390 * [backup-simplify]: Simplify 1 into 1
3.390 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.390 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.390 * [taylor]: Taking taylor expansion of 1.0 in t
3.390 * [backup-simplify]: Simplify 1.0 into 1.0
3.390 * [taylor]: Taking taylor expansion of t in t
3.391 * [backup-simplify]: Simplify 0 into 0
3.391 * [backup-simplify]: Simplify 1 into 1
3.391 * [taylor]: Taking taylor expansion of 1.0 in t
3.391 * [backup-simplify]: Simplify 1.0 into 1.0
3.391 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.392 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.392 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.393 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0
3.393 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0
3.394 * [backup-simplify]: Simplify (/ 1.0 6.0) into 0.16666666666666666
3.394 * [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.394 * [taylor]: Taking taylor expansion of 1.0 in t
3.394 * [backup-simplify]: Simplify 1.0 into 1.0
3.394 * [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.394 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t
3.394 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) in t
3.394 * [taylor]: Taking taylor expansion of 4.0 in t
3.394 * [backup-simplify]: Simplify 4.0 into 4.0
3.394 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2)) in t
3.394 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.394 * [taylor]: Taking taylor expansion of t in t
3.394 * [backup-simplify]: Simplify 0 into 0
3.394 * [backup-simplify]: Simplify 1 into 1
3.394 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t
3.394 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.394 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.394 * [taylor]: Taking taylor expansion of 1.0 in t
3.394 * [backup-simplify]: Simplify 1.0 into 1.0
3.394 * [taylor]: Taking taylor expansion of t in t
3.394 * [backup-simplify]: Simplify 0 into 0
3.394 * [backup-simplify]: Simplify 1 into 1
3.394 * [taylor]: Taking taylor expansion of 1.0 in t
3.394 * [backup-simplify]: Simplify 1.0 into 1.0
3.395 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.396 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.396 * [backup-simplify]: Simplify (* 1 1) into 1
3.397 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
3.397 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.397 * [taylor]: Taking taylor expansion of 6.0 in t
3.397 * [backup-simplify]: Simplify 6.0 into 6.0
3.397 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (+ (* 1.0 t) 1.0))) in t
3.397 * [taylor]: Taking taylor expansion of 8.0 in t
3.397 * [backup-simplify]: Simplify 8.0 into 8.0
3.397 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
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 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
3.397 * [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 * [taylor]: Taking taylor expansion of 1.0 in t
3.398 * [backup-simplify]: Simplify 1.0 into 1.0
3.398 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.398 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.399 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.399 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0
3.400 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0
3.400 * [backup-simplify]: Simplify (/ 1.0 6.0) into 0.16666666666666666
3.400 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
3.401 * [backup-simplify]: Simplify (+ 0 0) into 0
3.401 * [backup-simplify]: Simplify (* 8.0 1.0) into 8.0
3.402 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
3.403 * [backup-simplify]: Simplify (+ 0 (- 8.0)) into (- 8.0)
3.406 * [backup-simplify]: Simplify (- (/ 0 6.0) (+ (* 0.16666666666666666 (/ (- 8.0) 6.0)))) into 0.2222222222222222
3.406 * [backup-simplify]: Simplify 0.2222222222222222 into 0.2222222222222222
3.407 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0
3.407 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
3.408 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.408 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.410 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
3.411 * [backup-simplify]: Simplify (+ (* 8.0 (- 1.0)) (* 0 1.0)) into (- 8.0)
3.412 * [backup-simplify]: Simplify (- (- 8.0)) into 8.0
3.412 * [backup-simplify]: Simplify (+ 4.0 8.0) into 12.0
3.416 * [backup-simplify]: Simplify (- (/ 0 6.0) (+ (* 0.16666666666666666 (/ 12.0 6.0)) (* 0.2222222222222222 (/ (- 8.0) 6.0)))) into (- 0.037037037037037035)
3.416 * [backup-simplify]: Simplify (- 0.037037037037037035) into (- 0.037037037037037035)
3.417 * [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.417 * [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.417 * [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.417 * [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.417 * [taylor]: Taking taylor expansion of 1.0 in t
3.417 * [backup-simplify]: Simplify 1.0 into 1.0
3.417 * [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.417 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) in t
3.417 * [taylor]: Taking taylor expansion of 4.0 in t
3.417 * [backup-simplify]: Simplify 4.0 into 4.0
3.418 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2)) in t
3.418 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.418 * [taylor]: Taking taylor expansion of t in t
3.418 * [backup-simplify]: Simplify 0 into 0
3.418 * [backup-simplify]: Simplify 1 into 1
3.418 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 t)) 2) in t
3.418 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.418 * [taylor]: Taking taylor expansion of 1.0 in t
3.418 * [backup-simplify]: Simplify 1.0 into 1.0
3.418 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.418 * [taylor]: Taking taylor expansion of 1.0 in t
3.418 * [backup-simplify]: Simplify 1.0 into 1.0
3.418 * [taylor]: Taking taylor expansion of t in t
3.418 * [backup-simplify]: Simplify 0 into 0
3.418 * [backup-simplify]: Simplify 1 into 1
3.418 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.418 * [backup-simplify]: Simplify (- 0) into 0
3.419 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.419 * [backup-simplify]: Simplify (* 1 1) into 1
3.419 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
3.420 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.420 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0) in t
3.420 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.420 * [taylor]: Taking taylor expansion of 8.0 in t
3.420 * [backup-simplify]: Simplify 8.0 into 8.0
3.420 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.420 * [taylor]: Taking taylor expansion of t in t
3.420 * [backup-simplify]: Simplify 0 into 0
3.420 * [backup-simplify]: Simplify 1 into 1
3.420 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.420 * [taylor]: Taking taylor expansion of 1.0 in t
3.420 * [backup-simplify]: Simplify 1.0 into 1.0
3.420 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.420 * [taylor]: Taking taylor expansion of 1.0 in t
3.420 * [backup-simplify]: Simplify 1.0 into 1.0
3.420 * [taylor]: Taking taylor expansion of t in t
3.420 * [backup-simplify]: Simplify 0 into 0
3.420 * [backup-simplify]: Simplify 1 into 1
3.420 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.421 * [backup-simplify]: Simplify (- 0) into 0
3.421 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.421 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.421 * [taylor]: Taking taylor expansion of 6.0 in t
3.421 * [backup-simplify]: Simplify 6.0 into 6.0
3.422 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0
3.422 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0
3.422 * [backup-simplify]: Simplify (/ 1.0 6.0) into 0.16666666666666666
3.422 * [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.422 * [taylor]: Taking taylor expansion of 1.0 in t
3.422 * [backup-simplify]: Simplify 1.0 into 1.0
3.422 * [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.422 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) in t
3.422 * [taylor]: Taking taylor expansion of 4.0 in t
3.422 * [backup-simplify]: Simplify 4.0 into 4.0
3.422 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2)) in t
3.422 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.422 * [taylor]: Taking taylor expansion of t in t
3.422 * [backup-simplify]: Simplify 0 into 0
3.422 * [backup-simplify]: Simplify 1 into 1
3.422 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 t)) 2) in t
3.422 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.422 * [taylor]: Taking taylor expansion of 1.0 in t
3.422 * [backup-simplify]: Simplify 1.0 into 1.0
3.422 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.422 * [taylor]: Taking taylor expansion of 1.0 in t
3.422 * [backup-simplify]: Simplify 1.0 into 1.0
3.422 * [taylor]: Taking taylor expansion of t in t
3.422 * [backup-simplify]: Simplify 0 into 0
3.422 * [backup-simplify]: Simplify 1 into 1
3.423 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.423 * [backup-simplify]: Simplify (- 0) into 0
3.423 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.424 * [backup-simplify]: Simplify (* 1 1) into 1
3.424 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
3.424 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.424 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0) in t
3.424 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (- 1.0 (* 1.0 t)))) in t
3.424 * [taylor]: Taking taylor expansion of 8.0 in t
3.424 * [backup-simplify]: Simplify 8.0 into 8.0
3.424 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
3.424 * [taylor]: Taking taylor expansion of t in t
3.424 * [backup-simplify]: Simplify 0 into 0
3.424 * [backup-simplify]: Simplify 1 into 1
3.424 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
3.424 * [taylor]: Taking taylor expansion of 1.0 in t
3.424 * [backup-simplify]: Simplify 1.0 into 1.0
3.424 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
3.424 * [taylor]: Taking taylor expansion of 1.0 in t
3.424 * [backup-simplify]: Simplify 1.0 into 1.0
3.424 * [taylor]: Taking taylor expansion of t in t
3.424 * [backup-simplify]: Simplify 0 into 0
3.424 * [backup-simplify]: Simplify 1 into 1
3.425 * [backup-simplify]: Simplify (* 1.0 0) into 0
3.425 * [backup-simplify]: Simplify (- 0) into 0
3.425 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.425 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
3.426 * [taylor]: Taking taylor expansion of 6.0 in t
3.426 * [backup-simplify]: Simplify 6.0 into 6.0
3.426 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0
3.426 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0
3.426 * [backup-simplify]: Simplify (/ 1.0 6.0) into 0.16666666666666666
3.426 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
3.427 * [backup-simplify]: Simplify (* 8.0 1.0) into 8.0
3.427 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0
3.427 * [backup-simplify]: Simplify (+ 0 8.0) into 8.0
3.429 * [backup-simplify]: Simplify (- (/ 0 6.0) (+ (* 0.16666666666666666 (/ 8.0 6.0)))) into (- 0.2222222222222222)
3.430 * [backup-simplify]: Simplify (- 0.2222222222222222) into (- 0.2222222222222222)
3.430 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0
3.431 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
3.431 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.432 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.434 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
3.435 * [backup-simplify]: Simplify (+ (* 8.0 1.0) (* 0 1.0)) into 8.0
3.435 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0
3.435 * [backup-simplify]: Simplify (+ 4.0 8.0) into 12.0
3.439 * [backup-simplify]: Simplify (- (/ 0 6.0) (+ (* 0.16666666666666666 (/ 12.0 6.0)) (* (- 0.2222222222222222) (/ 8.0 6.0)))) into (- 0.037037037037037035)
3.439 * [backup-simplify]: Simplify (- 0.037037037037037035) into (- 0.037037037037037035)
3.440 * [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.440 * * * [progress]: simplifying candidates
3.442 * [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 t) (* 2.0 (pow t 3))) (* 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 t) (* 2.0 (pow t 3))) (* 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.445 * * [simplify]: iteration 0: 183 enodes
3.484 * * [simplify]: iteration 1: 481 enodes
3.750 * * [simplify]: iteration 2: 2388 enodes
4.691 * * [simplify]: iteration complete: 5000 enodes
4.692 * * [simplify]: Extracting #0: cost 90 inf + 0
4.695 * * [simplify]: Extracting #1: cost 795 inf + 7
4.703 * * [simplify]: Extracting #2: cost 1635 inf + 68
4.715 * * [simplify]: Extracting #3: cost 1897 inf + 338
4.723 * * [simplify]: Extracting #4: cost 1589 inf + 2249
4.729 * * [simplify]: Extracting #5: cost 762 inf + 17794
4.740 * * [simplify]: Extracting #6: cost 60 inf + 34899
4.746 * * [simplify]: Extracting #7: cost 0 inf + 36442
4.758 * * [simplify]: Extracting #8: cost 0 inf + 36406
4.772 * [simplify]: Simplified to:
  (exp (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (log (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (exp (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (pow (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3)
  (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (+ (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (+ (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 2.0)) (* 2.0 2.0))
  (/ (/ (- 2.0) t) (+ (/ 1.0 t) 1.0))
  (- (* 2.0 2.0) (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (+ (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 2.0)
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (+ (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt 2.0))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt t)))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt t)))
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (/ (/ (- 2.0) t) (+ (/ 1.0 t) 1.0))
  (exp (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (log (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (exp (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (pow (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 3)
  (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3))
  (+ (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (+ (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 2.0)) (* 2.0 2.0))
  (/ (/ (- 2.0) t) (+ (/ 1.0 t) 1.0))
  (- (* 2.0 2.0) (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (+ (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 2.0)
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (+ (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt 2.0))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt t)))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt t)))
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (/ (/ (- 2.0) t) (+ (/ 1.0 t) 1.0))
  2
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  2
  (* 2 (log (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (* 2 (log (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (exp (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)))
  (pow (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 6)
  (* (cbrt (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))) (cbrt (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))))
  (cbrt (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)))
  (pow (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 6)
  (fabs (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (fabs (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)) (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (* (+ (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (+ (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 2.0)) (* 2.0 2.0)) (+ (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (+ (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 2.0)) (* 2.0 2.0)))
  (* (- (* 2.0 2.0) (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (* (+ (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 2.0) (+ (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (+ (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 2.0)) (* 2.0 2.0)))
  (* (- (* 2.0 2.0) (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (* (+ (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 2.0) (+ (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (+ (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 2.0)) (* 2.0 2.0)))
  (* (+ (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 2.0) (* (+ (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 2.0) (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))))
  (* (+ (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 2.0) (+ 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (pow (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  (* (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  1
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  1
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  (* (+ (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (* (- (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (- (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (* (+ (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt 2.0)) (+ (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt 2.0)))
  (* (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0)))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0)))))
  (* (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt t))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt t))))
  (* (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt t))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt t))))
  1
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  1
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  2
  (* 2.0 (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (- (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (* 2.0 (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (- (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (* 2.0 (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (- (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (* 2.0 (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) (- (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (* (pow (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))))
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) 3)
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (* (+ (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (+ (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt 2.0)) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt t))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))
  (pow (cbrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) 3)
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  (* (- (sqrt 2.0) (sqrt (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ (/ 1.0 t) 1.0)))) (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))))
  (* (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt (+ (/ 1.0 t) 1.0))) (sqrt t))))
  (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1))
  (* (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (* (+ (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 2.0) (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)))
  (* (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (- (pow 2.0 3) (pow (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 3)))
  (* (+ (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)) 2.0) (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)))
  (log (/ 1.0 (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  (log (/ 1.0 (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  (exp (/ 1.0 (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  (pow (/ 1.0 (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)) 3)
  (* (cbrt (/ 1.0 (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0))) (cbrt (/ 1.0 (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0))))
  (cbrt (/ 1.0 (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  (pow (/ 1.0 (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)) 3)
  (sqrt (/ 1.0 (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  (sqrt (/ 1.0 (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  (- 1.0)
  (- (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)) (cbrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0))))
  (/ (cbrt 1.0) (cbrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  (/ (cbrt 1.0) (sqrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0))
  (/ (sqrt 1.0) (* (cbrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)) (cbrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0))))
  (/ (sqrt 1.0) (cbrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  (/ (sqrt 1.0) (sqrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  (/ (sqrt 1.0) (sqrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0))
  (/ 1 (* (cbrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)) (cbrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0))))
  (/ 1.0 (cbrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  (/ 1 (sqrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  (/ 1.0 (sqrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  1
  (/ 1.0 (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0))
  (/ 1 (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0))
  (/ (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0) 1.0)
  (/ 1.0 (* (cbrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)) (cbrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0))))
  (/ 1.0 (sqrt (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0)))
  1.0
  (/ (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0) (cbrt 1.0))
  (/ (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0) (sqrt 1.0))
  (/ (+ (pow (sqrt (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t)))) (+ 3 1)) 2.0) 1.0)
  (/ 1.0 (+ (pow (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) 6) (pow 2.0 3)))
  (/ 1.0 (- (* 2.0 2.0) (pow (- 2.0 (/ 2.0 (* (+ (/ 1.0 t) 1.0) t))) (+ 3 1))))
  (* 2.0 (- (+ t (pow t 3)) (* t t)))
  (+ 2.0 (- (/ (/ 2.0 t) t) (/ 2.0 t)))
  (+ 2.0 (- (/ (/ 2.0 t) t) (/ 2.0 t)))
  (* 2.0 (- (+ t (pow t 3)) (* t t)))
  (+ 2.0 (- (/ (/ 2.0 t) t) (/ 2.0 t)))
  (+ 2.0 (- (/ (/ 2.0 t) t) (/ 2.0 t)))
  (+ (* (pow t 4) 12.0) (- (* t (* t 4.0)) (* (pow t 3) 8.0)))
  (+ (- 4.0 (/ 8.0 t)) (/ (/ 12.0 t) t))
  (+ (- 4.0 (/ 8.0 t)) (/ (/ 12.0 t) t))
  (+ (* 2.0 (pow t 3)) (- 0.5 (* (* t t) 1.0)))
  (+ 0.16666666666666666 (- (/ 0.2222222222222222 t) (/ 0.037037037037037035 (* t t))))
  (+ 0.16666666666666666 (- (/ 0.2222222222222222 t) (/ 0.037037037037037035 (* t t))))
4.774 * * * [progress]: adding candidates to table
5.454 * [progress]: [Phase 3 of 3] Extracting.
5.457 * [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))))))))
5.457 * * [simplify]: iteration 0: 12 enodes
5.457 * * [simplify]: iteration 1: 14 enodes
5.458 * * [simplify]: iteration complete: 14 enodes
5.458 * * [simplify]: Extracting #0: cost 1 inf + 0
5.458 * * [simplify]: Extracting #1: cost 3 inf + 0
5.458 * * [simplify]: Extracting #2: cost 3 inf + 1
5.458 * * [simplify]: Extracting #3: cost 5 inf + 1
5.458 * * [simplify]: Extracting #4: cost 5 inf + 2
5.458 * * [simplify]: Extracting #5: cost 6 inf + 2
5.458 * * [simplify]: Extracting #6: cost 8 inf + 2
5.458 * * [simplify]: Extracting #7: cost 10 inf + 2
5.458 * * [simplify]: Extracting #8: cost 0 inf + 138
5.458 * [simplify]: Simplified to:
  (- 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))))))))
6.811 * [regime-testing]: Baseline error score: 0.027003375421927742
6.815 * [regime-testing]: Oracle error score: 0.027003375421927742
6.815 * [regime-testing]: End program error score: 0.027003375421927742