13.458 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.013 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.016 * [simplify]: Simplifying:
  (* (* x 3.0) x)
0.016 * * [simplify]: iteration 0: 4 enodes
0.017 * * [simplify]: iteration 1: 6 enodes
0.018 * * [simplify]: iteration 2: 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 + 13
0.019 * [simplify]: Simplified to:
  (* x (* x 3.0))
0.023 * * [progress]: iteration 1 / 4
0.023 * * * [progress]: picking best candidate
0.027 * * * * [pick]: Picked  #<alt (λ (x) (* x (* x 3.0)))>
0.027 * * * [progress]: localizing error
0.032 * * * [progress]: generating rewritten candidates
0.032 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.046 * * * [progress]: generating series expansions
0.046 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.046 * [backup-simplify]: Simplify (* x (* x 3.0)) into (* 3.0 (pow x 2))
0.046 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
0.046 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
0.046 * [taylor]: Taking taylor expansion of 3.0 in x
0.046 * [backup-simplify]: Simplify 3.0 into 3.0
0.046 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.046 * [taylor]: Taking taylor expansion of x in x
0.046 * [backup-simplify]: Simplify 0 into 0
0.046 * [backup-simplify]: Simplify 1 into 1
0.046 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
0.046 * [taylor]: Taking taylor expansion of 3.0 in x
0.046 * [backup-simplify]: Simplify 3.0 into 3.0
0.046 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.046 * [taylor]: Taking taylor expansion of x in x
0.046 * [backup-simplify]: Simplify 0 into 0
0.047 * [backup-simplify]: Simplify 1 into 1
0.047 * [backup-simplify]: Simplify (* 1 1) into 1
0.048 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
0.048 * [backup-simplify]: Simplify 3.0 into 3.0
0.048 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.049 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
0.049 * [backup-simplify]: Simplify 0 into 0
0.049 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.050 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
0.050 * [backup-simplify]: Simplify 0 into 0
0.051 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.051 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.051 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.053 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.053 * [backup-simplify]: Simplify 0 into 0
0.054 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.055 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.055 * [backup-simplify]: Simplify 0 into 0
0.056 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.057 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.057 * [backup-simplify]: Simplify 0 into 0
0.057 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
0.057 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 x) 3.0)) into (/ 3.0 (pow x 2))
0.057 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
0.057 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.057 * [taylor]: Taking taylor expansion of 3.0 in x
0.057 * [backup-simplify]: Simplify 3.0 into 3.0
0.057 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.057 * [taylor]: Taking taylor expansion of x in x
0.057 * [backup-simplify]: Simplify 0 into 0
0.057 * [backup-simplify]: Simplify 1 into 1
0.058 * [backup-simplify]: Simplify (* 1 1) into 1
0.058 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.058 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.058 * [taylor]: Taking taylor expansion of 3.0 in x
0.058 * [backup-simplify]: Simplify 3.0 into 3.0
0.058 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.058 * [taylor]: Taking taylor expansion of x in x
0.058 * [backup-simplify]: Simplify 0 into 0
0.058 * [backup-simplify]: Simplify 1 into 1
0.059 * [backup-simplify]: Simplify (* 1 1) into 1
0.059 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.059 * [backup-simplify]: Simplify 3.0 into 3.0
0.059 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.060 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.060 * [backup-simplify]: Simplify 0 into 0
0.061 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.061 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.061 * [backup-simplify]: Simplify 0 into 0
0.062 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.063 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.063 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.064 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.064 * [backup-simplify]: Simplify 0 into 0
0.065 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.066 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.066 * [backup-simplify]: Simplify 0 into 0
0.067 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.068 * [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.068 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
0.069 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- x)) 3.0)) into (/ 3.0 (pow x 2))
0.069 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
0.069 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.069 * [taylor]: Taking taylor expansion of 3.0 in x
0.069 * [backup-simplify]: Simplify 3.0 into 3.0
0.069 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.069 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify 1 into 1
0.069 * [backup-simplify]: Simplify (* 1 1) into 1
0.070 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.070 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
0.070 * [taylor]: Taking taylor expansion of 3.0 in x
0.070 * [backup-simplify]: Simplify 3.0 into 3.0
0.070 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.070 * [taylor]: Taking taylor expansion of x in x
0.070 * [backup-simplify]: Simplify 0 into 0
0.070 * [backup-simplify]: Simplify 1 into 1
0.070 * [backup-simplify]: Simplify (* 1 1) into 1
0.070 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.070 * [backup-simplify]: Simplify 3.0 into 3.0
0.071 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.072 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.072 * [backup-simplify]: Simplify 0 into 0
0.072 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.073 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 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 1)))) into 0
0.074 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.074 * [backup-simplify]: Simplify 0 into 0
0.075 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.076 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.076 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.078 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.078 * [backup-simplify]: Simplify 0 into 0
0.084 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.085 * [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.085 * [backup-simplify]: Simplify 0 into 0
0.085 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
0.086 * * * [progress]: simplifying candidates
0.086 * [simplify]: Simplifying:
  (* x (* x 3.0))
  (* x (* x 3.0))
  (+ (log x) (+ (log x) (log 3.0)))
  (+ (log x) (log (* x 3.0)))
  (log (* x (* x 3.0)))
  (exp (* x (* x 3.0)))
  (* (* (* x x) x) (* (* (* x x) x) (* (* 3.0 3.0) 3.0)))
  (* (* (* x x) x) (* (* (* x 3.0) (* x 3.0)) (* 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 x)
  (* (cbrt x) (* x 3.0))
  (* (sqrt x) (* x 3.0))
  (* x (* x 3.0))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
0.086 * * [simplify]: iteration 0: 33 enodes
0.093 * * [simplify]: iteration 1: 85 enodes
0.125 * * [simplify]: iteration 2: 448 enodes
1.824 * * [simplify]: iteration 3: 4874 enodes
4.190 * * [simplify]: iteration complete: 5000 enodes
4.190 * * [simplify]: Extracting #0: cost 10 inf + 0
4.191 * * [simplify]: Extracting #1: cost 425 inf + 0
4.196 * * [simplify]: Extracting #2: cost 1603 inf + 1270
4.215 * * [simplify]: Extracting #3: cost 148 inf + 10316
4.229 * * [simplify]: Extracting #4: cost 0 inf + 10993
4.242 * * [simplify]: Extracting #5: cost 0 inf + 10815
4.256 * * [simplify]: Extracting #6: cost 0 inf + 10805
4.270 * [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))
  (pow (* (* x x) 3.0) 3)
  (pow (* (* x x) 3.0) 3)
  (* (cbrt (* (* x x) 3.0)) (cbrt (* (* x x) 3.0)))
  (cbrt (* (* x x) 3.0))
  (pow (* (* x x) 3.0) 3)
  (sqrt (* (* x x) 3.0))
  (sqrt (* (* x x) 3.0))
  (* x x)
  (* (* (cbrt x) x) 3.0)
  (* (* 3.0 (sqrt x)) x)
  (* (* x x) 3.0)
  (* (* x x) 3.0)
  (* (* x x) 3.0)
  (* (* x x) 3.0)
4.271 * * * [progress]: adding candidates to table
4.352 * * [progress]: iteration 2 / 4
4.353 * * * [progress]: picking best candidate
4.376 * * * * [pick]: Picked  #<alt (λ (x) (pow (* (* x x) 3.0) 1))>
4.376 * * * [progress]: localizing error
4.390 * * * [progress]: generating rewritten candidates
4.390 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
4.420 * * * [progress]: generating series expansions
4.420 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
4.420 * [backup-simplify]: Simplify (* (* x x) 3.0) into (* 3.0 (pow x 2))
4.420 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
4.420 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.420 * [taylor]: Taking taylor expansion of 3.0 in x
4.420 * [backup-simplify]: Simplify 3.0 into 3.0
4.420 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.420 * [taylor]: Taking taylor expansion of x in x
4.420 * [backup-simplify]: Simplify 0 into 0
4.420 * [backup-simplify]: Simplify 1 into 1
4.420 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.420 * [taylor]: Taking taylor expansion of 3.0 in x
4.420 * [backup-simplify]: Simplify 3.0 into 3.0
4.420 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.420 * [taylor]: Taking taylor expansion of x in x
4.420 * [backup-simplify]: Simplify 0 into 0
4.420 * [backup-simplify]: Simplify 1 into 1
4.421 * [backup-simplify]: Simplify (* 1 1) into 1
4.422 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
4.422 * [backup-simplify]: Simplify 3.0 into 3.0
4.423 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.423 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
4.424 * [backup-simplify]: Simplify 0 into 0
4.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.426 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
4.426 * [backup-simplify]: Simplify 0 into 0
4.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.428 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.428 * [backup-simplify]: Simplify 0 into 0
4.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.431 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.431 * [backup-simplify]: Simplify 0 into 0
4.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.435 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.435 * [backup-simplify]: Simplify 0 into 0
4.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.438 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.438 * [backup-simplify]: Simplify 0 into 0
4.438 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
4.438 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) 3.0) into (/ 3.0 (pow x 2))
4.438 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
4.438 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
4.438 * [taylor]: Taking taylor expansion of 3.0 in x
4.438 * [backup-simplify]: Simplify 3.0 into 3.0
4.438 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.438 * [taylor]: Taking taylor expansion of x in x
4.438 * [backup-simplify]: Simplify 0 into 0
4.438 * [backup-simplify]: Simplify 1 into 1
4.439 * [backup-simplify]: Simplify (* 1 1) into 1
4.439 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
4.439 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
4.439 * [taylor]: Taking taylor expansion of 3.0 in x
4.439 * [backup-simplify]: Simplify 3.0 into 3.0
4.439 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.439 * [taylor]: Taking taylor expansion of x in x
4.439 * [backup-simplify]: Simplify 0 into 0
4.439 * [backup-simplify]: Simplify 1 into 1
4.440 * [backup-simplify]: Simplify (* 1 1) into 1
4.440 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
4.440 * [backup-simplify]: Simplify 3.0 into 3.0
4.440 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.441 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
4.441 * [backup-simplify]: Simplify 0 into 0
4.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.442 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.442 * [backup-simplify]: Simplify 0 into 0
4.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.444 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.444 * [backup-simplify]: Simplify 0 into 0
4.449 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.450 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.450 * [backup-simplify]: Simplify 0 into 0
4.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.451 * [backup-simplify]: Simplify 0 into 0
4.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.453 * [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.453 * [backup-simplify]: Simplify 0 into 0
4.454 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
4.454 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) 3.0) into (/ 3.0 (pow x 2))
4.454 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
4.454 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
4.454 * [taylor]: Taking taylor expansion of 3.0 in x
4.454 * [backup-simplify]: Simplify 3.0 into 3.0
4.454 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.454 * [taylor]: Taking taylor expansion of x in x
4.454 * [backup-simplify]: Simplify 0 into 0
4.454 * [backup-simplify]: Simplify 1 into 1
4.454 * [backup-simplify]: Simplify (* 1 1) into 1
4.455 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
4.455 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
4.455 * [taylor]: Taking taylor expansion of 3.0 in x
4.455 * [backup-simplify]: Simplify 3.0 into 3.0
4.455 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.455 * [taylor]: Taking taylor expansion of x in x
4.455 * [backup-simplify]: Simplify 0 into 0
4.455 * [backup-simplify]: Simplify 1 into 1
4.455 * [backup-simplify]: Simplify (* 1 1) into 1
4.455 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
4.455 * [backup-simplify]: Simplify 3.0 into 3.0
4.456 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.457 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
4.457 * [backup-simplify]: Simplify 0 into 0
4.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.458 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.458 * [backup-simplify]: Simplify 0 into 0
4.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.459 * [backup-simplify]: Simplify 0 into 0
4.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.461 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.461 * [backup-simplify]: Simplify 0 into 0
4.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.463 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.463 * [backup-simplify]: Simplify 0 into 0
4.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.464 * [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.464 * [backup-simplify]: Simplify 0 into 0
4.465 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
4.465 * * * [progress]: simplifying candidates
4.466 * [simplify]: Simplifying:
  (* (* x x) 3.0)
  (* (* x x) 3.0)
  (+ (+ (log x) (log x)) (log 3.0))
  (+ (log (* x x)) (log 3.0))
  (log (* (* x x) 3.0))
  (exp (* (* x x) 3.0))
  (* (* (* (* x x) x) (* (* x x) x)) (* (* 3.0 3.0) 3.0))
  (* (* (* (* x x) (* x x)) (* x x)) (* (* 3.0 3.0) 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))
  (* (* x x) (* (cbrt 3.0) (cbrt 3.0)))
  (* (* x x) (sqrt 3.0))
  (* (* x x) 1)
  (* x 3.0)
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
4.466 * * [simplify]: iteration 0: 37 enodes
4.482 * * [simplify]: iteration 1: 103 enodes
4.568 * * [simplify]: iteration 2: 712 enodes
5.018 * * [simplify]: iteration complete: 5001 enodes
5.018 * * [simplify]: Extracting #0: cost 12 inf + 0
5.020 * * [simplify]: Extracting #1: cost 585 inf + 0
5.031 * * [simplify]: Extracting #2: cost 2239 inf + 153
5.047 * * [simplify]: Extracting #3: cost 1024 inf + 5825
5.073 * * [simplify]: Extracting #4: cost 103 inf + 11948
5.090 * * [simplify]: Extracting #5: cost 0 inf + 12605
5.106 * * [simplify]: Extracting #6: cost 0 inf + 12593
5.124 * [simplify]: Simplified to:
  (* (* 3.0 x) x)
  (* (* 3.0 x) x)
  (log (* (* 3.0 x) x))
  (log (* (* 3.0 x) x))
  (log (* (* 3.0 x) x))
  (pow (exp (* x 3.0)) x)
  (pow (* (* 3.0 x) x) 3)
  (pow (* (* 3.0 x) x) 3)
  (* (cbrt (* (* 3.0 x) x)) (cbrt (* (* 3.0 x) x)))
  (cbrt (* (* 3.0 x) x))
  (pow (* (* 3.0 x) x) 3)
  (sqrt (* (* 3.0 x) x))
  (sqrt (* (* 3.0 x) x))
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (* x (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* x (* (sqrt 3.0) x))
  (* x x)
  (* x 3.0)
  (* (* 3.0 x) x)
  (* (* 3.0 x) x)
  (* (* 3.0 x) x)
5.124 * * * [progress]: adding candidates to table
5.231 * * [progress]: iteration 3 / 4
5.231 * * * [progress]: picking best candidate
5.245 * * * * [pick]: Picked  #<alt (λ (x) (pow (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (cbrt 3.0)) 1))>
5.245 * * * [progress]: localizing error
5.258 * * * [progress]: generating rewritten candidates
5.258 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
5.485 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
5.577 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2)
5.617 * * * [progress]: generating series expansions
5.617 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
5.620 * [backup-simplify]: Simplify (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (cbrt 3.0)) into (* (pow x 2) (pow (cbrt 3.0) 3))
5.620 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (cbrt 3.0) 3)) in (x) around 0
5.620 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (cbrt 3.0) 3)) in x
5.620 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.620 * [taylor]: Taking taylor expansion of x in x
5.620 * [backup-simplify]: Simplify 0 into 0
5.620 * [backup-simplify]: Simplify 1 into 1
5.620 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.620 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.620 * [taylor]: Taking taylor expansion of 3.0 in x
5.620 * [backup-simplify]: Simplify 3.0 into 3.0
5.621 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.622 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.622 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (cbrt 3.0) 3)) in x
5.622 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.622 * [taylor]: Taking taylor expansion of x in x
5.622 * [backup-simplify]: Simplify 0 into 0
5.622 * [backup-simplify]: Simplify 1 into 1
5.622 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.622 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.622 * [taylor]: Taking taylor expansion of 3.0 in x
5.622 * [backup-simplify]: Simplify 3.0 into 3.0
5.622 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.623 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.624 * [backup-simplify]: Simplify (* 1 1) into 1
5.626 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.628 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
5.631 * [backup-simplify]: Simplify (* 1 (pow (cbrt 3.0) 3)) into 3.0
5.631 * [backup-simplify]: Simplify 3.0 into 3.0
5.632 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
5.633 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0
5.634 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.635 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (cbrt 3.0) 3))) into 0
5.635 * [backup-simplify]: Simplify 0 into 0
5.637 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.639 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
5.640 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
5.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 3)))) into 0
5.643 * [backup-simplify]: Simplify 0 into 0
5.645 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.647 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
5.648 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
5.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 3))))) into 0
5.652 * [backup-simplify]: Simplify 0 into 0
5.654 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.656 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
5.658 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
5.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 3)))))) into 0
5.662 * [backup-simplify]: Simplify 0 into 0
5.663 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.666 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
5.668 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
5.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 3))))))) into 0
5.673 * [backup-simplify]: Simplify 0 into 0
5.676 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.679 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
5.682 * [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
5.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 3)))))))) into 0
5.686 * [backup-simplify]: Simplify 0 into 0
5.687 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
5.689 * [backup-simplify]: Simplify (* (* (/ 1 x) (* (/ 1 x) (* (cbrt 3.0) (cbrt 3.0)))) (cbrt 3.0)) into (/ (pow (cbrt 3.0) 3) (pow x 2))
5.689 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in (x) around 0
5.689 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
5.689 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.689 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.689 * [taylor]: Taking taylor expansion of 3.0 in x
5.689 * [backup-simplify]: Simplify 3.0 into 3.0
5.690 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.691 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.691 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.691 * [taylor]: Taking taylor expansion of x in x
5.691 * [backup-simplify]: Simplify 0 into 0
5.691 * [backup-simplify]: Simplify 1 into 1
5.692 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.695 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
5.695 * [backup-simplify]: Simplify (* 1 1) into 1
5.697 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
5.697 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
5.697 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.697 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.697 * [taylor]: Taking taylor expansion of 3.0 in x
5.697 * [backup-simplify]: Simplify 3.0 into 3.0
5.698 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.699 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.699 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.699 * [taylor]: Taking taylor expansion of x in x
5.699 * [backup-simplify]: Simplify 0 into 0
5.699 * [backup-simplify]: Simplify 1 into 1
5.700 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.703 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
5.703 * [backup-simplify]: Simplify (* 1 1) into 1
5.705 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
5.705 * [backup-simplify]: Simplify 3.0 into 3.0
5.706 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
5.708 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0
5.708 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.709 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
5.709 * [backup-simplify]: Simplify 0 into 0
5.711 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.713 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
5.714 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
5.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.717 * [backup-simplify]: Simplify 0 into 0
5.718 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.720 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
5.722 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
5.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.724 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.725 * [backup-simplify]: Simplify 0 into 0
5.726 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.727 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
5.728 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
5.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.730 * [backup-simplify]: Simplify 0 into 0
5.731 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.732 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
5.733 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
5.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.735 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.735 * [backup-simplify]: Simplify 0 into 0
5.736 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.737 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
5.739 * [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
5.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.743 * [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
5.743 * [backup-simplify]: Simplify 0 into 0
5.744 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
5.745 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (* (/ 1 (- x)) (* (cbrt 3.0) (cbrt 3.0)))) (cbrt 3.0)) into (/ (pow (cbrt 3.0) 3) (pow x 2))
5.745 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in (x) around 0
5.746 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
5.746 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.746 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.746 * [taylor]: Taking taylor expansion of 3.0 in x
5.746 * [backup-simplify]: Simplify 3.0 into 3.0
5.746 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.746 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.747 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.747 * [taylor]: Taking taylor expansion of x in x
5.747 * [backup-simplify]: Simplify 0 into 0
5.747 * [backup-simplify]: Simplify 1 into 1
5.747 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.749 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
5.749 * [backup-simplify]: Simplify (* 1 1) into 1
5.750 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
5.751 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
5.751 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
5.751 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.751 * [taylor]: Taking taylor expansion of 3.0 in x
5.751 * [backup-simplify]: Simplify 3.0 into 3.0
5.751 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.751 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.751 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.751 * [taylor]: Taking taylor expansion of x in x
5.752 * [backup-simplify]: Simplify 0 into 0
5.752 * [backup-simplify]: Simplify 1 into 1
5.752 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.755 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
5.755 * [backup-simplify]: Simplify (* 1 1) into 1
5.757 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
5.757 * [backup-simplify]: Simplify 3.0 into 3.0
5.758 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
5.759 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0
5.760 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
5.761 * [backup-simplify]: Simplify 0 into 0
5.763 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.764 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
5.765 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
5.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.768 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.768 * [backup-simplify]: Simplify 0 into 0
5.770 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.771 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
5.773 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
5.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.775 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.775 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.779 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
5.781 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
5.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.783 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.783 * [backup-simplify]: Simplify 0 into 0
5.785 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.787 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
5.790 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
5.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.792 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.792 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.796 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
5.799 * [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
5.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.802 * [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
5.802 * [backup-simplify]: Simplify 0 into 0
5.802 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
5.803 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
5.804 * [backup-simplify]: Simplify (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) into (* (pow x 2) (pow (cbrt 3.0) 2))
5.804 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (cbrt 3.0) 2)) in (x) around 0
5.804 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (cbrt 3.0) 2)) in x
5.805 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.805 * [taylor]: Taking taylor expansion of x in x
5.805 * [backup-simplify]: Simplify 0 into 0
5.805 * [backup-simplify]: Simplify 1 into 1
5.805 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
5.805 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.805 * [taylor]: Taking taylor expansion of 3.0 in x
5.805 * [backup-simplify]: Simplify 3.0 into 3.0
5.805 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.806 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.806 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (cbrt 3.0) 2)) in x
5.806 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.806 * [taylor]: Taking taylor expansion of x in x
5.806 * [backup-simplify]: Simplify 0 into 0
5.806 * [backup-simplify]: Simplify 1 into 1
5.806 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
5.806 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.806 * [taylor]: Taking taylor expansion of 3.0 in x
5.806 * [backup-simplify]: Simplify 3.0 into 3.0
5.807 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.808 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.808 * [backup-simplify]: Simplify (* 1 1) into 1
5.810 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.812 * [backup-simplify]: Simplify (* 1 (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 2)
5.813 * [backup-simplify]: Simplify (pow (cbrt 3.0) 2) into (pow (cbrt 3.0) 2)
5.814 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
5.815 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.816 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (cbrt 3.0) 2))) into 0
5.816 * [backup-simplify]: Simplify 0 into 0
5.818 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.819 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
5.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
5.822 * [backup-simplify]: Simplify 0 into 0
5.823 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.825 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
5.826 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
5.828 * [backup-simplify]: Simplify 0 into 0
5.830 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.832 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
5.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
5.835 * [backup-simplify]: Simplify 0 into 0
5.837 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.839 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
5.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
5.843 * [backup-simplify]: Simplify 0 into 0
5.845 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.847 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
5.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))))) into 0
5.852 * [backup-simplify]: Simplify 0 into 0
5.853 * [backup-simplify]: Simplify (* (pow (cbrt 3.0) 2) (pow x 2)) into (* (pow x 2) (pow (cbrt 3.0) 2))
5.855 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 x) (* (cbrt 3.0) (cbrt 3.0)))) into (/ (pow (cbrt 3.0) 2) (pow x 2))
5.855 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in (x) around 0
5.855 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x
5.855 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
5.855 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.855 * [taylor]: Taking taylor expansion of 3.0 in x
5.855 * [backup-simplify]: Simplify 3.0 into 3.0
5.856 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.857 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.857 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.857 * [taylor]: Taking taylor expansion of x in x
5.857 * [backup-simplify]: Simplify 0 into 0
5.857 * [backup-simplify]: Simplify 1 into 1
5.858 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.859 * [backup-simplify]: Simplify (* 1 1) into 1
5.861 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
5.861 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x
5.861 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
5.861 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.861 * [taylor]: Taking taylor expansion of 3.0 in x
5.861 * [backup-simplify]: Simplify 3.0 into 3.0
5.862 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.863 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.863 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.863 * [taylor]: Taking taylor expansion of x in x
5.863 * [backup-simplify]: Simplify 0 into 0
5.863 * [backup-simplify]: Simplify 1 into 1
5.864 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.864 * [backup-simplify]: Simplify (* 1 1) into 1
5.867 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
5.868 * [backup-simplify]: Simplify (pow (cbrt 3.0) 2) into (pow (cbrt 3.0) 2)
5.869 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
5.870 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.871 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)))) into 0
5.871 * [backup-simplify]: Simplify 0 into 0
5.873 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.874 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
5.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.877 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.877 * [backup-simplify]: Simplify 0 into 0
5.878 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.880 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
5.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.883 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.883 * [backup-simplify]: Simplify 0 into 0
5.886 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.888 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
5.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.891 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.891 * [backup-simplify]: Simplify 0 into 0
5.893 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.895 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
5.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.898 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.899 * [backup-simplify]: Simplify 0 into 0
5.901 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.903 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
5.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.907 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.907 * [backup-simplify]: Simplify 0 into 0
5.909 * [backup-simplify]: Simplify (* (pow (cbrt 3.0) 2) (pow (/ 1 (/ 1 x)) 2)) into (* (pow x 2) (pow (cbrt 3.0) 2))
5.914 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- x)) (* (cbrt 3.0) (cbrt 3.0)))) into (/ (pow (cbrt 3.0) 2) (pow x 2))
5.914 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in (x) around 0
5.914 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x
5.914 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
5.914 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.914 * [taylor]: Taking taylor expansion of 3.0 in x
5.914 * [backup-simplify]: Simplify 3.0 into 3.0
5.915 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.915 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.916 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.916 * [taylor]: Taking taylor expansion of x in x
5.916 * [backup-simplify]: Simplify 0 into 0
5.916 * [backup-simplify]: Simplify 1 into 1
5.917 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.918 * [backup-simplify]: Simplify (* 1 1) into 1
5.920 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
5.920 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x
5.920 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
5.920 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.920 * [taylor]: Taking taylor expansion of 3.0 in x
5.920 * [backup-simplify]: Simplify 3.0 into 3.0
5.920 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.921 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.921 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.921 * [taylor]: Taking taylor expansion of x in x
5.921 * [backup-simplify]: Simplify 0 into 0
5.921 * [backup-simplify]: Simplify 1 into 1
5.922 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.922 * [backup-simplify]: Simplify (* 1 1) into 1
5.923 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
5.924 * [backup-simplify]: Simplify (pow (cbrt 3.0) 2) into (pow (cbrt 3.0) 2)
5.925 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
5.925 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.926 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)))) into 0
5.926 * [backup-simplify]: Simplify 0 into 0
5.927 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.928 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
5.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.929 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.929 * [backup-simplify]: Simplify 0 into 0
5.930 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.931 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
5.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.933 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.933 * [backup-simplify]: Simplify 0 into 0
5.934 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.935 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
5.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.936 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.937 * [backup-simplify]: Simplify 0 into 0
5.937 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.939 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
5.939 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.940 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.941 * [backup-simplify]: Simplify 0 into 0
5.942 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.943 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
5.944 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.945 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.945 * [backup-simplify]: Simplify 0 into 0
5.946 * [backup-simplify]: Simplify (* (pow (cbrt 3.0) 2) (pow (/ 1 (/ 1 (- x))) 2)) into (* (pow x 2) (pow (cbrt 3.0) 2))
5.946 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2)
5.947 * [backup-simplify]: Simplify (* x (* (cbrt 3.0) (cbrt 3.0))) into (* x (pow (cbrt 3.0) 2))
5.948 * [approximate]: Taking taylor expansion of (* x (pow (cbrt 3.0) 2)) in (x) around 0
5.948 * [taylor]: Taking taylor expansion of (* x (pow (cbrt 3.0) 2)) in x
5.948 * [taylor]: Taking taylor expansion of x in x
5.948 * [backup-simplify]: Simplify 0 into 0
5.948 * [backup-simplify]: Simplify 1 into 1
5.948 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
5.948 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.948 * [taylor]: Taking taylor expansion of 3.0 in x
5.948 * [backup-simplify]: Simplify 3.0 into 3.0
5.948 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.949 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.949 * [taylor]: Taking taylor expansion of (* x (pow (cbrt 3.0) 2)) in x
5.949 * [taylor]: Taking taylor expansion of x in x
5.949 * [backup-simplify]: Simplify 0 into 0
5.949 * [backup-simplify]: Simplify 1 into 1
5.949 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
5.949 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.949 * [taylor]: Taking taylor expansion of 3.0 in x
5.949 * [backup-simplify]: Simplify 3.0 into 3.0
5.949 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.950 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.951 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
5.951 * [backup-simplify]: Simplify (* 0 (pow (cbrt 3.0) 2)) into 0
5.951 * [backup-simplify]: Simplify 0 into 0
5.952 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
5.955 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (cbrt 3.0) 2))) into (pow (cbrt 3.0) 2)
5.956 * [backup-simplify]: Simplify (pow (cbrt 3.0) 2) into (pow (cbrt 3.0) 2)
5.958 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.959 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
5.961 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
5.961 * [backup-simplify]: Simplify 0 into 0
5.963 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.965 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
5.966 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
5.966 * [backup-simplify]: Simplify 0 into 0
5.968 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.970 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
5.972 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
5.972 * [backup-simplify]: Simplify 0 into 0
5.974 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.976 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
5.978 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
5.978 * [backup-simplify]: Simplify 0 into 0
5.980 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
5.982 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
5.984 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))))) into 0
5.985 * [backup-simplify]: Simplify 0 into 0
5.986 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
5.988 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))))) into 0
5.991 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))))) into 0
5.991 * [backup-simplify]: Simplify 0 into 0
5.993 * [backup-simplify]: Simplify (* (pow (cbrt 3.0) 2) x) into (* x (pow (cbrt 3.0) 2))
5.994 * [backup-simplify]: Simplify (* (/ 1 x) (* (cbrt 3.0) (cbrt 3.0))) into (/ (pow (cbrt 3.0) 2) x)
5.995 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) x) in (x) around 0
5.995 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) x) in x
5.995 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
5.995 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
5.995 * [taylor]: Taking taylor expansion of 3.0 in x
5.995 * [backup-simplify]: Simplify 3.0 into 3.0
5.995 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
5.996 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
5.996 * [taylor]: Taking taylor expansion of x in x
5.996 * [backup-simplify]: Simplify 0 into 0
5.996 * [backup-simplify]: Simplify 1 into 1
5.998 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
6.000 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
6.000 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) x) in x
6.000 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
6.000 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.000 * [taylor]: Taking taylor expansion of 3.0 in x
6.000 * [backup-simplify]: Simplify 3.0 into 3.0
6.001 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
6.002 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
6.002 * [taylor]: Taking taylor expansion of x in x
6.002 * [backup-simplify]: Simplify 0 into 0
6.002 * [backup-simplify]: Simplify 1 into 1
6.003 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
6.005 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
6.007 * [backup-simplify]: Simplify (pow (cbrt 3.0) 2) into (pow (cbrt 3.0) 2)
6.007 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
6.009 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)))) into 0
6.009 * [backup-simplify]: Simplify 0 into 0
6.011 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
6.012 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
6.013 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.014 * [backup-simplify]: Simplify 0 into 0
6.015 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
6.017 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
6.019 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.019 * [backup-simplify]: Simplify 0 into 0
6.021 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
6.023 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
6.024 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.024 * [backup-simplify]: Simplify 0 into 0
6.026 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
6.028 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
6.029 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.029 * [backup-simplify]: Simplify 0 into 0
6.030 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
6.031 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
6.033 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.033 * [backup-simplify]: Simplify 0 into 0
6.034 * [backup-simplify]: Simplify (* (pow (cbrt 3.0) 2) (/ 1 (/ 1 x))) into (* x (pow (cbrt 3.0) 2))
6.035 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (cbrt 3.0) (cbrt 3.0))) into (* -1 (/ (pow (cbrt 3.0) 2) x))
6.035 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3.0) 2) x)) in (x) around 0
6.035 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3.0) 2) x)) in x
6.035 * [taylor]: Taking taylor expansion of -1 in x
6.035 * [backup-simplify]: Simplify -1 into -1
6.035 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) x) in x
6.035 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
6.035 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.035 * [taylor]: Taking taylor expansion of 3.0 in x
6.035 * [backup-simplify]: Simplify 3.0 into 3.0
6.035 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
6.036 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
6.036 * [taylor]: Taking taylor expansion of x in x
6.036 * [backup-simplify]: Simplify 0 into 0
6.036 * [backup-simplify]: Simplify 1 into 1
6.037 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
6.038 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
6.038 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3.0) 2) x)) in x
6.038 * [taylor]: Taking taylor expansion of -1 in x
6.038 * [backup-simplify]: Simplify -1 into -1
6.038 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) x) in x
6.038 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
6.038 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
6.038 * [taylor]: Taking taylor expansion of 3.0 in x
6.038 * [backup-simplify]: Simplify 3.0 into 3.0
6.039 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
6.039 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
6.039 * [taylor]: Taking taylor expansion of x in x
6.039 * [backup-simplify]: Simplify 0 into 0
6.039 * [backup-simplify]: Simplify 1 into 1
6.040 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
6.041 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
6.043 * [backup-simplify]: Simplify (* -1 (pow (cbrt 3.0) 2)) into (* -1 (pow (cbrt 3.0) 2))
6.044 * [backup-simplify]: Simplify (* -1 (pow (cbrt 3.0) 2)) into (* -1 (pow (cbrt 3.0) 2))
6.044 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
6.045 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)))) into 0
6.046 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (pow (cbrt 3.0) 2))) into 0
6.046 * [backup-simplify]: Simplify 0 into 0
6.047 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
6.050 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
6.052 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.053 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
6.053 * [backup-simplify]: Simplify 0 into 0
6.054 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
6.055 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
6.056 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.057 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
6.057 * [backup-simplify]: Simplify 0 into 0
6.059 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
6.061 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
6.063 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.065 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
6.065 * [backup-simplify]: Simplify 0 into 0
6.066 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
6.068 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
6.070 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.072 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
6.072 * [backup-simplify]: Simplify 0 into 0
6.074 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
6.077 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
6.079 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.082 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))))) into 0
6.082 * [backup-simplify]: Simplify 0 into 0
6.085 * [backup-simplify]: Simplify (* (* -1 (pow (cbrt 3.0) 2)) (/ 1 (/ 1 (- x)))) into (* x (pow (cbrt 3.0) 2))
6.085 * * * [progress]: simplifying candidates
6.087 * [simplify]: Simplifying:
  (* (* 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))
  (+ (+ (log x) (+ (log x) (+ (log (cbrt 3.0)) (log (cbrt 3.0))))) (log (cbrt 3.0)))
  (+ (+ (log x) (+ (log x) (log (* (cbrt 3.0) (cbrt 3.0))))) (log (cbrt 3.0)))
  (+ (+ (log x) (log (* x (* (cbrt 3.0) (cbrt 3.0))))) (log (cbrt 3.0)))
  (+ (log (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (log (cbrt 3.0)))
  (log (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (cbrt 3.0)))
  (exp (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (cbrt 3.0)))
  (* (* (* (* x x) x) (* (* (* x x) x) (* 3.0 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 (* (cbrt 3.0) (cbrt 3.0))) (* x (* (cbrt 3.0) (cbrt 3.0)))) (* x (* (cbrt 3.0) (cbrt 3.0))))) 3.0)
  (* (* (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) 3.0)
  (* (cbrt (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (cbrt 3.0))) (cbrt (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (cbrt 3.0))))
  (cbrt (* (* 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)))
  (sqrt (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (cbrt 3.0)))
  (sqrt (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (cbrt 3.0)))
  (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (cbrt (sqrt 3.0)))
  (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (cbrt 1))
  (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (cbrt 3.0)))
  (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) 1)
  (* (* x (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))
  (* x (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* x (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* x (* x (* (cbrt 3.0) (cbrt 3.0))))
  (+ (log x) (+ (log x) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))))
  (+ (log x) (+ (log x) (log (* (cbrt 3.0) (cbrt 3.0)))))
  (+ (log x) (log (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (log (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (exp (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (* (* (* x x) x) (* (* (* x x) x) (* 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)))))
  (* (* (* x x) x) (* (* (* x (* (cbrt 3.0) (cbrt 3.0))) (* x (* (cbrt 3.0) (cbrt 3.0)))) (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (* (cbrt (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt (* x (* x (* (cbrt 3.0) (cbrt 3.0))))))
  (cbrt (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (* (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (sqrt (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (sqrt (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (* x x)
  (* (cbrt x) (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* (sqrt x) (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* x (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* x (* (cbrt 3.0) (cbrt 3.0)))
  (* x (* (cbrt 3.0) (cbrt 3.0)))
  (+ (log x) (+ (log (cbrt 3.0)) (log (cbrt 3.0))))
  (+ (log x) (log (* (cbrt 3.0) (cbrt 3.0))))
  (log (* x (* (cbrt 3.0) (cbrt 3.0))))
  (exp (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* (* (* x x) x) (* 3.0 3.0))
  (* (* (* x x) x) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))))
  (* (cbrt (* x (* (cbrt 3.0) (cbrt 3.0)))) (cbrt (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (cbrt (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* (* (* x (* (cbrt 3.0) (cbrt 3.0))) (* x (* (cbrt 3.0) (cbrt 3.0)))) (* x (* (cbrt 3.0) (cbrt 3.0))))
  (sqrt (* x (* (cbrt 3.0) (cbrt 3.0))))
  (sqrt (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* (sqrt x) (cbrt 3.0))
  (* (sqrt x) (cbrt 3.0))
  (* x (cbrt 3.0))
  (* (cbrt x) (* (cbrt 3.0) (cbrt 3.0)))
  (* (sqrt x) (* (cbrt 3.0) (cbrt 3.0)))
  (* x (* (cbrt 3.0) (cbrt 3.0)))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* (pow x 2) (pow (cbrt 3.0) 2))
  (* (pow x 2) (pow (cbrt 3.0) 2))
  (* (pow x 2) (pow (cbrt 3.0) 2))
  (* x (pow (cbrt 3.0) 2))
  (* x (pow (cbrt 3.0) 2))
  (* x (pow (cbrt 3.0) 2))
6.089 * * [simplify]: iteration 0: 84 enodes
6.110 * * [simplify]: iteration 1: 239 enodes
6.337 * * [simplify]: iteration 2: 1725 enodes
7.336 * * [simplify]: iteration complete: 5001 enodes
7.336 * * [simplify]: Extracting #0: cost 38 inf + 0
7.340 * * [simplify]: Extracting #1: cost 901 inf + 0
7.352 * * [simplify]: Extracting #2: cost 1801 inf + 402
7.367 * * [simplify]: Extracting #3: cost 896 inf + 7401
7.377 * * [simplify]: Extracting #4: cost 114 inf + 14209
7.385 * * [simplify]: Extracting #5: cost 4 inf + 15469
7.393 * * [simplify]: Extracting #6: cost 0 inf + 15470
7.400 * * [simplify]: Extracting #7: cost 0 inf + 15466
7.418 * [simplify]: Simplified to:
  (* (* x x) (pow (cbrt 3.0) (+ 2 1)))
  (* (* x x) (pow (cbrt 3.0) (+ 2 1)))
  (* (* x x) (pow (cbrt 3.0) (+ 2 1)))
  (* (* x x) (pow (cbrt 3.0) (+ 2 1)))
  (log (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (log (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (log (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (log (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (log (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (pow (pow (exp x) x) (pow (cbrt 3.0) (+ 2 1)))
  (* 3.0 (* (pow x (* 2 3)) (* 3.0 3.0)))
  (* 3.0 (* (pow x (* 2 3)) (* 3.0 3.0)))
  (* 3.0 (pow (* x (* x (pow (cbrt 3.0) 2))) 3))
  (* 3.0 (pow (* x (* x (pow (cbrt 3.0) 2))) 3))
  (* (cbrt (* (* x x) (pow (cbrt 3.0) (+ 2 1)))) (cbrt (* (* x x) (pow (cbrt 3.0) (+ 2 1)))))
  (cbrt (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (pow (* (* x x) (pow (cbrt 3.0) (+ 2 1))) 3)
  (sqrt (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (sqrt (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (* (* (cbrt (pow (cbrt 3.0) 2)) (* x x)) (pow (cbrt 3.0) 2))
  (* (cbrt (sqrt 3.0)) (* x (* x (pow (cbrt 3.0) 2))))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* (* (cbrt (cbrt 3.0)) (* x (* x (pow (cbrt 3.0) 2)))) (cbrt (cbrt 3.0)))
  (* x (* (sqrt (cbrt 3.0)) (* (pow (cbrt 3.0) 2) x)))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* 3.0 x)
  (* x (* x (pow (cbrt 3.0) 2)))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* 2 (+ (log x) (log (cbrt 3.0))))
  (* 2 (+ (log x) (log (cbrt 3.0))))
  (* 2 (+ (log x) (log (cbrt 3.0))))
  (* 2 (+ (log x) (log (cbrt 3.0))))
  (pow (exp (* (pow (cbrt 3.0) 2) x)) x)
  (* (pow x (* 2 3)) (* 3.0 3.0))
  (* (pow x (* 2 3)) (* 3.0 3.0))
  (pow (* x (* x (pow (cbrt 3.0) 2))) 3)
  (* (cbrt (* x (* x (pow (cbrt 3.0) 2)))) (cbrt (* x (* x (pow (cbrt 3.0) 2)))))
  (cbrt (* x (* x (pow (cbrt 3.0) 2))))
  (pow (* x (* x (pow (cbrt 3.0) 2))) 3)
  (fabs (* x (cbrt 3.0)))
  (fabs (* x (cbrt 3.0)))
  (* x x)
  (* (* (cbrt x) x) (pow (cbrt 3.0) 2))
  (* (pow (cbrt 3.0) 2) (* x (sqrt x)))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* (pow (cbrt 3.0) 2) x)
  (* (pow (cbrt 3.0) 2) x)
  (log (* (pow (cbrt 3.0) 2) x))
  (log (* (pow (cbrt 3.0) 2) x))
  (log (* (pow (cbrt 3.0) 2) x))
  (exp (* (pow (cbrt 3.0) 2) x))
  (* (* (pow x 3) 3.0) 3.0)
  (* (* (pow x 3) 3.0) 3.0)
  (* (cbrt (* (pow (cbrt 3.0) 2) x)) (cbrt (* (pow (cbrt 3.0) 2) x)))
  (cbrt (* (pow (cbrt 3.0) 2) x))
  (* (* 3.0 3.0) (pow x 3))
  (sqrt (* (pow (cbrt 3.0) 2) x))
  (sqrt (* (pow (cbrt 3.0) 2) x))
  (* (cbrt 3.0) (sqrt x))
  (* (cbrt 3.0) (sqrt x))
  (* x (cbrt 3.0))
  (* (cbrt x) (pow (cbrt 3.0) 2))
  (* (sqrt x) (pow (cbrt 3.0) 2))
  (* (pow (cbrt 3.0) 2) x)
  (* x (* x 3.0))
  (* x (* x 3.0))
  (* x (* x 3.0))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* (pow (cbrt 3.0) 2) x)
  (* (pow (cbrt 3.0) 2) x)
  (* (pow (cbrt 3.0) 2) x)
7.419 * * * [progress]: adding candidates to table
7.727 * * [progress]: iteration 4 / 4
7.727 * * * [progress]: picking best candidate
7.758 * * * * [pick]: Picked  #<alt (λ (x) (pow (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0)) 1))>
7.758 * * * [progress]: localizing error
7.787 * * * [progress]: generating rewritten candidates
7.787 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
8.418 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
8.497 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2 2)
8.518 * * * [progress]: generating series expansions
8.518 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
8.520 * [backup-simplify]: Simplify (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0)) into (* (pow x 2) (pow (cbrt 3.0) 3))
8.521 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (cbrt 3.0) 3)) in (x) around 0
8.521 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (cbrt 3.0) 3)) in x
8.521 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.521 * [taylor]: Taking taylor expansion of x in x
8.521 * [backup-simplify]: Simplify 0 into 0
8.521 * [backup-simplify]: Simplify 1 into 1
8.521 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
8.521 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.521 * [taylor]: Taking taylor expansion of 3.0 in x
8.521 * [backup-simplify]: Simplify 3.0 into 3.0
8.521 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.522 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.522 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (cbrt 3.0) 3)) in x
8.522 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.522 * [taylor]: Taking taylor expansion of x in x
8.522 * [backup-simplify]: Simplify 0 into 0
8.522 * [backup-simplify]: Simplify 1 into 1
8.522 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
8.522 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.522 * [taylor]: Taking taylor expansion of 3.0 in x
8.522 * [backup-simplify]: Simplify 3.0 into 3.0
8.523 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.523 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.524 * [backup-simplify]: Simplify (* 1 1) into 1
8.525 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.528 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
8.529 * [backup-simplify]: Simplify (* 1 (pow (cbrt 3.0) 3)) into 3.0
8.529 * [backup-simplify]: Simplify 3.0 into 3.0
8.530 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
8.531 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0
8.532 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.533 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (cbrt 3.0) 3))) into 0
8.533 * [backup-simplify]: Simplify 0 into 0
8.534 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.536 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
8.537 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
8.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 3)))) into 0
8.539 * [backup-simplify]: Simplify 0 into 0
8.541 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.542 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
8.544 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
8.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 3))))) into 0
8.546 * [backup-simplify]: Simplify 0 into 0
8.548 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.550 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
8.551 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
8.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 3)))))) into 0
8.555 * [backup-simplify]: Simplify 0 into 0
8.556 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.558 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
8.560 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
8.562 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 3))))))) into 0
8.564 * [backup-simplify]: Simplify 0 into 0
8.566 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.568 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
8.570 * [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
8.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 3)))))))) into 0
8.574 * [backup-simplify]: Simplify 0 into 0
8.574 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
8.577 * [backup-simplify]: Simplify (* (* 1 (* (/ 1 x) (* (/ 1 x) (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0)) into (/ (pow (cbrt 3.0) 3) (pow x 2))
8.577 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in (x) around 0
8.577 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
8.577 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
8.577 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.577 * [taylor]: Taking taylor expansion of 3.0 in x
8.577 * [backup-simplify]: Simplify 3.0 into 3.0
8.577 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.578 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.578 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.578 * [taylor]: Taking taylor expansion of x in x
8.578 * [backup-simplify]: Simplify 0 into 0
8.578 * [backup-simplify]: Simplify 1 into 1
8.579 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.581 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
8.582 * [backup-simplify]: Simplify (* 1 1) into 1
8.584 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
8.584 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
8.584 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
8.584 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.584 * [taylor]: Taking taylor expansion of 3.0 in x
8.584 * [backup-simplify]: Simplify 3.0 into 3.0
8.584 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.585 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.585 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.585 * [taylor]: Taking taylor expansion of x in x
8.585 * [backup-simplify]: Simplify 0 into 0
8.585 * [backup-simplify]: Simplify 1 into 1
8.586 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.588 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
8.589 * [backup-simplify]: Simplify (* 1 1) into 1
8.591 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
8.591 * [backup-simplify]: Simplify 3.0 into 3.0
8.592 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
8.593 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0
8.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.594 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
8.594 * [backup-simplify]: Simplify 0 into 0
8.596 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.597 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
8.598 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
8.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.600 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.600 * [backup-simplify]: Simplify 0 into 0
8.602 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.603 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
8.605 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
8.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.606 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.606 * [backup-simplify]: Simplify 0 into 0
8.607 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.608 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
8.609 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
8.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.610 * [backup-simplify]: Simplify 0 into 0
8.611 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.612 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
8.613 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
8.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.614 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.614 * [backup-simplify]: Simplify 0 into 0
8.615 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.616 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
8.617 * [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
8.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.619 * [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
8.619 * [backup-simplify]: Simplify 0 into 0
8.619 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
8.620 * [backup-simplify]: Simplify (* (* 1 (* (/ 1 (- x)) (* (/ 1 (- x)) (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0)) into (/ (pow (cbrt 3.0) 3) (pow x 2))
8.620 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in (x) around 0
8.620 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
8.620 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
8.620 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.620 * [taylor]: Taking taylor expansion of 3.0 in x
8.620 * [backup-simplify]: Simplify 3.0 into 3.0
8.621 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.621 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.621 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.621 * [taylor]: Taking taylor expansion of x in x
8.621 * [backup-simplify]: Simplify 0 into 0
8.621 * [backup-simplify]: Simplify 1 into 1
8.622 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.623 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
8.623 * [backup-simplify]: Simplify (* 1 1) into 1
8.625 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
8.625 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x
8.625 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x
8.625 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.625 * [taylor]: Taking taylor expansion of 3.0 in x
8.625 * [backup-simplify]: Simplify 3.0 into 3.0
8.625 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.625 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.625 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.625 * [taylor]: Taking taylor expansion of x in x
8.625 * [backup-simplify]: Simplify 0 into 0
8.625 * [backup-simplify]: Simplify 1 into 1
8.626 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.628 * [backup-simplify]: Simplify (* (cbrt 3.0) (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 3)
8.628 * [backup-simplify]: Simplify (* 1 1) into 1
8.629 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 3) 1) into 3.0
8.629 * [backup-simplify]: Simplify 3.0 into 3.0
8.632 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
8.632 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (pow (cbrt 3.0) 2))) into 0
8.633 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
8.633 * [backup-simplify]: Simplify 0 into 0
8.634 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.635 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
8.636 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
8.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.637 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.637 * [backup-simplify]: Simplify 0 into 0
8.638 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.638 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
8.639 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
8.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.641 * [backup-simplify]: Simplify 0 into 0
8.642 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.642 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
8.643 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
8.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.645 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.645 * [backup-simplify]: Simplify 0 into 0
8.646 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.647 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
8.648 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
8.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.650 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.650 * [backup-simplify]: Simplify 0 into 0
8.651 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.652 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
8.653 * [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
8.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.655 * [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
8.655 * [backup-simplify]: Simplify 0 into 0
8.655 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
8.655 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
8.656 * [backup-simplify]: Simplify (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) into (* (pow x 2) (pow (cbrt 3.0) 2))
8.656 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (cbrt 3.0) 2)) in (x) around 0
8.656 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (cbrt 3.0) 2)) in x
8.657 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.657 * [taylor]: Taking taylor expansion of x in x
8.657 * [backup-simplify]: Simplify 0 into 0
8.657 * [backup-simplify]: Simplify 1 into 1
8.657 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
8.657 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.657 * [taylor]: Taking taylor expansion of 3.0 in x
8.657 * [backup-simplify]: Simplify 3.0 into 3.0
8.657 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.657 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.658 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (cbrt 3.0) 2)) in x
8.658 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.658 * [taylor]: Taking taylor expansion of x in x
8.658 * [backup-simplify]: Simplify 0 into 0
8.658 * [backup-simplify]: Simplify 1 into 1
8.658 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
8.658 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.658 * [taylor]: Taking taylor expansion of 3.0 in x
8.658 * [backup-simplify]: Simplify 3.0 into 3.0
8.658 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.659 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.659 * [backup-simplify]: Simplify (* 1 1) into 1
8.660 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.661 * [backup-simplify]: Simplify (* 1 (pow (cbrt 3.0) 2)) into (pow (cbrt 3.0) 2)
8.662 * [backup-simplify]: Simplify (pow (cbrt 3.0) 2) into (pow (cbrt 3.0) 2)
8.663 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
8.664 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.665 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (cbrt 3.0) 2))) into 0
8.665 * [backup-simplify]: Simplify 0 into 0
8.666 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.668 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
8.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
8.670 * [backup-simplify]: Simplify 0 into 0
8.671 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.672 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
8.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
8.674 * [backup-simplify]: Simplify 0 into 0
8.675 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.676 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
8.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
8.678 * [backup-simplify]: Simplify 0 into 0
8.679 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.680 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
8.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
8.682 * [backup-simplify]: Simplify 0 into 0
8.683 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.684 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
8.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))))) into 0
8.686 * [backup-simplify]: Simplify 0 into 0
8.687 * [backup-simplify]: Simplify (* (pow (cbrt 3.0) 2) (pow x 2)) into (* (pow x 2) (pow (cbrt 3.0) 2))
8.688 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 x) (* (cbrt 3.0) (cbrt 3.0)))) into (/ (pow (cbrt 3.0) 2) (pow x 2))
8.688 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in (x) around 0
8.688 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x
8.688 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
8.688 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.688 * [taylor]: Taking taylor expansion of 3.0 in x
8.688 * [backup-simplify]: Simplify 3.0 into 3.0
8.688 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.689 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.689 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.689 * [taylor]: Taking taylor expansion of x in x
8.689 * [backup-simplify]: Simplify 0 into 0
8.689 * [backup-simplify]: Simplify 1 into 1
8.690 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.690 * [backup-simplify]: Simplify (* 1 1) into 1
8.691 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
8.691 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x
8.691 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
8.691 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.691 * [taylor]: Taking taylor expansion of 3.0 in x
8.691 * [backup-simplify]: Simplify 3.0 into 3.0
8.691 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.692 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.692 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.692 * [taylor]: Taking taylor expansion of x in x
8.692 * [backup-simplify]: Simplify 0 into 0
8.692 * [backup-simplify]: Simplify 1 into 1
8.693 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.693 * [backup-simplify]: Simplify (* 1 1) into 1
8.694 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
8.695 * [backup-simplify]: Simplify (pow (cbrt 3.0) 2) into (pow (cbrt 3.0) 2)
8.695 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
8.696 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.696 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)))) into 0
8.696 * [backup-simplify]: Simplify 0 into 0
8.697 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.698 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
8.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.699 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.699 * [backup-simplify]: Simplify 0 into 0
8.700 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.701 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
8.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.704 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.704 * [backup-simplify]: Simplify 0 into 0
8.706 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.707 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
8.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.710 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.710 * [backup-simplify]: Simplify 0 into 0
8.711 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.713 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
8.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.715 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.715 * [backup-simplify]: Simplify 0 into 0
8.717 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.719 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
8.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.722 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.722 * [backup-simplify]: Simplify 0 into 0
8.723 * [backup-simplify]: Simplify (* (pow (cbrt 3.0) 2) (pow (/ 1 (/ 1 x)) 2)) into (* (pow x 2) (pow (cbrt 3.0) 2))
8.725 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- x)) (* (cbrt 3.0) (cbrt 3.0)))) into (/ (pow (cbrt 3.0) 2) (pow x 2))
8.725 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in (x) around 0
8.725 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x
8.725 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
8.725 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.725 * [taylor]: Taking taylor expansion of 3.0 in x
8.726 * [backup-simplify]: Simplify 3.0 into 3.0
8.726 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.727 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.727 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.727 * [taylor]: Taking taylor expansion of x in x
8.727 * [backup-simplify]: Simplify 0 into 0
8.727 * [backup-simplify]: Simplify 1 into 1
8.729 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.729 * [backup-simplify]: Simplify (* 1 1) into 1
8.731 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
8.731 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x
8.731 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
8.731 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.731 * [taylor]: Taking taylor expansion of 3.0 in x
8.731 * [backup-simplify]: Simplify 3.0 into 3.0
8.731 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.732 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.732 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.732 * [taylor]: Taking taylor expansion of x in x
8.732 * [backup-simplify]: Simplify 0 into 0
8.732 * [backup-simplify]: Simplify 1 into 1
8.734 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.734 * [backup-simplify]: Simplify (* 1 1) into 1
8.736 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
8.737 * [backup-simplify]: Simplify (pow (cbrt 3.0) 2) into (pow (cbrt 3.0) 2)
8.738 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
8.739 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.740 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)))) into 0
8.740 * [backup-simplify]: Simplify 0 into 0
8.742 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.745 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
8.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.748 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.748 * [backup-simplify]: Simplify 0 into 0
8.750 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.751 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
8.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.754 * [backup-simplify]: Simplify 0 into 0
8.756 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.757 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
8.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.760 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.760 * [backup-simplify]: Simplify 0 into 0
8.762 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.763 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
8.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.767 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.767 * [backup-simplify]: Simplify 0 into 0
8.769 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.771 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
8.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.774 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.774 * [backup-simplify]: Simplify 0 into 0
8.776 * [backup-simplify]: Simplify (* (pow (cbrt 3.0) 2) (pow (/ 1 (/ 1 (- x))) 2)) into (* (pow x 2) (pow (cbrt 3.0) 2))
8.776 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2 2)
8.777 * [backup-simplify]: Simplify (* x (* (cbrt 3.0) (cbrt 3.0))) into (* x (pow (cbrt 3.0) 2))
8.778 * [approximate]: Taking taylor expansion of (* x (pow (cbrt 3.0) 2)) in (x) around 0
8.778 * [taylor]: Taking taylor expansion of (* x (pow (cbrt 3.0) 2)) in x
8.778 * [taylor]: Taking taylor expansion of x in x
8.778 * [backup-simplify]: Simplify 0 into 0
8.778 * [backup-simplify]: Simplify 1 into 1
8.778 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
8.778 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.778 * [taylor]: Taking taylor expansion of 3.0 in x
8.778 * [backup-simplify]: Simplify 3.0 into 3.0
8.778 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.779 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.779 * [taylor]: Taking taylor expansion of (* x (pow (cbrt 3.0) 2)) in x
8.779 * [taylor]: Taking taylor expansion of x in x
8.779 * [backup-simplify]: Simplify 0 into 0
8.779 * [backup-simplify]: Simplify 1 into 1
8.779 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
8.779 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.779 * [taylor]: Taking taylor expansion of 3.0 in x
8.779 * [backup-simplify]: Simplify 3.0 into 3.0
8.780 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.780 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.781 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.782 * [backup-simplify]: Simplify (* 0 (pow (cbrt 3.0) 2)) into 0
8.782 * [backup-simplify]: Simplify 0 into 0
8.782 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
8.784 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow (cbrt 3.0) 2))) into (pow (cbrt 3.0) 2)
8.785 * [backup-simplify]: Simplify (pow (cbrt 3.0) 2) into (pow (cbrt 3.0) 2)
8.786 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.787 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
8.787 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
8.787 * [backup-simplify]: Simplify 0 into 0
8.788 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.789 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
8.790 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
8.790 * [backup-simplify]: Simplify 0 into 0
8.791 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.792 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
8.793 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
8.793 * [backup-simplify]: Simplify 0 into 0
8.794 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.795 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
8.796 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
8.796 * [backup-simplify]: Simplify 0 into 0
8.797 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.798 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
8.800 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))))) into 0
8.800 * [backup-simplify]: Simplify 0 into 0
8.800 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.802 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))))) into 0
8.803 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))))) into 0
8.803 * [backup-simplify]: Simplify 0 into 0
8.804 * [backup-simplify]: Simplify (* (pow (cbrt 3.0) 2) x) into (* x (pow (cbrt 3.0) 2))
8.805 * [backup-simplify]: Simplify (* (/ 1 x) (* (cbrt 3.0) (cbrt 3.0))) into (/ (pow (cbrt 3.0) 2) x)
8.805 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) x) in (x) around 0
8.805 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) x) in x
8.805 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
8.805 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.805 * [taylor]: Taking taylor expansion of 3.0 in x
8.805 * [backup-simplify]: Simplify 3.0 into 3.0
8.805 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.806 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.806 * [taylor]: Taking taylor expansion of x in x
8.806 * [backup-simplify]: Simplify 0 into 0
8.806 * [backup-simplify]: Simplify 1 into 1
8.807 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.808 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
8.808 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) x) in x
8.808 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
8.808 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.808 * [taylor]: Taking taylor expansion of 3.0 in x
8.808 * [backup-simplify]: Simplify 3.0 into 3.0
8.808 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.809 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.809 * [taylor]: Taking taylor expansion of x in x
8.809 * [backup-simplify]: Simplify 0 into 0
8.809 * [backup-simplify]: Simplify 1 into 1
8.810 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.812 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
8.813 * [backup-simplify]: Simplify (pow (cbrt 3.0) 2) into (pow (cbrt 3.0) 2)
8.814 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
8.815 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)))) into 0
8.815 * [backup-simplify]: Simplify 0 into 0
8.817 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.818 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
8.820 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.820 * [backup-simplify]: Simplify 0 into 0
8.822 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.823 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
8.824 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.824 * [backup-simplify]: Simplify 0 into 0
8.826 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.828 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
8.829 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.829 * [backup-simplify]: Simplify 0 into 0
8.830 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.831 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
8.832 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.832 * [backup-simplify]: Simplify 0 into 0
8.833 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.834 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
8.835 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.835 * [backup-simplify]: Simplify 0 into 0
8.836 * [backup-simplify]: Simplify (* (pow (cbrt 3.0) 2) (/ 1 (/ 1 x))) into (* x (pow (cbrt 3.0) 2))
8.836 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (cbrt 3.0) (cbrt 3.0))) into (* -1 (/ (pow (cbrt 3.0) 2) x))
8.836 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3.0) 2) x)) in (x) around 0
8.837 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3.0) 2) x)) in x
8.837 * [taylor]: Taking taylor expansion of -1 in x
8.837 * [backup-simplify]: Simplify -1 into -1
8.837 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) x) in x
8.837 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
8.837 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.837 * [taylor]: Taking taylor expansion of 3.0 in x
8.837 * [backup-simplify]: Simplify 3.0 into 3.0
8.837 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.837 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.837 * [taylor]: Taking taylor expansion of x in x
8.837 * [backup-simplify]: Simplify 0 into 0
8.837 * [backup-simplify]: Simplify 1 into 1
8.838 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.840 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
8.840 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt 3.0) 2) x)) in x
8.840 * [taylor]: Taking taylor expansion of -1 in x
8.840 * [backup-simplify]: Simplify -1 into -1
8.840 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) x) in x
8.840 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x
8.840 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x
8.840 * [taylor]: Taking taylor expansion of 3.0 in x
8.840 * [backup-simplify]: Simplify 3.0 into 3.0
8.840 * [backup-simplify]: Simplify (cbrt 3.0) into (cbrt 3.0)
8.841 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 3.0))) into 0
8.841 * [taylor]: Taking taylor expansion of x in x
8.841 * [backup-simplify]: Simplify 0 into 0
8.841 * [backup-simplify]: Simplify 1 into 1
8.841 * [backup-simplify]: Simplify (* (cbrt 3.0) (cbrt 3.0)) into (pow (cbrt 3.0) 2)
8.842 * [backup-simplify]: Simplify (/ (pow (cbrt 3.0) 2) 1) into (pow (cbrt 3.0) 2)
8.844 * [backup-simplify]: Simplify (* -1 (pow (cbrt 3.0) 2)) into (* -1 (pow (cbrt 3.0) 2))
8.845 * [backup-simplify]: Simplify (* -1 (pow (cbrt 3.0) 2)) into (* -1 (pow (cbrt 3.0) 2))
8.845 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (* 0 (cbrt 3.0))) into 0
8.846 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)))) into 0
8.847 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (pow (cbrt 3.0) 2))) into 0
8.847 * [backup-simplify]: Simplify 0 into 0
8.847 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.848 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (* 0 (cbrt 3.0)))) into 0
8.849 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.850 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))) into 0
8.850 * [backup-simplify]: Simplify 0 into 0
8.851 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.851 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))) into 0
8.852 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.853 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))) into 0
8.853 * [backup-simplify]: Simplify 0 into 0
8.855 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.855 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))) into 0
8.856 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.857 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))) into 0
8.857 * [backup-simplify]: Simplify 0 into 0
8.860 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 3.0))) into 0
8.862 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0))))))) into 0
8.864 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.866 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2))))))) into 0
8.866 * [backup-simplify]: Simplify 0 into 0
8.868 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 3.0))))) (* 3 (cbrt 3.0))) into 0
8.870 * [backup-simplify]: Simplify (+ (* (cbrt 3.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 3.0)))))))) into 0
8.871 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (cbrt 3.0) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.873 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 3.0) 2)))))))) into 0
8.873 * [backup-simplify]: Simplify 0 into 0
8.876 * [backup-simplify]: Simplify (* (* -1 (pow (cbrt 3.0) 2)) (/ 1 (/ 1 (- x)))) into (* x (pow (cbrt 3.0) 2))
8.876 * * * [progress]: simplifying candidates
8.878 * [simplify]: Simplifying:
  (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0))
  (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0))
  (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0))
  (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0))
  (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0))
  (+ (+ 0 (+ (log x) (+ (log x) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))))) (log (cbrt 3.0)))
  (+ (+ 0 (+ (log x) (+ (log x) (log (* (cbrt 3.0) (cbrt 3.0)))))) (log (cbrt 3.0)))
  (+ (+ 0 (+ (log x) (log (* x (* (cbrt 3.0) (cbrt 3.0)))))) (log (cbrt 3.0)))
  (+ (+ 0 (log (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))) (log (cbrt 3.0)))
  (+ (+ (log 1) (+ (log x) (+ (log x) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))))) (log (cbrt 3.0)))
  (+ (+ (log 1) (+ (log x) (+ (log x) (log (* (cbrt 3.0) (cbrt 3.0)))))) (log (cbrt 3.0)))
  (+ (+ (log 1) (+ (log x) (log (* x (* (cbrt 3.0) (cbrt 3.0)))))) (log (cbrt 3.0)))
  (+ (+ (log 1) (log (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))) (log (cbrt 3.0)))
  (+ (log (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))) (log (cbrt 3.0)))
  (log (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0)))
  (exp (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0)))
  (* (* (* (* 1 1) 1) (* (* (* x x) x) (* (* (* x x) x) (* 3.0 3.0)))) 3.0)
  (* (* (* (* 1 1) 1) (* (* (* 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)
  (* (* (* (* 1 1) 1) (* (* (* x x) x) (* (* (* x (* (cbrt 3.0) (cbrt 3.0))) (* x (* (cbrt 3.0) (cbrt 3.0)))) (* x (* (cbrt 3.0) (cbrt 3.0)))))) 3.0)
  (* (* (* (* 1 1) 1) (* (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))) 3.0)
  (* (* (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))) (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))) 3.0)
  (* (cbrt (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0))) (cbrt (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0))))
  (cbrt (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0)))
  (* (* (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0)) (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0))) (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0)))
  (sqrt (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0)))
  (sqrt (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0)))
  (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt (* (cbrt 3.0) (cbrt 3.0))))
  (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt (sqrt 3.0)))
  (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 1))
  (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))
  (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (sqrt (cbrt 3.0)))
  (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) 1)
  (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (cbrt 3.0))
  (* x (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* x (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* x (* x (* (cbrt 3.0) (cbrt 3.0))))
  (+ (log x) (+ (log x) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))))
  (+ (log x) (+ (log x) (log (* (cbrt 3.0) (cbrt 3.0)))))
  (+ (log x) (log (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (log (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (exp (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (* (* (* x x) x) (* (* (* x x) x) (* 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)))))
  (* (* (* x x) x) (* (* (* x (* (cbrt 3.0) (cbrt 3.0))) (* x (* (cbrt 3.0) (cbrt 3.0)))) (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (* (cbrt (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt (* x (* x (* (cbrt 3.0) (cbrt 3.0))))))
  (cbrt (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (* (* (* x (* x (* (cbrt 3.0) (cbrt 3.0)))) (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (sqrt (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (sqrt (* x (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (* x x)
  (* (cbrt x) (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* (sqrt x) (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* x (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* x (* (cbrt 3.0) (cbrt 3.0)))
  (* x (* (cbrt 3.0) (cbrt 3.0)))
  (+ (log x) (+ (log (cbrt 3.0)) (log (cbrt 3.0))))
  (+ (log x) (log (* (cbrt 3.0) (cbrt 3.0))))
  (log (* x (* (cbrt 3.0) (cbrt 3.0))))
  (exp (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* (* (* x x) x) (* 3.0 3.0))
  (* (* (* x x) x) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))))
  (* (cbrt (* x (* (cbrt 3.0) (cbrt 3.0)))) (cbrt (* x (* (cbrt 3.0) (cbrt 3.0)))))
  (cbrt (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* (* (* x (* (cbrt 3.0) (cbrt 3.0))) (* x (* (cbrt 3.0) (cbrt 3.0)))) (* x (* (cbrt 3.0) (cbrt 3.0))))
  (sqrt (* x (* (cbrt 3.0) (cbrt 3.0))))
  (sqrt (* x (* (cbrt 3.0) (cbrt 3.0))))
  (* (sqrt x) (cbrt 3.0))
  (* (sqrt x) (cbrt 3.0))
  (* x (cbrt 3.0))
  (* (cbrt x) (* (cbrt 3.0) (cbrt 3.0)))
  (* (sqrt x) (* (cbrt 3.0) (cbrt 3.0)))
  (* x (* (cbrt 3.0) (cbrt 3.0)))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* (pow x 2) (pow (cbrt 3.0) 2))
  (* (pow x 2) (pow (cbrt 3.0) 2))
  (* (pow x 2) (pow (cbrt 3.0) 2))
  (* x (pow (cbrt 3.0) 2))
  (* x (pow (cbrt 3.0) 2))
  (* x (pow (cbrt 3.0) 2))
8.881 * * [simplify]: iteration 0: 110 enodes
8.924 * * [simplify]: iteration 1: 326 enodes
9.173 * * [simplify]: iteration 2: 2338 enodes
10.668 * * [simplify]: iteration complete: 5000 enodes
10.668 * * [simplify]: Extracting #0: cost 37 inf + 0
10.671 * * [simplify]: Extracting #1: cost 836 inf + 0
10.681 * * [simplify]: Extracting #2: cost 1699 inf + 157
10.692 * * [simplify]: Extracting #3: cost 752 inf + 6576
10.704 * * [simplify]: Extracting #4: cost 49 inf + 12617
10.715 * * [simplify]: Extracting #5: cost 0 inf + 12908
10.726 * * [simplify]: Extracting #6: cost 0 inf + 12904
10.737 * [simplify]: Simplified to:
  (* (* x x) (pow (cbrt 3.0) (+ 2 1)))
  (* (* x x) (pow (cbrt 3.0) (+ 2 1)))
  (* (* x x) (pow (cbrt 3.0) (+ 2 1)))
  (* (* x x) (pow (cbrt 3.0) (+ 2 1)))
  (* (* x x) (pow (cbrt 3.0) (+ 2 1)))
  (log (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (log (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (log (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (log (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (log (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (log (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (log (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (log (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (log (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (log (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (pow (exp (* x x)) (pow (cbrt 3.0) (+ 2 1)))
  (* 3.0 (* (* 3.0 3.0) (pow x (* 2 3))))
  (* 3.0 (* (* 3.0 3.0) (pow x (* 2 3))))
  (* 3.0 (* (pow (* x x) 3) (* 3.0 3.0)))
  (* 3.0 (* (pow (* x x) 3) (* 3.0 3.0)))
  (* 3.0 (* (pow (* x x) 3) (* 3.0 3.0)))
  (* (cbrt (* (* x x) (pow (cbrt 3.0) (+ 2 1)))) (cbrt (* (* x x) (pow (cbrt 3.0) (+ 2 1)))))
  (cbrt (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (pow (* (* x x) (pow (cbrt 3.0) (+ 2 1))) 3)
  (sqrt (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (sqrt (* (* x x) (pow (cbrt 3.0) (+ 2 1))))
  (* (* x (* x (pow (cbrt 3.0) 2))) (cbrt (pow (cbrt 3.0) 2)))
  (* (cbrt (sqrt 3.0)) (* x (* x (pow (cbrt 3.0) 2))))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* (* (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))) x) (* (pow (cbrt 3.0) 2) x))
  (* (* (sqrt (cbrt 3.0)) (* x x)) (pow (cbrt 3.0) 2))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* (* x x) (pow (cbrt 3.0) (+ 2 1)))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* 2 (+ (log (cbrt 3.0)) (log x)))
  (* 2 (+ (log (cbrt 3.0)) (log x)))
  (* 2 (+ (log (cbrt 3.0)) (log x)))
  (* 2 (+ (log (cbrt 3.0)) (log x)))
  (exp (* x (* x (pow (cbrt 3.0) 2))))
  (* (* 3.0 3.0) (pow x (* 2 3)))
  (* (* 3.0 3.0) (pow x (* 2 3)))
  (* (pow (* x x) 3) (* 3.0 3.0))
  (* (cbrt (* x (* x (pow (cbrt 3.0) 2)))) (cbrt (* x (* x (pow (cbrt 3.0) 2)))))
  (cbrt (* x (* x (pow (cbrt 3.0) 2))))
  (* (pow (* x x) 3) (* 3.0 3.0))
  (fabs (* x (cbrt 3.0)))
  (fabs (* x (cbrt 3.0)))
  (* x x)
  (* x (* (pow (cbrt 3.0) 2) (cbrt x)))
  (* (sqrt x) (* (pow (cbrt 3.0) 2) x))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* (pow (cbrt 3.0) 2) x)
  (* (pow (cbrt 3.0) 2) x)
  (log (* (pow (cbrt 3.0) 2) x))
  (log (* (pow (cbrt 3.0) 2) x))
  (log (* (pow (cbrt 3.0) 2) x))
  (pow (exp x) (pow (cbrt 3.0) 2))
  (* 3.0 (* (pow x 3) 3.0))
  (* 3.0 (* (pow x 3) 3.0))
  (* (cbrt (* (pow (cbrt 3.0) 2) x)) (cbrt (* (pow (cbrt 3.0) 2) x)))
  (cbrt (* (pow (cbrt 3.0) 2) x))
  (* (pow x 3) (* 3.0 3.0))
  (sqrt (* (pow (cbrt 3.0) 2) x))
  (sqrt (* (pow (cbrt 3.0) 2) x))
  (* (sqrt x) (cbrt 3.0))
  (* (sqrt x) (cbrt 3.0))
  (* (cbrt 3.0) x)
  (* (pow (cbrt 3.0) 2) (cbrt x))
  (* (pow (cbrt 3.0) 2) (sqrt x))
  (* (pow (cbrt 3.0) 2) x)
  (* (* x x) 3.0)
  (* (* x x) 3.0)
  (* (* x x) 3.0)
  (* x (* x (pow (cbrt 3.0) 2)))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* x (* x (pow (cbrt 3.0) 2)))
  (* (pow (cbrt 3.0) 2) x)
  (* (pow (cbrt 3.0) 2) x)
  (* (pow (cbrt 3.0) 2) x)
10.739 * * * [progress]: adding candidates to table
11.050 * [progress]: [Phase 3 of 3] Extracting.
11.050 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (pow (* (* (* (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))) x) (* (pow (cbrt 3.0) 2) x)) (cbrt (cbrt 3.0))) 1))> #<alt (λ (x) (pow (* (* x (* (sqrt (cbrt 3.0)) (* (pow (cbrt 3.0) 2) x))) (sqrt (cbrt 3.0))) 1))> #<alt (λ (x) (pow (* (* 1 (* x (cbrt (* (pow x 3) (* 3.0 3.0))))) (cbrt 3.0)) 1))> #<alt (λ (x) (* x (* x 3.0)))> #<alt (λ (x) (pow (* (* x x) 3.0) 1))> #<alt (λ (x) (pow (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0)) 1))>)
11.050 * * * [regime-changes]: Trying 1 branch expressions: (x)
11.051 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (pow (* (* (* (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))) x) (* (pow (cbrt 3.0) 2) x)) (cbrt (cbrt 3.0))) 1))> #<alt (λ (x) (pow (* (* x (* (sqrt (cbrt 3.0)) (* (pow (cbrt 3.0) 2) x))) (sqrt (cbrt 3.0))) 1))> #<alt (λ (x) (pow (* (* 1 (* x (cbrt (* (pow x 3) (* 3.0 3.0))))) (cbrt 3.0)) 1))> #<alt (λ (x) (* x (* x 3.0)))> #<alt (λ (x) (pow (* (* x x) 3.0) 1))> #<alt (λ (x) (pow (* (* 1 (* x (* x (* (cbrt 3.0) (cbrt 3.0))))) (cbrt 3.0)) 1))>)
11.092 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
11.092 * [simplify]: Simplifying:
  (pow (* (* x x) 3.0) 1)
11.093 * * [simplify]: iteration 0: 6 enodes
11.093 * * [simplify]: iteration 1: 9 enodes
11.094 * * [simplify]: iteration complete: 9 enodes
11.094 * * [simplify]: Extracting #0: cost 1 inf + 0
11.094 * * [simplify]: Extracting #1: cost 4 inf + 0
11.094 * * [simplify]: Extracting #2: cost 3 inf + 2
11.094 * * [simplify]: Extracting #3: cost 2 inf + 3
11.094 * * [simplify]: Extracting #4: cost 0 inf + 11
11.094 * [simplify]: Simplified to:
  (* 3.0 (* x x))
12.473 * [regime-testing]: Baseline error score: 0.20677584698087262
12.476 * [regime-testing]: Oracle error score: 0.007250906363295412
12.480 * [regime-testing]: End program error score: 0.20677584698087262