0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.096 * * * [progress]: [2/2] Setting up program.
0.101 * [progress]: [Phase 2 of 3] Improving.
0.101 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))>
0.101 * [simplify]: Simplifying:
  (/ (+ 1 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))) (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))))))
0.101 * * [simplify]: iteration 1: (12 enodes)
0.107 * * [simplify]: iteration 2: (45 enodes)
0.114 * * [simplify]: iteration 3: (66 enodes)
0.125 * * [simplify]: iteration 4: (136 enodes)
0.172 * * [simplify]: iteration 5: (374 enodes)
0.307 * * [simplify]: iteration 6: (978 enodes)
0.756 * * [simplify]: Extracting #0: cost 1 inf + 0
0.756 * * [simplify]: Extracting #1: cost 7 inf + 0
0.757 * * [simplify]: Extracting #2: cost 99 inf + 0
0.759 * * [simplify]: Extracting #3: cost 331 inf + 5
0.762 * * [simplify]: Extracting #4: cost 394 inf + 2234
0.779 * * [simplify]: Extracting #5: cost 163 inf + 38793
0.804 * * [simplify]: Extracting #6: cost 2 inf + 69258
0.844 * * [simplify]: Extracting #7: cost 0 inf + 69663
0.879 * [simplify]: Simplified to:
  (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
0.885 * * [progress]: iteration 1 / 4
0.885 * * * [progress]: picking best candidate
0.887 * * * * [pick]: Picked  #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
0.887 * * * [progress]: localizing error
0.907 * * * [progress]: generating rewritten candidates
0.907 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
0.928 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
0.939 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
0.949 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
0.964 * * * [progress]: generating series expansions
0.964 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
0.965 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
0.965 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
0.965 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
0.965 * [taylor]: Taking taylor expansion of 2 in t
0.965 * [backup-simplify]: Simplify 2 into 2
0.965 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
0.965 * [taylor]: Taking taylor expansion of 2 in t
0.965 * [backup-simplify]: Simplify 2 into 2
0.965 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
0.965 * [taylor]: Taking taylor expansion of (+ t 1) in t
0.965 * [taylor]: Taking taylor expansion of t in t
0.965 * [backup-simplify]: Simplify 0 into 0
0.965 * [backup-simplify]: Simplify 1 into 1
0.965 * [taylor]: Taking taylor expansion of 1 in t
0.965 * [backup-simplify]: Simplify 1 into 1
0.966 * [backup-simplify]: Simplify (+ 0 1) into 1
0.966 * [backup-simplify]: Simplify (/ 1 1) into 1
0.966 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
0.966 * [taylor]: Taking taylor expansion of 2 in t
0.967 * [backup-simplify]: Simplify 2 into 2
0.967 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
0.967 * [taylor]: Taking taylor expansion of 2 in t
0.967 * [backup-simplify]: Simplify 2 into 2
0.967 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
0.967 * [taylor]: Taking taylor expansion of (+ t 1) in t
0.967 * [taylor]: Taking taylor expansion of t in t
0.967 * [backup-simplify]: Simplify 0 into 0
0.967 * [backup-simplify]: Simplify 1 into 1
0.967 * [taylor]: Taking taylor expansion of 1 in t
0.967 * [backup-simplify]: Simplify 1 into 1
0.967 * [backup-simplify]: Simplify (+ 0 1) into 1
0.968 * [backup-simplify]: Simplify (/ 1 1) into 1
0.968 * [backup-simplify]: Simplify (* 2 1) into 2
0.969 * [backup-simplify]: Simplify (- 2) into -2
0.969 * [backup-simplify]: Simplify (+ 2 -2) into 0
0.969 * [backup-simplify]: Simplify 0 into 0
0.970 * [backup-simplify]: Simplify (+ 1 0) into 1
0.971 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
0.972 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
0.972 * [backup-simplify]: Simplify (- -2) into 2
0.972 * [backup-simplify]: Simplify (+ 0 2) into 2
0.972 * [backup-simplify]: Simplify 2 into 2
0.973 * [backup-simplify]: Simplify (+ 0 0) into 0
0.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
0.974 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
0.974 * [backup-simplify]: Simplify (- 2) into -2
0.974 * [backup-simplify]: Simplify (+ 0 -2) into -2
0.974 * [backup-simplify]: Simplify -2 into -2
0.975 * [backup-simplify]: Simplify (+ 0 0) into 0
0.975 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
0.976 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
0.976 * [backup-simplify]: Simplify (- -2) into 2
0.977 * [backup-simplify]: Simplify (+ 0 2) into 2
0.977 * [backup-simplify]: Simplify 2 into 2
0.977 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
0.977 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
0.977 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
0.977 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
0.977 * [taylor]: Taking taylor expansion of 2 in t
0.978 * [backup-simplify]: Simplify 2 into 2
0.978 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
0.978 * [taylor]: Taking taylor expansion of 2 in t
0.978 * [backup-simplify]: Simplify 2 into 2
0.978 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
0.978 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
0.978 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.978 * [taylor]: Taking taylor expansion of t in t
0.978 * [backup-simplify]: Simplify 0 into 0
0.978 * [backup-simplify]: Simplify 1 into 1
0.978 * [backup-simplify]: Simplify (/ 1 1) into 1
0.978 * [taylor]: Taking taylor expansion of 1 in t
0.978 * [backup-simplify]: Simplify 1 into 1
0.978 * [backup-simplify]: Simplify (+ 1 0) into 1
0.978 * [backup-simplify]: Simplify (/ 1 1) into 1
0.978 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
0.979 * [taylor]: Taking taylor expansion of 2 in t
0.979 * [backup-simplify]: Simplify 2 into 2
0.979 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
0.979 * [taylor]: Taking taylor expansion of 2 in t
0.979 * [backup-simplify]: Simplify 2 into 2
0.979 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
0.979 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
0.979 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.979 * [taylor]: Taking taylor expansion of t in t
0.979 * [backup-simplify]: Simplify 0 into 0
0.979 * [backup-simplify]: Simplify 1 into 1
0.979 * [backup-simplify]: Simplify (/ 1 1) into 1
0.979 * [taylor]: Taking taylor expansion of 1 in t
0.979 * [backup-simplify]: Simplify 1 into 1
0.979 * [backup-simplify]: Simplify (+ 1 0) into 1
0.979 * [backup-simplify]: Simplify (/ 1 1) into 1
0.980 * [backup-simplify]: Simplify (+ 2 0) into 2
0.980 * [backup-simplify]: Simplify 2 into 2
0.980 * [backup-simplify]: Simplify (* 2 1) into 2
0.980 * [backup-simplify]: Simplify (- 2) into -2
0.981 * [backup-simplify]: Simplify (+ 0 -2) into -2
0.981 * [backup-simplify]: Simplify -2 into -2
0.981 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.981 * [backup-simplify]: Simplify (+ 0 1) into 1
0.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
0.982 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
0.983 * [backup-simplify]: Simplify (- -2) into 2
0.983 * [backup-simplify]: Simplify (+ 0 2) into 2
0.983 * [backup-simplify]: Simplify 2 into 2
0.983 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
0.983 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
0.983 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
0.983 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
0.983 * [taylor]: Taking taylor expansion of 2 in t
0.983 * [backup-simplify]: Simplify 2 into 2
0.983 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
0.983 * [taylor]: Taking taylor expansion of 2 in t
0.983 * [backup-simplify]: Simplify 2 into 2
0.983 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
0.983 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
0.983 * [taylor]: Taking taylor expansion of 1 in t
0.983 * [backup-simplify]: Simplify 1 into 1
0.983 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.983 * [taylor]: Taking taylor expansion of t in t
0.983 * [backup-simplify]: Simplify 0 into 0
0.983 * [backup-simplify]: Simplify 1 into 1
0.984 * [backup-simplify]: Simplify (/ 1 1) into 1
0.984 * [backup-simplify]: Simplify (- 1) into -1
0.984 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.984 * [backup-simplify]: Simplify (/ 1 -1) into -1
0.984 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
0.985 * [taylor]: Taking taylor expansion of 2 in t
0.985 * [backup-simplify]: Simplify 2 into 2
0.985 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
0.985 * [taylor]: Taking taylor expansion of 2 in t
0.985 * [backup-simplify]: Simplify 2 into 2
0.985 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
0.985 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
0.985 * [taylor]: Taking taylor expansion of 1 in t
0.985 * [backup-simplify]: Simplify 1 into 1
0.985 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.985 * [taylor]: Taking taylor expansion of t in t
0.985 * [backup-simplify]: Simplify 0 into 0
0.985 * [backup-simplify]: Simplify 1 into 1
0.985 * [backup-simplify]: Simplify (/ 1 1) into 1
0.985 * [backup-simplify]: Simplify (- 1) into -1
0.986 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.986 * [backup-simplify]: Simplify (/ 1 -1) into -1
0.986 * [backup-simplify]: Simplify (+ 2 0) into 2
0.986 * [backup-simplify]: Simplify 2 into 2
0.987 * [backup-simplify]: Simplify (* 2 -1) into -2
0.987 * [backup-simplify]: Simplify (- -2) into 2
0.987 * [backup-simplify]: Simplify (+ 0 2) into 2
0.987 * [backup-simplify]: Simplify 2 into 2
0.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.988 * [backup-simplify]: Simplify (- 0) into 0
0.988 * [backup-simplify]: Simplify (+ 1 0) into 1
0.989 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
0.989 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
0.989 * [backup-simplify]: Simplify (- -2) into 2
0.989 * [backup-simplify]: Simplify (+ 0 2) into 2
0.989 * [backup-simplify]: Simplify 2 into 2
0.990 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
0.990 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
0.990 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
0.990 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
0.990 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
0.990 * [taylor]: Taking taylor expansion of 2 in t
0.990 * [backup-simplify]: Simplify 2 into 2
0.990 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
0.990 * [taylor]: Taking taylor expansion of 2 in t
0.990 * [backup-simplify]: Simplify 2 into 2
0.990 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
0.990 * [taylor]: Taking taylor expansion of (+ t 1) in t
0.990 * [taylor]: Taking taylor expansion of t in t
0.990 * [backup-simplify]: Simplify 0 into 0
0.990 * [backup-simplify]: Simplify 1 into 1
0.990 * [taylor]: Taking taylor expansion of 1 in t
0.990 * [backup-simplify]: Simplify 1 into 1
0.990 * [backup-simplify]: Simplify (+ 0 1) into 1
0.991 * [backup-simplify]: Simplify (/ 1 1) into 1
0.991 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
0.991 * [taylor]: Taking taylor expansion of 2 in t
0.991 * [backup-simplify]: Simplify 2 into 2
0.991 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
0.991 * [taylor]: Taking taylor expansion of 2 in t
0.991 * [backup-simplify]: Simplify 2 into 2
0.991 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
0.991 * [taylor]: Taking taylor expansion of (+ t 1) in t
0.991 * [taylor]: Taking taylor expansion of t in t
0.991 * [backup-simplify]: Simplify 0 into 0
0.991 * [backup-simplify]: Simplify 1 into 1
0.991 * [taylor]: Taking taylor expansion of 1 in t
0.991 * [backup-simplify]: Simplify 1 into 1
0.991 * [backup-simplify]: Simplify (+ 0 1) into 1
0.991 * [backup-simplify]: Simplify (/ 1 1) into 1
0.992 * [backup-simplify]: Simplify (* 2 1) into 2
0.992 * [backup-simplify]: Simplify (- 2) into -2
0.992 * [backup-simplify]: Simplify (+ 2 -2) into 0
0.992 * [backup-simplify]: Simplify 0 into 0
0.992 * [backup-simplify]: Simplify (+ 1 0) into 1
0.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
0.993 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
0.994 * [backup-simplify]: Simplify (- -2) into 2
0.994 * [backup-simplify]: Simplify (+ 0 2) into 2
0.994 * [backup-simplify]: Simplify 2 into 2
0.994 * [backup-simplify]: Simplify (+ 0 0) into 0
0.995 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
0.995 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
0.996 * [backup-simplify]: Simplify (- 2) into -2
0.996 * [backup-simplify]: Simplify (+ 0 -2) into -2
0.996 * [backup-simplify]: Simplify -2 into -2
0.996 * [backup-simplify]: Simplify (+ 0 0) into 0
0.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
0.998 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
0.998 * [backup-simplify]: Simplify (- -2) into 2
0.998 * [backup-simplify]: Simplify (+ 0 2) into 2
0.998 * [backup-simplify]: Simplify 2 into 2
0.998 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
0.998 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
0.998 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
0.998 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
0.998 * [taylor]: Taking taylor expansion of 2 in t
0.998 * [backup-simplify]: Simplify 2 into 2
0.998 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
0.998 * [taylor]: Taking taylor expansion of 2 in t
0.999 * [backup-simplify]: Simplify 2 into 2
0.999 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
0.999 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
0.999 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.999 * [taylor]: Taking taylor expansion of t in t
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify 1 into 1
1.001 * [backup-simplify]: Simplify (/ 1 1) into 1
1.001 * [taylor]: Taking taylor expansion of 1 in t
1.001 * [backup-simplify]: Simplify 1 into 1
1.001 * [backup-simplify]: Simplify (+ 1 0) into 1
1.001 * [backup-simplify]: Simplify (/ 1 1) into 1
1.001 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1.001 * [taylor]: Taking taylor expansion of 2 in t
1.001 * [backup-simplify]: Simplify 2 into 2
1.001 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1.001 * [taylor]: Taking taylor expansion of 2 in t
1.001 * [backup-simplify]: Simplify 2 into 2
1.001 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1.001 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1.002 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.002 * [taylor]: Taking taylor expansion of t in t
1.002 * [backup-simplify]: Simplify 0 into 0
1.002 * [backup-simplify]: Simplify 1 into 1
1.002 * [backup-simplify]: Simplify (/ 1 1) into 1
1.002 * [taylor]: Taking taylor expansion of 1 in t
1.002 * [backup-simplify]: Simplify 1 into 1
1.002 * [backup-simplify]: Simplify (+ 1 0) into 1
1.002 * [backup-simplify]: Simplify (/ 1 1) into 1
1.003 * [backup-simplify]: Simplify (+ 2 0) into 2
1.003 * [backup-simplify]: Simplify 2 into 2
1.003 * [backup-simplify]: Simplify (* 2 1) into 2
1.003 * [backup-simplify]: Simplify (- 2) into -2
1.004 * [backup-simplify]: Simplify (+ 0 -2) into -2
1.004 * [backup-simplify]: Simplify -2 into -2
1.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.004 * [backup-simplify]: Simplify (+ 0 1) into 1
1.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1.005 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1.005 * [backup-simplify]: Simplify (- -2) into 2
1.006 * [backup-simplify]: Simplify (+ 0 2) into 2
1.006 * [backup-simplify]: Simplify 2 into 2
1.006 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1.006 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1.006 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1.006 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1.006 * [taylor]: Taking taylor expansion of 2 in t
1.006 * [backup-simplify]: Simplify 2 into 2
1.006 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1.006 * [taylor]: Taking taylor expansion of 2 in t
1.006 * [backup-simplify]: Simplify 2 into 2
1.006 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1.006 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1.006 * [taylor]: Taking taylor expansion of 1 in t
1.006 * [backup-simplify]: Simplify 1 into 1
1.006 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.006 * [taylor]: Taking taylor expansion of t in t
1.006 * [backup-simplify]: Simplify 0 into 0
1.006 * [backup-simplify]: Simplify 1 into 1
1.006 * [backup-simplify]: Simplify (/ 1 1) into 1
1.007 * [backup-simplify]: Simplify (- 1) into -1
1.007 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.007 * [backup-simplify]: Simplify (/ 1 -1) into -1
1.007 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1.007 * [taylor]: Taking taylor expansion of 2 in t
1.007 * [backup-simplify]: Simplify 2 into 2
1.007 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1.007 * [taylor]: Taking taylor expansion of 2 in t
1.007 * [backup-simplify]: Simplify 2 into 2
1.007 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1.007 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1.007 * [taylor]: Taking taylor expansion of 1 in t
1.007 * [backup-simplify]: Simplify 1 into 1
1.007 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.007 * [taylor]: Taking taylor expansion of t in t
1.007 * [backup-simplify]: Simplify 0 into 0
1.007 * [backup-simplify]: Simplify 1 into 1
1.008 * [backup-simplify]: Simplify (/ 1 1) into 1
1.008 * [backup-simplify]: Simplify (- 1) into -1
1.008 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.008 * [backup-simplify]: Simplify (/ 1 -1) into -1
1.009 * [backup-simplify]: Simplify (+ 2 0) into 2
1.009 * [backup-simplify]: Simplify 2 into 2
1.009 * [backup-simplify]: Simplify (* 2 -1) into -2
1.009 * [backup-simplify]: Simplify (- -2) into 2
1.010 * [backup-simplify]: Simplify (+ 0 2) into 2
1.010 * [backup-simplify]: Simplify 2 into 2
1.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.010 * [backup-simplify]: Simplify (- 0) into 0
1.011 * [backup-simplify]: Simplify (+ 1 0) into 1
1.011 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1.012 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
1.012 * [backup-simplify]: Simplify (- -2) into 2
1.012 * [backup-simplify]: Simplify (+ 0 2) into 2
1.012 * [backup-simplify]: Simplify 2 into 2
1.012 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1.012 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
1.012 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1.012 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1.012 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1.012 * [taylor]: Taking taylor expansion of 2 in t
1.012 * [backup-simplify]: Simplify 2 into 2
1.012 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1.013 * [taylor]: Taking taylor expansion of 2 in t
1.013 * [backup-simplify]: Simplify 2 into 2
1.013 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1.013 * [taylor]: Taking taylor expansion of (+ t 1) in t
1.013 * [taylor]: Taking taylor expansion of t in t
1.013 * [backup-simplify]: Simplify 0 into 0
1.013 * [backup-simplify]: Simplify 1 into 1
1.013 * [taylor]: Taking taylor expansion of 1 in t
1.013 * [backup-simplify]: Simplify 1 into 1
1.013 * [backup-simplify]: Simplify (+ 0 1) into 1
1.013 * [backup-simplify]: Simplify (/ 1 1) into 1
1.013 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1.013 * [taylor]: Taking taylor expansion of 2 in t
1.013 * [backup-simplify]: Simplify 2 into 2
1.013 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1.013 * [taylor]: Taking taylor expansion of 2 in t
1.013 * [backup-simplify]: Simplify 2 into 2
1.013 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1.013 * [taylor]: Taking taylor expansion of (+ t 1) in t
1.013 * [taylor]: Taking taylor expansion of t in t
1.013 * [backup-simplify]: Simplify 0 into 0
1.013 * [backup-simplify]: Simplify 1 into 1
1.013 * [taylor]: Taking taylor expansion of 1 in t
1.013 * [backup-simplify]: Simplify 1 into 1
1.014 * [backup-simplify]: Simplify (+ 0 1) into 1
1.014 * [backup-simplify]: Simplify (/ 1 1) into 1
1.014 * [backup-simplify]: Simplify (* 2 1) into 2
1.014 * [backup-simplify]: Simplify (- 2) into -2
1.015 * [backup-simplify]: Simplify (+ 2 -2) into 0
1.015 * [backup-simplify]: Simplify 0 into 0
1.015 * [backup-simplify]: Simplify (+ 1 0) into 1
1.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1.016 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1.016 * [backup-simplify]: Simplify (- -2) into 2
1.016 * [backup-simplify]: Simplify (+ 0 2) into 2
1.016 * [backup-simplify]: Simplify 2 into 2
1.017 * [backup-simplify]: Simplify (+ 0 0) into 0
1.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1.018 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1.018 * [backup-simplify]: Simplify (- 2) into -2
1.018 * [backup-simplify]: Simplify (+ 0 -2) into -2
1.018 * [backup-simplify]: Simplify -2 into -2
1.019 * [backup-simplify]: Simplify (+ 0 0) into 0
1.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1.020 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1.021 * [backup-simplify]: Simplify (- -2) into 2
1.021 * [backup-simplify]: Simplify (+ 0 2) into 2
1.021 * [backup-simplify]: Simplify 2 into 2
1.021 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1.021 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1.021 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1.021 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1.021 * [taylor]: Taking taylor expansion of 2 in t
1.022 * [backup-simplify]: Simplify 2 into 2
1.022 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1.022 * [taylor]: Taking taylor expansion of 2 in t
1.022 * [backup-simplify]: Simplify 2 into 2
1.022 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1.022 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1.022 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.022 * [taylor]: Taking taylor expansion of t in t
1.022 * [backup-simplify]: Simplify 0 into 0
1.022 * [backup-simplify]: Simplify 1 into 1
1.022 * [backup-simplify]: Simplify (/ 1 1) into 1
1.022 * [taylor]: Taking taylor expansion of 1 in t
1.022 * [backup-simplify]: Simplify 1 into 1
1.022 * [backup-simplify]: Simplify (+ 1 0) into 1
1.023 * [backup-simplify]: Simplify (/ 1 1) into 1
1.023 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1.023 * [taylor]: Taking taylor expansion of 2 in t
1.023 * [backup-simplify]: Simplify 2 into 2
1.023 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1.023 * [taylor]: Taking taylor expansion of 2 in t
1.023 * [backup-simplify]: Simplify 2 into 2
1.023 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1.023 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1.023 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.023 * [taylor]: Taking taylor expansion of t in t
1.023 * [backup-simplify]: Simplify 0 into 0
1.023 * [backup-simplify]: Simplify 1 into 1
1.023 * [backup-simplify]: Simplify (/ 1 1) into 1
1.023 * [taylor]: Taking taylor expansion of 1 in t
1.023 * [backup-simplify]: Simplify 1 into 1
1.023 * [backup-simplify]: Simplify (+ 1 0) into 1
1.024 * [backup-simplify]: Simplify (/ 1 1) into 1
1.024 * [backup-simplify]: Simplify (+ 2 0) into 2
1.024 * [backup-simplify]: Simplify 2 into 2
1.024 * [backup-simplify]: Simplify (* 2 1) into 2
1.025 * [backup-simplify]: Simplify (- 2) into -2
1.025 * [backup-simplify]: Simplify (+ 0 -2) into -2
1.025 * [backup-simplify]: Simplify -2 into -2
1.026 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.027 * [backup-simplify]: Simplify (+ 0 1) into 1
1.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1.028 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1.028 * [backup-simplify]: Simplify (- -2) into 2
1.029 * [backup-simplify]: Simplify (+ 0 2) into 2
1.029 * [backup-simplify]: Simplify 2 into 2
1.029 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1.029 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1.029 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1.029 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1.029 * [taylor]: Taking taylor expansion of 2 in t
1.030 * [backup-simplify]: Simplify 2 into 2
1.030 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1.030 * [taylor]: Taking taylor expansion of 2 in t
1.030 * [backup-simplify]: Simplify 2 into 2
1.030 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1.030 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1.030 * [taylor]: Taking taylor expansion of 1 in t
1.030 * [backup-simplify]: Simplify 1 into 1
1.030 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.030 * [taylor]: Taking taylor expansion of t in t
1.030 * [backup-simplify]: Simplify 0 into 0
1.030 * [backup-simplify]: Simplify 1 into 1
1.030 * [backup-simplify]: Simplify (/ 1 1) into 1
1.031 * [backup-simplify]: Simplify (- 1) into -1
1.031 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.031 * [backup-simplify]: Simplify (/ 1 -1) into -1
1.032 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1.032 * [taylor]: Taking taylor expansion of 2 in t
1.032 * [backup-simplify]: Simplify 2 into 2
1.032 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1.032 * [taylor]: Taking taylor expansion of 2 in t
1.032 * [backup-simplify]: Simplify 2 into 2
1.032 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1.032 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1.032 * [taylor]: Taking taylor expansion of 1 in t
1.032 * [backup-simplify]: Simplify 1 into 1
1.032 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.032 * [taylor]: Taking taylor expansion of t in t
1.032 * [backup-simplify]: Simplify 0 into 0
1.032 * [backup-simplify]: Simplify 1 into 1
1.032 * [backup-simplify]: Simplify (/ 1 1) into 1
1.033 * [backup-simplify]: Simplify (- 1) into -1
1.033 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.034 * [backup-simplify]: Simplify (/ 1 -1) into -1
1.034 * [backup-simplify]: Simplify (+ 2 0) into 2
1.034 * [backup-simplify]: Simplify 2 into 2
1.035 * [backup-simplify]: Simplify (* 2 -1) into -2
1.035 * [backup-simplify]: Simplify (- -2) into 2
1.035 * [backup-simplify]: Simplify (+ 0 2) into 2
1.035 * [backup-simplify]: Simplify 2 into 2
1.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.037 * [backup-simplify]: Simplify (- 0) into 0
1.037 * [backup-simplify]: Simplify (+ 1 0) into 1
1.038 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1.039 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
1.039 * [backup-simplify]: Simplify (- -2) into 2
1.040 * [backup-simplify]: Simplify (+ 0 2) into 2
1.040 * [backup-simplify]: Simplify 2 into 2
1.040 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1.040 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
1.040 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
1.040 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
1.040 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1.040 * [taylor]: Taking taylor expansion of 2 in t
1.040 * [backup-simplify]: Simplify 2 into 2
1.040 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1.040 * [taylor]: Taking taylor expansion of 2 in t
1.040 * [backup-simplify]: Simplify 2 into 2
1.040 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1.040 * [taylor]: Taking taylor expansion of (+ t 1) in t
1.040 * [taylor]: Taking taylor expansion of t in t
1.040 * [backup-simplify]: Simplify 0 into 0
1.040 * [backup-simplify]: Simplify 1 into 1
1.040 * [taylor]: Taking taylor expansion of 1 in t
1.040 * [backup-simplify]: Simplify 1 into 1
1.041 * [backup-simplify]: Simplify (+ 0 1) into 1
1.041 * [backup-simplify]: Simplify (/ 1 1) into 1
1.041 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
1.041 * [taylor]: Taking taylor expansion of 2 in t
1.041 * [backup-simplify]: Simplify 2 into 2
1.041 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
1.041 * [taylor]: Taking taylor expansion of 2 in t
1.041 * [backup-simplify]: Simplify 2 into 2
1.041 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
1.041 * [taylor]: Taking taylor expansion of (+ t 1) in t
1.041 * [taylor]: Taking taylor expansion of t in t
1.041 * [backup-simplify]: Simplify 0 into 0
1.041 * [backup-simplify]: Simplify 1 into 1
1.041 * [taylor]: Taking taylor expansion of 1 in t
1.041 * [backup-simplify]: Simplify 1 into 1
1.041 * [backup-simplify]: Simplify (+ 0 1) into 1
1.042 * [backup-simplify]: Simplify (/ 1 1) into 1
1.042 * [backup-simplify]: Simplify (* 2 1) into 2
1.042 * [backup-simplify]: Simplify (- 2) into -2
1.042 * [backup-simplify]: Simplify (+ 2 -2) into 0
1.043 * [backup-simplify]: Simplify 0 into 0
1.043 * [backup-simplify]: Simplify (+ 1 0) into 1
1.043 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1.044 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1.044 * [backup-simplify]: Simplify (- -2) into 2
1.044 * [backup-simplify]: Simplify (+ 0 2) into 2
1.044 * [backup-simplify]: Simplify 2 into 2
1.045 * [backup-simplify]: Simplify (+ 0 0) into 0
1.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1.046 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
1.046 * [backup-simplify]: Simplify (- 2) into -2
1.047 * [backup-simplify]: Simplify (+ 0 -2) into -2
1.047 * [backup-simplify]: Simplify -2 into -2
1.047 * [backup-simplify]: Simplify (+ 0 0) into 0
1.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1.048 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
1.049 * [backup-simplify]: Simplify (- -2) into 2
1.049 * [backup-simplify]: Simplify (+ 0 2) into 2
1.049 * [backup-simplify]: Simplify 2 into 2
1.049 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
1.049 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
1.049 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
1.049 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1.049 * [taylor]: Taking taylor expansion of 2 in t
1.049 * [backup-simplify]: Simplify 2 into 2
1.049 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1.049 * [taylor]: Taking taylor expansion of 2 in t
1.049 * [backup-simplify]: Simplify 2 into 2
1.049 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1.049 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1.049 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.049 * [taylor]: Taking taylor expansion of t in t
1.049 * [backup-simplify]: Simplify 0 into 0
1.049 * [backup-simplify]: Simplify 1 into 1
1.050 * [backup-simplify]: Simplify (/ 1 1) into 1
1.050 * [taylor]: Taking taylor expansion of 1 in t
1.050 * [backup-simplify]: Simplify 1 into 1
1.050 * [backup-simplify]: Simplify (+ 1 0) into 1
1.050 * [backup-simplify]: Simplify (/ 1 1) into 1
1.050 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
1.050 * [taylor]: Taking taylor expansion of 2 in t
1.050 * [backup-simplify]: Simplify 2 into 2
1.050 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
1.050 * [taylor]: Taking taylor expansion of 2 in t
1.050 * [backup-simplify]: Simplify 2 into 2
1.050 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
1.050 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
1.050 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.050 * [taylor]: Taking taylor expansion of t in t
1.050 * [backup-simplify]: Simplify 0 into 0
1.050 * [backup-simplify]: Simplify 1 into 1
1.051 * [backup-simplify]: Simplify (/ 1 1) into 1
1.051 * [taylor]: Taking taylor expansion of 1 in t
1.051 * [backup-simplify]: Simplify 1 into 1
1.051 * [backup-simplify]: Simplify (+ 1 0) into 1
1.051 * [backup-simplify]: Simplify (/ 1 1) into 1
1.051 * [backup-simplify]: Simplify (+ 2 0) into 2
1.052 * [backup-simplify]: Simplify 2 into 2
1.052 * [backup-simplify]: Simplify (* 2 1) into 2
1.052 * [backup-simplify]: Simplify (- 2) into -2
1.052 * [backup-simplify]: Simplify (+ 0 -2) into -2
1.052 * [backup-simplify]: Simplify -2 into -2
1.053 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.053 * [backup-simplify]: Simplify (+ 0 1) into 1
1.053 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1.054 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
1.054 * [backup-simplify]: Simplify (- -2) into 2
1.054 * [backup-simplify]: Simplify (+ 0 2) into 2
1.054 * [backup-simplify]: Simplify 2 into 2
1.055 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1.055 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
1.055 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
1.055 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1.055 * [taylor]: Taking taylor expansion of 2 in t
1.055 * [backup-simplify]: Simplify 2 into 2
1.055 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1.055 * [taylor]: Taking taylor expansion of 2 in t
1.055 * [backup-simplify]: Simplify 2 into 2
1.055 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1.055 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1.055 * [taylor]: Taking taylor expansion of 1 in t
1.055 * [backup-simplify]: Simplify 1 into 1
1.055 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.055 * [taylor]: Taking taylor expansion of t in t
1.055 * [backup-simplify]: Simplify 0 into 0
1.055 * [backup-simplify]: Simplify 1 into 1
1.055 * [backup-simplify]: Simplify (/ 1 1) into 1
1.055 * [backup-simplify]: Simplify (- 1) into -1
1.056 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.056 * [backup-simplify]: Simplify (/ 1 -1) into -1
1.056 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
1.056 * [taylor]: Taking taylor expansion of 2 in t
1.056 * [backup-simplify]: Simplify 2 into 2
1.056 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
1.056 * [taylor]: Taking taylor expansion of 2 in t
1.056 * [backup-simplify]: Simplify 2 into 2
1.056 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
1.056 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
1.056 * [taylor]: Taking taylor expansion of 1 in t
1.056 * [backup-simplify]: Simplify 1 into 1
1.056 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.056 * [taylor]: Taking taylor expansion of t in t
1.056 * [backup-simplify]: Simplify 0 into 0
1.056 * [backup-simplify]: Simplify 1 into 1
1.056 * [backup-simplify]: Simplify (/ 1 1) into 1
1.057 * [backup-simplify]: Simplify (- 1) into -1
1.057 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.057 * [backup-simplify]: Simplify (/ 1 -1) into -1
1.058 * [backup-simplify]: Simplify (+ 2 0) into 2
1.058 * [backup-simplify]: Simplify 2 into 2
1.058 * [backup-simplify]: Simplify (* 2 -1) into -2
1.058 * [backup-simplify]: Simplify (- -2) into 2
1.058 * [backup-simplify]: Simplify (+ 0 2) into 2
1.058 * [backup-simplify]: Simplify 2 into 2
1.059 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.059 * [backup-simplify]: Simplify (- 0) into 0
1.059 * [backup-simplify]: Simplify (+ 1 0) into 1
1.060 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1.060 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
1.061 * [backup-simplify]: Simplify (- -2) into 2
1.061 * [backup-simplify]: Simplify (+ 0 2) into 2
1.061 * [backup-simplify]: Simplify 2 into 2
1.061 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1.061 * * * [progress]: simplifying candidates
1.061 * * * * [progress]: [ 1 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (log (/ (exp 2) (exp (/ 2 (+ 1 t)))))))))>
1.061 * * * * [progress]: [ 2 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (pow (- 2 (/ 2 (+ 1 t))) 1)))))>
1.061 * * * * [progress]: [ 3 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (exp (log (- 2 (/ 2 (+ 1 t)))))))))>
1.061 * * * * [progress]: [ 4 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ 1 t)))))))))>
1.061 * * * * [progress]: [ 5 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t)))))))))>
1.061 * * * * [progress]: [ 6 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))))>
1.061 * * * * [progress]: [ 7 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t)))))))))>
1.061 * * * * [progress]: [ 8 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))))))))>
1.061 * * * * [progress]: [ 9 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t))))))))>
1.062 * * * * [progress]: [ 10 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t))))))))>
1.062 * * * * [progress]: [ 11 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t))))))))>
1.062 * * * * [progress]: [ 12 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t)))))))))>
1.062 * * * * [progress]: [ 13 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))))))))>
1.062 * * * * [progress]: [ 14 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t))))))))>
1.062 * * * * [progress]: [ 15 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t))))))))>
1.062 * * * * [progress]: [ 16 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
1.062 * * * * [progress]: [ 17 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (log (/ (exp 2) (exp (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 18 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (pow (- 2 (/ 2 (+ 1 t))) 1) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 19 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (exp (log (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 20 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (log (exp (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 21 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 22 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 23 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 24 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 25 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 26 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 27 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 28 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 29 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 30 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 31 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 32 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t)))))))>
1.062 * * * * [progress]: [ 33 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (log (/ (exp 2) (exp (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 34 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (pow (- 2 (/ 2 (+ 1 t))) 1))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 35 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (exp (log (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 36 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 37 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 38 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 39 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 40 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 41 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 42 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 43 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 44 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 45 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 46 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 47 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 48 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 49 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (log (/ (exp 2) (exp (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 50 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (pow (- 2 (/ 2 (+ 1 t))) 1) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 51 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (exp (log (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 52 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (log (exp (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 53 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 54 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 55 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 56 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 57 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.063 * * * * [progress]: [ 58 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.064 * * * * [progress]: [ 59 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.064 * * * * [progress]: [ 60 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.064 * * * * [progress]: [ 61 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.064 * * * * [progress]: [ 62 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.064 * * * * [progress]: [ 63 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (+ 2 (- (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.064 * * * * [progress]: [ 64 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.064 * * * * [progress]: [ 65 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))))))>
1.064 * * * * [progress]: [ 66 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1.064 * * * * [progress]: [ 67 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
1.064 * * * * [progress]: [ 68 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ 2 (+ 1 t)))))))>
1.064 * * * * [progress]: [ 69 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.064 * * * * [progress]: [ 70 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.064 * * * * [progress]: [ 71 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.064 * * * * [progress]: [ 72 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.064 * * * * [progress]: [ 73 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.064 * * * * [progress]: [ 74 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.064 * * * * [progress]: [ 75 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.064 * * * * [progress]: [ 76 / 76 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
1.065 * [simplify]: Simplifying:
  (/ (exp 2) (exp (/ 2 (+ 1 t))))
  (log (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))
  (cbrt (- 2 (/ 2 (+ 1 t))))
  (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))
  (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))
  (- (/ 2 (+ 1 t)))
  (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
  (+ 2 (/ 2 (+ 1 t)))
  (+ (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- 2 (/ 2 (+ 1 t)))
  (- (/ 2 (+ 1 t)))
  (real->posit16 (- 2 (/ 2 (+ 1 t))))
  (/ (exp 2) (exp (/ 2 (+ 1 t))))
  (log (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))
  (cbrt (- 2 (/ 2 (+ 1 t))))
  (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))
  (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))
  (- (/ 2 (+ 1 t)))
  (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
  (+ 2 (/ 2 (+ 1 t)))
  (+ (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- 2 (/ 2 (+ 1 t)))
  (- (/ 2 (+ 1 t)))
  (real->posit16 (- 2 (/ 2 (+ 1 t))))
  (/ (exp 2) (exp (/ 2 (+ 1 t))))
  (log (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))
  (cbrt (- 2 (/ 2 (+ 1 t))))
  (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))
  (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))
  (- (/ 2 (+ 1 t)))
  (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
  (+ 2 (/ 2 (+ 1 t)))
  (+ (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- 2 (/ 2 (+ 1 t)))
  (- (/ 2 (+ 1 t)))
  (real->posit16 (- 2 (/ 2 (+ 1 t))))
  (/ (exp 2) (exp (/ 2 (+ 1 t))))
  (log (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))
  (cbrt (- 2 (/ 2 (+ 1 t))))
  (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))
  (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))
  (- (/ 2 (+ 1 t)))
  (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
  (+ 2 (/ 2 (+ 1 t)))
  (+ (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- 2 (/ 2 (+ 1 t)))
  (- (/ 2 (+ 1 t)))
  (real->posit16 (- 2 (/ 2 (+ 1 t))))
  (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
1.066 * * [simplify]: iteration 1: (50 enodes)
1.086 * * [simplify]: iteration 2: (216 enodes)
1.160 * * [simplify]: iteration 3: (383 enodes)
1.290 * * [simplify]: iteration 4: (780 enodes)
1.620 * * [simplify]: iteration 5: (1632 enodes)
2.630 * * [simplify]: Extracting #0: cost 19 inf + 0
2.631 * * [simplify]: Extracting #1: cost 138 inf + 0
2.632 * * [simplify]: Extracting #2: cost 569 inf + 212
2.641 * * [simplify]: Extracting #3: cost 685 inf + 36755
2.673 * * [simplify]: Extracting #4: cost 189 inf + 133125
2.718 * * [simplify]: Extracting #5: cost 11 inf + 193784
2.771 * * [simplify]: Extracting #6: cost 0 inf + 198169
2.809 * [simplify]: Simplified to:
  (exp (- 2 (/ 2 (+ t 1))))
  (log (- 2 (/ 2 (+ t 1))))
  (exp (- 2 (/ 2 (+ t 1))))
  (* (cbrt (- 2 (/ 2 (+ t 1)))) (cbrt (- 2 (/ 2 (+ t 1)))))
  (cbrt (- 2 (/ 2 (+ t 1))))
  (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (- 8 (* (/ 2 (+ t 1)) (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))))
  (+ 4 (/ (+ (/ 4 (+ t 1)) 4) (+ t 1)))
  (/ -2 (+ t 1))
  (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))
  (+ (/ 2 (+ t 1)) 2)
  (+ (sqrt (/ 2 (+ t 1))) (sqrt 2))
  (- (sqrt 2) (sqrt (/ 2 (+ t 1))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- 2 (/ 2 (+ t 1)))
  (/ -2 (+ t 1))
  (real->posit16 (- 2 (/ 2 (+ t 1))))
  (exp (- 2 (/ 2 (+ t 1))))
  (log (- 2 (/ 2 (+ t 1))))
  (exp (- 2 (/ 2 (+ t 1))))
  (* (cbrt (- 2 (/ 2 (+ t 1)))) (cbrt (- 2 (/ 2 (+ t 1)))))
  (cbrt (- 2 (/ 2 (+ t 1))))
  (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (- 8 (* (/ 2 (+ t 1)) (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))))
  (+ 4 (/ (+ (/ 4 (+ t 1)) 4) (+ t 1)))
  (/ -2 (+ t 1))
  (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))
  (+ (/ 2 (+ t 1)) 2)
  (+ (sqrt (/ 2 (+ t 1))) (sqrt 2))
  (- (sqrt 2) (sqrt (/ 2 (+ t 1))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- 2 (/ 2 (+ t 1)))
  (/ -2 (+ t 1))
  (real->posit16 (- 2 (/ 2 (+ t 1))))
  (exp (- 2 (/ 2 (+ t 1))))
  (log (- 2 (/ 2 (+ t 1))))
  (exp (- 2 (/ 2 (+ t 1))))
  (* (cbrt (- 2 (/ 2 (+ t 1)))) (cbrt (- 2 (/ 2 (+ t 1)))))
  (cbrt (- 2 (/ 2 (+ t 1))))
  (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (- 8 (* (/ 2 (+ t 1)) (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))))
  (+ 4 (/ (+ (/ 4 (+ t 1)) 4) (+ t 1)))
  (/ -2 (+ t 1))
  (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))
  (+ (/ 2 (+ t 1)) 2)
  (+ (sqrt (/ 2 (+ t 1))) (sqrt 2))
  (- (sqrt 2) (sqrt (/ 2 (+ t 1))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- 2 (/ 2 (+ t 1)))
  (/ -2 (+ t 1))
  (real->posit16 (- 2 (/ 2 (+ t 1))))
  (exp (- 2 (/ 2 (+ t 1))))
  (log (- 2 (/ 2 (+ t 1))))
  (exp (- 2 (/ 2 (+ t 1))))
  (* (cbrt (- 2 (/ 2 (+ t 1)))) (cbrt (- 2 (/ 2 (+ t 1)))))
  (cbrt (- 2 (/ 2 (+ t 1))))
  (* (* (- 2 (/ 2 (+ t 1))) (- 2 (/ 2 (+ t 1)))) (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (sqrt (- 2 (/ 2 (+ t 1))))
  (- 8 (* (/ 2 (+ t 1)) (* (/ 2 (+ t 1)) (/ 2 (+ t 1)))))
  (+ 4 (/ (+ (/ 4 (+ t 1)) 4) (+ t 1)))
  (/ -2 (+ t 1))
  (- 4 (* (/ 2 (+ t 1)) (/ 2 (+ t 1))))
  (+ (/ 2 (+ t 1)) 2)
  (+ (sqrt (/ 2 (+ t 1))) (sqrt 2))
  (- (sqrt 2) (sqrt (/ 2 (+ t 1))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ t 1))))
  (- 2 (/ 2 (+ t 1)))
  (/ -2 (+ t 1))
  (real->posit16 (- 2 (/ 2 (+ t 1))))
  (+ (* t (* t (+ t t))) (- (+ t t) (* t (+ t t))))
  (+ 2 (/ (- (/ 2 t) 2) t))
  (+ 2 (/ (- (/ 2 t) 2) t))
  (+ (* t (* t (+ t t))) (- (+ t t) (* t (+ t t))))
  (+ 2 (/ (- (/ 2 t) 2) t))
  (+ 2 (/ (- (/ 2 t) 2) t))
  (+ (* t (* t (+ t t))) (- (+ t t) (* t (+ t t))))
  (+ 2 (/ (- (/ 2 t) 2) t))
  (+ 2 (/ (- (/ 2 t) 2) t))
  (+ (* t (* t (+ t t))) (- (+ t t) (* t (+ t t))))
  (+ 2 (/ (- (/ 2 t) 2) t))
  (+ 2 (/ (- (/ 2 t) 2) t))
2.816 * * * [progress]: adding candidates to table
3.581 * * [progress]: iteration 2 / 4
3.581 * * * [progress]: picking best candidate
3.587 * * * * [pick]: Picked  #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.588 * * * [progress]: localizing error
3.661 * * * [progress]: generating rewritten candidates
3.661 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
3.661 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 1)
3.671 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
3.682 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
3.701 * * * [progress]: generating series expansions
3.701 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
3.701 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) into (- 2 (* 2 (/ 1 (+ t 1))))
3.701 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
3.701 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
3.701 * [taylor]: Taking taylor expansion of 2 in t
3.701 * [backup-simplify]: Simplify 2 into 2
3.701 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
3.701 * [taylor]: Taking taylor expansion of 2 in t
3.701 * [backup-simplify]: Simplify 2 into 2
3.701 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
3.701 * [taylor]: Taking taylor expansion of (+ t 1) in t
3.701 * [taylor]: Taking taylor expansion of t in t
3.701 * [backup-simplify]: Simplify 0 into 0
3.701 * [backup-simplify]: Simplify 1 into 1
3.701 * [taylor]: Taking taylor expansion of 1 in t
3.701 * [backup-simplify]: Simplify 1 into 1
3.702 * [backup-simplify]: Simplify (+ 0 1) into 1
3.702 * [backup-simplify]: Simplify (/ 1 1) into 1
3.702 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
3.702 * [taylor]: Taking taylor expansion of 2 in t
3.702 * [backup-simplify]: Simplify 2 into 2
3.702 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
3.702 * [taylor]: Taking taylor expansion of 2 in t
3.702 * [backup-simplify]: Simplify 2 into 2
3.702 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
3.702 * [taylor]: Taking taylor expansion of (+ t 1) in t
3.702 * [taylor]: Taking taylor expansion of t in t
3.702 * [backup-simplify]: Simplify 0 into 0
3.702 * [backup-simplify]: Simplify 1 into 1
3.702 * [taylor]: Taking taylor expansion of 1 in t
3.702 * [backup-simplify]: Simplify 1 into 1
3.702 * [backup-simplify]: Simplify (+ 0 1) into 1
3.703 * [backup-simplify]: Simplify (/ 1 1) into 1
3.703 * [backup-simplify]: Simplify (* 2 1) into 2
3.703 * [backup-simplify]: Simplify (- 2) into -2
3.703 * [backup-simplify]: Simplify (+ 2 -2) into 0
3.703 * [backup-simplify]: Simplify 0 into 0
3.704 * [backup-simplify]: Simplify (+ 1 0) into 1
3.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.705 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
3.705 * [backup-simplify]: Simplify (- -2) into 2
3.705 * [backup-simplify]: Simplify (+ 0 2) into 2
3.705 * [backup-simplify]: Simplify 2 into 2
3.705 * [backup-simplify]: Simplify (+ 0 0) into 0
3.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
3.710 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
3.711 * [backup-simplify]: Simplify (- 2) into -2
3.711 * [backup-simplify]: Simplify (+ 0 -2) into -2
3.711 * [backup-simplify]: Simplify -2 into -2
3.711 * [backup-simplify]: Simplify (+ 0 0) into 0
3.712 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
3.713 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
3.713 * [backup-simplify]: Simplify (- -2) into 2
3.714 * [backup-simplify]: Simplify (+ 0 2) into 2
3.714 * [backup-simplify]: Simplify 2 into 2
3.714 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
3.714 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 (/ 1 t)))))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
3.714 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
3.714 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
3.714 * [taylor]: Taking taylor expansion of 2 in t
3.714 * [backup-simplify]: Simplify 2 into 2
3.714 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
3.714 * [taylor]: Taking taylor expansion of 2 in t
3.714 * [backup-simplify]: Simplify 2 into 2
3.714 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
3.714 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
3.714 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.714 * [taylor]: Taking taylor expansion of t in t
3.714 * [backup-simplify]: Simplify 0 into 0
3.714 * [backup-simplify]: Simplify 1 into 1
3.715 * [backup-simplify]: Simplify (/ 1 1) into 1
3.715 * [taylor]: Taking taylor expansion of 1 in t
3.715 * [backup-simplify]: Simplify 1 into 1
3.715 * [backup-simplify]: Simplify (+ 1 0) into 1
3.715 * [backup-simplify]: Simplify (/ 1 1) into 1
3.715 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
3.715 * [taylor]: Taking taylor expansion of 2 in t
3.715 * [backup-simplify]: Simplify 2 into 2
3.715 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
3.715 * [taylor]: Taking taylor expansion of 2 in t
3.715 * [backup-simplify]: Simplify 2 into 2
3.715 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
3.715 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
3.715 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.715 * [taylor]: Taking taylor expansion of t in t
3.715 * [backup-simplify]: Simplify 0 into 0
3.715 * [backup-simplify]: Simplify 1 into 1
3.716 * [backup-simplify]: Simplify (/ 1 1) into 1
3.716 * [taylor]: Taking taylor expansion of 1 in t
3.716 * [backup-simplify]: Simplify 1 into 1
3.716 * [backup-simplify]: Simplify (+ 1 0) into 1
3.716 * [backup-simplify]: Simplify (/ 1 1) into 1
3.716 * [backup-simplify]: Simplify (+ 2 0) into 2
3.716 * [backup-simplify]: Simplify 2 into 2
3.717 * [backup-simplify]: Simplify (* 2 1) into 2
3.717 * [backup-simplify]: Simplify (- 2) into -2
3.717 * [backup-simplify]: Simplify (+ 0 -2) into -2
3.717 * [backup-simplify]: Simplify -2 into -2
3.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.718 * [backup-simplify]: Simplify (+ 0 1) into 1
3.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.719 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
3.719 * [backup-simplify]: Simplify (- -2) into 2
3.720 * [backup-simplify]: Simplify (+ 0 2) into 2
3.720 * [backup-simplify]: Simplify 2 into 2
3.720 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
3.720 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 (/ 1 (- t))))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
3.720 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
3.720 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
3.720 * [taylor]: Taking taylor expansion of 2 in t
3.720 * [backup-simplify]: Simplify 2 into 2
3.720 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
3.720 * [taylor]: Taking taylor expansion of 2 in t
3.720 * [backup-simplify]: Simplify 2 into 2
3.720 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
3.720 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
3.720 * [taylor]: Taking taylor expansion of 1 in t
3.720 * [backup-simplify]: Simplify 1 into 1
3.720 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.720 * [taylor]: Taking taylor expansion of t in t
3.720 * [backup-simplify]: Simplify 0 into 0
3.720 * [backup-simplify]: Simplify 1 into 1
3.720 * [backup-simplify]: Simplify (/ 1 1) into 1
3.721 * [backup-simplify]: Simplify (- 1) into -1
3.721 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.721 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.721 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
3.721 * [taylor]: Taking taylor expansion of 2 in t
3.721 * [backup-simplify]: Simplify 2 into 2
3.721 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
3.721 * [taylor]: Taking taylor expansion of 2 in t
3.721 * [backup-simplify]: Simplify 2 into 2
3.721 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
3.721 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
3.721 * [taylor]: Taking taylor expansion of 1 in t
3.721 * [backup-simplify]: Simplify 1 into 1
3.721 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.721 * [taylor]: Taking taylor expansion of t in t
3.721 * [backup-simplify]: Simplify 0 into 0
3.721 * [backup-simplify]: Simplify 1 into 1
3.722 * [backup-simplify]: Simplify (/ 1 1) into 1
3.722 * [backup-simplify]: Simplify (- 1) into -1
3.722 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.722 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.723 * [backup-simplify]: Simplify (+ 2 0) into 2
3.723 * [backup-simplify]: Simplify 2 into 2
3.723 * [backup-simplify]: Simplify (* 2 -1) into -2
3.723 * [backup-simplify]: Simplify (- -2) into 2
3.724 * [backup-simplify]: Simplify (+ 0 2) into 2
3.724 * [backup-simplify]: Simplify 2 into 2
3.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.724 * [backup-simplify]: Simplify (- 0) into 0
3.725 * [backup-simplify]: Simplify (+ 1 0) into 1
3.725 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
3.726 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
3.726 * [backup-simplify]: Simplify (- -2) into 2
3.726 * [backup-simplify]: Simplify (+ 0 2) into 2
3.726 * [backup-simplify]: Simplify 2 into 2
3.726 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
3.726 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 1)
3.726 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
3.726 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
3.726 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
3.726 * [taylor]: Taking taylor expansion of 2 in t
3.726 * [backup-simplify]: Simplify 2 into 2
3.726 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
3.726 * [taylor]: Taking taylor expansion of 2 in t
3.726 * [backup-simplify]: Simplify 2 into 2
3.727 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
3.727 * [taylor]: Taking taylor expansion of (+ t 1) in t
3.727 * [taylor]: Taking taylor expansion of t in t
3.727 * [backup-simplify]: Simplify 0 into 0
3.727 * [backup-simplify]: Simplify 1 into 1
3.727 * [taylor]: Taking taylor expansion of 1 in t
3.727 * [backup-simplify]: Simplify 1 into 1
3.727 * [backup-simplify]: Simplify (+ 0 1) into 1
3.727 * [backup-simplify]: Simplify (/ 1 1) into 1
3.727 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
3.727 * [taylor]: Taking taylor expansion of 2 in t
3.727 * [backup-simplify]: Simplify 2 into 2
3.727 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
3.727 * [taylor]: Taking taylor expansion of 2 in t
3.727 * [backup-simplify]: Simplify 2 into 2
3.727 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
3.727 * [taylor]: Taking taylor expansion of (+ t 1) in t
3.727 * [taylor]: Taking taylor expansion of t in t
3.727 * [backup-simplify]: Simplify 0 into 0
3.727 * [backup-simplify]: Simplify 1 into 1
3.727 * [taylor]: Taking taylor expansion of 1 in t
3.727 * [backup-simplify]: Simplify 1 into 1
3.728 * [backup-simplify]: Simplify (+ 0 1) into 1
3.728 * [backup-simplify]: Simplify (/ 1 1) into 1
3.728 * [backup-simplify]: Simplify (* 2 1) into 2
3.728 * [backup-simplify]: Simplify (- 2) into -2
3.729 * [backup-simplify]: Simplify (+ 2 -2) into 0
3.729 * [backup-simplify]: Simplify 0 into 0
3.729 * [backup-simplify]: Simplify (+ 1 0) into 1
3.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.730 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
3.730 * [backup-simplify]: Simplify (- -2) into 2
3.731 * [backup-simplify]: Simplify (+ 0 2) into 2
3.731 * [backup-simplify]: Simplify 2 into 2
3.731 * [backup-simplify]: Simplify (+ 0 0) into 0
3.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
3.733 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
3.733 * [backup-simplify]: Simplify (- 2) into -2
3.734 * [backup-simplify]: Simplify (+ 0 -2) into -2
3.734 * [backup-simplify]: Simplify -2 into -2
3.734 * [backup-simplify]: Simplify (+ 0 0) into 0
3.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
3.737 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
3.737 * [backup-simplify]: Simplify (- -2) into 2
3.738 * [backup-simplify]: Simplify (+ 0 2) into 2
3.738 * [backup-simplify]: Simplify 2 into 2
3.738 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
3.738 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
3.738 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
3.738 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
3.738 * [taylor]: Taking taylor expansion of 2 in t
3.738 * [backup-simplify]: Simplify 2 into 2
3.738 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
3.738 * [taylor]: Taking taylor expansion of 2 in t
3.739 * [backup-simplify]: Simplify 2 into 2
3.739 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
3.739 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
3.739 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.739 * [taylor]: Taking taylor expansion of t in t
3.739 * [backup-simplify]: Simplify 0 into 0
3.739 * [backup-simplify]: Simplify 1 into 1
3.739 * [backup-simplify]: Simplify (/ 1 1) into 1
3.739 * [taylor]: Taking taylor expansion of 1 in t
3.739 * [backup-simplify]: Simplify 1 into 1
3.740 * [backup-simplify]: Simplify (+ 1 0) into 1
3.740 * [backup-simplify]: Simplify (/ 1 1) into 1
3.740 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
3.740 * [taylor]: Taking taylor expansion of 2 in t
3.740 * [backup-simplify]: Simplify 2 into 2
3.740 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
3.740 * [taylor]: Taking taylor expansion of 2 in t
3.740 * [backup-simplify]: Simplify 2 into 2
3.740 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
3.740 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
3.740 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.740 * [taylor]: Taking taylor expansion of t in t
3.740 * [backup-simplify]: Simplify 0 into 0
3.740 * [backup-simplify]: Simplify 1 into 1
3.741 * [backup-simplify]: Simplify (/ 1 1) into 1
3.741 * [taylor]: Taking taylor expansion of 1 in t
3.741 * [backup-simplify]: Simplify 1 into 1
3.741 * [backup-simplify]: Simplify (+ 1 0) into 1
3.742 * [backup-simplify]: Simplify (/ 1 1) into 1
3.742 * [backup-simplify]: Simplify (+ 2 0) into 2
3.742 * [backup-simplify]: Simplify 2 into 2
3.743 * [backup-simplify]: Simplify (* 2 1) into 2
3.743 * [backup-simplify]: Simplify (- 2) into -2
3.743 * [backup-simplify]: Simplify (+ 0 -2) into -2
3.743 * [backup-simplify]: Simplify -2 into -2
3.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.745 * [backup-simplify]: Simplify (+ 0 1) into 1
3.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.746 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
3.747 * [backup-simplify]: Simplify (- -2) into 2
3.747 * [backup-simplify]: Simplify (+ 0 2) into 2
3.747 * [backup-simplify]: Simplify 2 into 2
3.747 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
3.748 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
3.748 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
3.748 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
3.748 * [taylor]: Taking taylor expansion of 2 in t
3.748 * [backup-simplify]: Simplify 2 into 2
3.748 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
3.748 * [taylor]: Taking taylor expansion of 2 in t
3.748 * [backup-simplify]: Simplify 2 into 2
3.748 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
3.748 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
3.748 * [taylor]: Taking taylor expansion of 1 in t
3.748 * [backup-simplify]: Simplify 1 into 1
3.748 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.748 * [taylor]: Taking taylor expansion of t in t
3.748 * [backup-simplify]: Simplify 0 into 0
3.748 * [backup-simplify]: Simplify 1 into 1
3.748 * [backup-simplify]: Simplify (/ 1 1) into 1
3.749 * [backup-simplify]: Simplify (- 1) into -1
3.749 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.750 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.750 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
3.750 * [taylor]: Taking taylor expansion of 2 in t
3.750 * [backup-simplify]: Simplify 2 into 2
3.750 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
3.750 * [taylor]: Taking taylor expansion of 2 in t
3.750 * [backup-simplify]: Simplify 2 into 2
3.750 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
3.750 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
3.750 * [taylor]: Taking taylor expansion of 1 in t
3.750 * [backup-simplify]: Simplify 1 into 1
3.750 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.750 * [taylor]: Taking taylor expansion of t in t
3.750 * [backup-simplify]: Simplify 0 into 0
3.750 * [backup-simplify]: Simplify 1 into 1
3.750 * [backup-simplify]: Simplify (/ 1 1) into 1
3.751 * [backup-simplify]: Simplify (- 1) into -1
3.751 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.752 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.752 * [backup-simplify]: Simplify (+ 2 0) into 2
3.752 * [backup-simplify]: Simplify 2 into 2
3.753 * [backup-simplify]: Simplify (* 2 -1) into -2
3.753 * [backup-simplify]: Simplify (- -2) into 2
3.753 * [backup-simplify]: Simplify (+ 0 2) into 2
3.753 * [backup-simplify]: Simplify 2 into 2
3.754 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.755 * [backup-simplify]: Simplify (- 0) into 0
3.755 * [backup-simplify]: Simplify (+ 1 0) into 1
3.756 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
3.757 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
3.757 * [backup-simplify]: Simplify (- -2) into 2
3.757 * [backup-simplify]: Simplify (+ 0 2) into 2
3.757 * [backup-simplify]: Simplify 2 into 2
3.758 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
3.758 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
3.758 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
3.758 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
3.758 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
3.758 * [taylor]: Taking taylor expansion of 2 in t
3.758 * [backup-simplify]: Simplify 2 into 2
3.758 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
3.758 * [taylor]: Taking taylor expansion of 2 in t
3.758 * [backup-simplify]: Simplify 2 into 2
3.758 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
3.758 * [taylor]: Taking taylor expansion of (+ t 1) in t
3.758 * [taylor]: Taking taylor expansion of t in t
3.758 * [backup-simplify]: Simplify 0 into 0
3.758 * [backup-simplify]: Simplify 1 into 1
3.758 * [taylor]: Taking taylor expansion of 1 in t
3.758 * [backup-simplify]: Simplify 1 into 1
3.759 * [backup-simplify]: Simplify (+ 0 1) into 1
3.759 * [backup-simplify]: Simplify (/ 1 1) into 1
3.759 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
3.759 * [taylor]: Taking taylor expansion of 2 in t
3.759 * [backup-simplify]: Simplify 2 into 2
3.759 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
3.759 * [taylor]: Taking taylor expansion of 2 in t
3.759 * [backup-simplify]: Simplify 2 into 2
3.759 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
3.759 * [taylor]: Taking taylor expansion of (+ t 1) in t
3.759 * [taylor]: Taking taylor expansion of t in t
3.759 * [backup-simplify]: Simplify 0 into 0
3.760 * [backup-simplify]: Simplify 1 into 1
3.760 * [taylor]: Taking taylor expansion of 1 in t
3.760 * [backup-simplify]: Simplify 1 into 1
3.760 * [backup-simplify]: Simplify (+ 0 1) into 1
3.760 * [backup-simplify]: Simplify (/ 1 1) into 1
3.761 * [backup-simplify]: Simplify (* 2 1) into 2
3.761 * [backup-simplify]: Simplify (- 2) into -2
3.762 * [backup-simplify]: Simplify (+ 2 -2) into 0
3.762 * [backup-simplify]: Simplify 0 into 0
3.762 * [backup-simplify]: Simplify (+ 1 0) into 1
3.763 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.764 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
3.764 * [backup-simplify]: Simplify (- -2) into 2
3.764 * [backup-simplify]: Simplify (+ 0 2) into 2
3.764 * [backup-simplify]: Simplify 2 into 2
3.765 * [backup-simplify]: Simplify (+ 0 0) into 0
3.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
3.767 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
3.767 * [backup-simplify]: Simplify (- 2) into -2
3.768 * [backup-simplify]: Simplify (+ 0 -2) into -2
3.768 * [backup-simplify]: Simplify -2 into -2
3.768 * [backup-simplify]: Simplify (+ 0 0) into 0
3.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
3.771 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
3.771 * [backup-simplify]: Simplify (- -2) into 2
3.772 * [backup-simplify]: Simplify (+ 0 2) into 2
3.772 * [backup-simplify]: Simplify 2 into 2
3.772 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
3.772 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
3.772 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
3.772 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
3.772 * [taylor]: Taking taylor expansion of 2 in t
3.772 * [backup-simplify]: Simplify 2 into 2
3.772 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
3.772 * [taylor]: Taking taylor expansion of 2 in t
3.772 * [backup-simplify]: Simplify 2 into 2
3.772 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
3.772 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
3.773 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.773 * [taylor]: Taking taylor expansion of t in t
3.773 * [backup-simplify]: Simplify 0 into 0
3.773 * [backup-simplify]: Simplify 1 into 1
3.773 * [backup-simplify]: Simplify (/ 1 1) into 1
3.773 * [taylor]: Taking taylor expansion of 1 in t
3.773 * [backup-simplify]: Simplify 1 into 1
3.773 * [backup-simplify]: Simplify (+ 1 0) into 1
3.774 * [backup-simplify]: Simplify (/ 1 1) into 1
3.774 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
3.774 * [taylor]: Taking taylor expansion of 2 in t
3.774 * [backup-simplify]: Simplify 2 into 2
3.774 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
3.774 * [taylor]: Taking taylor expansion of 2 in t
3.774 * [backup-simplify]: Simplify 2 into 2
3.774 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
3.774 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
3.774 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.774 * [taylor]: Taking taylor expansion of t in t
3.774 * [backup-simplify]: Simplify 0 into 0
3.774 * [backup-simplify]: Simplify 1 into 1
3.774 * [backup-simplify]: Simplify (/ 1 1) into 1
3.775 * [taylor]: Taking taylor expansion of 1 in t
3.775 * [backup-simplify]: Simplify 1 into 1
3.775 * [backup-simplify]: Simplify (+ 1 0) into 1
3.775 * [backup-simplify]: Simplify (/ 1 1) into 1
3.776 * [backup-simplify]: Simplify (+ 2 0) into 2
3.776 * [backup-simplify]: Simplify 2 into 2
3.776 * [backup-simplify]: Simplify (* 2 1) into 2
3.777 * [backup-simplify]: Simplify (- 2) into -2
3.777 * [backup-simplify]: Simplify (+ 0 -2) into -2
3.777 * [backup-simplify]: Simplify -2 into -2
3.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.778 * [backup-simplify]: Simplify (+ 0 1) into 1
3.779 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.780 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
3.780 * [backup-simplify]: Simplify (- -2) into 2
3.781 * [backup-simplify]: Simplify (+ 0 2) into 2
3.781 * [backup-simplify]: Simplify 2 into 2
3.781 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
3.781 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
3.781 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
3.781 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
3.781 * [taylor]: Taking taylor expansion of 2 in t
3.781 * [backup-simplify]: Simplify 2 into 2
3.781 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
3.781 * [taylor]: Taking taylor expansion of 2 in t
3.781 * [backup-simplify]: Simplify 2 into 2
3.781 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
3.781 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
3.781 * [taylor]: Taking taylor expansion of 1 in t
3.781 * [backup-simplify]: Simplify 1 into 1
3.781 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.781 * [taylor]: Taking taylor expansion of t in t
3.781 * [backup-simplify]: Simplify 0 into 0
3.781 * [backup-simplify]: Simplify 1 into 1
3.782 * [backup-simplify]: Simplify (/ 1 1) into 1
3.782 * [backup-simplify]: Simplify (- 1) into -1
3.783 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.783 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.783 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
3.783 * [taylor]: Taking taylor expansion of 2 in t
3.783 * [backup-simplify]: Simplify 2 into 2
3.783 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
3.783 * [taylor]: Taking taylor expansion of 2 in t
3.783 * [backup-simplify]: Simplify 2 into 2
3.783 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
3.783 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
3.783 * [taylor]: Taking taylor expansion of 1 in t
3.783 * [backup-simplify]: Simplify 1 into 1
3.783 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.783 * [taylor]: Taking taylor expansion of t in t
3.783 * [backup-simplify]: Simplify 0 into 0
3.783 * [backup-simplify]: Simplify 1 into 1
3.784 * [backup-simplify]: Simplify (/ 1 1) into 1
3.784 * [backup-simplify]: Simplify (- 1) into -1
3.784 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.785 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.785 * [backup-simplify]: Simplify (+ 2 0) into 2
3.785 * [backup-simplify]: Simplify 2 into 2
3.786 * [backup-simplify]: Simplify (* 2 -1) into -2
3.786 * [backup-simplify]: Simplify (- -2) into 2
3.787 * [backup-simplify]: Simplify (+ 0 2) into 2
3.787 * [backup-simplify]: Simplify 2 into 2
3.787 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.788 * [backup-simplify]: Simplify (- 0) into 0
3.788 * [backup-simplify]: Simplify (+ 1 0) into 1
3.789 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
3.790 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
3.790 * [backup-simplify]: Simplify (- -2) into 2
3.791 * [backup-simplify]: Simplify (+ 0 2) into 2
3.791 * [backup-simplify]: Simplify 2 into 2
3.791 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
3.791 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
3.791 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 t))) into (- 2 (* 2 (/ 1 (+ t 1))))
3.791 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in (t) around 0
3.791 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
3.791 * [taylor]: Taking taylor expansion of 2 in t
3.791 * [backup-simplify]: Simplify 2 into 2
3.792 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
3.792 * [taylor]: Taking taylor expansion of 2 in t
3.792 * [backup-simplify]: Simplify 2 into 2
3.792 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
3.792 * [taylor]: Taking taylor expansion of (+ t 1) in t
3.792 * [taylor]: Taking taylor expansion of t in t
3.792 * [backup-simplify]: Simplify 0 into 0
3.792 * [backup-simplify]: Simplify 1 into 1
3.792 * [taylor]: Taking taylor expansion of 1 in t
3.792 * [backup-simplify]: Simplify 1 into 1
3.792 * [backup-simplify]: Simplify (+ 0 1) into 1
3.793 * [backup-simplify]: Simplify (/ 1 1) into 1
3.793 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ t 1)))) in t
3.793 * [taylor]: Taking taylor expansion of 2 in t
3.793 * [backup-simplify]: Simplify 2 into 2
3.793 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ t 1))) in t
3.793 * [taylor]: Taking taylor expansion of 2 in t
3.793 * [backup-simplify]: Simplify 2 into 2
3.793 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
3.793 * [taylor]: Taking taylor expansion of (+ t 1) in t
3.793 * [taylor]: Taking taylor expansion of t in t
3.793 * [backup-simplify]: Simplify 0 into 0
3.793 * [backup-simplify]: Simplify 1 into 1
3.793 * [taylor]: Taking taylor expansion of 1 in t
3.793 * [backup-simplify]: Simplify 1 into 1
3.794 * [backup-simplify]: Simplify (+ 0 1) into 1
3.794 * [backup-simplify]: Simplify (/ 1 1) into 1
3.794 * [backup-simplify]: Simplify (* 2 1) into 2
3.795 * [backup-simplify]: Simplify (- 2) into -2
3.795 * [backup-simplify]: Simplify (+ 2 -2) into 0
3.795 * [backup-simplify]: Simplify 0 into 0
3.796 * [backup-simplify]: Simplify (+ 1 0) into 1
3.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.797 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
3.798 * [backup-simplify]: Simplify (- -2) into 2
3.798 * [backup-simplify]: Simplify (+ 0 2) into 2
3.798 * [backup-simplify]: Simplify 2 into 2
3.798 * [backup-simplify]: Simplify (+ 0 0) into 0
3.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
3.800 * [backup-simplify]: Simplify (+ (* 2 1) (+ (* 0 -1) (* 0 1))) into 2
3.800 * [backup-simplify]: Simplify (- 2) into -2
3.801 * [backup-simplify]: Simplify (+ 0 -2) into -2
3.801 * [backup-simplify]: Simplify -2 into -2
3.801 * [backup-simplify]: Simplify (+ 0 0) into 0
3.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
3.802 * [backup-simplify]: Simplify (+ (* 2 -1) (+ (* 0 1) (+ (* 0 -1) (* 0 1)))) into -2
3.803 * [backup-simplify]: Simplify (- -2) into 2
3.803 * [backup-simplify]: Simplify (+ 0 2) into 2
3.803 * [backup-simplify]: Simplify 2 into 2
3.803 * [backup-simplify]: Simplify (+ (* 2 (pow t 3)) (+ (* -2 (pow t 2)) (* 2 t))) into (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
3.803 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 t)))) into (- 2 (* 2 (/ 1 (+ (/ 1 t) 1))))
3.803 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
3.803 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
3.803 * [taylor]: Taking taylor expansion of 2 in t
3.803 * [backup-simplify]: Simplify 2 into 2
3.803 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
3.803 * [taylor]: Taking taylor expansion of 2 in t
3.803 * [backup-simplify]: Simplify 2 into 2
3.803 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
3.803 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
3.803 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.803 * [taylor]: Taking taylor expansion of t in t
3.803 * [backup-simplify]: Simplify 0 into 0
3.803 * [backup-simplify]: Simplify 1 into 1
3.804 * [backup-simplify]: Simplify (/ 1 1) into 1
3.804 * [taylor]: Taking taylor expansion of 1 in t
3.804 * [backup-simplify]: Simplify 1 into 1
3.804 * [backup-simplify]: Simplify (+ 1 0) into 1
3.804 * [backup-simplify]: Simplify (/ 1 1) into 1
3.804 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (+ (/ 1 t) 1)))) in t
3.804 * [taylor]: Taking taylor expansion of 2 in t
3.804 * [backup-simplify]: Simplify 2 into 2
3.804 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (+ (/ 1 t) 1))) in t
3.804 * [taylor]: Taking taylor expansion of 2 in t
3.804 * [backup-simplify]: Simplify 2 into 2
3.804 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
3.804 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
3.804 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.804 * [taylor]: Taking taylor expansion of t in t
3.804 * [backup-simplify]: Simplify 0 into 0
3.804 * [backup-simplify]: Simplify 1 into 1
3.805 * [backup-simplify]: Simplify (/ 1 1) into 1
3.805 * [taylor]: Taking taylor expansion of 1 in t
3.805 * [backup-simplify]: Simplify 1 into 1
3.805 * [backup-simplify]: Simplify (+ 1 0) into 1
3.805 * [backup-simplify]: Simplify (/ 1 1) into 1
3.806 * [backup-simplify]: Simplify (+ 2 0) into 2
3.806 * [backup-simplify]: Simplify 2 into 2
3.806 * [backup-simplify]: Simplify (* 2 1) into 2
3.806 * [backup-simplify]: Simplify (- 2) into -2
3.806 * [backup-simplify]: Simplify (+ 0 -2) into -2
3.806 * [backup-simplify]: Simplify -2 into -2
3.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.807 * [backup-simplify]: Simplify (+ 0 1) into 1
3.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
3.808 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 1)) into -2
3.808 * [backup-simplify]: Simplify (- -2) into 2
3.808 * [backup-simplify]: Simplify (+ 0 2) into 2
3.809 * [backup-simplify]: Simplify 2 into 2
3.809 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 t) 2)) (+ (* -2 (/ 1 t)) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
3.809 * [backup-simplify]: Simplify (- 2 (/ 2 (+ 1 (/ 1 (- t))))) into (- 2 (* 2 (/ 1 (- 1 (/ 1 t)))))
3.809 * [approximate]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
3.809 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
3.809 * [taylor]: Taking taylor expansion of 2 in t
3.809 * [backup-simplify]: Simplify 2 into 2
3.809 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
3.809 * [taylor]: Taking taylor expansion of 2 in t
3.809 * [backup-simplify]: Simplify 2 into 2
3.809 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
3.809 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
3.809 * [taylor]: Taking taylor expansion of 1 in t
3.809 * [backup-simplify]: Simplify 1 into 1
3.809 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.809 * [taylor]: Taking taylor expansion of t in t
3.809 * [backup-simplify]: Simplify 0 into 0
3.809 * [backup-simplify]: Simplify 1 into 1
3.809 * [backup-simplify]: Simplify (/ 1 1) into 1
3.809 * [backup-simplify]: Simplify (- 1) into -1
3.810 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.810 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.810 * [taylor]: Taking taylor expansion of (- 2 (* 2 (/ 1 (- 1 (/ 1 t))))) in t
3.810 * [taylor]: Taking taylor expansion of 2 in t
3.810 * [backup-simplify]: Simplify 2 into 2
3.810 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (- 1 (/ 1 t)))) in t
3.810 * [taylor]: Taking taylor expansion of 2 in t
3.810 * [backup-simplify]: Simplify 2 into 2
3.810 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
3.810 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
3.810 * [taylor]: Taking taylor expansion of 1 in t
3.810 * [backup-simplify]: Simplify 1 into 1
3.810 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.810 * [taylor]: Taking taylor expansion of t in t
3.810 * [backup-simplify]: Simplify 0 into 0
3.810 * [backup-simplify]: Simplify 1 into 1
3.810 * [backup-simplify]: Simplify (/ 1 1) into 1
3.811 * [backup-simplify]: Simplify (- 1) into -1
3.811 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.811 * [backup-simplify]: Simplify (/ 1 -1) into -1
3.812 * [backup-simplify]: Simplify (+ 2 0) into 2
3.812 * [backup-simplify]: Simplify 2 into 2
3.812 * [backup-simplify]: Simplify (* 2 -1) into -2
3.812 * [backup-simplify]: Simplify (- -2) into 2
3.812 * [backup-simplify]: Simplify (+ 0 2) into 2
3.812 * [backup-simplify]: Simplify 2 into 2
3.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.813 * [backup-simplify]: Simplify (- 0) into 0
3.813 * [backup-simplify]: Simplify (+ 1 0) into 1
3.814 * [backup-simplify]: Simplify (- (+ (* -1 (/ 1 -1)))) into -1
3.814 * [backup-simplify]: Simplify (+ (* 2 -1) (* 0 -1)) into -2
3.815 * [backup-simplify]: Simplify (- -2) into 2
3.815 * [backup-simplify]: Simplify (+ 0 2) into 2
3.815 * [backup-simplify]: Simplify 2 into 2
3.815 * [backup-simplify]: Simplify (+ (* 2 (pow (/ 1 (- t)) 2)) (+ (* 2 (/ 1 (- t))) 2)) into (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
3.815 * * * [progress]: simplifying candidates
3.815 * * * * [progress]: [ 1 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (pow (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) 1)))))>
3.815 * * * * [progress]: [ 2 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (exp (log (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))))>
3.815 * * * * [progress]: [ 3 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (log (exp (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))))>
3.815 * * * * [progress]: [ 4 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))) (cbrt (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))))) (cbrt (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))))>
3.815 * * * * [progress]: [ 5 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (cbrt (* (* (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))))>
3.815 * * * * [progress]: [ 6 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* (sqrt (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))) (sqrt (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))))>
3.815 * * * * [progress]: [ 7 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (* 1 (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))))))))>
3.815 * * * * [progress]: [ 8 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))))>
3.815 * * * * [progress]: [ 9 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>
3.815 * * * * [progress]: [ 10 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (log (/ (exp 2) (exp (/ 2 (+ 1 t)))))))))))>
3.816 * * * * [progress]: [ 11 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (pow (- 2 (/ 2 (+ 1 t))) 1)))))))>
3.816 * * * * [progress]: [ 12 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (exp (log (- 2 (/ 2 (+ 1 t)))))))))))>
3.816 * * * * [progress]: [ 13 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (log (exp (- 2 (/ 2 (+ 1 t)))))))))))>
3.816 * * * * [progress]: [ 14 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t)))))))))))>
3.816 * * * * [progress]: [ 15 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t)))))))))))>
3.816 * * * * [progress]: [ 16 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t)))))))))))>
3.816 * * * * [progress]: [ 17 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t))))))))))))>
3.816 * * * * [progress]: [ 18 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (+ 2 (- (/ 2 (+ 1 t))))))))))>
3.816 * * * * [progress]: [ 19 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (* 1 (- 2 (/ 2 (+ 1 t))))))))))>
3.816 * * * * [progress]: [ 20 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t))))))))))>
3.816 * * * * [progress]: [ 21 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t)))))))))))>
3.816 * * * * [progress]: [ 22 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))))))))))>
3.816 * * * * [progress]: [ 23 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (* 1 (- 2 (/ 2 (+ 1 t))))))))))>
3.816 * * * * [progress]: [ 24 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (+ 2 (- (/ 2 (+ 1 t))))))))))>
3.816 * * * * [progress]: [ 25 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))))>
3.816 * * * * [progress]: [ 26 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (log (/ (exp 2) (exp (/ 2 (+ 1 t))))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.816 * * * * [progress]: [ 27 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (pow (- 2 (/ 2 (+ 1 t))) 1) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.816 * * * * [progress]: [ 28 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (exp (log (- 2 (/ 2 (+ 1 t))))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.816 * * * * [progress]: [ 29 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (log (exp (- 2 (/ 2 (+ 1 t))))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.816 * * * * [progress]: [ 30 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.816 * * * * [progress]: [ 31 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.816 * * * * [progress]: [ 32 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.816 * * * * [progress]: [ 33 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.816 * * * * [progress]: [ 34 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ 2 (- (/ 2 (+ 1 t)))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 35 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 36 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 37 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 38 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 39 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (* 1 (- 2 (/ 2 (+ 1 t)))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 40 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (+ 2 (- (/ 2 (+ 1 t)))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 41 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 42 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (log (/ (exp 2) (exp (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 43 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (pow (- 2 (/ 2 (+ 1 t))) 1))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 44 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (exp (log (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 45 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (log (exp (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 46 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t))))) (cbrt (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 47 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (cbrt (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 48 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (sqrt (- 2 (/ 2 (+ 1 t)))) (sqrt (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 49 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (/ (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3)) (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 50 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 51 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 52 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (/ (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))) (+ 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 53 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (sqrt (/ 2 (+ 1 t)))) (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 54 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t)))) (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 55 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (* 1 (- 2 (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 56 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (+ 2 (- (/ 2 (+ 1 t)))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 57 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.817 * * * * [progress]: [ 58 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))))))>
3.817 * * * * [progress]: [ 59 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
3.818 * * * * [progress]: [ 60 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))>
3.818 * * * * [progress]: [ 61 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))))))))>
3.818 * * * * [progress]: [ 62 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))))>
3.818 * * * * [progress]: [ 63 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))))))))>
3.818 * * * * [progress]: [ 64 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.818 * * * * [progress]: [ 65 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.818 * * * * [progress]: [ 66 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.818 * * * * [progress]: [ 67 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.818 * * * * [progress]: [ 68 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.818 * * * * [progress]: [ 69 / 69 ] simplifiying candidate #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))>
3.818 * [simplify]: Simplifying:
  (log (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))))
  (exp (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))))
  (* (cbrt (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))) (cbrt (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))
  (cbrt (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))))
  (* (* (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))))
  (sqrt (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))))
  (sqrt (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))))
  (real->posit16 (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t))))))
  (/ (exp 2) (exp (/ 2 (+ 1 t))))
  (log (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))
  (cbrt (- 2 (/ 2 (+ 1 t))))
  (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))
  (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))
  (- (/ 2 (+ 1 t)))
  (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
  (+ 2 (/ 2 (+ 1 t)))
  (+ (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- 2 (/ 2 (+ 1 t)))
  (- (/ 2 (+ 1 t)))
  (real->posit16 (- 2 (/ 2 (+ 1 t))))
  (/ (exp 2) (exp (/ 2 (+ 1 t))))
  (log (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))
  (cbrt (- 2 (/ 2 (+ 1 t))))
  (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))
  (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))
  (- (/ 2 (+ 1 t)))
  (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
  (+ 2 (/ 2 (+ 1 t)))
  (+ (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- 2 (/ 2 (+ 1 t)))
  (- (/ 2 (+ 1 t)))
  (real->posit16 (- 2 (/ 2 (+ 1 t))))
  (/ (exp 2) (exp (/ 2 (+ 1 t))))
  (log (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))
  (cbrt (- 2 (/ 2 (+ 1 t))))
  (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (- (pow 2 3) (pow (/ 2 (+ 1 t)) 3))
  (+ (* 2 2) (+ (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))) (* 2 (/ 2 (+ 1 t)))))
  (- (/ 2 (+ 1 t)))
  (- (* 2 2) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
  (+ 2 (/ 2 (+ 1 t)))
  (+ (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- 2 (/ 2 (+ 1 t)))
  (- (/ 2 (+ 1 t)))
  (real->posit16 (- 2 (/ 2 (+ 1 t))))
  (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 t) (* 2 (pow t 3))) (* 2 (pow t 2)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
  (- (+ (* 2 (/ 1 (pow t 2))) 2) (* 2 (/ 1 t)))
3.819 * * [simplify]: iteration 1: (59 enodes)
3.842 * * [simplify]: iteration 2: (229 enodes)
3.914 * * [simplify]: iteration 3: (396 enodes)
4.033 * * [simplify]: iteration 4: (794 enodes)
4.313 * * [simplify]: iteration 5: (1650 enodes)
5.610 * * [simplify]: Extracting #0: cost 19 inf + 0
5.610 * * [simplify]: Extracting #1: cost 142 inf + 0
5.612 * * [simplify]: Extracting #2: cost 588 inf + 255
5.621 * * [simplify]: Extracting #3: cost 716 inf + 32601
5.650 * * [simplify]: Extracting #4: cost 164 inf + 146575
5.718 * * [simplify]: Extracting #5: cost 13 inf + 190741
5.800 * * [simplify]: Extracting #6: cost 1 inf + 194889
5.851 * * [simplify]: Extracting #7: cost 0 inf + 194505
5.903 * [simplify]: Simplified to:
  (log (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))
  (cbrt (- 2 (/ 2 (+ 1 t))))
  (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (real->posit16 (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (log (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))
  (cbrt (- 2 (/ 2 (+ 1 t))))
  (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (- 8 (* (/ 2 (+ 1 t)) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))))
  (+ (* (/ 2 (+ 1 t)) (+ 2 (/ 2 (+ 1 t)))) 4)
  (/ -2 (+ 1 t))
  (- 4 (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
  (+ 2 (/ 2 (+ 1 t)))
  (+ (sqrt (/ 2 (+ 1 t))) (sqrt 2))
  (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- 2 (/ 2 (+ 1 t)))
  (/ -2 (+ 1 t))
  (real->posit16 (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (log (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))
  (cbrt (- 2 (/ 2 (+ 1 t))))
  (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (- 8 (* (/ 2 (+ 1 t)) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))))
  (+ (* (/ 2 (+ 1 t)) (+ 2 (/ 2 (+ 1 t)))) 4)
  (/ -2 (+ 1 t))
  (- 4 (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
  (+ 2 (/ 2 (+ 1 t)))
  (+ (sqrt (/ 2 (+ 1 t))) (sqrt 2))
  (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- 2 (/ 2 (+ 1 t)))
  (/ -2 (+ 1 t))
  (real->posit16 (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (log (- 2 (/ 2 (+ 1 t))))
  (exp (- 2 (/ 2 (+ 1 t))))
  (* (cbrt (- 2 (/ 2 (+ 1 t)))) (cbrt (- 2 (/ 2 (+ 1 t)))))
  (cbrt (- 2 (/ 2 (+ 1 t))))
  (* (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))) (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (sqrt (- 2 (/ 2 (+ 1 t))))
  (- 8 (* (/ 2 (+ 1 t)) (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t)))))
  (+ (* (/ 2 (+ 1 t)) (+ 2 (/ 2 (+ 1 t)))) 4)
  (/ -2 (+ 1 t))
  (- 4 (* (/ 2 (+ 1 t)) (/ 2 (+ 1 t))))
  (+ 2 (/ 2 (+ 1 t)))
  (+ (sqrt (/ 2 (+ 1 t))) (sqrt 2))
  (- (sqrt 2) (sqrt (/ 2 (+ 1 t))))
  (+ (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- (sqrt 2) (/ (sqrt 2) (sqrt (+ 1 t))))
  (- 2 (/ 2 (+ 1 t)))
  (/ -2 (+ 1 t))
  (real->posit16 (- 2 (/ 2 (+ 1 t))))
  (- (* t (* t (+ t t))) (- (* t (+ t t)) (+ t t)))
  (+ (- 2 (/ 2 t)) (/ (/ 2 t) t))
  (+ (- 2 (/ 2 t)) (/ (/ 2 t) t))
  (- (* t (* t (+ t t))) (- (* t (+ t t)) (+ t t)))
  (+ (- 2 (/ 2 t)) (/ (/ 2 t) t))
  (+ (- 2 (/ 2 t)) (/ (/ 2 t) t))
  (- (* t (* t (+ t t))) (- (* t (+ t t)) (+ t t)))
  (+ (- 2 (/ 2 t)) (/ (/ 2 t) t))
  (+ (- 2 (/ 2 t)) (/ (/ 2 t) t))
  (- (* t (* t (+ t t))) (- (* t (+ t t)) (+ t t)))
  (+ (- 2 (/ 2 t)) (/ (/ 2 t) t))
  (+ (- 2 (/ 2 t)) (/ (/ 2 t) t))
5.910 * * * [progress]: adding candidates to table
7.409 * [progress]: [Phase 3 of 3] Extracting.
7.410 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))> #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>)
7.410 * * * [regime-changes]: Trying 1 branch expressions: (t)
7.410 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (posit16->real (real->posit16 (- 2 (/ 2 (+ 1 t)))))))))> #<alt (λ (t) (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t)))))))>)
7.443 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
7.444 * [simplify]: Simplifying:
  (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
7.444 * * [simplify]: iteration 1: (10 enodes)
7.445 * * [simplify]: iteration 2: (15 enodes)
7.445 * * [simplify]: Extracting #0: cost 1 inf + 0
7.446 * * [simplify]: Extracting #1: cost 3 inf + 0
7.446 * * [simplify]: Extracting #2: cost 6 inf + 0
7.446 * * [simplify]: Extracting #3: cost 5 inf + 2
7.446 * * [simplify]: Extracting #4: cost 6 inf + 2
7.446 * * [simplify]: Extracting #5: cost 7 inf + 2
7.446 * * [simplify]: Extracting #6: cost 8 inf + 2
7.446 * * [simplify]: Extracting #7: cost 0 inf + 1103
7.446 * [simplify]: Simplified to:
  (/ (+ 1 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))) (+ 2 (* (- 2 (/ 2 (+ 1 t))) (- 2 (/ 2 (+ 1 t))))))
9.827 * [regime-testing]: Baseline error score: 0.009501187648456057
9.830 * [regime-testing]: Oracle error score: 0.009376172021502687
9.834 * [regime-testing]: End program error score: 0.009501187648456057