4.828 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.018 * [progress]: [Phase 2 of 3] Improving.
0.019 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))
0.021 * * [simplify]: iteration  0 :  12  enodes  (cost  5 )
0.022 * * [simplify]: iteration  1 :  15  enodes  (cost  5 )
0.023 * * [simplify]: iteration  2 :  15  enodes  (cost  5 )
0.023 * [simplify]: Simplified to:
   (- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))
0.024 * * [progress]: iteration 1 / 4
0.024 * * * [progress]: picking best candidate
0.025 * * * * [pick]: Picked  #<alt (λ (x) (- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0))))>
0.025 * * * [progress]: localizing error
0.031 * * * [progress]: generating rewritten candidates
0.031 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.038 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.040 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.043 * * * [progress]: generating series expansions
0.043 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.044 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (+ x 1.0))) (* 1.0 (/ 1 (- x 1.0)))) in (x) around 0
0.044 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (+ x 1.0))) (* 1.0 (/ 1 (- x 1.0)))) in x
0.044 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ x 1.0))) in x
0.044 * [taylor]: Taking taylor expansion of 1.0 in x
0.044 * [taylor]: Taking taylor expansion of (/ 1 (+ x 1.0)) in x
0.044 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.044 * [taylor]: Taking taylor expansion of x in x
0.044 * [taylor]: Taking taylor expansion of 1.0 in x
0.045 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- x 1.0))) in x
0.045 * [taylor]: Taking taylor expansion of 1.0 in x
0.045 * [taylor]: Taking taylor expansion of (/ 1 (- x 1.0)) in x
0.045 * [taylor]: Taking taylor expansion of (- x 1.0) in x
0.045 * [taylor]: Taking taylor expansion of x in x
0.045 * [taylor]: Taking taylor expansion of 1.0 in x
0.046 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (+ x 1.0))) (* 1.0 (/ 1 (- x 1.0)))) in x
0.046 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ x 1.0))) in x
0.046 * [taylor]: Taking taylor expansion of 1.0 in x
0.046 * [taylor]: Taking taylor expansion of (/ 1 (+ x 1.0)) in x
0.046 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.046 * [taylor]: Taking taylor expansion of x in x
0.046 * [taylor]: Taking taylor expansion of 1.0 in x
0.047 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- x 1.0))) in x
0.047 * [taylor]: Taking taylor expansion of 1.0 in x
0.047 * [taylor]: Taking taylor expansion of (/ 1 (- x 1.0)) in x
0.047 * [taylor]: Taking taylor expansion of (- x 1.0) in x
0.047 * [taylor]: Taking taylor expansion of x in x
0.047 * [taylor]: Taking taylor expansion of 1.0 in x
0.095 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) (* 1.0 (/ 1 (- (/ 1 x) 1.0)))) in (x) around 0
0.095 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) (* 1.0 (/ 1 (- (/ 1 x) 1.0)))) in x
0.095 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) in x
0.095 * [taylor]: Taking taylor expansion of 1.0 in x
0.095 * [taylor]: Taking taylor expansion of (/ 1 (+ 1.0 (/ 1 x))) in x
0.095 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.095 * [taylor]: Taking taylor expansion of 1.0 in x
0.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.096 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (/ 1 x) 1.0))) in x
0.096 * [taylor]: Taking taylor expansion of 1.0 in x
0.096 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 x) 1.0)) in x
0.096 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
0.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.096 * [taylor]: Taking taylor expansion of x in x
0.096 * [taylor]: Taking taylor expansion of 1.0 in x
0.097 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) (* 1.0 (/ 1 (- (/ 1 x) 1.0)))) in x
0.097 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) in x
0.097 * [taylor]: Taking taylor expansion of 1.0 in x
0.097 * [taylor]: Taking taylor expansion of (/ 1 (+ 1.0 (/ 1 x))) in x
0.097 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.097 * [taylor]: Taking taylor expansion of 1.0 in x
0.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.097 * [taylor]: Taking taylor expansion of x in x
0.098 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (/ 1 x) 1.0))) in x
0.098 * [taylor]: Taking taylor expansion of 1.0 in x
0.098 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 x) 1.0)) in x
0.098 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
0.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.098 * [taylor]: Taking taylor expansion of x in x
0.098 * [taylor]: Taking taylor expansion of 1.0 in x
0.157 * [approximate]: Taking taylor expansion of (+ (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) (* 1.0 (/ 1 (- 1.0 (/ 1 x))))) in (x) around 0
0.157 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) (* 1.0 (/ 1 (- 1.0 (/ 1 x))))) in x
0.157 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) in x
0.157 * [taylor]: Taking taylor expansion of 1.0 in x
0.157 * [taylor]: Taking taylor expansion of (/ 1 (+ 1.0 (/ 1 x))) in x
0.157 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.157 * [taylor]: Taking taylor expansion of 1.0 in x
0.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.157 * [taylor]: Taking taylor expansion of x in x
0.158 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- 1.0 (/ 1 x)))) in x
0.158 * [taylor]: Taking taylor expansion of 1.0 in x
0.158 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (/ 1 x))) in x
0.158 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.158 * [taylor]: Taking taylor expansion of 1.0 in x
0.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.158 * [taylor]: Taking taylor expansion of x in x
0.159 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) (* 1.0 (/ 1 (- 1.0 (/ 1 x))))) in x
0.159 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (+ 1.0 (/ 1 x)))) in x
0.159 * [taylor]: Taking taylor expansion of 1.0 in x
0.159 * [taylor]: Taking taylor expansion of (/ 1 (+ 1.0 (/ 1 x))) in x
0.159 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.159 * [taylor]: Taking taylor expansion of 1.0 in x
0.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- 1.0 (/ 1 x)))) in x
0.160 * [taylor]: Taking taylor expansion of 1.0 in x
0.160 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (/ 1 x))) in x
0.160 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.160 * [taylor]: Taking taylor expansion of 1.0 in x
0.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.224 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.224 * [approximate]: Taking taylor expansion of (/ 1.0 (- x 1.0)) in (x) around 0
0.224 * [taylor]: Taking taylor expansion of (/ 1.0 (- x 1.0)) in x
0.224 * [taylor]: Taking taylor expansion of 1.0 in x
0.224 * [taylor]: Taking taylor expansion of (- x 1.0) in x
0.224 * [taylor]: Taking taylor expansion of x in x
0.224 * [taylor]: Taking taylor expansion of 1.0 in x
0.225 * [taylor]: Taking taylor expansion of (/ 1.0 (- x 1.0)) in x
0.225 * [taylor]: Taking taylor expansion of 1.0 in x
0.225 * [taylor]: Taking taylor expansion of (- x 1.0) in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.225 * [taylor]: Taking taylor expansion of 1.0 in x
0.234 * [approximate]: Taking taylor expansion of (/ 1.0 (- (/ 1 x) 1.0)) in (x) around 0
0.234 * [taylor]: Taking taylor expansion of (/ 1.0 (- (/ 1 x) 1.0)) in x
0.234 * [taylor]: Taking taylor expansion of 1.0 in x
0.234 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
0.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.235 * [taylor]: Taking taylor expansion of x in x
0.235 * [taylor]: Taking taylor expansion of 1.0 in x
0.235 * [taylor]: Taking taylor expansion of (/ 1.0 (- (/ 1 x) 1.0)) in x
0.235 * [taylor]: Taking taylor expansion of 1.0 in x
0.235 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
0.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.235 * [taylor]: Taking taylor expansion of x in x
0.236 * [taylor]: Taking taylor expansion of 1.0 in x
0.244 * [approximate]: Taking taylor expansion of (/ -1.0 (+ 1.0 (/ 1 x))) in (x) around 0
0.244 * [taylor]: Taking taylor expansion of (/ -1.0 (+ 1.0 (/ 1 x))) in x
0.244 * [taylor]: Taking taylor expansion of -1.0 in x
0.244 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.244 * [taylor]: Taking taylor expansion of 1.0 in x
0.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.244 * [taylor]: Taking taylor expansion of x in x
0.245 * [taylor]: Taking taylor expansion of (/ -1.0 (+ 1.0 (/ 1 x))) in x
0.245 * [taylor]: Taking taylor expansion of -1.0 in x
0.245 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.245 * [taylor]: Taking taylor expansion of 1.0 in x
0.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.245 * [taylor]: Taking taylor expansion of x in x
0.257 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.257 * [approximate]: Taking taylor expansion of (/ 1.0 (+ x 1.0)) in (x) around 0
0.257 * [taylor]: Taking taylor expansion of (/ 1.0 (+ x 1.0)) in x
0.257 * [taylor]: Taking taylor expansion of 1.0 in x
0.257 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.257 * [taylor]: Taking taylor expansion of x in x
0.257 * [taylor]: Taking taylor expansion of 1.0 in x
0.258 * [taylor]: Taking taylor expansion of (/ 1.0 (+ x 1.0)) in x
0.258 * [taylor]: Taking taylor expansion of 1.0 in x
0.258 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.258 * [taylor]: Taking taylor expansion of x in x
0.258 * [taylor]: Taking taylor expansion of 1.0 in x
0.264 * [approximate]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 x))) in (x) around 0
0.264 * [taylor]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 x))) in x
0.264 * [taylor]: Taking taylor expansion of 1.0 in x
0.264 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.264 * [taylor]: Taking taylor expansion of 1.0 in x
0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.264 * [taylor]: Taking taylor expansion of x in x
0.265 * [taylor]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 x))) in x
0.265 * [taylor]: Taking taylor expansion of 1.0 in x
0.265 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.265 * [taylor]: Taking taylor expansion of 1.0 in x
0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.265 * [taylor]: Taking taylor expansion of x in x
0.272 * [approximate]: Taking taylor expansion of (/ 1.0 (- 1.0 (/ 1 x))) in (x) around 0
0.272 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1.0 (/ 1 x))) in x
0.272 * [taylor]: Taking taylor expansion of 1.0 in x
0.272 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.272 * [taylor]: Taking taylor expansion of 1.0 in x
0.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.273 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1.0 (/ 1 x))) in x
0.273 * [taylor]: Taking taylor expansion of 1.0 in x
0.273 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.274 * [taylor]: Taking taylor expansion of 1.0 in x
0.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.274 * [taylor]: Taking taylor expansion of x in x
0.282 * * * [progress]: simplifying candidates
0.283 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* 1.0 (- x 1.0)) (* (+ x 1.0) 1.0))
  (* (+ x 1.0) (- x 1.0))
  (- (* 1.0 (- (- x 1.0))) (* (+ x 1.0) (- 1.0)))
  (* (+ x 1.0) (- (- x 1.0)))
  (- (* 1.0 (/ (- x 1.0) 1.0)) (* (+ x 1.0) 1))
  (* (+ x 1.0) (/ (- x 1.0) 1.0))
  (- (* (- 1.0) (- x 1.0)) (* (- (+ x 1.0)) 1.0))
  (* (- (+ x 1.0)) (- x 1.0))
  (- (* (- 1.0) (- (- x 1.0))) (* (- (+ x 1.0)) (- 1.0)))
  (* (- (+ x 1.0)) (- (- x 1.0)))
  (- (* (- 1.0) (/ (- x 1.0) 1.0)) (* (- (+ x 1.0)) 1))
  (* (- (+ x 1.0)) (/ (- x 1.0) 1.0))
  (- (* 1 (- x 1.0)) (* (/ (+ x 1.0) 1.0) 1.0))
  (* (/ (+ x 1.0) 1.0) (- x 1.0))
  (- (* 1 (- (- x 1.0))) (* (/ (+ x 1.0) 1.0) (- 1.0)))
  (* (/ (+ x 1.0) 1.0) (- (- x 1.0)))
  (- (* 1 (/ (- x 1.0) 1.0)) (* (/ (+ x 1.0) 1.0) 1))
  (* (/ (+ x 1.0) 1.0) (/ (- x 1.0) 1.0))
  (- (pow (/ 1.0 (+ x 1.0)) 3) (pow (/ 1.0 (- x 1.0)) 3))
  (+ (* (/ 1.0 (+ x 1.0)) (/ 1.0 (+ x 1.0))) (+ (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0))) (* (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))))
  (- (/ 1.0 (- x 1.0)))
  (- (* (/ 1.0 (+ x 1.0)) (/ 1.0 (+ x 1.0))) (* (/ 1.0 (- x 1.0)) (/ 1.0 (- x 1.0))))
  (+ (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))
  (- (/ 1 (+ x 1.0)) (/ 1 (- x 1.0)))
  (- (- x 1.0) (+ x 1.0))
  (- (/ 1.0 (- x 1.0)))
  (- 1.0)
  (- (- x 1.0))
  (/ 1 (- x 1.0))
  (/ (- x 1.0) 1.0)
  (/ 1.0 (- (pow x 3) (pow 1.0 3)))
  (/ 1.0 (- (* x x) (* 1.0 1.0)))
  (- 1.0)
  (- (+ x 1.0))
  (/ 1 (+ x 1.0))
  (/ (+ x 1.0) 1.0)
  (/ 1.0 (+ (pow x 3) (pow 1.0 3)))
  (/ 1.0 (- (* x x) (* 1.0 1.0)))
  (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 4)) 2.0))
  (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4))))))
  (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4))))))
  (- (+ (* 1.0 (pow x 2)) (+ (* 1.0 x) 1.0)))
  (+ (* 1.0 (/ 1 (pow x 2))) (+ (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))))
  (+ (* 1.0 (/ 1 (pow x 2))) (+ (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))))
  (- (+ (* 1.0 (pow x 2)) 1.0) (* 1.0 x))
  (- (+ (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))) (* 1.0 (/ 1 (pow x 2))))
  (- (+ (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))) (* 1.0 (/ 1 (pow x 2))))
0.287 * * [simplify]: iteration  0 :  295  enodes  (cost  261 )
0.293 * * [simplify]: iteration  1 :  1107  enodes  (cost  229 )
0.318 * * [simplify]: iteration  2 :  5002  enodes  (cost  220 )
0.319 * [simplify]: Simplified to:
   (* 1.0 (- (- x 1.0) (+ x 1.0)))
  (- (* x x) (* 1.0 1.0))
  (* (- 1.0) (- (- x 1.0) (+ x 1.0)))
  (* (- (+ x 1.0)) (- x 1.0))
  (- (- x 1.0) (+ x 1.0))
  (* (+ x 1.0) (/ (- x 1.0) 1.0))
  (* (- 1.0) (- (- x 1.0) (+ x 1.0)))
  (* (- (+ x 1.0)) (- x 1.0))
  (* 1.0 (- (- x 1.0) (+ x 1.0)))
  (- (* x x) (* 1.0 1.0))
  (+ (- (- x 1.0)) (+ x 1.0))
  (* (- (+ x 1.0)) (/ (- x 1.0) 1.0))
  (- (- x 1.0) (+ x 1.0))
  (* (+ x 1.0) (/ (- x 1.0) 1.0))
  (+ (- (- x 1.0)) (+ x 1.0))
  (* (- (+ x 1.0)) (/ (- x 1.0) 1.0))
  (- (/ x 1.0) (+ 1 (/ (+ x 1.0) 1.0)))
  (* (/ (+ x 1.0) 1.0) (/ (- x 1.0) 1.0))
  (- (pow (/ 1.0 (+ x 1.0)) 3) (pow (/ 1.0 (- x 1.0)) 3))
  (+ (* (/ 1.0 (- x 1.0)) (+ (/ 1.0 (- x 1.0)) (/ 1.0 (+ x 1.0)))) (* (/ 1.0 (+ x 1.0)) (/ 1.0 (+ x 1.0))))
  (- (/ 1.0 (- x 1.0)))
  (* 1.0 (- (/ (/ 1.0 (+ x 1.0)) (+ x 1.0)) (/ (/ 1.0 (- x 1.0)) (- x 1.0))))
  (+ (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))
  (- (/ 1 (+ x 1.0)) (/ 1 (- x 1.0)))
  (- (- x 1.0) (+ x 1.0))
  (- (/ 1.0 (- x 1.0)))
  (- 1.0)
  (- (- x 1.0))
  (/ 1 (- x 1.0))
  (/ (- x 1.0) 1.0)
  (/ 1.0 (- (pow x 3) (pow 1.0 3)))
  (/ 1.0 (- (* x x) (* 1.0 1.0)))
  (- 1.0)
  (- (+ x 1.0))
  (/ 1 (+ x 1.0))
  (/ (+ x 1.0) 1.0)
  (/ 1.0 (+ (pow x 3) (pow 1.0 3)))
  (/ 1.0 (- (* x x) (* 1.0 1.0)))
  (+ 2.0 (* 2.0 (+ (pow x 2) (pow x 4))))
  (- (/ (- 2.0) (pow x 6)) (* 2.0 (+ (/ 1 (pow x 2)) (/ 1 (pow x 4)))))
  (- (/ (- 2.0) (pow x 6)) (* 2.0 (+ (/ 1 (pow x 2)) (/ 1 (pow x 4)))))
  (- (+ (* 1.0 (+ (pow x 2) x)) 1.0))
  (* 1.0 (+ (/ 1 (pow x 2)) (+ (/ 1 x) (/ 1 (pow x 3)))))
  (* 1.0 (+ (/ 1 (pow x 2)) (+ (/ 1 x) (/ 1 (pow x 3)))))
  (* 1.0 (- (+ (pow x 2) 1) x))
  (* 1.0 (- (+ (/ 1 x) (/ 1 (pow x 3))) (/ 1 (pow x 2))))
  (* 1.0 (- (+ (/ 1 x) (/ 1 (pow x 3))) (/ 1 (pow x 2))))
0.319 * * * [progress]: adding candidates to table
0.380 * * [progress]: iteration 2 / 4
0.380 * * * [progress]: picking best candidate
0.386 * * * * [pick]: Picked  #<alt (λ (x) (* (/ 1.0 (- (* x x) (* 1.0 1.0))) (- (- x 1.0) (+ x 1.0))))>
0.386 * * * [progress]: localizing error
0.395 * * * [progress]: generating rewritten candidates
0.395 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.399 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.407 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
0.412 * * * [progress]: generating series expansions
0.412 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.412 * [approximate]: Taking taylor expansion of (- 2.0) in (x) around 0
0.412 * [taylor]: Taking taylor expansion of (- 2.0) in x
0.412 * [taylor]: Taking taylor expansion of 2.0 in x
0.412 * [taylor]: Taking taylor expansion of (- 2.0) in x
0.412 * [taylor]: Taking taylor expansion of 2.0 in x
0.415 * [approximate]: Taking taylor expansion of (- 2.0) in (x) around 0
0.415 * [taylor]: Taking taylor expansion of (- 2.0) in x
0.415 * [taylor]: Taking taylor expansion of 2.0 in x
0.415 * [taylor]: Taking taylor expansion of (- 2.0) in x
0.415 * [taylor]: Taking taylor expansion of 2.0 in x
0.417 * [approximate]: Taking taylor expansion of (- 2.0) in (x) around 0
0.417 * [taylor]: Taking taylor expansion of (- 2.0) in x
0.417 * [taylor]: Taking taylor expansion of 2.0 in x
0.417 * [taylor]: Taking taylor expansion of (- 2.0) in x
0.417 * [taylor]: Taking taylor expansion of 2.0 in x
0.419 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.419 * [approximate]: Taking taylor expansion of (/ 1.0 (- (pow x 2) 1.0)) in (x) around 0
0.419 * [taylor]: Taking taylor expansion of (/ 1.0 (- (pow x 2) 1.0)) in x
0.419 * [taylor]: Taking taylor expansion of 1.0 in x
0.419 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.420 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.420 * [taylor]: Taking taylor expansion of x in x
0.420 * [taylor]: Taking taylor expansion of 1.0 in x
0.421 * [taylor]: Taking taylor expansion of (/ 1.0 (- (pow x 2) 1.0)) in x
0.421 * [taylor]: Taking taylor expansion of 1.0 in x
0.421 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.421 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.421 * [taylor]: Taking taylor expansion of x in x
0.421 * [taylor]: Taking taylor expansion of 1.0 in x
0.435 * [approximate]: Taking taylor expansion of (/ 1.0 (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
0.435 * [taylor]: Taking taylor expansion of (/ 1.0 (- (/ 1 (pow x 2)) 1.0)) in x
0.435 * [taylor]: Taking taylor expansion of 1.0 in x
0.435 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.435 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.435 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.435 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of 1.0 in x
0.436 * [taylor]: Taking taylor expansion of (/ 1.0 (- (/ 1 (pow x 2)) 1.0)) in x
0.436 * [taylor]: Taking taylor expansion of 1.0 in x
0.436 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.436 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.437 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.437 * [taylor]: Taking taylor expansion of x in x
0.437 * [taylor]: Taking taylor expansion of 1.0 in x
0.451 * [approximate]: Taking taylor expansion of (/ 1.0 (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
0.451 * [taylor]: Taking taylor expansion of (/ 1.0 (- (/ 1 (pow x 2)) 1.0)) in x
0.451 * [taylor]: Taking taylor expansion of 1.0 in x
0.451 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.451 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.451 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.452 * [taylor]: Taking taylor expansion of x in x
0.452 * [taylor]: Taking taylor expansion of 1.0 in x
0.453 * [taylor]: Taking taylor expansion of (/ 1.0 (- (/ 1 (pow x 2)) 1.0)) in x
0.453 * [taylor]: Taking taylor expansion of 1.0 in x
0.453 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.453 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.453 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.453 * [taylor]: Taking taylor expansion of x in x
0.453 * [taylor]: Taking taylor expansion of 1.0 in x
0.468 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
0.468 * [approximate]: Taking taylor expansion of (- (pow x 2) 1.0) in (x) around 0
0.468 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.468 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.468 * [taylor]: Taking taylor expansion of 1.0 in x
0.468 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.468 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.468 * [taylor]: Taking taylor expansion of 1.0 in x
0.481 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in (x) around 0
0.481 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.481 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.481 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.481 * [taylor]: Taking taylor expansion of x in x
0.482 * [taylor]: Taking taylor expansion of 1.0 in x
0.482 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.482 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.482 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.482 * [taylor]: Taking taylor expansion of x in x
0.483 * [taylor]: Taking taylor expansion of 1.0 in x
0.510 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in (x) around 0
0.510 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.510 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.510 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.510 * [taylor]: Taking taylor expansion of x in x
0.510 * [taylor]: Taking taylor expansion of 1.0 in x
0.510 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.510 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.510 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.510 * [taylor]: Taking taylor expansion of x in x
0.511 * [taylor]: Taking taylor expansion of 1.0 in x
0.524 * * * [progress]: simplifying candidates
0.525 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* (- (pow x 3) (pow 1.0 3)) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (+ (pow x 3) (pow 1.0 3))))
  (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (- (* (- (pow x 3) (pow 1.0 3)) (- x 1.0)) (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (- (* x x) (* 1.0 1.0))))
  (* (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))) (- x 1.0))
  (- (* (- (* x x) (* 1.0 1.0)) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (+ x 1.0) (+ (pow x 3) (pow 1.0 3))))
  (* (+ x 1.0) (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (- (* (- (* x x) (* 1.0 1.0)) (- x 1.0)) (* (+ x 1.0) (- (* x x) (* 1.0 1.0))))
  (* (+ x 1.0) (- x 1.0))
  (- (pow (- x 1.0) 3) (pow (+ x 1.0) 3))
  (+ (* (- x 1.0) (- x 1.0)) (+ (* (+ x 1.0) (+ x 1.0)) (* (- x 1.0) (+ x 1.0))))
  (- (+ x 1.0))
  (- (* (- x 1.0) (- x 1.0)) (* (+ x 1.0) (+ x 1.0)))
  (+ (- x 1.0) (+ x 1.0))
  (- (- x 1.0) x)
  (- (- x 1.0) 1.0)
  (- (- 1.0) (+ x 1.0))
  (- (- 1.0) (+ x 1.0))
  (+ 1.0 (+ x 1.0))
  (- (+ x 1.0))
  (- 1.0)
  (- (- (* x x) (* 1.0 1.0)))
  (/ 1 (- (* x x) (* 1.0 1.0)))
  (/ (- (* x x) (* 1.0 1.0)) 1.0)
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (- (pow (* x x) 3) (pow (* 1.0 1.0) 3)))
  (/ 1.0 (- (* (* x x) (* x x)) (* (* 1.0 1.0) (* 1.0 1.0))))
  (- (pow (* x x) 3) (pow (* 1.0 1.0) 3))
  (+ (* (* x x) (* x x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (* x x) (* 1.0 1.0))))
  (- (* 1.0 1.0))
  (- (* (* x x) (* x x)) (* (* 1.0 1.0) (* 1.0 1.0)))
  (+ (* x x) (* 1.0 1.0))
  (+ x 1.0)
  (- x 1.0)
  (+ x 1.0)
  (- x 1.0)
  (+ x 1.0)
  (- x 1.0)
  (+ x 1.0)
  (- x 1.0)
  (- (* 1.0 1.0))
  (- 2.0)
  (- 2.0)
  (- 2.0)
  (- (+ (* 1.0 (pow x 2)) (+ (* 1.0 (pow x 4)) 1.0)))
  (+ (* 1.0 (/ 1 (pow x 6))) (+ (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ 1 (pow x 4)))))
  (+ (* 1.0 (/ 1 (pow x 6))) (+ (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ 1 (pow x 4)))))
  (- (pow x 2) 1.0)
  (- (pow x 2) 1.0)
  (- (pow x 2) 1.0)
0.529 * * [simplify]: iteration  0 :  284  enodes  (cost  231 )
0.535 * * [simplify]: iteration  1 :  1302  enodes  (cost  220 )
0.558 * * [simplify]: iteration  2 :  5001  enodes  (cost  213 )
0.559 * [simplify]: Simplified to:
   (+ (* (- (+ (* 1.0 (+ 1.0 x)) (pow x 2))) (+ (pow x 3) (pow 1.0 3))) (* (+ (* 1.0 (- 1.0 x)) (pow x 2)) (- (pow x 3) (pow 1.0 3))))
  (* (+ (* 1.0 (- 1.0 x)) (pow x 2)) (+ (* 1.0 (+ 1.0 x)) (pow x 2)))
  (* (- x 1.0) (- (- (pow x 3) (pow 1.0 3)) (* (+ x 1.0) (+ (* 1.0 (+ 1.0 x)) (pow x 2)))))
  (* (- x 1.0) (+ (* 1.0 (+ 1.0 x)) (pow x 2)))
  (* (+ x 1.0) (- (* (- x 1.0) (+ (* 1.0 (- 1.0 x)) (pow x 2))) (+ (pow x 3) (pow 1.0 3))))
  (* (+ (* 1.0 (- 1.0 x)) (pow x 2)) (+ x 1.0))
  (* (- (* x x) (* 1.0 1.0)) (- (- x 1.0) (+ x 1.0)))
  (- (* x x) (* 1.0 1.0))
  (- (pow (- x 1.0) 3) (pow (+ x 1.0) 3))
  (+ (* (+ x 1.0) (+ (+ x 1.0) (- x 1.0))) (* (- x 1.0) (- x 1.0)))
  (- (+ x 1.0))
  (- (* (- x 1.0) (- x 1.0)) (* (+ x 1.0) (+ x 1.0)))
  (+ (- x 1.0) (+ x 1.0))
  (- (- x 1.0) x)
  (- (- x 1.0) 1.0)
  (- (- 1.0) (+ x 1.0))
  (- (- 1.0) (+ x 1.0))
  (+ 1.0 (+ x 1.0))
  (- (+ x 1.0))
  (- 1.0)
  (- (- (* x x) (* 1.0 1.0)))
  (/ 1 (- (* x x) (* 1.0 1.0)))
  (/ (- (* x x) (* 1.0 1.0)) 1.0)
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (- (pow (* x x) 3) (pow (* 1.0 1.0) 3)))
  (/ 1.0 (- (* (* x x) (* x x)) (* (* 1.0 1.0) (* 1.0 1.0))))
  (- (pow (* x x) 3) (pow (* 1.0 1.0) 3))
  (+ (+ (pow x 4) (* (* x x) (* 1.0 1.0))) (pow 1.0 4))
  (- (* 1.0 1.0))
  (+ (- (* (pow 1.0 3) 1.0)) (pow x 4))
  (+ (* x x) (* 1.0 1.0))
  (+ x 1.0)
  (- x 1.0)
  (+ x 1.0)
  (- x 1.0)
  (+ x 1.0)
  (- x 1.0)
  (+ x 1.0)
  (- x 1.0)
  (- (* 1.0 1.0))
  (- 2.0)
  (- 2.0)
  (- 2.0)
  (- (+ (* 1.0 (+ (pow x 2) (pow x 4))) 1.0))
  (* 1.0 (+ (/ 1 (pow x 6)) (+ (/ 1 (pow x 2)) (/ 1 (pow x 4)))))
  (* 1.0 (+ (/ 1 (pow x 6)) (+ (/ 1 (pow x 2)) (/ 1 (pow x 4)))))
  (- (pow x 2) 1.0)
  (- (pow x 2) 1.0)
  (- (pow x 2) 1.0)
0.560 * * * [progress]: adding candidates to table
0.625 * * [progress]: iteration 3 / 4
0.625 * * * [progress]: picking best candidate
0.629 * * * * [pick]: Picked  #<alt (λ (x) (* (/ 1.0 (- (* x x) (* 1.0 1.0))) (- 2.0)))>
0.629 * * * [progress]: localizing error
0.636 * * * [progress]: generating rewritten candidates
0.636 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.641 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.648 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
0.838 * * * [progress]: generating series expansions
0.838 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.839 * [approximate]: Taking taylor expansion of (/ 1.0 (- (pow x 2) 1.0)) in (x) around 0
0.839 * [taylor]: Taking taylor expansion of (/ 1.0 (- (pow x 2) 1.0)) in x
0.839 * [taylor]: Taking taylor expansion of 1.0 in x
0.839 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.839 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.839 * [taylor]: Taking taylor expansion of x in x
0.839 * [taylor]: Taking taylor expansion of 1.0 in x
0.840 * [taylor]: Taking taylor expansion of (/ 1.0 (- (pow x 2) 1.0)) in x
0.840 * [taylor]: Taking taylor expansion of 1.0 in x
0.840 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.840 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.840 * [taylor]: Taking taylor expansion of 1.0 in x
0.855 * [approximate]: Taking taylor expansion of (/ 1.0 (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
0.856 * [taylor]: Taking taylor expansion of (/ 1.0 (- (/ 1 (pow x 2)) 1.0)) in x
0.856 * [taylor]: Taking taylor expansion of 1.0 in x
0.856 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.856 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.856 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.856 * [taylor]: Taking taylor expansion of x in x
0.856 * [taylor]: Taking taylor expansion of 1.0 in x
0.857 * [taylor]: Taking taylor expansion of (/ 1.0 (- (/ 1 (pow x 2)) 1.0)) in x
0.857 * [taylor]: Taking taylor expansion of 1.0 in x
0.857 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.857 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.857 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.857 * [taylor]: Taking taylor expansion of x in x
0.857 * [taylor]: Taking taylor expansion of 1.0 in x
0.872 * [approximate]: Taking taylor expansion of (/ 1.0 (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
0.872 * [taylor]: Taking taylor expansion of (/ 1.0 (- (/ 1 (pow x 2)) 1.0)) in x
0.872 * [taylor]: Taking taylor expansion of 1.0 in x
0.872 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.872 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.872 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.872 * [taylor]: Taking taylor expansion of x in x
0.872 * [taylor]: Taking taylor expansion of 1.0 in x
0.873 * [taylor]: Taking taylor expansion of (/ 1.0 (- (/ 1 (pow x 2)) 1.0)) in x
0.873 * [taylor]: Taking taylor expansion of 1.0 in x
0.873 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.873 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.873 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.873 * [taylor]: Taking taylor expansion of x in x
0.874 * [taylor]: Taking taylor expansion of 1.0 in x
0.888 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.889 * [approximate]: Taking taylor expansion of (/ -2.0 (- (pow x 2) 1.0)) in (x) around 0
0.889 * [taylor]: Taking taylor expansion of (/ -2.0 (- (pow x 2) 1.0)) in x
0.889 * [taylor]: Taking taylor expansion of -2.0 in x
0.889 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.889 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.889 * [taylor]: Taking taylor expansion of x in x
0.889 * [taylor]: Taking taylor expansion of 1.0 in x
0.890 * [taylor]: Taking taylor expansion of (/ -2.0 (- (pow x 2) 1.0)) in x
0.890 * [taylor]: Taking taylor expansion of -2.0 in x
0.890 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.890 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.890 * [taylor]: Taking taylor expansion of x in x
0.890 * [taylor]: Taking taylor expansion of 1.0 in x
0.904 * [approximate]: Taking taylor expansion of (/ -2.0 (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
0.904 * [taylor]: Taking taylor expansion of (/ -2.0 (- (/ 1 (pow x 2)) 1.0)) in x
0.904 * [taylor]: Taking taylor expansion of -2.0 in x
0.904 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.904 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.904 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.904 * [taylor]: Taking taylor expansion of x in x
0.905 * [taylor]: Taking taylor expansion of 1.0 in x
0.905 * [taylor]: Taking taylor expansion of (/ -2.0 (- (/ 1 (pow x 2)) 1.0)) in x
0.905 * [taylor]: Taking taylor expansion of -2.0 in x
0.905 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.905 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.905 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.905 * [taylor]: Taking taylor expansion of x in x
0.906 * [taylor]: Taking taylor expansion of 1.0 in x
0.926 * [approximate]: Taking taylor expansion of (/ -2.0 (- (/ 1 (pow x 2)) 1.0)) in (x) around 0
0.926 * [taylor]: Taking taylor expansion of (/ -2.0 (- (/ 1 (pow x 2)) 1.0)) in x
0.926 * [taylor]: Taking taylor expansion of -2.0 in x
0.926 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.926 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.926 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.926 * [taylor]: Taking taylor expansion of x in x
0.927 * [taylor]: Taking taylor expansion of 1.0 in x
0.927 * [taylor]: Taking taylor expansion of (/ -2.0 (- (/ 1 (pow x 2)) 1.0)) in x
0.927 * [taylor]: Taking taylor expansion of -2.0 in x
0.928 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.928 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.928 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.928 * [taylor]: Taking taylor expansion of x in x
0.928 * [taylor]: Taking taylor expansion of 1.0 in x
0.944 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
0.945 * [approximate]: Taking taylor expansion of (- (pow x 2) 1.0) in (x) around 0
0.945 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.945 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.945 * [taylor]: Taking taylor expansion of x in x
0.945 * [taylor]: Taking taylor expansion of 1.0 in x
0.945 * [taylor]: Taking taylor expansion of (- (pow x 2) 1.0) in x
0.945 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.945 * [taylor]: Taking taylor expansion of x in x
0.945 * [taylor]: Taking taylor expansion of 1.0 in x
0.954 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in (x) around 0
0.954 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.954 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.954 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.954 * [taylor]: Taking taylor expansion of x in x
0.955 * [taylor]: Taking taylor expansion of 1.0 in x
0.955 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.955 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.955 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.955 * [taylor]: Taking taylor expansion of x in x
0.955 * [taylor]: Taking taylor expansion of 1.0 in x
0.970 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in (x) around 0
0.970 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.970 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.970 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.970 * [taylor]: Taking taylor expansion of x in x
0.971 * [taylor]: Taking taylor expansion of 1.0 in x
0.971 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1.0) in x
0.971 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.971 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.971 * [taylor]: Taking taylor expansion of x in x
0.971 * [taylor]: Taking taylor expansion of 1.0 in x
0.985 * * * [progress]: simplifying candidates
0.986 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- 1.0)
  (- (- (* x x) (* 1.0 1.0)))
  (/ 1 (- (* x x) (* 1.0 1.0)))
  (/ (- (* x x) (* 1.0 1.0)) 1.0)
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (- (pow (* x x) 3) (pow (* 1.0 1.0) 3)))
  (/ 1.0 (- (* (* x x) (* x x)) (* (* 1.0 1.0) (* 1.0 1.0))))
  (* (/ 1.0 (- (* x x) (* 1.0 1.0))) 2.0)
  (* (/ 1.0 (- (* x x) (* 1.0 1.0))) -1)
  (* (/ 1 (- (* x x) (* 1.0 1.0))) (- 2.0))
  (* (+ (* (* x x) (* x x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (* x x) (* 1.0 1.0)))) (- 2.0))
  (* (+ (* x x) (* 1.0 1.0)) (- 2.0))
  (* 1.0 (- 2.0))
  (* (- 1.0) (- 2.0))
  (* 1 (- 2.0))
  (* (/ 1.0 (+ x 1.0)) (- 2.0))
  (* (/ 1.0 (+ x 1.0)) (- 2.0))
  (* (/ 1.0 (+ x 1.0)) (- 2.0))
  (* (/ 1.0 (+ x 1.0)) (- 2.0))
  (- (pow (* x x) 3) (pow (* 1.0 1.0) 3))
  (+ (* (* x x) (* x x)) (+ (* (* 1.0 1.0) (* 1.0 1.0)) (* (* x x) (* 1.0 1.0))))
  (- (* 1.0 1.0))
  (- (* (* x x) (* x x)) (* (* 1.0 1.0) (* 1.0 1.0)))
  (+ (* x x) (* 1.0 1.0))
  (+ x 1.0)
  (- x 1.0)
  (+ x 1.0)
  (- x 1.0)
  (+ x 1.0)
  (- x 1.0)
  (+ x 1.0)
  (- x 1.0)
  (- (* 1.0 1.0))
  (- (+ (* 1.0 (pow x 2)) (+ (* 1.0 (pow x 4)) 1.0)))
  (+ (* 1.0 (/ 1 (pow x 6))) (+ (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ 1 (pow x 4)))))
  (+ (* 1.0 (/ 1 (pow x 6))) (+ (* 1.0 (/ 1 (pow x 2))) (* 1.0 (/ 1 (pow x 4)))))
  (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 4)) 2.0))
  (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4))))))
  (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4))))))
  (- (pow x 2) 1.0)
  (- (pow x 2) 1.0)
  (- (pow x 2) 1.0)
0.990 * * [simplify]: iteration  0 :  197  enodes  (cost  187 )
0.994 * * [simplify]: iteration  1 :  750  enodes  (cost  176 )
1.011 * * [simplify]: iteration  2 :  4025  enodes  (cost  167 )
1.116 * * [simplify]: iteration  3 :  5002  enodes  (cost  166 )
1.118 * [simplify]: Simplified to:
   (- 1.0)
  (- (- (* x x) (* 1.0 1.0)))
  (/ 1 (- (* x x) (* 1.0 1.0)))
  (- (/ (pow x 2) 1.0) 1.0)
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (+ x 1.0))
  (/ 1.0 (- (pow (* x x) 3) (pow (* 1.0 1.0) 3)))
  (/ 1.0 (+ (* (- 1.0) (pow 1.0 3)) (pow x 4)))
  (* (/ 1.0 (- (* x x) (* 1.0 1.0))) 2.0)
  (* (/ 1.0 (- (* x x) (* 1.0 1.0))) -1)
  (/ (- 2.0) (- (* x x) (* 1.0 1.0)))
  (* (- 2.0) (+ (* (pow x 2) (+ (* x x) (* 1.0 1.0))) (pow 1.0 4)))
  (* (+ (* x x) (* 1.0 1.0)) (- 2.0))
  (* 1.0 (- 2.0))
  (* 1.0 2.0)
  (- 2.0)
  (* (/ 1.0 (+ x 1.0)) (- 2.0))
  (* (/ 1.0 (+ x 1.0)) (- 2.0))
  (* (/ 1.0 (+ x 1.0)) (- 2.0))
  (* (/ 1.0 (+ x 1.0)) (- 2.0))
  (- (pow (* x x) 3) (pow (* 1.0 1.0) 3))
  (+ (* (pow x 2) (+ (* x x) (* 1.0 1.0))) (pow 1.0 4))
  (- (* 1.0 1.0))
  (+ (* (- 1.0) (pow 1.0 3)) (pow x 4))
  (+ (* x x) (* 1.0 1.0))
  (+ x 1.0)
  (- x 1.0)
  (+ x 1.0)
  (- x 1.0)
  (+ x 1.0)
  (- x 1.0)
  (+ x 1.0)
  (- x 1.0)
  (- (* 1.0 1.0))
  (- (+ (* 1.0 (+ (pow x 2) (pow x 4))) 1.0))
  (* 1.0 (+ (/ 1 (pow x 6)) (+ (/ 1 (pow x 2)) (/ 1 (pow x 4)))))
  (* 1.0 (+ (/ 1 (pow x 6)) (+ (/ 1 (pow x 2)) (/ 1 (pow x 4)))))
  (+ 2.0 (* 2.0 (+ (pow x 2) (pow x 4))))
  (- (- (/ (- 2.0) (pow x 6)) (/ 2.0 (pow x 2))) (/ 2.0 (pow x 4)))
  (- (- (/ (- 2.0) (pow x 6)) (/ 2.0 (pow x 2))) (/ 2.0 (pow x 4)))
  (- (pow x 2) 1.0)
  (- (pow x 2) 1.0)
  (- (pow x 2) 1.0)
1.118 * * * [progress]: adding candidates to table
1.182 * * [progress]: iteration 4 / 4
1.182 * * * [progress]: picking best candidate
1.188 * * * * [pick]: Picked  #<alt (λ (x) (/ (* (/ 1.0 (+ x 1.0)) (- 2.0)) (- x 1.0)))>
1.188 * * * [progress]: localizing error
1.195 * * * [progress]: generating rewritten candidates
1.195 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.203 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1)
1.206 * * * [progress]: generating series expansions
1.206 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.207 * [approximate]: Taking taylor expansion of (/ -2.0 (* (- x 1.0) (+ x 1.0))) in (x) around 0
1.207 * [taylor]: Taking taylor expansion of (/ -2.0 (* (- x 1.0) (+ x 1.0))) in x
1.207 * [taylor]: Taking taylor expansion of -2.0 in x
1.207 * [taylor]: Taking taylor expansion of (* (- x 1.0) (+ x 1.0)) in x
1.207 * [taylor]: Taking taylor expansion of (- x 1.0) in x
1.207 * [taylor]: Taking taylor expansion of x in x
1.207 * [taylor]: Taking taylor expansion of 1.0 in x
1.207 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.207 * [taylor]: Taking taylor expansion of x in x
1.207 * [taylor]: Taking taylor expansion of 1.0 in x
1.209 * [taylor]: Taking taylor expansion of (/ -2.0 (* (- x 1.0) (+ x 1.0))) in x
1.209 * [taylor]: Taking taylor expansion of -2.0 in x
1.209 * [taylor]: Taking taylor expansion of (* (- x 1.0) (+ x 1.0)) in x
1.209 * [taylor]: Taking taylor expansion of (- x 1.0) in x
1.209 * [taylor]: Taking taylor expansion of x in x
1.209 * [taylor]: Taking taylor expansion of 1.0 in x
1.209 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.209 * [taylor]: Taking taylor expansion of x in x
1.209 * [taylor]: Taking taylor expansion of 1.0 in x
1.224 * [approximate]: Taking taylor expansion of (/ -2.0 (* (- (/ 1 x) 1.0) (+ 1.0 (/ 1 x)))) in (x) around 0
1.224 * [taylor]: Taking taylor expansion of (/ -2.0 (* (- (/ 1 x) 1.0) (+ 1.0 (/ 1 x)))) in x
1.224 * [taylor]: Taking taylor expansion of -2.0 in x
1.224 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) 1.0) (+ 1.0 (/ 1 x))) in x
1.224 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
1.224 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.224 * [taylor]: Taking taylor expansion of x in x
1.225 * [taylor]: Taking taylor expansion of 1.0 in x
1.225 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.225 * [taylor]: Taking taylor expansion of 1.0 in x
1.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.225 * [taylor]: Taking taylor expansion of x in x
1.226 * [taylor]: Taking taylor expansion of (/ -2.0 (* (- (/ 1 x) 1.0) (+ 1.0 (/ 1 x)))) in x
1.226 * [taylor]: Taking taylor expansion of -2.0 in x
1.226 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) 1.0) (+ 1.0 (/ 1 x))) in x
1.226 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
1.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.226 * [taylor]: Taking taylor expansion of x in x
1.226 * [taylor]: Taking taylor expansion of 1.0 in x
1.226 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.226 * [taylor]: Taking taylor expansion of 1.0 in x
1.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.226 * [taylor]: Taking taylor expansion of x in x
1.249 * [approximate]: Taking taylor expansion of (/ 2.0 (* (- 1.0 (/ 1 x)) (+ 1.0 (/ 1 x)))) in (x) around 0
1.249 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- 1.0 (/ 1 x)) (+ 1.0 (/ 1 x)))) in x
1.249 * [taylor]: Taking taylor expansion of 2.0 in x
1.249 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (+ 1.0 (/ 1 x))) in x
1.249 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.249 * [taylor]: Taking taylor expansion of 1.0 in x
1.249 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.249 * [taylor]: Taking taylor expansion of x in x
1.250 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.250 * [taylor]: Taking taylor expansion of 1.0 in x
1.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.250 * [taylor]: Taking taylor expansion of x in x
1.254 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- 1.0 (/ 1 x)) (+ 1.0 (/ 1 x)))) in x
1.254 * [taylor]: Taking taylor expansion of 2.0 in x
1.254 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (+ 1.0 (/ 1 x))) in x
1.254 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.254 * [taylor]: Taking taylor expansion of 1.0 in x
1.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.254 * [taylor]: Taking taylor expansion of x in x
1.254 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.254 * [taylor]: Taking taylor expansion of 1.0 in x
1.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.255 * [taylor]: Taking taylor expansion of x in x
1.275 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1)
1.276 * [approximate]: Taking taylor expansion of (/ 1.0 (+ x 1.0)) in (x) around 0
1.276 * [taylor]: Taking taylor expansion of (/ 1.0 (+ x 1.0)) in x
1.276 * [taylor]: Taking taylor expansion of 1.0 in x
1.276 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.276 * [taylor]: Taking taylor expansion of x in x
1.276 * [taylor]: Taking taylor expansion of 1.0 in x
1.276 * [taylor]: Taking taylor expansion of (/ 1.0 (+ x 1.0)) in x
1.276 * [taylor]: Taking taylor expansion of 1.0 in x
1.276 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.276 * [taylor]: Taking taylor expansion of x in x
1.276 * [taylor]: Taking taylor expansion of 1.0 in x
1.283 * [approximate]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 x))) in (x) around 0
1.283 * [taylor]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 x))) in x
1.283 * [taylor]: Taking taylor expansion of 1.0 in x
1.283 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.283 * [taylor]: Taking taylor expansion of 1.0 in x
1.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.283 * [taylor]: Taking taylor expansion of x in x
1.284 * [taylor]: Taking taylor expansion of (/ 1.0 (+ 1.0 (/ 1 x))) in x
1.284 * [taylor]: Taking taylor expansion of 1.0 in x
1.284 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.284 * [taylor]: Taking taylor expansion of 1.0 in x
1.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.284 * [taylor]: Taking taylor expansion of x in x
1.291 * [approximate]: Taking taylor expansion of (/ 1.0 (- 1.0 (/ 1 x))) in (x) around 0
1.291 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1.0 (/ 1 x))) in x
1.291 * [taylor]: Taking taylor expansion of 1.0 in x
1.291 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.291 * [taylor]: Taking taylor expansion of 1.0 in x
1.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.291 * [taylor]: Taking taylor expansion of x in x
1.292 * [taylor]: Taking taylor expansion of (/ 1.0 (- 1.0 (/ 1 x))) in x
1.293 * [taylor]: Taking taylor expansion of 1.0 in x
1.293 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.293 * [taylor]: Taking taylor expansion of 1.0 in x
1.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.293 * [taylor]: Taking taylor expansion of x in x
1.301 * * * [progress]: simplifying candidates
1.302 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* (/ 1.0 (+ x 1.0)) (- 2.0)))
  (- (- x 1.0))
  (/ 1 (- x 1.0))
  (/ (- x 1.0) (* (/ 1.0 (+ x 1.0)) (- 2.0)))
  (/ (* (/ 1.0 (+ x 1.0)) 2.0) (- x 1.0))
  (/ (- x 1.0) (- 2.0))
  (/ (- x 1.0) 2.0)
  (/ (- x 1.0) (* (/ 1 (+ x 1.0)) (- 2.0)))
  (/ (- x 1.0) (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (- 2.0)))
  (/ (- x 1.0) (* (- x 1.0) (- 2.0)))
  (/ (- x 1.0) (/ 1.0 (+ x 1.0)))
  (/ (* (/ 1.0 (+ x 1.0)) (- 2.0)) (- (pow x 3) (pow 1.0 3)))
  (/ (* (/ 1.0 (+ x 1.0)) (- 2.0)) (- (* x x) (* 1.0 1.0)))
  (* (- x 1.0) (+ x 1.0))
  (* (- x 1.0) (- (+ x 1.0)))
  (* (- x 1.0) (/ (+ x 1.0) 1.0))
  (- 1.0)
  (- (+ x 1.0))
  (/ 1 (+ x 1.0))
  (/ (+ x 1.0) 1.0)
  (/ 1.0 (+ (pow x 3) (pow 1.0 3)))
  (/ 1.0 (- (* x x) (* 1.0 1.0)))
  (+ (* 2.0 (pow x 2)) (+ (* 2.0 (pow x 4)) 2.0))
  (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4))))))
  (- (+ (* 2.0 (/ 1 (pow x 6))) (+ (* 2.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 4))))))
  (- (+ (* 1.0 (pow x 2)) 1.0) (* 1.0 x))
  (- (+ (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))) (* 1.0 (/ 1 (pow x 2))))
  (- (+ (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (pow x 3)))) (* 1.0 (/ 1 (pow x 2))))
1.305 * * [simplify]: iteration  0 :  220  enodes  (cost  146 )
1.309 * * [simplify]: iteration  1 :  721  enodes  (cost  130 )
1.324 * * [simplify]: iteration  2 :  3982  enodes  (cost  126 )
1.427 * * [simplify]: iteration  3 :  5001  enodes  (cost  126 )
1.428 * [simplify]: Simplified to:
   (* (/ 1.0 (+ x 1.0)) 2.0)
  (- 1.0 x)
  (/ 1 (- x 1.0))
  (/ (- x 1.0) (* (/ 1.0 (+ x 1.0)) (- 2.0)))
  (/ (* (/ 1.0 (+ x 1.0)) 2.0) (- x 1.0))
  (/ (- x 1.0) (- 2.0))
  (/ (- x 1.0) 2.0)
  (* (/ (- x 1.0) (- 2.0)) (+ x 1.0))
  (/ (/ (- x 1.0) (- 2.0)) (+ (* 1.0 (- 1.0 x)) (pow x 2)))
  (/ 1 (- 2.0))
  (/ (- x 1.0) (/ 1.0 (+ x 1.0)))
  (/ (* (/ 1.0 (+ x 1.0)) (- 2.0)) (- (pow x 3) (pow 1.0 3)))
  (/ (* (/ 1.0 (+ x 1.0)) (- 2.0)) (- (* x x) (* 1.0 1.0)))
  (* (- x 1.0) (+ x 1.0))
  (* (- x 1.0) (- (+ x 1.0)))
  (/ (- x 1.0) (/ 1.0 (+ x 1.0)))
  (- 1.0)
  (- (+ x 1.0))
  (/ 1 (+ x 1.0))
  (/ (+ x 1.0) 1.0)
  (/ 1.0 (+ (pow x 3) (pow 1.0 3)))
  (/ 1.0 (- (* x x) (* 1.0 1.0)))
  (+ 2.0 (* 2.0 (+ (pow x 2) (pow x 4))))
  (- (- (/ (- 2.0) (pow x 6)) (/ 2.0 (pow x 2))) (/ 2.0 (pow x 4)))
  (- (- (/ (- 2.0) (pow x 6)) (/ 2.0 (pow x 2))) (/ 2.0 (pow x 4)))
  (* 1.0 (- (+ (pow x 2) 1) x))
  (* 1.0 (- (+ (/ 1 x) (/ 1 (pow x 3))) (/ 1 (pow x 2))))
  (* 1.0 (- (+ (/ 1 x) (/ 1 (pow x 3))) (/ 1 (pow x 2))))
1.428 * * * [progress]: adding candidates to table
1.483 * [progress]: [Phase 3 of 3] Extracting.
1.483 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (/ (/ (- x 1.0) (- 2.0)) (+ (* 1.0 (- 1.0 x)) (pow x 2)))))> #<alt (λ (x) (* (/ 1.0 (- (* x x) (* 1.0 1.0))) (- 2.0)))> #<alt (λ (x) (/ (* (/ 1.0 (+ x 1.0)) (- 2.0)) (- x 1.0)))> #<alt (λ (x) (* (* (/ 1.0 (+ x 1.0)) (- 2.0)) (/ 1 (- x 1.0))))>)
1.484 * * * [regime-changes]: Trying 1 branch expressions: (x)
1.484 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (/ 1.0 (+ (pow x 3) (pow 1.0 3))) (/ (/ (- x 1.0) (- 2.0)) (+ (* 1.0 (- 1.0 x)) (pow x 2)))))> #<alt (λ (x) (* (/ 1.0 (- (* x x) (* 1.0 1.0))) (- 2.0)))> #<alt (λ (x) (/ (* (/ 1.0 (+ x 1.0)) (- 2.0)) (- x 1.0)))> #<alt (λ (x) (* (* (/ 1.0 (+ x 1.0)) (- 2.0)) (/ 1 (- x 1.0))))>)
1.500 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
1.500 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* (/ 1.0 (+ x 1.0)) (- 2.0)) (- x 1.0))
1.501 * * [simplify]: iteration  0 :  13  enodes  (cost  6 )
1.501 * * [simplify]: iteration  1 :  19  enodes  (cost  6 )
1.501 * * [simplify]: iteration  2 :  22  enodes  (cost  6 )
1.502 * * [simplify]: iteration  3 :  22  enodes  (cost  6 )
1.502 * [simplify]: Simplified to:
   (/ (* (/ 1.0 (+ x 1.0)) (- 2.0)) (- x 1.0))
2.044 * [regime-testing]: Baseline error score: 0.07363420427553444
2.044 * [regime-testing]: Oracle error score: 0.011001375171896487
2.045 * [regime-testing]: End program error score: 0.07363420427553444