7.609 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.365 * * * [progress]: [2/2] Setting up program.
0.368 * [progress]: [Phase 2 of 3] Improving.
0.368 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
0.414 * * [simplify]: iteration  0 :  5018  enodes  (cost  25 )
0.414 * [simplify]: Simplified to:
   (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))))
0.418 * * [progress]: iteration 1 / 4
0.418 * * * [progress]: picking best candidate
0.420 * * * * [pick]: Picked  #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))))))>
0.420 * * * [progress]: localizing error
0.430 * * * [progress]: generating rewritten candidates
0.430 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2)
0.438 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1)
0.448 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2 2)
0.452 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2)
0.459 * * * [progress]: generating series expansions
0.459 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2)
0.459 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0
0.459 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.459 * [taylor]: Taking taylor expansion of 2.0 in t
0.459 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.459 * [taylor]: Taking taylor expansion of 2.0 in t
0.459 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.459 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.459 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.459 * [taylor]: Taking taylor expansion of 1.0 in t
0.459 * [taylor]: Taking taylor expansion of t in t
0.459 * [taylor]: Taking taylor expansion of 1.0 in t
0.459 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.459 * [taylor]: Taking taylor expansion of 2.0 in t
0.459 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.459 * [taylor]: Taking taylor expansion of 2.0 in t
0.459 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.459 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.459 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.459 * [taylor]: Taking taylor expansion of 1.0 in t
0.459 * [taylor]: Taking taylor expansion of t in t
0.459 * [taylor]: Taking taylor expansion of 1.0 in t
0.460 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0
0.460 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.460 * [taylor]: Taking taylor expansion of 2.0 in t
0.460 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.460 * [taylor]: Taking taylor expansion of 2.0 in t
0.460 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.460 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.460 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.460 * [taylor]: Taking taylor expansion of 1.0 in t
0.460 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.460 * [taylor]: Taking taylor expansion of t in t
0.460 * [taylor]: Taking taylor expansion of 1.0 in t
0.461 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.461 * [taylor]: Taking taylor expansion of 2.0 in t
0.461 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.461 * [taylor]: Taking taylor expansion of 2.0 in t
0.461 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.461 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.461 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.461 * [taylor]: Taking taylor expansion of 1.0 in t
0.461 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.461 * [taylor]: Taking taylor expansion of t in t
0.461 * [taylor]: Taking taylor expansion of 1.0 in t
0.461 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0
0.461 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.461 * [taylor]: Taking taylor expansion of 2.0 in t
0.461 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.461 * [taylor]: Taking taylor expansion of 2.0 in t
0.461 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.461 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.461 * [taylor]: Taking taylor expansion of 1.0 in t
0.461 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.461 * [taylor]: Taking taylor expansion of 1.0 in t
0.461 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.461 * [taylor]: Taking taylor expansion of t in t
0.461 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.461 * [taylor]: Taking taylor expansion of 2.0 in t
0.461 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.461 * [taylor]: Taking taylor expansion of 2.0 in t
0.461 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.462 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.462 * [taylor]: Taking taylor expansion of 1.0 in t
0.462 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.462 * [taylor]: Taking taylor expansion of 1.0 in t
0.462 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.462 * [taylor]: Taking taylor expansion of t in t
0.462 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1)
0.462 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0
0.462 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.462 * [taylor]: Taking taylor expansion of 2.0 in t
0.462 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.462 * [taylor]: Taking taylor expansion of 2.0 in t
0.462 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.462 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.462 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.462 * [taylor]: Taking taylor expansion of 1.0 in t
0.462 * [taylor]: Taking taylor expansion of t in t
0.462 * [taylor]: Taking taylor expansion of 1.0 in t
0.462 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.462 * [taylor]: Taking taylor expansion of 2.0 in t
0.462 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.462 * [taylor]: Taking taylor expansion of 2.0 in t
0.462 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.462 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.462 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.462 * [taylor]: Taking taylor expansion of 1.0 in t
0.462 * [taylor]: Taking taylor expansion of t in t
0.462 * [taylor]: Taking taylor expansion of 1.0 in t
0.463 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0
0.463 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.463 * [taylor]: Taking taylor expansion of 2.0 in t
0.463 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.463 * [taylor]: Taking taylor expansion of 2.0 in t
0.463 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.463 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.463 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.463 * [taylor]: Taking taylor expansion of 1.0 in t
0.463 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.463 * [taylor]: Taking taylor expansion of t in t
0.463 * [taylor]: Taking taylor expansion of 1.0 in t
0.463 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.464 * [taylor]: Taking taylor expansion of 2.0 in t
0.464 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.464 * [taylor]: Taking taylor expansion of 2.0 in t
0.464 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.464 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.464 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.464 * [taylor]: Taking taylor expansion of 1.0 in t
0.464 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.464 * [taylor]: Taking taylor expansion of t in t
0.464 * [taylor]: Taking taylor expansion of 1.0 in t
0.464 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0
0.464 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.464 * [taylor]: Taking taylor expansion of 2.0 in t
0.464 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.464 * [taylor]: Taking taylor expansion of 2.0 in t
0.464 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.464 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.464 * [taylor]: Taking taylor expansion of 1.0 in t
0.464 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.464 * [taylor]: Taking taylor expansion of 1.0 in t
0.464 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.464 * [taylor]: Taking taylor expansion of t in t
0.464 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.464 * [taylor]: Taking taylor expansion of 2.0 in t
0.464 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.464 * [taylor]: Taking taylor expansion of 2.0 in t
0.464 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.464 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.465 * [taylor]: Taking taylor expansion of 1.0 in t
0.465 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.465 * [taylor]: Taking taylor expansion of 1.0 in t
0.465 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.465 * [taylor]: Taking taylor expansion of t in t
0.465 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2 2)
0.465 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (* 1.0 t) 1.0)) in (t) around 0
0.465 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (* 1.0 t) 1.0)) in t
0.465 * [taylor]: Taking taylor expansion of 2.0 in t
0.465 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.465 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.465 * [taylor]: Taking taylor expansion of 1.0 in t
0.465 * [taylor]: Taking taylor expansion of t in t
0.465 * [taylor]: Taking taylor expansion of 1.0 in t
0.465 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (* 1.0 t) 1.0)) in t
0.465 * [taylor]: Taking taylor expansion of 2.0 in t
0.465 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.465 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.465 * [taylor]: Taking taylor expansion of 1.0 in t
0.465 * [taylor]: Taking taylor expansion of t in t
0.465 * [taylor]: Taking taylor expansion of 1.0 in t
0.466 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (* 1.0 (/ 1 t)) 1.0)) in (t) around 0
0.466 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.466 * [taylor]: Taking taylor expansion of 2.0 in t
0.466 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.466 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.466 * [taylor]: Taking taylor expansion of 1.0 in t
0.466 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.466 * [taylor]: Taking taylor expansion of t in t
0.466 * [taylor]: Taking taylor expansion of 1.0 in t
0.466 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.466 * [taylor]: Taking taylor expansion of 2.0 in t
0.466 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.466 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.466 * [taylor]: Taking taylor expansion of 1.0 in t
0.466 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.466 * [taylor]: Taking taylor expansion of t in t
0.466 * [taylor]: Taking taylor expansion of 1.0 in t
0.467 * [approximate]: Taking taylor expansion of (/ 2.0 (- 1.0 (* 1.0 (/ 1 t)))) in (t) around 0
0.467 * [taylor]: Taking taylor expansion of (/ 2.0 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.467 * [taylor]: Taking taylor expansion of 2.0 in t
0.467 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.467 * [taylor]: Taking taylor expansion of 1.0 in t
0.467 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.467 * [taylor]: Taking taylor expansion of 1.0 in t
0.467 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.467 * [taylor]: Taking taylor expansion of t in t
0.467 * [taylor]: Taking taylor expansion of (/ 2.0 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.467 * [taylor]: Taking taylor expansion of 2.0 in t
0.467 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.467 * [taylor]: Taking taylor expansion of 1.0 in t
0.467 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.467 * [taylor]: Taking taylor expansion of 1.0 in t
0.467 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.467 * [taylor]: Taking taylor expansion of t in t
0.468 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2)
0.468 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (* 1.0 t) 1.0)) in (t) around 0
0.468 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (* 1.0 t) 1.0)) in t
0.468 * [taylor]: Taking taylor expansion of 2.0 in t
0.468 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.468 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.468 * [taylor]: Taking taylor expansion of 1.0 in t
0.468 * [taylor]: Taking taylor expansion of t in t
0.468 * [taylor]: Taking taylor expansion of 1.0 in t
0.468 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (* 1.0 t) 1.0)) in t
0.468 * [taylor]: Taking taylor expansion of 2.0 in t
0.468 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.468 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.468 * [taylor]: Taking taylor expansion of 1.0 in t
0.468 * [taylor]: Taking taylor expansion of t in t
0.468 * [taylor]: Taking taylor expansion of 1.0 in t
0.468 * [approximate]: Taking taylor expansion of (/ 2.0 (+ (* 1.0 (/ 1 t)) 1.0)) in (t) around 0
0.468 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.468 * [taylor]: Taking taylor expansion of 2.0 in t
0.468 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.468 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.468 * [taylor]: Taking taylor expansion of 1.0 in t
0.468 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.469 * [taylor]: Taking taylor expansion of t in t
0.469 * [taylor]: Taking taylor expansion of 1.0 in t
0.469 * [taylor]: Taking taylor expansion of (/ 2.0 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.469 * [taylor]: Taking taylor expansion of 2.0 in t
0.469 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.469 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.469 * [taylor]: Taking taylor expansion of 1.0 in t
0.469 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.469 * [taylor]: Taking taylor expansion of t in t
0.469 * [taylor]: Taking taylor expansion of 1.0 in t
0.469 * [approximate]: Taking taylor expansion of (/ 2.0 (- 1.0 (* 1.0 (/ 1 t)))) in (t) around 0
0.469 * [taylor]: Taking taylor expansion of (/ 2.0 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.469 * [taylor]: Taking taylor expansion of 2.0 in t
0.469 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.469 * [taylor]: Taking taylor expansion of 1.0 in t
0.469 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.469 * [taylor]: Taking taylor expansion of 1.0 in t
0.469 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.469 * [taylor]: Taking taylor expansion of t in t
0.469 * [taylor]: Taking taylor expansion of (/ 2.0 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.470 * [taylor]: Taking taylor expansion of 2.0 in t
0.470 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.470 * [taylor]: Taking taylor expansion of 1.0 in t
0.470 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.470 * [taylor]: Taking taylor expansion of 1.0 in t
0.470 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.470 * [taylor]: Taking taylor expansion of t in t
0.470 * * * [progress]: simplifying candidates
0.472 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (neg (/ 2.0 (+ 1.0 (* 1.0 t))))
  (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (neg (/ 2.0 (+ 1.0 (* 1.0 t))))
  (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (- (log 2.0) (log (+ 1.0 (* 1.0 t))))
  (log (/ 2.0 (+ 1.0 (* 1.0 t))))
  (exp (/ 2.0 (+ 1.0 (* 1.0 t))))
  (/ (* (* 2.0 2.0) 2.0) (* (* (+ 1.0 (* 1.0 t)) (+ 1.0 (* 1.0 t))) (+ 1.0 (* 1.0 t))))
  (* (cbrt (/ 2.0 (+ 1.0 (* 1.0 t)))) (cbrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (cbrt (/ 2.0 (+ 1.0 (* 1.0 t))))
  (* (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ 2.0 (+ 1.0 (* 1.0 t))))
  (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))
  (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))
  (neg 2.0)
  (neg (+ 1.0 (* 1.0 t)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t)))))
  (/ (cbrt 2.0) (cbrt (+ 1.0 (* 1.0 t))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (* 1.0 t))))
  (/ (cbrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ 1.0 (* 1.0 t)))
  (/ (sqrt 2.0) (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t)))))
  (/ (sqrt 2.0) (cbrt (+ 1.0 (* 1.0 t))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ 1.0 (* 1.0 t)))
  (/ 1 (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t)))))
  (/ 2.0 (cbrt (+ 1.0 (* 1.0 t))))
  (/ 1 (sqrt (+ 1.0 (* 1.0 t))))
  (/ 2.0 (sqrt (+ 1.0 (* 1.0 t))))
  (/ 1 1)
  (/ 2.0 (+ 1.0 (* 1.0 t)))
  (/ 1 (+ 1.0 (* 1.0 t)))
  (/ (+ 1.0 (* 1.0 t)) 2.0)
  (/ 2.0 (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t)))))
  (/ 2.0 (sqrt (+ 1.0 (* 1.0 t))))
  (/ 2.0 1)
  (/ (+ 1.0 (* 1.0 t)) (cbrt 2.0))
  (/ (+ 1.0 (* 1.0 t)) (sqrt 2.0))
  (/ (+ 1.0 (* 1.0 t)) 2.0)
  (/ 2.0 (+ (pow 1.0 3) (pow (* 1.0 t) 3)))
  (/ 2.0 (- (* 1.0 1.0) (* (* 1.0 t) (* 1.0 t))))
  (- (log 2.0) (log (+ 1.0 (* 1.0 t))))
  (log (/ 2.0 (+ 1.0 (* 1.0 t))))
  (exp (/ 2.0 (+ 1.0 (* 1.0 t))))
  (/ (* (* 2.0 2.0) 2.0) (* (* (+ 1.0 (* 1.0 t)) (+ 1.0 (* 1.0 t))) (+ 1.0 (* 1.0 t))))
  (* (cbrt (/ 2.0 (+ 1.0 (* 1.0 t)))) (cbrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (cbrt (/ 2.0 (+ 1.0 (* 1.0 t))))
  (* (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ 2.0 (+ 1.0 (* 1.0 t))))
  (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))
  (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))
  (neg 2.0)
  (neg (+ 1.0 (* 1.0 t)))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t)))))
  (/ (cbrt 2.0) (cbrt (+ 1.0 (* 1.0 t))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) (sqrt (+ 1.0 (* 1.0 t))))
  (/ (cbrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))
  (/ (* (cbrt 2.0) (cbrt 2.0)) 1)
  (/ (cbrt 2.0) (+ 1.0 (* 1.0 t)))
  (/ (sqrt 2.0) (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t)))))
  (/ (sqrt 2.0) (cbrt (+ 1.0 (* 1.0 t))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))
  (/ (sqrt 2.0) 1)
  (/ (sqrt 2.0) (+ 1.0 (* 1.0 t)))
  (/ 1 (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t)))))
  (/ 2.0 (cbrt (+ 1.0 (* 1.0 t))))
  (/ 1 (sqrt (+ 1.0 (* 1.0 t))))
  (/ 2.0 (sqrt (+ 1.0 (* 1.0 t))))
  (/ 1 1)
  (/ 2.0 (+ 1.0 (* 1.0 t)))
  (/ 1 (+ 1.0 (* 1.0 t)))
  (/ (+ 1.0 (* 1.0 t)) 2.0)
  (/ 2.0 (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t)))))
  (/ 2.0 (sqrt (+ 1.0 (* 1.0 t))))
  (/ 2.0 1)
  (/ (+ 1.0 (* 1.0 t)) (cbrt 2.0))
  (/ (+ 1.0 (* 1.0 t)) (sqrt 2.0))
  (/ (+ 1.0 (* 1.0 t)) 2.0)
  (/ 2.0 (+ (pow 1.0 3) (pow (* 1.0 t) 3)))
  (/ 2.0 (- (* 1.0 1.0) (* (* 1.0 t) (* 1.0 t))))
  (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (pow t 2)) 2.0) (* 2.0 t))
  (- (+ (* 2.0 (/ 1 (pow t 3))) (* 2.0 (/ 1 t))) (* 2.0 (/ 1 (pow t 2))))
  (- (+ (* 2.0 (/ 1 (pow t 3))) (* 2.0 (/ 1 t))) (* 2.0 (/ 1 (pow t 2))))
  (- (+ (* 2.0 (pow t 2)) 2.0) (* 2.0 t))
  (- (+ (* 2.0 (/ 1 (pow t 3))) (* 2.0 (/ 1 t))) (* 2.0 (/ 1 (pow t 2))))
  (- (+ (* 2.0 (/ 1 (pow t 3))) (* 2.0 (/ 1 t))) (* 2.0 (/ 1 (pow t 2))))
0.497 * * [simplify]: iteration  0 :  5060  enodes  (cost  1244 )
0.501 * [simplify]: Simplified to:
   (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3)
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (/ (neg 2.0) (+ 1.0 (* 1.0 t)))
  (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (* (+ 1.0 (* 1.0 t)) (+ t 1))))))
  (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3)
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (/ (neg 2.0) (+ 1.0 (* 1.0 t)))
  (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (* (+ 1.0 (* 1.0 t)) (+ t 1))))))
  (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (log (/ 2.0 (+ 1.0 (* 1.0 t))))
  (log (/ 2.0 (+ 1.0 (* 1.0 t))))
  (exp (/ 2.0 (+ 1.0 (* 1.0 t))))
  (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)
  (* (cbrt (/ 2.0 (+ 1.0 (* 1.0 t)))) (cbrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (cbrt (/ 2.0 (+ 1.0 (* 1.0 t))))
  (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)
  (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))
  (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))
  (neg 2.0)
  (* 1.0 (- -1 t))
  (* (cbrt 2.0) (/ (cbrt 2.0) (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t))))))
  (/ (cbrt 2.0) (cbrt (+ 1.0 (* 1.0 t))))
  (* (cbrt 2.0) (/ (cbrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (/ (cbrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (cbrt 2.0) (+ 1.0 (* 1.0 t)))
  (/ (sqrt 2.0) (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t)))))
  (/ (sqrt 2.0) (cbrt (+ 1.0 (* 1.0 t))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))
  (sqrt 2.0)
  (/ (sqrt 2.0) (+ 1.0 (* 1.0 t)))
  (/ 1 (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t)))))
  (/ 2.0 (cbrt (+ 1.0 (* 1.0 t))))
  (/ 1 (sqrt (+ 1.0 (* 1.0 t))))
  (/ 2.0 (sqrt (+ 1.0 (* 1.0 t))))
  1
  (/ 2.0 (+ 1.0 (* 1.0 t)))
  (/ 1 (+ 1.0 (* 1.0 t)))
  (* (+ t 1) (/ 1.0 2.0))
  (/ 2.0 (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t)))))
  (/ 2.0 (sqrt (+ 1.0 (* 1.0 t))))
  2.0
  (/ (+ 1.0 (* 1.0 t)) (cbrt 2.0))
  (/ (+ 1.0 (* 1.0 t)) (sqrt 2.0))
  (* (+ t 1) (/ 1.0 2.0))
  (/ 2.0 (+ (pow 1.0 3) (pow (* 1.0 t) 3)))
  (/ 2.0 (* 1.0 (- 1.0 (* 1.0 (* t t)))))
  (log (/ 2.0 (+ 1.0 (* 1.0 t))))
  (log (/ 2.0 (+ 1.0 (* 1.0 t))))
  (exp (/ 2.0 (+ 1.0 (* 1.0 t))))
  (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)
  (* (cbrt (/ 2.0 (+ 1.0 (* 1.0 t)))) (cbrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (cbrt (/ 2.0 (+ 1.0 (* 1.0 t))))
  (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)
  (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))
  (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))
  (neg 2.0)
  (* 1.0 (- -1 t))
  (* (cbrt 2.0) (/ (cbrt 2.0) (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t))))))
  (/ (cbrt 2.0) (cbrt (+ 1.0 (* 1.0 t))))
  (* (cbrt 2.0) (/ (cbrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (/ (cbrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))
  (* (cbrt 2.0) (cbrt 2.0))
  (/ (cbrt 2.0) (+ 1.0 (* 1.0 t)))
  (/ (sqrt 2.0) (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t)))))
  (/ (sqrt 2.0) (cbrt (+ 1.0 (* 1.0 t))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))
  (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))
  (sqrt 2.0)
  (/ (sqrt 2.0) (+ 1.0 (* 1.0 t)))
  (/ 1 (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t)))))
  (/ 2.0 (cbrt (+ 1.0 (* 1.0 t))))
  (/ 1 (sqrt (+ 1.0 (* 1.0 t))))
  (/ 2.0 (sqrt (+ 1.0 (* 1.0 t))))
  1
  (/ 2.0 (+ 1.0 (* 1.0 t)))
  (/ 1 (+ 1.0 (* 1.0 t)))
  (* (+ t 1) (/ 1.0 2.0))
  (/ 2.0 (* (cbrt (+ 1.0 (* 1.0 t))) (cbrt (+ 1.0 (* 1.0 t)))))
  (/ 2.0 (sqrt (+ 1.0 (* 1.0 t))))
  2.0
  (/ (+ 1.0 (* 1.0 t)) (cbrt 2.0))
  (/ (+ 1.0 (* 1.0 t)) (sqrt 2.0))
  (* (+ t 1) (/ 1.0 2.0))
  (/ 2.0 (+ (pow 1.0 3) (pow (* 1.0 t) 3)))
  (/ 2.0 (* 1.0 (- 1.0 (* 1.0 (* t t)))))
  (* 2.0 (+ t (- (pow t 3) (* t t))))
  (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t)))
  (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t)))
  (* 2.0 (+ t (- (pow t 3) (* t t))))
  (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t)))
  (+ 2.0 (- (/ 2.0 (* t t)) (/ 2.0 t)))
  (+ 2.0 (* 2.0 (- (* t t) t)))
  (+ (/ 2.0 t) (- (/ 2.0 (pow t 3)) (/ 2.0 (* t t))))
  (+ (/ 2.0 t) (- (/ 2.0 (pow t 3)) (/ 2.0 (* t t))))
  (+ 2.0 (* 2.0 (- (* t t) t)))
  (+ (/ 2.0 t) (- (/ 2.0 (pow t 3)) (/ 2.0 (* t t))))
  (+ (/ 2.0 t) (- (/ 2.0 (pow t 3)) (/ 2.0 (* t t))))
0.502 * * * [progress]: adding candidates to table
0.682 * * [progress]: iteration 2 / 4
0.682 * * * [progress]: picking best candidate
0.685 * * * * [pick]: Picked  #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (* (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))))))))>
0.685 * * * [progress]: localizing error
0.699 * * * [progress]: generating rewritten candidates
0.699 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 2 1)
0.707 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1 2 1)
0.718 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2 1 1 1)
0.726 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1)
0.735 * * * [progress]: generating series expansions
0.735 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 2 1)
0.735 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0
0.735 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.735 * [taylor]: Taking taylor expansion of 2.0 in t
0.735 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.735 * [taylor]: Taking taylor expansion of 2.0 in t
0.735 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.735 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.735 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.735 * [taylor]: Taking taylor expansion of 1.0 in t
0.735 * [taylor]: Taking taylor expansion of t in t
0.735 * [taylor]: Taking taylor expansion of 1.0 in t
0.735 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.736 * [taylor]: Taking taylor expansion of 2.0 in t
0.736 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.736 * [taylor]: Taking taylor expansion of 2.0 in t
0.736 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.736 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.736 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.736 * [taylor]: Taking taylor expansion of 1.0 in t
0.736 * [taylor]: Taking taylor expansion of t in t
0.736 * [taylor]: Taking taylor expansion of 1.0 in t
0.736 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0
0.736 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.736 * [taylor]: Taking taylor expansion of 2.0 in t
0.736 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.736 * [taylor]: Taking taylor expansion of 2.0 in t
0.737 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.737 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.737 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.737 * [taylor]: Taking taylor expansion of 1.0 in t
0.737 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.737 * [taylor]: Taking taylor expansion of t in t
0.737 * [taylor]: Taking taylor expansion of 1.0 in t
0.737 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.737 * [taylor]: Taking taylor expansion of 2.0 in t
0.737 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.737 * [taylor]: Taking taylor expansion of 2.0 in t
0.737 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.737 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.737 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.737 * [taylor]: Taking taylor expansion of 1.0 in t
0.737 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.737 * [taylor]: Taking taylor expansion of t in t
0.737 * [taylor]: Taking taylor expansion of 1.0 in t
0.737 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0
0.737 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.737 * [taylor]: Taking taylor expansion of 2.0 in t
0.737 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.737 * [taylor]: Taking taylor expansion of 2.0 in t
0.737 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.737 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.737 * [taylor]: Taking taylor expansion of 1.0 in t
0.737 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.737 * [taylor]: Taking taylor expansion of 1.0 in t
0.737 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.738 * [taylor]: Taking taylor expansion of t in t
0.738 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.738 * [taylor]: Taking taylor expansion of 2.0 in t
0.738 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.738 * [taylor]: Taking taylor expansion of 2.0 in t
0.738 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.738 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.738 * [taylor]: Taking taylor expansion of 1.0 in t
0.738 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.738 * [taylor]: Taking taylor expansion of 1.0 in t
0.738 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.738 * [taylor]: Taking taylor expansion of t in t
0.738 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1 2 1)
0.738 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0
0.738 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.738 * [taylor]: Taking taylor expansion of 2.0 in t
0.738 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.738 * [taylor]: Taking taylor expansion of 2.0 in t
0.738 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.738 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.738 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.738 * [taylor]: Taking taylor expansion of 1.0 in t
0.738 * [taylor]: Taking taylor expansion of t in t
0.738 * [taylor]: Taking taylor expansion of 1.0 in t
0.739 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.739 * [taylor]: Taking taylor expansion of 2.0 in t
0.739 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.739 * [taylor]: Taking taylor expansion of 2.0 in t
0.739 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.739 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.739 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.739 * [taylor]: Taking taylor expansion of 1.0 in t
0.739 * [taylor]: Taking taylor expansion of t in t
0.739 * [taylor]: Taking taylor expansion of 1.0 in t
0.739 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0
0.739 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.739 * [taylor]: Taking taylor expansion of 2.0 in t
0.739 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.739 * [taylor]: Taking taylor expansion of 2.0 in t
0.739 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.740 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.740 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.740 * [taylor]: Taking taylor expansion of 1.0 in t
0.740 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.740 * [taylor]: Taking taylor expansion of t in t
0.740 * [taylor]: Taking taylor expansion of 1.0 in t
0.740 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.740 * [taylor]: Taking taylor expansion of 2.0 in t
0.740 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.740 * [taylor]: Taking taylor expansion of 2.0 in t
0.740 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.740 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.740 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.740 * [taylor]: Taking taylor expansion of 1.0 in t
0.740 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.740 * [taylor]: Taking taylor expansion of t in t
0.740 * [taylor]: Taking taylor expansion of 1.0 in t
0.740 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0
0.740 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.740 * [taylor]: Taking taylor expansion of 2.0 in t
0.740 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.740 * [taylor]: Taking taylor expansion of 2.0 in t
0.740 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.740 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.740 * [taylor]: Taking taylor expansion of 1.0 in t
0.740 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.740 * [taylor]: Taking taylor expansion of 1.0 in t
0.740 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.740 * [taylor]: Taking taylor expansion of t in t
0.741 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.741 * [taylor]: Taking taylor expansion of 2.0 in t
0.741 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.741 * [taylor]: Taking taylor expansion of 2.0 in t
0.741 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.741 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.741 * [taylor]: Taking taylor expansion of 1.0 in t
0.741 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.741 * [taylor]: Taking taylor expansion of 1.0 in t
0.741 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.741 * [taylor]: Taking taylor expansion of t in t
0.741 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2 1 1 1)
0.741 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0
0.741 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.741 * [taylor]: Taking taylor expansion of 2.0 in t
0.741 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.741 * [taylor]: Taking taylor expansion of 2.0 in t
0.741 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.741 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.741 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.741 * [taylor]: Taking taylor expansion of 1.0 in t
0.741 * [taylor]: Taking taylor expansion of t in t
0.741 * [taylor]: Taking taylor expansion of 1.0 in t
0.741 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.741 * [taylor]: Taking taylor expansion of 2.0 in t
0.742 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.742 * [taylor]: Taking taylor expansion of 2.0 in t
0.742 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.742 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.742 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.742 * [taylor]: Taking taylor expansion of 1.0 in t
0.742 * [taylor]: Taking taylor expansion of t in t
0.742 * [taylor]: Taking taylor expansion of 1.0 in t
0.742 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0
0.742 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.742 * [taylor]: Taking taylor expansion of 2.0 in t
0.742 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.742 * [taylor]: Taking taylor expansion of 2.0 in t
0.742 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.742 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.743 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.743 * [taylor]: Taking taylor expansion of 1.0 in t
0.743 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.743 * [taylor]: Taking taylor expansion of t in t
0.743 * [taylor]: Taking taylor expansion of 1.0 in t
0.743 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.743 * [taylor]: Taking taylor expansion of 2.0 in t
0.743 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.743 * [taylor]: Taking taylor expansion of 2.0 in t
0.743 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.743 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.743 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.743 * [taylor]: Taking taylor expansion of 1.0 in t
0.743 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.743 * [taylor]: Taking taylor expansion of t in t
0.743 * [taylor]: Taking taylor expansion of 1.0 in t
0.743 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0
0.743 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.743 * [taylor]: Taking taylor expansion of 2.0 in t
0.743 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.743 * [taylor]: Taking taylor expansion of 2.0 in t
0.743 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.743 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.743 * [taylor]: Taking taylor expansion of 1.0 in t
0.744 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.744 * [taylor]: Taking taylor expansion of 1.0 in t
0.744 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.744 * [taylor]: Taking taylor expansion of t in t
0.744 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.744 * [taylor]: Taking taylor expansion of 2.0 in t
0.744 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.744 * [taylor]: Taking taylor expansion of 2.0 in t
0.744 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.744 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.744 * [taylor]: Taking taylor expansion of 1.0 in t
0.744 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.744 * [taylor]: Taking taylor expansion of 1.0 in t
0.744 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.744 * [taylor]: Taking taylor expansion of t in t
0.744 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1)
0.744 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0
0.744 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.744 * [taylor]: Taking taylor expansion of 2.0 in t
0.744 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.744 * [taylor]: Taking taylor expansion of 2.0 in t
0.744 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.744 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.744 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.744 * [taylor]: Taking taylor expansion of 1.0 in t
0.744 * [taylor]: Taking taylor expansion of t in t
0.744 * [taylor]: Taking taylor expansion of 1.0 in t
0.745 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.745 * [taylor]: Taking taylor expansion of 2.0 in t
0.745 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.745 * [taylor]: Taking taylor expansion of 2.0 in t
0.745 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.745 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.745 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.745 * [taylor]: Taking taylor expansion of 1.0 in t
0.745 * [taylor]: Taking taylor expansion of t in t
0.745 * [taylor]: Taking taylor expansion of 1.0 in t
0.745 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0
0.745 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.745 * [taylor]: Taking taylor expansion of 2.0 in t
0.745 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.746 * [taylor]: Taking taylor expansion of 2.0 in t
0.746 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.746 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.746 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.746 * [taylor]: Taking taylor expansion of 1.0 in t
0.746 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.746 * [taylor]: Taking taylor expansion of t in t
0.746 * [taylor]: Taking taylor expansion of 1.0 in t
0.746 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.746 * [taylor]: Taking taylor expansion of 2.0 in t
0.746 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.746 * [taylor]: Taking taylor expansion of 2.0 in t
0.746 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.746 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.746 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.746 * [taylor]: Taking taylor expansion of 1.0 in t
0.746 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.746 * [taylor]: Taking taylor expansion of t in t
0.746 * [taylor]: Taking taylor expansion of 1.0 in t
0.746 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0
0.746 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.746 * [taylor]: Taking taylor expansion of 2.0 in t
0.746 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.746 * [taylor]: Taking taylor expansion of 2.0 in t
0.746 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.746 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.746 * [taylor]: Taking taylor expansion of 1.0 in t
0.746 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.746 * [taylor]: Taking taylor expansion of 1.0 in t
0.746 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.747 * [taylor]: Taking taylor expansion of t in t
0.747 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.747 * [taylor]: Taking taylor expansion of 2.0 in t
0.747 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.747 * [taylor]: Taking taylor expansion of 2.0 in t
0.747 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.747 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.747 * [taylor]: Taking taylor expansion of 1.0 in t
0.747 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.747 * [taylor]: Taking taylor expansion of 1.0 in t
0.747 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.747 * [taylor]: Taking taylor expansion of t in t
0.747 * * * [progress]: simplifying candidates
0.748 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (neg (/ 2.0 (+ 1.0 (* 1.0 t))))
  (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (neg (/ 2.0 (+ 1.0 (* 1.0 t))))
  (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (neg (/ 2.0 (+ 1.0 (* 1.0 t))))
  (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (neg (/ 2.0 (+ 1.0 (* 1.0 t))))
  (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
0.797 * * [simplify]: iteration  0 :  4922  enodes  (cost  976 )
0.797 * * [simplify]: iteration  1 :  4922  enodes  (cost  976 )
0.800 * [simplify]: Simplified to:
   (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3)
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (/ (neg 2.0) (+ 1.0 (* 1.0 t)))
  (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (* 1.0 (* (+ t 1) (+ t 1)))))))
  (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3)
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (/ (neg 2.0) (+ 1.0 (* 1.0 t)))
  (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (* 1.0 (* (+ t 1) (+ t 1)))))))
  (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3)
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (/ (neg 2.0) (+ 1.0 (* 1.0 t)))
  (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (* 1.0 (* (+ t 1) (+ t 1)))))))
  (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3)
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))
  (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))
  (/ (neg 2.0) (+ 1.0 (* 1.0 t)))
  (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (* 1.0 (* (+ t 1) (+ t 1)))))))
  (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))
  (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))
  (* 2.0 (+ t (- (pow t 3) (* t t))))
  (+ 2.0 (/ (- (/ 2.0 t) 2.0) t))
  (+ 2.0 (/ (- (/ 2.0 t) 2.0) t))
  (* 2.0 (+ t (- (pow t 3) (* t t))))
  (+ 2.0 (/ (- (/ 2.0 t) 2.0) t))
  (+ 2.0 (/ (- (/ 2.0 t) 2.0) t))
  (* 2.0 (+ t (- (pow t 3) (* t t))))
  (+ 2.0 (/ (- (/ 2.0 t) 2.0) t))
  (+ 2.0 (/ (- (/ 2.0 t) 2.0) t))
  (* 2.0 (+ t (- (pow t 3) (* t t))))
  (+ 2.0 (/ (- (/ 2.0 t) 2.0) t))
  (+ 2.0 (/ (- (/ 2.0 t) 2.0) t))
0.801 * * * [progress]: adding candidates to table
1.006 * [progress]: [Phase 3 of 3] Extracting.
1.006 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))))))> #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (* (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))))))))>)
1.007 * * * [regime-changes]: Trying 1 branch expressions: (t)
1.007 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))))))> #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (* (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))))))))>)
1.034 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.034 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))))
1.035 * * [simplify]: iteration  0 :  46  enodes  (cost  25 )
1.035 * * [simplify]: iteration  1 :  46  enodes  (cost  25 )
1.035 * [simplify]: Simplified to:
   (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))))
1.971 * [regime-testing]: End program error score: 0.004875609451181397