5.571 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.015 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.017 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* 3.0 (- 2.0 (* x 3.0))) x)
0.020 * * [simplify]: iteration  0 :  14  enodes  (cost  4 )
0.021 * * [simplify]: iteration  1 :  32  enodes  (cost  4 )
0.023 * * [simplify]: iteration  2 :  81  enodes  (cost  4 )
0.025 * * [simplify]: iteration  3 :  166  enodes  (cost  4 )
0.029 * * [simplify]: iteration  4 :  225  enodes  (cost  4 )
0.032 * * [simplify]: iteration  5 :  227  enodes  (cost  4 )
0.035 * * [simplify]: iteration  6 :  227  enodes  (cost  4 )
0.036 * [simplify]: Simplified to:
   (* (* 3.0 (- 2.0 (* x 3.0))) x)
0.036 * * [progress]: iteration 1 / 4
0.036 * * * [progress]: picking best candidate
0.037 * * * * [pick]: Picked  #<alt (λ (x) (* (* 3.0 (- 2.0 (* x 3.0))) x))>
0.037 * * * [progress]: localizing error
0.043 * * * [progress]: generating rewritten candidates
0.043 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.048 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.051 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
0.054 * * * [progress]: generating series expansions
0.054 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.054 * [approximate]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in (x) around 0
0.054 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in x
0.054 * [taylor]: Taking taylor expansion of 3.0 in x
0.054 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x
0.054 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.054 * [taylor]: Taking taylor expansion of 2.0 in x
0.054 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.054 * [taylor]: Taking taylor expansion of 3.0 in x
0.054 * [taylor]: Taking taylor expansion of x in x
0.054 * [taylor]: Taking taylor expansion of x in x
0.054 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in x
0.054 * [taylor]: Taking taylor expansion of 3.0 in x
0.054 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x
0.054 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.054 * [taylor]: Taking taylor expansion of 2.0 in x
0.054 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.054 * [taylor]: Taking taylor expansion of 3.0 in x
0.054 * [taylor]: Taking taylor expansion of x in x
0.054 * [taylor]: Taking taylor expansion of x in x
0.091 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in (x) around 0
0.091 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in x
0.091 * [taylor]: Taking taylor expansion of 3.0 in x
0.091 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
0.091 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.091 * [taylor]: Taking taylor expansion of 2.0 in x
0.091 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.091 * [taylor]: Taking taylor expansion of 3.0 in x
0.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.093 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in x
0.093 * [taylor]: Taking taylor expansion of 3.0 in x
0.093 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
0.093 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.093 * [taylor]: Taking taylor expansion of 2.0 in x
0.093 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.093 * [taylor]: Taking taylor expansion of 3.0 in x
0.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.093 * [taylor]: Taking taylor expansion of x in x
0.093 * [taylor]: Taking taylor expansion of x in x
0.119 * [approximate]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in (x) around 0
0.119 * [taylor]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
0.119 * [taylor]: Taking taylor expansion of -3.0 in x
0.119 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
0.119 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.119 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.119 * [taylor]: Taking taylor expansion of 3.0 in x
0.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.119 * [taylor]: Taking taylor expansion of x in x
0.120 * [taylor]: Taking taylor expansion of 2.0 in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.120 * [taylor]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
0.121 * [taylor]: Taking taylor expansion of -3.0 in x
0.121 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
0.121 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.121 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.121 * [taylor]: Taking taylor expansion of 3.0 in x
0.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.121 * [taylor]: Taking taylor expansion of 2.0 in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.145 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.145 * [approximate]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 x))) in (x) around 0
0.145 * [taylor]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 x))) in x
0.145 * [taylor]: Taking taylor expansion of 3.0 in x
0.145 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.145 * [taylor]: Taking taylor expansion of 2.0 in x
0.145 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.145 * [taylor]: Taking taylor expansion of 3.0 in x
0.145 * [taylor]: Taking taylor expansion of x in x
0.145 * [taylor]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 x))) in x
0.145 * [taylor]: Taking taylor expansion of 3.0 in x
0.145 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.145 * [taylor]: Taking taylor expansion of 2.0 in x
0.145 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.145 * [taylor]: Taking taylor expansion of 3.0 in x
0.145 * [taylor]: Taking taylor expansion of x in x
0.169 * [approximate]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 (/ 1 x)))) in (x) around 0
0.169 * [taylor]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 (/ 1 x)))) in x
0.169 * [taylor]: Taking taylor expansion of 3.0 in x
0.169 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.169 * [taylor]: Taking taylor expansion of 2.0 in x
0.169 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.169 * [taylor]: Taking taylor expansion of 3.0 in x
0.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.169 * [taylor]: Taking taylor expansion of x in x
0.170 * [taylor]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 (/ 1 x)))) in x
0.170 * [taylor]: Taking taylor expansion of 3.0 in x
0.170 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.170 * [taylor]: Taking taylor expansion of 2.0 in x
0.170 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.170 * [taylor]: Taking taylor expansion of 3.0 in x
0.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.170 * [taylor]: Taking taylor expansion of x in x
0.191 * [approximate]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 x)) 2.0)) in (x) around 0
0.191 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 x)) 2.0)) in x
0.191 * [taylor]: Taking taylor expansion of 3.0 in x
0.191 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.191 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.191 * [taylor]: Taking taylor expansion of 3.0 in x
0.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.191 * [taylor]: Taking taylor expansion of x in x
0.191 * [taylor]: Taking taylor expansion of 2.0 in x
0.191 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 x)) 2.0)) in x
0.191 * [taylor]: Taking taylor expansion of 3.0 in x
0.191 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.191 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.191 * [taylor]: Taking taylor expansion of 3.0 in x
0.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.191 * [taylor]: Taking taylor expansion of x in x
0.191 * [taylor]: Taking taylor expansion of 2.0 in x
0.208 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
0.208 * [approximate]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in (x) around 0
0.208 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.208 * [taylor]: Taking taylor expansion of 2.0 in x
0.208 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.208 * [taylor]: Taking taylor expansion of 3.0 in x
0.208 * [taylor]: Taking taylor expansion of x in x
0.208 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.208 * [taylor]: Taking taylor expansion of 2.0 in x
0.209 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.209 * [taylor]: Taking taylor expansion of 3.0 in x
0.209 * [taylor]: Taking taylor expansion of x in x
0.219 * [approximate]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in (x) around 0
0.219 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.219 * [taylor]: Taking taylor expansion of 2.0 in x
0.219 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.219 * [taylor]: Taking taylor expansion of 3.0 in x
0.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.219 * [taylor]: Taking taylor expansion of x in x
0.220 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.220 * [taylor]: Taking taylor expansion of 2.0 in x
0.220 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.220 * [taylor]: Taking taylor expansion of 3.0 in x
0.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.220 * [taylor]: Taking taylor expansion of x in x
0.234 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in (x) around 0
0.234 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.234 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.234 * [taylor]: Taking taylor expansion of 3.0 in x
0.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.234 * [taylor]: Taking taylor expansion of x in x
0.234 * [taylor]: Taking taylor expansion of 2.0 in x
0.234 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.234 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.234 * [taylor]: Taking taylor expansion of 3.0 in x
0.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.234 * [taylor]: Taking taylor expansion of x in x
0.234 * [taylor]: Taking taylor expansion of 2.0 in x
0.251 * * * [progress]: simplifying candidates
0.252 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- 2.0 (* x 3.0)) x)
  (* 3.0 x)
  (* (* 3.0 (- (pow 2.0 3) (pow (* x 3.0) 3))) x)
  (* (* 3.0 (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0)))) x)
  (* 3.0 2.0)
  (* 3.0 (- (* x 3.0)))
  (* 3.0 2.0)
  (* 3.0 (- (* x 3.0)))
  (* 2.0 3.0)
  (* (- (* x 3.0)) 3.0)
  (* 2.0 3.0)
  (* (- (* x 3.0)) 3.0)
  (* 3.0 (- (pow 2.0 3) (pow (* x 3.0) 3)))
  (* 3.0 (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0))))
  (- (pow 2.0 3) (pow (* x 3.0) 3))
  (+ (* 2.0 2.0) (+ (* (* x 3.0) (* x 3.0)) (* 2.0 (* x 3.0))))
  (- (* x 3.0))
  (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0)))
  (+ 2.0 (* x 3.0))
  (- (* x 3.0))
  (- (* 6.0 x) (* 9.0 (pow x 2)))
  (- (* 6.0 x) (* 9.0 (pow x 2)))
  (- (* 6.0 x) (* 9.0 (pow x 2)))
  (- 6.0 (* 9.0 x))
  (- 6.0 (* 9.0 x))
  (- 6.0 (* 9.0 x))
  (- 2.0 (* 3.0 x))
  (- 2.0 (* 3.0 x))
  (- 2.0 (* 3.0 x))
0.255 * * [simplify]: iteration  0 :  98  enodes  (cost  89 )
0.258 * * [simplify]: iteration  1 :  262  enodes  (cost  84 )
0.265 * * [simplify]: iteration  2 :  984  enodes  (cost  80 )
0.287 * * [simplify]: iteration  3 :  3638  enodes  (cost  80 )
0.386 * * [simplify]: iteration  4 :  5001  enodes  (cost  80 )
0.387 * [simplify]: Simplified to:
   (* (- 2.0 (* x 3.0)) x)
  (* x 3.0)
  (* (* 3.0 (- (pow 2.0 3) (pow (* x 3.0) 3))) x)
  (* (* x (* (fma 3.0 x 2.0) (- 2.0 (* 3.0 x)))) 3.0)
  (* 3.0 2.0)
  (* 3.0 (- (* x 3.0)))
  (* 3.0 2.0)
  (* 3.0 (- (* x 3.0)))
  (* 3.0 2.0)
  (* 3.0 (- (* x 3.0)))
  (* 3.0 2.0)
  (* 3.0 (- (* x 3.0)))
  (* 3.0 (- (pow 2.0 3) (pow (* x 3.0) 3)))
  (* (* 3.0 (fma 3.0 x 2.0)) (- 2.0 (* 3.0 x)))
  (- (pow 2.0 3) (pow (* x 3.0) 3))
  (fma 3.0 (* x (fma 3.0 x 2.0)) (* 2.0 2.0))
  (- (* x 3.0))
  (* (fma 3.0 x 2.0) (- 2.0 (* 3.0 x)))
  (fma 3.0 x 2.0)
  (- (* x 3.0))
  (* x (- 6.0 (* 9.0 x)))
  (* x (- 6.0 (* 9.0 x)))
  (* x (- 6.0 (* 9.0 x)))
  (- 6.0 (* 9.0 x))
  (- 6.0 (* 9.0 x))
  (- 6.0 (* 9.0 x))
  (- 2.0 (* 3.0 x))
  (- 2.0 (* 3.0 x))
  (- 2.0 (* 3.0 x))
0.387 * * * [progress]: adding candidates to table
0.422 * * [progress]: iteration 2 / 4
0.423 * * * [progress]: picking best candidate
0.432 * * * * [pick]: Picked  #<alt (λ (x) (* x (- 6.0 (* 9.0 x))))>
0.432 * * * [progress]: localizing error
0.441 * * * [progress]: generating rewritten candidates
0.441 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.445 * * * [progress]: generating series expansions
0.445 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.445 * [approximate]: Taking taylor expansion of (* x (- 6.0 (* 9.0 x))) in (x) around 0
0.445 * [taylor]: Taking taylor expansion of (* x (- 6.0 (* 9.0 x))) in x
0.445 * [taylor]: Taking taylor expansion of x in x
0.445 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 x)) in x
0.445 * [taylor]: Taking taylor expansion of 6.0 in x
0.445 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
0.445 * [taylor]: Taking taylor expansion of 9.0 in x
0.445 * [taylor]: Taking taylor expansion of x in x
0.445 * [taylor]: Taking taylor expansion of (* x (- 6.0 (* 9.0 x))) in x
0.445 * [taylor]: Taking taylor expansion of x in x
0.445 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 x)) in x
0.445 * [taylor]: Taking taylor expansion of 6.0 in x
0.445 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
0.445 * [taylor]: Taking taylor expansion of 9.0 in x
0.445 * [taylor]: Taking taylor expansion of x in x
0.468 * [approximate]: Taking taylor expansion of (/ (- 6.0 (* 9.0 (/ 1 x))) x) in (x) around 0
0.468 * [taylor]: Taking taylor expansion of (/ (- 6.0 (* 9.0 (/ 1 x))) x) in x
0.468 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 (/ 1 x))) in x
0.468 * [taylor]: Taking taylor expansion of 6.0 in x
0.468 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
0.468 * [taylor]: Taking taylor expansion of 9.0 in x
0.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.470 * [taylor]: Taking taylor expansion of (/ (- 6.0 (* 9.0 (/ 1 x))) x) in x
0.470 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 (/ 1 x))) in x
0.470 * [taylor]: Taking taylor expansion of 6.0 in x
0.470 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
0.470 * [taylor]: Taking taylor expansion of 9.0 in x
0.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.470 * [taylor]: Taking taylor expansion of x in x
0.489 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 9.0 (/ 1 x)) 6.0) x)) in (x) around 0
0.489 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 9.0 (/ 1 x)) 6.0) x)) in x
0.489 * [taylor]: Taking taylor expansion of -1 in x
0.489 * [taylor]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 6.0) x) in x
0.489 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 6.0) in x
0.489 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
0.489 * [taylor]: Taking taylor expansion of 9.0 in x
0.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.489 * [taylor]: Taking taylor expansion of x in x
0.489 * [taylor]: Taking taylor expansion of 6.0 in x
0.489 * [taylor]: Taking taylor expansion of x in x
0.490 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 9.0 (/ 1 x)) 6.0) x)) in x
0.490 * [taylor]: Taking taylor expansion of -1 in x
0.490 * [taylor]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 6.0) x) in x
0.490 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 6.0) in x
0.490 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
0.490 * [taylor]: Taking taylor expansion of 9.0 in x
0.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.490 * [taylor]: Taking taylor expansion of x in x
0.491 * [taylor]: Taking taylor expansion of 6.0 in x
0.491 * [taylor]: Taking taylor expansion of x in x
0.514 * * * [progress]: simplifying candidates
0.515 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x 6.0)
  (* x (- (* 9.0 x)))
  (* x 6.0)
  (* x (- (* 9.0 x)))
  (* 6.0 x)
  (* (- (* 9.0 x)) x)
  (* 6.0 x)
  (* (- (* 9.0 x)) x)
  (* x (- (pow 6.0 3) (pow (* 9.0 x) 3)))
  (* x (- (* 6.0 6.0) (* (* 9.0 x) (* 9.0 x))))
  (- (* 6.0 x) (* 9.0 (pow x 2)))
  (- (* 6.0 x) (* 9.0 (pow x 2)))
  (- (* 6.0 x) (* 9.0 (pow x 2)))
0.518 * * [simplify]: iteration  0 :  61  enodes  (cost  39 )
0.520 * * [simplify]: iteration  1 :  162  enodes  (cost  39 )
0.525 * * [simplify]: iteration  2 :  621  enodes  (cost  35 )
0.539 * * [simplify]: iteration  3 :  2404  enodes  (cost  35 )
0.611 * * [simplify]: iteration  4 :  5001  enodes  (cost  35 )
0.612 * [simplify]: Simplified to:
   (* x 6.0)
  (* x (- (* 9.0 x)))
  (* x 6.0)
  (* x (- (* 9.0 x)))
  (* x 6.0)
  (* x (- (* 9.0 x)))
  (* x 6.0)
  (* x (- (* 9.0 x)))
  (* x (- (pow 6.0 3) (pow (* 9.0 x) 3)))
  (* (* x (fma x 9.0 6.0)) (- 6.0 (* 9.0 x)))
  (* x (- 6.0 (* 9.0 x)))
  (* x (- 6.0 (* 9.0 x)))
  (* x (- 6.0 (* 9.0 x)))
0.612 * * * [progress]: adding candidates to table
0.629 * * [progress]: iteration 3 / 4
0.629 * * * [progress]: picking best candidate
0.641 * * * * [pick]: Picked  #<alt (λ (x) (* 3.0 (* (- 2.0 (* x 3.0)) x)))>
0.641 * * * [progress]: localizing error
0.647 * * * [progress]: generating rewritten candidates
0.647 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.651 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.654 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
0.657 * * * [progress]: generating series expansions
0.657 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.657 * [approximate]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in (x) around 0
0.657 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in x
0.657 * [taylor]: Taking taylor expansion of 3.0 in x
0.657 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x
0.657 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.657 * [taylor]: Taking taylor expansion of 2.0 in x
0.657 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.657 * [taylor]: Taking taylor expansion of 3.0 in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.657 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in x
0.657 * [taylor]: Taking taylor expansion of 3.0 in x
0.657 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x
0.657 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.657 * [taylor]: Taking taylor expansion of 2.0 in x
0.657 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.657 * [taylor]: Taking taylor expansion of 3.0 in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.688 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in (x) around 0
0.688 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in x
0.688 * [taylor]: Taking taylor expansion of 3.0 in x
0.688 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
0.688 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.688 * [taylor]: Taking taylor expansion of 2.0 in x
0.688 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.688 * [taylor]: Taking taylor expansion of 3.0 in x
0.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.689 * [taylor]: Taking taylor expansion of x in x
0.689 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in x
0.691 * [taylor]: Taking taylor expansion of 3.0 in x
0.691 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
0.691 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.691 * [taylor]: Taking taylor expansion of 2.0 in x
0.691 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.691 * [taylor]: Taking taylor expansion of 3.0 in x
0.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.691 * [taylor]: Taking taylor expansion of x in x
0.691 * [taylor]: Taking taylor expansion of x in x
0.722 * [approximate]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in (x) around 0
0.722 * [taylor]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
0.722 * [taylor]: Taking taylor expansion of -3.0 in x
0.722 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
0.722 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.722 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.722 * [taylor]: Taking taylor expansion of 3.0 in x
0.722 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.722 * [taylor]: Taking taylor expansion of x in x
0.723 * [taylor]: Taking taylor expansion of 2.0 in x
0.723 * [taylor]: Taking taylor expansion of x in x
0.723 * [taylor]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
0.723 * [taylor]: Taking taylor expansion of -3.0 in x
0.723 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
0.724 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.724 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.724 * [taylor]: Taking taylor expansion of 3.0 in x
0.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.724 * [taylor]: Taking taylor expansion of x in x
0.724 * [taylor]: Taking taylor expansion of 2.0 in x
0.724 * [taylor]: Taking taylor expansion of x in x
0.748 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.748 * [approximate]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in (x) around 0
0.748 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x
0.748 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.748 * [taylor]: Taking taylor expansion of 2.0 in x
0.748 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.748 * [taylor]: Taking taylor expansion of 3.0 in x
0.748 * [taylor]: Taking taylor expansion of x in x
0.748 * [taylor]: Taking taylor expansion of x in x
0.748 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x
0.748 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.748 * [taylor]: Taking taylor expansion of 2.0 in x
0.748 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.748 * [taylor]: Taking taylor expansion of 3.0 in x
0.748 * [taylor]: Taking taylor expansion of x in x
0.748 * [taylor]: Taking taylor expansion of x in x
0.770 * [approximate]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in (x) around 0
0.770 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
0.770 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.770 * [taylor]: Taking taylor expansion of 2.0 in x
0.770 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.770 * [taylor]: Taking taylor expansion of 3.0 in x
0.770 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.770 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.772 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
0.772 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.772 * [taylor]: Taking taylor expansion of 2.0 in x
0.772 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.772 * [taylor]: Taking taylor expansion of 3.0 in x
0.772 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.772 * [taylor]: Taking taylor expansion of x in x
0.773 * [taylor]: Taking taylor expansion of x in x
0.798 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in (x) around 0
0.798 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
0.798 * [taylor]: Taking taylor expansion of -1 in x
0.798 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
0.798 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.798 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.798 * [taylor]: Taking taylor expansion of 3.0 in x
0.798 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.798 * [taylor]: Taking taylor expansion of x in x
0.798 * [taylor]: Taking taylor expansion of 2.0 in x
0.798 * [taylor]: Taking taylor expansion of x in x
0.799 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
0.799 * [taylor]: Taking taylor expansion of -1 in x
0.799 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
0.799 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.799 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.799 * [taylor]: Taking taylor expansion of 3.0 in x
0.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.799 * [taylor]: Taking taylor expansion of x in x
0.799 * [taylor]: Taking taylor expansion of 2.0 in x
0.800 * [taylor]: Taking taylor expansion of x in x
0.823 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
0.823 * [approximate]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in (x) around 0
0.823 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.823 * [taylor]: Taking taylor expansion of 2.0 in x
0.823 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.823 * [taylor]: Taking taylor expansion of 3.0 in x
0.823 * [taylor]: Taking taylor expansion of x in x
0.823 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.823 * [taylor]: Taking taylor expansion of 2.0 in x
0.823 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.823 * [taylor]: Taking taylor expansion of 3.0 in x
0.823 * [taylor]: Taking taylor expansion of x in x
0.834 * [approximate]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in (x) around 0
0.834 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.834 * [taylor]: Taking taylor expansion of 2.0 in x
0.834 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.834 * [taylor]: Taking taylor expansion of 3.0 in x
0.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.834 * [taylor]: Taking taylor expansion of x in x
0.834 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.834 * [taylor]: Taking taylor expansion of 2.0 in x
0.834 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.834 * [taylor]: Taking taylor expansion of 3.0 in x
0.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.834 * [taylor]: Taking taylor expansion of x in x
0.848 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in (x) around 0
0.848 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.848 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.848 * [taylor]: Taking taylor expansion of 3.0 in x
0.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.848 * [taylor]: Taking taylor expansion of 2.0 in x
0.848 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.848 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.848 * [taylor]: Taking taylor expansion of 3.0 in x
0.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.849 * [taylor]: Taking taylor expansion of 2.0 in x
0.860 * * * [progress]: simplifying candidates
0.860 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 3.0 (- 2.0 (* x 3.0)))
  (* 3.0 x)
  (* 3.0 (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x))
  (* 3.0 (* (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0))) x))
  (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x)
  (* (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0))) x)
  (- (pow 2.0 3) (pow (* x 3.0) 3))
  (+ (* 2.0 2.0) (+ (* (* x 3.0) (* x 3.0)) (* 2.0 (* x 3.0))))
  (- (* x 3.0))
  (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0)))
  (+ 2.0 (* x 3.0))
  (- (* x 3.0))
  (- (* 6.0 x) (* 9.0 (pow x 2)))
  (- (* 6.0 x) (* 9.0 (pow x 2)))
  (- (* 6.0 x) (* 9.0 (pow x 2)))
  (- (* 2.0 x) (* 3.0 (pow x 2)))
  (- (* 2.0 x) (* 3.0 (pow x 2)))
  (- (* 2.0 x) (* 3.0 (pow x 2)))
  (- 2.0 (* 3.0 x))
  (- 2.0 (* 3.0 x))
  (- 2.0 (* 3.0 x))
0.864 * * [simplify]: iteration  0 :  93  enodes  (cost  79 )
0.866 * * [simplify]: iteration  1 :  271  enodes  (cost  74 )
0.873 * * [simplify]: iteration  2 :  1071  enodes  (cost  67 )
0.897 * * [simplify]: iteration  3 :  4090  enodes  (cost  67 )
1.011 * * [simplify]: iteration  4 :  5001  enodes  (cost  67 )
1.012 * [simplify]: Simplified to:
   (* 3.0 (- 2.0 (* x 3.0)))
  (* x 3.0)
  (* 3.0 (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x))
  (* (* x 3.0) (* (fma 3.0 x 2.0) (- 2.0 (* 3.0 x))))
  (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x)
  (* (* x (fma 3.0 x 2.0)) (- 2.0 (* 3.0 x)))
  (- (pow 2.0 3) (pow (* x 3.0) 3))
  (fma 3.0 (* x (fma 3.0 x 2.0)) (* 2.0 2.0))
  (- (* x 3.0))
  (* (fma 3.0 x 2.0) (- 2.0 (* 3.0 x)))
  (fma 3.0 x 2.0)
  (- (* x 3.0))
  (* x (- 6.0 (* x 9.0)))
  (* x (- 6.0 (* x 9.0)))
  (* x (- 6.0 (* x 9.0)))
  (* x (- 2.0 (* 3.0 x)))
  (* x (- 2.0 (* 3.0 x)))
  (* x (- 2.0 (* 3.0 x)))
  (- 2.0 (* 3.0 x))
  (- 2.0 (* 3.0 x))
  (- 2.0 (* 3.0 x))
1.012 * * * [progress]: adding candidates to table
1.052 * * [progress]: iteration 4 / 4
1.052 * * * [progress]: picking best candidate
1.063 * * * * [pick]: Picked  #<alt (λ (x) (* (* x 3.0) (- 2.0 (* x 3.0))))>
1.063 * * * [progress]: localizing error
1.067 * * * [progress]: generating rewritten candidates
1.067 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
1.072 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.074 * * * [progress]: generating series expansions
1.075 * * * * [progress]: [ 1 / 2 ] generating series at (2)
1.075 * [approximate]: Taking taylor expansion of (* 3.0 (* x (- 2.0 (* 3.0 x)))) in (x) around 0
1.075 * [taylor]: Taking taylor expansion of (* 3.0 (* x (- 2.0 (* 3.0 x)))) in x
1.075 * [taylor]: Taking taylor expansion of 3.0 in x
1.075 * [taylor]: Taking taylor expansion of (* x (- 2.0 (* 3.0 x))) in x
1.075 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
1.075 * [taylor]: Taking taylor expansion of 2.0 in x
1.075 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
1.075 * [taylor]: Taking taylor expansion of 3.0 in x
1.075 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of (* 3.0 (* x (- 2.0 (* 3.0 x)))) in x
1.075 * [taylor]: Taking taylor expansion of 3.0 in x
1.075 * [taylor]: Taking taylor expansion of (* x (- 2.0 (* 3.0 x))) in x
1.075 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
1.075 * [taylor]: Taking taylor expansion of 2.0 in x
1.075 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
1.075 * [taylor]: Taking taylor expansion of 3.0 in x
1.075 * [taylor]: Taking taylor expansion of x in x
1.110 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in (x) around 0
1.110 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in x
1.110 * [taylor]: Taking taylor expansion of 3.0 in x
1.110 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
1.110 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
1.110 * [taylor]: Taking taylor expansion of 2.0 in x
1.110 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.110 * [taylor]: Taking taylor expansion of 3.0 in x
1.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.110 * [taylor]: Taking taylor expansion of x in x
1.111 * [taylor]: Taking taylor expansion of x in x
1.113 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in x
1.113 * [taylor]: Taking taylor expansion of 3.0 in x
1.113 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
1.113 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
1.113 * [taylor]: Taking taylor expansion of 2.0 in x
1.113 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.113 * [taylor]: Taking taylor expansion of 3.0 in x
1.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.113 * [taylor]: Taking taylor expansion of x in x
1.113 * [taylor]: Taking taylor expansion of x in x
1.139 * [approximate]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in (x) around 0
1.139 * [taylor]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
1.139 * [taylor]: Taking taylor expansion of -3.0 in x
1.139 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
1.139 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
1.139 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.139 * [taylor]: Taking taylor expansion of 3.0 in x
1.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.139 * [taylor]: Taking taylor expansion of x in x
1.139 * [taylor]: Taking taylor expansion of 2.0 in x
1.139 * [taylor]: Taking taylor expansion of x in x
1.140 * [taylor]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
1.140 * [taylor]: Taking taylor expansion of -3.0 in x
1.140 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
1.140 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
1.140 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.140 * [taylor]: Taking taylor expansion of 3.0 in x
1.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.141 * [taylor]: Taking taylor expansion of x in x
1.141 * [taylor]: Taking taylor expansion of 2.0 in x
1.141 * [taylor]: Taking taylor expansion of x in x
1.171 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.171 * [approximate]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in (x) around 0
1.171 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
1.171 * [taylor]: Taking taylor expansion of 2.0 in x
1.171 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
1.171 * [taylor]: Taking taylor expansion of 3.0 in x
1.171 * [taylor]: Taking taylor expansion of x in x
1.171 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
1.171 * [taylor]: Taking taylor expansion of 2.0 in x
1.171 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
1.171 * [taylor]: Taking taylor expansion of 3.0 in x
1.171 * [taylor]: Taking taylor expansion of x in x
1.182 * [approximate]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in (x) around 0
1.182 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
1.182 * [taylor]: Taking taylor expansion of 2.0 in x
1.182 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.182 * [taylor]: Taking taylor expansion of 3.0 in x
1.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.182 * [taylor]: Taking taylor expansion of x in x
1.182 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
1.182 * [taylor]: Taking taylor expansion of 2.0 in x
1.182 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.182 * [taylor]: Taking taylor expansion of 3.0 in x
1.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.183 * [taylor]: Taking taylor expansion of x in x
1.196 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in (x) around 0
1.196 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
1.196 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.196 * [taylor]: Taking taylor expansion of 3.0 in x
1.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.196 * [taylor]: Taking taylor expansion of x in x
1.197 * [taylor]: Taking taylor expansion of 2.0 in x
1.197 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
1.197 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
1.197 * [taylor]: Taking taylor expansion of 3.0 in x
1.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.197 * [taylor]: Taking taylor expansion of x in x
1.197 * [taylor]: Taking taylor expansion of 2.0 in x
1.208 * * * [progress]: simplifying candidates
1.209 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* x 3.0) 2.0)
  (* (* x 3.0) (- (* x 3.0)))
  (* (* x 3.0) 2.0)
  (* (* x 3.0) (- (* x 3.0)))
  (* 2.0 (* x 3.0))
  (* (- (* x 3.0)) (* x 3.0))
  (* 2.0 (* x 3.0))
  (* (- (* x 3.0)) (* x 3.0))
  (* 3.0 (- 2.0 (* x 3.0)))
  (* x (- 2.0 (* x 3.0)))
  (* (* x 3.0) (- (pow 2.0 3) (pow (* x 3.0) 3)))
  (* (* x 3.0) (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0))))
  (- (pow 2.0 3) (pow (* x 3.0) 3))
  (+ (* 2.0 2.0) (+ (* (* x 3.0) (* x 3.0)) (* 2.0 (* x 3.0))))
  (- (* x 3.0))
  (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0)))
  (+ 2.0 (* x 3.0))
  (- (* x 3.0))
  (- (* 6.0 x) (* 9.0 (pow x 2)))
  (- (* 6.0 x) (* 9.0 (pow x 2)))
  (- (* 6.0 x) (* 9.0 (pow x 2)))
  (- 2.0 (* 3.0 x))
  (- 2.0 (* 3.0 x))
  (- 2.0 (* 3.0 x))
1.212 * * [simplify]: iteration  0 :  92  enodes  (cost  82 )
1.215 * * [simplify]: iteration  1 :  288  enodes  (cost  78 )
1.223 * * [simplify]: iteration  2 :  1107  enodes  (cost  74 )
1.247 * * [simplify]: iteration  3 :  4017  enodes  (cost  74 )
1.359 * * [simplify]: iteration  4 :  5001  enodes  (cost  74 )
1.360 * [simplify]: Simplified to:
   (* (* x 3.0) 2.0)
  (* (- (* x 3.0)) (* x 3.0))
  (* (* x 3.0) 2.0)
  (* (- (* x 3.0)) (* x 3.0))
  (* (* x 3.0) 2.0)
  (* (- (* x 3.0)) (* x 3.0))
  (* (* x 3.0) 2.0)
  (* (- (* x 3.0)) (* x 3.0))
  (* 3.0 (- 2.0 (* x 3.0)))
  (* x (- 2.0 (* x 3.0)))
  (* (* x 3.0) (- (pow 2.0 3) (pow (* x 3.0) 3)))
  (* (* (* x 3.0) (fma 3.0 x 2.0)) (- 2.0 (* 3.0 x)))
  (- (pow 2.0 3) (pow (* x 3.0) 3))
  (fma 3.0 (* x (fma 3.0 x 2.0)) (* 2.0 2.0))
  (- (* x 3.0))
  (* (fma 3.0 x 2.0) (- 2.0 (* 3.0 x)))
  (fma 3.0 x 2.0)
  (- (* x 3.0))
  (* x (- 6.0 (* x 9.0)))
  (* x (- 6.0 (* x 9.0)))
  (* x (- 6.0 (* x 9.0)))
  (- 2.0 (* 3.0 x))
  (- 2.0 (* 3.0 x))
  (- 2.0 (* 3.0 x))
1.360 * * * [progress]: adding candidates to table
1.391 * [progress]: [Phase 3 of 3] Extracting.
1.391 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (* x 3.0) (- 2.0 (* x 3.0))))> #<alt (λ (x) (* 3.0 (* (- 2.0 (* x 3.0)) x)))> #<alt (λ (x) (/ (* x (- (pow 6.0 3) (pow (* 9.0 x) 3))) (+ (* 6.0 6.0) (+ (* (* 9.0 x) (* 9.0 x)) (* 6.0 (* 9.0 x))))))> #<alt (λ (x) (/ (* (* x (* (fma 3.0 x 2.0) (- 2.0 (* 3.0 x)))) 3.0) (+ 2.0 (* x 3.0))))> #<alt (λ (x) (/ (* (* x (fma x 9.0 6.0)) (- 6.0 (* 9.0 x))) (+ 6.0 (* 9.0 x))))> #<alt (λ (x) (* x (- 6.0 (* 9.0 x))))> #<alt (λ (x) (/ (* (* 3.0 (- (pow 2.0 3) (pow (* x 3.0) 3))) x) (+ (* 2.0 2.0) (+ (* (* x 3.0) (* x 3.0)) (* 2.0 (* x 3.0))))))>)
1.392 * * * [regime-changes]: Trying 1 branch expressions: (x)
1.392 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (* x 3.0) (- 2.0 (* x 3.0))))> #<alt (λ (x) (* 3.0 (* (- 2.0 (* x 3.0)) x)))> #<alt (λ (x) (/ (* x (- (pow 6.0 3) (pow (* 9.0 x) 3))) (+ (* 6.0 6.0) (+ (* (* 9.0 x) (* 9.0 x)) (* 6.0 (* 9.0 x))))))> #<alt (λ (x) (/ (* (* x (* (fma 3.0 x 2.0) (- 2.0 (* 3.0 x)))) 3.0) (+ 2.0 (* x 3.0))))> #<alt (λ (x) (/ (* (* x (fma x 9.0 6.0)) (- 6.0 (* 9.0 x))) (+ 6.0 (* 9.0 x))))> #<alt (λ (x) (* x (- 6.0 (* 9.0 x))))> #<alt (λ (x) (/ (* (* 3.0 (- (pow 2.0 3) (pow (* x 3.0) 3))) x) (+ (* 2.0 2.0) (+ (* (* x 3.0) (* x 3.0)) (* 2.0 (* x 3.0))))))>)
1.414 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
1.414 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (- 6.0 (* 9.0 x)))
1.415 * * [simplify]: iteration  0 :  8  enodes  (cost  3 )
1.415 * * [simplify]: iteration  1 :  8  enodes  (cost  3 )
1.415 * [simplify]: Simplified to:
   (* x (- 6.0 (* 9.0 x)))
2.195 * [regime-testing]: Baseline error score: 0.20697399206159783
2.196 * [regime-testing]: Oracle error score: 0.06863357919739968
2.197 * [regime-testing]: End program error score: 0.20697399206159783
2.213 * [regime-testing]: Target error score: 0.21063969128586182