17.064 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.024 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.026 * [simplify]: Simplifying:
  (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
0.027 * * [simplify]: Extracting # 0 : cost  0
0.027 * * [simplify]: Extracting # 1 : cost  0
0.027 * * [simplify]: Extracting # 2 : cost  0
0.027 * * [simplify]: Extracting # 3 : cost  0
0.027 * * [simplify]: Extracting # 4 : cost  0
0.027 * * [simplify]: Extracting # 5 : cost  0
0.027 * * [simplify]: Extracting # 6 : cost  0
0.027 * * [simplify]: Extracting # 7 : cost  0
0.027 * * [simplify]: iteration  0 :  10  enodes  (cost  35 )
0.029 * * [simplify]: Extracting # 0 : cost  0
0.029 * * [simplify]: Extracting # 1 : cost  0
0.029 * * [simplify]: Extracting # 2 : cost  0
0.029 * * [simplify]: iteration  1 :  20  enodes  (cost  35 )
0.033 * * [simplify]: Extracting # 0 : cost  0
0.033 * * [simplify]: Extracting # 1 : cost  0
0.033 * * [simplify]: Extracting # 2 : cost  0
0.033 * * [simplify]: iteration  2 :  46  enodes  (cost  33 )
0.048 * * [simplify]: Extracting # 0 : cost  0
0.048 * * [simplify]: Extracting # 1 : cost  0
0.049 * * [simplify]: Extracting # 2 : cost  0
0.049 * * [simplify]: iteration  3 :  119  enodes  (cost  33 )
0.155 * * [simplify]: Extracting # 0 : cost  0
0.155 * * [simplify]: Extracting # 1 : cost  0
0.156 * * [simplify]: Extracting # 2 : cost  0
0.157 * * [simplify]: iteration  4 :  313  enodes  (cost  33 )
0.352 * * [simplify]: Extracting # 0 : cost  0
0.353 * * [simplify]: Extracting # 1 : cost  0
0.353 * * [simplify]: Extracting # 2 : cost  0
0.354 * * [simplify]: Extracting # 3 : cost  0
0.354 * * [simplify]: Extracting # 4 : cost  0
0.354 * * [simplify]: iteration  5 :  564  enodes  (cost  33 )
0.667 * * [simplify]: Extracting # 0 : cost  0
0.667 * * [simplify]: Extracting # 1 : cost  0
0.668 * * [simplify]: Extracting # 2 : cost  0
0.668 * * [simplify]: iteration  6 :  766  enodes  (cost  33 )
0.934 * * [simplify]: Extracting # 0 : cost  0
0.935 * * [simplify]: Extracting # 1 : cost  0
0.936 * * [simplify]: Extracting # 2 : cost  0
0.937 * * [simplify]: Extracting # 3 : cost  0
0.937 * * [simplify]: iteration  7 :  1019  enodes  (cost  33 )
1.853 * * [simplify]: Extracting # 0 : cost  0
1.855 * * [simplify]: Extracting # 1 : cost  0
1.857 * * [simplify]: Extracting # 2 : cost  0
1.859 * * [simplify]: iteration  8 :  1447  enodes  (cost  33 )
5.576 * * [simplify]: Extracting # 0 : cost  0
5.583 * * [simplify]: Extracting # 1 : cost  0
5.587 * * [simplify]: Extracting # 2 : cost  0
5.591 * * [simplify]: iteration done:  5000  enodes  (cost  33 )
5.591 * [simplify]: Simplified to:
  (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))
5.595 * * [progress]: iteration 1 / 4
5.595 * * * [progress]: picking best candidate
5.596 * * * * [pick]: Picked  #<alt (λ (t) (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))>
5.596 * * * [progress]: localizing error
5.607 * * * [progress]: generating rewritten candidates
5.607 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
5.708 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
5.802 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
5.848 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
5.898 * * * [progress]: generating series expansions
5.898 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
5.898 * [backup-simplify]: Simplify (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) into (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))
5.898 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0
5.898 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t
5.898 * [taylor]: Taking taylor expansion of 4.0 in t
5.898 * [backup-simplify]: Simplify 4.0 into 4.0
5.898 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t
5.898 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.899 * [taylor]: Taking taylor expansion of t in t
5.899 * [backup-simplify]: Simplify 0 into 0
5.899 * [backup-simplify]: Simplify 1 into 1
5.899 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t
5.899 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
5.899 * [taylor]: Taking taylor expansion of t in t
5.899 * [backup-simplify]: Simplify 0 into 0
5.899 * [backup-simplify]: Simplify 1 into 1
5.899 * [taylor]: Taking taylor expansion of 1.0 in t
5.899 * [backup-simplify]: Simplify 1.0 into 1.0
5.900 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.900 * [backup-simplify]: Simplify (* 1 1) into 1
5.900 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
5.901 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
5.901 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t
5.901 * [taylor]: Taking taylor expansion of 4.0 in t
5.901 * [backup-simplify]: Simplify 4.0 into 4.0
5.901 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t
5.901 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.901 * [taylor]: Taking taylor expansion of t in t
5.901 * [backup-simplify]: Simplify 0 into 0
5.901 * [backup-simplify]: Simplify 1 into 1
5.901 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t
5.901 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
5.901 * [taylor]: Taking taylor expansion of t in t
5.901 * [backup-simplify]: Simplify 0 into 0
5.901 * [backup-simplify]: Simplify 1 into 1
5.901 * [taylor]: Taking taylor expansion of 1.0 in t
5.901 * [backup-simplify]: Simplify 1.0 into 1.0
5.902 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.902 * [backup-simplify]: Simplify (* 1 1) into 1
5.902 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
5.903 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
5.903 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0
5.903 * [backup-simplify]: Simplify 4.0 into 4.0
5.904 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.904 * [backup-simplify]: Simplify (+ 1 0) into 1
5.906 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 1 1.0)) into 2.0
5.908 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 2.0 1.0)))) into (- 2.0)
5.910 * [backup-simplify]: Simplify (+ (* 4.0 (- 2.0)) (* 0 1.0)) into (- 8.0)
5.911 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
5.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.912 * [backup-simplify]: Simplify (+ 0 0) into 0
5.913 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 1) (* 0 1.0))) into 1
5.919 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)) (* (- 2.0) (/ 2.0 1.0)))) into 3.0
5.921 * [backup-simplify]: Simplify (+ (* 4.0 3.0) (+ (* 0 (- 2.0)) (* 0 1.0))) into 12.0
5.921 * [backup-simplify]: Simplify 12.0 into 12.0
5.922 * [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)))
5.923 * [backup-simplify]: Simplify (* (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t)))) into (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))
5.923 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0
5.923 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t
5.923 * [taylor]: Taking taylor expansion of 4.0 in t
5.923 * [backup-simplify]: Simplify 4.0 into 4.0
5.923 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t
5.923 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.923 * [taylor]: Taking taylor expansion of t in t
5.923 * [backup-simplify]: Simplify 0 into 0
5.923 * [backup-simplify]: Simplify 1 into 1
5.923 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t
5.923 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
5.923 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.923 * [taylor]: Taking taylor expansion of t in t
5.923 * [backup-simplify]: Simplify 0 into 0
5.923 * [backup-simplify]: Simplify 1 into 1
5.924 * [backup-simplify]: Simplify (/ 1 1) into 1
5.924 * [taylor]: Taking taylor expansion of 1.0 in t
5.924 * [backup-simplify]: Simplify 1.0 into 1.0
5.924 * [backup-simplify]: Simplify (+ 1 0) into 1
5.924 * [backup-simplify]: Simplify (* 1 1) into 1
5.925 * [backup-simplify]: Simplify (* 1 1) into 1
5.925 * [backup-simplify]: Simplify (* 1 1) into 1
5.926 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
5.926 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t
5.926 * [taylor]: Taking taylor expansion of 4.0 in t
5.926 * [backup-simplify]: Simplify 4.0 into 4.0
5.926 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t
5.926 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.926 * [taylor]: Taking taylor expansion of t in t
5.926 * [backup-simplify]: Simplify 0 into 0
5.926 * [backup-simplify]: Simplify 1 into 1
5.926 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t
5.926 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
5.926 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.926 * [taylor]: Taking taylor expansion of t in t
5.926 * [backup-simplify]: Simplify 0 into 0
5.926 * [backup-simplify]: Simplify 1 into 1
5.926 * [backup-simplify]: Simplify (/ 1 1) into 1
5.926 * [taylor]: Taking taylor expansion of 1.0 in t
5.926 * [backup-simplify]: Simplify 1.0 into 1.0
5.927 * [backup-simplify]: Simplify (+ 1 0) into 1
5.927 * [backup-simplify]: Simplify (* 1 1) into 1
5.927 * [backup-simplify]: Simplify (* 1 1) into 1
5.928 * [backup-simplify]: Simplify (* 1 1) into 1
5.928 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
5.928 * [backup-simplify]: Simplify 4.0 into 4.0
5.929 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.929 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.931 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 1.0 1)) into 2.0
5.931 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.933 * [backup-simplify]: Simplify (+ (* 1 2.0) (* 0 1)) into 2.0
5.936 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 2.0 1)))) into (- 8.0)
5.936 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
5.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.937 * [backup-simplify]: Simplify (+ 0 0) into 0
5.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 1.0) (* 0 1))) into 1.0
5.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.943 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 2.0) (* 0 1))) into 1.0
5.948 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 1.0 1)) (* (- 8.0) (/ 2.0 1)))) into 12.0
5.948 * [backup-simplify]: Simplify 12.0 into 12.0
5.949 * [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)))
5.950 * [backup-simplify]: Simplify (* (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t))))) into (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))
5.950 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0
5.950 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t
5.950 * [taylor]: Taking taylor expansion of 4.0 in t
5.950 * [backup-simplify]: Simplify 4.0 into 4.0
5.950 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t
5.950 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.950 * [taylor]: Taking taylor expansion of t in t
5.950 * [backup-simplify]: Simplify 0 into 0
5.950 * [backup-simplify]: Simplify 1 into 1
5.950 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t
5.950 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
5.950 * [taylor]: Taking taylor expansion of 1.0 in t
5.950 * [backup-simplify]: Simplify 1.0 into 1.0
5.950 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.950 * [taylor]: Taking taylor expansion of t in t
5.950 * [backup-simplify]: Simplify 0 into 0
5.950 * [backup-simplify]: Simplify 1 into 1
5.950 * [backup-simplify]: Simplify (/ 1 1) into 1
5.951 * [backup-simplify]: Simplify (- 1) into -1
5.951 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.957 * [backup-simplify]: Simplify (* 1 1) into 1
5.958 * [backup-simplify]: Simplify (* -1 -1) into 1
5.958 * [backup-simplify]: Simplify (* 1 1) into 1
5.959 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
5.959 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t
5.959 * [taylor]: Taking taylor expansion of 4.0 in t
5.959 * [backup-simplify]: Simplify 4.0 into 4.0
5.959 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t
5.959 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.959 * [taylor]: Taking taylor expansion of t in t
5.959 * [backup-simplify]: Simplify 0 into 0
5.959 * [backup-simplify]: Simplify 1 into 1
5.959 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t
5.959 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
5.959 * [taylor]: Taking taylor expansion of 1.0 in t
5.959 * [backup-simplify]: Simplify 1.0 into 1.0
5.959 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.959 * [taylor]: Taking taylor expansion of t in t
5.959 * [backup-simplify]: Simplify 0 into 0
5.959 * [backup-simplify]: Simplify 1 into 1
5.960 * [backup-simplify]: Simplify (/ 1 1) into 1
5.960 * [backup-simplify]: Simplify (- 1) into -1
5.960 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.961 * [backup-simplify]: Simplify (* 1 1) into 1
5.961 * [backup-simplify]: Simplify (* -1 -1) into 1
5.962 * [backup-simplify]: Simplify (* 1 1) into 1
5.962 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
5.962 * [backup-simplify]: Simplify 4.0 into 4.0
5.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.963 * [backup-simplify]: Simplify (- 0) into 0
5.964 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
5.965 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 1.0 -1)) into (- 2.0)
5.965 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.966 * [backup-simplify]: Simplify (+ (* 1 (- 2.0)) (* 0 1)) into (- 2.0)
5.968 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ (- 2.0) 1)))) into 8.0
5.969 * [backup-simplify]: Simplify 8.0 into 8.0
5.969 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.969 * [backup-simplify]: Simplify (- 0) into 0
5.969 * [backup-simplify]: Simplify (+ 0 0) into 0
5.971 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 1.0) (* 0 -1))) into 1.0
5.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.973 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 (- 2.0)) (* 0 1))) into 1.0
5.977 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 1.0 1)) (* 8.0 (/ (- 2.0) 1)))) into 12.0
5.977 * [backup-simplify]: Simplify 12.0 into 12.0
5.977 * [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)))
5.977 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
5.977 * [backup-simplify]: Simplify (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) into (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2)))
5.977 * [approximate]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in (t) around 0
5.977 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t
5.977 * [taylor]: Taking taylor expansion of 4.0 in t
5.977 * [backup-simplify]: Simplify 4.0 into 4.0
5.977 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t
5.977 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.977 * [taylor]: Taking taylor expansion of t in t
5.977 * [backup-simplify]: Simplify 0 into 0
5.977 * [backup-simplify]: Simplify 1 into 1
5.977 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t
5.977 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
5.977 * [taylor]: Taking taylor expansion of t in t
5.977 * [backup-simplify]: Simplify 0 into 0
5.977 * [backup-simplify]: Simplify 1 into 1
5.977 * [taylor]: Taking taylor expansion of 1.0 in t
5.977 * [backup-simplify]: Simplify 1.0 into 1.0
5.978 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.978 * [backup-simplify]: Simplify (* 1 1) into 1
5.978 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
5.978 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
5.978 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t
5.979 * [taylor]: Taking taylor expansion of 4.0 in t
5.979 * [backup-simplify]: Simplify 4.0 into 4.0
5.979 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t
5.979 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.979 * [taylor]: Taking taylor expansion of t in t
5.979 * [backup-simplify]: Simplify 0 into 0
5.979 * [backup-simplify]: Simplify 1 into 1
5.979 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t
5.979 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
5.979 * [taylor]: Taking taylor expansion of t in t
5.979 * [backup-simplify]: Simplify 0 into 0
5.979 * [backup-simplify]: Simplify 1 into 1
5.979 * [taylor]: Taking taylor expansion of 1.0 in t
5.979 * [backup-simplify]: Simplify 1.0 into 1.0
5.979 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.979 * [backup-simplify]: Simplify (* 1 1) into 1
5.979 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
5.980 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
5.980 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0
5.980 * [backup-simplify]: Simplify 4.0 into 4.0
5.981 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.981 * [backup-simplify]: Simplify (+ 1 0) into 1
5.982 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 1 1.0)) into 2.0
5.983 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 2.0 1.0)))) into (- 2.0)
5.985 * [backup-simplify]: Simplify (+ (* 4.0 (- 2.0)) (* 0 1.0)) into (- 8.0)
5.985 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
5.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.986 * [backup-simplify]: Simplify (+ 0 0) into 0
5.986 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 1) (* 0 1.0))) into 1
5.989 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)) (* (- 2.0) (/ 2.0 1.0)))) into 3.0
5.991 * [backup-simplify]: Simplify (+ (* 4.0 3.0) (+ (* 0 (- 2.0)) (* 0 1.0))) into 12.0
5.991 * [backup-simplify]: Simplify 12.0 into 12.0
5.991 * [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)))
5.992 * [backup-simplify]: Simplify (* (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t)))) into (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))
5.992 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in (t) around 0
5.992 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t
5.992 * [taylor]: Taking taylor expansion of 4.0 in t
5.992 * [backup-simplify]: Simplify 4.0 into 4.0
5.992 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t
5.992 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.992 * [taylor]: Taking taylor expansion of t in t
5.992 * [backup-simplify]: Simplify 0 into 0
5.992 * [backup-simplify]: Simplify 1 into 1
5.992 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t
5.992 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
5.992 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.992 * [taylor]: Taking taylor expansion of t in t
5.992 * [backup-simplify]: Simplify 0 into 0
5.992 * [backup-simplify]: Simplify 1 into 1
5.992 * [backup-simplify]: Simplify (/ 1 1) into 1
5.992 * [taylor]: Taking taylor expansion of 1.0 in t
5.992 * [backup-simplify]: Simplify 1.0 into 1.0
5.993 * [backup-simplify]: Simplify (+ 1 0) into 1
5.993 * [backup-simplify]: Simplify (* 1 1) into 1
5.993 * [backup-simplify]: Simplify (* 1 1) into 1
5.993 * [backup-simplify]: Simplify (* 1 1) into 1
5.994 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
5.994 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t
5.994 * [taylor]: Taking taylor expansion of 4.0 in t
5.994 * [backup-simplify]: Simplify 4.0 into 4.0
5.994 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t
5.994 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.994 * [taylor]: Taking taylor expansion of t in t
5.994 * [backup-simplify]: Simplify 0 into 0
5.994 * [backup-simplify]: Simplify 1 into 1
5.994 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t
5.994 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
5.994 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.994 * [taylor]: Taking taylor expansion of t in t
5.994 * [backup-simplify]: Simplify 0 into 0
5.994 * [backup-simplify]: Simplify 1 into 1
5.994 * [backup-simplify]: Simplify (/ 1 1) into 1
5.994 * [taylor]: Taking taylor expansion of 1.0 in t
5.994 * [backup-simplify]: Simplify 1.0 into 1.0
5.994 * [backup-simplify]: Simplify (+ 1 0) into 1
5.995 * [backup-simplify]: Simplify (* 1 1) into 1
5.995 * [backup-simplify]: Simplify (* 1 1) into 1
5.995 * [backup-simplify]: Simplify (* 1 1) into 1
5.995 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
5.995 * [backup-simplify]: Simplify 4.0 into 4.0
5.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.996 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.997 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 1.0 1)) into 2.0
5.998 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.999 * [backup-simplify]: Simplify (+ (* 1 2.0) (* 0 1)) into 2.0
6.002 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 2.0 1)))) into (- 8.0)
6.003 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
6.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.004 * [backup-simplify]: Simplify (+ 0 0) into 0
6.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 1.0) (* 0 1))) into 1.0
6.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.009 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 2.0) (* 0 1))) into 1.0
6.015 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 1.0 1)) (* (- 8.0) (/ 2.0 1)))) into 12.0
6.015 * [backup-simplify]: Simplify 12.0 into 12.0
6.016 * [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)))
6.016 * [backup-simplify]: Simplify (* (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t))))) into (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))
6.016 * [approximate]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in (t) around 0
6.016 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t
6.017 * [taylor]: Taking taylor expansion of 4.0 in t
6.017 * [backup-simplify]: Simplify 4.0 into 4.0
6.017 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t
6.017 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.017 * [taylor]: Taking taylor expansion of t in t
6.017 * [backup-simplify]: Simplify 0 into 0
6.017 * [backup-simplify]: Simplify 1 into 1
6.017 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t
6.017 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
6.017 * [taylor]: Taking taylor expansion of 1.0 in t
6.017 * [backup-simplify]: Simplify 1.0 into 1.0
6.017 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.017 * [taylor]: Taking taylor expansion of t in t
6.017 * [backup-simplify]: Simplify 0 into 0
6.017 * [backup-simplify]: Simplify 1 into 1
6.017 * [backup-simplify]: Simplify (/ 1 1) into 1
6.018 * [backup-simplify]: Simplify (- 1) into -1
6.018 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.018 * [backup-simplify]: Simplify (* 1 1) into 1
6.019 * [backup-simplify]: Simplify (* -1 -1) into 1
6.019 * [backup-simplify]: Simplify (* 1 1) into 1
6.020 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
6.020 * [taylor]: Taking taylor expansion of (/ 4.0 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t
6.020 * [taylor]: Taking taylor expansion of 4.0 in t
6.020 * [backup-simplify]: Simplify 4.0 into 4.0
6.020 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t
6.020 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.020 * [taylor]: Taking taylor expansion of t in t
6.020 * [backup-simplify]: Simplify 0 into 0
6.020 * [backup-simplify]: Simplify 1 into 1
6.020 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t
6.020 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
6.020 * [taylor]: Taking taylor expansion of 1.0 in t
6.020 * [backup-simplify]: Simplify 1.0 into 1.0
6.020 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.020 * [taylor]: Taking taylor expansion of t in t
6.020 * [backup-simplify]: Simplify 0 into 0
6.020 * [backup-simplify]: Simplify 1 into 1
6.020 * [backup-simplify]: Simplify (/ 1 1) into 1
6.021 * [backup-simplify]: Simplify (- 1) into -1
6.021 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.021 * [backup-simplify]: Simplify (* 1 1) into 1
6.022 * [backup-simplify]: Simplify (* -1 -1) into 1
6.022 * [backup-simplify]: Simplify (* 1 1) into 1
6.023 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
6.023 * [backup-simplify]: Simplify 4.0 into 4.0
6.024 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.024 * [backup-simplify]: Simplify (- 0) into 0
6.024 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.025 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 1.0 -1)) into (- 2.0)
6.026 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.027 * [backup-simplify]: Simplify (+ (* 1 (- 2.0)) (* 0 1)) into (- 2.0)
6.030 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ (- 2.0) 1)))) into 8.0
6.030 * [backup-simplify]: Simplify 8.0 into 8.0
6.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.030 * [backup-simplify]: Simplify (- 0) into 0
6.031 * [backup-simplify]: Simplify (+ 0 0) into 0
6.032 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 1.0) (* 0 -1))) into 1.0
6.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.034 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 (- 2.0)) (* 0 1))) into 1.0
6.037 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 1.0 1)) (* 8.0 (/ (- 2.0) 1)))) into 12.0
6.037 * [backup-simplify]: Simplify 12.0 into 12.0
6.038 * [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)))
6.038 * * * * [progress]: [ 3 / 4 ] generating series at (2)
6.038 * [backup-simplify]: Simplify (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) into (/ (+ (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) 1.0) (+ (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) 2.0))
6.038 * [approximate]: Taking taylor expansion of (/ (+ (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) 1.0) (+ (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) 2.0)) in (t) around 0
6.038 * [taylor]: Taking taylor expansion of (/ (+ (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) 1.0) (+ (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) 2.0)) in t
6.038 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) 1.0) in t
6.038 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t
6.038 * [taylor]: Taking taylor expansion of 4.0 in t
6.038 * [backup-simplify]: Simplify 4.0 into 4.0
6.038 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t
6.038 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.038 * [taylor]: Taking taylor expansion of t in t
6.038 * [backup-simplify]: Simplify 0 into 0
6.038 * [backup-simplify]: Simplify 1 into 1
6.038 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t
6.038 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
6.038 * [taylor]: Taking taylor expansion of t in t
6.038 * [backup-simplify]: Simplify 0 into 0
6.039 * [backup-simplify]: Simplify 1 into 1
6.039 * [taylor]: Taking taylor expansion of 1.0 in t
6.039 * [backup-simplify]: Simplify 1.0 into 1.0
6.039 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.039 * [backup-simplify]: Simplify (* 1 1) into 1
6.039 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.040 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.040 * [taylor]: Taking taylor expansion of 1.0 in t
6.040 * [backup-simplify]: Simplify 1.0 into 1.0
6.040 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) 2.0) in t
6.040 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t
6.040 * [taylor]: Taking taylor expansion of 4.0 in t
6.040 * [backup-simplify]: Simplify 4.0 into 4.0
6.040 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t
6.040 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.040 * [taylor]: Taking taylor expansion of t in t
6.040 * [backup-simplify]: Simplify 0 into 0
6.040 * [backup-simplify]: Simplify 1 into 1
6.040 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t
6.040 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
6.040 * [taylor]: Taking taylor expansion of t in t
6.040 * [backup-simplify]: Simplify 0 into 0
6.040 * [backup-simplify]: Simplify 1 into 1
6.040 * [taylor]: Taking taylor expansion of 1.0 in t
6.040 * [backup-simplify]: Simplify 1.0 into 1.0
6.040 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.040 * [backup-simplify]: Simplify (* 1 1) into 1
6.041 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.041 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.041 * [taylor]: Taking taylor expansion of 2.0 in t
6.041 * [backup-simplify]: Simplify 2.0 into 2.0
6.041 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.042 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
6.042 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5
6.042 * [taylor]: Taking taylor expansion of (/ (+ (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) 1.0) (+ (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) 2.0)) in t
6.042 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) 1.0) in t
6.042 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t
6.042 * [taylor]: Taking taylor expansion of 4.0 in t
6.042 * [backup-simplify]: Simplify 4.0 into 4.0
6.042 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t
6.042 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.042 * [taylor]: Taking taylor expansion of t in t
6.042 * [backup-simplify]: Simplify 0 into 0
6.042 * [backup-simplify]: Simplify 1 into 1
6.042 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t
6.042 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
6.042 * [taylor]: Taking taylor expansion of t in t
6.042 * [backup-simplify]: Simplify 0 into 0
6.042 * [backup-simplify]: Simplify 1 into 1
6.042 * [taylor]: Taking taylor expansion of 1.0 in t
6.042 * [backup-simplify]: Simplify 1.0 into 1.0
6.042 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.043 * [backup-simplify]: Simplify (* 1 1) into 1
6.043 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.043 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.043 * [taylor]: Taking taylor expansion of 1.0 in t
6.043 * [backup-simplify]: Simplify 1.0 into 1.0
6.043 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) 2.0) in t
6.043 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ t 1.0) 2))) in t
6.043 * [taylor]: Taking taylor expansion of 4.0 in t
6.043 * [backup-simplify]: Simplify 4.0 into 4.0
6.043 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ t 1.0) 2)) in t
6.043 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.043 * [taylor]: Taking taylor expansion of t in t
6.043 * [backup-simplify]: Simplify 0 into 0
6.043 * [backup-simplify]: Simplify 1 into 1
6.043 * [taylor]: Taking taylor expansion of (pow (+ t 1.0) 2) in t
6.043 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
6.043 * [taylor]: Taking taylor expansion of t in t
6.043 * [backup-simplify]: Simplify 0 into 0
6.043 * [backup-simplify]: Simplify 1 into 1
6.043 * [taylor]: Taking taylor expansion of 1.0 in t
6.043 * [backup-simplify]: Simplify 1.0 into 1.0
6.044 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.044 * [backup-simplify]: Simplify (* 1 1) into 1
6.044 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.044 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.045 * [taylor]: Taking taylor expansion of 2.0 in t
6.045 * [backup-simplify]: Simplify 2.0 into 2.0
6.045 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.045 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
6.045 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5
6.045 * [backup-simplify]: Simplify 0.5 into 0.5
6.046 * [backup-simplify]: Simplify (+ 0 0) into 0
6.046 * [backup-simplify]: Simplify (+ 0 0) into 0
6.046 * [backup-simplify]: Simplify (- (/ 0 2.0) (+ (* 0.5 (/ 0 2.0)))) into 0
6.046 * [backup-simplify]: Simplify 0 into 0
6.047 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0
6.047 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.047 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0
6.047 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.050 * [backup-simplify]: Simplify (- (/ 4.0 2.0) (+ (* 0.5 (/ 4.0 2.0)) (* 0 (/ 0 2.0)))) into 1.0
6.050 * [backup-simplify]: Simplify 1.0 into 1.0
6.050 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.050 * [backup-simplify]: Simplify (+ 1 0) into 1
6.051 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 1 1.0)) into 2.0
6.053 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 2.0 1.0)))) into (- 2.0)
6.062 * [backup-simplify]: Simplify (+ (* 4.0 (- 2.0)) (* 0 1.0)) into (- 8.0)
6.063 * [backup-simplify]: Simplify (+ (- 8.0) 0) into (- 8.0)
6.064 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.064 * [backup-simplify]: Simplify (+ 1 0) into 1
6.066 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 1 1.0)) into 2.0
6.068 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 2.0 1.0)))) into (- 2.0)
6.070 * [backup-simplify]: Simplify (+ (* 4.0 (- 2.0)) (* 0 1.0)) into (- 8.0)
6.070 * [backup-simplify]: Simplify (+ (- 8.0) 0) into (- 8.0)
6.074 * [backup-simplify]: Simplify (- (/ (- 8.0) 2.0) (+ (* 0.5 (/ (- 8.0) 2.0)) (* 0 (/ 4.0 2.0)) (* 1.0 (/ 0 2.0)))) into (- 2.0)
6.074 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
6.075 * [backup-simplify]: Simplify (+ (* (- 2.0) (pow t 3)) (+ (* 1.0 (pow t 2)) 0.5)) into (- (+ (* 1.0 (pow t 2)) 0.5) (* 2.0 (pow t 3)))
6.076 * [backup-simplify]: Simplify (/ (+ 1.0 (* (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))))) (+ 2.0 (* (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t)))))) into (/ (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) 1.0) (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) 2.0))
6.076 * [approximate]: Taking taylor expansion of (/ (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) 1.0) (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) 2.0)) in (t) around 0
6.076 * [taylor]: Taking taylor expansion of (/ (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) 1.0) (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) 2.0)) in t
6.076 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) 1.0) in t
6.076 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t
6.076 * [taylor]: Taking taylor expansion of 4.0 in t
6.076 * [backup-simplify]: Simplify 4.0 into 4.0
6.076 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t
6.076 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t
6.076 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.076 * [taylor]: Taking taylor expansion of t in t
6.076 * [backup-simplify]: Simplify 0 into 0
6.076 * [backup-simplify]: Simplify 1 into 1
6.076 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t
6.076 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
6.076 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.076 * [taylor]: Taking taylor expansion of t in t
6.076 * [backup-simplify]: Simplify 0 into 0
6.076 * [backup-simplify]: Simplify 1 into 1
6.076 * [backup-simplify]: Simplify (/ 1 1) into 1
6.076 * [taylor]: Taking taylor expansion of 1.0 in t
6.076 * [backup-simplify]: Simplify 1.0 into 1.0
6.077 * [backup-simplify]: Simplify (+ 1 0) into 1
6.077 * [backup-simplify]: Simplify (* 1 1) into 1
6.077 * [backup-simplify]: Simplify (* 1 1) into 1
6.077 * [backup-simplify]: Simplify (* 1 1) into 1
6.078 * [backup-simplify]: Simplify (/ 1 1) into 1
6.078 * [taylor]: Taking taylor expansion of 1.0 in t
6.078 * [backup-simplify]: Simplify 1.0 into 1.0
6.078 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) 2.0) in t
6.078 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t
6.078 * [taylor]: Taking taylor expansion of 4.0 in t
6.078 * [backup-simplify]: Simplify 4.0 into 4.0
6.078 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t
6.078 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t
6.078 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.078 * [taylor]: Taking taylor expansion of t in t
6.078 * [backup-simplify]: Simplify 0 into 0
6.078 * [backup-simplify]: Simplify 1 into 1
6.078 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t
6.078 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
6.078 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.078 * [taylor]: Taking taylor expansion of t in t
6.078 * [backup-simplify]: Simplify 0 into 0
6.078 * [backup-simplify]: Simplify 1 into 1
6.078 * [backup-simplify]: Simplify (/ 1 1) into 1
6.078 * [taylor]: Taking taylor expansion of 1.0 in t
6.078 * [backup-simplify]: Simplify 1.0 into 1.0
6.079 * [backup-simplify]: Simplify (+ 1 0) into 1
6.079 * [backup-simplify]: Simplify (* 1 1) into 1
6.079 * [backup-simplify]: Simplify (* 1 1) into 1
6.079 * [backup-simplify]: Simplify (* 1 1) into 1
6.079 * [backup-simplify]: Simplify (/ 1 1) into 1
6.079 * [taylor]: Taking taylor expansion of 2.0 in t
6.079 * [backup-simplify]: Simplify 2.0 into 2.0
6.080 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.080 * [backup-simplify]: Simplify (+ 4.0 1.0) into 5.0
6.080 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.081 * [backup-simplify]: Simplify (+ 4.0 2.0) into 6.0
6.081 * [backup-simplify]: Simplify (/ 5.0 6.0) into 0.8333333333333334
6.081 * [taylor]: Taking taylor expansion of (/ (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) 1.0) (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) 2.0)) in t
6.081 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) 1.0) in t
6.081 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t
6.081 * [taylor]: Taking taylor expansion of 4.0 in t
6.081 * [backup-simplify]: Simplify 4.0 into 4.0
6.081 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t
6.081 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t
6.081 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.081 * [taylor]: Taking taylor expansion of t in t
6.081 * [backup-simplify]: Simplify 0 into 0
6.081 * [backup-simplify]: Simplify 1 into 1
6.081 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t
6.081 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
6.081 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.081 * [taylor]: Taking taylor expansion of t in t
6.081 * [backup-simplify]: Simplify 0 into 0
6.081 * [backup-simplify]: Simplify 1 into 1
6.082 * [backup-simplify]: Simplify (/ 1 1) into 1
6.082 * [taylor]: Taking taylor expansion of 1.0 in t
6.082 * [backup-simplify]: Simplify 1.0 into 1.0
6.082 * [backup-simplify]: Simplify (+ 1 0) into 1
6.082 * [backup-simplify]: Simplify (* 1 1) into 1
6.082 * [backup-simplify]: Simplify (* 1 1) into 1
6.083 * [backup-simplify]: Simplify (* 1 1) into 1
6.083 * [backup-simplify]: Simplify (/ 1 1) into 1
6.083 * [taylor]: Taking taylor expansion of 1.0 in t
6.083 * [backup-simplify]: Simplify 1.0 into 1.0
6.083 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) 2.0) in t
6.083 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)))) in t
6.083 * [taylor]: Taking taylor expansion of 4.0 in t
6.083 * [backup-simplify]: Simplify 4.0 into 4.0
6.083 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2))) in t
6.083 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (/ 1 t) 1.0) 2)) in t
6.083 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.083 * [taylor]: Taking taylor expansion of t in t
6.083 * [backup-simplify]: Simplify 0 into 0
6.083 * [backup-simplify]: Simplify 1 into 1
6.083 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1.0) 2) in t
6.083 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
6.083 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.083 * [taylor]: Taking taylor expansion of t in t
6.083 * [backup-simplify]: Simplify 0 into 0
6.083 * [backup-simplify]: Simplify 1 into 1
6.083 * [backup-simplify]: Simplify (/ 1 1) into 1
6.083 * [taylor]: Taking taylor expansion of 1.0 in t
6.083 * [backup-simplify]: Simplify 1.0 into 1.0
6.084 * [backup-simplify]: Simplify (+ 1 0) into 1
6.084 * [backup-simplify]: Simplify (* 1 1) into 1
6.084 * [backup-simplify]: Simplify (* 1 1) into 1
6.084 * [backup-simplify]: Simplify (* 1 1) into 1
6.085 * [backup-simplify]: Simplify (/ 1 1) into 1
6.085 * [taylor]: Taking taylor expansion of 2.0 in t
6.085 * [backup-simplify]: Simplify 2.0 into 2.0
6.085 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.085 * [backup-simplify]: Simplify (+ 4.0 1.0) into 5.0
6.085 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.086 * [backup-simplify]: Simplify (+ 4.0 2.0) into 6.0
6.086 * [backup-simplify]: Simplify (/ 5.0 6.0) into 0.8333333333333334
6.086 * [backup-simplify]: Simplify 0.8333333333333334 into 0.8333333333333334
6.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.087 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.088 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 1.0 1)) into 2.0
6.088 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.089 * [backup-simplify]: Simplify (+ (* 1 2.0) (* 0 1)) into 2.0
6.090 * [backup-simplify]: Simplify (- (+ (* 1 (/ 2.0 1)))) into (- 2.0)
6.091 * [backup-simplify]: Simplify (+ (* 4.0 (- 2.0)) (* 0 1)) into (- 8.0)
6.092 * [backup-simplify]: Simplify (+ (- 8.0) 0) into (- 8.0)
6.093 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.093 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.094 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 1.0 1)) into 2.0
6.094 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.095 * [backup-simplify]: Simplify (+ (* 1 2.0) (* 0 1)) into 2.0
6.096 * [backup-simplify]: Simplify (- (+ (* 1 (/ 2.0 1)))) into (- 2.0)
6.099 * [backup-simplify]: Simplify (+ (* 4.0 (- 2.0)) (* 0 1)) into (- 8.0)
6.100 * [backup-simplify]: Simplify (+ (- 8.0) 0) into (- 8.0)
6.104 * [backup-simplify]: Simplify (- (/ (- 8.0) 6.0) (+ (* 0.8333333333333334 (/ (- 8.0) 6.0)))) into (- 0.2222222222222221)
6.105 * [backup-simplify]: Simplify (- 0.2222222222222221) into (- 0.2222222222222221)
6.106 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.106 * [backup-simplify]: Simplify (+ 0 0) into 0
6.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 1.0) (* 0 1))) into 1.0
6.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.112 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 2.0) (* 0 1))) into 1.0
6.117 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1.0 1)) (* (- 2.0) (/ 2.0 1)))) into 3.0
6.120 * [backup-simplify]: Simplify (+ (* 4.0 3.0) (+ (* 0 (- 2.0)) (* 0 1))) into 12.0
6.121 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
6.121 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.122 * [backup-simplify]: Simplify (+ 0 0) into 0
6.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 1.0) (* 0 1))) into 1.0
6.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.127 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 2.0) (* 0 1))) into 1.0
6.130 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1.0 1)) (* (- 2.0) (/ 2.0 1)))) into 3.0
6.131 * [backup-simplify]: Simplify (+ (* 4.0 3.0) (+ (* 0 (- 2.0)) (* 0 1))) into 12.0
6.131 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
6.135 * [backup-simplify]: Simplify (- (/ 12.0 6.0) (+ (* 0.8333333333333334 (/ 12.0 6.0)) (* (- 0.2222222222222221) (/ (- 8.0) 6.0)))) into 0.0370370370370372
6.135 * [backup-simplify]: Simplify 0.0370370370370372 into 0.0370370370370372
6.136 * [backup-simplify]: Simplify (+ (* 0.0370370370370372 (pow (/ 1 t) 2)) (+ (* (- 0.2222222222222221) (/ 1 t)) 0.8333333333333334)) into (- (+ (* 0.0370370370370372 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222221 (/ 1 t)))
6.136 * [backup-simplify]: Simplify (/ (+ 1.0 (* (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))))) (+ 2.0 (* (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t))))))) into (/ (+ (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) 1.0) (+ (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) 2.0))
6.136 * [approximate]: Taking taylor expansion of (/ (+ (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) 1.0) (+ (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) 2.0)) in (t) around 0
6.136 * [taylor]: Taking taylor expansion of (/ (+ (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) 1.0) (+ (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) 2.0)) in t
6.136 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) 1.0) in t
6.136 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t
6.137 * [taylor]: Taking taylor expansion of 4.0 in t
6.137 * [backup-simplify]: Simplify 4.0 into 4.0
6.137 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t
6.137 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t
6.137 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.137 * [taylor]: Taking taylor expansion of t in t
6.137 * [backup-simplify]: Simplify 0 into 0
6.137 * [backup-simplify]: Simplify 1 into 1
6.137 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t
6.137 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
6.137 * [taylor]: Taking taylor expansion of 1.0 in t
6.137 * [backup-simplify]: Simplify 1.0 into 1.0
6.137 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.137 * [taylor]: Taking taylor expansion of t in t
6.137 * [backup-simplify]: Simplify 0 into 0
6.137 * [backup-simplify]: Simplify 1 into 1
6.137 * [backup-simplify]: Simplify (/ 1 1) into 1
6.137 * [backup-simplify]: Simplify (- 1) into -1
6.138 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.138 * [backup-simplify]: Simplify (* 1 1) into 1
6.138 * [backup-simplify]: Simplify (* -1 -1) into 1
6.138 * [backup-simplify]: Simplify (* 1 1) into 1
6.138 * [backup-simplify]: Simplify (/ 1 1) into 1
6.138 * [taylor]: Taking taylor expansion of 1.0 in t
6.138 * [backup-simplify]: Simplify 1.0 into 1.0
6.139 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) 2.0) in t
6.139 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t
6.139 * [taylor]: Taking taylor expansion of 4.0 in t
6.139 * [backup-simplify]: Simplify 4.0 into 4.0
6.139 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t
6.139 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t
6.139 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.139 * [taylor]: Taking taylor expansion of t in t
6.139 * [backup-simplify]: Simplify 0 into 0
6.139 * [backup-simplify]: Simplify 1 into 1
6.139 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t
6.139 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
6.139 * [taylor]: Taking taylor expansion of 1.0 in t
6.139 * [backup-simplify]: Simplify 1.0 into 1.0
6.139 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.139 * [taylor]: Taking taylor expansion of t in t
6.139 * [backup-simplify]: Simplify 0 into 0
6.139 * [backup-simplify]: Simplify 1 into 1
6.139 * [backup-simplify]: Simplify (/ 1 1) into 1
6.139 * [backup-simplify]: Simplify (- 1) into -1
6.140 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.140 * [backup-simplify]: Simplify (* 1 1) into 1
6.140 * [backup-simplify]: Simplify (* -1 -1) into 1
6.140 * [backup-simplify]: Simplify (* 1 1) into 1
6.140 * [backup-simplify]: Simplify (/ 1 1) into 1
6.140 * [taylor]: Taking taylor expansion of 2.0 in t
6.141 * [backup-simplify]: Simplify 2.0 into 2.0
6.141 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.141 * [backup-simplify]: Simplify (+ 4.0 1.0) into 5.0
6.141 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.142 * [backup-simplify]: Simplify (+ 4.0 2.0) into 6.0
6.142 * [backup-simplify]: Simplify (/ 5.0 6.0) into 0.8333333333333334
6.142 * [taylor]: Taking taylor expansion of (/ (+ (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) 1.0) (+ (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) 2.0)) in t
6.142 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) 1.0) in t
6.142 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t
6.142 * [taylor]: Taking taylor expansion of 4.0 in t
6.142 * [backup-simplify]: Simplify 4.0 into 4.0
6.142 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t
6.142 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t
6.142 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.142 * [taylor]: Taking taylor expansion of t in t
6.142 * [backup-simplify]: Simplify 0 into 0
6.142 * [backup-simplify]: Simplify 1 into 1
6.142 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t
6.142 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
6.142 * [taylor]: Taking taylor expansion of 1.0 in t
6.142 * [backup-simplify]: Simplify 1.0 into 1.0
6.142 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.142 * [taylor]: Taking taylor expansion of t in t
6.142 * [backup-simplify]: Simplify 0 into 0
6.142 * [backup-simplify]: Simplify 1 into 1
6.142 * [backup-simplify]: Simplify (/ 1 1) into 1
6.143 * [backup-simplify]: Simplify (- 1) into -1
6.143 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.143 * [backup-simplify]: Simplify (* 1 1) into 1
6.143 * [backup-simplify]: Simplify (* -1 -1) into 1
6.144 * [backup-simplify]: Simplify (* 1 1) into 1
6.144 * [backup-simplify]: Simplify (/ 1 1) into 1
6.144 * [taylor]: Taking taylor expansion of 1.0 in t
6.144 * [backup-simplify]: Simplify 1.0 into 1.0
6.144 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) 2.0) in t
6.144 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)))) in t
6.144 * [taylor]: Taking taylor expansion of 4.0 in t
6.144 * [backup-simplify]: Simplify 4.0 into 4.0
6.144 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2))) in t
6.144 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (- 1.0 (/ 1 t)) 2)) in t
6.144 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.144 * [taylor]: Taking taylor expansion of t in t
6.144 * [backup-simplify]: Simplify 0 into 0
6.144 * [backup-simplify]: Simplify 1 into 1
6.144 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 t)) 2) in t
6.144 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
6.144 * [taylor]: Taking taylor expansion of 1.0 in t
6.144 * [backup-simplify]: Simplify 1.0 into 1.0
6.144 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.144 * [taylor]: Taking taylor expansion of t in t
6.144 * [backup-simplify]: Simplify 0 into 0
6.144 * [backup-simplify]: Simplify 1 into 1
6.145 * [backup-simplify]: Simplify (/ 1 1) into 1
6.145 * [backup-simplify]: Simplify (- 1) into -1
6.145 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.145 * [backup-simplify]: Simplify (* 1 1) into 1
6.145 * [backup-simplify]: Simplify (* -1 -1) into 1
6.146 * [backup-simplify]: Simplify (* 1 1) into 1
6.146 * [backup-simplify]: Simplify (/ 1 1) into 1
6.146 * [taylor]: Taking taylor expansion of 2.0 in t
6.146 * [backup-simplify]: Simplify 2.0 into 2.0
6.146 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.146 * [backup-simplify]: Simplify (+ 4.0 1.0) into 5.0
6.147 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
6.147 * [backup-simplify]: Simplify (+ 4.0 2.0) into 6.0
6.147 * [backup-simplify]: Simplify (/ 5.0 6.0) into 0.8333333333333334
6.147 * [backup-simplify]: Simplify 0.8333333333333334 into 0.8333333333333334
6.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.148 * [backup-simplify]: Simplify (- 0) into 0
6.148 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.149 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 1.0 -1)) into (- 2.0)
6.150 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.151 * [backup-simplify]: Simplify (+ (* 1 (- 2.0)) (* 0 1)) into (- 2.0)
6.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ (- 2.0) 1)))) into 2.0
6.154 * [backup-simplify]: Simplify (+ (* 4.0 2.0) (* 0 1)) into 8.0
6.154 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0
6.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.155 * [backup-simplify]: Simplify (- 0) into 0
6.156 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.157 * [backup-simplify]: Simplify (+ (* -1 1.0) (* 1.0 -1)) into (- 2.0)
6.158 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.160 * [backup-simplify]: Simplify (+ (* 1 (- 2.0)) (* 0 1)) into (- 2.0)
6.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ (- 2.0) 1)))) into 2.0
6.164 * [backup-simplify]: Simplify (+ (* 4.0 2.0) (* 0 1)) into 8.0
6.164 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0
6.174 * [backup-simplify]: Simplify (- (/ 8.0 6.0) (+ (* 0.8333333333333334 (/ 8.0 6.0)))) into 0.2222222222222221
6.174 * [backup-simplify]: Simplify 0.2222222222222221 into 0.2222222222222221
6.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.176 * [backup-simplify]: Simplify (- 0) into 0
6.176 * [backup-simplify]: Simplify (+ 0 0) into 0
6.179 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 1.0) (* 0 -1))) into 1.0
6.180 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.182 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 (- 2.0)) (* 0 1))) into 1.0
6.187 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1.0 1)) (* 2.0 (/ (- 2.0) 1)))) into 3.0
6.189 * [backup-simplify]: Simplify (+ (* 4.0 3.0) (+ (* 0 2.0) (* 0 1))) into 12.0
6.189 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
6.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.190 * [backup-simplify]: Simplify (- 0) into 0
6.190 * [backup-simplify]: Simplify (+ 0 0) into 0
6.192 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 1.0) (* 0 -1))) into 1.0
6.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.194 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 (- 2.0)) (* 0 1))) into 1.0
6.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1.0 1)) (* 2.0 (/ (- 2.0) 1)))) into 3.0
6.198 * [backup-simplify]: Simplify (+ (* 4.0 3.0) (+ (* 0 2.0) (* 0 1))) into 12.0
6.198 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
6.201 * [backup-simplify]: Simplify (- (/ 12.0 6.0) (+ (* 0.8333333333333334 (/ 12.0 6.0)) (* 0.2222222222222221 (/ 8.0 6.0)))) into 0.0370370370370372
6.201 * [backup-simplify]: Simplify 0.0370370370370372 into 0.0370370370370372
6.201 * [backup-simplify]: Simplify (+ (* 0.0370370370370372 (pow (/ 1 (- t)) 2)) (+ (* 0.2222222222222221 (/ 1 (- t))) 0.8333333333333334)) into (- (+ (* 0.0370370370370372 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222221 (/ 1 t)))
6.201 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
6.202 * [backup-simplify]: Simplify (/ (* 2.0 t) (+ 1.0 t)) into (* 2.0 (/ t (+ t 1.0)))
6.202 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0
6.202 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t
6.202 * [taylor]: Taking taylor expansion of 2.0 in t
6.202 * [backup-simplify]: Simplify 2.0 into 2.0
6.202 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t
6.202 * [taylor]: Taking taylor expansion of t in t
6.202 * [backup-simplify]: Simplify 0 into 0
6.202 * [backup-simplify]: Simplify 1 into 1
6.202 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
6.202 * [taylor]: Taking taylor expansion of t in t
6.202 * [backup-simplify]: Simplify 0 into 0
6.202 * [backup-simplify]: Simplify 1 into 1
6.202 * [taylor]: Taking taylor expansion of 1.0 in t
6.202 * [backup-simplify]: Simplify 1.0 into 1.0
6.202 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.202 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.202 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t
6.203 * [taylor]: Taking taylor expansion of 2.0 in t
6.203 * [backup-simplify]: Simplify 2.0 into 2.0
6.203 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t
6.203 * [taylor]: Taking taylor expansion of t in t
6.203 * [backup-simplify]: Simplify 0 into 0
6.203 * [backup-simplify]: Simplify 1 into 1
6.203 * [taylor]: Taking taylor expansion of (+ t 1.0) in t
6.203 * [taylor]: Taking taylor expansion of t in t
6.203 * [backup-simplify]: Simplify 0 into 0
6.203 * [backup-simplify]: Simplify 1 into 1
6.203 * [taylor]: Taking taylor expansion of 1.0 in t
6.203 * [backup-simplify]: Simplify 1.0 into 1.0
6.203 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.203 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
6.204 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
6.204 * [backup-simplify]: Simplify 2.0 into 2.0
6.204 * [backup-simplify]: Simplify (+ 1 0) into 1
6.206 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1 1.0)))) into (- 1.0)
6.207 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
6.207 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
6.207 * [backup-simplify]: Simplify (+ 0 0) into 0
6.210 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1 1.0)))) into 1.0
6.211 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
6.211 * [backup-simplify]: Simplify 2.0 into 2.0
6.212 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
6.212 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 t)) (+ 1.0 (/ 1 t))) into (/ 2.0 (* t (+ (/ 1 t) 1.0)))
6.212 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0
6.212 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t
6.212 * [taylor]: Taking taylor expansion of 2.0 in t
6.212 * [backup-simplify]: Simplify 2.0 into 2.0
6.212 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t
6.212 * [taylor]: Taking taylor expansion of t in t
6.212 * [backup-simplify]: Simplify 0 into 0
6.212 * [backup-simplify]: Simplify 1 into 1
6.212 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
6.212 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.212 * [taylor]: Taking taylor expansion of t in t
6.212 * [backup-simplify]: Simplify 0 into 0
6.212 * [backup-simplify]: Simplify 1 into 1
6.213 * [backup-simplify]: Simplify (/ 1 1) into 1
6.213 * [taylor]: Taking taylor expansion of 1.0 in t
6.213 * [backup-simplify]: Simplify 1.0 into 1.0
6.213 * [backup-simplify]: Simplify (+ 1 0) into 1
6.213 * [backup-simplify]: Simplify (* 0 1) into 0
6.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.214 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.214 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
6.215 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
6.215 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t
6.215 * [taylor]: Taking taylor expansion of 2.0 in t
6.215 * [backup-simplify]: Simplify 2.0 into 2.0
6.215 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t
6.215 * [taylor]: Taking taylor expansion of t in t
6.215 * [backup-simplify]: Simplify 0 into 0
6.215 * [backup-simplify]: Simplify 1 into 1
6.215 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t
6.215 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.215 * [taylor]: Taking taylor expansion of t in t
6.215 * [backup-simplify]: Simplify 0 into 0
6.215 * [backup-simplify]: Simplify 1 into 1
6.215 * [backup-simplify]: Simplify (/ 1 1) into 1
6.215 * [taylor]: Taking taylor expansion of 1.0 in t
6.215 * [backup-simplify]: Simplify 1.0 into 1.0
6.215 * [backup-simplify]: Simplify (+ 1 0) into 1
6.216 * [backup-simplify]: Simplify (* 0 1) into 0
6.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.216 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.217 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1)) into 1
6.217 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
6.217 * [backup-simplify]: Simplify 2.0 into 2.0
6.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.218 * [backup-simplify]: Simplify (+ 0 0) into 0
6.219 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1))) into 1.0
6.221 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 1.0 1)))) into (- 2.0)
6.221 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
6.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.222 * [backup-simplify]: Simplify (+ 0 0) into 0
6.223 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1)))) into 0
6.226 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* (- 2.0) (/ 1.0 1)))) into 2.0
6.226 * [backup-simplify]: Simplify 2.0 into 2.0
6.226 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
6.226 * [backup-simplify]: Simplify (/ (* 2.0 (/ 1 (- t))) (+ 1.0 (/ 1 (- t)))) into (/ -2.0 (* t (- 1.0 (/ 1 t))))
6.226 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0
6.226 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t
6.226 * [taylor]: Taking taylor expansion of -2.0 in t
6.226 * [backup-simplify]: Simplify -2.0 into -2.0
6.226 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t
6.226 * [taylor]: Taking taylor expansion of t in t
6.226 * [backup-simplify]: Simplify 0 into 0
6.226 * [backup-simplify]: Simplify 1 into 1
6.226 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
6.226 * [taylor]: Taking taylor expansion of 1.0 in t
6.227 * [backup-simplify]: Simplify 1.0 into 1.0
6.227 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.227 * [taylor]: Taking taylor expansion of t in t
6.227 * [backup-simplify]: Simplify 0 into 0
6.227 * [backup-simplify]: Simplify 1 into 1
6.227 * [backup-simplify]: Simplify (/ 1 1) into 1
6.227 * [backup-simplify]: Simplify (- 1) into -1
6.227 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.228 * [backup-simplify]: Simplify (* 0 -1) into 0
6.228 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.228 * [backup-simplify]: Simplify (- 0) into 0
6.229 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.229 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
6.229 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0
6.229 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t
6.229 * [taylor]: Taking taylor expansion of -2.0 in t
6.229 * [backup-simplify]: Simplify -2.0 into -2.0
6.229 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t
6.229 * [taylor]: Taking taylor expansion of t in t
6.229 * [backup-simplify]: Simplify 0 into 0
6.229 * [backup-simplify]: Simplify 1 into 1
6.229 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t
6.229 * [taylor]: Taking taylor expansion of 1.0 in t
6.229 * [backup-simplify]: Simplify 1.0 into 1.0
6.229 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.229 * [taylor]: Taking taylor expansion of t in t
6.229 * [backup-simplify]: Simplify 0 into 0
6.229 * [backup-simplify]: Simplify 1 into 1
6.230 * [backup-simplify]: Simplify (/ 1 1) into 1
6.230 * [backup-simplify]: Simplify (- 1) into -1
6.230 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.230 * [backup-simplify]: Simplify (* 0 -1) into 0
6.231 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.231 * [backup-simplify]: Simplify (- 0) into 0
6.231 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
6.232 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 -1)) into -1
6.232 * [backup-simplify]: Simplify (/ -2.0 -1) into 2.0
6.232 * [backup-simplify]: Simplify 2.0 into 2.0
6.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.233 * [backup-simplify]: Simplify (- 0) into 0
6.233 * [backup-simplify]: Simplify (+ 0 0) into 0
6.235 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 -1))) into 1.0
6.237 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 1.0 -1)))) into 2.0
6.237 * [backup-simplify]: Simplify 2.0 into 2.0
6.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.238 * [backup-simplify]: Simplify (- 0) into 0
6.238 * [backup-simplify]: Simplify (+ 0 0) into 0
6.238 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 -1)))) into 0
6.241 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* 2.0 (/ 0 -1)) (* 2.0 (/ 1.0 -1)))) into 2.0
6.241 * [backup-simplify]: Simplify 2.0 into 2.0
6.242 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
6.242 * * * [progress]: simplifying candidates
6.248 * [simplify]: Simplifying:
  (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (+ 1 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (+ 1 1)
  (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))))
  (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))))
  (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))))
  (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))))
  (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))))
  (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))))
  (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))))
  (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))))
  (+ (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))))
  (log (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))))
  (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
  (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (* (* 2.0 t) (* 2.0 t))
  (* (+ 1.0 t) (+ 1.0 t))
  (* (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))))
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))))
  (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t))))
  (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))))
  (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* 1 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (* 2.0 t) (* 2.0 t))
  (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t)))
  (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))))
  (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))))
  (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))))
  (* (- 1.0 t) (- 1.0 t))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1))
  (* (/ (* 2.0 t) (+ 1.0 t)) 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))))
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ 1 (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t))
  (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (expm1 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (log1p (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (+ 1 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (+ 1 1)
  (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))))
  (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))))
  (+ (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))))
  (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))))
  (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))))
  (+ (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))))
  (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))))
  (+ (log (/ (* 2.0 t) (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))))
  (+ (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))))
  (log (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (exp (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))))
  (* (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
  (cbrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (* (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (sqrt (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))
  (* (* 2.0 t) (* 2.0 t))
  (* (+ 1.0 t) (+ 1.0 t))
  (* (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))))
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))))
  (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t))))
  (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))))
  (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* (/ 2.0 1) (/ 2.0 1))
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* 1 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (* 2.0 t) (* 2.0 t))
  (* (/ 1 (+ 1.0 t)) (/ 1 (+ 1.0 t)))
  (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))))
  (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))))
  (* (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))))
  (* (- 1.0 t) (- 1.0 t))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (sqrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 1))
  (* (/ (* 2.0 t) (+ 1.0 t)) 1)
  (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))))
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (sqrt (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ 1 (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (+ (* 1.0 1.0) (- (* t t) (* 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ (* 2.0 t) (+ 1.0 t)) (* 2.0 t))
  (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (expm1 (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (log1p (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (- (log (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (log (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (log (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (exp (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (/ (* (* (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (* (* (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (* (cbrt (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (cbrt (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))
  (cbrt (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (* (* (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (sqrt (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (sqrt (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (- (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
  (- (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
  (/ (* (cbrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (* (cbrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))
  (/ (cbrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (/ (* (cbrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) (sqrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (/ (cbrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (sqrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (/ (* (cbrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))) 1)
  (/ (cbrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
  (/ (sqrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (* (cbrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))
  (/ (sqrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (/ (sqrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (sqrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (/ (sqrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (sqrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (/ (sqrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) 1)
  (/ (sqrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
  (/ 1 (* (cbrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))
  (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (/ 1 (sqrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (/ 1 1)
  (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
  (/ 1 (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
  (/ (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
  (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* (cbrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) (cbrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))
  (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) 1)
  (/ (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (/ (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (sqrt (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (/ (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
  (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ (pow 2.0 3) (pow (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) 3)))
  (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (- (* 2.0 2.0) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))
  (* (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ (* 1.0 1.0) (- (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (* 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))))
  (* (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (- 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))))
  (expm1 (/ (* 2.0 t) (+ 1.0 t)))
  (log1p (/ (* 2.0 t) (+ 1.0 t)))
  (- (+ (log 2.0) (log t)) (log (+ 1.0 t)))
  (- (log (* 2.0 t)) (log (+ 1.0 t)))
  (log (/ (* 2.0 t) (+ 1.0 t)))
  (exp (/ (* 2.0 t) (+ 1.0 t)))
  (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))
  (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t)))
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))
  (cbrt (/ (* 2.0 t) (+ 1.0 t)))
  (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (sqrt (/ (* 2.0 t) (+ 1.0 t)))
  (sqrt (/ (* 2.0 t) (+ 1.0 t)))
  (- (* 2.0 t))
  (- (+ 1.0 t))
  (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (/ t (cbrt (+ 1.0 t)))
  (/ 2.0 (sqrt (+ 1.0 t)))
  (/ t (sqrt (+ 1.0 t)))
  (/ 2.0 1)
  (/ t (+ 1.0 t))
  (/ 2.0 1)
  (/ t (+ 1.0 t))
  (/ 1 (+ 1.0 t))
  (/ (+ 1.0 t) (* 2.0 t))
  (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (/ (* 2.0 t) (sqrt (+ 1.0 t)))
  (/ (* 2.0 t) 1)
  (/ (* 2.0 t) 1)
  (/ (+ 1.0 t) t)
  (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3)))
  (/ (* 2.0 t) (- (* 1.0 1.0) (* t 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)))
  (- (+ (* 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)))
  (- (+ (* 1.0 (pow t 2)) 0.5) (* 2.0 (pow t 3)))
  (- (+ (* 0.0370370370370372 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222221 (/ 1 t)))
  (- (+ (* 0.0370370370370372 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222221 (/ 1 t)))
  (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
6.260 * * [simplify]: Extracting # 0 : cost  0
6.261 * * [simplify]: Extracting # 1 : cost  0
6.261 * * [simplify]: Extracting # 2 : cost  0
6.262 * * [simplify]: Extracting # 3 : cost  0
6.262 * * [simplify]: Extracting # 4 : cost  0
6.263 * * [simplify]: Extracting # 5 : cost  0
6.263 * * [simplify]: Extracting # 6 : cost  0
6.264 * * [simplify]: Extracting # 7 : cost  0
6.265 * * [simplify]: iteration  0 :  223  enodes  (cost  5239 )
6.354 * * [simplify]: Extracting # 0 : cost  0
6.355 * * [simplify]: Extracting # 1 : cost  0
6.356 * * [simplify]: Extracting # 2 : cost  0
6.357 * * [simplify]: Extracting # 3 : cost  0
6.358 * * [simplify]: Extracting # 4 : cost  0
6.359 * * [simplify]: Extracting # 5 : cost  0
6.360 * * [simplify]: iteration  1 :  630  enodes  (cost  4649 )
6.896 * * [simplify]: Extracting # 0 : cost  0
6.903 * * [simplify]: Extracting # 1 : cost  0
6.908 * * [simplify]: Extracting # 2 : cost  0
6.914 * * [simplify]: Extracting # 3 : cost  0
6.919 * * [simplify]: Extracting # 4 : cost  0
6.922 * * [simplify]: iteration  2 :  2388  enodes  (cost  3685 )
8.297 * * [simplify]: Extracting # 0 : cost  0
8.303 * * [simplify]: Extracting # 1 : cost  0
8.309 * * [simplify]: Extracting # 2 : cost  0
8.314 * * [simplify]: Extracting # 3 : cost  0
8.320 * * [simplify]: Extracting # 4 : cost  0
8.326 * * [simplify]: Extracting # 5 : cost  0
8.332 * * [simplify]: Extracting # 6 : cost  0
8.339 * * [simplify]: iteration done:  5000  enodes  (cost  3417 )
8.341 * [simplify]: Simplified to:
  (expm1 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))
  (log1p (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))
  2
  (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))
  2
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (exp (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (* (cbrt (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (cbrt (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))
  (cbrt (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (fabs (/ (* 2.0 t) (+ 1.0 t)))
  (fabs (/ (* 2.0 t) (+ 1.0 t)))
  (* (* 2.0 t) (* 2.0 t))
  (* (+ 1.0 t) (+ 1.0 t))
  (pow (cbrt (/ (* 2.0 t) (+ 1.0 t))) (+ 3 1))
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ 2.0 (+ 1.0 t)) t)
  (* (/ 2.0 (+ 1.0 t)) t)
  (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))))
  (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t))))
  (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))))
  (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))))
  (* 2.0 2.0)
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* 2.0 2.0)
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* 2.0 2.0)
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* 2.0 2.0)
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  1
  (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))
  (* (* 2.0 t) (* 2.0 t))
  (/ (/ 1 (+ 1.0 t)) (+ 1.0 t))
  (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))))
  (* (fma 1.0 1.0 (* t (- t 1.0))) (fma 1.0 1.0 (* t (- t 1.0))))
  (/ (/ (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)) (- 1.0 t)) (- 1.0 t))
  (* (- 1.0 t) (- 1.0 t))
  (* (/ 2.0 (+ 1.0 t)) t)
  (* (/ 2.0 (+ 1.0 t)) t)
  2
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (cbrt (/ (* 2.0 t) (+ 1.0 t))) (+ 3 1)))
  (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3)
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t))))
  (* (/ 2.0 (/ (+ 1.0 t) t)) 2.0)
  (* (/ 2.0 (/ (+ 1.0 t) t)) 2.0)
  (* (/ 2.0 (+ 1.0 t)) t)
  (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))))
  (/ (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)) (- 1.0 t))
  (pow (cbrt (/ (* 2.0 t) (+ 1.0 t))) (+ 3 1))
  (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3)
  (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))
  (/ (/ (* 2.0 t) (+ 1.0 t)) (+ 1.0 t))
  (* (fma 1.0 1.0 (* t (- t 1.0))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (expm1 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))
  (log1p (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))
  2
  (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))
  2
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (* 2 (log (/ (* 2.0 t) (+ 1.0 t))))
  (exp (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (* (cbrt (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (cbrt (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))
  (cbrt (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))
  (pow (/ (* 2.0 t) (+ 1.0 t)) 6)
  (fabs (/ (* 2.0 t) (+ 1.0 t)))
  (fabs (/ (* 2.0 t) (+ 1.0 t)))
  (* (* 2.0 t) (* 2.0 t))
  (* (+ 1.0 t) (+ 1.0 t))
  (pow (cbrt (/ (* 2.0 t) (+ 1.0 t))) (+ 3 1))
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))
  (* (/ 2.0 (+ 1.0 t)) t)
  (* (/ 2.0 (+ 1.0 t)) t)
  (* (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))))
  (* (/ t (cbrt (+ 1.0 t))) (/ t (cbrt (+ 1.0 t))))
  (* (/ 2.0 (sqrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))))
  (* (/ t (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))))
  (* 2.0 2.0)
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* 2.0 2.0)
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* 2.0 2.0)
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  (* 2.0 2.0)
  (* (/ t (+ 1.0 t)) (/ t (+ 1.0 t)))
  1
  (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))
  (* (* 2.0 t) (* 2.0 t))
  (/ (/ 1 (+ 1.0 t)) (+ 1.0 t))
  (* (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))))
  (* (fma 1.0 1.0 (* t (- t 1.0))) (fma 1.0 1.0 (* t (- t 1.0))))
  (/ (/ (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)) (- 1.0 t)) (- 1.0 t))
  (* (- 1.0 t) (- 1.0 t))
  (* (/ 2.0 (+ 1.0 t)) t)
  (* (/ 2.0 (+ 1.0 t)) t)
  2
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (cbrt (/ (* 2.0 t) (+ 1.0 t))) (+ 3 1)))
  (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3)
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ 2.0 (sqrt (+ 1.0 t))))
  (* (/ 2.0 (/ (+ 1.0 t) t)) 2.0)
  (* (/ 2.0 (/ (+ 1.0 t) t)) 2.0)
  (* (/ 2.0 (+ 1.0 t)) t)
  (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))))
  (/ (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)) (- 1.0 t))
  (pow (cbrt (/ (* 2.0 t) (+ 1.0 t))) (+ 3 1))
  (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 3)
  (* (/ t (cbrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (sqrt (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (* (/ t (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))
  (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))
  (/ (/ (* 2.0 t) (+ 1.0 t)) (+ 1.0 t))
  (* (fma 1.0 1.0 (* t (- t 1.0))) (/ (* 2.0 t) (+ 1.0 t)))
  (* (- 1.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (* (* 2.0 t) (/ (* 2.0 t) (+ 1.0 t)))
  (expm1 (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (log1p (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (log (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (log (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (exp (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (pow (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) 3)
  (* (cbrt (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))) (cbrt (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))))
  (cbrt (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (pow (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) 3)
  (sqrt (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (sqrt (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (- (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))
  (- (- 2.0) (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))
  (/ (* (cbrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) (cbrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))) (* (cbrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) (cbrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))))
  (/ (cbrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) (cbrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (/ (cbrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) (/ (sqrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) (cbrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))))
  (/ (cbrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) (sqrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (* (cbrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) (cbrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (/ (cbrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))
  (/ (sqrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) (* (cbrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) (cbrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))))
  (/ (sqrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) (cbrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (/ (sqrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) (sqrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (/ (sqrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) (sqrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (sqrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))
  (/ (sqrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))) (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))
  (/ (/ 1 (cbrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))) (cbrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (cbrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (/ 1 (sqrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (sqrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  1
  (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))
  (/ 1 (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))
  (/ (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))
  (/ (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (cbrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))) (cbrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (sqrt (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))
  (/ (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (cbrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (/ (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (sqrt (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)))))
  (/ (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))
  (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (+ (pow 2.0 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 6)))
  (/ (+ 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (fma 2.0 2.0 (- (pow (* (/ 2.0 (+ 1.0 t)) t) (+ 3 1)))))
  (* (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (fma 1.0 1.0 (fma (- 1.0) (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1)) (pow (* (/ 2.0 (+ 1.0 t)) t) (+ 3 1)))))
  (* (+ 2.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))) (- 1.0 (pow (sqrt (* (/ 2.0 (+ 1.0 t)) t)) (+ 3 1))))
  (expm1 (/ (* 2.0 t) (+ 1.0 t)))
  (log1p (/ (* 2.0 t) (+ 1.0 t)))
  (log (/ (* 2.0 t) (+ 1.0 t)))
  (log (/ (* 2.0 t) (+ 1.0 t)))
  (log (/ (* 2.0 t) (+ 1.0 t)))
  (exp (/ (* 2.0 t) (+ 1.0 t)))
  (pow (/ (* 2.0 t) (+ 1.0 t)) 3)
  (pow (/ (* 2.0 t) (+ 1.0 t)) 3)
  (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t))))
  (cbrt (/ (* 2.0 t) (+ 1.0 t)))
  (pow (/ (* 2.0 t) (+ 1.0 t)) 3)
  (sqrt (* (/ 2.0 (+ 1.0 t)) t))
  (sqrt (* (/ 2.0 (+ 1.0 t)) t))
  (- (* 2.0 t))
  (- (+ 1.0 t))
  (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (/ t (cbrt (+ 1.0 t)))
  (/ 2.0 (sqrt (+ 1.0 t)))
  (/ t (sqrt (+ 1.0 t)))
  2.0
  (/ t (+ 1.0 t))
  2.0
  (/ t (+ 1.0 t))
  (/ 1 (+ 1.0 t))
  (/ (+ 1.0 t) (* 2.0 t))
  (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t))))
  (* (/ t (sqrt (+ 1.0 t))) 2.0)
  (* t 2.0)
  (* t 2.0)
  (/ (+ 1.0 t) t)
  (/ t (/ (+ (pow 1.0 3) (pow t 3)) 2.0))
  (* (/ 2.0 (- (* 1.0 1.0) (* t t))) t)
  (- (fma 4.0 (* t t) (* 12.0 (pow t 4))) (* 8.0 (pow t 3)))
  (+ (/ 12.0 (* t t)) (- 4.0 (/ 8.0 t)))
  (+ (/ 12.0 (* t t)) (- 4.0 (/ 8.0 t)))
  (- (fma 4.0 (* t t) (* 12.0 (pow t 4))) (* 8.0 (pow t 3)))
  (+ (/ 12.0 (* t t)) (- 4.0 (/ 8.0 t)))
  (+ (/ 12.0 (* t t)) (- 4.0 (/ 8.0 t)))
  (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3)))
  (- (+ 0.8333333333333334 (/ 0.0370370370370372 (* t t))) (/ 0.2222222222222221 t))
  (- (+ 0.8333333333333334 (/ 0.0370370370370372 (* t t))) (/ 0.2222222222222221 t))
  (fma (pow t 3) 2.0 (* 2.0 (- t (* t t))))
  (+ (- 2.0 (/ 2.0 t)) (/ (/ 2.0 t) t))
  (+ (- 2.0 (/ 2.0 t)) (/ (/ 2.0 t) t))
8.344 * * * [progress]: adding candidates to table
9.377 * * [progress]: iteration 2 / 4
9.377 * * * [progress]: picking best candidate
9.379 * * * * [pick]: Picked  #<alt (λ (t) (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3))))>
9.379 * * * [progress]: localizing error
9.393 * * * [progress]: generating rewritten candidates
9.393 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
9.410 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
9.425 * * * [progress]: generating series expansions
9.425 * * * * [progress]: [ 1 / 2 ] generating series at (2)
9.425 * [backup-simplify]: Simplify (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3))) into (- (fma 1.0 (pow t 2) 0.5) (* 2.0 (pow t 3)))
9.425 * [approximate]: Taking taylor expansion of (- (fma 1.0 (pow t 2) 0.5) (* 2.0 (pow t 3))) in (t) around 0
9.425 * [taylor]: Taking taylor expansion of (- (fma 1.0 (pow t 2) 0.5) (* 2.0 (pow t 3))) in t
9.425 * [taylor]: Taking taylor expansion of (fma 1.0 (pow t 2) 0.5) in t
9.425 * [taylor]: Rewrote expression to (+ (* 1.0 (pow t 2)) 0.5)
9.425 * [taylor]: Taking taylor expansion of (* 1.0 (pow t 2)) in t
9.425 * [taylor]: Taking taylor expansion of 1.0 in t
9.426 * [backup-simplify]: Simplify 1.0 into 1.0
9.426 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.426 * [taylor]: Taking taylor expansion of t in t
9.426 * [backup-simplify]: Simplify 0 into 0
9.426 * [backup-simplify]: Simplify 1 into 1
9.426 * [taylor]: Taking taylor expansion of 0.5 in t
9.426 * [backup-simplify]: Simplify 0.5 into 0.5
9.426 * [taylor]: Taking taylor expansion of (* 2.0 (pow t 3)) in t
9.426 * [taylor]: Taking taylor expansion of 2.0 in t
9.426 * [backup-simplify]: Simplify 2.0 into 2.0
9.426 * [taylor]: Taking taylor expansion of (pow t 3) in t
9.426 * [taylor]: Taking taylor expansion of t in t
9.426 * [backup-simplify]: Simplify 0 into 0
9.426 * [backup-simplify]: Simplify 1 into 1
9.426 * [taylor]: Taking taylor expansion of (- (fma 1.0 (pow t 2) 0.5) (* 2.0 (pow t 3))) in t
9.426 * [taylor]: Taking taylor expansion of (fma 1.0 (pow t 2) 0.5) in t
9.426 * [taylor]: Rewrote expression to (+ (* 1.0 (pow t 2)) 0.5)
9.426 * [taylor]: Taking taylor expansion of (* 1.0 (pow t 2)) in t
9.426 * [taylor]: Taking taylor expansion of 1.0 in t
9.426 * [backup-simplify]: Simplify 1.0 into 1.0
9.426 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.426 * [taylor]: Taking taylor expansion of t in t
9.426 * [backup-simplify]: Simplify 0 into 0
9.426 * [backup-simplify]: Simplify 1 into 1
9.426 * [taylor]: Taking taylor expansion of 0.5 in t
9.426 * [backup-simplify]: Simplify 0.5 into 0.5
9.426 * [taylor]: Taking taylor expansion of (* 2.0 (pow t 3)) in t
9.426 * [taylor]: Taking taylor expansion of 2.0 in t
9.426 * [backup-simplify]: Simplify 2.0 into 2.0
9.426 * [taylor]: Taking taylor expansion of (pow t 3) in t
9.426 * [taylor]: Taking taylor expansion of t in t
9.426 * [backup-simplify]: Simplify 0 into 0
9.426 * [backup-simplify]: Simplify 1 into 1
9.427 * [backup-simplify]: Simplify (+ 0 0.5) into 0.5
9.427 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
9.427 * [backup-simplify]: Simplify 0.5 into 0.5
9.427 * [backup-simplify]: Simplify (+ 0 0) into 0
9.428 * [backup-simplify]: Simplify (+ 0 0) into 0
9.428 * [backup-simplify]: Simplify 0 into 0
9.428 * [backup-simplify]: Simplify (* 1 1) into 1
9.428 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
9.428 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.429 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.429 * [backup-simplify]: Simplify 1.0 into 1.0
9.429 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.430 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
9.430 * [backup-simplify]: Simplify (+ 0 0) into 0
9.430 * [backup-simplify]: Simplify (* 1 1) into 1
9.430 * [backup-simplify]: Simplify (* 1 1) into 1
9.431 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
9.431 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
9.431 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
9.432 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
9.433 * [backup-simplify]: Simplify (+ (* (- 2.0) (pow t 3)) (+ (* 1.0 (pow t 2)) 0.5)) into (- (+ (* 1.0 (pow t 2)) 0.5) (* 2.0 (pow t 3)))
9.433 * [backup-simplify]: Simplify (- (fma 1.0 (* (/ 1 t) (/ 1 t)) 0.5) (* 2.0 (pow (/ 1 t) 3))) into (- (fma 1.0 (/ 1 (pow t 2)) 0.5) (* 2.0 (/ 1 (pow t 3))))
9.433 * [approximate]: Taking taylor expansion of (- (fma 1.0 (/ 1 (pow t 2)) 0.5) (* 2.0 (/ 1 (pow t 3)))) in (t) around 0
9.433 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ 1 (pow t 2)) 0.5) (* 2.0 (/ 1 (pow t 3)))) in t
9.433 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 (pow t 2)) 0.5) in t
9.433 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 (pow t 2))) 0.5)
9.434 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow t 2))) in t
9.434 * [taylor]: Taking taylor expansion of 1.0 in t
9.434 * [backup-simplify]: Simplify 1.0 into 1.0
9.434 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
9.434 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.434 * [taylor]: Taking taylor expansion of t in t
9.434 * [backup-simplify]: Simplify 0 into 0
9.434 * [backup-simplify]: Simplify 1 into 1
9.434 * [backup-simplify]: Simplify (* 1 1) into 1
9.435 * [backup-simplify]: Simplify (/ 1 1) into 1
9.435 * [taylor]: Taking taylor expansion of 0.5 in t
9.435 * [backup-simplify]: Simplify 0.5 into 0.5
9.435 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 3))) in t
9.435 * [taylor]: Taking taylor expansion of 2.0 in t
9.435 * [backup-simplify]: Simplify 2.0 into 2.0
9.435 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
9.435 * [taylor]: Taking taylor expansion of (pow t 3) in t
9.435 * [taylor]: Taking taylor expansion of t in t
9.435 * [backup-simplify]: Simplify 0 into 0
9.435 * [backup-simplify]: Simplify 1 into 1
9.435 * [backup-simplify]: Simplify (* 1 1) into 1
9.436 * [backup-simplify]: Simplify (* 1 1) into 1
9.436 * [backup-simplify]: Simplify (/ 1 1) into 1
9.436 * [taylor]: Taking taylor expansion of (- (fma 1.0 (/ 1 (pow t 2)) 0.5) (* 2.0 (/ 1 (pow t 3)))) in t
9.436 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 (pow t 2)) 0.5) in t
9.436 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 (pow t 2))) 0.5)
9.436 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow t 2))) in t
9.436 * [taylor]: Taking taylor expansion of 1.0 in t
9.436 * [backup-simplify]: Simplify 1.0 into 1.0
9.436 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
9.436 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.436 * [taylor]: Taking taylor expansion of t in t
9.436 * [backup-simplify]: Simplify 0 into 0
9.436 * [backup-simplify]: Simplify 1 into 1
9.437 * [backup-simplify]: Simplify (* 1 1) into 1
9.437 * [backup-simplify]: Simplify (/ 1 1) into 1
9.437 * [taylor]: Taking taylor expansion of 0.5 in t
9.437 * [backup-simplify]: Simplify 0.5 into 0.5
9.437 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 3))) in t
9.437 * [taylor]: Taking taylor expansion of 2.0 in t
9.437 * [backup-simplify]: Simplify 2.0 into 2.0
9.437 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
9.437 * [taylor]: Taking taylor expansion of (pow t 3) in t
9.437 * [taylor]: Taking taylor expansion of t in t
9.438 * [backup-simplify]: Simplify 0 into 0
9.438 * [backup-simplify]: Simplify 1 into 1
9.438 * [backup-simplify]: Simplify (* 1 1) into 1
9.438 * [backup-simplify]: Simplify (* 1 1) into 1
9.439 * [backup-simplify]: Simplify (/ 1 1) into 1
9.439 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
9.440 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
9.441 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
9.441 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
9.442 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
9.442 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.443 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.443 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.445 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0
9.445 * [backup-simplify]: Simplify (- 0) into 0
9.446 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.446 * [backup-simplify]: Simplify 1.0 into 1.0
9.446 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.448 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
9.448 * [backup-simplify]: Simplify (+ 0 0) into 0
9.449 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.451 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.452 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
9.453 * [backup-simplify]: Simplify (- 0) into 0
9.453 * [backup-simplify]: Simplify (+ 0 0) into 0
9.453 * [backup-simplify]: Simplify 0 into 0
9.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.456 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
9.457 * [backup-simplify]: Simplify (+ 0 0.5) into 0.5
9.458 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.460 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.461 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.462 * [backup-simplify]: Simplify (- 0) into 0
9.462 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
9.462 * [backup-simplify]: Simplify 0.5 into 0.5
9.463 * [backup-simplify]: Simplify (+ 0.5 (+ (* 1.0 (pow (/ 1 (/ 1 t)) 2)) (* (- 2.0) (pow (/ 1 (/ 1 t)) 3)))) into (- (+ (* 1.0 (pow t 2)) 0.5) (* 2.0 (pow t 3)))
9.464 * [backup-simplify]: Simplify (- (fma 1.0 (* (/ 1 (- t)) (/ 1 (- t))) 0.5) (* 2.0 (pow (/ 1 (- t)) 3))) into (+ (* 2.0 (/ 1 (pow t 3))) (fma 1.0 (/ 1 (pow t 2)) 0.5))
9.464 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 3))) (fma 1.0 (/ 1 (pow t 2)) 0.5)) in (t) around 0
9.464 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 3))) (fma 1.0 (/ 1 (pow t 2)) 0.5)) in t
9.464 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 3))) in t
9.464 * [taylor]: Taking taylor expansion of 2.0 in t
9.464 * [backup-simplify]: Simplify 2.0 into 2.0
9.464 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
9.464 * [taylor]: Taking taylor expansion of (pow t 3) in t
9.464 * [taylor]: Taking taylor expansion of t in t
9.464 * [backup-simplify]: Simplify 0 into 0
9.464 * [backup-simplify]: Simplify 1 into 1
9.465 * [backup-simplify]: Simplify (* 1 1) into 1
9.465 * [backup-simplify]: Simplify (* 1 1) into 1
9.465 * [backup-simplify]: Simplify (/ 1 1) into 1
9.465 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 (pow t 2)) 0.5) in t
9.466 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 (pow t 2))) 0.5)
9.466 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow t 2))) in t
9.466 * [taylor]: Taking taylor expansion of 1.0 in t
9.466 * [backup-simplify]: Simplify 1.0 into 1.0
9.466 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
9.466 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.466 * [taylor]: Taking taylor expansion of t in t
9.466 * [backup-simplify]: Simplify 0 into 0
9.466 * [backup-simplify]: Simplify 1 into 1
9.466 * [backup-simplify]: Simplify (* 1 1) into 1
9.467 * [backup-simplify]: Simplify (/ 1 1) into 1
9.467 * [taylor]: Taking taylor expansion of 0.5 in t
9.467 * [backup-simplify]: Simplify 0.5 into 0.5
9.467 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow t 3))) (fma 1.0 (/ 1 (pow t 2)) 0.5)) in t
9.467 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 3))) in t
9.467 * [taylor]: Taking taylor expansion of 2.0 in t
9.467 * [backup-simplify]: Simplify 2.0 into 2.0
9.467 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
9.467 * [taylor]: Taking taylor expansion of (pow t 3) in t
9.467 * [taylor]: Taking taylor expansion of t in t
9.467 * [backup-simplify]: Simplify 0 into 0
9.467 * [backup-simplify]: Simplify 1 into 1
9.467 * [backup-simplify]: Simplify (* 1 1) into 1
9.468 * [backup-simplify]: Simplify (* 1 1) into 1
9.468 * [backup-simplify]: Simplify (/ 1 1) into 1
9.468 * [taylor]: Taking taylor expansion of (fma 1.0 (/ 1 (pow t 2)) 0.5) in t
9.468 * [taylor]: Rewrote expression to (+ (* 1.0 (/ 1 (pow t 2))) 0.5)
9.468 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow t 2))) in t
9.468 * [taylor]: Taking taylor expansion of 1.0 in t
9.469 * [backup-simplify]: Simplify 1.0 into 1.0
9.469 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
9.469 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.469 * [taylor]: Taking taylor expansion of t in t
9.469 * [backup-simplify]: Simplify 0 into 0
9.469 * [backup-simplify]: Simplify 1 into 1
9.469 * [backup-simplify]: Simplify (* 1 1) into 1
9.469 * [backup-simplify]: Simplify (/ 1 1) into 1
9.469 * [taylor]: Taking taylor expansion of 0.5 in t
9.470 * [backup-simplify]: Simplify 0.5 into 0.5
9.470 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
9.470 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
9.470 * [backup-simplify]: Simplify 2.0 into 2.0
9.471 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.472 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.473 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0
9.474 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
9.474 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.475 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.475 * [backup-simplify]: Simplify 1.0 into 1.0
9.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.478 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
9.479 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.480 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.480 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
9.481 * [backup-simplify]: Simplify (+ 0 0) into 0
9.481 * [backup-simplify]: Simplify (+ 0 0) into 0
9.481 * [backup-simplify]: Simplify 0 into 0
9.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.485 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.489 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
9.489 * [backup-simplify]: Simplify (+ 0 0.5) into 0.5
9.490 * [backup-simplify]: Simplify (+ 0 0.5) into 0.5
9.490 * [backup-simplify]: Simplify 0.5 into 0.5
9.490 * [backup-simplify]: Simplify (+ 0.5 (+ (* 1.0 (pow (/ 1 (/ 1 (- t))) 2)) (* 2.0 (pow (/ 1 (/ 1 (- t))) 3)))) into (- (+ (* 1.0 (pow t 2)) 0.5) (* 2.0 (pow t 3)))
9.490 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
9.491 * [backup-simplify]: Simplify (* 2.0 (pow t 3)) into (* 2.0 (pow t 3))
9.491 * [approximate]: Taking taylor expansion of (* 2.0 (pow t 3)) in (t) around 0
9.491 * [taylor]: Taking taylor expansion of (* 2.0 (pow t 3)) in t
9.491 * [taylor]: Taking taylor expansion of 2.0 in t
9.491 * [backup-simplify]: Simplify 2.0 into 2.0
9.491 * [taylor]: Taking taylor expansion of (pow t 3) in t
9.491 * [taylor]: Taking taylor expansion of t in t
9.491 * [backup-simplify]: Simplify 0 into 0
9.491 * [backup-simplify]: Simplify 1 into 1
9.491 * [taylor]: Taking taylor expansion of (* 2.0 (pow t 3)) in t
9.491 * [taylor]: Taking taylor expansion of 2.0 in t
9.491 * [backup-simplify]: Simplify 2.0 into 2.0
9.491 * [taylor]: Taking taylor expansion of (pow t 3) in t
9.491 * [taylor]: Taking taylor expansion of t in t
9.491 * [backup-simplify]: Simplify 0 into 0
9.491 * [backup-simplify]: Simplify 1 into 1
9.492 * [backup-simplify]: Simplify (* 1 1) into 1
9.492 * [backup-simplify]: Simplify (* 1 1) into 1
9.493 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
9.493 * [backup-simplify]: Simplify 2.0 into 2.0
9.493 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.494 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.495 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0
9.495 * [backup-simplify]: Simplify 0 into 0
9.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.498 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
9.498 * [backup-simplify]: Simplify 0 into 0
9.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.501 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.501 * [backup-simplify]: Simplify 0 into 0
9.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.505 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.505 * [backup-simplify]: Simplify 0 into 0
9.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.509 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.509 * [backup-simplify]: Simplify 0 into 0
9.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.514 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.514 * [backup-simplify]: Simplify 0 into 0
9.514 * [backup-simplify]: Simplify (* 2.0 (pow t 3)) into (* 2.0 (pow t 3))
9.514 * [backup-simplify]: Simplify (* 2.0 (pow (/ 1 t) 3)) into (/ 2.0 (pow t 3))
9.514 * [approximate]: Taking taylor expansion of (/ 2.0 (pow t 3)) in (t) around 0
9.514 * [taylor]: Taking taylor expansion of (/ 2.0 (pow t 3)) in t
9.514 * [taylor]: Taking taylor expansion of 2.0 in t
9.514 * [backup-simplify]: Simplify 2.0 into 2.0
9.514 * [taylor]: Taking taylor expansion of (pow t 3) in t
9.514 * [taylor]: Taking taylor expansion of t in t
9.514 * [backup-simplify]: Simplify 0 into 0
9.514 * [backup-simplify]: Simplify 1 into 1
9.515 * [backup-simplify]: Simplify (* 1 1) into 1
9.515 * [backup-simplify]: Simplify (* 1 1) into 1
9.516 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
9.516 * [taylor]: Taking taylor expansion of (/ 2.0 (pow t 3)) in t
9.516 * [taylor]: Taking taylor expansion of 2.0 in t
9.516 * [backup-simplify]: Simplify 2.0 into 2.0
9.516 * [taylor]: Taking taylor expansion of (pow t 3) in t
9.516 * [taylor]: Taking taylor expansion of t in t
9.516 * [backup-simplify]: Simplify 0 into 0
9.516 * [backup-simplify]: Simplify 1 into 1
9.516 * [backup-simplify]: Simplify (* 1 1) into 1
9.517 * [backup-simplify]: Simplify (* 1 1) into 1
9.517 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
9.517 * [backup-simplify]: Simplify 2.0 into 2.0
9.518 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.518 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.519 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)))) into 0
9.519 * [backup-simplify]: Simplify 0 into 0
9.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.522 * [backup-simplify]: Simplify 0 into 0
9.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.525 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.525 * [backup-simplify]: Simplify 0 into 0
9.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.535 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.535 * [backup-simplify]: Simplify 0 into 0
9.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.539 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.540 * [backup-simplify]: Simplify 0 into 0
9.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.544 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.544 * [backup-simplify]: Simplify 0 into 0
9.544 * [backup-simplify]: Simplify (* 2.0 (pow (/ 1 (/ 1 t)) 3)) into (* 2.0 (pow t 3))
9.544 * [backup-simplify]: Simplify (* 2.0 (pow (/ 1 (- t)) 3)) into (/ -2.0 (pow t 3))
9.544 * [approximate]: Taking taylor expansion of (/ -2.0 (pow t 3)) in (t) around 0
9.544 * [taylor]: Taking taylor expansion of (/ -2.0 (pow t 3)) in t
9.545 * [taylor]: Taking taylor expansion of -2.0 in t
9.545 * [backup-simplify]: Simplify -2.0 into -2.0
9.545 * [taylor]: Taking taylor expansion of (pow t 3) in t
9.545 * [taylor]: Taking taylor expansion of t in t
9.545 * [backup-simplify]: Simplify 0 into 0
9.545 * [backup-simplify]: Simplify 1 into 1
9.545 * [backup-simplify]: Simplify (* 1 1) into 1
9.545 * [backup-simplify]: Simplify (* 1 1) into 1
9.546 * [backup-simplify]: Simplify (/ -2.0 1) into -2.0
9.546 * [taylor]: Taking taylor expansion of (/ -2.0 (pow t 3)) in t
9.546 * [taylor]: Taking taylor expansion of -2.0 in t
9.546 * [backup-simplify]: Simplify -2.0 into -2.0
9.546 * [taylor]: Taking taylor expansion of (pow t 3) in t
9.546 * [taylor]: Taking taylor expansion of t in t
9.546 * [backup-simplify]: Simplify 0 into 0
9.546 * [backup-simplify]: Simplify 1 into 1
9.546 * [backup-simplify]: Simplify (* 1 1) into 1
9.547 * [backup-simplify]: Simplify (* 1 1) into 1
9.547 * [backup-simplify]: Simplify (/ -2.0 1) into -2.0
9.547 * [backup-simplify]: Simplify -2.0 into -2.0
9.548 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.549 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.549 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2.0 (/ 0 1)))) into 0
9.550 * [backup-simplify]: Simplify 0 into 0
9.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.552 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.552 * [backup-simplify]: Simplify 0 into 0
9.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.555 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.555 * [backup-simplify]: Simplify 0 into 0
9.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.559 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.559 * [backup-simplify]: Simplify 0 into 0
9.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.563 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.563 * [backup-simplify]: Simplify 0 into 0
9.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.567 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.567 * [backup-simplify]: Simplify 0 into 0
9.568 * [backup-simplify]: Simplify (* -2.0 (pow (/ 1 (/ 1 (- t))) 3)) into (* 2.0 (pow t 3))
9.568 * * * [progress]: simplifying candidates
9.569 * [simplify]: Simplifying:
  (fma (* (cbrt (fma 1.0 (* t t) 0.5)) (cbrt (fma 1.0 (* t t) 0.5))) (cbrt (fma 1.0 (* t t) 0.5)) (- (* (pow t 3) 2.0)))
  (fma (- (pow t 3)) 2.0 (* (pow t 3) 2.0))
  (fma (sqrt (fma 1.0 (* t t) 0.5)) (sqrt (fma 1.0 (* t t) 0.5)) (- (* (pow t 3) 2.0)))
  (fma (- (pow t 3)) 2.0 (* (pow t 3) 2.0))
  (fma 1 (fma 1.0 (* t t) 0.5) (- (* (pow t 3) 2.0)))
  (fma (- (pow t 3)) 2.0 (* (pow t 3) 2.0))
  (expm1 (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3))))
  (log1p (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3))))
  (- (* 2.0 (pow t 3)))
  (- (* 2.0 (pow t 3)))
  (- (* 2.0 (pow t 3)))
  (/ (exp (fma 1.0 (* t t) 0.5)) (exp (* 2.0 (pow t 3))))
  (log (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3))))
  (exp (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3))))
  (* (cbrt (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3)))) (cbrt (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3)))))
  (cbrt (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3))))
  (* (* (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3))) (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3)))) (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3))))
  (sqrt (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3))))
  (sqrt (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3))))
  (- (pow (fma 1.0 (* t t) 0.5) 3) (pow (* 2.0 (pow t 3)) 3))
  (+ (* (fma 1.0 (* t t) 0.5) (fma 1.0 (* t t) 0.5)) (+ (* (* 2.0 (pow t 3)) (* 2.0 (pow t 3))) (* (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3)))))
  (- (* 2.0 (pow t 3)))
  (- (* (fma 1.0 (* t t) 0.5) (fma 1.0 (* t t) 0.5)) (* (* 2.0 (pow t 3)) (* 2.0 (pow t 3))))
  (+ (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3)))
  (- 0.5 (* 2.0 (pow t 3)))
  (- (* 2.0 (pow t 3)))
  (expm1 (* 2.0 (pow t 3)))
  (log1p (* 2.0 (pow t 3)))
  (+ (log 2.0) (* (log t) 3))
  (+ (log 2.0) (* (log t) 3))
  (+ (log 2.0) (log (pow t 3)))
  (log (* 2.0 (pow t 3)))
  (exp (* 2.0 (pow t 3)))
  (* (* (* 2.0 2.0) 2.0) (* (* (pow t 3) (pow t 3)) (pow t 3)))
  (* (cbrt (* 2.0 (pow t 3))) (cbrt (* 2.0 (pow t 3))))
  (cbrt (* 2.0 (pow t 3)))
  (* (* (* 2.0 (pow t 3)) (* 2.0 (pow t 3))) (* 2.0 (pow t 3)))
  (sqrt (* 2.0 (pow t 3)))
  (sqrt (* 2.0 (pow t 3)))
  (* (sqrt 2.0) (pow (sqrt t) 3))
  (* (sqrt 2.0) (pow (sqrt t) 3))
  (* (sqrt 2.0) (pow (sqrt t) 3))
  (* (sqrt 2.0) (pow (sqrt t) 3))
  (* (sqrt 2.0) (sqrt (pow t 3)))
  (* (sqrt 2.0) (sqrt (pow t 3)))
  (* (sqrt 2.0) (pow t (/ 3 2)))
  (* (sqrt 2.0) (pow t (/ 3 2)))
  (* 2.0 (pow (* (cbrt t) (cbrt t)) 3))
  (* 2.0 (pow (sqrt t) 3))
  (* 2.0 (pow 1 3))
  (* 2.0 (* t t))
  (* 2.0 (* (cbrt (pow t 3)) (cbrt (pow t 3))))
  (* 2.0 (pow (* (cbrt t) (cbrt t)) 3))
  (* 2.0 (pow (sqrt t) 3))
  (* 2.0 (pow 1 3))
  (* 2.0 t)
  (* 2.0 (sqrt (pow t 3)))
  (* 2.0 1)
  (* 2.0 (pow t (/ 3 2)))
  (* (cbrt 2.0) (pow t 3))
  (* (sqrt 2.0) (pow t 3))
  (* 2.0 (pow t 3))
  (- (+ (* 1.0 (pow t 2)) 0.5) (* 2.0 (pow t 3)))
  (- (+ (* 1.0 (pow t 2)) 0.5) (* 2.0 (pow t 3)))
  (- (+ (* 1.0 (pow t 2)) 0.5) (* 2.0 (pow t 3)))
  (* 2.0 (pow t 3))
  (* 2.0 (pow t 3))
  (* 2.0 (pow t 3))
9.571 * * [simplify]: Extracting # 0 : cost  0
9.572 * * [simplify]: Extracting # 1 : cost  0
9.572 * * [simplify]: Extracting # 2 : cost  0
9.572 * * [simplify]: Extracting # 3 : cost  0
9.572 * * [simplify]: Extracting # 4 : cost  0
9.573 * * [simplify]: Extracting # 5 : cost  0
9.573 * * [simplify]: Extracting # 6 : cost  0
9.573 * * [simplify]: Extracting # 7 : cost  0
9.573 * * [simplify]: iteration  0 :  95  enodes  (cost  709 )
9.624 * * [simplify]: Extracting # 0 : cost  0
9.625 * * [simplify]: Extracting # 1 : cost  0
9.626 * * [simplify]: Extracting # 2 : cost  0
9.626 * * [simplify]: Extracting # 3 : cost  0
9.626 * * [simplify]: Extracting # 4 : cost  0
9.627 * * [simplify]: iteration  1 :  208  enodes  (cost  655 )
9.732 * * [simplify]: Extracting # 0 : cost  0
9.733 * * [simplify]: Extracting # 1 : cost  0
9.733 * * [simplify]: Extracting # 2 : cost  0
9.734 * * [simplify]: Extracting # 3 : cost  0
9.735 * * [simplify]: iteration  2 :  648  enodes  (cost  595 )
10.486 * * [simplify]: Extracting # 0 : cost  0
10.490 * * [simplify]: Extracting # 1 : cost  0
10.495 * * [simplify]: Extracting # 2 : cost  0
10.500 * * [simplify]: Extracting # 3 : cost  0
10.504 * * [simplify]: Extracting # 4 : cost  0
10.509 * * [simplify]: Extracting # 5 : cost  0
10.514 * * [simplify]: Extracting # 6 : cost  0
10.521 * * [simplify]: iteration  3 :  3958  enodes  (cost  560 )
13.131 * * [simplify]: Extracting # 0 : cost  0
13.137 * * [simplify]: Extracting # 1 : cost  0
13.147 * * [simplify]: Extracting # 2 : cost  0
13.153 * * [simplify]: iteration done:  5000  enodes  (cost  558 )
13.153 * [simplify]: Simplified to:
  (fma (- (pow t 3)) 2.0 (pow (cbrt (fma 1.0 (* t t) 0.5)) 3))
  (* (pow t 3) (+ (- 2.0) 2.0))
  (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5)
  (* (pow t 3) (+ (- 2.0) 2.0))
  (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5)
  (* (pow t 3) (+ (- 2.0) 2.0))
  (expm1 (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5))
  (log1p (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5))
  (- (* 2.0 (pow t 3)))
  (- (* 2.0 (pow t 3)))
  (- (* 2.0 (pow t 3)))
  (exp (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5))
  (log (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5))
  (exp (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5))
  (* (cbrt (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5)) (cbrt (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5)))
  (cbrt (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5))
  (pow (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5) 3)
  (sqrt (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5))
  (sqrt (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5))
  (- (pow (fma 1.0 (* t t) 0.5) 3) (pow (* 2.0 (pow t 3)) 3))
  (fma (* (pow t 6) 2.0) 2.0 (* (+ 0.5 (* (* t t) (fma 2.0 t 1.0))) (fma 1.0 (* t t) 0.5)))
  (- (* 2.0 (pow t 3)))
  (- (* (fma 1.0 (* t t) 0.5) (fma 1.0 (* t t) 0.5)) (* (* 2.0 2.0) (pow t 6)))
  (+ 0.5 (* (* t t) (fma 2.0 t 1.0)))
  (- 0.5 (* 2.0 (pow t 3)))
  (- (* 2.0 (pow t 3)))
  (expm1 (* 2.0 (pow t 3)))
  (log1p (* 2.0 (pow t 3)))
  (log (* 2.0 (pow t 3)))
  (log (* 2.0 (pow t 3)))
  (log (* 2.0 (pow t 3)))
  (log (* 2.0 (pow t 3)))
  (exp (* 2.0 (pow t 3)))
  (pow (* (pow t 3) 2.0) 3)
  (* (cbrt (* 2.0 (pow t 3))) (cbrt (* 2.0 (pow t 3))))
  (cbrt (* 2.0 (pow t 3)))
  (pow (* (pow t 3) 2.0) 3)
  (sqrt (* 2.0 (pow t 3)))
  (sqrt (* 2.0 (pow t 3)))
  (* (sqrt 2.0) (pow (sqrt t) 3))
  (* (sqrt 2.0) (pow (sqrt t) 3))
  (* (sqrt 2.0) (pow (sqrt t) 3))
  (* (sqrt 2.0) (pow (sqrt t) 3))
  (* (sqrt 2.0) (sqrt (pow t 3)))
  (* (sqrt 2.0) (sqrt (pow t 3)))
  (* (pow t 3/2) (sqrt 2.0))
  (* (pow t 3/2) (sqrt 2.0))
  (* (* 2.0 t) t)
  (* 2.0 (pow (sqrt t) 3))
  2.0
  (* (* 2.0 t) t)
  (* (* 2.0 t) t)
  (* (* 2.0 t) t)
  (* 2.0 (pow (sqrt t) 3))
  2.0
  (* 2.0 t)
  (* 2.0 (sqrt (pow t 3)))
  2.0
  (* (pow t 3/2) 2.0)
  (* (cbrt 2.0) (pow t 3))
  (* (sqrt 2.0) (pow t 3))
  (* 2.0 (pow t 3))
  (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5)
  (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5)
  (+ (* (* t t) (- 1.0 (* 2.0 t))) 0.5)
  (* 2.0 (pow t 3))
  (* 2.0 (pow t 3))
  (* 2.0 (pow t 3))
13.154 * * * [progress]: adding candidates to table
13.380 * [progress]: [Phase 3 of 3] Extracting.
13.381 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (- (fma 1.0 (* t t) 0.5) (* 2.0 (pow t 3))))> #<alt (λ (t) (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))))>)