7.863 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.015 * [progress]: [Phase 2 of 3] Improving.
0.016 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* 3.0 (- 2.0 (* x 3.0))) x)
0.016 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
0.017 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.019 * * [simplify]: iteration  2 :  31  enodes  (cost  9 )
0.024 * * [simplify]: iteration  3 :  74  enodes  (cost  9 )
0.038 * * [simplify]: iteration  4 :  134  enodes  (cost  9 )
0.060 * * [simplify]: iteration  5 :  170  enodes  (cost  9 )
0.088 * * [simplify]: iteration  done :  170  enodes  (cost  9 )
0.089 * [simplify]: Simplified to:
   (* (* 3.0 (- 2.0 (* x 3.0))) x)
0.089 * * [progress]: iteration 1 / 4
0.089 * * * [progress]: picking best candidate
0.090 * * * * [pick]: Picked  #<alt (λ (x) (* (* 3.0 (- 2.0 (* x 3.0))) x))>
0.090 * * * [progress]: localizing error
0.096 * * * [progress]: generating rewritten candidates
0.096 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.107 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.116 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
0.120 * * * [progress]: generating series expansions
0.120 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.120 * [approximate]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in (x) around 0
0.120 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in x
0.120 * [taylor]: Taking taylor expansion of 3.0 in x
0.120 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x
0.120 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.120 * [taylor]: Taking taylor expansion of 2.0 in x
0.120 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.120 * [taylor]: Taking taylor expansion of 3.0 in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.121 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in x
0.121 * [taylor]: Taking taylor expansion of 3.0 in x
0.121 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x
0.121 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.121 * [taylor]: Taking taylor expansion of 2.0 in x
0.121 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.121 * [taylor]: Taking taylor expansion of 3.0 in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.154 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in (x) around 0
0.154 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in x
0.154 * [taylor]: Taking taylor expansion of 3.0 in x
0.154 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
0.154 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.154 * [taylor]: Taking taylor expansion of 2.0 in x
0.155 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.155 * [taylor]: Taking taylor expansion of 3.0 in x
0.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.155 * [taylor]: Taking taylor expansion of x in x
0.155 * [taylor]: Taking taylor expansion of x in x
0.157 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in x
0.157 * [taylor]: Taking taylor expansion of 3.0 in x
0.157 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
0.157 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.157 * [taylor]: Taking taylor expansion of 2.0 in x
0.157 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.157 * [taylor]: Taking taylor expansion of 3.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.157 * [taylor]: Taking taylor expansion of x in x
0.182 * [approximate]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in (x) around 0
0.182 * [taylor]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
0.182 * [taylor]: Taking taylor expansion of -3.0 in x
0.182 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
0.182 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.182 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.182 * [taylor]: Taking taylor expansion of 3.0 in x
0.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.182 * [taylor]: Taking taylor expansion of x in x
0.183 * [taylor]: Taking taylor expansion of 2.0 in x
0.183 * [taylor]: Taking taylor expansion of x in x
0.184 * [taylor]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
0.184 * [taylor]: Taking taylor expansion of -3.0 in x
0.184 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
0.184 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.184 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.184 * [taylor]: Taking taylor expansion of 3.0 in x
0.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.184 * [taylor]: Taking taylor expansion of x in x
0.184 * [taylor]: Taking taylor expansion of 2.0 in x
0.184 * [taylor]: Taking taylor expansion of x in x
0.208 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.208 * [approximate]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 x))) in (x) around 0
0.208 * [taylor]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 x))) in x
0.208 * [taylor]: Taking taylor expansion of 3.0 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.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 (* 3.0 (- 2.0 (* 3.0 x))) in x
0.208 * [taylor]: Taking taylor expansion of 3.0 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.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.226 * [approximate]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 (/ 1 x)))) in (x) around 0
0.226 * [taylor]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 (/ 1 x)))) in x
0.226 * [taylor]: Taking taylor expansion of 3.0 in x
0.226 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.226 * [taylor]: Taking taylor expansion of 2.0 in x
0.226 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.226 * [taylor]: Taking taylor expansion of 3.0 in x
0.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.226 * [taylor]: Taking taylor expansion of x in x
0.226 * [taylor]: Taking taylor expansion of (* 3.0 (- 2.0 (* 3.0 (/ 1 x)))) in x
0.226 * [taylor]: Taking taylor expansion of 3.0 in x
0.226 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.226 * [taylor]: Taking taylor expansion of 2.0 in x
0.226 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.226 * [taylor]: Taking taylor expansion of 3.0 in x
0.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.226 * [taylor]: Taking taylor expansion of x in x
0.249 * [approximate]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 x)) 2.0)) in (x) around 0
0.249 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 x)) 2.0)) in x
0.249 * [taylor]: Taking taylor expansion of 3.0 in x
0.249 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.249 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.250 * [taylor]: Taking taylor expansion of 3.0 in x
0.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.250 * [taylor]: Taking taylor expansion of x in x
0.250 * [taylor]: Taking taylor expansion of 2.0 in x
0.250 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 x)) 2.0)) in x
0.250 * [taylor]: Taking taylor expansion of 3.0 in x
0.250 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.250 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.250 * [taylor]: Taking taylor expansion of 3.0 in x
0.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.250 * [taylor]: Taking taylor expansion of x in x
0.250 * [taylor]: Taking taylor expansion of 2.0 in x
0.268 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
0.268 * [approximate]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in (x) around 0
0.268 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.268 * [taylor]: Taking taylor expansion of 2.0 in x
0.268 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.268 * [taylor]: Taking taylor expansion of 3.0 in x
0.268 * [taylor]: Taking taylor expansion of x in x
0.268 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
0.268 * [taylor]: Taking taylor expansion of 2.0 in x
0.268 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.268 * [taylor]: Taking taylor expansion of 3.0 in x
0.268 * [taylor]: Taking taylor expansion of x in x
0.278 * [approximate]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in (x) around 0
0.278 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.278 * [taylor]: Taking taylor expansion of 2.0 in x
0.278 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.278 * [taylor]: Taking taylor expansion of 3.0 in x
0.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.279 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
0.279 * [taylor]: Taking taylor expansion of 2.0 in x
0.279 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.279 * [taylor]: Taking taylor expansion of 3.0 in x
0.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.279 * [taylor]: Taking taylor expansion of x in x
0.292 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in (x) around 0
0.292 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.292 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.292 * [taylor]: Taking taylor expansion of 3.0 in x
0.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.292 * [taylor]: Taking taylor expansion of x in x
0.293 * [taylor]: Taking taylor expansion of 2.0 in x
0.293 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
0.293 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.293 * [taylor]: Taking taylor expansion of 3.0 in x
0.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.293 * [taylor]: Taking taylor expansion of x in x
0.293 * [taylor]: Taking taylor expansion of 2.0 in x
0.304 * * * [progress]: simplifying candidates
0.305 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (log1p (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (* (* 3.0 (- 2.0 (* x 3.0))) x)
  (* (* 3.0 (- 2.0 (* x 3.0))) x)
  (+ (+ (log 3.0) (log (- 2.0 (* x 3.0)))) (log x))
  (+ (log (* 3.0 (- 2.0 (* x 3.0)))) (log x))
  (log (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (exp (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (* (* (* (* 3.0 3.0) 3.0) (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0)))) (* (* x x) x))
  (* (* (* (* 3.0 (- 2.0 (* x 3.0))) (* 3.0 (- 2.0 (* x 3.0)))) (* 3.0 (- 2.0 (* x 3.0)))) (* (* x x) x))
  (* (cbrt (* (* 3.0 (- 2.0 (* x 3.0))) x)) (cbrt (* (* 3.0 (- 2.0 (* x 3.0))) x)))
  (cbrt (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (* (* (* (* 3.0 (- 2.0 (* x 3.0))) x) (* (* 3.0 (- 2.0 (* x 3.0))) x)) (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (sqrt (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (sqrt (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (* (* 3.0 (- 2.0 (* x 3.0))) (* (cbrt x) (cbrt x)))
  (* (* 3.0 (- 2.0 (* x 3.0))) (sqrt x))
  (* (* 3.0 (- 2.0 (* x 3.0))) 1)
  (* (- 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)))) x)
  (expm1 (* 3.0 (- 2.0 (* x 3.0))))
  (log1p (* 3.0 (- 2.0 (* x 3.0))))
  (* 3.0 (- 2.0 (* x 3.0)))
  (+ (log 3.0) (log (- 2.0 (* x 3.0))))
  (log (* 3.0 (- 2.0 (* x 3.0))))
  (exp (* 3.0 (- 2.0 (* x 3.0))))
  (* (* (* 3.0 3.0) 3.0) (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0))))
  (* (cbrt (* 3.0 (- 2.0 (* x 3.0)))) (cbrt (* 3.0 (- 2.0 (* x 3.0)))))
  (cbrt (* 3.0 (- 2.0 (* x 3.0))))
  (* (* (* 3.0 (- 2.0 (* x 3.0))) (* 3.0 (- 2.0 (* x 3.0)))) (* 3.0 (- 2.0 (* x 3.0))))
  (sqrt (* 3.0 (- 2.0 (* x 3.0))))
  (sqrt (* 3.0 (- 2.0 (* x 3.0))))
  (* (sqrt 3.0) (sqrt (- 2.0 (* x 3.0))))
  (* (sqrt 3.0) (sqrt (- 2.0 (* x 3.0))))
  (* 3.0 (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* 3.0 x))))
  (* 3.0 (fma (- 3.0) x (* 3.0 x)))
  (* 3.0 (fma (sqrt 2.0) (sqrt 2.0) (- (* 3.0 x))))
  (* 3.0 (fma (- 3.0) x (* 3.0 x)))
  (* 3.0 (fma 1 2.0 (- (* 3.0 x))))
  (* 3.0 (fma (- 3.0) x (* 3.0 x)))
  (* 3.0 2.0)
  (* 3.0 (- (* x 3.0)))
  (* 3.0 2.0)
  (* 3.0 (- (* x 3.0)))
  (* (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* 3.0 x))) 3.0)
  (* (fma (- 3.0) x (* 3.0 x)) 3.0)
  (* (fma (sqrt 2.0) (sqrt 2.0) (- (* 3.0 x))) 3.0)
  (* (fma (- 3.0) x (* 3.0 x)) 3.0)
  (* (fma 1 2.0 (- (* 3.0 x))) 3.0)
  (* (fma (- 3.0) x (* 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 (* (cbrt (- 2.0 (* x 3.0))) (cbrt (- 2.0 (* x 3.0)))))
  (* 3.0 (sqrt (- 2.0 (* x 3.0))))
  (* 3.0 1)
  (* (cbrt 3.0) (- 2.0 (* x 3.0)))
  (* (sqrt 3.0) (- 2.0 (* x 3.0)))
  (* 3.0 (- 2.0 (* x 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))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* 3.0 x)))
  (fma (- 3.0) x (* 3.0 x))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* 3.0 x)))
  (fma (- 3.0) x (* 3.0 x))
  (fma 1 2.0 (- (* 3.0 x)))
  (fma (- 3.0) x (* 3.0 x))
  (expm1 (- 2.0 (* x 3.0)))
  (log1p (- 2.0 (* x 3.0)))
  (- (* x 3.0))
  (- (* x 3.0))
  (- (* x 3.0))
  (/ (exp 2.0) (exp (* x 3.0)))
  (log (- 2.0 (* x 3.0)))
  (exp (- 2.0 (* x 3.0)))
  (* (cbrt (- 2.0 (* x 3.0))) (cbrt (- 2.0 (* x 3.0))))
  (cbrt (- 2.0 (* x 3.0)))
  (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0)))
  (sqrt (- 2.0 (* x 3.0)))
  (sqrt (- 2.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.307 * * [simplify]: iteration  0 :  113  enodes  (cost  917 )
0.328 * * [simplify]: iteration  1 :  266  enodes  (cost  903 )
0.389 * * [simplify]: iteration  2 :  1064  enodes  (cost  779 )
0.870 * * [simplify]: iteration  done :  5001  enodes  (cost  773 )
0.871 * [simplify]: Simplified to:
   (expm1 (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (log1p (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (* (* 3.0 (- 2.0 (* x 3.0))) x)
  (* (* 3.0 (- 2.0 (* x 3.0))) x)
  (log (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (log (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (log (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (exp (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (pow (* (* 3.0 (- 2.0 (* x 3.0))) x) 3)
  (pow (* (* 3.0 (- 2.0 (* x 3.0))) x) 3)
  (* (cbrt (* (* 3.0 (- 2.0 (* x 3.0))) x)) (cbrt (* (* 3.0 (- 2.0 (* x 3.0))) x)))
  (cbrt (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (pow (* (* 3.0 (- 2.0 (* x 3.0))) x) 3)
  (sqrt (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (sqrt (* (* 3.0 (- 2.0 (* x 3.0))) x))
  (* (* 3.0 (- 2.0 (* x 3.0))) (* (cbrt x) (cbrt x)))
  (* (* 3.0 (- 2.0 (* x 3.0))) (sqrt x))
  (* 3.0 (- 2.0 (* x 3.0)))
  (* (- 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 (* x 3.0)) x)))
  (expm1 (* 3.0 (- 2.0 (* x 3.0))))
  (log1p (* 3.0 (- 2.0 (* x 3.0))))
  (* 3.0 (- 2.0 (* x 3.0)))
  (log (* 3.0 (- 2.0 (* x 3.0))))
  (log (* 3.0 (- 2.0 (* x 3.0))))
  (exp (* 3.0 (- 2.0 (* x 3.0))))
  (pow (* 3.0 (- 2.0 (* x 3.0))) 3)
  (* (cbrt (* 3.0 (- 2.0 (* x 3.0)))) (cbrt (* 3.0 (- 2.0 (* x 3.0)))))
  (cbrt (* 3.0 (- 2.0 (* x 3.0))))
  (pow (* 3.0 (- 2.0 (* x 3.0))) 3)
  (sqrt (* 3.0 (- 2.0 (* x 3.0))))
  (sqrt (* 3.0 (- 2.0 (* x 3.0))))
  (* (sqrt 3.0) (sqrt (- 2.0 (* x 3.0))))
  (* (sqrt 3.0) (sqrt (- 2.0 (* x 3.0))))
  (* (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* 3.0 x))) 3.0)
  (* (* 3.0 (+ (- x) x)) 3.0)
  (* 3.0 (- 2.0 (* x 3.0)))
  (* (* 3.0 (+ (- x) x)) 3.0)
  (* 3.0 (- 2.0 (* x 3.0)))
  (* (* 3.0 (+ (- x) x)) 3.0)
  (* 2.0 3.0)
  (* 3.0 (- (* x 3.0)))
  (* 2.0 3.0)
  (* 3.0 (- (* x 3.0)))
  (* (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* 3.0 x))) 3.0)
  (* (* 3.0 (+ (- x) x)) 3.0)
  (* 3.0 (- 2.0 (* x 3.0)))
  (* (* 3.0 (+ (- x) x)) 3.0)
  (* 3.0 (- 2.0 (* x 3.0)))
  (* (* 3.0 (+ (- x) x)) 3.0)
  (* 2.0 3.0)
  (* 3.0 (- (* x 3.0)))
  (* 2.0 3.0)
  (* 3.0 (- (* x 3.0)))
  (* 3.0 (* (cbrt (- 2.0 (* x 3.0))) (cbrt (- 2.0 (* x 3.0)))))
  (* 3.0 (sqrt (- 2.0 (* x 3.0))))
  3.0
  (* (cbrt 3.0) (- 2.0 (* x 3.0)))
  (* (sqrt 3.0) (- 2.0 (* x 3.0)))
  (* 3.0 (- 2.0 (* x 3.0)))
  (* 3.0 (- (pow 2.0 3) (pow (* x 3.0) 3)))
  (* (fma 3.0 x 2.0) (* 3.0 (- 2.0 (* x 3.0))))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* 3.0 x)))
  (* x (+ (- 3.0) 3.0))
  (- 2.0 (* x 3.0))
  (* x (+ (- 3.0) 3.0))
  (- 2.0 (* x 3.0))
  (* x (+ (- 3.0) 3.0))
  (expm1 (- 2.0 (* x 3.0)))
  (log1p (- 2.0 (* x 3.0)))
  (- (* x 3.0))
  (- (* x 3.0))
  (- (* x 3.0))
  (exp (- 2.0 (* x 3.0)))
  (log (- 2.0 (* x 3.0)))
  (exp (- 2.0 (* x 3.0)))
  (* (cbrt (- 2.0 (* x 3.0))) (cbrt (- 2.0 (* x 3.0))))
  (cbrt (- 2.0 (* x 3.0)))
  (pow (- 2.0 (* x 3.0)) 3)
  (sqrt (- 2.0 (* x 3.0)))
  (sqrt (- 2.0 (* x 3.0)))
  (- (pow 2.0 3) (pow (* x 3.0) 3))
  (fma (* x 3.0) (fma 3.0 x 2.0) (* 2.0 2.0))
  (- (* x 3.0))
  (* (- 2.0 (* x 3.0)) (fma 3.0 x 2.0))
  (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 (* x 3.0))
  (- 2.0 (* x 3.0))
  (- 2.0 (* x 3.0))
0.871 * * * [progress]: adding candidates to table
1.005 * * [progress]: iteration 2 / 4
1.005 * * * [progress]: picking best candidate
1.017 * * * * [pick]: Picked  #<alt (λ (x) (* (- 6.0 (* 9.0 x)) x))>
1.018 * * * [progress]: localizing error
1.022 * * * [progress]: generating rewritten candidates
1.022 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.030 * * * [progress]: generating series expansions
1.030 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.031 * [approximate]: Taking taylor expansion of (* x (- 6.0 (* 9.0 x))) in (x) around 0
1.031 * [taylor]: Taking taylor expansion of (* x (- 6.0 (* 9.0 x))) in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 x)) in x
1.031 * [taylor]: Taking taylor expansion of 6.0 in x
1.031 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
1.031 * [taylor]: Taking taylor expansion of 9.0 in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of (* x (- 6.0 (* 9.0 x))) in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 x)) in x
1.031 * [taylor]: Taking taylor expansion of 6.0 in x
1.031 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
1.031 * [taylor]: Taking taylor expansion of 9.0 in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.056 * [approximate]: Taking taylor expansion of (/ (- 6.0 (* 9.0 (/ 1 x))) x) in (x) around 0
1.056 * [taylor]: Taking taylor expansion of (/ (- 6.0 (* 9.0 (/ 1 x))) x) in x
1.056 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 (/ 1 x))) in x
1.056 * [taylor]: Taking taylor expansion of 6.0 in x
1.056 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
1.056 * [taylor]: Taking taylor expansion of 9.0 in x
1.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.056 * [taylor]: Taking taylor expansion of x in x
1.056 * [taylor]: Taking taylor expansion of x in x
1.058 * [taylor]: Taking taylor expansion of (/ (- 6.0 (* 9.0 (/ 1 x))) x) in x
1.058 * [taylor]: Taking taylor expansion of (- 6.0 (* 9.0 (/ 1 x))) in x
1.058 * [taylor]: Taking taylor expansion of 6.0 in x
1.058 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
1.058 * [taylor]: Taking taylor expansion of 9.0 in x
1.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.058 * [taylor]: Taking taylor expansion of x in x
1.059 * [taylor]: Taking taylor expansion of x in x
1.078 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 9.0 (/ 1 x)) 6.0) x)) in (x) around 0
1.078 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 9.0 (/ 1 x)) 6.0) x)) in x
1.078 * [taylor]: Taking taylor expansion of -1 in x
1.078 * [taylor]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 6.0) x) in x
1.078 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 6.0) in x
1.078 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
1.078 * [taylor]: Taking taylor expansion of 9.0 in x
1.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.078 * [taylor]: Taking taylor expansion of x in x
1.079 * [taylor]: Taking taylor expansion of 6.0 in x
1.079 * [taylor]: Taking taylor expansion of x in x
1.080 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 9.0 (/ 1 x)) 6.0) x)) in x
1.080 * [taylor]: Taking taylor expansion of -1 in x
1.080 * [taylor]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 6.0) x) in x
1.080 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 6.0) in x
1.080 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
1.080 * [taylor]: Taking taylor expansion of 9.0 in x
1.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.080 * [taylor]: Taking taylor expansion of x in x
1.080 * [taylor]: Taking taylor expansion of 6.0 in x
1.080 * [taylor]: Taking taylor expansion of x in x
1.104 * * * [progress]: simplifying candidates
1.104 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (- 6.0 (* 9.0 x)) x))
  (log1p (* (- 6.0 (* 9.0 x)) x))
  (* (- 6.0 (* 9.0 x)) x)
  (+ (log (- 6.0 (* 9.0 x))) (log x))
  (log (* (- 6.0 (* 9.0 x)) x))
  (exp (* (- 6.0 (* 9.0 x)) x))
  (* (* (* (- 6.0 (* 9.0 x)) (- 6.0 (* 9.0 x))) (- 6.0 (* 9.0 x))) (* (* x x) x))
  (* (cbrt (* (- 6.0 (* 9.0 x)) x)) (cbrt (* (- 6.0 (* 9.0 x)) x)))
  (cbrt (* (- 6.0 (* 9.0 x)) x))
  (* (* (* (- 6.0 (* 9.0 x)) x) (* (- 6.0 (* 9.0 x)) x)) (* (- 6.0 (* 9.0 x)) x))
  (sqrt (* (- 6.0 (* 9.0 x)) x))
  (sqrt (* (- 6.0 (* 9.0 x)) x))
  (* (sqrt (- 6.0 (* 9.0 x))) (sqrt x))
  (* (sqrt (- 6.0 (* 9.0 x))) (sqrt x))
  (* (- 6.0 (* 9.0 x)) (* (cbrt x) (cbrt x)))
  (* (- 6.0 (* 9.0 x)) (sqrt x))
  (* (- 6.0 (* 9.0 x)) 1)
  (* (cbrt (- 6.0 (* 9.0 x))) x)
  (* (sqrt (- 6.0 (* 9.0 x))) x)
  (* (- 6.0 (* 9.0 x)) x)
  (* (- (pow 6.0 3) (pow (* 9.0 x) 3)) x)
  (* (- (* 6.0 6.0) (* (* 9.0 x) (* 9.0 x))) 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)))
1.106 * * [simplify]: iteration  0 :  49  enodes  (cost  253 )
1.114 * * [simplify]: iteration  1 :  119  enodes  (cost  250 )
1.142 * * [simplify]: iteration  2 :  448  enodes  (cost  222 )
1.302 * * [simplify]: iteration  3 :  2238  enodes  (cost  215 )
2.389 * * [simplify]: iteration  done :  5001  enodes  (cost  215 )
2.389 * [simplify]: Simplified to:
   (expm1 (* (- 6.0 (* 9.0 x)) x))
  (log1p (* (- 6.0 (* 9.0 x)) x))
  (* (- 6.0 (* 9.0 x)) x)
  (log (* (- 6.0 (* 9.0 x)) x))
  (log (* (- 6.0 (* 9.0 x)) x))
  (exp (* (- 6.0 (* 9.0 x)) x))
  (pow (* (- 6.0 (* 9.0 x)) x) 3)
  (* (cbrt (* (- 6.0 (* 9.0 x)) x)) (cbrt (* (- 6.0 (* 9.0 x)) x)))
  (cbrt (* (- 6.0 (* 9.0 x)) x))
  (pow (* (- 6.0 (* 9.0 x)) x) 3)
  (sqrt (* (- 6.0 (* 9.0 x)) x))
  (sqrt (* (- 6.0 (* 9.0 x)) x))
  (* (sqrt (- 6.0 (* 9.0 x))) (sqrt x))
  (* (sqrt (- 6.0 (* 9.0 x))) (sqrt x))
  (* (- 6.0 (* 9.0 x)) (* (cbrt x) (cbrt x)))
  (* (- 6.0 (* 9.0 x)) (sqrt x))
  (- 6.0 (* 9.0 x))
  (* (cbrt (- 6.0 (* 9.0 x))) x)
  (* (sqrt (- 6.0 (* 9.0 x))) x)
  (* (- 6.0 (* 9.0 x)) x)
  (* (- (pow 6.0 3) (pow (* 9.0 x) 3)) x)
  (* (- 6.0 (* 9.0 x)) (* x (fma 9.0 x 6.0)))
  (* (- 6.0 (* 9.0 x)) x)
  (* (- 6.0 (* 9.0 x)) x)
  (* (- 6.0 (* 9.0 x)) x)
2.389 * * * [progress]: adding candidates to table
2.432 * * [progress]: iteration 3 / 4
2.432 * * * [progress]: picking best candidate
2.446 * * * * [pick]: Picked  #<alt (λ (x) (* 3.0 (* (- 2.0 (* x 3.0)) x)))>
2.446 * * * [progress]: localizing error
2.451 * * * [progress]: generating rewritten candidates
2.452 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.466 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
2.474 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
2.478 * * * [progress]: generating series expansions
2.478 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.479 * [approximate]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in (x) around 0
2.479 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in x
2.479 * [taylor]: Taking taylor expansion of 3.0 in x
2.479 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x
2.479 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
2.479 * [taylor]: Taking taylor expansion of 2.0 in x
2.479 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
2.479 * [taylor]: Taking taylor expansion of 3.0 in x
2.479 * [taylor]: Taking taylor expansion of x in x
2.479 * [taylor]: Taking taylor expansion of x in x
2.479 * [taylor]: Taking taylor expansion of (* 3.0 (* (- 2.0 (* 3.0 x)) x)) in x
2.479 * [taylor]: Taking taylor expansion of 3.0 in x
2.479 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x
2.479 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
2.479 * [taylor]: Taking taylor expansion of 2.0 in x
2.479 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
2.479 * [taylor]: Taking taylor expansion of 3.0 in x
2.479 * [taylor]: Taking taylor expansion of x in x
2.479 * [taylor]: Taking taylor expansion of x in x
2.510 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in (x) around 0
2.510 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in x
2.510 * [taylor]: Taking taylor expansion of 3.0 in x
2.510 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
2.510 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
2.510 * [taylor]: Taking taylor expansion of 2.0 in x
2.510 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
2.510 * [taylor]: Taking taylor expansion of 3.0 in x
2.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.510 * [taylor]: Taking taylor expansion of x in x
2.510 * [taylor]: Taking taylor expansion of x in x
2.512 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- 2.0 (* 3.0 (/ 1 x))) x)) in x
2.512 * [taylor]: Taking taylor expansion of 3.0 in x
2.512 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
2.512 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
2.512 * [taylor]: Taking taylor expansion of 2.0 in x
2.512 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
2.512 * [taylor]: Taking taylor expansion of 3.0 in x
2.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.512 * [taylor]: Taking taylor expansion of x in x
2.512 * [taylor]: Taking taylor expansion of x in x
2.538 * [approximate]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in (x) around 0
2.538 * [taylor]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
2.538 * [taylor]: Taking taylor expansion of -3.0 in x
2.538 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
2.539 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
2.539 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
2.539 * [taylor]: Taking taylor expansion of 3.0 in x
2.539 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.539 * [taylor]: Taking taylor expansion of x in x
2.539 * [taylor]: Taking taylor expansion of 2.0 in x
2.539 * [taylor]: Taking taylor expansion of x in x
2.540 * [taylor]: Taking taylor expansion of (* -3.0 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
2.540 * [taylor]: Taking taylor expansion of -3.0 in x
2.540 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
2.540 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
2.540 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
2.540 * [taylor]: Taking taylor expansion of 3.0 in x
2.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.540 * [taylor]: Taking taylor expansion of x in x
2.541 * [taylor]: Taking taylor expansion of 2.0 in x
2.541 * [taylor]: Taking taylor expansion of x in x
2.567 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
2.567 * [approximate]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in (x) around 0
2.567 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x
2.567 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
2.567 * [taylor]: Taking taylor expansion of 2.0 in x
2.567 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
2.567 * [taylor]: Taking taylor expansion of 3.0 in x
2.567 * [taylor]: Taking taylor expansion of x in x
2.567 * [taylor]: Taking taylor expansion of x in x
2.567 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x
2.567 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
2.567 * [taylor]: Taking taylor expansion of 2.0 in x
2.568 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
2.568 * [taylor]: Taking taylor expansion of 3.0 in x
2.568 * [taylor]: Taking taylor expansion of x in x
2.568 * [taylor]: Taking taylor expansion of x in x
2.590 * [approximate]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in (x) around 0
2.590 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
2.590 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
2.590 * [taylor]: Taking taylor expansion of 2.0 in x
2.590 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
2.590 * [taylor]: Taking taylor expansion of 3.0 in x
2.590 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.590 * [taylor]: Taking taylor expansion of x in x
2.591 * [taylor]: Taking taylor expansion of x in x
2.592 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
2.592 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
2.592 * [taylor]: Taking taylor expansion of 2.0 in x
2.592 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
2.592 * [taylor]: Taking taylor expansion of 3.0 in x
2.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.592 * [taylor]: Taking taylor expansion of x in x
2.593 * [taylor]: Taking taylor expansion of x in x
2.612 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in (x) around 0
2.612 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
2.612 * [taylor]: Taking taylor expansion of -1 in x
2.612 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
2.612 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
2.612 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
2.612 * [taylor]: Taking taylor expansion of 3.0 in x
2.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.612 * [taylor]: Taking taylor expansion of x in x
2.612 * [taylor]: Taking taylor expansion of 2.0 in x
2.612 * [taylor]: Taking taylor expansion of x in x
2.613 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
2.613 * [taylor]: Taking taylor expansion of -1 in x
2.613 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
2.613 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
2.613 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
2.613 * [taylor]: Taking taylor expansion of 3.0 in x
2.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.613 * [taylor]: Taking taylor expansion of x in x
2.613 * [taylor]: Taking taylor expansion of 2.0 in x
2.614 * [taylor]: Taking taylor expansion of x in x
2.640 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
2.640 * [approximate]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in (x) around 0
2.640 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
2.640 * [taylor]: Taking taylor expansion of 2.0 in x
2.640 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
2.640 * [taylor]: Taking taylor expansion of 3.0 in x
2.640 * [taylor]: Taking taylor expansion of x in x
2.640 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
2.640 * [taylor]: Taking taylor expansion of 2.0 in x
2.640 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
2.640 * [taylor]: Taking taylor expansion of 3.0 in x
2.640 * [taylor]: Taking taylor expansion of x in x
2.651 * [approximate]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in (x) around 0
2.651 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
2.651 * [taylor]: Taking taylor expansion of 2.0 in x
2.651 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
2.651 * [taylor]: Taking taylor expansion of 3.0 in x
2.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.651 * [taylor]: Taking taylor expansion of x in x
2.651 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
2.651 * [taylor]: Taking taylor expansion of 2.0 in x
2.651 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
2.651 * [taylor]: Taking taylor expansion of 3.0 in x
2.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.651 * [taylor]: Taking taylor expansion of x in x
2.665 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in (x) around 0
2.665 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
2.665 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
2.665 * [taylor]: Taking taylor expansion of 3.0 in x
2.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.665 * [taylor]: Taking taylor expansion of x in x
2.665 * [taylor]: Taking taylor expansion of 2.0 in x
2.665 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
2.665 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
2.665 * [taylor]: Taking taylor expansion of 3.0 in x
2.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.666 * [taylor]: Taking taylor expansion of x in x
2.666 * [taylor]: Taking taylor expansion of 2.0 in x
2.677 * * * [progress]: simplifying candidates
2.678 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (log1p (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (* 3.0 (* (- 2.0 (* x 3.0)) x))
  (* 3.0 (* (- 2.0 (* x 3.0)) x))
  (+ (log 3.0) (+ (log (- 2.0 (* x 3.0))) (log x)))
  (+ (log 3.0) (log (* (- 2.0 (* x 3.0)) x)))
  (log (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (exp (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0))) (* (* x x) x)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* (- 2.0 (* x 3.0)) x) (* (- 2.0 (* x 3.0)) x)) (* (- 2.0 (* x 3.0)) x)))
  (* (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x))) (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x))))
  (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (* (* (* 3.0 (* (- 2.0 (* x 3.0)) x)) (* 3.0 (* (- 2.0 (* x 3.0)) x))) (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (sqrt (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (sqrt (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (* 3.0 (- 2.0 (* x 3.0)))
  (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))
  (* 3.0 (* (- 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))) x))
  (expm1 (* (- 2.0 (* x 3.0)) x))
  (log1p (* (- 2.0 (* x 3.0)) x))
  (* (- 2.0 (* x 3.0)) x)
  (+ (log (- 2.0 (* x 3.0))) (log x))
  (log (* (- 2.0 (* x 3.0)) x))
  (exp (* (- 2.0 (* x 3.0)) x))
  (* (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0))) (* (* x x) x))
  (* (cbrt (* (- 2.0 (* x 3.0)) x)) (cbrt (* (- 2.0 (* x 3.0)) x)))
  (cbrt (* (- 2.0 (* x 3.0)) x))
  (* (* (* (- 2.0 (* x 3.0)) x) (* (- 2.0 (* x 3.0)) x)) (* (- 2.0 (* x 3.0)) x))
  (sqrt (* (- 2.0 (* x 3.0)) x))
  (sqrt (* (- 2.0 (* x 3.0)) x))
  (* (sqrt (- 2.0 (* x 3.0))) (sqrt x))
  (* (sqrt (- 2.0 (* x 3.0))) (sqrt x))
  (* (- 2.0 (* x 3.0)) (* (cbrt x) (cbrt x)))
  (* (- 2.0 (* x 3.0)) (sqrt x))
  (* (- 2.0 (* x 3.0)) 1)
  (* (cbrt (- 2.0 (* x 3.0))) x)
  (* (sqrt (- 2.0 (* x 3.0))) x)
  (* (- 2.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)
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* 3.0 x)))
  (fma (- 3.0) x (* 3.0 x))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* 3.0 x)))
  (fma (- 3.0) x (* 3.0 x))
  (fma 1 2.0 (- (* 3.0 x)))
  (fma (- 3.0) x (* 3.0 x))
  (expm1 (- 2.0 (* x 3.0)))
  (log1p (- 2.0 (* x 3.0)))
  (- (* x 3.0))
  (- (* x 3.0))
  (- (* x 3.0))
  (/ (exp 2.0) (exp (* x 3.0)))
  (log (- 2.0 (* x 3.0)))
  (exp (- 2.0 (* x 3.0)))
  (* (cbrt (- 2.0 (* x 3.0))) (cbrt (- 2.0 (* x 3.0))))
  (cbrt (- 2.0 (* x 3.0)))
  (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0)))
  (sqrt (- 2.0 (* x 3.0)))
  (sqrt (- 2.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 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))
2.680 * * [simplify]: iteration  0 :  101  enodes  (cost  768 )
2.696 * * [simplify]: iteration  1 :  236  enodes  (cost  756 )
2.749 * * [simplify]: iteration  2 :  841  enodes  (cost  650 )
3.079 * * [simplify]: iteration  3 :  4655  enodes  (cost  634 )
5.490 * * [simplify]: iteration  done :  5000  enodes  (cost  634 )
5.490 * [simplify]: Simplified to:
   (expm1 (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (log1p (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (* 3.0 (* (- 2.0 (* x 3.0)) x))
  (* 3.0 (* (- 2.0 (* x 3.0)) x))
  (log (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (log (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (log (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (exp (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (pow (* 3.0 (* (- 2.0 (* x 3.0)) x)) 3)
  (pow (* 3.0 (* (- 2.0 (* x 3.0)) x)) 3)
  (* (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x))) (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x))))
  (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (pow (* 3.0 (* (- 2.0 (* x 3.0)) x)) 3)
  (sqrt (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (sqrt (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (* 3.0 (- 2.0 (* x 3.0)))
  (* (cbrt 3.0) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))
  (* 3.0 (* (- 2.0 (* x 3.0)) x))
  (* 3.0 (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x))
  (* (* (fma 3.0 x 2.0) (- 2.0 (* 3.0 x))) (* 3.0 x))
  (expm1 (* (- 2.0 (* x 3.0)) x))
  (log1p (* (- 2.0 (* x 3.0)) x))
  (* (- 2.0 (* 3.0 x)) x)
  (log (* (- 2.0 (* x 3.0)) x))
  (log (* (- 2.0 (* x 3.0)) x))
  (exp (* (- 2.0 (* x 3.0)) x))
  (pow (* (- 2.0 (* x 3.0)) x) 3)
  (* (cbrt (* (- 2.0 (* x 3.0)) x)) (cbrt (* (- 2.0 (* x 3.0)) x)))
  (cbrt (* (- 2.0 (* x 3.0)) x))
  (pow (* (- 2.0 (* x 3.0)) x) 3)
  (sqrt (* (- 2.0 (* x 3.0)) x))
  (sqrt (* (- 2.0 (* x 3.0)) x))
  (* (sqrt (- 2.0 (* x 3.0))) (sqrt x))
  (* (sqrt (- 2.0 (* x 3.0))) (sqrt x))
  (* (- 2.0 (* x 3.0)) (* (cbrt x) (cbrt x)))
  (* (- 2.0 (* x 3.0)) (sqrt x))
  (- 2.0 (* 3.0 x))
  (* (cbrt (- 2.0 (* x 3.0))) x)
  (* (sqrt (- 2.0 (* x 3.0))) x)
  (* (- 2.0 (* 3.0 x)) x)
  (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x)
  (* (fma 3.0 x 2.0) (* (- 2.0 (* x 3.0)) x))
  (fma (- 3.0) x (pow (cbrt 2.0) 3))
  (* 3.0 (+ (- x) x))
  (- 2.0 (* 3.0 x))
  (* 3.0 (+ (- x) x))
  (- 2.0 (* 3.0 x))
  (* 3.0 (+ (- x) x))
  (expm1 (- 2.0 (* x 3.0)))
  (log1p (- 2.0 (* x 3.0)))
  (- (* 3.0 x))
  (- (* 3.0 x))
  (- (* 3.0 x))
  (exp (- 2.0 (* x 3.0)))
  (log (- 2.0 (* x 3.0)))
  (exp (- 2.0 (* x 3.0)))
  (* (cbrt (- 2.0 (* x 3.0))) (cbrt (- 2.0 (* x 3.0))))
  (cbrt (- 2.0 (* x 3.0)))
  (pow (- 2.0 (* 3.0 x)) 3)
  (sqrt (- 2.0 (* x 3.0)))
  (sqrt (- 2.0 (* x 3.0)))
  (- (pow 2.0 3) (pow (* x 3.0) 3))
  (fma (* 3.0 x) (fma 3.0 x 2.0) (* 2.0 2.0))
  (- (* 3.0 x))
  (* (fma 3.0 x 2.0) (- 2.0 (* 3.0 x)))
  (fma 3.0 x 2.0)
  (- (* 3.0 x))
  (* x (- 6.0 (* 9.0 x)))
  (* x (- 6.0 (* 9.0 x)))
  (* x (- 6.0 (* 9.0 x)))
  (* (- 2.0 (* 3.0 x)) 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))
5.490 * * * [progress]: adding candidates to table
5.621 * * [progress]: iteration 4 / 4
5.621 * * * [progress]: picking best candidate
5.631 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))))>
5.631 * * * [progress]: localizing error
5.638 * * * [progress]: generating rewritten candidates
5.639 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
5.675 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
5.689 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
5.696 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
5.701 * * * [progress]: generating series expansions
5.701 * * * * [progress]: [ 1 / 4 ] generating series at (2)
5.702 * [approximate]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) (* (pow (sqrt 3.0) 2) x)) in (x) around 0
5.702 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) (* (pow (sqrt 3.0) 2) x)) in x
5.702 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
5.702 * [taylor]: Taking taylor expansion of 2.0 in x
5.702 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
5.702 * [taylor]: Taking taylor expansion of 3.0 in x
5.702 * [taylor]: Taking taylor expansion of x in x
5.703 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3.0) 2) x) in x
5.703 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
5.703 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.703 * [taylor]: Taking taylor expansion of 3.0 in x
5.703 * [taylor]: Taking taylor expansion of x in x
5.703 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) (* (pow (sqrt 3.0) 2) x)) in x
5.703 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
5.703 * [taylor]: Taking taylor expansion of 2.0 in x
5.703 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
5.703 * [taylor]: Taking taylor expansion of 3.0 in x
5.703 * [taylor]: Taking taylor expansion of x in x
5.703 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3.0) 2) x) in x
5.703 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
5.703 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.703 * [taylor]: Taking taylor expansion of 3.0 in x
5.704 * [taylor]: Taking taylor expansion of x in x
5.760 * [approximate]: Taking taylor expansion of (/ (* (- 2.0 (* 3.0 (/ 1 x))) (pow (sqrt 3.0) 2)) x) in (x) around 0
5.760 * [taylor]: Taking taylor expansion of (/ (* (- 2.0 (* 3.0 (/ 1 x))) (pow (sqrt 3.0) 2)) x) in x
5.760 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 (/ 1 x))) (pow (sqrt 3.0) 2)) in x
5.760 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
5.760 * [taylor]: Taking taylor expansion of 2.0 in x
5.760 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.760 * [taylor]: Taking taylor expansion of 3.0 in x
5.760 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.760 * [taylor]: Taking taylor expansion of x in x
5.760 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
5.760 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.760 * [taylor]: Taking taylor expansion of 3.0 in x
5.761 * [taylor]: Taking taylor expansion of x in x
5.766 * [taylor]: Taking taylor expansion of (/ (* (- 2.0 (* 3.0 (/ 1 x))) (pow (sqrt 3.0) 2)) x) in x
5.766 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 (/ 1 x))) (pow (sqrt 3.0) 2)) in x
5.766 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
5.766 * [taylor]: Taking taylor expansion of 2.0 in x
5.766 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.766 * [taylor]: Taking taylor expansion of 3.0 in x
5.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.766 * [taylor]: Taking taylor expansion of x in x
5.766 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
5.766 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.766 * [taylor]: Taking taylor expansion of 3.0 in x
5.767 * [taylor]: Taking taylor expansion of x in x
5.820 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (pow (sqrt 3.0) 2)) x)) in (x) around 0
5.820 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (pow (sqrt 3.0) 2)) x)) in x
5.820 * [taylor]: Taking taylor expansion of -1 in x
5.820 * [taylor]: Taking taylor expansion of (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (pow (sqrt 3.0) 2)) x) in x
5.820 * [taylor]: Taking taylor expansion of (* (+ (* 3.0 (/ 1 x)) 2.0) (pow (sqrt 3.0) 2)) in x
5.820 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
5.820 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.820 * [taylor]: Taking taylor expansion of 3.0 in x
5.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.820 * [taylor]: Taking taylor expansion of x in x
5.820 * [taylor]: Taking taylor expansion of 2.0 in x
5.820 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
5.820 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.820 * [taylor]: Taking taylor expansion of 3.0 in x
5.821 * [taylor]: Taking taylor expansion of x in x
5.825 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (pow (sqrt 3.0) 2)) x)) in x
5.825 * [taylor]: Taking taylor expansion of -1 in x
5.825 * [taylor]: Taking taylor expansion of (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (pow (sqrt 3.0) 2)) x) in x
5.825 * [taylor]: Taking taylor expansion of (* (+ (* 3.0 (/ 1 x)) 2.0) (pow (sqrt 3.0) 2)) in x
5.825 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
5.825 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.825 * [taylor]: Taking taylor expansion of 3.0 in x
5.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.825 * [taylor]: Taking taylor expansion of x in x
5.826 * [taylor]: Taking taylor expansion of 2.0 in x
5.826 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
5.826 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.826 * [taylor]: Taking taylor expansion of 3.0 in x
5.827 * [taylor]: Taking taylor expansion of x in x
5.894 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
5.895 * [approximate]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) (* (sqrt 3.0) x)) in (x) around 0
5.895 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) (* (sqrt 3.0) x)) in x
5.895 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
5.895 * [taylor]: Taking taylor expansion of 2.0 in x
5.895 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
5.895 * [taylor]: Taking taylor expansion of 3.0 in x
5.895 * [taylor]: Taking taylor expansion of x in x
5.895 * [taylor]: Taking taylor expansion of (* (sqrt 3.0) x) in x
5.895 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.895 * [taylor]: Taking taylor expansion of 3.0 in x
5.896 * [taylor]: Taking taylor expansion of x in x
5.896 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) (* (sqrt 3.0) x)) in x
5.896 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
5.896 * [taylor]: Taking taylor expansion of 2.0 in x
5.896 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
5.896 * [taylor]: Taking taylor expansion of 3.0 in x
5.896 * [taylor]: Taking taylor expansion of x in x
5.896 * [taylor]: Taking taylor expansion of (* (sqrt 3.0) x) in x
5.896 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.896 * [taylor]: Taking taylor expansion of 3.0 in x
5.897 * [taylor]: Taking taylor expansion of x in x
5.940 * [approximate]: Taking taylor expansion of (/ (* (- 2.0 (* 3.0 (/ 1 x))) (sqrt 3.0)) x) in (x) around 0
5.940 * [taylor]: Taking taylor expansion of (/ (* (- 2.0 (* 3.0 (/ 1 x))) (sqrt 3.0)) x) in x
5.940 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 (/ 1 x))) (sqrt 3.0)) in x
5.940 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
5.940 * [taylor]: Taking taylor expansion of 2.0 in x
5.940 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.941 * [taylor]: Taking taylor expansion of 3.0 in x
5.941 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.941 * [taylor]: Taking taylor expansion of x in x
5.941 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.941 * [taylor]: Taking taylor expansion of 3.0 in x
5.942 * [taylor]: Taking taylor expansion of x in x
5.944 * [taylor]: Taking taylor expansion of (/ (* (- 2.0 (* 3.0 (/ 1 x))) (sqrt 3.0)) x) in x
5.945 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 (/ 1 x))) (sqrt 3.0)) in x
5.945 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
5.945 * [taylor]: Taking taylor expansion of 2.0 in x
5.945 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.945 * [taylor]: Taking taylor expansion of 3.0 in x
5.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.945 * [taylor]: Taking taylor expansion of x in x
5.945 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.945 * [taylor]: Taking taylor expansion of 3.0 in x
5.946 * [taylor]: Taking taylor expansion of x in x
5.985 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (sqrt 3.0)) x)) in (x) around 0
5.986 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (sqrt 3.0)) x)) in x
5.986 * [taylor]: Taking taylor expansion of -1 in x
5.986 * [taylor]: Taking taylor expansion of (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (sqrt 3.0)) x) in x
5.986 * [taylor]: Taking taylor expansion of (* (+ (* 3.0 (/ 1 x)) 2.0) (sqrt 3.0)) in x
5.986 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
5.986 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.986 * [taylor]: Taking taylor expansion of 3.0 in x
5.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.986 * [taylor]: Taking taylor expansion of x in x
5.986 * [taylor]: Taking taylor expansion of 2.0 in x
5.986 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.986 * [taylor]: Taking taylor expansion of 3.0 in x
5.987 * [taylor]: Taking taylor expansion of x in x
5.989 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (sqrt 3.0)) x)) in x
5.989 * [taylor]: Taking taylor expansion of -1 in x
5.989 * [taylor]: Taking taylor expansion of (/ (* (+ (* 3.0 (/ 1 x)) 2.0) (sqrt 3.0)) x) in x
5.989 * [taylor]: Taking taylor expansion of (* (+ (* 3.0 (/ 1 x)) 2.0) (sqrt 3.0)) in x
5.989 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
5.989 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.989 * [taylor]: Taking taylor expansion of 3.0 in x
5.989 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.989 * [taylor]: Taking taylor expansion of x in x
5.989 * [taylor]: Taking taylor expansion of 2.0 in x
5.989 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.989 * [taylor]: Taking taylor expansion of 3.0 in x
5.990 * [taylor]: Taking taylor expansion of x in x
6.041 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
6.041 * [approximate]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in (x) around 0
6.041 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x
6.041 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
6.041 * [taylor]: Taking taylor expansion of 2.0 in x
6.041 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
6.041 * [taylor]: Taking taylor expansion of 3.0 in x
6.041 * [taylor]: Taking taylor expansion of x in x
6.041 * [taylor]: Taking taylor expansion of x in x
6.041 * [taylor]: Taking taylor expansion of (* (- 2.0 (* 3.0 x)) x) in x
6.041 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
6.041 * [taylor]: Taking taylor expansion of 2.0 in x
6.041 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
6.041 * [taylor]: Taking taylor expansion of 3.0 in x
6.041 * [taylor]: Taking taylor expansion of x in x
6.041 * [taylor]: Taking taylor expansion of x in x
6.064 * [approximate]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in (x) around 0
6.064 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
6.064 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
6.064 * [taylor]: Taking taylor expansion of 2.0 in x
6.064 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
6.064 * [taylor]: Taking taylor expansion of 3.0 in x
6.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.064 * [taylor]: Taking taylor expansion of x in x
6.064 * [taylor]: Taking taylor expansion of x in x
6.066 * [taylor]: Taking taylor expansion of (/ (- 2.0 (* 3.0 (/ 1 x))) x) in x
6.066 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
6.066 * [taylor]: Taking taylor expansion of 2.0 in x
6.066 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
6.066 * [taylor]: Taking taylor expansion of 3.0 in x
6.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.066 * [taylor]: Taking taylor expansion of x in x
6.066 * [taylor]: Taking taylor expansion of x in x
6.085 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in (x) around 0
6.086 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
6.086 * [taylor]: Taking taylor expansion of -1 in x
6.086 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
6.086 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
6.086 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
6.086 * [taylor]: Taking taylor expansion of 3.0 in x
6.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.086 * [taylor]: Taking taylor expansion of x in x
6.086 * [taylor]: Taking taylor expansion of 2.0 in x
6.086 * [taylor]: Taking taylor expansion of x in x
6.087 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 3.0 (/ 1 x)) 2.0) x)) in x
6.087 * [taylor]: Taking taylor expansion of -1 in x
6.087 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 2.0) x) in x
6.087 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
6.087 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
6.087 * [taylor]: Taking taylor expansion of 3.0 in x
6.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.087 * [taylor]: Taking taylor expansion of x in x
6.087 * [taylor]: Taking taylor expansion of 2.0 in x
6.087 * [taylor]: Taking taylor expansion of x in x
6.115 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
6.115 * [approximate]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in (x) around 0
6.115 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
6.115 * [taylor]: Taking taylor expansion of 2.0 in x
6.115 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
6.115 * [taylor]: Taking taylor expansion of 3.0 in x
6.115 * [taylor]: Taking taylor expansion of x in x
6.115 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 x)) in x
6.115 * [taylor]: Taking taylor expansion of 2.0 in x
6.115 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
6.115 * [taylor]: Taking taylor expansion of 3.0 in x
6.115 * [taylor]: Taking taylor expansion of x in x
6.126 * [approximate]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in (x) around 0
6.126 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
6.126 * [taylor]: Taking taylor expansion of 2.0 in x
6.126 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
6.126 * [taylor]: Taking taylor expansion of 3.0 in x
6.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.126 * [taylor]: Taking taylor expansion of x in x
6.126 * [taylor]: Taking taylor expansion of (- 2.0 (* 3.0 (/ 1 x))) in x
6.126 * [taylor]: Taking taylor expansion of 2.0 in x
6.126 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
6.126 * [taylor]: Taking taylor expansion of 3.0 in x
6.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.126 * [taylor]: Taking taylor expansion of x in x
6.140 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in (x) around 0
6.140 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
6.140 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
6.140 * [taylor]: Taking taylor expansion of 3.0 in x
6.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.141 * [taylor]: Taking taylor expansion of x in x
6.141 * [taylor]: Taking taylor expansion of 2.0 in x
6.141 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 2.0) in x
6.141 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
6.141 * [taylor]: Taking taylor expansion of 3.0 in x
6.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.141 * [taylor]: Taking taylor expansion of x in x
6.141 * [taylor]: Taking taylor expansion of 2.0 in x
6.152 * * * [progress]: simplifying candidates
6.154 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))))
  (log1p (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))))
  (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (+ (log (sqrt 3.0)) (+ (log (sqrt 3.0)) (+ (log (- 2.0 (* x 3.0))) (log x))))
  (+ (log (sqrt 3.0)) (+ (log (sqrt 3.0)) (log (* (- 2.0 (* x 3.0)) x))))
  (+ (log (sqrt 3.0)) (log (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))))
  (log (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))))
  (exp (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))))
  (* (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0))) (* (* x x) x))))
  (* (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* (* (- 2.0 (* x 3.0)) x) (* (- 2.0 (* x 3.0)) x)) (* (- 2.0 (* x 3.0)) x))))
  (* (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))))
  (* (cbrt (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (cbrt (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))))
  (cbrt (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))))
  (* (* (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))) (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))))
  (sqrt (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))))
  (sqrt (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))))
  (* (sqrt 3.0) (sqrt 3.0))
  (* (cbrt (sqrt 3.0)) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (sqrt (cbrt 3.0)) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (sqrt (sqrt 3.0)) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (sqrt (sqrt 3.0)) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (sqrt 3.0) (* (sqrt 3.0) (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x)))
  (* (sqrt 3.0) (* (sqrt 3.0) (* (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0))) x)))
  (expm1 (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (log1p (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))
  (+ (log (sqrt 3.0)) (+ (log (- 2.0 (* x 3.0))) (log x)))
  (+ (log (sqrt 3.0)) (log (* (- 2.0 (* x 3.0)) x)))
  (log (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (exp (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0))) (* (* x x) x)))
  (* (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* (* (- 2.0 (* x 3.0)) x) (* (- 2.0 (* x 3.0)) x)) (* (- 2.0 (* x 3.0)) x)))
  (* (cbrt (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))) (cbrt (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))))
  (cbrt (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (* (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (sqrt (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (sqrt (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (sqrt 3.0) (- 2.0 (* x 3.0)))
  (* (cbrt (sqrt 3.0)) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt (cbrt 3.0)) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt (sqrt 3.0)) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt (sqrt 3.0)) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt 3.0) (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x))
  (* (sqrt 3.0) (* (- (* 2.0 2.0) (* (* x 3.0) (* x 3.0))) x))
  (expm1 (* (- 2.0 (* x 3.0)) x))
  (log1p (* (- 2.0 (* x 3.0)) x))
  (* (- 2.0 (* x 3.0)) x)
  (+ (log (- 2.0 (* x 3.0))) (log x))
  (log (* (- 2.0 (* x 3.0)) x))
  (exp (* (- 2.0 (* x 3.0)) x))
  (* (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0))) (* (* x x) x))
  (* (cbrt (* (- 2.0 (* x 3.0)) x)) (cbrt (* (- 2.0 (* x 3.0)) x)))
  (cbrt (* (- 2.0 (* x 3.0)) x))
  (* (* (* (- 2.0 (* x 3.0)) x) (* (- 2.0 (* x 3.0)) x)) (* (- 2.0 (* x 3.0)) x))
  (sqrt (* (- 2.0 (* x 3.0)) x))
  (sqrt (* (- 2.0 (* x 3.0)) x))
  (* (sqrt (- 2.0 (* x 3.0))) (sqrt x))
  (* (sqrt (- 2.0 (* x 3.0))) (sqrt x))
  (* (- 2.0 (* x 3.0)) (* (cbrt x) (cbrt x)))
  (* (- 2.0 (* x 3.0)) (sqrt x))
  (* (- 2.0 (* x 3.0)) 1)
  (* (cbrt (- 2.0 (* x 3.0))) x)
  (* (sqrt (- 2.0 (* x 3.0))) x)
  (* (- 2.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)
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* 3.0 x)))
  (fma (- 3.0) x (* 3.0 x))
  (fma (sqrt 2.0) (sqrt 2.0) (- (* 3.0 x)))
  (fma (- 3.0) x (* 3.0 x))
  (fma 1 2.0 (- (* 3.0 x)))
  (fma (- 3.0) x (* 3.0 x))
  (expm1 (- 2.0 (* x 3.0)))
  (log1p (- 2.0 (* x 3.0)))
  (- (* x 3.0))
  (- (* x 3.0))
  (- (* x 3.0))
  (/ (exp 2.0) (exp (* x 3.0)))
  (log (- 2.0 (* x 3.0)))
  (exp (- 2.0 (* x 3.0)))
  (* (cbrt (- 2.0 (* x 3.0))) (cbrt (- 2.0 (* x 3.0))))
  (cbrt (- 2.0 (* x 3.0)))
  (* (* (- 2.0 (* x 3.0)) (- 2.0 (* x 3.0))) (- 2.0 (* x 3.0)))
  (sqrt (- 2.0 (* x 3.0)))
  (sqrt (- 2.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))
  (- (* 2.0 (* x (pow (sqrt 3.0) 2))) (* 3.0 (* (pow x 2) (pow (sqrt 3.0) 2))))
  (- (* 2.0 (* x (pow (sqrt 3.0) 2))) (* 3.0 (* (pow x 2) (pow (sqrt 3.0) 2))))
  (- (* 2.0 (* x (pow (sqrt 3.0) 2))) (* 3.0 (* (pow x 2) (pow (sqrt 3.0) 2))))
  (- (* 2.0 (* x (sqrt 3.0))) (* 3.0 (* (pow x 2) (sqrt 3.0))))
  (- (* 2.0 (* x (sqrt 3.0))) (* 3.0 (* (pow x 2) (sqrt 3.0))))
  (- (* 2.0 (* x (sqrt 3.0))) (* 3.0 (* (pow x 2) (sqrt 3.0))))
  (- (* 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))
6.158 * * [simplify]: iteration  0 :  132  enodes  (cost  1404 )
6.182 * * [simplify]: iteration  1 :  329  enodes  (cost  1240 )
6.261 * * [simplify]: iteration  2 :  1308  enodes  (cost  1040 )
6.699 * * [simplify]: iteration  done :  5000  enodes  (cost  1022 )
6.700 * [simplify]: Simplified to:
   (expm1 (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (log1p (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (* 3.0 (* (- 2.0 (* x 3.0)) x))
  (* 3.0 (* (- 2.0 (* x 3.0)) x))
  (* 3.0 (* (- 2.0 (* x 3.0)) x))
  (log (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (log (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (log (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (log (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (exp (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (pow (* 3.0 (* (- 2.0 (* x 3.0)) x)) 3)
  (pow (* 3.0 (* (- 2.0 (* x 3.0)) x)) 3)
  (pow (* 3.0 (* (- 2.0 (* x 3.0)) x)) 3)
  (* (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x))) (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x))))
  (cbrt (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (pow (* 3.0 (* (- 2.0 (* x 3.0)) x)) 3)
  (sqrt (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  (sqrt (* 3.0 (* (- 2.0 (* x 3.0)) x)))
  3.0
  (* (cbrt (sqrt 3.0)) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (sqrt (cbrt 3.0)) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (sqrt (sqrt 3.0)) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* 3.0 (* (- 2.0 (* x 3.0)) x))
  (* (sqrt (sqrt 3.0)) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* 3.0 (* (- 2.0 (* x 3.0)) x))
  (* 3.0 (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x))
  (* 3.0 (* (fma x 3.0 2.0) (* (- 2.0 (* x 3.0)) x)))
  (expm1 (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (log1p (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))
  (log (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (log (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (log (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (exp (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (pow (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)) 3)
  (pow (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)) 3)
  (* (cbrt (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))) (cbrt (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))))
  (cbrt (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (pow (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)) 3)
  (sqrt (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (sqrt (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))
  (* (sqrt 3.0) (- 2.0 (* x 3.0)))
  (* (cbrt (sqrt 3.0)) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt (cbrt 3.0)) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt (sqrt 3.0)) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt (sqrt 3.0)) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt 3.0) (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x))
  (* x (* (* (fma x 3.0 2.0) (- 2.0 (* 3.0 x))) (sqrt 3.0)))
  (expm1 (* (- 2.0 (* x 3.0)) x))
  (log1p (* (- 2.0 (* x 3.0)) x))
  (* (- 2.0 (* x 3.0)) x)
  (log (* (- 2.0 (* x 3.0)) x))
  (log (* (- 2.0 (* x 3.0)) x))
  (exp (* (- 2.0 (* x 3.0)) x))
  (pow (* (- 2.0 (* x 3.0)) x) 3)
  (* (cbrt (* (- 2.0 (* x 3.0)) x)) (cbrt (* (- 2.0 (* x 3.0)) x)))
  (cbrt (* (- 2.0 (* x 3.0)) x))
  (pow (* (- 2.0 (* x 3.0)) x) 3)
  (sqrt (* (- 2.0 (* x 3.0)) x))
  (sqrt (* (- 2.0 (* x 3.0)) x))
  (* (sqrt (- 2.0 (* x 3.0))) (sqrt x))
  (* (sqrt (- 2.0 (* x 3.0))) (sqrt x))
  (* (- 2.0 (* x 3.0)) (* (cbrt x) (cbrt x)))
  (* (- 2.0 (* x 3.0)) (sqrt x))
  (- 2.0 (* 3.0 x))
  (* (cbrt (- 2.0 (* x 3.0))) x)
  (* (sqrt (- 2.0 (* x 3.0))) x)
  (* (- 2.0 (* x 3.0)) x)
  (* (- (pow 2.0 3) (pow (* x 3.0) 3)) x)
  (* (fma x 3.0 2.0) (* (- 2.0 (* x 3.0)) x))
  (fma (* (cbrt 2.0) (cbrt 2.0)) (cbrt 2.0) (- (* 3.0 x)))
  (* 3.0 (+ (- x) x))
  (- 2.0 (* 3.0 x))
  (* 3.0 (+ (- x) x))
  (- 2.0 (* 3.0 x))
  (* 3.0 (+ (- x) x))
  (expm1 (- 2.0 (* x 3.0)))
  (log1p (- 2.0 (* x 3.0)))
  (- (* x 3.0))
  (- (* x 3.0))
  (- (* x 3.0))
  (exp (- 2.0 (* 3.0 x)))
  (log (- 2.0 (* x 3.0)))
  (exp (- 2.0 (* 3.0 x)))
  (* (cbrt (- 2.0 (* x 3.0))) (cbrt (- 2.0 (* x 3.0))))
  (cbrt (- 2.0 (* x 3.0)))
  (pow (- 2.0 (* 3.0 x)) 3)
  (sqrt (- 2.0 (* x 3.0)))
  (sqrt (- 2.0 (* x 3.0)))
  (- (pow 2.0 3) (pow (* x 3.0) 3))
  (fma 2.0 2.0 (* (* 3.0 x) (fma x 3.0 2.0)))
  (- (* x 3.0))
  (* (fma x 3.0 2.0) (- 2.0 (* 3.0 x)))
  (fma x 3.0 2.0)
  (- (* x 3.0))
  (* 3.0 (* (- 2.0 (* x 3.0)) x))
  (* 3.0 (* (- 2.0 (* x 3.0)) x))
  (* 3.0 (* (- 2.0 (* x 3.0)) x))
  (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))
  (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))
  (* (- 2.0 (* x 3.0)) x)
  (* (- 2.0 (* x 3.0)) x)
  (* (- 2.0 (* x 3.0)) x)
  (- 2.0 (* 3.0 x))
  (- 2.0 (* 3.0 x))
  (- 2.0 (* 3.0 x))
6.701 * * * [progress]: adding candidates to table
6.887 * [progress]: [Phase 3 of 3] Extracting.
6.887 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))))> #<alt (λ (x) (* (sqrt 3.0) (* (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (* (- 2.0 (* x 3.0)) x)))))> #<alt (λ (x) (/ (* (- (pow 6.0 3) (pow (* 9.0 x) 3)) x) (+ (* 6.0 6.0) (+ (* (* 9.0 x) (* 9.0 x)) (* 6.0 (* 9.0 x))))))> #<alt (λ (x) (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))))> #<alt (λ (x) (* (sqrt (- 6.0 (* 9.0 x))) (* (sqrt (- 6.0 (* 9.0 x))) x)))> #<alt (λ (x) (* (- 6.0 (* 9.0 x)) x))> #<alt (λ (x) (* (* (* 3.0 (- 2.0 (* x 3.0))) (sqrt x)) (sqrt x)))>)
6.888 * * * [regime-changes]: Trying 1 branch expressions: (x)
6.888 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x)))))> #<alt (λ (x) (* (sqrt 3.0) (* (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 3.0)) (* (- 2.0 (* x 3.0)) x)))))> #<alt (λ (x) (/ (* (- (pow 6.0 3) (pow (* 9.0 x) 3)) x) (+ (* 6.0 6.0) (+ (* (* 9.0 x) (* 9.0 x)) (* 6.0 (* 9.0 x))))))> #<alt (λ (x) (* (sqrt 3.0) (* (sqrt 3.0) (* (- 2.0 (* x 3.0)) x))))> #<alt (λ (x) (* (sqrt (- 6.0 (* 9.0 x))) (* (sqrt (- 6.0 (* 9.0 x))) x)))> #<alt (λ (x) (* (- 6.0 (* 9.0 x)) x))> #<alt (λ (x) (* (* (* 3.0 (- 2.0 (* x 3.0))) (sqrt x)) (sqrt x)))>)
6.912 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
6.912 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (- 6.0 (* 9.0 x)) x)
6.913 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
6.913 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
6.913 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
6.913 * [simplify]: Simplified to:
   (* (- 6.0 (* 9.0 x)) x)
7.438 * [regime-testing]: Baseline error score: 0.20177522190273783
7.439 * [regime-testing]: Oracle error score: 0.01487685960745093
7.440 * [regime-testing]: End program error score: 0.20177522190273783
7.456 * [regime-testing]: Target error score: 0.2007115705833641