0.610 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.037 * * * [progress]: [2/2] Setting up program.
0.041 * [progress]: [Phase 2 of 3] Improving.
0.041 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (+ 1.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
0.042 * * [simplify]: iteration  0 :  12  enodes  (cost  51 )
0.043 * * [simplify]: iteration  1 :  19  enodes  (cost  51 )
0.045 * * [simplify]: iteration  2 :  33  enodes  (cost  51 )
0.050 * * [simplify]: iteration  3 :  80  enodes  (cost  51 )
0.069 * * [simplify]: iteration  4 :  237  enodes  (cost  51 )
0.130 * * [simplify]: iteration  5 :  603  enodes  (cost  51 )
0.404 * * [simplify]: iteration  6 :  1418  enodes  (cost  51 )
1.901 * * [simplify]: iteration  7 :  3672  enodes  (cost  43 )
2.701 * * [simplify]: iteration  done :  5000  enodes  (cost  43 )
2.702 * [simplify]: Simplified to:
   (/ (+ (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) 1.0) (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))))
2.706 * * [progress]: iteration 1 / 4
2.706 * * * [progress]: picking best candidate
2.708 * * * * [pick]: Picked  #<alt (λ (t) (/ (+ (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) 1.0) (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))))>
2.709 * * * [progress]: localizing error
2.719 * * * [progress]: generating rewritten candidates
2.719 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
2.726 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
2.732 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
2.738 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
2.746 * * * [progress]: generating series expansions
2.746 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
2.746 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0
2.746 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t
2.746 * [taylor]: Taking taylor expansion of 2.0 in t
2.746 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t
2.746 * [taylor]: Taking taylor expansion of 2.0 in t
2.746 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.746 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.746 * [taylor]: Taking taylor expansion of t in t
2.746 * [taylor]: Taking taylor expansion of 1 in t
2.746 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t
2.746 * [taylor]: Taking taylor expansion of 2.0 in t
2.746 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t
2.746 * [taylor]: Taking taylor expansion of 2.0 in t
2.746 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.746 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.746 * [taylor]: Taking taylor expansion of t in t
2.746 * [taylor]: Taking taylor expansion of 1 in t
2.747 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
2.747 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t
2.747 * [taylor]: Taking taylor expansion of 2.0 in t
2.747 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t
2.747 * [taylor]: Taking taylor expansion of 2.0 in t
2.747 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.747 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.747 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.747 * [taylor]: Taking taylor expansion of t in t
2.747 * [taylor]: Taking taylor expansion of 1 in t
2.747 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t
2.747 * [taylor]: Taking taylor expansion of 2.0 in t
2.747 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t
2.747 * [taylor]: Taking taylor expansion of 2.0 in t
2.747 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.747 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.747 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.747 * [taylor]: Taking taylor expansion of t in t
2.747 * [taylor]: Taking taylor expansion of 1 in t
2.748 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
2.748 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t
2.748 * [taylor]: Taking taylor expansion of 2.0 in t
2.748 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t
2.748 * [taylor]: Taking taylor expansion of 2.0 in t
2.748 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.748 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.748 * [taylor]: Taking taylor expansion of 1 in t
2.748 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.748 * [taylor]: Taking taylor expansion of t in t
2.748 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t
2.748 * [taylor]: Taking taylor expansion of 2.0 in t
2.748 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t
2.748 * [taylor]: Taking taylor expansion of 2.0 in t
2.748 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.748 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.748 * [taylor]: Taking taylor expansion of 1 in t
2.748 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.748 * [taylor]: Taking taylor expansion of t in t
2.749 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
2.749 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0
2.749 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t
2.749 * [taylor]: Taking taylor expansion of 2.0 in t
2.749 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t
2.749 * [taylor]: Taking taylor expansion of 2.0 in t
2.749 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.749 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.749 * [taylor]: Taking taylor expansion of t in t
2.749 * [taylor]: Taking taylor expansion of 1 in t
2.749 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t
2.749 * [taylor]: Taking taylor expansion of 2.0 in t
2.749 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t
2.749 * [taylor]: Taking taylor expansion of 2.0 in t
2.749 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.749 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.749 * [taylor]: Taking taylor expansion of t in t
2.749 * [taylor]: Taking taylor expansion of 1 in t
2.750 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
2.750 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t
2.750 * [taylor]: Taking taylor expansion of 2.0 in t
2.750 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t
2.750 * [taylor]: Taking taylor expansion of 2.0 in t
2.750 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.750 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.750 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.750 * [taylor]: Taking taylor expansion of t in t
2.750 * [taylor]: Taking taylor expansion of 1 in t
2.750 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t
2.750 * [taylor]: Taking taylor expansion of 2.0 in t
2.750 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t
2.750 * [taylor]: Taking taylor expansion of 2.0 in t
2.750 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.750 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.750 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.750 * [taylor]: Taking taylor expansion of t in t
2.750 * [taylor]: Taking taylor expansion of 1 in t
2.750 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
2.750 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t
2.750 * [taylor]: Taking taylor expansion of 2.0 in t
2.750 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t
2.751 * [taylor]: Taking taylor expansion of 2.0 in t
2.751 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.751 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.751 * [taylor]: Taking taylor expansion of 1 in t
2.751 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.751 * [taylor]: Taking taylor expansion of t in t
2.751 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t
2.751 * [taylor]: Taking taylor expansion of 2.0 in t
2.751 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t
2.751 * [taylor]: Taking taylor expansion of 2.0 in t
2.751 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.751 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.751 * [taylor]: Taking taylor expansion of 1 in t
2.751 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.751 * [taylor]: Taking taylor expansion of t in t
2.751 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
2.751 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0
2.752 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t
2.752 * [taylor]: Taking taylor expansion of 2.0 in t
2.752 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t
2.752 * [taylor]: Taking taylor expansion of 2.0 in t
2.752 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.752 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.752 * [taylor]: Taking taylor expansion of t in t
2.752 * [taylor]: Taking taylor expansion of 1 in t
2.752 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t
2.752 * [taylor]: Taking taylor expansion of 2.0 in t
2.752 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t
2.752 * [taylor]: Taking taylor expansion of 2.0 in t
2.752 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.752 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.752 * [taylor]: Taking taylor expansion of t in t
2.752 * [taylor]: Taking taylor expansion of 1 in t
2.753 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
2.753 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t
2.753 * [taylor]: Taking taylor expansion of 2.0 in t
2.753 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t
2.753 * [taylor]: Taking taylor expansion of 2.0 in t
2.753 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.753 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.753 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.753 * [taylor]: Taking taylor expansion of t in t
2.753 * [taylor]: Taking taylor expansion of 1 in t
2.753 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t
2.753 * [taylor]: Taking taylor expansion of 2.0 in t
2.753 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t
2.753 * [taylor]: Taking taylor expansion of 2.0 in t
2.753 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.753 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.753 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.753 * [taylor]: Taking taylor expansion of t in t
2.753 * [taylor]: Taking taylor expansion of 1 in t
2.754 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
2.754 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t
2.754 * [taylor]: Taking taylor expansion of 2.0 in t
2.754 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t
2.754 * [taylor]: Taking taylor expansion of 2.0 in t
2.754 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.754 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.754 * [taylor]: Taking taylor expansion of 1 in t
2.754 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.754 * [taylor]: Taking taylor expansion of t in t
2.754 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t
2.754 * [taylor]: Taking taylor expansion of 2.0 in t
2.754 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t
2.754 * [taylor]: Taking taylor expansion of 2.0 in t
2.754 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.754 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.754 * [taylor]: Taking taylor expansion of 1 in t
2.754 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.754 * [taylor]: Taking taylor expansion of t in t
2.755 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
2.755 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0
2.755 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t
2.755 * [taylor]: Taking taylor expansion of 2.0 in t
2.755 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t
2.755 * [taylor]: Taking taylor expansion of 2.0 in t
2.755 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.755 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.755 * [taylor]: Taking taylor expansion of t in t
2.755 * [taylor]: Taking taylor expansion of 1 in t
2.755 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t
2.755 * [taylor]: Taking taylor expansion of 2.0 in t
2.755 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t
2.755 * [taylor]: Taking taylor expansion of 2.0 in t
2.755 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
2.755 * [taylor]: Taking taylor expansion of (+ t 1) in t
2.755 * [taylor]: Taking taylor expansion of t in t
2.755 * [taylor]: Taking taylor expansion of 1 in t
2.756 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
2.756 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t
2.756 * [taylor]: Taking taylor expansion of 2.0 in t
2.756 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t
2.756 * [taylor]: Taking taylor expansion of 2.0 in t
2.756 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.756 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.756 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.756 * [taylor]: Taking taylor expansion of t in t
2.756 * [taylor]: Taking taylor expansion of 1 in t
2.756 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t
2.756 * [taylor]: Taking taylor expansion of 2.0 in t
2.756 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t
2.756 * [taylor]: Taking taylor expansion of 2.0 in t
2.756 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
2.756 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
2.756 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.756 * [taylor]: Taking taylor expansion of t in t
2.756 * [taylor]: Taking taylor expansion of 1 in t
2.756 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
2.756 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t
2.757 * [taylor]: Taking taylor expansion of 2.0 in t
2.757 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t
2.757 * [taylor]: Taking taylor expansion of 2.0 in t
2.757 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.757 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.757 * [taylor]: Taking taylor expansion of 1 in t
2.757 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.757 * [taylor]: Taking taylor expansion of t in t
2.757 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t
2.757 * [taylor]: Taking taylor expansion of 2.0 in t
2.757 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t
2.757 * [taylor]: Taking taylor expansion of 2.0 in t
2.757 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
2.757 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
2.757 * [taylor]: Taking taylor expansion of 1 in t
2.757 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.757 * [taylor]: Taking taylor expansion of t in t
2.757 * * * [progress]: simplifying candidates
2.758 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ t 1)))))
  (log (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ t 1))) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))) (* 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))))
  (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ t 1)))))
  (log (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ t 1))) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))) (* 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))))
  (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ t 1)))))
  (log (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ t 1))) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))) (* 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))))
  (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ t 1)))))
  (log (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ t 1))) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))) (* 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))))
  (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
2.761 * * [simplify]: iteration  0 :  48  enodes  (cost  1092 )
2.767 * * [simplify]: iteration  1 :  121  enodes  (cost  1048 )
2.801 * * [simplify]: iteration  2 :  328  enodes  (cost  936 )
2.910 * * [simplify]: iteration  3 :  1163  enodes  (cost  936 )
4.114 * * [simplify]: iteration  4 :  4965  enodes  (cost  928 )
4.847 * * [simplify]: iteration  done :  5000  enodes  (cost  928 )
4.847 * [simplify]: Simplified to:
   (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (log (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (pow (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) 3)
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ t 1))) 3))
  (+ (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ t 1))) (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (* 2.0 (- 2.0 (/ 2.0 (* (* 1.0 (+ t 1)) (* 1.0 (+ t 1))))))
  (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (log (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (pow (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) 3)
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ t 1))) 3))
  (+ (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ t 1))) (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (* 2.0 (- 2.0 (/ 2.0 (* (* 1.0 (+ t 1)) (* 1.0 (+ t 1))))))
  (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (log (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (pow (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) 3)
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ t 1))) 3))
  (+ (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ t 1))) (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (* 2.0 (- 2.0 (/ 2.0 (* (* 1.0 (+ t 1)) (* 1.0 (+ t 1))))))
  (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (log (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (pow (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) 3)
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ t 1))) 3))
  (+ (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ t 1))) (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (* 2.0 (- 2.0 (/ 2.0 (* (* 1.0 (+ t 1)) (* 1.0 (+ t 1))))))
  (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (* 2.0 (- (+ t (pow t 3)) (pow t 2)))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (* 2.0 (- (+ t (pow t 3)) (pow t 2)))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (* 2.0 (- (+ t (pow t 3)) (pow t 2)))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (* 2.0 (- (+ t (pow t 3)) (pow t 2)))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
  (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t))
4.848 * * * [progress]: adding candidates to table
5.003 * * [progress]: iteration 2 / 4
5.003 * * * [progress]: picking best candidate
5.006 * * * * [pick]: Picked  #<alt (λ (t) (/ (+ (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) 1.0) (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (* 2.0 (- (+ t (pow t 3)) (pow t 2)))))))>
5.006 * * * [progress]: localizing error
5.024 * * * [progress]: generating rewritten candidates
5.025 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2)
5.036 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
5.042 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
5.049 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
5.056 * * * [progress]: generating series expansions
5.056 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2)
5.057 * [approximate]: Taking taylor expansion of (- (+ t (pow t 3)) (pow t 2)) in (t) around 0
5.057 * [taylor]: Taking taylor expansion of (- (+ t (pow t 3)) (pow t 2)) in t
5.057 * [taylor]: Taking taylor expansion of (+ t (pow t 3)) in t
5.057 * [taylor]: Taking taylor expansion of t in t
5.057 * [taylor]: Taking taylor expansion of (pow t 3) in t
5.057 * [taylor]: Taking taylor expansion of t in t
5.057 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.057 * [taylor]: Taking taylor expansion of t in t
5.057 * [taylor]: Taking taylor expansion of (- (+ t (pow t 3)) (pow t 2)) in t
5.057 * [taylor]: Taking taylor expansion of (+ t (pow t 3)) in t
5.057 * [taylor]: Taking taylor expansion of t in t
5.057 * [taylor]: Taking taylor expansion of (pow t 3) in t
5.057 * [taylor]: Taking taylor expansion of t in t
5.057 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.057 * [taylor]: Taking taylor expansion of t in t
5.058 * [approximate]: Taking taylor expansion of (- (+ (/ 1 t) (/ 1 (pow t 3))) (/ 1 (pow t 2))) in (t) around 0
5.058 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ 1 (pow t 3))) (/ 1 (pow t 2))) in t
5.058 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (pow t 3))) in t
5.058 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.058 * [taylor]: Taking taylor expansion of t in t
5.058 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
5.058 * [taylor]: Taking taylor expansion of (pow t 3) in t
5.058 * [taylor]: Taking taylor expansion of t in t
5.058 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
5.058 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.058 * [taylor]: Taking taylor expansion of t in t
5.058 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ 1 (pow t 3))) (/ 1 (pow t 2))) in t
5.058 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (pow t 3))) in t
5.058 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.058 * [taylor]: Taking taylor expansion of t in t
5.058 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
5.058 * [taylor]: Taking taylor expansion of (pow t 3) in t
5.058 * [taylor]: Taking taylor expansion of t in t
5.058 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
5.058 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.058 * [taylor]: Taking taylor expansion of t in t
5.059 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 t) (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))))) in (t) around 0
5.059 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 t) (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))))) in t
5.059 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (+ (/ 1 (pow t 3)) (/ 1 (pow t 2)))) in t
5.059 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.059 * [taylor]: Taking taylor expansion of t in t
5.059 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))) in t
5.059 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
5.059 * [taylor]: Taking taylor expansion of (pow t 3) in t
5.059 * [taylor]: Taking taylor expansion of t in t
5.059 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
5.059 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.059 * [taylor]: Taking taylor expansion of t in t
5.059 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 t) (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))))) in t
5.059 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (+ (/ 1 (pow t 3)) (/ 1 (pow t 2)))) in t
5.059 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.059 * [taylor]: Taking taylor expansion of t in t
5.059 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))) in t
5.059 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t
5.059 * [taylor]: Taking taylor expansion of (pow t 3) in t
5.059 * [taylor]: Taking taylor expansion of t in t
5.059 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
5.059 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.059 * [taylor]: Taking taylor expansion of t in t
5.060 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
5.060 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0
5.060 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t
5.060 * [taylor]: Taking taylor expansion of 2.0 in t
5.060 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t
5.060 * [taylor]: Taking taylor expansion of 2.0 in t
5.060 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
5.060 * [taylor]: Taking taylor expansion of (+ t 1) in t
5.060 * [taylor]: Taking taylor expansion of t in t
5.060 * [taylor]: Taking taylor expansion of 1 in t
5.060 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t
5.060 * [taylor]: Taking taylor expansion of 2.0 in t
5.060 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t
5.060 * [taylor]: Taking taylor expansion of 2.0 in t
5.060 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
5.060 * [taylor]: Taking taylor expansion of (+ t 1) in t
5.060 * [taylor]: Taking taylor expansion of t in t
5.060 * [taylor]: Taking taylor expansion of 1 in t
5.061 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
5.061 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t
5.061 * [taylor]: Taking taylor expansion of 2.0 in t
5.061 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t
5.061 * [taylor]: Taking taylor expansion of 2.0 in t
5.061 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
5.061 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
5.061 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.061 * [taylor]: Taking taylor expansion of t in t
5.061 * [taylor]: Taking taylor expansion of 1 in t
5.061 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t
5.061 * [taylor]: Taking taylor expansion of 2.0 in t
5.061 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t
5.061 * [taylor]: Taking taylor expansion of 2.0 in t
5.061 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
5.061 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
5.061 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.061 * [taylor]: Taking taylor expansion of t in t
5.061 * [taylor]: Taking taylor expansion of 1 in t
5.062 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
5.062 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t
5.062 * [taylor]: Taking taylor expansion of 2.0 in t
5.062 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t
5.062 * [taylor]: Taking taylor expansion of 2.0 in t
5.062 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
5.062 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
5.062 * [taylor]: Taking taylor expansion of 1 in t
5.062 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.062 * [taylor]: Taking taylor expansion of t in t
5.062 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t
5.062 * [taylor]: Taking taylor expansion of 2.0 in t
5.062 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t
5.062 * [taylor]: Taking taylor expansion of 2.0 in t
5.062 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
5.062 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
5.062 * [taylor]: Taking taylor expansion of 1 in t
5.062 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.062 * [taylor]: Taking taylor expansion of t in t
5.063 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
5.063 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0
5.063 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t
5.063 * [taylor]: Taking taylor expansion of 2.0 in t
5.063 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t
5.063 * [taylor]: Taking taylor expansion of 2.0 in t
5.063 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
5.063 * [taylor]: Taking taylor expansion of (+ t 1) in t
5.063 * [taylor]: Taking taylor expansion of t in t
5.063 * [taylor]: Taking taylor expansion of 1 in t
5.063 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t
5.063 * [taylor]: Taking taylor expansion of 2.0 in t
5.063 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t
5.063 * [taylor]: Taking taylor expansion of 2.0 in t
5.063 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
5.063 * [taylor]: Taking taylor expansion of (+ t 1) in t
5.063 * [taylor]: Taking taylor expansion of t in t
5.063 * [taylor]: Taking taylor expansion of 1 in t
5.064 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
5.064 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t
5.064 * [taylor]: Taking taylor expansion of 2.0 in t
5.064 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t
5.064 * [taylor]: Taking taylor expansion of 2.0 in t
5.064 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
5.064 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
5.064 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.064 * [taylor]: Taking taylor expansion of t in t
5.064 * [taylor]: Taking taylor expansion of 1 in t
5.064 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t
5.064 * [taylor]: Taking taylor expansion of 2.0 in t
5.064 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t
5.064 * [taylor]: Taking taylor expansion of 2.0 in t
5.064 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
5.064 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
5.064 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.064 * [taylor]: Taking taylor expansion of t in t
5.064 * [taylor]: Taking taylor expansion of 1 in t
5.064 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
5.064 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t
5.064 * [taylor]: Taking taylor expansion of 2.0 in t
5.065 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t
5.065 * [taylor]: Taking taylor expansion of 2.0 in t
5.065 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
5.065 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
5.065 * [taylor]: Taking taylor expansion of 1 in t
5.065 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.065 * [taylor]: Taking taylor expansion of t in t
5.065 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t
5.065 * [taylor]: Taking taylor expansion of 2.0 in t
5.065 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t
5.065 * [taylor]: Taking taylor expansion of 2.0 in t
5.065 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
5.065 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
5.065 * [taylor]: Taking taylor expansion of 1 in t
5.065 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.065 * [taylor]: Taking taylor expansion of t in t
5.065 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
5.065 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0
5.065 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t
5.065 * [taylor]: Taking taylor expansion of 2.0 in t
5.065 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t
5.065 * [taylor]: Taking taylor expansion of 2.0 in t
5.065 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
5.065 * [taylor]: Taking taylor expansion of (+ t 1) in t
5.065 * [taylor]: Taking taylor expansion of t in t
5.065 * [taylor]: Taking taylor expansion of 1 in t
5.065 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t
5.066 * [taylor]: Taking taylor expansion of 2.0 in t
5.066 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t
5.066 * [taylor]: Taking taylor expansion of 2.0 in t
5.066 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t
5.066 * [taylor]: Taking taylor expansion of (+ t 1) in t
5.066 * [taylor]: Taking taylor expansion of t in t
5.066 * [taylor]: Taking taylor expansion of 1 in t
5.066 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0
5.066 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t
5.066 * [taylor]: Taking taylor expansion of 2.0 in t
5.066 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t
5.066 * [taylor]: Taking taylor expansion of 2.0 in t
5.066 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
5.066 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
5.066 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.066 * [taylor]: Taking taylor expansion of t in t
5.066 * [taylor]: Taking taylor expansion of 1 in t
5.066 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t
5.067 * [taylor]: Taking taylor expansion of 2.0 in t
5.067 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t
5.067 * [taylor]: Taking taylor expansion of 2.0 in t
5.067 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t
5.067 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t
5.067 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.067 * [taylor]: Taking taylor expansion of t in t
5.067 * [taylor]: Taking taylor expansion of 1 in t
5.067 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0
5.067 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t
5.067 * [taylor]: Taking taylor expansion of 2.0 in t
5.067 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t
5.067 * [taylor]: Taking taylor expansion of 2.0 in t
5.067 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
5.067 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
5.067 * [taylor]: Taking taylor expansion of 1 in t
5.067 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.067 * [taylor]: Taking taylor expansion of t in t
5.067 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t
5.067 * [taylor]: Taking taylor expansion of 2.0 in t
5.067 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t
5.067 * [taylor]: Taking taylor expansion of 2.0 in t
5.067 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t
5.067 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t
5.067 * [taylor]: Taking taylor expansion of 1 in t
5.067 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.067 * [taylor]: Taking taylor expansion of t in t
5.068 * * * [progress]: simplifying candidates
5.069 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* (exp t) (exp (pow t 3))) (exp (pow t 2)))
  (/ (exp (+ t (pow t 3))) (exp (pow t 2)))
  (log (- (+ t (pow t 3)) (pow t 2)))
  (exp (- (+ t (pow t 3)) (pow t 2)))
  (* (cbrt (- (+ t (pow t 3)) (pow t 2))) (cbrt (- (+ t (pow t 3)) (pow t 2))))
  (cbrt (- (+ t (pow t 3)) (pow t 2)))
  (* (* (- (+ t (pow t 3)) (pow t 2)) (- (+ t (pow t 3)) (pow t 2))) (- (+ t (pow t 3)) (pow t 2)))
  (sqrt (- (+ t (pow t 3)) (pow t 2)))
  (sqrt (- (+ t (pow t 3)) (pow t 2)))
  (- (pow (+ t (pow t 3)) 3) (pow (pow t 2) 3))
  (+ (* (+ t (pow t 3)) (+ t (pow t 3))) (+ (* (pow t 2) (pow t 2)) (* (+ t (pow t 3)) (pow t 2))))
  (neg (pow t 2))
  (- (* (+ t (pow t 3)) (+ t (pow t 3))) (* (pow t 2) (pow t 2)))
  (+ (+ t (pow t 3)) (pow t 2))
  (+ (sqrt (+ t (pow t 3))) (pow (sqrt t) 2))
  (- (sqrt (+ t (pow t 3))) (pow (sqrt t) 2))
  (+ (sqrt (+ t (pow t 3))) t)
  (- (sqrt (+ t (pow t 3))) t)
  (+ (sqrt (+ t (pow t 3))) (sqrt (pow t 2)))
  (- (sqrt (+ t (pow t 3))) (sqrt (pow t 2)))
  (+ (sqrt (+ t (pow t 3))) (pow t (/ 2 2)))
  (- (sqrt (+ t (pow t 3))) (pow t (/ 2 2)))
  (- (+ t (pow t 3)) (pow t 2))
  (- (+ t (pow t 3)) (pow t 2))
  (- (+ 1 (* t t)) t)
  (- (+ (* t t) 1) t)
  (- (pow t 3) (pow t 2))
  (neg (pow t 2))
  (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ t 1)))))
  (log (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ t 1))) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))) (* 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))))
  (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ t 1)))))
  (log (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ t 1))) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))) (* 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))))
  (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ t 1)))))
  (log (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ t 1))) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))) (* 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))))
  (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (- (+ t (pow t 3)) (pow t 2))
  (- (+ t (pow t 3)) (pow t 2))
  (- (+ t (pow t 3)) (pow t 2))
  (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
5.072 * * [simplify]: iteration  0 :  95  enodes  (cost  1170 )
5.089 * * [simplify]: iteration  1 :  227  enodes  (cost  1122 )
5.178 * * [simplify]: iteration  2 :  645  enodes  (cost  1006 )
5.482 * * [simplify]: iteration  3 :  2232  enodes  (cost  998 )
6.392 * * [simplify]: iteration  done :  5001  enodes  (cost  998 )
6.392 * [simplify]: Simplified to:
   (exp (- (+ t (pow t 3)) (pow t 2)))
  (exp (- (+ t (pow t 3)) (pow t 2)))
  (log (- (+ t (pow t 3)) (pow t 2)))
  (exp (- (+ t (pow t 3)) (pow t 2)))
  (* (cbrt (- (+ t (pow t 3)) (pow t 2))) (cbrt (- (+ t (pow t 3)) (pow t 2))))
  (cbrt (- (+ t (pow t 3)) (pow t 2)))
  (pow (- (+ t (pow t 3)) (pow t 2)) 3)
  (sqrt (- (+ t (pow t 3)) (pow t 2)))
  (sqrt (- (+ t (pow t 3)) (pow t 2)))
  (- (pow (+ t (pow t 3)) 3) (pow t 6))
  (+ (* (+ t (pow t 3)) (+ (+ t (pow t 3)) (pow t 2))) (pow t 4))
  (neg (pow t 2))
  (- (* (+ t (pow t 3)) (+ t (pow t 3))) (pow t 4))
  (+ (+ t (pow t 3)) (pow t 2))
  (+ (sqrt (+ t (pow t 3))) t)
  (- (sqrt (+ t (pow t 3))) t)
  (+ (sqrt (+ t (pow t 3))) t)
  (- (sqrt (+ t (pow t 3))) t)
  (+ (fabs t) (sqrt (+ t (pow t 3))))
  (- (sqrt (+ t (pow t 3))) (fabs t))
  (+ (sqrt (+ t (pow t 3))) t)
  (- (sqrt (+ t (pow t 3))) t)
  (- (+ t (pow t 3)) (pow t 2))
  (- (+ t (pow t 3)) (pow t 2))
  (- (+ (* t t) 1) t)
  (- (+ (* t t) 1) t)
  (- (pow t 3) (pow t 2))
  (neg (pow t 2))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (log (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (pow (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) 3)
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ t 1))) 3))
  (+ (* (/ 2.0 (* 1.0 (+ t 1))) (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (* 2.0 2.0))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))))
  (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (log (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (pow (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) 3)
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ t 1))) 3))
  (+ (* (/ 2.0 (* 1.0 (+ t 1))) (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (* 2.0 2.0))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))))
  (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (log (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (exp (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))
  (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (pow (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) 3)
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))
  (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ t 1))) 3))
  (+ (* (/ 2.0 (* 1.0 (+ t 1))) (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))) (* 2.0 2.0))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ t 1))) (/ 2.0 (* 1.0 (+ t 1)))))
  (+ 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ t 1)))))
  (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))
  (neg (/ 2.0 (* 1.0 (+ t 1))))
  (- (+ t (pow t 3)) (pow t 2))
  (- (+ t (pow t 3)) (pow t 2))
  (- (+ t (pow t 3)) (pow t 2))
  (* 2.0 (- (+ t (pow t 3)) (pow t 2)))
  (+ (/ 2.0 (* t t)) (- 2.0 (/ 2.0 t)))
  (+ (/ 2.0 (* t t)) (- 2.0 (/ 2.0 t)))
  (* 2.0 (- (+ t (pow t 3)) (pow t 2)))
  (+ (/ 2.0 (* t t)) (- 2.0 (/ 2.0 t)))
  (+ (/ 2.0 (* t t)) (- 2.0 (/ 2.0 t)))
  (* 2.0 (- (+ t (pow t 3)) (pow t 2)))
  (+ (/ 2.0 (* t t)) (- 2.0 (/ 2.0 t)))
  (+ (/ 2.0 (* t t)) (- 2.0 (/ 2.0 t)))
6.393 * * * [progress]: adding candidates to table
6.574 * [progress]: [Phase 3 of 3] Extracting.
6.574 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (/ (+ (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) 1.0) (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))))> #<alt (λ (t) (/ (+ (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) 1.0) (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (* 2.0 (- (+ t (pow t 3)) (pow t 2)))))))>)
6.575 * * * [regime-changes]: Trying 1 branch expressions: (t)
6.575 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (/ (+ (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) 1.0) (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))))))> #<alt (λ (t) (/ (+ (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) 1.0) (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (* 2.0 (- (+ t (pow t 3)) (pow t 2)))))))>)
6.600 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
6.601 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (+ (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) 1.0) (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))))
6.601 * * [simplify]: iteration  0 :  12  enodes  (cost  43 )
6.603 * * [simplify]: iteration  1 :  18  enodes  (cost  43 )
6.603 * * [simplify]: iteration  done :  18  enodes  (cost  43 )
6.603 * [simplify]: Simplified to:
   (/ (+ (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1))))) 1.0) (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))) (- 2.0 (/ 2.0 (* 1.0 (+ t 1)))))))
8.070 * [regime-testing]: End program error score: 0.007750968871108889