20.911 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.020 * [progress]: [Phase 2 of 3] Improving.
0.020 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
0.021 * * [simplify]: iteration  0 :  10  enodes  (cost  13 )
0.022 * * [simplify]: iteration  1 :  25  enodes  (cost  13 )
0.026 * * [simplify]: iteration  2 :  53  enodes  (cost  11 )
0.040 * * [simplify]: iteration  3 :  112  enodes  (cost  11 )
0.063 * * [simplify]: iteration  4 :  163  enodes  (cost  11 )
0.097 * * [simplify]: iteration  5 :  191  enodes  (cost  11 )
0.130 * * [simplify]: iteration  6 :  220  enodes  (cost  11 )
0.176 * * [simplify]: iteration  7 :  285  enodes  (cost  11 )
0.238 * * [simplify]: iteration  8 :  413  enodes  (cost  11 )
0.408 * * [simplify]: iteration  9 :  679  enodes  (cost  11 )
0.579 * * [simplify]: iteration  10 :  763  enodes  (cost  11 )
0.766 * * [simplify]: iteration  11 :  802  enodes  (cost  11 )
0.925 * * [simplify]: iteration  done :  802  enodes  (cost  11 )
0.925 * [simplify]: Simplified to:
   (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))
0.928 * * [progress]: iteration 1 / 4
0.928 * * * [progress]: picking best candidate
0.930 * * * * [pick]: Picked  #<alt (λ (x) (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))>
0.930 * * * [progress]: localizing error
0.937 * * * [progress]: generating rewritten candidates
0.937 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.943 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
0.949 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2 2)
0.955 * * * [progress]: generating series expansions
0.955 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.955 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in (x) around 0
0.955 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
0.955 * [taylor]: Taking taylor expansion of 3.0 in x
0.955 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
0.955 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
0.955 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
0.955 * [taylor]: Taking taylor expansion of 3.0 in x
0.955 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.955 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of 1.0 in x
0.956 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
0.956 * [taylor]: Taking taylor expansion of 4.0 in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
0.956 * [taylor]: Taking taylor expansion of 3.0 in x
0.956 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
0.956 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
0.956 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
0.956 * [taylor]: Taking taylor expansion of 3.0 in x
0.956 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of 1.0 in x
0.956 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
0.956 * [taylor]: Taking taylor expansion of 4.0 in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.959 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in (x) around 0
0.959 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in x
0.959 * [taylor]: Taking taylor expansion of 3.0 in x
0.959 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
0.959 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
0.959 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
0.959 * [taylor]: Taking taylor expansion of 3.0 in x
0.960 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.960 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.960 * [taylor]: Taking taylor expansion of x in x
0.960 * [taylor]: Taking taylor expansion of 1.0 in x
0.960 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
0.960 * [taylor]: Taking taylor expansion of 4.0 in x
0.960 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.960 * [taylor]: Taking taylor expansion of x in x
0.960 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in x
0.960 * [taylor]: Taking taylor expansion of 3.0 in x
0.960 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
0.960 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
0.960 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
0.960 * [taylor]: Taking taylor expansion of 3.0 in x
0.960 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.960 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.960 * [taylor]: Taking taylor expansion of x in x
0.960 * [taylor]: Taking taylor expansion of 1.0 in x
0.960 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
0.960 * [taylor]: Taking taylor expansion of 4.0 in x
0.960 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.960 * [taylor]: Taking taylor expansion of x in x
0.961 * [approximate]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in (x) around 0
0.961 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
0.961 * [taylor]: Taking taylor expansion of 3.0 in x
0.961 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
0.961 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
0.961 * [taylor]: Taking taylor expansion of 3.0 in x
0.961 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.961 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.961 * [taylor]: Taking taylor expansion of x in x
0.961 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
0.961 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
0.961 * [taylor]: Taking taylor expansion of 4.0 in x
0.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.961 * [taylor]: Taking taylor expansion of x in x
0.961 * [taylor]: Taking taylor expansion of 1.0 in x
0.961 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
0.961 * [taylor]: Taking taylor expansion of 3.0 in x
0.961 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
0.961 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
0.961 * [taylor]: Taking taylor expansion of 3.0 in x
0.961 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.961 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.961 * [taylor]: Taking taylor expansion of x in x
0.961 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
0.961 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
0.961 * [taylor]: Taking taylor expansion of 4.0 in x
0.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.961 * [taylor]: Taking taylor expansion of x in x
0.961 * [taylor]: Taking taylor expansion of 1.0 in x
0.962 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
0.962 * [approximate]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in (x) around 0
0.962 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
0.962 * [taylor]: Taking taylor expansion of x in x
0.962 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
0.962 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.962 * [taylor]: Taking taylor expansion of 3.0 in x
0.962 * [taylor]: Taking taylor expansion of x in x
0.962 * [taylor]: Taking taylor expansion of 4.0 in x
0.962 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
0.962 * [taylor]: Taking taylor expansion of x in x
0.962 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
0.962 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.962 * [taylor]: Taking taylor expansion of 3.0 in x
0.962 * [taylor]: Taking taylor expansion of x in x
0.962 * [taylor]: Taking taylor expansion of 4.0 in x
0.964 * [approximate]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in (x) around 0
0.964 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
0.964 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
0.964 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.964 * [taylor]: Taking taylor expansion of 3.0 in x
0.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.964 * [taylor]: Taking taylor expansion of x in x
0.964 * [taylor]: Taking taylor expansion of 4.0 in x
0.964 * [taylor]: Taking taylor expansion of x in x
0.964 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
0.964 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
0.964 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.964 * [taylor]: Taking taylor expansion of 3.0 in x
0.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.964 * [taylor]: Taking taylor expansion of x in x
0.964 * [taylor]: Taking taylor expansion of 4.0 in x
0.964 * [taylor]: Taking taylor expansion of x in x
0.966 * [approximate]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in (x) around 0
0.966 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in x
0.966 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
0.966 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.966 * [taylor]: Taking taylor expansion of 3.0 in x
0.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.966 * [taylor]: Taking taylor expansion of x in x
0.966 * [taylor]: Taking taylor expansion of 4.0 in x
0.966 * [taylor]: Taking taylor expansion of x in x
0.966 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in x
0.966 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
0.966 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.966 * [taylor]: Taking taylor expansion of 3.0 in x
0.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.966 * [taylor]: Taking taylor expansion of x in x
0.966 * [taylor]: Taking taylor expansion of 4.0 in x
0.966 * [taylor]: Taking taylor expansion of x in x
0.968 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2 2)
0.968 * [approximate]: Taking taylor expansion of (- (* 3.0 x) 4.0) in (x) around 0
0.968 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
0.968 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.968 * [taylor]: Taking taylor expansion of 3.0 in x
0.968 * [taylor]: Taking taylor expansion of x in x
0.968 * [taylor]: Taking taylor expansion of 4.0 in x
0.968 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
0.968 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
0.968 * [taylor]: Taking taylor expansion of 3.0 in x
0.968 * [taylor]: Taking taylor expansion of x in x
0.968 * [taylor]: Taking taylor expansion of 4.0 in x
0.969 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in (x) around 0
0.969 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
0.969 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.969 * [taylor]: Taking taylor expansion of 3.0 in x
0.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.969 * [taylor]: Taking taylor expansion of x in x
0.969 * [taylor]: Taking taylor expansion of 4.0 in x
0.969 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
0.969 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.969 * [taylor]: Taking taylor expansion of 3.0 in x
0.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.969 * [taylor]: Taking taylor expansion of x in x
0.969 * [taylor]: Taking taylor expansion of 4.0 in x
0.970 * [approximate]: Taking taylor expansion of (neg (+ (* 3.0 (/ 1 x)) 4.0)) in (x) around 0
0.970 * [taylor]: Taking taylor expansion of (neg (+ (* 3.0 (/ 1 x)) 4.0)) in x
0.970 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
0.970 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.970 * [taylor]: Taking taylor expansion of 3.0 in x
0.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.970 * [taylor]: Taking taylor expansion of x in x
0.970 * [taylor]: Taking taylor expansion of 4.0 in x
0.970 * [taylor]: Taking taylor expansion of (neg (+ (* 3.0 (/ 1 x)) 4.0)) in x
0.970 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
0.970 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
0.970 * [taylor]: Taking taylor expansion of 3.0 in x
0.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.970 * [taylor]: Taking taylor expansion of x in x
0.970 * [taylor]: Taking taylor expansion of 4.0 in x
0.971 * * * [progress]: simplifying candidates
0.972 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (+ (log 3.0) (log (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (log (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (exp (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (* (* 3.0 3.0) 3.0) (* (* (+ 1.0 (* x (- (* x 3.0) 4.0))) (+ 1.0 (* x (- (* x 3.0) 4.0)))) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (* (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))) (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (sqrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (sqrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt 3.0) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt 3.0) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* 3.0 1.0)
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (* 1.0 3.0)
  (* (* x (- (* x 3.0) 4.0)) 3.0)
  (* 3.0 (* (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))) (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* 3.0 (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* 3.0 1)
  (* (cbrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))
  (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))
  (* x (- (* x 3.0) 4.0))
  (+ (log x) (log (- (* x 3.0) 4.0)))
  (log (* x (- (* x 3.0) 4.0)))
  (exp (* x (- (* x 3.0) 4.0)))
  (* (* (* x x) x) (* (* (- (* x 3.0) 4.0) (- (* x 3.0) 4.0)) (- (* x 3.0) 4.0)))
  (* (cbrt (* x (- (* x 3.0) 4.0))) (cbrt (* x (- (* x 3.0) 4.0))))
  (cbrt (* x (- (* x 3.0) 4.0)))
  (* (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* x (* x 3.0))
  (* x (neg 4.0))
  (* x (* x 3.0))
  (* x (neg 4.0))
  (* (* x 3.0) x)
  (* (neg 4.0) x)
  (* (* x 3.0) x)
  (* (neg 4.0) x)
  (* x (* (cbrt (- (* x 3.0) 4.0)) (cbrt (- (* x 3.0) 4.0))))
  (* x (sqrt (- (* x 3.0) 4.0)))
  (* x 1)
  (* (cbrt x) (- (* x 3.0) 4.0))
  (* (sqrt x) (- (* x 3.0) 4.0))
  (* x (- (* x 3.0) 4.0))
  (* x (- (pow (* x 3.0) 3) (pow 4.0 3)))
  (* x (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0)))
  (/ (exp (* x 3.0)) (exp 4.0))
  (log (- (* x 3.0) 4.0))
  (exp (- (* x 3.0) 4.0))
  (* (cbrt (- (* x 3.0) 4.0)) (cbrt (- (* x 3.0) 4.0)))
  (cbrt (- (* x 3.0) 4.0))
  (* (* (- (* x 3.0) 4.0) (- (* x 3.0) 4.0)) (- (* x 3.0) 4.0))
  (sqrt (- (* x 3.0) 4.0))
  (sqrt (- (* x 3.0) 4.0))
  (- (pow (* x 3.0) 3) (pow 4.0 3))
  (+ (* (* x 3.0) (* x 3.0)) (+ (* 4.0 4.0) (* (* x 3.0) 4.0)))
  (neg 4.0)
  (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0))
  (+ (* x 3.0) 4.0)
  (neg 4.0)
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- (* 3.0 (pow x 2)) (* 4.0 x))
  (- (* 3.0 (pow x 2)) (* 4.0 x))
  (- (* 3.0 (pow x 2)) (* 4.0 x))
  (- (* 3.0 x) 4.0)
  (- (* 3.0 x) 4.0)
  (- (* 3.0 x) 4.0)
0.975 * * [simplify]: iteration  0 :  108  enodes  (cost  772 )
1.000 * * [simplify]: iteration  1 :  264  enodes  (cost  749 )
1.058 * * [simplify]: iteration  2 :  734  enodes  (cost  675 )
1.373 * * [simplify]: iteration  3 :  2598  enodes  (cost  667 )
2.508 * * [simplify]: iteration  done :  5001  enodes  (cost  667 )
2.509 * [simplify]: Simplified to:
   (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (log (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (log (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (exp (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (pow (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))) 3)
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (pow (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))) 3)
  (sqrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (sqrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt 3.0) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt 3.0) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* 3.0 1.0)
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (* 3.0 1.0)
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (* 3.0 (* (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))) (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* 3.0 (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  3.0
  (* (cbrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))
  (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))
  (* x (- (* x 3.0) 4.0))
  (log (* x (- (* x 3.0) 4.0)))
  (log (* x (- (* x 3.0) 4.0)))
  (exp (* x (- (* x 3.0) 4.0)))
  (pow (* x (- (* x 3.0) 4.0)) 3)
  (* (cbrt (* x (- (* x 3.0) 4.0))) (cbrt (* x (- (* x 3.0) 4.0))))
  (cbrt (* x (- (* x 3.0) 4.0)))
  (pow (* x (- (* x 3.0) 4.0)) 3)
  (sqrt (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* x (* 3.0 x))
  (* x (neg 4.0))
  (* x (* 3.0 x))
  (* x (neg 4.0))
  (* x (* 3.0 x))
  (* x (neg 4.0))
  (* x (* 3.0 x))
  (* x (neg 4.0))
  (* x (* (cbrt (- (* x 3.0) 4.0)) (cbrt (- (* x 3.0) 4.0))))
  (* x (sqrt (- (* x 3.0) 4.0)))
  x
  (* (cbrt x) (- (* x 3.0) 4.0))
  (* (sqrt x) (- (* x 3.0) 4.0))
  (* x (- (* x 3.0) 4.0))
  (* x (- (pow (* x 3.0) 3) (pow 4.0 3)))
  (* x (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0)))
  (exp (- (* x 3.0) 4.0))
  (log (- (* x 3.0) 4.0))
  (exp (- (* x 3.0) 4.0))
  (* (cbrt (- (* x 3.0) 4.0)) (cbrt (- (* x 3.0) 4.0)))
  (cbrt (- (* x 3.0) 4.0))
  (pow (- (* 3.0 x) 4.0) 3)
  (sqrt (- (* x 3.0) 4.0))
  (sqrt (- (* x 3.0) 4.0))
  (- (pow (* x 3.0) 3) (pow 4.0 3))
  (+ (* (+ (* x 3.0) 4.0) (* 3.0 x)) (* 4.0 4.0))
  (neg 4.0)
  (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0))
  (+ (* x 3.0) 4.0)
  (neg 4.0)
  (+ (* x (- (* x 9.0) 12.0)) 3.0)
  (+ (* x (- (* x 9.0) 12.0)) 3.0)
  (+ (* x (- (* x 9.0) 12.0)) 3.0)
  (* x (- (* x 3.0) 4.0))
  (* x (- (* x 3.0) 4.0))
  (* x (- (* x 3.0) 4.0))
  (- (* 3.0 x) 4.0)
  (- (* 3.0 x) 4.0)
  (- (* 3.0 x) 4.0)
2.509 * * * [progress]: adding candidates to table
2.599 * * [progress]: iteration 2 / 4
2.599 * * * [progress]: picking best candidate
2.609 * * * * [pick]: Picked  #<alt (λ (x) (+ (* x (- (* x 9.0) 12.0)) 3.0))>
2.609 * * * [progress]: localizing error
2.615 * * * [progress]: generating rewritten candidates
2.615 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
2.622 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
2.626 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.637 * * * [progress]: generating series expansions
2.637 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
2.637 * [approximate]: Taking taylor expansion of (* x (- (* 9.0 x) 12.0)) in (x) around 0
2.637 * [taylor]: Taking taylor expansion of (* x (- (* 9.0 x) 12.0)) in x
2.637 * [taylor]: Taking taylor expansion of x in x
2.637 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
2.637 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
2.637 * [taylor]: Taking taylor expansion of 9.0 in x
2.637 * [taylor]: Taking taylor expansion of x in x
2.637 * [taylor]: Taking taylor expansion of 12.0 in x
2.637 * [taylor]: Taking taylor expansion of (* x (- (* 9.0 x) 12.0)) in x
2.637 * [taylor]: Taking taylor expansion of x in x
2.637 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
2.637 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
2.637 * [taylor]: Taking taylor expansion of 9.0 in x
2.637 * [taylor]: Taking taylor expansion of x in x
2.637 * [taylor]: Taking taylor expansion of 12.0 in x
2.639 * [approximate]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in (x) around 0
2.639 * [taylor]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in x
2.639 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
2.639 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
2.639 * [taylor]: Taking taylor expansion of 9.0 in x
2.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.639 * [taylor]: Taking taylor expansion of x in x
2.639 * [taylor]: Taking taylor expansion of 12.0 in x
2.639 * [taylor]: Taking taylor expansion of x in x
2.639 * [taylor]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in x
2.639 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
2.639 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
2.639 * [taylor]: Taking taylor expansion of 9.0 in x
2.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.639 * [taylor]: Taking taylor expansion of x in x
2.639 * [taylor]: Taking taylor expansion of 12.0 in x
2.639 * [taylor]: Taking taylor expansion of x in x
2.641 * [approximate]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 12.0) x) in (x) around 0
2.641 * [taylor]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 12.0) x) in x
2.641 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
2.641 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
2.641 * [taylor]: Taking taylor expansion of 9.0 in x
2.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.641 * [taylor]: Taking taylor expansion of x in x
2.641 * [taylor]: Taking taylor expansion of 12.0 in x
2.641 * [taylor]: Taking taylor expansion of x in x
2.641 * [taylor]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 12.0) x) in x
2.641 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
2.641 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
2.641 * [taylor]: Taking taylor expansion of 9.0 in x
2.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.641 * [taylor]: Taking taylor expansion of x in x
2.641 * [taylor]: Taking taylor expansion of 12.0 in x
2.641 * [taylor]: Taking taylor expansion of x in x
2.643 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
2.643 * [approximate]: Taking taylor expansion of (- (* 9.0 x) 12.0) in (x) around 0
2.643 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
2.643 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
2.643 * [taylor]: Taking taylor expansion of 9.0 in x
2.643 * [taylor]: Taking taylor expansion of x in x
2.643 * [taylor]: Taking taylor expansion of 12.0 in x
2.643 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
2.643 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
2.643 * [taylor]: Taking taylor expansion of 9.0 in x
2.643 * [taylor]: Taking taylor expansion of x in x
2.643 * [taylor]: Taking taylor expansion of 12.0 in x
2.644 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in (x) around 0
2.644 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
2.644 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
2.644 * [taylor]: Taking taylor expansion of 9.0 in x
2.644 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.644 * [taylor]: Taking taylor expansion of x in x
2.644 * [taylor]: Taking taylor expansion of 12.0 in x
2.644 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
2.644 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
2.644 * [taylor]: Taking taylor expansion of 9.0 in x
2.644 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.644 * [taylor]: Taking taylor expansion of x in x
2.644 * [taylor]: Taking taylor expansion of 12.0 in x
2.645 * [approximate]: Taking taylor expansion of (neg (+ (* 9.0 (/ 1 x)) 12.0)) in (x) around 0
2.645 * [taylor]: Taking taylor expansion of (neg (+ (* 9.0 (/ 1 x)) 12.0)) in x
2.645 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
2.645 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
2.645 * [taylor]: Taking taylor expansion of 9.0 in x
2.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.645 * [taylor]: Taking taylor expansion of x in x
2.645 * [taylor]: Taking taylor expansion of 12.0 in x
2.645 * [taylor]: Taking taylor expansion of (neg (+ (* 9.0 (/ 1 x)) 12.0)) in x
2.645 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
2.645 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
2.645 * [taylor]: Taking taylor expansion of 9.0 in x
2.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.645 * [taylor]: Taking taylor expansion of x in x
2.645 * [taylor]: Taking taylor expansion of 12.0 in x
2.647 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.647 * [approximate]: Taking taylor expansion of (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) in (x) around 0
2.647 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) in x
2.647 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow x 2)) 3.0) in x
2.647 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
2.647 * [taylor]: Taking taylor expansion of 9.0 in x
2.647 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.647 * [taylor]: Taking taylor expansion of x in x
2.647 * [taylor]: Taking taylor expansion of 3.0 in x
2.647 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
2.647 * [taylor]: Taking taylor expansion of 12.0 in x
2.647 * [taylor]: Taking taylor expansion of x in x
2.647 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) in x
2.647 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow x 2)) 3.0) in x
2.647 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
2.647 * [taylor]: Taking taylor expansion of 9.0 in x
2.647 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.647 * [taylor]: Taking taylor expansion of x in x
2.647 * [taylor]: Taking taylor expansion of 3.0 in x
2.647 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
2.647 * [taylor]: Taking taylor expansion of 12.0 in x
2.647 * [taylor]: Taking taylor expansion of x in x
2.647 * [approximate]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 (pow x 2))) 3.0) (* 12.0 (/ 1 x))) in (x) around 0
2.648 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 (pow x 2))) 3.0) (* 12.0 (/ 1 x))) in x
2.648 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) 3.0) in x
2.648 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
2.648 * [taylor]: Taking taylor expansion of 9.0 in x
2.648 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.648 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.648 * [taylor]: Taking taylor expansion of x in x
2.648 * [taylor]: Taking taylor expansion of 3.0 in x
2.648 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
2.648 * [taylor]: Taking taylor expansion of 12.0 in x
2.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.648 * [taylor]: Taking taylor expansion of x in x
2.648 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 (pow x 2))) 3.0) (* 12.0 (/ 1 x))) in x
2.648 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) 3.0) in x
2.648 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
2.648 * [taylor]: Taking taylor expansion of 9.0 in x
2.648 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.648 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.648 * [taylor]: Taking taylor expansion of x in x
2.648 * [taylor]: Taking taylor expansion of 3.0 in x
2.648 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
2.648 * [taylor]: Taking taylor expansion of 12.0 in x
2.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.648 * [taylor]: Taking taylor expansion of x in x
2.649 * [approximate]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (+ (* 12.0 (/ 1 x)) 3.0)) in (x) around 0
2.649 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (+ (* 12.0 (/ 1 x)) 3.0)) in x
2.649 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
2.649 * [taylor]: Taking taylor expansion of 9.0 in x
2.649 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.649 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.649 * [taylor]: Taking taylor expansion of x in x
2.649 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
2.649 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
2.649 * [taylor]: Taking taylor expansion of 12.0 in x
2.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.649 * [taylor]: Taking taylor expansion of x in x
2.649 * [taylor]: Taking taylor expansion of 3.0 in x
2.649 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (+ (* 12.0 (/ 1 x)) 3.0)) in x
2.649 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
2.649 * [taylor]: Taking taylor expansion of 9.0 in x
2.649 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.649 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.649 * [taylor]: Taking taylor expansion of x in x
2.649 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
2.649 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
2.649 * [taylor]: Taking taylor expansion of 12.0 in x
2.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.649 * [taylor]: Taking taylor expansion of x in x
2.649 * [taylor]: Taking taylor expansion of 3.0 in x
2.650 * * * [progress]: simplifying candidates
2.650 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* x (- (* x 9.0) 12.0))
  (+ (log x) (log (- (* x 9.0) 12.0)))
  (log (* x (- (* x 9.0) 12.0)))
  (exp (* x (- (* x 9.0) 12.0)))
  (* (* (* x x) x) (* (* (- (* x 9.0) 12.0) (- (* x 9.0) 12.0)) (- (* x 9.0) 12.0)))
  (* (cbrt (* x (- (* x 9.0) 12.0))) (cbrt (* x (- (* x 9.0) 12.0))))
  (cbrt (* x (- (* x 9.0) 12.0)))
  (* (* (* x (- (* x 9.0) 12.0)) (* x (- (* x 9.0) 12.0))) (* x (- (* x 9.0) 12.0)))
  (sqrt (* x (- (* x 9.0) 12.0)))
  (sqrt (* x (- (* x 9.0) 12.0)))
  (* (sqrt x) (sqrt (- (* x 9.0) 12.0)))
  (* (sqrt x) (sqrt (- (* x 9.0) 12.0)))
  (* x (* x 9.0))
  (* x (neg 12.0))
  (* x (* x 9.0))
  (* x (neg 12.0))
  (* (* x 9.0) x)
  (* (neg 12.0) x)
  (* (* x 9.0) x)
  (* (neg 12.0) x)
  (* x (* (cbrt (- (* x 9.0) 12.0)) (cbrt (- (* x 9.0) 12.0))))
  (* x (sqrt (- (* x 9.0) 12.0)))
  (* x 1)
  (* (cbrt x) (- (* x 9.0) 12.0))
  (* (sqrt x) (- (* x 9.0) 12.0))
  (* x (- (* x 9.0) 12.0))
  (* x (- (pow (* x 9.0) 3) (pow 12.0 3)))
  (* x (- (* (* x 9.0) (* x 9.0)) (* 12.0 12.0)))
  (/ (exp (* x 9.0)) (exp 12.0))
  (log (- (* x 9.0) 12.0))
  (exp (- (* x 9.0) 12.0))
  (* (cbrt (- (* x 9.0) 12.0)) (cbrt (- (* x 9.0) 12.0)))
  (cbrt (- (* x 9.0) 12.0))
  (* (* (- (* x 9.0) 12.0) (- (* x 9.0) 12.0)) (- (* x 9.0) 12.0))
  (sqrt (- (* x 9.0) 12.0))
  (sqrt (- (* x 9.0) 12.0))
  (- (pow (* x 9.0) 3) (pow 12.0 3))
  (+ (* (* x 9.0) (* x 9.0)) (+ (* 12.0 12.0) (* (* x 9.0) 12.0)))
  (neg 12.0)
  (- (* (* x 9.0) (* x 9.0)) (* 12.0 12.0))
  (+ (* x 9.0) 12.0)
  (neg 12.0)
  (* (exp (* x (- (* x 9.0) 12.0))) (exp 3.0))
  (log (+ (* x (- (* x 9.0) 12.0)) 3.0))
  (exp (+ (* x (- (* x 9.0) 12.0)) 3.0))
  (* (cbrt (+ (* x (- (* x 9.0) 12.0)) 3.0)) (cbrt (+ (* x (- (* x 9.0) 12.0)) 3.0)))
  (cbrt (+ (* x (- (* x 9.0) 12.0)) 3.0))
  (* (* (+ (* x (- (* x 9.0) 12.0)) 3.0) (+ (* x (- (* x 9.0) 12.0)) 3.0)) (+ (* x (- (* x 9.0) 12.0)) 3.0))
  (sqrt (+ (* x (- (* x 9.0) 12.0)) 3.0))
  (sqrt (+ (* x (- (* x 9.0) 12.0)) 3.0))
  (+ (pow (* x (- (* x 9.0) 12.0)) 3) (pow 3.0 3))
  (+ (* (* x (- (* x 9.0) 12.0)) (* x (- (* x 9.0) 12.0))) (- (* 3.0 3.0) (* (* x (- (* x 9.0) 12.0)) 3.0)))
  (- (* (* x (- (* x 9.0) 12.0)) (* x (- (* x 9.0) 12.0))) (* 3.0 3.0))
  (- (* x (- (* x 9.0) 12.0)) 3.0)
  (+ (* x (neg 12.0)) 3.0)
  (+ (* x (neg 12.0)) 3.0)
  (+ (* (neg 12.0) x) 3.0)
  (+ (* (neg 12.0) x) 3.0)
  (- (* 9.0 (pow x 2)) (* 12.0 x))
  (- (* 9.0 (pow x 2)) (* 12.0 x))
  (- (* 9.0 (pow x 2)) (* 12.0 x))
  (- (* 9.0 x) 12.0)
  (- (* 9.0 x) 12.0)
  (- (* 9.0 x) 12.0)
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
2.653 * * [simplify]: iteration  0 :  86  enodes  (cost  639 )
2.668 * * [simplify]: iteration  1 :  203  enodes  (cost  616 )
2.711 * * [simplify]: iteration  2 :  495  enodes  (cost  558 )
2.893 * * [simplify]: iteration  3 :  1694  enodes  (cost  550 )
3.925 * * [simplify]: iteration  done :  5000  enodes  (cost  550 )
3.925 * [simplify]: Simplified to:
   (* x (- (* x 9.0) 12.0))
  (log (* x (- (* x 9.0) 12.0)))
  (log (* x (- (* x 9.0) 12.0)))
  (exp (* x (- (* x 9.0) 12.0)))
  (pow (* x (- (* x 9.0) 12.0)) 3)
  (* (cbrt (* x (- (* x 9.0) 12.0))) (cbrt (* x (- (* x 9.0) 12.0))))
  (cbrt (* x (- (* x 9.0) 12.0)))
  (pow (* x (- (* x 9.0) 12.0)) 3)
  (sqrt (* x (- (* x 9.0) 12.0)))
  (sqrt (* x (- (* x 9.0) 12.0)))
  (* (sqrt x) (sqrt (- (* x 9.0) 12.0)))
  (* (sqrt x) (sqrt (- (* x 9.0) 12.0)))
  (* (* x x) 9.0)
  (* x (neg 12.0))
  (* (* x x) 9.0)
  (* x (neg 12.0))
  (* (* x x) 9.0)
  (* x (neg 12.0))
  (* (* x x) 9.0)
  (* x (neg 12.0))
  (* x (* (cbrt (- (* x 9.0) 12.0)) (cbrt (- (* x 9.0) 12.0))))
  (* x (sqrt (- (* x 9.0) 12.0)))
  x
  (* (cbrt x) (- (* x 9.0) 12.0))
  (* (sqrt x) (- (* x 9.0) 12.0))
  (* x (- (* x 9.0) 12.0))
  (* x (- (pow (* x 9.0) 3) (pow 12.0 3)))
  (* x (- (* (* x 9.0) (* x 9.0)) (* 12.0 12.0)))
  (exp (- (* 9.0 x) 12.0))
  (log (- (* x 9.0) 12.0))
  (exp (- (* 9.0 x) 12.0))
  (* (cbrt (- (* x 9.0) 12.0)) (cbrt (- (* x 9.0) 12.0)))
  (cbrt (- (* x 9.0) 12.0))
  (pow (- (* 9.0 x) 12.0) 3)
  (sqrt (- (* x 9.0) 12.0))
  (sqrt (- (* x 9.0) 12.0))
  (- (pow (* x 9.0) 3) (pow 12.0 3))
  (+ (* 12.0 12.0) (* (+ (* x 9.0) 12.0) (* 9.0 x)))
  (neg 12.0)
  (- (* (* x 9.0) (* x 9.0)) (* 12.0 12.0))
  (+ (* x 9.0) 12.0)
  (neg 12.0)
  (exp (+ (* x (- (* x 9.0) 12.0)) 3.0))
  (log (+ (* x (- (* x 9.0) 12.0)) 3.0))
  (exp (+ (* x (- (* x 9.0) 12.0)) 3.0))
  (* (cbrt (+ (* x (- (* x 9.0) 12.0)) 3.0)) (cbrt (+ (* x (- (* x 9.0) 12.0)) 3.0)))
  (cbrt (+ (* x (- (* x 9.0) 12.0)) 3.0))
  (pow (+ (* x (- (* x 9.0) 12.0)) 3.0) 3)
  (sqrt (+ (* x (- (* x 9.0) 12.0)) 3.0))
  (sqrt (+ (* x (- (* x 9.0) 12.0)) 3.0))
  (+ (pow (* x (- (* x 9.0) 12.0)) 3) (pow 3.0 3))
  (+ (* 3.0 3.0) (* (* x (- (* x 9.0) 12.0)) (- (* x (- (* x 9.0) 12.0)) 3.0)))
  (- (* (* x (- (* x 9.0) 12.0)) (* x (- (* x 9.0) 12.0))) (* 3.0 3.0))
  (- (* x (- (* x 9.0) 12.0)) 3.0)
  (- 3.0 (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (* x (- (* x 9.0) 12.0))
  (* x (- (* x 9.0) 12.0))
  (* x (- (* x 9.0) 12.0))
  (- (* 9.0 x) 12.0)
  (- (* 9.0 x) 12.0)
  (- (* 9.0 x) 12.0)
  (+ (* x (- (* x 9.0) 12.0)) 3.0)
  (+ (* x (- (* x 9.0) 12.0)) 3.0)
  (+ (* x (- (* x 9.0) 12.0)) 3.0)
3.925 * * * [progress]: adding candidates to table
3.991 * * [progress]: iteration 3 / 4
3.991 * * * [progress]: picking best candidate
4.000 * * * * [pick]: Picked  #<alt (λ (x) (* (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))>
4.000 * * * [progress]: localizing error
4.012 * * * [progress]: generating rewritten candidates
4.012 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
4.019 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
4.023 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
4.027 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
4.033 * * * [progress]: generating series expansions
4.033 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
4.034 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 2) 1/3)) in (x) around 0
4.034 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 2) 1/3)) in x
4.034 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
4.034 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.034 * [taylor]: Taking taylor expansion of 3.0 in x
4.034 * [taylor]: Taking taylor expansion of (pow (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 2) 1/3) in x
4.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 2)))) in x
4.034 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 2))) in x
4.034 * [taylor]: Taking taylor expansion of 1/3 in x
4.034 * [taylor]: Taking taylor expansion of (log (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 2)) in x
4.034 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 2) in x
4.034 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
4.034 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
4.034 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.034 * [taylor]: Taking taylor expansion of 3.0 in x
4.034 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.034 * [taylor]: Taking taylor expansion of x in x
4.034 * [taylor]: Taking taylor expansion of 1.0 in x
4.034 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
4.034 * [taylor]: Taking taylor expansion of 4.0 in x
4.034 * [taylor]: Taking taylor expansion of x in x
4.034 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 2) 1/3)) in x
4.034 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
4.034 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.034 * [taylor]: Taking taylor expansion of 3.0 in x
4.034 * [taylor]: Taking taylor expansion of (pow (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 2) 1/3) in x
4.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 2)))) in x
4.034 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 2))) in x
4.035 * [taylor]: Taking taylor expansion of 1/3 in x
4.035 * [taylor]: Taking taylor expansion of (log (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 2)) in x
4.035 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 2) in x
4.035 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
4.035 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
4.035 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.035 * [taylor]: Taking taylor expansion of 3.0 in x
4.035 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.035 * [taylor]: Taking taylor expansion of x in x
4.035 * [taylor]: Taking taylor expansion of 1.0 in x
4.035 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
4.035 * [taylor]: Taking taylor expansion of 4.0 in x
4.035 * [taylor]: Taking taylor expansion of x in x
4.039 * [approximate]: Taking taylor expansion of (* (pow (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 2) 1/3) (pow (cbrt 3.0) 2)) in (x) around 0
4.039 * [taylor]: Taking taylor expansion of (* (pow (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 2) 1/3) (pow (cbrt 3.0) 2)) in x
4.039 * [taylor]: Taking taylor expansion of (pow (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 2) 1/3) in x
4.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 2)))) in x
4.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 2))) in x
4.039 * [taylor]: Taking taylor expansion of 1/3 in x
4.039 * [taylor]: Taking taylor expansion of (log (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 2)) in x
4.039 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 2) in x
4.039 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
4.039 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
4.039 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.039 * [taylor]: Taking taylor expansion of 3.0 in x
4.039 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.039 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.039 * [taylor]: Taking taylor expansion of x in x
4.039 * [taylor]: Taking taylor expansion of 1.0 in x
4.039 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.039 * [taylor]: Taking taylor expansion of 4.0 in x
4.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.039 * [taylor]: Taking taylor expansion of x in x
4.039 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
4.039 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.039 * [taylor]: Taking taylor expansion of 3.0 in x
4.039 * [taylor]: Taking taylor expansion of (* (pow (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 2) 1/3) (pow (cbrt 3.0) 2)) in x
4.040 * [taylor]: Taking taylor expansion of (pow (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 2) 1/3) in x
4.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 2)))) in x
4.040 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 2))) in x
4.040 * [taylor]: Taking taylor expansion of 1/3 in x
4.040 * [taylor]: Taking taylor expansion of (log (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 2)) in x
4.040 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 2) in x
4.040 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
4.040 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
4.040 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.040 * [taylor]: Taking taylor expansion of 3.0 in x
4.040 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.040 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.040 * [taylor]: Taking taylor expansion of x in x
4.040 * [taylor]: Taking taylor expansion of 1.0 in x
4.040 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.040 * [taylor]: Taking taylor expansion of 4.0 in x
4.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.040 * [taylor]: Taking taylor expansion of x in x
4.040 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
4.040 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.040 * [taylor]: Taking taylor expansion of 3.0 in x
4.045 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 2) 1/3)) in (x) around 0
4.045 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 2) 1/3)) in x
4.045 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
4.045 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.045 * [taylor]: Taking taylor expansion of 3.0 in x
4.045 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 2) 1/3) in x
4.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 2)))) in x
4.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 2))) in x
4.045 * [taylor]: Taking taylor expansion of 1/3 in x
4.045 * [taylor]: Taking taylor expansion of (log (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 2)) in x
4.045 * [taylor]: Taking taylor expansion of (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 2) in x
4.045 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
4.045 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.045 * [taylor]: Taking taylor expansion of 3.0 in x
4.045 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.045 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.045 * [taylor]: Taking taylor expansion of x in x
4.046 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
4.046 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.046 * [taylor]: Taking taylor expansion of 4.0 in x
4.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.046 * [taylor]: Taking taylor expansion of x in x
4.046 * [taylor]: Taking taylor expansion of 1.0 in x
4.046 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 2) 1/3)) in x
4.046 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
4.046 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.046 * [taylor]: Taking taylor expansion of 3.0 in x
4.046 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 2) 1/3) in x
4.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 2)))) in x
4.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 2))) in x
4.046 * [taylor]: Taking taylor expansion of 1/3 in x
4.046 * [taylor]: Taking taylor expansion of (log (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 2)) in x
4.046 * [taylor]: Taking taylor expansion of (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 2) in x
4.046 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
4.046 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.046 * [taylor]: Taking taylor expansion of 3.0 in x
4.046 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.046 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.046 * [taylor]: Taking taylor expansion of x in x
4.046 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
4.046 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.046 * [taylor]: Taking taylor expansion of 4.0 in x
4.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.046 * [taylor]: Taking taylor expansion of x in x
4.046 * [taylor]: Taking taylor expansion of 1.0 in x
4.052 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
4.052 * [approximate]: Taking taylor expansion of (* (cbrt 3.0) (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 1/3)) in (x) around 0
4.052 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 1/3)) in x
4.052 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.052 * [taylor]: Taking taylor expansion of 3.0 in x
4.052 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 1/3) in x
4.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))))) in x
4.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)))) in x
4.052 * [taylor]: Taking taylor expansion of 1/3 in x
4.052 * [taylor]: Taking taylor expansion of (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
4.052 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
4.052 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
4.052 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.052 * [taylor]: Taking taylor expansion of 3.0 in x
4.052 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.052 * [taylor]: Taking taylor expansion of x in x
4.052 * [taylor]: Taking taylor expansion of 1.0 in x
4.052 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
4.052 * [taylor]: Taking taylor expansion of 4.0 in x
4.052 * [taylor]: Taking taylor expansion of x in x
4.052 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 1/3)) in x
4.052 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.052 * [taylor]: Taking taylor expansion of 3.0 in x
4.053 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 1/3) in x
4.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))))) in x
4.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)))) in x
4.053 * [taylor]: Taking taylor expansion of 1/3 in x
4.053 * [taylor]: Taking taylor expansion of (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
4.053 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
4.053 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
4.053 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.053 * [taylor]: Taking taylor expansion of 3.0 in x
4.053 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.053 * [taylor]: Taking taylor expansion of x in x
4.053 * [taylor]: Taking taylor expansion of 1.0 in x
4.053 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
4.053 * [taylor]: Taking taylor expansion of 4.0 in x
4.053 * [taylor]: Taking taylor expansion of x in x
4.056 * [approximate]: Taking taylor expansion of (* (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 1/3) (cbrt 3.0)) in (x) around 0
4.056 * [taylor]: Taking taylor expansion of (* (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 1/3) (cbrt 3.0)) in x
4.056 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 1/3) in x
4.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))))) in x
4.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))))) in x
4.056 * [taylor]: Taking taylor expansion of 1/3 in x
4.056 * [taylor]: Taking taylor expansion of (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in x
4.056 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
4.056 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
4.056 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.056 * [taylor]: Taking taylor expansion of 3.0 in x
4.056 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.056 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.056 * [taylor]: Taking taylor expansion of x in x
4.056 * [taylor]: Taking taylor expansion of 1.0 in x
4.056 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.056 * [taylor]: Taking taylor expansion of 4.0 in x
4.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.056 * [taylor]: Taking taylor expansion of x in x
4.056 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.056 * [taylor]: Taking taylor expansion of 3.0 in x
4.056 * [taylor]: Taking taylor expansion of (* (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 1/3) (cbrt 3.0)) in x
4.056 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 1/3) in x
4.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))))) in x
4.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))))) in x
4.057 * [taylor]: Taking taylor expansion of 1/3 in x
4.057 * [taylor]: Taking taylor expansion of (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in x
4.057 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
4.057 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
4.057 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.057 * [taylor]: Taking taylor expansion of 3.0 in x
4.057 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.057 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.057 * [taylor]: Taking taylor expansion of x in x
4.057 * [taylor]: Taking taylor expansion of 1.0 in x
4.057 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.057 * [taylor]: Taking taylor expansion of 4.0 in x
4.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.057 * [taylor]: Taking taylor expansion of x in x
4.057 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.057 * [taylor]: Taking taylor expansion of 3.0 in x
4.061 * [approximate]: Taking taylor expansion of (* (cbrt 3.0) (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 1/3)) in (x) around 0
4.061 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 1/3)) in x
4.061 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.061 * [taylor]: Taking taylor expansion of 3.0 in x
4.061 * [taylor]: Taking taylor expansion of (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 1/3) in x
4.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))))) in x
4.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)))) in x
4.061 * [taylor]: Taking taylor expansion of 1/3 in x
4.061 * [taylor]: Taking taylor expansion of (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
4.061 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
4.061 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.061 * [taylor]: Taking taylor expansion of 3.0 in x
4.061 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.062 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.062 * [taylor]: Taking taylor expansion of x in x
4.062 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
4.062 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.062 * [taylor]: Taking taylor expansion of 4.0 in x
4.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.062 * [taylor]: Taking taylor expansion of x in x
4.062 * [taylor]: Taking taylor expansion of 1.0 in x
4.062 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 1/3)) in x
4.062 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.062 * [taylor]: Taking taylor expansion of 3.0 in x
4.062 * [taylor]: Taking taylor expansion of (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 1/3) in x
4.062 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))))) in x
4.062 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)))) in x
4.062 * [taylor]: Taking taylor expansion of 1/3 in x
4.062 * [taylor]: Taking taylor expansion of (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
4.062 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
4.062 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.062 * [taylor]: Taking taylor expansion of 3.0 in x
4.062 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.062 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.062 * [taylor]: Taking taylor expansion of x in x
4.062 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
4.062 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.062 * [taylor]: Taking taylor expansion of 4.0 in x
4.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.062 * [taylor]: Taking taylor expansion of x in x
4.062 * [taylor]: Taking taylor expansion of 1.0 in x
4.066 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
4.066 * [approximate]: Taking taylor expansion of (* (cbrt 3.0) (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 1/3)) in (x) around 0
4.066 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 1/3)) in x
4.066 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.066 * [taylor]: Taking taylor expansion of 3.0 in x
4.066 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 1/3) in x
4.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))))) in x
4.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)))) in x
4.066 * [taylor]: Taking taylor expansion of 1/3 in x
4.066 * [taylor]: Taking taylor expansion of (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
4.066 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
4.066 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
4.066 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.066 * [taylor]: Taking taylor expansion of 3.0 in x
4.066 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.066 * [taylor]: Taking taylor expansion of x in x
4.066 * [taylor]: Taking taylor expansion of 1.0 in x
4.066 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
4.066 * [taylor]: Taking taylor expansion of 4.0 in x
4.066 * [taylor]: Taking taylor expansion of x in x
4.067 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 1/3)) in x
4.067 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.067 * [taylor]: Taking taylor expansion of 3.0 in x
4.067 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 1/3) in x
4.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))))) in x
4.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)))) in x
4.067 * [taylor]: Taking taylor expansion of 1/3 in x
4.067 * [taylor]: Taking taylor expansion of (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
4.067 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
4.067 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
4.067 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.067 * [taylor]: Taking taylor expansion of 3.0 in x
4.067 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.067 * [taylor]: Taking taylor expansion of x in x
4.067 * [taylor]: Taking taylor expansion of 1.0 in x
4.067 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
4.067 * [taylor]: Taking taylor expansion of 4.0 in x
4.067 * [taylor]: Taking taylor expansion of x in x
4.070 * [approximate]: Taking taylor expansion of (* (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 1/3) (cbrt 3.0)) in (x) around 0
4.070 * [taylor]: Taking taylor expansion of (* (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 1/3) (cbrt 3.0)) in x
4.070 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 1/3) in x
4.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))))) in x
4.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))))) in x
4.070 * [taylor]: Taking taylor expansion of 1/3 in x
4.070 * [taylor]: Taking taylor expansion of (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in x
4.070 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
4.070 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
4.070 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.070 * [taylor]: Taking taylor expansion of 3.0 in x
4.070 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.070 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.070 * [taylor]: Taking taylor expansion of x in x
4.070 * [taylor]: Taking taylor expansion of 1.0 in x
4.070 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.070 * [taylor]: Taking taylor expansion of 4.0 in x
4.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.070 * [taylor]: Taking taylor expansion of x in x
4.070 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.070 * [taylor]: Taking taylor expansion of 3.0 in x
4.070 * [taylor]: Taking taylor expansion of (* (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 1/3) (cbrt 3.0)) in x
4.070 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 1/3) in x
4.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))))) in x
4.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))))) in x
4.070 * [taylor]: Taking taylor expansion of 1/3 in x
4.071 * [taylor]: Taking taylor expansion of (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in x
4.071 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
4.071 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
4.071 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.071 * [taylor]: Taking taylor expansion of 3.0 in x
4.071 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.071 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.071 * [taylor]: Taking taylor expansion of x in x
4.071 * [taylor]: Taking taylor expansion of 1.0 in x
4.071 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.071 * [taylor]: Taking taylor expansion of 4.0 in x
4.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.071 * [taylor]: Taking taylor expansion of x in x
4.071 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.071 * [taylor]: Taking taylor expansion of 3.0 in x
4.075 * [approximate]: Taking taylor expansion of (* (cbrt 3.0) (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 1/3)) in (x) around 0
4.075 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 1/3)) in x
4.075 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.075 * [taylor]: Taking taylor expansion of 3.0 in x
4.075 * [taylor]: Taking taylor expansion of (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 1/3) in x
4.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))))) in x
4.075 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)))) in x
4.075 * [taylor]: Taking taylor expansion of 1/3 in x
4.075 * [taylor]: Taking taylor expansion of (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
4.075 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
4.075 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.075 * [taylor]: Taking taylor expansion of 3.0 in x
4.075 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.075 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.075 * [taylor]: Taking taylor expansion of x in x
4.075 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
4.075 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.075 * [taylor]: Taking taylor expansion of 4.0 in x
4.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.075 * [taylor]: Taking taylor expansion of x in x
4.075 * [taylor]: Taking taylor expansion of 1.0 in x
4.075 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 1/3)) in x
4.075 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.075 * [taylor]: Taking taylor expansion of 3.0 in x
4.075 * [taylor]: Taking taylor expansion of (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 1/3) in x
4.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))))) in x
4.075 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)))) in x
4.075 * [taylor]: Taking taylor expansion of 1/3 in x
4.075 * [taylor]: Taking taylor expansion of (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
4.076 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
4.076 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.076 * [taylor]: Taking taylor expansion of 3.0 in x
4.076 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.076 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.076 * [taylor]: Taking taylor expansion of x in x
4.076 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
4.076 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.076 * [taylor]: Taking taylor expansion of 4.0 in x
4.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.076 * [taylor]: Taking taylor expansion of x in x
4.076 * [taylor]: Taking taylor expansion of 1.0 in x
4.079 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
4.082 * [approximate]: Taking taylor expansion of (* (cbrt 3.0) (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 1/3)) in (x) around 0
4.082 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 1/3)) in x
4.082 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.082 * [taylor]: Taking taylor expansion of 3.0 in x
4.082 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 1/3) in x
4.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))))) in x
4.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)))) in x
4.082 * [taylor]: Taking taylor expansion of 1/3 in x
4.082 * [taylor]: Taking taylor expansion of (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
4.082 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
4.082 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
4.082 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.082 * [taylor]: Taking taylor expansion of 3.0 in x
4.082 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.082 * [taylor]: Taking taylor expansion of x in x
4.082 * [taylor]: Taking taylor expansion of 1.0 in x
4.082 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
4.082 * [taylor]: Taking taylor expansion of 4.0 in x
4.082 * [taylor]: Taking taylor expansion of x in x
4.083 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 1/3)) in x
4.083 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.083 * [taylor]: Taking taylor expansion of 3.0 in x
4.083 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 1/3) in x
4.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))))) in x
4.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)))) in x
4.083 * [taylor]: Taking taylor expansion of 1/3 in x
4.083 * [taylor]: Taking taylor expansion of (log (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
4.083 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
4.083 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
4.083 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.083 * [taylor]: Taking taylor expansion of 3.0 in x
4.083 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.083 * [taylor]: Taking taylor expansion of x in x
4.083 * [taylor]: Taking taylor expansion of 1.0 in x
4.083 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
4.083 * [taylor]: Taking taylor expansion of 4.0 in x
4.083 * [taylor]: Taking taylor expansion of x in x
4.086 * [approximate]: Taking taylor expansion of (* (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 1/3) (cbrt 3.0)) in (x) around 0
4.086 * [taylor]: Taking taylor expansion of (* (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 1/3) (cbrt 3.0)) in x
4.086 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 1/3) in x
4.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))))) in x
4.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))))) in x
4.086 * [taylor]: Taking taylor expansion of 1/3 in x
4.086 * [taylor]: Taking taylor expansion of (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in x
4.086 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
4.086 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
4.086 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.086 * [taylor]: Taking taylor expansion of 3.0 in x
4.086 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.086 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.086 * [taylor]: Taking taylor expansion of x in x
4.086 * [taylor]: Taking taylor expansion of 1.0 in x
4.086 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.086 * [taylor]: Taking taylor expansion of 4.0 in x
4.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.086 * [taylor]: Taking taylor expansion of x in x
4.086 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.086 * [taylor]: Taking taylor expansion of 3.0 in x
4.087 * [taylor]: Taking taylor expansion of (* (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 1/3) (cbrt 3.0)) in x
4.087 * [taylor]: Taking taylor expansion of (pow (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) 1/3) in x
4.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))))) in x
4.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))))) in x
4.087 * [taylor]: Taking taylor expansion of 1/3 in x
4.087 * [taylor]: Taking taylor expansion of (log (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in x
4.087 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
4.087 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
4.087 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.087 * [taylor]: Taking taylor expansion of 3.0 in x
4.087 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.087 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.087 * [taylor]: Taking taylor expansion of x in x
4.087 * [taylor]: Taking taylor expansion of 1.0 in x
4.087 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.087 * [taylor]: Taking taylor expansion of 4.0 in x
4.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.087 * [taylor]: Taking taylor expansion of x in x
4.087 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.087 * [taylor]: Taking taylor expansion of 3.0 in x
4.091 * [approximate]: Taking taylor expansion of (* (cbrt 3.0) (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 1/3)) in (x) around 0
4.091 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 1/3)) in x
4.091 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.091 * [taylor]: Taking taylor expansion of 3.0 in x
4.091 * [taylor]: Taking taylor expansion of (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 1/3) in x
4.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))))) in x
4.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)))) in x
4.091 * [taylor]: Taking taylor expansion of 1/3 in x
4.091 * [taylor]: Taking taylor expansion of (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
4.091 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
4.091 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.091 * [taylor]: Taking taylor expansion of 3.0 in x
4.091 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.091 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.091 * [taylor]: Taking taylor expansion of x in x
4.091 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
4.091 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.091 * [taylor]: Taking taylor expansion of 4.0 in x
4.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.091 * [taylor]: Taking taylor expansion of x in x
4.091 * [taylor]: Taking taylor expansion of 1.0 in x
4.091 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 1/3)) in x
4.091 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
4.091 * [taylor]: Taking taylor expansion of 3.0 in x
4.091 * [taylor]: Taking taylor expansion of (pow (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) 1/3) in x
4.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))))) in x
4.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)))) in x
4.091 * [taylor]: Taking taylor expansion of 1/3 in x
4.091 * [taylor]: Taking taylor expansion of (log (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
4.092 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
4.092 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.092 * [taylor]: Taking taylor expansion of 3.0 in x
4.092 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.092 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.092 * [taylor]: Taking taylor expansion of x in x
4.092 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
4.092 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.092 * [taylor]: Taking taylor expansion of 4.0 in x
4.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.092 * [taylor]: Taking taylor expansion of x in x
4.092 * [taylor]: Taking taylor expansion of 1.0 in x
4.095 * * * [progress]: simplifying candidates
4.097 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ 1/3 1/3)
  (+ 1 1)
  (* (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))) (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (+ 1 1)
  (+ (log (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (log (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (log (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (exp (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (* (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))) (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (cbrt (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))) (cbrt (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))))
  (cbrt (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (* (* (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))) (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (sqrt (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (sqrt (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (* (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))) (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))))
  (* (cbrt (+ (* 1.0 1.0) (- (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (+ (* 1.0 1.0) (- (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* 1.0 (* x (- (* x 3.0) 4.0)))))))
  (* (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))) (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))))
  (* (cbrt (+ (* 1.0 1.0) (- (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (- 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))) (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))))
  (* (cbrt (- 1.0 (* x (- (* x 3.0) 4.0)))) (cbrt (+ (* 1.0 1.0) (- (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* 1.0 (* x (- (* x 3.0) 4.0)))))))
  (* (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))) (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))))
  (* (cbrt (- 1.0 (* x (- (* x 3.0) 4.0)))) (cbrt (- 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (cbrt 3.0) (cbrt 3.0))
  (* (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))) (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (* (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))) (* (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))))
  (* (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (* (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (* (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (* 1 1)
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (* (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt 3.0))
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (* (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))))
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) 1)
  (* (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))))
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))))
  (* (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (log (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (exp (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (cbrt 3.0)
  (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3))))
  (cbrt (+ (* 1.0 1.0) (- (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* 1.0 (* x (- (* x 3.0) 4.0))))))
  (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))))))
  (cbrt (- 1.0 (* x (- (* x 3.0) 4.0))))
  (* (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (log (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (exp (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (cbrt 3.0)
  (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3))))
  (cbrt (+ (* 1.0 1.0) (- (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* 1.0 (* x (- (* x 3.0) 4.0))))))
  (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))))))
  (cbrt (- 1.0 (* x (- (* x 3.0) 4.0))))
  (* (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (log (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (exp (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (cbrt 3.0)
  (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3))))
  (cbrt (+ (* 1.0 1.0) (- (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* 1.0 (* x (- (* x 3.0) 4.0))))))
  (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))))))
  (cbrt (- 1.0 (* x (- (* x 3.0) 4.0))))
  (* (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (- (+ (* 10.88888888888889 (* (* (pow x 2) (pow (cbrt 3.0) 2)) (pow 1.0 1/3))) (* (pow (cbrt 3.0) 2) (pow 1.0 1/3))) (+ (* 2.6666666666666665 (* (* x (pow (cbrt 3.0) 2)) (pow 1.0 1/3))) (* 10.666666666666666 (* (* (pow x 2) (pow (cbrt 3.0) 2)) (pow (/ 1 (pow 1.0 5)) 1/3)))))
  (- (+ (* 1.2098765432098766 (/ (* (exp (* 1/3 (- (log 9.0) (* 4 (log (/ 1 x)))))) (pow (cbrt 3.0) 2)) (pow x 2))) (* (exp (* 1/3 (- (log 9.0) (* 4 (log (/ 1 x)))))) (pow (cbrt 3.0) 2))) (+ (* 0.8888888888888888 (/ (* (exp (* 1/3 (- (log 9.0) (* 4 (log (/ 1 x)))))) (pow (cbrt 3.0) 2)) x)) (* 96.0 (/ (* (exp (* 1/3 (- (log 9.0) (* 4 (log (/ 1 x)))))) (pow (cbrt 3.0) 2)) (* (pow 9.0 2) (pow x 2))))))
  (- (+ (* 1.2098765432098766 (/ (* (pow (cbrt 3.0) 2) (exp (* 1/3 (- (log 9.0) (* 4 (log (/ -1 x))))))) (pow x 2))) (* (pow (cbrt 3.0) 2) (exp (* 1/3 (- (log 9.0) (* 4 (log (/ -1 x)))))))) (+ (* 96.0 (/ (* (pow (cbrt 3.0) 2) (exp (* 1/3 (- (log 9.0) (* 4 (log (/ -1 x))))))) (* (pow x 2) (pow 9.0 2)))) (* 0.8888888888888888 (/ (* (pow (cbrt 3.0) 2) (exp (* 1/3 (- (log 9.0) (* 4 (log (/ -1 x))))))) x))))
  (- (+ (* (cbrt 3.0) (pow 1.0 1/3)) (* 1.8888888888888888 (* (* (pow x 2) (cbrt 3.0)) (pow 1.0 1/3)))) (+ (* 2.6666666666666665 (* (* (pow x 2) (cbrt 3.0)) (pow (/ 1 (pow 1.0 5)) 1/3))) (* 1.3333333333333333 (* (* x (cbrt 3.0)) (pow 1.0 1/3)))))
  (- (+ (* 0.20987654320987653 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ 1 x))))))) (pow x 2))) (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ 1 x)))))))) (+ (* 0.4444444444444444 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ 1 x))))))) x)) (* 2.6666666666666665 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ 1 x))))))) (* (pow x 2) (pow 3.0 2))))))
  (- (+ (* 0.20987654320987653 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) (pow x 2))) (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x)))))))) (+ (* 0.4444444444444444 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) x)) (* 2.6666666666666665 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow 3.0 2))))))
  (- (+ (* (cbrt 3.0) (pow 1.0 1/3)) (* 1.8888888888888888 (* (* (pow x 2) (cbrt 3.0)) (pow 1.0 1/3)))) (+ (* 2.6666666666666665 (* (* (pow x 2) (cbrt 3.0)) (pow (/ 1 (pow 1.0 5)) 1/3))) (* 1.3333333333333333 (* (* x (cbrt 3.0)) (pow 1.0 1/3)))))
  (- (+ (* 0.20987654320987653 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ 1 x))))))) (pow x 2))) (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ 1 x)))))))) (+ (* 0.4444444444444444 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ 1 x))))))) x)) (* 2.6666666666666665 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ 1 x))))))) (* (pow x 2) (pow 3.0 2))))))
  (- (+ (* 0.20987654320987653 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) (pow x 2))) (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x)))))))) (+ (* 0.4444444444444444 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) x)) (* 2.6666666666666665 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow 3.0 2))))))
  (- (+ (* (cbrt 3.0) (pow 1.0 1/3)) (* 1.8888888888888888 (* (* (pow x 2) (cbrt 3.0)) (pow 1.0 1/3)))) (+ (* 2.6666666666666665 (* (* (pow x 2) (cbrt 3.0)) (pow (/ 1 (pow 1.0 5)) 1/3))) (* 1.3333333333333333 (* (* x (cbrt 3.0)) (pow 1.0 1/3)))))
  (- (+ (* 0.20987654320987653 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ 1 x))))))) (pow x 2))) (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ 1 x)))))))) (+ (* 0.4444444444444444 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ 1 x))))))) x)) (* 2.6666666666666665 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ 1 x))))))) (* (pow x 2) (pow 3.0 2))))))
  (- (+ (* 0.20987654320987653 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) (pow x 2))) (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x)))))))) (+ (* 0.4444444444444444 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) x)) (* 2.6666666666666665 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow 3.0 2))))))
4.106 * * [simplify]: iteration  0 :  187  enodes  (cost  2796 )
4.139 * * [simplify]: iteration  1 :  490  enodes  (cost  2584 )
4.241 * * [simplify]: iteration  2 :  1781  enodes  (cost  2402 )
4.681 * * [simplify]: iteration  done :  5001  enodes  (cost  2402 )
4.682 * [simplify]: Simplified to:
   2/3
  2
  (* (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))) (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  2
  (* 2 (log (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (* 2 (log (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (exp (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (* (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))) (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (cbrt (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))) (cbrt (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))))
  (cbrt (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (pow (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) 3)
  (fabs (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (fabs (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))) (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))))
  (* (cbrt (+ (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (- (* x (- (* x 3.0) 4.0)) 1.0)))) (cbrt (+ (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (- (* x (- (* x 3.0) 4.0)) 1.0)))))
  (* (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))) (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))))
  (* (cbrt (+ (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (- (* x (- (* x 3.0) 4.0)) 1.0)))) (cbrt (- 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))) (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))))
  (* (cbrt (+ (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (- (* x (- (* x 3.0) 4.0)) 1.0)))) (cbrt (- 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))) (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))))
  (* (cbrt (- 1.0 (* x (- (* x 3.0) 4.0)))) (cbrt (- 1.0 (* x (- (* x 3.0) 4.0)))))
  (pow (cbrt 3.0) 2)
  (* (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))) (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (pow (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) 3))
  (* (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  1
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  2/3
  2
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt 3.0))
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (* (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))))
  (pow (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) 3)
  (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (pow (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) 3)
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))))
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))))
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))))
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))))
  (log (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (exp (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (cbrt 3.0)
  (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3))))
  (cbrt (+ (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (- (* x (- (* x 3.0) 4.0)) 1.0))))
  (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))))))
  (cbrt (- 1.0 (* x (- (* x 3.0) 4.0))))
  (* (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (pow (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) 3)
  (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (log (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (exp (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (cbrt 3.0)
  (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3))))
  (cbrt (+ (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (- (* x (- (* x 3.0) 4.0)) 1.0))))
  (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))))))
  (cbrt (- 1.0 (* x (- (* x 3.0) 4.0))))
  (* (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (pow (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) 3)
  (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (log (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (exp (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (cbrt 3.0)
  (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (cbrt (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3))))
  (cbrt (+ (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (- (* x (- (* x 3.0) 4.0)) 1.0))))
  (cbrt (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))))))
  (cbrt (- 1.0 (* x (- (* x 3.0) 4.0))))
  (* (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (cbrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (pow (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) 3)
  (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (sqrt (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (- (* (cbrt 1.0) (+ (* 10.88888888888889 (* (pow x 2) (pow (cbrt 3.0) 2))) (pow (cbrt 3.0) 2))) (+ (* (* 10.666666666666666 (* (pow x 2) (pow (cbrt 3.0) 2))) (cbrt (/ 1 (pow 1.0 5)))) (* 2.6666666666666665 (* x (* (pow (cbrt 3.0) 2) (cbrt 1.0))))))
  (- (+ (* 1.2098765432098766 (/ (pow (exp 1/3) (- (log 9.0) (* (neg (log x)) 4))) (/ (pow x 2) (pow (cbrt 3.0) 2)))) (* (pow (exp 1/3) (- (log 9.0) (* (neg (log x)) 4))) (pow (cbrt 3.0) 2))) (+ (* 0.8888888888888888 (/ (pow (exp 1/3) (- (log 9.0) (* (neg (log x)) 4))) (/ x (pow (cbrt 3.0) 2)))) (* (/ (pow (exp 1/3) (- (log 9.0) (* (neg (log x)) 4))) (/ (* (pow x 2) (pow 9.0 2)) (pow (cbrt 3.0) 2))) 96.0)))
  (- (+ (* 1.2098765432098766 (/ (* (pow (cbrt 3.0) 2) (exp (* 1/3 (- (log 9.0) (* 4 (log (/ -1 x))))))) (pow x 2))) (* (pow (cbrt 3.0) 2) (exp (* 1/3 (- (log 9.0) (* 4 (log (/ -1 x)))))))) (+ (* 96.0 (/ (* (pow (cbrt 3.0) 2) (exp (* 1/3 (- (log 9.0) (* 4 (log (/ -1 x))))))) (* (pow x 2) (pow 9.0 2)))) (* 0.8888888888888888 (/ (* (pow (cbrt 3.0) 2) (exp (* 1/3 (- (log 9.0) (* 4 (log (/ -1 x))))))) x))))
  (- (- (* (cbrt 1.0) (+ (cbrt 3.0) (* 1.8888888888888888 (* (pow x 2) (cbrt 3.0))))) (* (* 1.3333333333333333 (* x (cbrt 3.0))) (cbrt 1.0))) (* (* (cbrt (/ 1 (pow 1.0 5))) (* (pow x 2) (cbrt 3.0))) 2.6666666666666665))
  (- (+ (* (cbrt 3.0) (pow (exp 1/3) (- (log 3.0) (* 2 (neg (log x)))))) (/ (* 0.20987654320987653 (* (cbrt 3.0) (pow (exp 1/3) (- (log 3.0) (* 2 (neg (log x))))))) (pow x 2))) (+ (* (/ (cbrt 3.0) (/ (* (pow x 2) (pow 3.0 2)) (pow (exp 1/3) (- (log 3.0) (* 2 (neg (log x))))))) 2.6666666666666665) (/ (* 0.4444444444444444 (* (cbrt 3.0) (pow (exp 1/3) (- (log 3.0) (* 2 (neg (log x))))))) x)))
  (- (+ (* 0.20987654320987653 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) (pow x 2))) (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x)))))))) (+ (* 0.4444444444444444 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) x)) (* 2.6666666666666665 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow 3.0 2))))))
  (- (- (* (cbrt 1.0) (+ (cbrt 3.0) (* 1.8888888888888888 (* (pow x 2) (cbrt 3.0))))) (* (* 1.3333333333333333 (* x (cbrt 3.0))) (cbrt 1.0))) (* (* (cbrt (/ 1 (pow 1.0 5))) (* (pow x 2) (cbrt 3.0))) 2.6666666666666665))
  (- (+ (* (cbrt 3.0) (pow (exp 1/3) (- (log 3.0) (* 2 (neg (log x)))))) (/ (* 0.20987654320987653 (* (cbrt 3.0) (pow (exp 1/3) (- (log 3.0) (* 2 (neg (log x))))))) (pow x 2))) (+ (* (/ (cbrt 3.0) (/ (* (pow x 2) (pow 3.0 2)) (pow (exp 1/3) (- (log 3.0) (* 2 (neg (log x))))))) 2.6666666666666665) (/ (* 0.4444444444444444 (* (cbrt 3.0) (pow (exp 1/3) (- (log 3.0) (* 2 (neg (log x))))))) x)))
  (- (+ (* 0.20987654320987653 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) (pow x 2))) (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x)))))))) (+ (* 0.4444444444444444 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) x)) (* 2.6666666666666665 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow 3.0 2))))))
  (- (- (* (cbrt 1.0) (+ (cbrt 3.0) (* 1.8888888888888888 (* (pow x 2) (cbrt 3.0))))) (* (* 1.3333333333333333 (* x (cbrt 3.0))) (cbrt 1.0))) (* (* (cbrt (/ 1 (pow 1.0 5))) (* (pow x 2) (cbrt 3.0))) 2.6666666666666665))
  (- (+ (* (cbrt 3.0) (pow (exp 1/3) (- (log 3.0) (* 2 (neg (log x)))))) (/ (* 0.20987654320987653 (* (cbrt 3.0) (pow (exp 1/3) (- (log 3.0) (* 2 (neg (log x))))))) (pow x 2))) (+ (* (/ (cbrt 3.0) (/ (* (pow x 2) (pow 3.0 2)) (pow (exp 1/3) (- (log 3.0) (* 2 (neg (log x))))))) 2.6666666666666665) (/ (* 0.4444444444444444 (* (cbrt 3.0) (pow (exp 1/3) (- (log 3.0) (* 2 (neg (log x))))))) x)))
  (- (+ (* 0.20987654320987653 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) (pow x 2))) (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x)))))))) (+ (* 0.4444444444444444 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) x)) (* 2.6666666666666665 (/ (* (cbrt 3.0) (exp (* 1/3 (- (log 3.0) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow 3.0 2))))))
4.683 * * * [progress]: adding candidates to table
4.990 * * [progress]: iteration 4 / 4
4.990 * * * [progress]: picking best candidate
4.997 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))))>
4.997 * * * [progress]: localizing error
5.006 * * * [progress]: generating rewritten candidates
5.006 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
5.015 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
5.022 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
5.029 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2)
5.035 * * * [progress]: generating series expansions
5.035 * * * * [progress]: [ 1 / 4 ] generating series at (2)
5.036 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3.0) 2) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in (x) around 0
5.036 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3.0) 2) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
5.036 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
5.036 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.036 * [taylor]: Taking taylor expansion of 3.0 in x
5.036 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
5.036 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
5.036 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
5.036 * [taylor]: Taking taylor expansion of 3.0 in x
5.036 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.036 * [taylor]: Taking taylor expansion of x in x
5.036 * [taylor]: Taking taylor expansion of 1.0 in x
5.036 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
5.036 * [taylor]: Taking taylor expansion of 4.0 in x
5.036 * [taylor]: Taking taylor expansion of x in x
5.036 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3.0) 2) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
5.036 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
5.036 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.036 * [taylor]: Taking taylor expansion of 3.0 in x
5.036 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
5.036 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
5.036 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
5.036 * [taylor]: Taking taylor expansion of 3.0 in x
5.036 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.036 * [taylor]: Taking taylor expansion of x in x
5.036 * [taylor]: Taking taylor expansion of 1.0 in x
5.036 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
5.036 * [taylor]: Taking taylor expansion of 4.0 in x
5.036 * [taylor]: Taking taylor expansion of x in x
5.038 * [approximate]: Taking taylor expansion of (* (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) (pow (sqrt 3.0) 2)) in (x) around 0
5.038 * [taylor]: Taking taylor expansion of (* (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) (pow (sqrt 3.0) 2)) in x
5.038 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
5.038 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
5.038 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
5.038 * [taylor]: Taking taylor expansion of 3.0 in x
5.038 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.038 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.038 * [taylor]: Taking taylor expansion of x in x
5.038 * [taylor]: Taking taylor expansion of 1.0 in x
5.038 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
5.038 * [taylor]: Taking taylor expansion of 4.0 in x
5.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.038 * [taylor]: Taking taylor expansion of x in x
5.038 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
5.038 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.038 * [taylor]: Taking taylor expansion of 3.0 in x
5.038 * [taylor]: Taking taylor expansion of (* (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) (pow (sqrt 3.0) 2)) in x
5.038 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
5.038 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
5.038 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
5.038 * [taylor]: Taking taylor expansion of 3.0 in x
5.038 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.038 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.038 * [taylor]: Taking taylor expansion of x in x
5.038 * [taylor]: Taking taylor expansion of 1.0 in x
5.038 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
5.038 * [taylor]: Taking taylor expansion of 4.0 in x
5.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.038 * [taylor]: Taking taylor expansion of x in x
5.038 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
5.038 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.038 * [taylor]: Taking taylor expansion of 3.0 in x
5.040 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3.0) 2) (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in (x) around 0
5.040 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3.0) 2) (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
5.041 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
5.041 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.041 * [taylor]: Taking taylor expansion of 3.0 in x
5.041 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
5.041 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
5.041 * [taylor]: Taking taylor expansion of 3.0 in x
5.041 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.041 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.041 * [taylor]: Taking taylor expansion of x in x
5.041 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
5.041 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
5.041 * [taylor]: Taking taylor expansion of 4.0 in x
5.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.041 * [taylor]: Taking taylor expansion of x in x
5.041 * [taylor]: Taking taylor expansion of 1.0 in x
5.041 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3.0) 2) (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
5.041 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
5.041 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.041 * [taylor]: Taking taylor expansion of 3.0 in x
5.041 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
5.041 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
5.041 * [taylor]: Taking taylor expansion of 3.0 in x
5.041 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.041 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.041 * [taylor]: Taking taylor expansion of x in x
5.041 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
5.041 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
5.041 * [taylor]: Taking taylor expansion of 4.0 in x
5.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.041 * [taylor]: Taking taylor expansion of x in x
5.041 * [taylor]: Taking taylor expansion of 1.0 in x
5.043 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
5.043 * [approximate]: Taking taylor expansion of (* (sqrt 3.0) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in (x) around 0
5.043 * [taylor]: Taking taylor expansion of (* (sqrt 3.0) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
5.043 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.043 * [taylor]: Taking taylor expansion of 3.0 in x
5.043 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
5.043 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
5.043 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
5.043 * [taylor]: Taking taylor expansion of 3.0 in x
5.043 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.043 * [taylor]: Taking taylor expansion of x in x
5.043 * [taylor]: Taking taylor expansion of 1.0 in x
5.043 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
5.043 * [taylor]: Taking taylor expansion of 4.0 in x
5.043 * [taylor]: Taking taylor expansion of x in x
5.043 * [taylor]: Taking taylor expansion of (* (sqrt 3.0) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
5.043 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.043 * [taylor]: Taking taylor expansion of 3.0 in x
5.043 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
5.043 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
5.043 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
5.043 * [taylor]: Taking taylor expansion of 3.0 in x
5.043 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.043 * [taylor]: Taking taylor expansion of x in x
5.043 * [taylor]: Taking taylor expansion of 1.0 in x
5.043 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
5.043 * [taylor]: Taking taylor expansion of 4.0 in x
5.043 * [taylor]: Taking taylor expansion of x in x
5.044 * [approximate]: Taking taylor expansion of (* (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) (sqrt 3.0)) in (x) around 0
5.044 * [taylor]: Taking taylor expansion of (* (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) (sqrt 3.0)) in x
5.044 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
5.044 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
5.044 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
5.044 * [taylor]: Taking taylor expansion of 3.0 in x
5.044 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.044 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.044 * [taylor]: Taking taylor expansion of x in x
5.044 * [taylor]: Taking taylor expansion of 1.0 in x
5.044 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
5.044 * [taylor]: Taking taylor expansion of 4.0 in x
5.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.044 * [taylor]: Taking taylor expansion of x in x
5.044 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.044 * [taylor]: Taking taylor expansion of 3.0 in x
5.044 * [taylor]: Taking taylor expansion of (* (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) (sqrt 3.0)) in x
5.044 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
5.044 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
5.044 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
5.044 * [taylor]: Taking taylor expansion of 3.0 in x
5.044 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.045 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.045 * [taylor]: Taking taylor expansion of x in x
5.045 * [taylor]: Taking taylor expansion of 1.0 in x
5.045 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
5.045 * [taylor]: Taking taylor expansion of 4.0 in x
5.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.045 * [taylor]: Taking taylor expansion of x in x
5.045 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.045 * [taylor]: Taking taylor expansion of 3.0 in x
5.046 * [approximate]: Taking taylor expansion of (* (sqrt 3.0) (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in (x) around 0
5.046 * [taylor]: Taking taylor expansion of (* (sqrt 3.0) (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
5.046 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.046 * [taylor]: Taking taylor expansion of 3.0 in x
5.046 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
5.046 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
5.046 * [taylor]: Taking taylor expansion of 3.0 in x
5.046 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.046 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.046 * [taylor]: Taking taylor expansion of x in x
5.046 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
5.046 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
5.046 * [taylor]: Taking taylor expansion of 4.0 in x
5.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.046 * [taylor]: Taking taylor expansion of x in x
5.046 * [taylor]: Taking taylor expansion of 1.0 in x
5.046 * [taylor]: Taking taylor expansion of (* (sqrt 3.0) (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
5.046 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
5.046 * [taylor]: Taking taylor expansion of 3.0 in x
5.046 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
5.046 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
5.046 * [taylor]: Taking taylor expansion of 3.0 in x
5.046 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.046 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.046 * [taylor]: Taking taylor expansion of x in x
5.046 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
5.046 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
5.046 * [taylor]: Taking taylor expansion of 4.0 in x
5.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.046 * [taylor]: Taking taylor expansion of x in x
5.046 * [taylor]: Taking taylor expansion of 1.0 in x
5.047 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
5.047 * [approximate]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in (x) around 0
5.047 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
5.047 * [taylor]: Taking taylor expansion of x in x
5.047 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
5.047 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
5.047 * [taylor]: Taking taylor expansion of 3.0 in x
5.047 * [taylor]: Taking taylor expansion of x in x
5.047 * [taylor]: Taking taylor expansion of 4.0 in x
5.047 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
5.047 * [taylor]: Taking taylor expansion of x in x
5.047 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
5.047 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
5.048 * [taylor]: Taking taylor expansion of 3.0 in x
5.048 * [taylor]: Taking taylor expansion of x in x
5.048 * [taylor]: Taking taylor expansion of 4.0 in x
5.049 * [approximate]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in (x) around 0
5.049 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
5.049 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
5.049 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.049 * [taylor]: Taking taylor expansion of 3.0 in x
5.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.049 * [taylor]: Taking taylor expansion of x in x
5.049 * [taylor]: Taking taylor expansion of 4.0 in x
5.049 * [taylor]: Taking taylor expansion of x in x
5.049 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
5.049 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
5.049 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.049 * [taylor]: Taking taylor expansion of 3.0 in x
5.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.049 * [taylor]: Taking taylor expansion of x in x
5.049 * [taylor]: Taking taylor expansion of 4.0 in x
5.049 * [taylor]: Taking taylor expansion of x in x
5.051 * [approximate]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in (x) around 0
5.051 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in x
5.051 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
5.051 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.051 * [taylor]: Taking taylor expansion of 3.0 in x
5.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.051 * [taylor]: Taking taylor expansion of x in x
5.051 * [taylor]: Taking taylor expansion of 4.0 in x
5.051 * [taylor]: Taking taylor expansion of x in x
5.051 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in x
5.051 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
5.051 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.051 * [taylor]: Taking taylor expansion of 3.0 in x
5.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.051 * [taylor]: Taking taylor expansion of x in x
5.051 * [taylor]: Taking taylor expansion of 4.0 in x
5.051 * [taylor]: Taking taylor expansion of x in x
5.053 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2)
5.053 * [approximate]: Taking taylor expansion of (- (* 3.0 x) 4.0) in (x) around 0
5.053 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
5.053 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
5.053 * [taylor]: Taking taylor expansion of 3.0 in x
5.053 * [taylor]: Taking taylor expansion of x in x
5.053 * [taylor]: Taking taylor expansion of 4.0 in x
5.053 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
5.053 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
5.053 * [taylor]: Taking taylor expansion of 3.0 in x
5.053 * [taylor]: Taking taylor expansion of x in x
5.053 * [taylor]: Taking taylor expansion of 4.0 in x
5.054 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in (x) around 0
5.054 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
5.054 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.054 * [taylor]: Taking taylor expansion of 3.0 in x
5.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.054 * [taylor]: Taking taylor expansion of x in x
5.054 * [taylor]: Taking taylor expansion of 4.0 in x
5.054 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
5.054 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.054 * [taylor]: Taking taylor expansion of 3.0 in x
5.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.054 * [taylor]: Taking taylor expansion of x in x
5.054 * [taylor]: Taking taylor expansion of 4.0 in x
5.055 * [approximate]: Taking taylor expansion of (neg (+ (* 3.0 (/ 1 x)) 4.0)) in (x) around 0
5.055 * [taylor]: Taking taylor expansion of (neg (+ (* 3.0 (/ 1 x)) 4.0)) in x
5.055 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
5.055 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.056 * [taylor]: Taking taylor expansion of 3.0 in x
5.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.056 * [taylor]: Taking taylor expansion of x in x
5.056 * [taylor]: Taking taylor expansion of 4.0 in x
5.056 * [taylor]: Taking taylor expansion of (neg (+ (* 3.0 (/ 1 x)) 4.0)) in x
5.056 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
5.056 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
5.056 * [taylor]: Taking taylor expansion of 3.0 in x
5.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.056 * [taylor]: Taking taylor expansion of x in x
5.056 * [taylor]: Taking taylor expansion of 4.0 in x
5.057 * * * [progress]: simplifying candidates
5.058 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (+ (log (sqrt 3.0)) (+ (log (sqrt 3.0)) (log (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (+ (log (sqrt 3.0)) (log (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (log (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (exp (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* (+ 1.0 (* x (- (* x 3.0) 4.0))) (+ 1.0 (* x (- (* x 3.0) 4.0)))) (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (cbrt (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))))
  (cbrt (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (* (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))) (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (sqrt (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (sqrt (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (sqrt 3.0) (* (sqrt 3.0) 1.0))
  (* (sqrt 3.0) (* (sqrt 3.0) (* x (- (* x 3.0) 4.0))))
  (* (sqrt 3.0) (* 1.0 (sqrt 3.0)))
  (* (sqrt 3.0) (* (* x (- (* x 3.0) 4.0)) (sqrt 3.0)))
  (* (* (sqrt 3.0) 1.0) (sqrt 3.0))
  (* (* (sqrt 3.0) (* x (- (* x 3.0) 4.0))) (sqrt 3.0))
  (* (* 1.0 (sqrt 3.0)) (sqrt 3.0))
  (* (* (* x (- (* x 3.0) 4.0)) (sqrt 3.0)) (sqrt 3.0))
  (* (sqrt 3.0) (sqrt 3.0))
  (* (cbrt (sqrt 3.0)) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt (cbrt 3.0)) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt (sqrt 3.0)) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt (sqrt 3.0)) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt 3.0) (* (sqrt 3.0) (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3))))
  (* (sqrt 3.0) (* (sqrt 3.0) (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))))))
  (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (+ (log (sqrt 3.0)) (log (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (log (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (exp (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (* (* (sqrt 3.0) (sqrt 3.0)) (sqrt 3.0)) (* (* (+ 1.0 (* x (- (* x 3.0) 4.0))) (+ 1.0 (* x (- (* x 3.0) 4.0)))) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (cbrt (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (cbrt (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (* (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (sqrt (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (sqrt (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt (sqrt 3.0)) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt (sqrt 3.0)) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt (sqrt 3.0)) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt (sqrt 3.0)) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt 3.0) 1.0)
  (* (sqrt 3.0) (* x (- (* x 3.0) 4.0)))
  (* 1.0 (sqrt 3.0))
  (* (* x (- (* x 3.0) 4.0)) (sqrt 3.0))
  (* (sqrt 3.0) (* (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))) (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (sqrt 3.0) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt 3.0) 1)
  (* (cbrt (sqrt 3.0)) (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* (sqrt (cbrt 3.0)) (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* (sqrt (sqrt 3.0)) (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* (sqrt (sqrt 3.0)) (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* (sqrt 3.0) (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))
  (* (sqrt 3.0) (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))
  (* x (- (* x 3.0) 4.0))
  (+ (log x) (log (- (* x 3.0) 4.0)))
  (log (* x (- (* x 3.0) 4.0)))
  (exp (* x (- (* x 3.0) 4.0)))
  (* (* (* x x) x) (* (* (- (* x 3.0) 4.0) (- (* x 3.0) 4.0)) (- (* x 3.0) 4.0)))
  (* (cbrt (* x (- (* x 3.0) 4.0))) (cbrt (* x (- (* x 3.0) 4.0))))
  (cbrt (* x (- (* x 3.0) 4.0)))
  (* (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* x (* x 3.0))
  (* x (neg 4.0))
  (* x (* x 3.0))
  (* x (neg 4.0))
  (* (* x 3.0) x)
  (* (neg 4.0) x)
  (* (* x 3.0) x)
  (* (neg 4.0) x)
  (* x (* (cbrt (- (* x 3.0) 4.0)) (cbrt (- (* x 3.0) 4.0))))
  (* x (sqrt (- (* x 3.0) 4.0)))
  (* x 1)
  (* (cbrt x) (- (* x 3.0) 4.0))
  (* (sqrt x) (- (* x 3.0) 4.0))
  (* x (- (* x 3.0) 4.0))
  (* x (- (pow (* x 3.0) 3) (pow 4.0 3)))
  (* x (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0)))
  (/ (exp (* x 3.0)) (exp 4.0))
  (log (- (* x 3.0) 4.0))
  (exp (- (* x 3.0) 4.0))
  (* (cbrt (- (* x 3.0) 4.0)) (cbrt (- (* x 3.0) 4.0)))
  (cbrt (- (* x 3.0) 4.0))
  (* (* (- (* x 3.0) 4.0) (- (* x 3.0) 4.0)) (- (* x 3.0) 4.0))
  (sqrt (- (* x 3.0) 4.0))
  (sqrt (- (* x 3.0) 4.0))
  (- (pow (* x 3.0) 3) (pow 4.0 3))
  (+ (* (* x 3.0) (* x 3.0)) (+ (* 4.0 4.0) (* (* x 3.0) 4.0)))
  (neg 4.0)
  (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0))
  (+ (* x 3.0) 4.0)
  (neg 4.0)
  (- (+ (* 1.0 (pow (sqrt 3.0) 2)) (* 3.0 (* (pow (sqrt 3.0) 2) (pow x 2)))) (* 4.0 (* (pow (sqrt 3.0) 2) x)))
  (- (+ (* 1.0 (pow (sqrt 3.0) 2)) (* 3.0 (* (pow (sqrt 3.0) 2) (pow x 2)))) (* 4.0 (* (pow (sqrt 3.0) 2) x)))
  (- (+ (* 1.0 (pow (sqrt 3.0) 2)) (* 3.0 (* (pow (sqrt 3.0) 2) (pow x 2)))) (* 4.0 (* (pow (sqrt 3.0) 2) x)))
  (- (+ (* 3.0 (* (sqrt 3.0) (pow x 2))) (* 1.0 (sqrt 3.0))) (* 4.0 (* (sqrt 3.0) x)))
  (- (+ (* 3.0 (* (sqrt 3.0) (pow x 2))) (* 1.0 (sqrt 3.0))) (* 4.0 (* (sqrt 3.0) x)))
  (- (+ (* 3.0 (* (sqrt 3.0) (pow x 2))) (* 1.0 (sqrt 3.0))) (* 4.0 (* (sqrt 3.0) x)))
  (- (* 3.0 (pow x 2)) (* 4.0 x))
  (- (* 3.0 (pow x 2)) (* 4.0 x))
  (- (* 3.0 (pow x 2)) (* 4.0 x))
  (- (* 3.0 x) 4.0)
  (- (* 3.0 x) 4.0)
  (- (* 3.0 x) 4.0)
5.063 * * [simplify]: iteration  0 :  145  enodes  (cost  1514 )
5.103 * * [simplify]: iteration  1 :  372  enodes  (cost  1329 )
5.195 * * [simplify]: iteration  2 :  1215  enodes  (cost  1185 )
6.511 * * [simplify]: iteration  3 :  4899  enodes  (cost  1141 )
7.769 * * [simplify]: iteration  done :  5000  enodes  (cost  1141 )
7.770 * [simplify]: Simplified to:
   (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (log (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (log (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (log (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (exp (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (pow (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))) 3)
  (pow (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))) 3)
  (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (pow (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))) 3)
  (sqrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (sqrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* 1.0 3.0)
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (* 1.0 3.0)
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (* 1.0 3.0)
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (* 1.0 3.0)
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  3.0
  (* (cbrt (sqrt 3.0)) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt (cbrt 3.0)) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt (sqrt 3.0)) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* (sqrt (sqrt 3.0)) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* 3.0 (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))
  (* 3.0 (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))
  (* (+ 1.0 (* x (- (* x 3.0) 4.0))) (sqrt 3.0))
  (log (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (log (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (exp (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (pow (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))) 3)
  (* (cbrt (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (cbrt (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (pow (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))) 3)
  (sqrt (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (sqrt (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt (sqrt 3.0)) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt (sqrt 3.0)) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt (sqrt 3.0)) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt (sqrt 3.0)) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (* (sqrt 3.0) 1.0)
  (* (* (- (* x 3.0) 4.0) x) (sqrt 3.0))
  (* (sqrt 3.0) 1.0)
  (* (* (- (* x 3.0) 4.0) x) (sqrt 3.0))
  (* (sqrt 3.0) (* (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))) (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))))
  (* (sqrt 3.0) (sqrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))
  (sqrt 3.0)
  (* (cbrt (sqrt 3.0)) (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* (sqrt (cbrt 3.0)) (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* (sqrt (sqrt 3.0)) (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* (+ 1.0 (* x (- (* x 3.0) 4.0))) (sqrt 3.0))
  (* (sqrt (sqrt 3.0)) (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* (+ 1.0 (* x (- (* x 3.0) 4.0))) (sqrt 3.0))
  (* (sqrt 3.0) (+ (pow 1.0 3) (pow (* x (- (* x 3.0) 4.0)) 3)))
  (* (sqrt 3.0) (- (* 1.0 1.0) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))
  (* (- (* x 3.0) 4.0) x)
  (log (* x (- (* x 3.0) 4.0)))
  (log (* x (- (* x 3.0) 4.0)))
  (exp (* x (- (* x 3.0) 4.0)))
  (pow (* (- (* x 3.0) 4.0) x) 3)
  (* (cbrt (* x (- (* x 3.0) 4.0))) (cbrt (* x (- (* x 3.0) 4.0))))
  (cbrt (* x (- (* x 3.0) 4.0)))
  (pow (* (- (* x 3.0) 4.0) x) 3)
  (sqrt (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* x (* 3.0 x))
  (* (neg 4.0) x)
  (* x (* 3.0 x))
  (* (neg 4.0) x)
  (* x (* 3.0 x))
  (* (neg 4.0) x)
  (* x (* 3.0 x))
  (* (neg 4.0) x)
  (* x (* (cbrt (- (* x 3.0) 4.0)) (cbrt (- (* x 3.0) 4.0))))
  (* x (sqrt (- (* x 3.0) 4.0)))
  x
  (* (cbrt x) (- (* x 3.0) 4.0))
  (* (sqrt x) (- (* x 3.0) 4.0))
  (* (- (* x 3.0) 4.0) x)
  (* x (- (pow (* x 3.0) 3) (pow 4.0 3)))
  (* x (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0)))
  (exp (- (* 3.0 x) 4.0))
  (log (- (* x 3.0) 4.0))
  (exp (- (* 3.0 x) 4.0))
  (* (cbrt (- (* x 3.0) 4.0)) (cbrt (- (* x 3.0) 4.0)))
  (cbrt (- (* x 3.0) 4.0))
  (pow (- (* x 3.0) 4.0) 3)
  (sqrt (- (* x 3.0) 4.0))
  (sqrt (- (* x 3.0) 4.0))
  (- (pow (* x 3.0) 3) (pow 4.0 3))
  (+ (* 4.0 4.0) (* (* 3.0 x) (+ (* x 3.0) 4.0)))
  (neg 4.0)
  (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0))
  (+ (* x 3.0) 4.0)
  (neg 4.0)
  (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))
  (* (+ 1.0 (* x (- (* x 3.0) 4.0))) (sqrt 3.0))
  (* (+ 1.0 (* x (- (* x 3.0) 4.0))) (sqrt 3.0))
  (* (+ 1.0 (* x (- (* x 3.0) 4.0))) (sqrt 3.0))
  (* (- (* x 3.0) 4.0) x)
  (* (- (* x 3.0) 4.0) x)
  (* (- (* x 3.0) 4.0) x)
  (- (* x 3.0) 4.0)
  (- (* x 3.0) 4.0)
  (- (* x 3.0) 4.0)
7.770 * * * [progress]: adding candidates to table
7.905 * [progress]: [Phase 3 of 3] Extracting.
7.905 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (* x (- (* x 9.0) 12.0)) 3.0))> #<alt (λ (x) (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))> #<alt (λ (x) (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))))> #<alt (λ (x) (+ (* (sqrt (* x (- (* x 9.0) 12.0))) (sqrt (* x (- (* x 9.0) 12.0)))) 3.0))> #<alt (λ (x) (* (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))>)
7.906 * * * [regime-changes]: Trying 1 branch expressions: (x)
7.906 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (* x (- (* x 9.0) 12.0)) 3.0))> #<alt (λ (x) (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))> #<alt (λ (x) (* (sqrt 3.0) (* (sqrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))))> #<alt (λ (x) (+ (* (sqrt (* x (- (* x 9.0) 12.0))) (sqrt (* x (- (* x 9.0) 12.0)))) 3.0))> #<alt (λ (x) (* (* (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))) (cbrt (* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0)))))))>)
7.939 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
7.940 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (* x (- (* x 9.0) 12.0)) 3.0)
7.940 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
7.940 * * [simplify]: iteration  1 :  11  enodes  (cost  9 )
7.940 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
7.940 * [simplify]: Simplified to:
   (+ (* x (- (* x 9.0) 12.0)) 3.0)
8.894 * [regime-testing]: End program error score: 0.08835770965524813
8.948 * [regime-testing]: Target error score: 0.09232532630660031