17.147 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.012 * * * [progress]: [2/2] Setting up program.
0.015 * [progress]: [Phase 2 of 3] Improving.
0.015 * [simplify]: Simplifying:
  (* (* x 3.0) x)
0.015 * * [simplify]: iteration 0: 4 enodes
0.016 * * [simplify]: iteration 1: 6 enodes
0.016 * * [simplify]: iteration 2: 8 enodes
0.018 * * [simplify]: iteration 3: 9 enodes
0.019 * * [simplify]: iteration complete: 9 enodes
0.019 * * [simplify]: Extracting #0: cost 1 inf + 0
0.019 * * [simplify]: Extracting #1: cost 5 inf + 0
0.019 * * [simplify]: Extracting #2: cost 3 inf + 2
0.019 * * [simplify]: Extracting #3: cost 0 inf + 167
0.019 * [simplify]: Simplified to:
  (* x (* x 3.0))
0.020 * * [progress]: iteration 1 / 4
0.020 * * * [progress]: picking best candidate
0.026 * * * * [pick]: Picked  #<alt (λ (x) (* (* x 3.0) x))>
0.026 * * * [progress]: localizing error
0.035 * * * [progress]: generating rewritten candidates
0.035 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.059 * * * [progress]: generating series expansions
0.059 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.059 * [backup-simplify]: Simplify (* (* x 3.0) x) into (* 3.0 (pow x 2))
0.059 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
0.059 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
0.059 * [taylor]: Taking taylor expansion of 3.0 in x
0.059 * [backup-simplify]: Simplify 3.0 into 3.0
0.059 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.059 * [taylor]: Taking taylor expansion of x in x
0.059 * [backup-simplify]: Simplify 0 into 0
0.059 * [backup-simplify]: Simplify 1 into 1
0.059 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
0.059 * [taylor]: Taking taylor expansion of 3.0 in x
0.060 * [backup-simplify]: Simplify 3.0 into 3.0
0.060 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.060 * [taylor]: Taking taylor expansion of x in x
0.060 * [backup-simplify]: Simplify 0 into 0
0.060 * [backup-simplify]: Simplify 1 into 1
0.061 * [backup-simplify]: Simplify (* 1 1) into 1
0.062 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
0.062 * [backup-simplify]: Simplify 3.0 into 3.0
0.062 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.063 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
0.063 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.065 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
0.065 * [backup-simplify]: Simplify 0 into 0
0.066 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.067 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.067 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.070 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.070 * [backup-simplify]: Simplify 0 into 0
0.072 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.073 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.073 * [backup-simplify]: Simplify 0 into 0
0.074 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.075 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.075 * [backup-simplify]: Simplify 0 into 0
0.075 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
0.075 * [backup-simplify]: Simplify (* (* (/ 1 x) 3.0) (/ 1 x)) into (/ 3.0 (pow x 2))
0.075 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
0.075 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.075 * [taylor]: Taking taylor expansion of 3.0 in x
0.075 * [backup-simplify]: Simplify 3.0 into 3.0
0.075 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.076 * [taylor]: Taking taylor expansion of x in x
0.076 * [backup-simplify]: Simplify 0 into 0
0.076 * [backup-simplify]: Simplify 1 into 1
0.076 * [backup-simplify]: Simplify (* 1 1) into 1
0.076 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.076 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.076 * [taylor]: Taking taylor expansion of 3.0 in x
0.076 * [backup-simplify]: Simplify 3.0 into 3.0
0.076 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.076 * [taylor]: Taking taylor expansion of x in x
0.076 * [backup-simplify]: Simplify 0 into 0
0.076 * [backup-simplify]: Simplify 1 into 1
0.076 * [backup-simplify]: Simplify (* 1 1) into 1
0.077 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.077 * [backup-simplify]: Simplify 3.0 into 3.0
0.077 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.078 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.078 * [backup-simplify]: Simplify 0 into 0
0.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.079 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.079 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.080 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.080 * [backup-simplify]: Simplify 0 into 0
0.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.081 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.081 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.083 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.084 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.084 * [backup-simplify]: Simplify 0 into 0
0.084 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
0.084 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) into (/ 3.0 (pow x 2))
0.084 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
0.084 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.084 * [taylor]: Taking taylor expansion of 3.0 in x
0.084 * [backup-simplify]: Simplify 3.0 into 3.0
0.084 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify 1 into 1
0.085 * [backup-simplify]: Simplify (* 1 1) into 1
0.085 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.085 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.085 * [taylor]: Taking taylor expansion of 3.0 in x
0.085 * [backup-simplify]: Simplify 3.0 into 3.0
0.085 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify 1 into 1
0.085 * [backup-simplify]: Simplify (* 1 1) into 1
0.086 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.086 * [backup-simplify]: Simplify 3.0 into 3.0
0.086 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.087 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.087 * [backup-simplify]: Simplify 0 into 0
0.087 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.088 * [backup-simplify]: Simplify 0 into 0
0.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.089 * [backup-simplify]: Simplify 0 into 0
0.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.090 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.090 * [backup-simplify]: Simplify 0 into 0
0.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.092 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.092 * [backup-simplify]: Simplify 0 into 0
0.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.093 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.093 * [backup-simplify]: Simplify 0 into 0
0.093 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
0.093 * * * [progress]: simplifying candidates
0.094 * [simplify]: Simplifying:
  (* (* x 3.0) x)
  (* (* x 3.0) x)
  (+ (+ (log x) (log 3.0)) (log x))
  (+ (log (* x 3.0)) (log x))
  (log (* (* x 3.0) x))
  (exp (* (* x 3.0) x))
  (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* x x) x))
  (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* x x) x))
  (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x)))
  (cbrt (* (* x 3.0) x))
  (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (* (* x 3.0) (* (cbrt x) (cbrt x)))
  (* (* x 3.0) (sqrt x))
  (* (* x 3.0) 1)
  (* 3.0 x)
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
0.094 * * [simplify]: iteration 0: 37 enodes
0.103 * * [simplify]: iteration 1: 97 enodes
0.161 * * [simplify]: iteration 2: 315 enodes
0.390 * * [simplify]: iteration 3: 1120 enodes
1.194 * * [simplify]: iteration complete: 5001 enodes
1.194 * * [simplify]: Extracting #0: cost 11 inf + 0
1.196 * * [simplify]: Extracting #1: cost 385 inf + 0
1.207 * * [simplify]: Extracting #2: cost 1561 inf + 15438
1.240 * * [simplify]: Extracting #3: cost 805 inf + 160533
1.300 * * [simplify]: Extracting #4: cost 45 inf + 254410
1.364 * * [simplify]: Extracting #5: cost 2 inf + 261326
1.430 * * [simplify]: Extracting #6: cost 0 inf + 261742
1.509 * [simplify]: Simplified to:
  (* x (* x 3.0))
  (* x (* x 3.0))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (exp (* x (* x 3.0)))
  (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x))
  (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x))
  (* (cbrt (* x (* x 3.0))) (cbrt (* x (* x 3.0))))
  (cbrt (* x (* x 3.0)))
  (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x))
  (sqrt (* x (* x 3.0)))
  (sqrt (* x (* x 3.0)))
  (* (* (* x 3.0) (cbrt x)) (cbrt x))
  (* (* x 3.0) (sqrt x))
  (* x 3.0)
  (* x 3.0)
  (* (* x 3.0) x)
  (* (* x 3.0) x)
  (* (* x 3.0) x)
1.510 * * * [progress]: adding candidates to table
1.566 * * [progress]: iteration 2 / 4
1.566 * * * [progress]: picking best candidate
1.575 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))))>
1.575 * * * [progress]: localizing error
1.587 * * * [progress]: generating rewritten candidates
1.587 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.607 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.626 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.741 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1.767 * * * [progress]: generating series expansions
1.767 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.767 * [backup-simplify]: Simplify (sqrt (* (* x 3.0) x)) into (* x (sqrt 3.0))
1.767 * [approximate]: Taking taylor expansion of (* x (sqrt 3.0)) in (x) around 0
1.767 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x
1.767 * [taylor]: Taking taylor expansion of x in x
1.767 * [backup-simplify]: Simplify 0 into 0
1.767 * [backup-simplify]: Simplify 1 into 1
1.767 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.767 * [taylor]: Taking taylor expansion of 3.0 in x
1.767 * [backup-simplify]: Simplify 3.0 into 3.0
1.768 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.768 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.768 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x
1.768 * [taylor]: Taking taylor expansion of x in x
1.768 * [backup-simplify]: Simplify 0 into 0
1.768 * [backup-simplify]: Simplify 1 into 1
1.768 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.768 * [taylor]: Taking taylor expansion of 3.0 in x
1.768 * [backup-simplify]: Simplify 3.0 into 3.0
1.769 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.769 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.770 * [backup-simplify]: Simplify (* 0 (sqrt 3.0)) into 0
1.770 * [backup-simplify]: Simplify 0 into 0
1.771 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 3.0))) into (sqrt 3.0)
1.771 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.772 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
1.773 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 3.0)))) into 0
1.773 * [backup-simplify]: Simplify 0 into 0
1.773 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.774 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
1.774 * [backup-simplify]: Simplify 0 into 0
1.775 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.776 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
1.776 * [backup-simplify]: Simplify 0 into 0
1.777 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.778 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
1.778 * [backup-simplify]: Simplify 0 into 0
1.779 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.780 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
1.780 * [backup-simplify]: Simplify 0 into 0
1.780 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.782 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))))) into 0
1.782 * [backup-simplify]: Simplify 0 into 0
1.782 * [backup-simplify]: Simplify (* (sqrt 3.0) x) into (* x (sqrt 3.0))
1.782 * [backup-simplify]: Simplify (sqrt (* (* (/ 1 x) 3.0) (/ 1 x))) into (/ (sqrt 3.0) x)
1.782 * [approximate]: Taking taylor expansion of (/ (sqrt 3.0) x) in (x) around 0
1.782 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
1.782 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.782 * [taylor]: Taking taylor expansion of 3.0 in x
1.782 * [backup-simplify]: Simplify 3.0 into 3.0
1.782 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.783 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.783 * [taylor]: Taking taylor expansion of x in x
1.783 * [backup-simplify]: Simplify 0 into 0
1.783 * [backup-simplify]: Simplify 1 into 1
1.783 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
1.783 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
1.783 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.783 * [taylor]: Taking taylor expansion of 3.0 in x
1.783 * [backup-simplify]: Simplify 3.0 into 3.0
1.784 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.784 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.784 * [taylor]: Taking taylor expansion of x in x
1.784 * [backup-simplify]: Simplify 0 into 0
1.784 * [backup-simplify]: Simplify 1 into 1
1.785 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
1.785 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.786 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)))) into 0
1.786 * [backup-simplify]: Simplify 0 into 0
1.787 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
1.788 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.788 * [backup-simplify]: Simplify 0 into 0
1.790 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.791 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.791 * [backup-simplify]: Simplify 0 into 0
1.792 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.794 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.794 * [backup-simplify]: Simplify 0 into 0
1.796 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.798 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.798 * [backup-simplify]: Simplify 0 into 0
1.800 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.801 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.801 * [backup-simplify]: Simplify 0 into 0
1.802 * [backup-simplify]: Simplify (* (sqrt 3.0) (/ 1 (/ 1 x))) into (* x (sqrt 3.0))
1.802 * [backup-simplify]: Simplify (sqrt (* (* (/ 1 (- x)) 3.0) (/ 1 (- x)))) into (/ (sqrt 3.0) x)
1.802 * [approximate]: Taking taylor expansion of (/ (sqrt 3.0) x) in (x) around 0
1.802 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
1.802 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.802 * [taylor]: Taking taylor expansion of 3.0 in x
1.802 * [backup-simplify]: Simplify 3.0 into 3.0
1.803 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.803 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.803 * [taylor]: Taking taylor expansion of x in x
1.803 * [backup-simplify]: Simplify 0 into 0
1.803 * [backup-simplify]: Simplify 1 into 1
1.804 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
1.804 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
1.804 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.804 * [taylor]: Taking taylor expansion of 3.0 in x
1.804 * [backup-simplify]: Simplify 3.0 into 3.0
1.805 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.806 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.806 * [taylor]: Taking taylor expansion of x in x
1.806 * [backup-simplify]: Simplify 0 into 0
1.806 * [backup-simplify]: Simplify 1 into 1
1.806 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
1.807 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.808 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)))) into 0
1.808 * [backup-simplify]: Simplify 0 into 0
1.809 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
1.810 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.810 * [backup-simplify]: Simplify 0 into 0
1.812 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.813 * [backup-simplify]: Simplify 0 into 0
1.815 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.816 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.816 * [backup-simplify]: Simplify 0 into 0
1.817 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.818 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.818 * [backup-simplify]: Simplify 0 into 0
1.820 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.821 * [backup-simplify]: Simplify 0 into 0
1.822 * [backup-simplify]: Simplify (* (sqrt 3.0) (/ 1 (/ 1 (- x)))) into (* -1 (* x (sqrt 3.0)))
1.822 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.822 * [backup-simplify]: Simplify (sqrt (* (* x 3.0) x)) into (* x (sqrt 3.0))
1.822 * [approximate]: Taking taylor expansion of (* x (sqrt 3.0)) in (x) around 0
1.822 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x
1.822 * [taylor]: Taking taylor expansion of x in x
1.822 * [backup-simplify]: Simplify 0 into 0
1.822 * [backup-simplify]: Simplify 1 into 1
1.822 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.822 * [taylor]: Taking taylor expansion of 3.0 in x
1.822 * [backup-simplify]: Simplify 3.0 into 3.0
1.823 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.823 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.823 * [taylor]: Taking taylor expansion of (* x (sqrt 3.0)) in x
1.823 * [taylor]: Taking taylor expansion of x in x
1.824 * [backup-simplify]: Simplify 0 into 0
1.824 * [backup-simplify]: Simplify 1 into 1
1.824 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.824 * [taylor]: Taking taylor expansion of 3.0 in x
1.824 * [backup-simplify]: Simplify 3.0 into 3.0
1.824 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.825 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.826 * [backup-simplify]: Simplify (* 0 (sqrt 3.0)) into 0
1.826 * [backup-simplify]: Simplify 0 into 0
1.828 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 3.0))) into (sqrt 3.0)
1.828 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.830 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
1.831 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 3.0)))) into 0
1.831 * [backup-simplify]: Simplify 0 into 0
1.832 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.833 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
1.833 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.836 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
1.836 * [backup-simplify]: Simplify 0 into 0
1.838 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.839 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
1.839 * [backup-simplify]: Simplify 0 into 0
1.841 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.843 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
1.843 * [backup-simplify]: Simplify 0 into 0
1.844 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.846 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))))) into 0
1.846 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify (* (sqrt 3.0) x) into (* x (sqrt 3.0))
1.847 * [backup-simplify]: Simplify (sqrt (* (* (/ 1 x) 3.0) (/ 1 x))) into (/ (sqrt 3.0) x)
1.847 * [approximate]: Taking taylor expansion of (/ (sqrt 3.0) x) in (x) around 0
1.847 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
1.847 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.847 * [taylor]: Taking taylor expansion of 3.0 in x
1.847 * [backup-simplify]: Simplify 3.0 into 3.0
1.848 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.848 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.848 * [taylor]: Taking taylor expansion of x in x
1.848 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify 1 into 1
1.853 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
1.853 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
1.853 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.853 * [taylor]: Taking taylor expansion of 3.0 in x
1.853 * [backup-simplify]: Simplify 3.0 into 3.0
1.854 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.854 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.854 * [taylor]: Taking taylor expansion of x in x
1.854 * [backup-simplify]: Simplify 0 into 0
1.854 * [backup-simplify]: Simplify 1 into 1
1.855 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
1.856 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.857 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)))) into 0
1.857 * [backup-simplify]: Simplify 0 into 0
1.858 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
1.859 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.859 * [backup-simplify]: Simplify 0 into 0
1.861 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.862 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.862 * [backup-simplify]: Simplify 0 into 0
1.863 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.864 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.864 * [backup-simplify]: Simplify 0 into 0
1.866 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.867 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.867 * [backup-simplify]: Simplify 0 into 0
1.868 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.870 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.870 * [backup-simplify]: Simplify 0 into 0
1.870 * [backup-simplify]: Simplify (* (sqrt 3.0) (/ 1 (/ 1 x))) into (* x (sqrt 3.0))
1.870 * [backup-simplify]: Simplify (sqrt (* (* (/ 1 (- x)) 3.0) (/ 1 (- x)))) into (/ (sqrt 3.0) x)
1.871 * [approximate]: Taking taylor expansion of (/ (sqrt 3.0) x) in (x) around 0
1.871 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
1.871 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.871 * [taylor]: Taking taylor expansion of 3.0 in x
1.871 * [backup-simplify]: Simplify 3.0 into 3.0
1.871 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.872 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.872 * [taylor]: Taking taylor expansion of x in x
1.872 * [backup-simplify]: Simplify 0 into 0
1.872 * [backup-simplify]: Simplify 1 into 1
1.873 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
1.873 * [taylor]: Taking taylor expansion of (/ (sqrt 3.0) x) in x
1.873 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.873 * [taylor]: Taking taylor expansion of 3.0 in x
1.873 * [backup-simplify]: Simplify 3.0 into 3.0
1.873 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.874 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.874 * [taylor]: Taking taylor expansion of x in x
1.874 * [backup-simplify]: Simplify 0 into 0
1.874 * [backup-simplify]: Simplify 1 into 1
1.875 * [backup-simplify]: Simplify (/ (sqrt 3.0) 1) into (sqrt 3.0)
1.875 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.876 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)))) into 0
1.876 * [backup-simplify]: Simplify 0 into 0
1.878 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
1.879 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.879 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.882 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.882 * [backup-simplify]: Simplify 0 into 0
1.883 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.885 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.885 * [backup-simplify]: Simplify 0 into 0
1.886 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.888 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.888 * [backup-simplify]: Simplify 0 into 0
1.889 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.890 * [backup-simplify]: Simplify 0 into 0
1.891 * [backup-simplify]: Simplify (* (sqrt 3.0) (/ 1 (/ 1 (- x)))) into (* -1 (* x (sqrt 3.0)))
1.891 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.891 * [backup-simplify]: Simplify (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))) into (* (pow x 2) (pow (sqrt 3.0) 2))
1.891 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 3.0) 2)) in (x) around 0
1.891 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 3.0) 2)) in x
1.891 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.891 * [taylor]: Taking taylor expansion of x in x
1.891 * [backup-simplify]: Simplify 0 into 0
1.891 * [backup-simplify]: Simplify 1 into 1
1.891 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
1.892 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.892 * [taylor]: Taking taylor expansion of 3.0 in x
1.892 * [backup-simplify]: Simplify 3.0 into 3.0
1.892 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.893 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.893 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 3.0) 2)) in x
1.893 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.893 * [taylor]: Taking taylor expansion of x in x
1.893 * [backup-simplify]: Simplify 0 into 0
1.893 * [backup-simplify]: Simplify 1 into 1
1.893 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
1.893 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.893 * [taylor]: Taking taylor expansion of 3.0 in x
1.893 * [backup-simplify]: Simplify 3.0 into 3.0
1.893 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.894 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.895 * [backup-simplify]: Simplify (* 1 1) into 1
1.896 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
1.897 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3.0) 2)) into (pow (sqrt 3.0) 2)
1.898 * [backup-simplify]: Simplify (pow (sqrt 3.0) 2) into (pow (sqrt 3.0) 2)
1.899 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
1.900 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.901 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 3.0) 2))) into 0
1.901 * [backup-simplify]: Simplify 0 into 0
1.902 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
1.903 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
1.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2)))) into 0
1.906 * [backup-simplify]: Simplify 0 into 0
1.907 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.908 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
1.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2))))) into 0
1.911 * [backup-simplify]: Simplify 0 into 0
1.912 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.913 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
1.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2)))))) into 0
1.916 * [backup-simplify]: Simplify 0 into 0
1.918 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.919 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
1.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2))))))) into 0
1.923 * [backup-simplify]: Simplify 0 into 0
1.924 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.926 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
1.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.0) 2)))))))) into 0
1.930 * [backup-simplify]: Simplify 0 into 0
1.931 * [backup-simplify]: Simplify (* (pow (sqrt 3.0) 2) (pow x 2)) into (* (pow x 2) (pow (sqrt 3.0) 2))
1.932 * [backup-simplify]: Simplify (* (sqrt (* (* (/ 1 x) 3.0) (/ 1 x))) (sqrt (* (* (/ 1 x) 3.0) (/ 1 x)))) into (/ (pow (sqrt 3.0) 2) (pow x 2))
1.932 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in (x) around 0
1.932 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x
1.932 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
1.932 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.932 * [taylor]: Taking taylor expansion of 3.0 in x
1.932 * [backup-simplify]: Simplify 3.0 into 3.0
1.932 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.933 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.933 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.933 * [taylor]: Taking taylor expansion of x in x
1.933 * [backup-simplify]: Simplify 0 into 0
1.933 * [backup-simplify]: Simplify 1 into 1
1.935 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
1.935 * [backup-simplify]: Simplify (* 1 1) into 1
1.937 * [backup-simplify]: Simplify (/ (pow (sqrt 3.0) 2) 1) into (pow (sqrt 3.0) 2)
1.937 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x
1.937 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
1.937 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.937 * [taylor]: Taking taylor expansion of 3.0 in x
1.937 * [backup-simplify]: Simplify 3.0 into 3.0
1.937 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.938 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.938 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.938 * [taylor]: Taking taylor expansion of x in x
1.938 * [backup-simplify]: Simplify 0 into 0
1.938 * [backup-simplify]: Simplify 1 into 1
1.940 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
1.940 * [backup-simplify]: Simplify (* 1 1) into 1
1.942 * [backup-simplify]: Simplify (/ (pow (sqrt 3.0) 2) 1) into (pow (sqrt 3.0) 2)
1.943 * [backup-simplify]: Simplify (pow (sqrt 3.0) 2) into (pow (sqrt 3.0) 2)
1.944 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
1.944 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.945 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)))) into 0
1.946 * [backup-simplify]: Simplify 0 into 0
1.946 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
1.947 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
1.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.948 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.948 * [backup-simplify]: Simplify 0 into 0
1.949 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.950 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
1.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.951 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.951 * [backup-simplify]: Simplify 0 into 0
1.952 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.952 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
1.953 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.954 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.954 * [backup-simplify]: Simplify 0 into 0
1.955 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.956 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
1.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.957 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.957 * [backup-simplify]: Simplify 0 into 0
1.958 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.959 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
1.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.961 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.961 * [backup-simplify]: Simplify 0 into 0
1.961 * [backup-simplify]: Simplify (* (pow (sqrt 3.0) 2) (pow (/ 1 (/ 1 x)) 2)) into (* (pow x 2) (pow (sqrt 3.0) 2))
1.962 * [backup-simplify]: Simplify (* (sqrt (* (* (/ 1 (- x)) 3.0) (/ 1 (- x)))) (sqrt (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))))) into (/ (pow (sqrt 3.0) 2) (pow x 2))
1.962 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in (x) around 0
1.962 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x
1.962 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
1.962 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.962 * [taylor]: Taking taylor expansion of 3.0 in x
1.962 * [backup-simplify]: Simplify 3.0 into 3.0
1.962 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.962 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.962 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.962 * [taylor]: Taking taylor expansion of x in x
1.962 * [backup-simplify]: Simplify 0 into 0
1.962 * [backup-simplify]: Simplify 1 into 1
1.963 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
1.963 * [backup-simplify]: Simplify (* 1 1) into 1
1.964 * [backup-simplify]: Simplify (/ (pow (sqrt 3.0) 2) 1) into (pow (sqrt 3.0) 2)
1.964 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.0) 2) (pow x 2)) in x
1.964 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x
1.964 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x
1.964 * [taylor]: Taking taylor expansion of 3.0 in x
1.964 * [backup-simplify]: Simplify 3.0 into 3.0
1.965 * [backup-simplify]: Simplify (sqrt 3.0) into (sqrt 3.0)
1.965 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.0))) into 0
1.965 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.965 * [taylor]: Taking taylor expansion of x in x
1.965 * [backup-simplify]: Simplify 0 into 0
1.965 * [backup-simplify]: Simplify 1 into 1
1.966 * [backup-simplify]: Simplify (* (sqrt 3.0) (sqrt 3.0)) into (pow (sqrt 3.0) 2)
1.966 * [backup-simplify]: Simplify (* 1 1) into 1
1.967 * [backup-simplify]: Simplify (/ (pow (sqrt 3.0) 2) 1) into (pow (sqrt 3.0) 2)
1.968 * [backup-simplify]: Simplify (pow (sqrt 3.0) 2) into (pow (sqrt 3.0) 2)
1.968 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (* 0 (sqrt 3.0))) into 0
1.969 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)))) into 0
1.969 * [backup-simplify]: Simplify 0 into 0
1.970 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.0))) into 0
1.971 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (* 0 (sqrt 3.0)))) into 0
1.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.972 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.972 * [backup-simplify]: Simplify 0 into 0
1.973 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.973 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))) into 0
1.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.975 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.975 * [backup-simplify]: Simplify 0 into 0
1.976 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.978 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))) into 0
1.978 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.979 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.979 * [backup-simplify]: Simplify 0 into 0
1.980 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.981 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0))))))) into 0
1.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.983 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.983 * [backup-simplify]: Simplify 0 into 0
1.983 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.0))) into 0
1.984 * [backup-simplify]: Simplify (+ (* (sqrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.0)))))))) into 0
1.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.986 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.986 * [backup-simplify]: Simplify 0 into 0
1.987 * [backup-simplify]: Simplify (* (pow (sqrt 3.0) 2) (pow (/ 1 (/ 1 (- x))) 2)) into (* (pow x 2) (pow (sqrt 3.0) 2))
1.987 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.987 * [backup-simplify]: Simplify (* (* x 3.0) x) into (* 3.0 (pow x 2))
1.987 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
1.987 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
1.987 * [taylor]: Taking taylor expansion of 3.0 in x
1.987 * [backup-simplify]: Simplify 3.0 into 3.0
1.987 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.987 * [taylor]: Taking taylor expansion of x in x
1.987 * [backup-simplify]: Simplify 0 into 0
1.987 * [backup-simplify]: Simplify 1 into 1
1.987 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
1.987 * [taylor]: Taking taylor expansion of 3.0 in x
1.987 * [backup-simplify]: Simplify 3.0 into 3.0
1.987 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.987 * [taylor]: Taking taylor expansion of x in x
1.987 * [backup-simplify]: Simplify 0 into 0
1.987 * [backup-simplify]: Simplify 1 into 1
1.987 * [backup-simplify]: Simplify (* 1 1) into 1
1.988 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
1.988 * [backup-simplify]: Simplify 3.0 into 3.0
1.988 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.989 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
1.989 * [backup-simplify]: Simplify 0 into 0
1.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.990 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
1.990 * [backup-simplify]: Simplify 0 into 0
1.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.991 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.991 * [backup-simplify]: Simplify 0 into 0
1.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.992 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.992 * [backup-simplify]: Simplify 0 into 0
1.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.994 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.994 * [backup-simplify]: Simplify 0 into 0
1.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.996 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.996 * [backup-simplify]: Simplify 0 into 0
1.996 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
1.996 * [backup-simplify]: Simplify (* (* (/ 1 x) 3.0) (/ 1 x)) into (/ 3.0 (pow x 2))
1.996 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
1.996 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
1.996 * [taylor]: Taking taylor expansion of 3.0 in x
1.996 * [backup-simplify]: Simplify 3.0 into 3.0
1.996 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.996 * [taylor]: Taking taylor expansion of x in x
1.996 * [backup-simplify]: Simplify 0 into 0
1.996 * [backup-simplify]: Simplify 1 into 1
1.996 * [backup-simplify]: Simplify (* 1 1) into 1
1.997 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.997 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
1.997 * [taylor]: Taking taylor expansion of 3.0 in x
1.997 * [backup-simplify]: Simplify 3.0 into 3.0
1.997 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.997 * [taylor]: Taking taylor expansion of x in x
1.997 * [backup-simplify]: Simplify 0 into 0
1.997 * [backup-simplify]: Simplify 1 into 1
1.997 * [backup-simplify]: Simplify (* 1 1) into 1
1.997 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.998 * [backup-simplify]: Simplify 3.0 into 3.0
1.998 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.999 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
1.999 * [backup-simplify]: Simplify 0 into 0
1.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.000 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.000 * [backup-simplify]: Simplify 0 into 0
2.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.003 * [backup-simplify]: Simplify 0 into 0
2.004 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.005 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.005 * [backup-simplify]: Simplify 0 into 0
2.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.008 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.008 * [backup-simplify]: Simplify 0 into 0
2.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.011 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.011 * [backup-simplify]: Simplify 0 into 0
2.011 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
2.011 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) into (/ 3.0 (pow x 2))
2.011 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
2.011 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
2.011 * [taylor]: Taking taylor expansion of 3.0 in x
2.011 * [backup-simplify]: Simplify 3.0 into 3.0
2.011 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.011 * [taylor]: Taking taylor expansion of x in x
2.011 * [backup-simplify]: Simplify 0 into 0
2.011 * [backup-simplify]: Simplify 1 into 1
2.012 * [backup-simplify]: Simplify (* 1 1) into 1
2.012 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
2.012 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
2.012 * [taylor]: Taking taylor expansion of 3.0 in x
2.012 * [backup-simplify]: Simplify 3.0 into 3.0
2.012 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.012 * [taylor]: Taking taylor expansion of x in x
2.013 * [backup-simplify]: Simplify 0 into 0
2.013 * [backup-simplify]: Simplify 1 into 1
2.013 * [backup-simplify]: Simplify (* 1 1) into 1
2.013 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
2.014 * [backup-simplify]: Simplify 3.0 into 3.0
2.014 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.014 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
2.014 * [backup-simplify]: Simplify 0 into 0
2.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.016 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.016 * [backup-simplify]: Simplify 0 into 0
2.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.018 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.018 * [backup-simplify]: Simplify 0 into 0
2.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.020 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.020 * [backup-simplify]: Simplify 0 into 0
2.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.022 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.022 * [backup-simplify]: Simplify 0 into 0
2.023 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.024 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.024 * [backup-simplify]: Simplify 0 into 0
2.025 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
2.025 * * * [progress]: simplifying candidates
2.027 * [simplify]: Simplifying:
  (log (sqrt (* (* x 3.0) x)))
  (exp (sqrt (* (* x 3.0) x)))
  (* (cbrt (sqrt (* (* x 3.0) x))) (cbrt (sqrt (* (* x 3.0) x))))
  (cbrt (sqrt (* (* x 3.0) x)))
  (* (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))) (sqrt (* (* x 3.0) x)))
  (sqrt (* x 3.0))
  (sqrt x)
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (* x 3.0) x)))
  (sqrt (sqrt (* (* x 3.0) x)))
  (log (sqrt (* (* x 3.0) x)))
  (exp (sqrt (* (* x 3.0) x)))
  (* (cbrt (sqrt (* (* x 3.0) x))) (cbrt (sqrt (* (* x 3.0) x))))
  (cbrt (sqrt (* (* x 3.0) x)))
  (* (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))) (sqrt (* (* x 3.0) x)))
  (sqrt (* x 3.0))
  (sqrt x)
  (/ 1 2)
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* (* x 3.0) x)))
  (sqrt (sqrt (* (* x 3.0) x)))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1/2 (/ 1 2))
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (+ (/ 1 2) (/ 1 2))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (+ 1 1)
  (+ (log (sqrt (* (* x 3.0) x))) (log (sqrt (* (* x 3.0) x))))
  (log (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))))
  (exp (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))))
  (* (* (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))) (sqrt (* (* x 3.0) x))) (* (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))) (sqrt (* (* x 3.0) x))))
  (* (cbrt (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)))) (cbrt (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)))))
  (cbrt (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))))
  (* (* (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))) (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)))) (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (sqrt (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))))
  (sqrt (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))))
  (* (* (cbrt (sqrt (* (* x 3.0) x))) (cbrt (sqrt (* (* x 3.0) x)))) (* (cbrt (sqrt (* (* x 3.0) x))) (cbrt (sqrt (* (* x 3.0) x)))))
  (* (cbrt (sqrt (* (* x 3.0) x))) (cbrt (sqrt (* (* x 3.0) x))))
  (* (sqrt (* x 3.0)) (sqrt (* x 3.0)))
  (* (sqrt x) (sqrt x))
  (* (sqrt (sqrt (* (* x 3.0) x))) (sqrt (sqrt (* (* x 3.0) x))))
  (* (sqrt (sqrt (* (* x 3.0) x))) (sqrt (sqrt (* (* x 3.0) x))))
  (* 1 1)
  (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)))
  (* (sqrt (sqrt (* (* x 3.0) x))) (sqrt (sqrt (* (* x 3.0) x))))
  (* (sqrt (sqrt (* (* x 3.0) x))) (sqrt (sqrt (* (* x 3.0) x))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* 2 (/ 1 2))
  (* (sqrt (* (* x 3.0) x)) (* (cbrt (sqrt (* (* x 3.0) x))) (cbrt (sqrt (* (* x 3.0) x)))))
  (* (sqrt (* (* x 3.0) x)) (sqrt (* x 3.0)))
  (* (sqrt (* (* x 3.0) x)) (sqrt (sqrt (* (* x 3.0) x))))
  (* (sqrt (* (* x 3.0) x)) 1)
  (* (cbrt (sqrt (* (* x 3.0) x))) (sqrt (* (* x 3.0) x)))
  (* (sqrt x) (sqrt (* (* x 3.0) x)))
  (* (sqrt (sqrt (* (* x 3.0) x))) (sqrt (* (* x 3.0) x)))
  (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)))
  (* (* x 3.0) x)
  (* (* x 3.0) x)
  (+ (+ (log x) (log 3.0)) (log x))
  (+ (log (* x 3.0)) (log x))
  (log (* (* x 3.0) x))
  (exp (* (* x 3.0) x))
  (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* x x) x))
  (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* x x) x))
  (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x)))
  (cbrt (* (* x 3.0) x))
  (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (* (* x 3.0) (* (cbrt x) (cbrt x)))
  (* (* x 3.0) (sqrt x))
  (* (* x 3.0) 1)
  (* 3.0 x)
  (* x (sqrt 3.0))
  (* x (sqrt 3.0))
  (* -1 (* x (sqrt 3.0)))
  (* x (sqrt 3.0))
  (* x (sqrt 3.0))
  (* -1 (* x (sqrt 3.0)))
  (* (pow x 2) (pow (sqrt 3.0) 2))
  (* (pow x 2) (pow (sqrt 3.0) 2))
  (* (pow x 2) (pow (sqrt 3.0) 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
2.029 * * [simplify]: iteration 0: 82 enodes
2.055 * * [simplify]: iteration 1: 210 enodes
2.140 * * [simplify]: iteration 2: 605 enodes
2.619 * * [simplify]: iteration 3: 1935 enodes
3.690 * * [simplify]: iteration complete: 5004 enodes
3.690 * * [simplify]: Extracting #0: cost 31 inf + 0
3.691 * * [simplify]: Extracting #1: cost 468 inf + 45
3.695 * * [simplify]: Extracting #2: cost 1305 inf + 3759
3.715 * * [simplify]: Extracting #3: cost 958 inf + 72550
3.788 * * [simplify]: Extracting #4: cost 271 inf + 206169
3.867 * * [simplify]: Extracting #5: cost 14 inf + 280393
3.938 * * [simplify]: Extracting #6: cost 0 inf + 285842
3.995 * [simplify]: Simplified to:
  (log (sqrt (* (* x 3.0) x)))
  (exp (sqrt (* (* x 3.0) x)))
  (* (cbrt (sqrt (* (* x 3.0) x))) (cbrt (sqrt (* (* x 3.0) x))))
  (cbrt (sqrt (* (* x 3.0) x)))
  (* (* (* x 3.0) x) (sqrt (* (* x 3.0) x)))
  (sqrt (* x 3.0))
  (sqrt x)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* (* x 3.0) x)))
  (sqrt (sqrt (* (* x 3.0) x)))
  (log (sqrt (* (* x 3.0) x)))
  (exp (sqrt (* (* x 3.0) x)))
  (* (cbrt (sqrt (* (* x 3.0) x))) (cbrt (sqrt (* (* x 3.0) x))))
  (cbrt (sqrt (* (* x 3.0) x)))
  (* (* (* x 3.0) x) (sqrt (* (* x 3.0) x)))
  (sqrt (* x 3.0))
  (sqrt x)
  1/2
  1/2
  1/2
  (sqrt (sqrt (* (* x 3.0) x)))
  (sqrt (sqrt (* (* x 3.0) x)))
  1
  1
  1
  1
  2
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  1
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* x 3.0) x)
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  2
  (log (* (* x 3.0) x))
  (log (* (* x 3.0) x))
  (exp (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* (* x 3.0) x) (* (* x 3.0) x)))
  (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x)))
  (cbrt (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* (* x 3.0) x) (* (* x 3.0) x)))
  (* (* (* x 3.0) x) (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (* (cbrt (sqrt (* (* x 3.0) x))) (sqrt (* (* x 3.0) x)))
  (* (cbrt (sqrt (* (* x 3.0) x))) (cbrt (sqrt (* (* x 3.0) x))))
  (* x 3.0)
  x
  (sqrt (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  1
  (* (* x 3.0) x)
  (sqrt (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  1
  2
  1
  1
  1
  1
  1
  1
  1
  1
  1
  (* (* (cbrt (sqrt (* (* x 3.0) x))) (cbrt (sqrt (* (* x 3.0) x)))) (sqrt (* (* x 3.0) x)))
  (* (sqrt (* x 3.0)) (sqrt (* (* x 3.0) x)))
  (* (sqrt (sqrt (* (* x 3.0) x))) (sqrt (* (* x 3.0) x)))
  (sqrt (* (* x 3.0) x))
  (* (cbrt (sqrt (* (* x 3.0) x))) (sqrt (* (* x 3.0) x)))
  (* (sqrt x) (sqrt (* (* x 3.0) x)))
  (* (sqrt (sqrt (* (* x 3.0) x))) (sqrt (* (* x 3.0) x)))
  (* (* x 3.0) x)
  (* (* x 3.0) x)
  (* (* x 3.0) x)
  (log (* (* x 3.0) x))
  (log (* (* x 3.0) x))
  (log (* (* x 3.0) x))
  (exp (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* (* x 3.0) x) (* (* x 3.0) x)))
  (* (* (* x 3.0) x) (* (* (* x 3.0) x) (* (* x 3.0) x)))
  (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x)))
  (cbrt (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* (* x 3.0) x) (* (* x 3.0) x)))
  (sqrt (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (* (* (* (cbrt x) (cbrt x)) x) 3.0)
  (* (* (sqrt x) x) 3.0)
  (* x 3.0)
  (* x 3.0)
  (* x (sqrt 3.0))
  (* x (sqrt 3.0))
  (* (- x) (sqrt 3.0))
  (* x (sqrt 3.0))
  (* x (sqrt 3.0))
  (* (- x) (sqrt 3.0))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
3.999 * * * [progress]: adding candidates to table
4.305 * * [progress]: iteration 3 / 4
4.305 * * * [progress]: picking best candidate
4.324 * * * * [pick]: Picked  #<alt (λ (x) (* 3.0 (* x x)))>
4.324 * * * [progress]: localizing error
4.333 * * * [progress]: generating rewritten candidates
4.333 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.359 * * * [progress]: generating series expansions
4.359 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.359 * [backup-simplify]: Simplify (* 3.0 (* x x)) into (* 3.0 (pow x 2))
4.359 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
4.359 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.359 * [taylor]: Taking taylor expansion of 3.0 in x
4.359 * [backup-simplify]: Simplify 3.0 into 3.0
4.359 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.359 * [taylor]: Taking taylor expansion of x in x
4.359 * [backup-simplify]: Simplify 0 into 0
4.359 * [backup-simplify]: Simplify 1 into 1
4.359 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.359 * [taylor]: Taking taylor expansion of 3.0 in x
4.359 * [backup-simplify]: Simplify 3.0 into 3.0
4.359 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.359 * [taylor]: Taking taylor expansion of x in x
4.359 * [backup-simplify]: Simplify 0 into 0
4.359 * [backup-simplify]: Simplify 1 into 1
4.360 * [backup-simplify]: Simplify (* 1 1) into 1
4.361 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
4.361 * [backup-simplify]: Simplify 3.0 into 3.0
4.361 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.362 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
4.362 * [backup-simplify]: Simplify 0 into 0
4.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.364 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
4.364 * [backup-simplify]: Simplify 0 into 0
4.365 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.366 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.366 * [backup-simplify]: Simplify 0 into 0
4.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.369 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.369 * [backup-simplify]: Simplify 0 into 0
4.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.375 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.375 * [backup-simplify]: Simplify 0 into 0
4.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.378 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.378 * [backup-simplify]: Simplify 0 into 0
4.378 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
4.379 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 x) (/ 1 x))) into (/ 3.0 (pow x 2))
4.379 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
4.379 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
4.379 * [taylor]: Taking taylor expansion of 3.0 in x
4.379 * [backup-simplify]: Simplify 3.0 into 3.0
4.379 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.379 * [taylor]: Taking taylor expansion of x in x
4.379 * [backup-simplify]: Simplify 0 into 0
4.379 * [backup-simplify]: Simplify 1 into 1
4.379 * [backup-simplify]: Simplify (* 1 1) into 1
4.380 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
4.380 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
4.380 * [taylor]: Taking taylor expansion of 3.0 in x
4.380 * [backup-simplify]: Simplify 3.0 into 3.0
4.380 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.380 * [taylor]: Taking taylor expansion of x in x
4.380 * [backup-simplify]: Simplify 0 into 0
4.380 * [backup-simplify]: Simplify 1 into 1
4.380 * [backup-simplify]: Simplify (* 1 1) into 1
4.381 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
4.381 * [backup-simplify]: Simplify 3.0 into 3.0
4.382 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.382 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
4.382 * [backup-simplify]: Simplify 0 into 0
4.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.384 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.384 * [backup-simplify]: Simplify 0 into 0
4.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.387 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.387 * [backup-simplify]: Simplify 0 into 0
4.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.389 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.389 * [backup-simplify]: Simplify 0 into 0
4.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.392 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.392 * [backup-simplify]: Simplify 0 into 0
4.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.394 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.394 * [backup-simplify]: Simplify 0 into 0
4.395 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
4.395 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (- x)) (/ 1 (- x)))) into (/ 3.0 (pow x 2))
4.395 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
4.395 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
4.395 * [taylor]: Taking taylor expansion of 3.0 in x
4.395 * [backup-simplify]: Simplify 3.0 into 3.0
4.395 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.395 * [taylor]: Taking taylor expansion of x in x
4.395 * [backup-simplify]: Simplify 0 into 0
4.395 * [backup-simplify]: Simplify 1 into 1
4.395 * [backup-simplify]: Simplify (* 1 1) into 1
4.396 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
4.396 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
4.396 * [taylor]: Taking taylor expansion of 3.0 in x
4.396 * [backup-simplify]: Simplify 3.0 into 3.0
4.396 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.396 * [taylor]: Taking taylor expansion of x in x
4.396 * [backup-simplify]: Simplify 0 into 0
4.396 * [backup-simplify]: Simplify 1 into 1
4.396 * [backup-simplify]: Simplify (* 1 1) into 1
4.397 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
4.397 * [backup-simplify]: Simplify 3.0 into 3.0
4.398 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.398 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
4.398 * [backup-simplify]: Simplify 0 into 0
4.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.399 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.399 * [backup-simplify]: Simplify 0 into 0
4.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.400 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.400 * [backup-simplify]: Simplify 0 into 0
4.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.402 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.402 * [backup-simplify]: Simplify 0 into 0
4.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.403 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.403 * [backup-simplify]: Simplify 0 into 0
4.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.404 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.404 * [backup-simplify]: Simplify 0 into 0
4.405 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
4.405 * * * [progress]: simplifying candidates
4.405 * [simplify]: Simplifying:
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (+ (log 3.0) (+ (log x) (log x)))
  (+ (log 3.0) (log (* x x)))
  (log (* 3.0 (* x x)))
  (exp (* 3.0 (* x x)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* x x) x)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (* 3.0 (* x x))) (cbrt (* 3.0 (* x x))))
  (cbrt (* 3.0 (* x x)))
  (* (* (* 3.0 (* x x)) (* 3.0 (* x x))) (* 3.0 (* x x)))
  (sqrt (* 3.0 (* x x)))
  (sqrt (* 3.0 (* x x)))
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (* 3.0 x)
  (* (cbrt 3.0) (* x x))
  (* (sqrt 3.0) (* x x))
  (* 3.0 (* x x))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
4.405 * * [simplify]: iteration 0: 34 enodes
4.414 * * [simplify]: iteration 1: 88 enodes
4.451 * * [simplify]: iteration 2: 278 enodes
4.809 * * [simplify]: iteration 3: 1257 enodes
6.674 * * [simplify]: iteration complete: 5000 enodes
6.674 * * [simplify]: Extracting #0: cost 11 inf + 0
6.674 * * [simplify]: Extracting #1: cost 255 inf + 0
6.680 * * [simplify]: Extracting #2: cost 1149 inf + 7420
6.711 * * [simplify]: Extracting #3: cost 423 inf + 91533
6.763 * * [simplify]: Extracting #4: cost 41 inf + 148178
6.822 * * [simplify]: Extracting #5: cost 2 inf + 156548
6.891 * * [simplify]: Extracting #6: cost 0 inf + 156963
6.956 * [simplify]: Simplified to:
  (* (* x x) 3.0)
  (* (* x x) 3.0)
  (log (* (* x x) 3.0))
  (log (* (* x x) 3.0))
  (log (* (* x x) 3.0))
  (exp (* (* x x) 3.0))
  (* (* (* (* x x) 3.0) (* (* x x) 3.0)) (* (* x x) 3.0))
  (* (* (* (* x x) 3.0) (* (* x x) 3.0)) (* (* x x) 3.0))
  (* (cbrt (* (* x x) 3.0)) (cbrt (* (* x x) 3.0)))
  (cbrt (* (* x x) 3.0))
  (* (* (* (* x x) 3.0) (* (* x x) 3.0)) (* (* x x) 3.0))
  (sqrt (* (* x x) 3.0))
  (sqrt (* (* x x) 3.0))
  (* x (sqrt 3.0))
  (* x (sqrt 3.0))
  (* 3.0 x)
  (* x (* (cbrt 3.0) x))
  (* (* x x) (sqrt 3.0))
  (* (* x x) 3.0)
  (* (* x x) 3.0)
  (* (* x x) 3.0)
  (* (* x x) 3.0)
6.957 * * * [progress]: adding candidates to table
7.036 * * [progress]: iteration 4 / 4
7.036 * * * [progress]: picking best candidate
7.051 * * * * [pick]: Picked  #<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x))))>
7.051 * * * [progress]: localizing error
7.065 * * * [progress]: generating rewritten candidates
7.065 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
7.083 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
7.164 * * * [progress]: generating series expansions
7.164 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
7.164 * [backup-simplify]: Simplify (* (cbrt 3.0) (* x x)) into (* (pow x 2) (cbrt 3.0))
7.164 * [approximate]: Taking taylor expansion of (* (pow x 2) (cbrt 3.0)) in (x) around 0
7.164 * [taylor]: Taking taylor expansion of (* (pow x 2) (cbrt 3.0)) in x
7.164 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.164 * [taylor]: Taking taylor expansion of x in x
7.164 * [backup-simplify]: Simplify 0 into 0
7.164 * [backup-simplify]: Simplify 1 into 1
7.164 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
7.164 * [taylor]: Taking taylor expansion of 3.0 in x
7.164 * [backup-simplify]: Simplify 3.0 into 3.0
7.165 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.165 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
7.165 * [taylor]: Taking taylor expansion of (* (pow x 2) (cbrt 3.0)) in x
7.165 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.165 * [taylor]: Taking taylor expansion of x in x
7.165 * [backup-simplify]: Simplify 0 into 0
7.165 * [backup-simplify]: Simplify 1 into 1
7.165 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
7.165 * [taylor]: Taking taylor expansion of 3.0 in x
7.165 * [backup-simplify]: Simplify 3.0 into 3.0
7.166 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.166 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
7.166 * [backup-simplify]: Simplify (* 1 1) into 1
7.167 * [backup-simplify]: Simplify (* 1 (cbrt 3.0)) into (cbrt 3.0)
7.167 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.168 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.168 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (cbrt 3.0))) into 0
7.168 * [backup-simplify]: Simplify 0 into 0
7.170 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.171 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
7.171 * [backup-simplify]: Simplify 0 into 0
7.172 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
7.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
7.173 * [backup-simplify]: Simplify 0 into 0
7.174 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
7.176 * [backup-simplify]: Simplify 0 into 0
7.177 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
7.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
7.179 * [backup-simplify]: Simplify 0 into 0
7.180 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
7.184 * [backup-simplify]: Simplify 0 into 0
7.184 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow x 2)) into (* (pow x 2) (cbrt 3.0))
7.185 * [backup-simplify]: Simplify (* (cbrt 3.0) (* (/ 1 x) (/ 1 x))) into (/ (cbrt 3.0) (pow x 2))
7.185 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in (x) around 0
7.185 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in x
7.185 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
7.185 * [taylor]: Taking taylor expansion of 3.0 in x
7.185 * [backup-simplify]: Simplify 3.0 into 3.0
7.185 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.186 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
7.186 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.186 * [taylor]: Taking taylor expansion of x in x
7.186 * [backup-simplify]: Simplify 0 into 0
7.186 * [backup-simplify]: Simplify 1 into 1
7.186 * [backup-simplify]: Simplify (* 1 1) into 1
7.187 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0)
7.187 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in x
7.187 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
7.187 * [taylor]: Taking taylor expansion of 3.0 in x
7.187 * [backup-simplify]: Simplify 3.0 into 3.0
7.187 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.187 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
7.187 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.187 * [taylor]: Taking taylor expansion of x in x
7.187 * [backup-simplify]: Simplify 0 into 0
7.187 * [backup-simplify]: Simplify 1 into 1
7.188 * [backup-simplify]: Simplify (* 1 1) into 1
7.188 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0)
7.189 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.189 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.190 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)))) into 0
7.190 * [backup-simplify]: Simplify 0 into 0
7.191 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.191 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.192 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.192 * [backup-simplify]: Simplify 0 into 0
7.193 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
7.193 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.194 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.194 * [backup-simplify]: Simplify 0 into 0
7.195 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.196 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.196 * [backup-simplify]: Simplify 0 into 0
7.197 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
7.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.198 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.199 * [backup-simplify]: Simplify 0 into 0
7.199 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.201 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.201 * [backup-simplify]: Simplify 0 into 0
7.201 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (/ 1 (/ 1 x)) 2)) into (* (pow x 2) (cbrt 3.0))
7.202 * [backup-simplify]: Simplify (* (cbrt 3.0) (* (/ 1 (- x)) (/ 1 (- x)))) into (/ (cbrt 3.0) (pow x 2))
7.202 * [approximate]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in (x) around 0
7.202 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in x
7.202 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
7.202 * [taylor]: Taking taylor expansion of 3.0 in x
7.202 * [backup-simplify]: Simplify 3.0 into 3.0
7.202 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.203 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
7.203 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.203 * [taylor]: Taking taylor expansion of x in x
7.203 * [backup-simplify]: Simplify 0 into 0
7.203 * [backup-simplify]: Simplify 1 into 1
7.203 * [backup-simplify]: Simplify (* 1 1) into 1
7.203 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0)
7.204 * [taylor]: Taking taylor expansion of (/ (cbrt 3.0) (pow x 2)) in x
7.204 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
7.204 * [taylor]: Taking taylor expansion of 3.0 in x
7.204 * [backup-simplify]: Simplify 3.0 into 3.0
7.204 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.204 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
7.204 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.204 * [taylor]: Taking taylor expansion of x in x
7.204 * [backup-simplify]: Simplify 0 into 0
7.204 * [backup-simplify]: Simplify 1 into 1
7.205 * [backup-simplify]: Simplify (* 1 1) into 1
7.205 * [backup-simplify]: Simplify (/ (cbrt 3.0) 1) into (cbrt 3.0)
7.205 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.206 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.206 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)))) into 0
7.206 * [backup-simplify]: Simplify 0 into 0
7.207 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.208 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.208 * [backup-simplify]: Simplify 0 into 0
7.209 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
7.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.211 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.211 * [backup-simplify]: Simplify 0 into 0
7.212 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.213 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.213 * [backup-simplify]: Simplify 0 into 0
7.214 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
7.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.215 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.215 * [backup-simplify]: Simplify 0 into 0
7.216 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.218 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt 3.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.218 * [backup-simplify]: Simplify 0 into 0
7.218 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (/ 1 (/ 1 (- x))) 2)) into (* (pow x 2) (cbrt 3.0))
7.218 * * * * [progress]: [ 2 / 2 ] generating series at (2)
7.220 * [backup-simplify]: Simplify (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x))) into (* (pow x 2) (pow (cbrt 3.0) 3))
7.220 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (cbrt 3.0) 3)) in (x) around 0
7.220 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (cbrt 3.0) 3)) in x
7.220 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.220 * [taylor]: Taking taylor expansion of x in x
7.220 * [backup-simplify]: Simplify 0 into 0
7.220 * [backup-simplify]: Simplify 1 into 1
7.220 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
7.220 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
7.220 * [taylor]: Taking taylor expansion of 3.0 in x
7.220 * [backup-simplify]: Simplify 3.0 into 3.0
7.220 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.220 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
7.220 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (cbrt 3.0) 3)) in x
7.220 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.220 * [taylor]: Taking taylor expansion of x in x
7.221 * [backup-simplify]: Simplify 0 into 0
7.221 * [backup-simplify]: Simplify 1 into 1
7.221 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
7.221 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
7.221 * [taylor]: Taking taylor expansion of 3.0 in x
7.221 * [backup-simplify]: Simplify 3.0 into 3.0
7.221 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.221 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
7.222 * [backup-simplify]: Simplify (* 1 1) into 1
7.223 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
7.225 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
7.227 * [backup-simplify]: Simplify (* 1 (pow (cbrt 3.0) 3)) into 3.0
7.227 * [backup-simplify]: Simplify 3.0 into 3.0
7.228 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
7.229 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0
7.229 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.230 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (cbrt 3.0) 3))) into 0
7.230 * [backup-simplify]: Simplify 0 into 0
7.232 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.233 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
7.234 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
7.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 3)))) into 0
7.237 * [backup-simplify]: Simplify 0 into 0
7.238 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
7.239 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
7.241 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
7.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 3))))) into 0
7.244 * [backup-simplify]: Simplify 0 into 0
7.246 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.247 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
7.251 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
7.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 3)))))) into 0
7.255 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
7.258 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
7.260 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
7.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 3))))))) into 0
7.264 * [backup-simplify]: Simplify 0 into 0
7.266 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.267 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
7.270 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))))) into 0
7.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 3)))))))) into 0
7.274 * [backup-simplify]: Simplify 0 into 0
7.274 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
7.276 * [backup-simplify]: Simplify (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (/ 1 x) (/ 1 x)))) into (/ (pow (cbrt 3.0) 3) (pow x 2))
7.276 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in (x) around 0
7.276 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
7.276 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
7.276 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
7.276 * [taylor]: Taking taylor expansion of 3.0 in x
7.276 * [backup-simplify]: Simplify 3.0 into 3.0
7.276 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.277 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
7.277 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.277 * [taylor]: Taking taylor expansion of x in x
7.277 * [backup-simplify]: Simplify 0 into 0
7.277 * [backup-simplify]: Simplify 1 into 1
7.278 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
7.280 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
7.280 * [backup-simplify]: Simplify (* 1 1) into 1
7.282 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
7.282 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
7.282 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
7.282 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
7.282 * [taylor]: Taking taylor expansion of 3.0 in x
7.282 * [backup-simplify]: Simplify 3.0 into 3.0
7.282 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.283 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
7.283 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.283 * [taylor]: Taking taylor expansion of x in x
7.283 * [backup-simplify]: Simplify 0 into 0
7.283 * [backup-simplify]: Simplify 1 into 1
7.284 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
7.286 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
7.287 * [backup-simplify]: Simplify (* 1 1) into 1
7.288 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
7.288 * [backup-simplify]: Simplify 3.0 into 3.0
7.289 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
7.290 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0
7.291 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.292 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
7.292 * [backup-simplify]: Simplify 0 into 0
7.293 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.294 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
7.295 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
7.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.297 * [backup-simplify]: Simplify 0 into 0
7.299 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
7.300 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
7.301 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
7.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.303 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.303 * [backup-simplify]: Simplify 0 into 0
7.305 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.307 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
7.308 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
7.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.311 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.311 * [backup-simplify]: Simplify 0 into 0
7.312 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
7.314 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
7.317 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
7.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.320 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.320 * [backup-simplify]: Simplify 0 into 0
7.322 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.324 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
7.327 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))))) into 0
7.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.329 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.330 * [backup-simplify]: Simplify 0 into 0
7.330 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
7.331 * [backup-simplify]: Simplify (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (/ 1 (- x)) (/ 1 (- x))))) into (/ (pow (cbrt 3.0) 3) (pow x 2))
7.332 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in (x) around 0
7.332 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
7.332 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
7.332 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
7.332 * [taylor]: Taking taylor expansion of 3.0 in x
7.332 * [backup-simplify]: Simplify 3.0 into 3.0
7.332 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.333 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
7.333 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.333 * [taylor]: Taking taylor expansion of x in x
7.333 * [backup-simplify]: Simplify 0 into 0
7.333 * [backup-simplify]: Simplify 1 into 1
7.334 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
7.336 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
7.336 * [backup-simplify]: Simplify (* 1 1) into 1
7.338 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
7.338 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
7.338 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
7.338 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
7.338 * [taylor]: Taking taylor expansion of 3.0 in x
7.338 * [backup-simplify]: Simplify 3.0 into 3.0
7.338 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
7.339 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
7.339 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.339 * [taylor]: Taking taylor expansion of x in x
7.339 * [backup-simplify]: Simplify 0 into 0
7.339 * [backup-simplify]: Simplify 1 into 1
7.340 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
7.342 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
7.342 * [backup-simplify]: Simplify (* 1 1) into 1
7.344 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
7.344 * [backup-simplify]: Simplify 3.0 into 3.0
7.345 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
7.346 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0
7.346 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.347 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
7.347 * [backup-simplify]: Simplify 0 into 0
7.349 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.350 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
7.352 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
7.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.354 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.354 * [backup-simplify]: Simplify 0 into 0
7.355 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
7.357 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
7.358 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
7.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.360 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.360 * [backup-simplify]: Simplify 0 into 0
7.362 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.363 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
7.365 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
7.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.367 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.367 * [backup-simplify]: Simplify 0 into 0
7.368 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
7.370 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
7.371 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
7.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.374 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.374 * [backup-simplify]: Simplify 0 into 0
7.376 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
7.378 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
7.380 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))))) into 0
7.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.383 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.383 * [backup-simplify]: Simplify 0 into 0
7.383 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
7.383 * * * [progress]: simplifying candidates
7.385 * [simplify]: Simplifying:
  (* (cbrt 3.0) (* x x))
  (* (cbrt 3.0) (* x x))
  (+ (log (cbrt 3.0)) (+ (log x) (log x)))
  (+ (log (cbrt 3.0)) (log (* x x)))
  (log (* (cbrt 3.0) (* x x)))
  (exp (* (cbrt 3.0) (* x x)))
  (* 3.0 (* (* (* x x) x) (* (* x x) x)))
  (* 3.0 (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (* (cbrt 3.0) (* x x))) (cbrt (* (cbrt 3.0) (* x x))))
  (cbrt (* (cbrt 3.0) (* x x)))
  (* (* (* (cbrt 3.0) (* x x)) (* (cbrt 3.0) (* x x))) (* (cbrt 3.0) (* x x)))
  (sqrt (* (cbrt 3.0) (* x x)))
  (sqrt (* (cbrt 3.0) (* x x)))
  (* (cbrt (sqrt 3.0)) x)
  (* (cbrt (sqrt 3.0)) x)
  (* (sqrt (cbrt 3.0)) x)
  (* (sqrt (cbrt 3.0)) x)
  (* (cbrt 3.0) x)
  (* (cbrt (cbrt 3.0)) (* x x))
  (* (cbrt (sqrt 3.0)) (* x x))
  (* (cbrt 3.0) (* x x))
  (* (cbrt (cbrt 3.0)) (* x x))
  (* (sqrt (cbrt 3.0)) (* x x))
  (* (cbrt 3.0) (* x x))
  (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x)))
  (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x)))
  (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x)))
  (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x)))
  (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x)))
  (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x)))
  (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (+ (log x) (log x))))
  (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (* x x))))
  (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (log (* (cbrt 3.0) (* x x))))
  (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (+ (log x) (log x))))
  (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (* x x))))
  (+ (log (* (cbrt 3.0) (cbrt 3.0))) (log (* (cbrt 3.0) (* x x))))
  (log (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x))))
  (exp (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x))))
  (* (* 3.0 3.0) (* 3.0 (* (* (* x x) x) (* (* x x) x))))
  (* (* 3.0 3.0) (* 3.0 (* (* (* x x) (* x x)) (* x x))))
  (* (* 3.0 3.0) (* (* (* (cbrt 3.0) (* x x)) (* (cbrt 3.0) (* x x))) (* (cbrt 3.0) (* x x))))
  (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* 3.0 (* (* (* x x) x) (* (* x x) x))))
  (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* 3.0 (* (* (* x x) (* x x)) (* x x))))
  (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* (* (* (cbrt 3.0) (* x x)) (* (cbrt 3.0) (* x x))) (* (cbrt 3.0) (* x x))))
  (* (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x)))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x)))))
  (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x))))
  (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x)))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x))))
  (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x))))
  (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x))))
  (* (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0))
  (* (cbrt 3.0) (* (cbrt 3.0) (* x x)))
  (* (pow x 2) (cbrt 3.0))
  (* (pow x 2) (cbrt 3.0))
  (* (pow x 2) (cbrt 3.0))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
7.386 * * [simplify]: iteration 0: 66 enodes
7.421 * * [simplify]: iteration 1: 168 enodes
7.472 * * [simplify]: iteration 2: 590 enodes
8.409 * * [simplify]: iteration 3: 2743 enodes
9.635 * * [simplify]: iteration complete: 5067 enodes
9.635 * * [simplify]: Extracting #0: cost 22 inf + 0
9.636 * * [simplify]: Extracting #1: cost 270 inf + 1
9.640 * * [simplify]: Extracting #2: cost 1236 inf + 11581
9.670 * * [simplify]: Extracting #3: cost 721 inf + 129271
9.713 * * [simplify]: Extracting #4: cost 105 inf + 247310
9.765 * * [simplify]: Extracting #5: cost 5 inf + 272928
9.833 * * [simplify]: Extracting #6: cost 0 inf + 274952
9.908 * [simplify]: Simplified to:
  (* (cbrt 3.0) (* x x))
  (* (cbrt 3.0) (* x x))
  (log (* (cbrt 3.0) (* x x)))
  (log (* (cbrt 3.0) (* x x)))
  (log (* (cbrt 3.0) (* x x)))
  (exp (* (cbrt 3.0) (* x x)))
  (* 3.0 (* (* x (* x x)) (* x (* x x))))
  (* 3.0 (* (* x (* x x)) (* x (* x x))))
  (* (cbrt (* (cbrt 3.0) (* x x))) (cbrt (* (cbrt 3.0) (* x x))))
  (cbrt (* (cbrt 3.0) (* x x)))
  (* 3.0 (* (* x (* x x)) (* x (* x x))))
  (sqrt (* (cbrt 3.0) (* x x)))
  (sqrt (* (cbrt 3.0) (* x x)))
  (* (cbrt (sqrt 3.0)) x)
  (* (cbrt (sqrt 3.0)) x)
  (* x (sqrt (cbrt 3.0)))
  (* x (sqrt (cbrt 3.0)))
  (* x (cbrt 3.0))
  (* (* (cbrt (cbrt 3.0)) x) x)
  (* (* x x) (cbrt (sqrt 3.0)))
  (* (cbrt 3.0) (* x x))
  (* (* (cbrt (cbrt 3.0)) x) x)
  (* (* x x) (sqrt (cbrt 3.0)))
  (* (cbrt 3.0) (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (log (* 3.0 (* x x)))
  (log (* 3.0 (* x x)))
  (log (* 3.0 (* x x)))
  (log (* 3.0 (* x x)))
  (log (* 3.0 (* x x)))
  (log (* 3.0 (* x x)))
  (log (* 3.0 (* x x)))
  (exp (* 3.0 (* x x)))
  (* (* (* 3.0 (* x x)) (* 3.0 (* x x))) (* 3.0 (* x x)))
  (* (* (* 3.0 (* x x)) (* 3.0 (* x x))) (* 3.0 (* x x)))
  (* (* (* 3.0 (* x x)) (* 3.0 (* x x))) (* 3.0 (* x x)))
  (* (* (* 3.0 (* x x)) (* 3.0 (* x x))) (* 3.0 (* x x)))
  (* (* (* 3.0 (* x x)) (* 3.0 (* x x))) (* 3.0 (* x x)))
  (* (* (* 3.0 (* x x)) (* 3.0 (* x x))) (* 3.0 (* x x)))
  (* (cbrt (* 3.0 (* x x))) (cbrt (* 3.0 (* x x))))
  (cbrt (* 3.0 (* x x)))
  (* (* (* 3.0 (* x x)) (* 3.0 (* x x))) (* 3.0 (* x x)))
  (sqrt (* 3.0 (* x x)))
  (sqrt (* 3.0 (* x x)))
  3.0
  (* (* x (cbrt 3.0)) (* x (cbrt 3.0)))
  (* (cbrt 3.0) (* x x))
  (* (cbrt 3.0) (* x x))
  (* (cbrt 3.0) (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
9.909 * * * [progress]: adding candidates to table
10.065 * [progress]: [Phase 3 of 3] Extracting.
10.065 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x))))> #<alt (λ (x) (* (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x)))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x))))))> #<alt (λ (x) (* 3.0 (* x x)))> #<alt (λ (x) (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))))> #<alt (λ (x) (* (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x))) (cbrt (* (* x 3.0) x))))> #<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* x x)))))> #<alt (λ (x) (* (* x 3.0) x))>)
10.066 * * * [regime-changes]: Trying 2 branch expressions: ((* (* x 3.0) x) x)
10.066 * * * * [regimes]: Trying to branch on (* (* x 3.0) x) from (#<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x))))> #<alt (λ (x) (* (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x)))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x))))))> #<alt (λ (x) (* 3.0 (* x x)))> #<alt (λ (x) (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))))> #<alt (λ (x) (* (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x))) (cbrt (* (* x 3.0) x))))> #<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* x x)))))> #<alt (λ (x) (* (* x 3.0) x))>)
10.127 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x))))> #<alt (λ (x) (* (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x)))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x x))))))> #<alt (λ (x) (* 3.0 (* x x)))> #<alt (λ (x) (* (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x))))> #<alt (λ (x) (* (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x))) (cbrt (* (* x 3.0) x))))> #<alt (λ (x) (* (* (cbrt 3.0) (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* (sqrt (cbrt 3.0)) (* x x)))))> #<alt (λ (x) (* (* x 3.0) x))>)
10.167 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
10.168 * [simplify]: Simplifying:
  (* (* x 3.0) x)
10.168 * * [simplify]: iteration 0: 4 enodes
10.168 * * [simplify]: iteration 1: 6 enodes
10.168 * * [simplify]: iteration complete: 6 enodes
10.168 * * [simplify]: Extracting #0: cost 1 inf + 0
10.168 * * [simplify]: Extracting #1: cost 3 inf + 0
10.168 * * [simplify]: Extracting #2: cost 3 inf + 1
10.168 * * [simplify]: Extracting #3: cost 0 inf + 126
10.168 * [simplify]: Simplified to:
  (* x (* x 3.0))
11.732 * [regime-testing]: Baseline error score: 0.17514689336167022
11.743 * [regime-testing]: Oracle error score: 0.012751593949243656
11.761 * [regime-testing]: End program error score: 0.17514689336167022