25.835 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.032 * * * [progress]: [2/2] Setting up program.
0.037 * [progress]: [Phase 2 of 3] Improving.
0.038 * [simplify]: Simplifying:
  (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
0.038 * * [simplify]: iteration 0: 10 enodes
0.052 * * [simplify]: iteration 1: 26 enodes
0.062 * * [simplify]: iteration 2: 62 enodes
0.085 * * [simplify]: iteration 3: 151 enodes
0.184 * * [simplify]: iteration 4: 417 enodes
0.459 * * [simplify]: iteration 5: 1221 enodes
2.834 * * [simplify]: iteration 6: 4460 enodes
3.792 * * [simplify]: iteration complete: 5000 enodes
3.792 * * [simplify]: Extracting #0: cost 1 inf + 0
3.796 * * [simplify]: Extracting #1: cost 496 inf + 0
3.804 * * [simplify]: Extracting #2: cost 688 inf + 26283
3.847 * * [simplify]: Extracting #3: cost 43 inf + 100166
3.900 * * [simplify]: Extracting #4: cost 0 inf + 106373
3.971 * * [simplify]: Extracting #5: cost 0 inf + 106333
4.029 * * [simplify]: Extracting #6: cost 0 inf + 106293
4.072 * [simplify]: Simplified to:
  (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0)
4.076 * * [progress]: iteration 1 / 4
4.076 * * * [progress]: picking best candidate
4.082 * * * * [pick]: Picked  #<alt (λ (x) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))>
4.082 * * * [progress]: localizing error
4.106 * * * [progress]: generating rewritten candidates
4.106 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1 1)
4.130 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.390 * * * [progress]: generating series expansions
4.390 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1 1)
4.391 * [backup-simplify]: Simplify (* (* x 3.0) x) into (* 3.0 (pow x 2))
4.391 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
4.391 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.391 * [taylor]: Taking taylor expansion of 3.0 in x
4.391 * [backup-simplify]: Simplify 3.0 into 3.0
4.391 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.391 * [taylor]: Taking taylor expansion of x in x
4.391 * [backup-simplify]: Simplify 0 into 0
4.391 * [backup-simplify]: Simplify 1 into 1
4.391 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.391 * [taylor]: Taking taylor expansion of 3.0 in x
4.391 * [backup-simplify]: Simplify 3.0 into 3.0
4.391 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.391 * [taylor]: Taking taylor expansion of x in x
4.391 * [backup-simplify]: Simplify 0 into 0
4.391 * [backup-simplify]: Simplify 1 into 1
4.392 * [backup-simplify]: Simplify (* 1 1) into 1
4.393 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
4.393 * [backup-simplify]: Simplify 3.0 into 3.0
4.394 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.395 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
4.395 * [backup-simplify]: Simplify 0 into 0
4.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.397 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
4.397 * [backup-simplify]: Simplify 0 into 0
4.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.401 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.401 * [backup-simplify]: Simplify 0 into 0
4.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.405 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.405 * [backup-simplify]: Simplify 0 into 0
4.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.411 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.411 * [backup-simplify]: Simplify 0 into 0
4.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.416 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.416 * [backup-simplify]: Simplify 0 into 0
4.416 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
4.416 * [backup-simplify]: Simplify (* (* (/ 1 x) 3.0) (/ 1 x)) into (/ 3.0 (pow x 2))
4.416 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
4.416 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
4.416 * [taylor]: Taking taylor expansion of 3.0 in x
4.416 * [backup-simplify]: Simplify 3.0 into 3.0
4.417 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.417 * [taylor]: Taking taylor expansion of x in x
4.417 * [backup-simplify]: Simplify 0 into 0
4.417 * [backup-simplify]: Simplify 1 into 1
4.417 * [backup-simplify]: Simplify (* 1 1) into 1
4.418 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
4.418 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
4.418 * [taylor]: Taking taylor expansion of 3.0 in x
4.418 * [backup-simplify]: Simplify 3.0 into 3.0
4.418 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.418 * [taylor]: Taking taylor expansion of x in x
4.418 * [backup-simplify]: Simplify 0 into 0
4.418 * [backup-simplify]: Simplify 1 into 1
4.419 * [backup-simplify]: Simplify (* 1 1) into 1
4.419 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
4.419 * [backup-simplify]: Simplify 3.0 into 3.0
4.420 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
4.421 * [backup-simplify]: Simplify 0 into 0
4.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.423 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.423 * [backup-simplify]: Simplify 0 into 0
4.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.425 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.425 * [backup-simplify]: Simplify 0 into 0
4.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.426 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.427 * [backup-simplify]: Simplify 0 into 0
4.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.428 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.428 * [backup-simplify]: Simplify 0 into 0
4.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.430 * [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.430 * [backup-simplify]: Simplify 0 into 0
4.431 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
4.431 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) into (/ 3.0 (pow x 2))
4.431 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
4.431 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
4.431 * [taylor]: Taking taylor expansion of 3.0 in x
4.431 * [backup-simplify]: Simplify 3.0 into 3.0
4.431 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.431 * [taylor]: Taking taylor expansion of x in x
4.431 * [backup-simplify]: Simplify 0 into 0
4.431 * [backup-simplify]: Simplify 1 into 1
4.431 * [backup-simplify]: Simplify (* 1 1) into 1
4.432 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
4.432 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
4.432 * [taylor]: Taking taylor expansion of 3.0 in x
4.432 * [backup-simplify]: Simplify 3.0 into 3.0
4.432 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.432 * [taylor]: Taking taylor expansion of x in x
4.432 * [backup-simplify]: Simplify 0 into 0
4.432 * [backup-simplify]: Simplify 1 into 1
4.432 * [backup-simplify]: Simplify (* 1 1) into 1
4.433 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
4.433 * [backup-simplify]: Simplify 3.0 into 3.0
4.433 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.434 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
4.434 * [backup-simplify]: Simplify 0 into 0
4.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.435 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.435 * [backup-simplify]: Simplify 0 into 0
4.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.437 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.437 * [backup-simplify]: Simplify 0 into 0
4.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.438 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.438 * [backup-simplify]: Simplify 0 into 0
4.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.440 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.440 * [backup-simplify]: Simplify 0 into 0
4.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.441 * [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.442 * [backup-simplify]: Simplify 0 into 0
4.442 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
4.442 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.442 * [backup-simplify]: Simplify (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) into (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)))
4.442 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in (x) around 0
4.442 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
4.442 * [taylor]: Taking taylor expansion of 3.0 in x
4.442 * [backup-simplify]: Simplify 3.0 into 3.0
4.442 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
4.442 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
4.442 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.442 * [taylor]: Taking taylor expansion of 3.0 in x
4.442 * [backup-simplify]: Simplify 3.0 into 3.0
4.442 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.442 * [taylor]: Taking taylor expansion of x in x
4.442 * [backup-simplify]: Simplify 0 into 0
4.442 * [backup-simplify]: Simplify 1 into 1
4.442 * [taylor]: Taking taylor expansion of 1.0 in x
4.442 * [backup-simplify]: Simplify 1.0 into 1.0
4.442 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
4.442 * [taylor]: Taking taylor expansion of 4.0 in x
4.442 * [backup-simplify]: Simplify 4.0 into 4.0
4.442 * [taylor]: Taking taylor expansion of x in x
4.442 * [backup-simplify]: Simplify 0 into 0
4.442 * [backup-simplify]: Simplify 1 into 1
4.442 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
4.442 * [taylor]: Taking taylor expansion of 3.0 in x
4.443 * [backup-simplify]: Simplify 3.0 into 3.0
4.443 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
4.443 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
4.443 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
4.443 * [taylor]: Taking taylor expansion of 3.0 in x
4.443 * [backup-simplify]: Simplify 3.0 into 3.0
4.443 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.443 * [taylor]: Taking taylor expansion of x in x
4.443 * [backup-simplify]: Simplify 0 into 0
4.443 * [backup-simplify]: Simplify 1 into 1
4.443 * [taylor]: Taking taylor expansion of 1.0 in x
4.443 * [backup-simplify]: Simplify 1.0 into 1.0
4.443 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
4.443 * [taylor]: Taking taylor expansion of 4.0 in x
4.443 * [backup-simplify]: Simplify 4.0 into 4.0
4.443 * [taylor]: Taking taylor expansion of x in x
4.443 * [backup-simplify]: Simplify 0 into 0
4.443 * [backup-simplify]: Simplify 1 into 1
4.443 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.444 * [backup-simplify]: Simplify (* 4.0 0) into 0
4.444 * [backup-simplify]: Simplify (- 0) into 0
4.444 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.445 * [backup-simplify]: Simplify (* 3.0 1.0) into 3.0
4.445 * [backup-simplify]: Simplify 3.0 into 3.0
4.445 * [backup-simplify]: Simplify (+ 0 0) into 0
4.446 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
4.446 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
4.447 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
4.448 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 1.0)) into (- 12.0)
4.449 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
4.449 * [backup-simplify]: Simplify (* 1 1) into 1
4.449 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
4.450 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
4.450 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
4.451 * [backup-simplify]: Simplify (- 0) into 0
4.451 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
4.452 * [backup-simplify]: Simplify (+ (* 3.0 3.0) (+ (* 0 (- 4.0)) (* 0 1.0))) into 9.0
4.452 * [backup-simplify]: Simplify 9.0 into 9.0
4.453 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (+ (* (- 12.0) x) 3.0)) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
4.453 * [backup-simplify]: Simplify (* 3.0 (+ (- (* (* (/ 1 x) 3.0) (/ 1 x)) (* (/ 1 x) 4.0)) 1.0)) into (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))))
4.453 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in (x) around 0
4.453 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in x
4.453 * [taylor]: Taking taylor expansion of 3.0 in x
4.453 * [backup-simplify]: Simplify 3.0 into 3.0
4.453 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
4.453 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
4.453 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.453 * [taylor]: Taking taylor expansion of 3.0 in x
4.453 * [backup-simplify]: Simplify 3.0 into 3.0
4.453 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.453 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.453 * [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.454 * [backup-simplify]: Simplify (/ 1 1) into 1
4.454 * [taylor]: Taking taylor expansion of 1.0 in x
4.454 * [backup-simplify]: Simplify 1.0 into 1.0
4.454 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.454 * [taylor]: Taking taylor expansion of 4.0 in x
4.454 * [backup-simplify]: Simplify 4.0 into 4.0
4.454 * [taylor]: Taking taylor expansion of (/ 1 x) 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.455 * [backup-simplify]: Simplify (/ 1 1) into 1
4.455 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) 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 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
4.455 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
4.455 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (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 (/ 1 (pow x 2)) in x
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 (/ 1 1) into 1
4.455 * [taylor]: Taking taylor expansion of 1.0 in x
4.455 * [backup-simplify]: Simplify 1.0 into 1.0
4.455 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.455 * [taylor]: Taking taylor expansion of 4.0 in x
4.456 * [backup-simplify]: Simplify 4.0 into 4.0
4.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.456 * [taylor]: Taking taylor expansion of x in x
4.456 * [backup-simplify]: Simplify 0 into 0
4.456 * [backup-simplify]: Simplify 1 into 1
4.456 * [backup-simplify]: Simplify (/ 1 1) into 1
4.456 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
4.457 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
4.457 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
4.457 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
4.457 * [backup-simplify]: Simplify 9.0 into 9.0
4.458 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.458 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.458 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
4.459 * [backup-simplify]: Simplify (+ 0 0) into 0
4.459 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
4.459 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
4.460 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
4.461 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 3.0)) into (- 12.0)
4.462 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
4.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.463 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.464 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
4.464 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.465 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
4.465 * [backup-simplify]: Simplify (- 0) into 0
4.466 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
4.467 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 (- 4.0)) (* 0 3.0))) into 3.0
4.467 * [backup-simplify]: Simplify 3.0 into 3.0
4.468 * [backup-simplify]: Simplify (+ 3.0 (+ (* (- 12.0) (/ 1 (/ 1 x))) (* 9.0 (pow (/ 1 (/ 1 x)) 2)))) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
4.468 * [backup-simplify]: Simplify (* 3.0 (+ (- (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) (* (/ 1 (- x)) 4.0)) 1.0)) into (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)))
4.468 * [approximate]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in (x) around 0
4.468 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
4.468 * [taylor]: Taking taylor expansion of 3.0 in x
4.468 * [backup-simplify]: Simplify 3.0 into 3.0
4.468 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
4.468 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.468 * [taylor]: Taking taylor expansion of 3.0 in x
4.468 * [backup-simplify]: Simplify 3.0 into 3.0
4.468 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.468 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.468 * [taylor]: Taking taylor expansion of x in x
4.468 * [backup-simplify]: Simplify 0 into 0
4.468 * [backup-simplify]: Simplify 1 into 1
4.469 * [backup-simplify]: Simplify (* 1 1) into 1
4.469 * [backup-simplify]: Simplify (/ 1 1) into 1
4.469 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
4.469 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.469 * [taylor]: Taking taylor expansion of 4.0 in x
4.469 * [backup-simplify]: Simplify 4.0 into 4.0
4.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.469 * [taylor]: Taking taylor expansion of x in x
4.469 * [backup-simplify]: Simplify 0 into 0
4.469 * [backup-simplify]: Simplify 1 into 1
4.470 * [backup-simplify]: Simplify (/ 1 1) into 1
4.470 * [taylor]: Taking taylor expansion of 1.0 in x
4.470 * [backup-simplify]: Simplify 1.0 into 1.0
4.470 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
4.470 * [taylor]: Taking taylor expansion of 3.0 in x
4.470 * [backup-simplify]: Simplify 3.0 into 3.0
4.470 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
4.470 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
4.470 * [taylor]: Taking taylor expansion of 3.0 in x
4.470 * [backup-simplify]: Simplify 3.0 into 3.0
4.470 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.470 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.470 * [taylor]: Taking taylor expansion of x in x
4.470 * [backup-simplify]: Simplify 0 into 0
4.470 * [backup-simplify]: Simplify 1 into 1
4.470 * [backup-simplify]: Simplify (* 1 1) into 1
4.470 * [backup-simplify]: Simplify (/ 1 1) into 1
4.470 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
4.470 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
4.470 * [taylor]: Taking taylor expansion of 4.0 in x
4.470 * [backup-simplify]: Simplify 4.0 into 4.0
4.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.471 * [taylor]: Taking taylor expansion of x in x
4.471 * [backup-simplify]: Simplify 0 into 0
4.471 * [backup-simplify]: Simplify 1 into 1
4.471 * [backup-simplify]: Simplify (/ 1 1) into 1
4.471 * [taylor]: Taking taylor expansion of 1.0 in x
4.471 * [backup-simplify]: Simplify 1.0 into 1.0
4.471 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
4.472 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
4.472 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
4.472 * [backup-simplify]: Simplify 9.0 into 9.0
4.472 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.473 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
4.474 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
4.474 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
4.474 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
4.475 * [backup-simplify]: Simplify (+ (* 3.0 4.0) (* 0 3.0)) into 12.0
4.475 * [backup-simplify]: Simplify 12.0 into 12.0
4.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.477 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
4.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.478 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
4.478 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.479 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.481 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 4.0) (* 0 3.0))) into 3.0
4.481 * [backup-simplify]: Simplify 3.0 into 3.0
4.481 * [backup-simplify]: Simplify (+ 3.0 (+ (* 12.0 (/ 1 (/ 1 (- x)))) (* 9.0 (pow (/ 1 (/ 1 (- x))) 2)))) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
4.482 * * * [progress]: simplifying candidates
4.482 * [simplify]: Simplifying:
  (expm1 (* (* x 3.0) x))
  (log1p (* (* x 3.0) x))
  (* (* x 3.0) x)
  (* (* x 3.0) x)
  (+ (+ (log x) (log 3.0)) (log x))
  (+ (log (* x 3.0)) (log x))
  (log (* (* x 3.0) x))
  (exp (* (* x 3.0) x))
  (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* x x) x))
  (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* x x) x))
  (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x)))
  (cbrt (* (* x 3.0) x))
  (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (* (* x 3.0) (* (cbrt x) (cbrt x)))
  (* (* x 3.0) (sqrt x))
  (* (* x 3.0) 1)
  (* 3.0 x)
  (expm1 (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (log1p (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
  (+ (log 3.0) (log (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (log (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (exp (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* (* (* 3.0 3.0) 3.0) (* (* (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0) (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* (cbrt (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))) (cbrt (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))))
  (cbrt (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* (* (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (sqrt (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (sqrt (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* (sqrt 3.0) (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* (sqrt 3.0) (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* 3.0 (- (* (* x 3.0) x) (* x 4.0)))
  (* 3.0 1.0)
  (* (- (* (* x 3.0) x) (* x 4.0)) 3.0)
  (* 1.0 3.0)
  (* 3.0 (* (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))))
  (* 3.0 (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* 3.0 1)
  (* 3.0 1)
  (* (cbrt 3.0) (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
  (* (sqrt 3.0) (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
  (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
  (* 3.0 (+ (pow (- (* (* x 3.0) x) (* x 4.0)) 3) (pow 1.0 3)))
  (* 3.0 (- (* (- (* (* x 3.0) x) (* x 4.0)) (- (* (* x 3.0) x) (* x 4.0))) (* 1.0 1.0)))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
4.483 * * [simplify]: iteration 0: 89 enodes
4.520 * * [simplify]: iteration 1: 258 enodes
4.702 * * [simplify]: iteration 2: 1462 enodes
5.495 * * [simplify]: iteration complete: 5000 enodes
5.495 * * [simplify]: Extracting #0: cost 37 inf + 0
5.497 * * [simplify]: Extracting #1: cost 571 inf + 1
5.506 * * [simplify]: Extracting #2: cost 1863 inf + 3394
5.528 * * [simplify]: Extracting #3: cost 1750 inf + 48212
5.594 * * [simplify]: Extracting #4: cost 1093 inf + 172308
5.718 * * [simplify]: Extracting #5: cost 272 inf + 419799
5.844 * * [simplify]: Extracting #6: cost 13 inf + 474887
5.992 * * [simplify]: Extracting #7: cost 0 inf + 474223
6.121 * [simplify]: Simplified to:
  (expm1 (* x (* x 3.0)))
  (log1p (* x (* x 3.0)))
  (* x (* x 3.0))
  (* x (* x 3.0))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (log (* x (* x 3.0)))
  (exp (* x (* x 3.0)))
  (* (* (* x x) (* (* x x) (* x x))) (* (* 3.0 3.0) 3.0))
  (* (* x (* x 3.0)) (* (* x (* x 3.0)) (* x (* x 3.0))))
  (* (cbrt (* x (* x 3.0))) (cbrt (* x (* x 3.0))))
  (cbrt (* x (* x 3.0)))
  (* (* x (* x 3.0)) (* (* x (* x 3.0)) (* x (* x 3.0))))
  (sqrt (* x (* x 3.0)))
  (sqrt (* x (* x 3.0)))
  (* (* x 3.0) (* (cbrt x) (cbrt x)))
  (* (* (sqrt x) x) 3.0)
  (* x 3.0)
  (* x 3.0)
  (expm1 (* (fma x (- (* x 3.0) 4.0) 1.0) 3.0))
  (log1p (* (fma x (- (* x 3.0) 4.0) 1.0) 3.0))
  (* (fma x (- (* x 3.0) 4.0) 1.0) 3.0)
  (log (* (fma x (- (* x 3.0) 4.0) 1.0) 3.0))
  (log (* (fma x (- (* x 3.0) 4.0) 1.0) 3.0))
  (exp (* (fma x (- (* x 3.0) 4.0) 1.0) 3.0))
  (* (* 3.0 (* (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)) (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)))) (fma x (- (* x 3.0) 4.0) 1.0))
  (* (cbrt (* (fma x (- (* x 3.0) 4.0) 1.0) 3.0)) (cbrt (* (fma x (- (* x 3.0) 4.0) 1.0) 3.0)))
  (cbrt (* (fma x (- (* x 3.0) 4.0) 1.0) 3.0))
  (* (* (* (fma x (- (* x 3.0) 4.0) 1.0) 3.0) (* (fma x (- (* x 3.0) 4.0) 1.0) 3.0)) (* (fma x (- (* x 3.0) 4.0) 1.0) 3.0))
  (sqrt (* (fma x (- (* x 3.0) 4.0) 1.0) 3.0))
  (sqrt (* (fma x (- (* x 3.0) 4.0) 1.0) 3.0))
  (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt 3.0))
  (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt 3.0))
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (* 1.0 3.0)
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (* 1.0 3.0)
  (* (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0))) 3.0)
  (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) 3.0)
  3.0
  3.0
  (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))
  (* (sqrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))
  (* (fma x (- (* x 3.0) 4.0) 1.0) 3.0)
  (* (fma (* 1.0 1.0) 1.0 (* (* x (- (* x 3.0) 4.0)) (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))))) 3.0)
  (* (- (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* 1.0 1.0)) 3.0)
  (* (* x x) 3.0)
  (* (* x x) 3.0)
  (* (* x x) 3.0)
  (fma x (* x 9.0) (- 3.0 (* x 12.0)))
  (fma x (* x 9.0) (- 3.0 (* x 12.0)))
  (fma x (* x 9.0) (- 3.0 (* x 12.0)))
6.123 * * * [progress]: adding candidates to table
6.351 * * [progress]: iteration 2 / 4
6.351 * * * [progress]: picking best candidate
6.372 * * * * [pick]: Picked  #<alt (λ (x) (fma x (* x 9.0) (- 3.0 (* x 12.0))))>
6.372 * * * [progress]: localizing error
6.391 * * * [progress]: generating rewritten candidates
6.391 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
6.392 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3)
6.397 * * * [progress]: generating series expansions
6.397 * * * * [progress]: [ 1 / 2 ] generating series at (2)
6.398 * [backup-simplify]: Simplify (fma x (* x 9.0) (- 3.0 (* x 12.0))) into (fma x (* 9.0 x) (- 3.0 (* 12.0 x)))
6.398 * [approximate]: Taking taylor expansion of (fma x (* 9.0 x) (- 3.0 (* 12.0 x))) in (x) around 0
6.398 * [taylor]: Taking taylor expansion of (fma x (* 9.0 x) (- 3.0 (* 12.0 x))) in x
6.398 * [taylor]: Rewrote expression to (+ (* x (* 9.0 x)) (- 3.0 (* 12.0 x)))
6.398 * [taylor]: Taking taylor expansion of (* x (* 9.0 x)) in x
6.398 * [taylor]: Taking taylor expansion of x in x
6.398 * [backup-simplify]: Simplify 0 into 0
6.398 * [backup-simplify]: Simplify 1 into 1
6.398 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
6.398 * [taylor]: Taking taylor expansion of 9.0 in x
6.398 * [backup-simplify]: Simplify 9.0 into 9.0
6.398 * [taylor]: Taking taylor expansion of x in x
6.398 * [backup-simplify]: Simplify 0 into 0
6.398 * [backup-simplify]: Simplify 1 into 1
6.398 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 x)) in x
6.398 * [taylor]: Taking taylor expansion of 3.0 in x
6.398 * [backup-simplify]: Simplify 3.0 into 3.0
6.398 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
6.398 * [taylor]: Taking taylor expansion of 12.0 in x
6.398 * [backup-simplify]: Simplify 12.0 into 12.0
6.398 * [taylor]: Taking taylor expansion of x in x
6.398 * [backup-simplify]: Simplify 0 into 0
6.398 * [backup-simplify]: Simplify 1 into 1
6.398 * [taylor]: Taking taylor expansion of (fma x (* 9.0 x) (- 3.0 (* 12.0 x))) in x
6.398 * [taylor]: Rewrote expression to (+ (* x (* 9.0 x)) (- 3.0 (* 12.0 x)))
6.398 * [taylor]: Taking taylor expansion of (* x (* 9.0 x)) in x
6.398 * [taylor]: Taking taylor expansion of x in x
6.398 * [backup-simplify]: Simplify 0 into 0
6.398 * [backup-simplify]: Simplify 1 into 1
6.398 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
6.398 * [taylor]: Taking taylor expansion of 9.0 in x
6.398 * [backup-simplify]: Simplify 9.0 into 9.0
6.398 * [taylor]: Taking taylor expansion of x in x
6.398 * [backup-simplify]: Simplify 0 into 0
6.398 * [backup-simplify]: Simplify 1 into 1
6.398 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 x)) in x
6.398 * [taylor]: Taking taylor expansion of 3.0 in x
6.398 * [backup-simplify]: Simplify 3.0 into 3.0
6.398 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
6.399 * [taylor]: Taking taylor expansion of 12.0 in x
6.399 * [backup-simplify]: Simplify 12.0 into 12.0
6.399 * [taylor]: Taking taylor expansion of x in x
6.399 * [backup-simplify]: Simplify 0 into 0
6.399 * [backup-simplify]: Simplify 1 into 1
6.399 * [backup-simplify]: Simplify (* 9.0 0) into 0
6.400 * [backup-simplify]: Simplify (* 0 0) into 0
6.400 * [backup-simplify]: Simplify (* 12.0 0) into 0
6.400 * [backup-simplify]: Simplify (- 0) into 0
6.401 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
6.401 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
6.401 * [backup-simplify]: Simplify 3.0 into 3.0
6.402 * [backup-simplify]: Simplify (+ (* 9.0 1) (* 0 0)) into 9.0
6.403 * [backup-simplify]: Simplify (+ (* 0 9.0) (* 1 0)) into 0
6.404 * [backup-simplify]: Simplify (+ (* 12.0 1) (* 0 0)) into 12.0
6.404 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
6.405 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
6.405 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
6.405 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
6.406 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 1) (* 0 0))) into 0
6.408 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 9.0) (* 0 0))) into 9.0
6.408 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 1) (* 0 0))) into 0
6.409 * [backup-simplify]: Simplify (- 0) into 0
6.409 * [backup-simplify]: Simplify (+ 0 0) into 0
6.409 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
6.409 * [backup-simplify]: Simplify 9.0 into 9.0
6.410 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (+ (* (- 12.0) x) 3.0)) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
6.410 * [backup-simplify]: Simplify (fma (/ 1 x) (* (/ 1 x) 9.0) (- 3.0 (* (/ 1 x) 12.0))) into (fma (/ 1 x) (/ 9.0 x) (- 3.0 (* 12.0 (/ 1 x))))
6.410 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (/ 9.0 x) (- 3.0 (* 12.0 (/ 1 x)))) in (x) around 0
6.410 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 9.0 x) (- 3.0 (* 12.0 (/ 1 x)))) in x
6.410 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 9.0 x)) (- 3.0 (* 12.0 (/ 1 x))))
6.410 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 9.0 x)) in x
6.410 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.410 * [taylor]: Taking taylor expansion of x in x
6.410 * [backup-simplify]: Simplify 0 into 0
6.410 * [backup-simplify]: Simplify 1 into 1
6.411 * [backup-simplify]: Simplify (/ 1 1) into 1
6.411 * [taylor]: Taking taylor expansion of (/ 9.0 x) in x
6.411 * [taylor]: Taking taylor expansion of 9.0 in x
6.411 * [backup-simplify]: Simplify 9.0 into 9.0
6.411 * [taylor]: Taking taylor expansion of x in x
6.411 * [backup-simplify]: Simplify 0 into 0
6.411 * [backup-simplify]: Simplify 1 into 1
6.411 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
6.411 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 (/ 1 x))) in x
6.411 * [taylor]: Taking taylor expansion of 3.0 in x
6.411 * [backup-simplify]: Simplify 3.0 into 3.0
6.411 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
6.411 * [taylor]: Taking taylor expansion of 12.0 in x
6.411 * [backup-simplify]: Simplify 12.0 into 12.0
6.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.411 * [taylor]: Taking taylor expansion of x in x
6.411 * [backup-simplify]: Simplify 0 into 0
6.411 * [backup-simplify]: Simplify 1 into 1
6.411 * [backup-simplify]: Simplify (/ 1 1) into 1
6.411 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 9.0 x) (- 3.0 (* 12.0 (/ 1 x)))) in x
6.412 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 9.0 x)) (- 3.0 (* 12.0 (/ 1 x))))
6.412 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 9.0 x)) in x
6.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.412 * [taylor]: Taking taylor expansion of x in x
6.412 * [backup-simplify]: Simplify 0 into 0
6.412 * [backup-simplify]: Simplify 1 into 1
6.412 * [backup-simplify]: Simplify (/ 1 1) into 1
6.412 * [taylor]: Taking taylor expansion of (/ 9.0 x) in x
6.412 * [taylor]: Taking taylor expansion of 9.0 in x
6.412 * [backup-simplify]: Simplify 9.0 into 9.0
6.412 * [taylor]: Taking taylor expansion of x in x
6.412 * [backup-simplify]: Simplify 0 into 0
6.412 * [backup-simplify]: Simplify 1 into 1
6.412 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
6.412 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 (/ 1 x))) in x
6.412 * [taylor]: Taking taylor expansion of 3.0 in x
6.412 * [backup-simplify]: Simplify 3.0 into 3.0
6.412 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
6.413 * [taylor]: Taking taylor expansion of 12.0 in x
6.413 * [backup-simplify]: Simplify 12.0 into 12.0
6.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.413 * [taylor]: Taking taylor expansion of x in x
6.413 * [backup-simplify]: Simplify 0 into 0
6.413 * [backup-simplify]: Simplify 1 into 1
6.413 * [backup-simplify]: Simplify (/ 1 1) into 1
6.413 * [backup-simplify]: Simplify (* 1 9.0) into 9.0
6.414 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
6.414 * [backup-simplify]: Simplify 9.0 into 9.0
6.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)))) into 0
6.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.415 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 9.0)) into 0
6.415 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
6.416 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
6.416 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
6.417 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
6.417 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
6.418 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.418 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 9.0))) into 0
6.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.420 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
6.420 * [backup-simplify]: Simplify (- 0) into 0
6.420 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
6.421 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
6.421 * [backup-simplify]: Simplify 3.0 into 3.0
6.421 * [backup-simplify]: Simplify (+ 3.0 (+ (* (- 12.0) (/ 1 (/ 1 x))) (* 9.0 (pow (/ 1 (/ 1 x)) 2)))) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
6.421 * [backup-simplify]: Simplify (fma (/ 1 (- x)) (* (/ 1 (- x)) 9.0) (- 3.0 (* (/ 1 (- x)) 12.0))) into (fma (/ -1 x) (/ -9.0 x) (+ (* 12.0 (/ 1 x)) 3.0))
6.421 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (/ -9.0 x) (+ (* 12.0 (/ 1 x)) 3.0)) in (x) around 0
6.421 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -9.0 x) (+ (* 12.0 (/ 1 x)) 3.0)) in x
6.422 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -9.0 x)) (+ (* 12.0 (/ 1 x)) 3.0))
6.422 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -9.0 x)) in x
6.422 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.422 * [taylor]: Taking taylor expansion of -1 in x
6.422 * [backup-simplify]: Simplify -1 into -1
6.422 * [taylor]: Taking taylor expansion of x in x
6.422 * [backup-simplify]: Simplify 0 into 0
6.422 * [backup-simplify]: Simplify 1 into 1
6.422 * [backup-simplify]: Simplify (/ -1 1) into -1
6.422 * [taylor]: Taking taylor expansion of (/ -9.0 x) in x
6.422 * [taylor]: Taking taylor expansion of -9.0 in x
6.422 * [backup-simplify]: Simplify -9.0 into -9.0
6.422 * [taylor]: Taking taylor expansion of x in x
6.422 * [backup-simplify]: Simplify 0 into 0
6.422 * [backup-simplify]: Simplify 1 into 1
6.422 * [backup-simplify]: Simplify (/ -9.0 1) into -9.0
6.422 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
6.422 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
6.422 * [taylor]: Taking taylor expansion of 12.0 in x
6.422 * [backup-simplify]: Simplify 12.0 into 12.0
6.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.423 * [taylor]: Taking taylor expansion of x in x
6.423 * [backup-simplify]: Simplify 0 into 0
6.423 * [backup-simplify]: Simplify 1 into 1
6.423 * [backup-simplify]: Simplify (/ 1 1) into 1
6.423 * [taylor]: Taking taylor expansion of 3.0 in x
6.423 * [backup-simplify]: Simplify 3.0 into 3.0
6.423 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -9.0 x) (+ (* 12.0 (/ 1 x)) 3.0)) in x
6.423 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -9.0 x)) (+ (* 12.0 (/ 1 x)) 3.0))
6.423 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -9.0 x)) in x
6.423 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.423 * [taylor]: Taking taylor expansion of -1 in x
6.423 * [backup-simplify]: Simplify -1 into -1
6.423 * [taylor]: Taking taylor expansion of x in x
6.423 * [backup-simplify]: Simplify 0 into 0
6.423 * [backup-simplify]: Simplify 1 into 1
6.423 * [backup-simplify]: Simplify (/ -1 1) into -1
6.423 * [taylor]: Taking taylor expansion of (/ -9.0 x) in x
6.423 * [taylor]: Taking taylor expansion of -9.0 in x
6.424 * [backup-simplify]: Simplify -9.0 into -9.0
6.424 * [taylor]: Taking taylor expansion of x in x
6.424 * [backup-simplify]: Simplify 0 into 0
6.424 * [backup-simplify]: Simplify 1 into 1
6.424 * [backup-simplify]: Simplify (/ -9.0 1) into -9.0
6.424 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
6.424 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
6.424 * [taylor]: Taking taylor expansion of 12.0 in x
6.424 * [backup-simplify]: Simplify 12.0 into 12.0
6.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.424 * [taylor]: Taking taylor expansion of x in x
6.424 * [backup-simplify]: Simplify 0 into 0
6.424 * [backup-simplify]: Simplify 1 into 1
6.424 * [backup-simplify]: Simplify (/ 1 1) into 1
6.424 * [taylor]: Taking taylor expansion of 3.0 in x
6.424 * [backup-simplify]: Simplify 3.0 into 3.0
6.425 * [backup-simplify]: Simplify (* -1 -9.0) into 9.0
6.425 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
6.425 * [backup-simplify]: Simplify 9.0 into 9.0
6.426 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -9.0 (/ 0 1)))) into 0
6.426 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.427 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -9.0)) into 0
6.427 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
6.428 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
6.428 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
6.428 * [backup-simplify]: Simplify 12.0 into 12.0
6.429 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.430 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.432 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -9.0))) into 0
6.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.433 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
6.434 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
6.434 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
6.434 * [backup-simplify]: Simplify 3.0 into 3.0
6.435 * [backup-simplify]: Simplify (+ 3.0 (+ (* 12.0 (/ 1 (/ 1 (- x)))) (* 9.0 (pow (/ 1 (/ 1 (- x))) 2)))) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
6.435 * * * * [progress]: [ 2 / 2 ] generating series at (2 3)
6.435 * [backup-simplify]: Simplify (- 3.0 (* x 12.0)) into (- 3.0 (* 12.0 x))
6.435 * [approximate]: Taking taylor expansion of (- 3.0 (* 12.0 x)) in (x) around 0
6.435 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 x)) in x
6.435 * [taylor]: Taking taylor expansion of 3.0 in x
6.436 * [backup-simplify]: Simplify 3.0 into 3.0
6.436 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
6.436 * [taylor]: Taking taylor expansion of 12.0 in x
6.436 * [backup-simplify]: Simplify 12.0 into 12.0
6.436 * [taylor]: Taking taylor expansion of x in x
6.436 * [backup-simplify]: Simplify 0 into 0
6.436 * [backup-simplify]: Simplify 1 into 1
6.436 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 x)) in x
6.436 * [taylor]: Taking taylor expansion of 3.0 in x
6.436 * [backup-simplify]: Simplify 3.0 into 3.0
6.436 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
6.436 * [taylor]: Taking taylor expansion of 12.0 in x
6.436 * [backup-simplify]: Simplify 12.0 into 12.0
6.436 * [taylor]: Taking taylor expansion of x in x
6.436 * [backup-simplify]: Simplify 0 into 0
6.436 * [backup-simplify]: Simplify 1 into 1
6.437 * [backup-simplify]: Simplify (* 12.0 0) into 0
6.437 * [backup-simplify]: Simplify (- 0) into 0
6.438 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
6.438 * [backup-simplify]: Simplify 3.0 into 3.0
6.440 * [backup-simplify]: Simplify (+ (* 12.0 1) (* 0 0)) into 12.0
6.440 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
6.441 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
6.442 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
6.443 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 1) (* 0 0))) into 0
6.443 * [backup-simplify]: Simplify (- 0) into 0
6.444 * [backup-simplify]: Simplify (+ 0 0) into 0
6.444 * [backup-simplify]: Simplify 0 into 0
6.445 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.446 * [backup-simplify]: Simplify (- 0) into 0
6.446 * [backup-simplify]: Simplify (+ 0 0) into 0
6.446 * [backup-simplify]: Simplify 0 into 0
6.448 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
6.448 * [backup-simplify]: Simplify (- 0) into 0
6.456 * [backup-simplify]: Simplify (+ 0 0) into 0
6.456 * [backup-simplify]: Simplify 0 into 0
6.458 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
6.459 * [backup-simplify]: Simplify (- 0) into 0
6.460 * [backup-simplify]: Simplify (+ 0 0) into 0
6.460 * [backup-simplify]: Simplify 0 into 0
6.462 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
6.462 * [backup-simplify]: Simplify (- 0) into 0
6.463 * [backup-simplify]: Simplify (+ 0 0) into 0
6.463 * [backup-simplify]: Simplify 0 into 0
6.465 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
6.465 * [backup-simplify]: Simplify (- 0) into 0
6.466 * [backup-simplify]: Simplify (+ 0 0) into 0
6.466 * [backup-simplify]: Simplify 0 into 0
6.466 * [backup-simplify]: Simplify (+ (* (- 12.0) x) 3.0) into (- 3.0 (* 12.0 x))
6.466 * [backup-simplify]: Simplify (- 3.0 (* (/ 1 x) 12.0)) into (- 3.0 (* 12.0 (/ 1 x)))
6.466 * [approximate]: Taking taylor expansion of (- 3.0 (* 12.0 (/ 1 x))) in (x) around 0
6.467 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 (/ 1 x))) in x
6.467 * [taylor]: Taking taylor expansion of 3.0 in x
6.467 * [backup-simplify]: Simplify 3.0 into 3.0
6.467 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
6.467 * [taylor]: Taking taylor expansion of 12.0 in x
6.467 * [backup-simplify]: Simplify 12.0 into 12.0
6.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.467 * [taylor]: Taking taylor expansion of x in x
6.467 * [backup-simplify]: Simplify 0 into 0
6.467 * [backup-simplify]: Simplify 1 into 1
6.467 * [backup-simplify]: Simplify (/ 1 1) into 1
6.467 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 (/ 1 x))) in x
6.467 * [taylor]: Taking taylor expansion of 3.0 in x
6.467 * [backup-simplify]: Simplify 3.0 into 3.0
6.467 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
6.467 * [taylor]: Taking taylor expansion of 12.0 in x
6.467 * [backup-simplify]: Simplify 12.0 into 12.0
6.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.467 * [taylor]: Taking taylor expansion of x in x
6.468 * [backup-simplify]: Simplify 0 into 0
6.468 * [backup-simplify]: Simplify 1 into 1
6.468 * [backup-simplify]: Simplify (/ 1 1) into 1
6.468 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
6.469 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
6.470 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
6.470 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
6.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.472 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
6.472 * [backup-simplify]: Simplify (- 0) into 0
6.472 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
6.473 * [backup-simplify]: Simplify 3.0 into 3.0
6.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.474 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (* 0 1))) into 0
6.475 * [backup-simplify]: Simplify (- 0) into 0
6.475 * [backup-simplify]: Simplify (+ 0 0) into 0
6.475 * [backup-simplify]: Simplify 0 into 0
6.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.477 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.478 * [backup-simplify]: Simplify (- 0) into 0
6.478 * [backup-simplify]: Simplify (+ 0 0) into 0
6.478 * [backup-simplify]: Simplify 0 into 0
6.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.479 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.480 * [backup-simplify]: Simplify (- 0) into 0
6.480 * [backup-simplify]: Simplify (+ 0 0) into 0
6.480 * [backup-simplify]: Simplify 0 into 0
6.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.481 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.482 * [backup-simplify]: Simplify (- 0) into 0
6.482 * [backup-simplify]: Simplify (+ 0 0) into 0
6.482 * [backup-simplify]: Simplify 0 into 0
6.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.483 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.484 * [backup-simplify]: Simplify (- 0) into 0
6.484 * [backup-simplify]: Simplify (+ 0 0) into 0
6.484 * [backup-simplify]: Simplify 0 into 0
6.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.485 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.486 * [backup-simplify]: Simplify (- 0) into 0
6.486 * [backup-simplify]: Simplify (+ 0 0) into 0
6.486 * [backup-simplify]: Simplify 0 into 0
6.486 * [backup-simplify]: Simplify (+ 3.0 (* (- 12.0) (/ 1 (/ 1 x)))) into (- 3.0 (* 12.0 x))
6.486 * [backup-simplify]: Simplify (- 3.0 (* (/ 1 (- x)) 12.0)) into (+ (* 12.0 (/ 1 x)) 3.0)
6.487 * [approximate]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in (x) around 0
6.487 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
6.487 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
6.487 * [taylor]: Taking taylor expansion of 12.0 in x
6.487 * [backup-simplify]: Simplify 12.0 into 12.0
6.487 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.487 * [taylor]: Taking taylor expansion of x in x
6.487 * [backup-simplify]: Simplify 0 into 0
6.487 * [backup-simplify]: Simplify 1 into 1
6.487 * [backup-simplify]: Simplify (/ 1 1) into 1
6.487 * [taylor]: Taking taylor expansion of 3.0 in x
6.487 * [backup-simplify]: Simplify 3.0 into 3.0
6.487 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
6.487 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
6.487 * [taylor]: Taking taylor expansion of 12.0 in x
6.487 * [backup-simplify]: Simplify 12.0 into 12.0
6.487 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.487 * [taylor]: Taking taylor expansion of x in x
6.487 * [backup-simplify]: Simplify 0 into 0
6.487 * [backup-simplify]: Simplify 1 into 1
6.487 * [backup-simplify]: Simplify (/ 1 1) into 1
6.487 * [taylor]: Taking taylor expansion of 3.0 in x
6.487 * [backup-simplify]: Simplify 3.0 into 3.0
6.488 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
6.488 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
6.488 * [backup-simplify]: Simplify 12.0 into 12.0
6.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.489 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
6.489 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
6.489 * [backup-simplify]: Simplify 3.0 into 3.0
6.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.490 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (* 0 1))) into 0
6.491 * [backup-simplify]: Simplify (+ 0 0) into 0
6.491 * [backup-simplify]: Simplify 0 into 0
6.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.492 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.492 * [backup-simplify]: Simplify (+ 0 0) into 0
6.492 * [backup-simplify]: Simplify 0 into 0
6.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.493 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.494 * [backup-simplify]: Simplify (+ 0 0) into 0
6.494 * [backup-simplify]: Simplify 0 into 0
6.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.495 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.495 * [backup-simplify]: Simplify (+ 0 0) into 0
6.495 * [backup-simplify]: Simplify 0 into 0
6.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.497 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.497 * [backup-simplify]: Simplify (+ 0 0) into 0
6.497 * [backup-simplify]: Simplify 0 into 0
6.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.499 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.499 * [backup-simplify]: Simplify (+ 0 0) into 0
6.499 * [backup-simplify]: Simplify 0 into 0
6.500 * [backup-simplify]: Simplify (+ 3.0 (* 12.0 (/ 1 (/ 1 (- x))))) into (- 3.0 (* 12.0 x))
6.500 * * * [progress]: simplifying candidates
6.500 * [simplify]: Simplifying:
  (expm1 (fma x (* x 9.0) (- 3.0 (* x 12.0))))
  (log1p (fma x (* x 9.0) (- 3.0 (* x 12.0))))
  (* x (* x 9.0))
  (log (fma x (* x 9.0) (- 3.0 (* x 12.0))))
  (exp (fma x (* x 9.0) (- 3.0 (* x 12.0))))
  (* (cbrt (fma x (* x 9.0) (- 3.0 (* x 12.0)))) (cbrt (fma x (* x 9.0) (- 3.0 (* x 12.0)))))
  (cbrt (fma x (* x 9.0) (- 3.0 (* x 12.0))))
  (* (* (fma x (* x 9.0) (- 3.0 (* x 12.0))) (fma x (* x 9.0) (- 3.0 (* x 12.0)))) (fma x (* x 9.0) (- 3.0 (* x 12.0))))
  (sqrt (fma x (* x 9.0) (- 3.0 (* x 12.0))))
  (sqrt (fma x (* x 9.0) (- 3.0 (* x 12.0))))
  (fma (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0) (- (* 12.0 x)))
  (fma (- 12.0) x (* 12.0 x))
  (fma (sqrt 3.0) (sqrt 3.0) (- (* 12.0 x)))
  (fma (- 12.0) x (* 12.0 x))
  (fma 1 3.0 (- (* 12.0 x)))
  (fma (- 12.0) x (* 12.0 x))
  (expm1 (- 3.0 (* x 12.0)))
  (log1p (- 3.0 (* x 12.0)))
  (- (* x 12.0))
  (- (* x 12.0))
  (- (* x 12.0))
  (/ (exp 3.0) (exp (* x 12.0)))
  (log (- 3.0 (* x 12.0)))
  (exp (- 3.0 (* x 12.0)))
  (* (cbrt (- 3.0 (* x 12.0))) (cbrt (- 3.0 (* x 12.0))))
  (cbrt (- 3.0 (* x 12.0)))
  (* (* (- 3.0 (* x 12.0)) (- 3.0 (* x 12.0))) (- 3.0 (* x 12.0)))
  (sqrt (- 3.0 (* x 12.0)))
  (sqrt (- 3.0 (* x 12.0)))
  (- (pow 3.0 3) (pow (* x 12.0) 3))
  (+ (* 3.0 3.0) (+ (* (* x 12.0) (* x 12.0)) (* 3.0 (* x 12.0))))
  (- (* x 12.0))
  (- (* 3.0 3.0) (* (* x 12.0) (* x 12.0)))
  (+ 3.0 (* x 12.0))
  (- (* x 12.0))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (- 3.0 (* 12.0 x))
6.501 * * [simplify]: iteration 0: 59 enodes
6.517 * * [simplify]: iteration 1: 131 enodes
6.598 * * [simplify]: iteration 2: 587 enodes
7.035 * * [simplify]: iteration complete: 5000 enodes
7.036 * * [simplify]: Extracting #0: cost 26 inf + 0
7.038 * * [simplify]: Extracting #1: cost 510 inf + 0
7.049 * * [simplify]: Extracting #2: cost 1515 inf + 4076
7.079 * * [simplify]: Extracting #3: cost 914 inf + 104469
7.148 * * [simplify]: Extracting #4: cost 125 inf + 261960
7.229 * * [simplify]: Extracting #5: cost 6 inf + 292016
7.312 * * [simplify]: Extracting #6: cost 0 inf + 292511
7.405 * [simplify]: Simplified to:
  (expm1 (+ 3.0 (* x (- (* 9.0 x) 12.0))))
  (log1p (+ 3.0 (* x (- (* 9.0 x) 12.0))))
  (* 9.0 (* x x))
  (log (+ 3.0 (* x (- (* 9.0 x) 12.0))))
  (exp (+ 3.0 (* x (- (* 9.0 x) 12.0))))
  (* (cbrt (+ 3.0 (* x (- (* 9.0 x) 12.0)))) (cbrt (+ 3.0 (* x (- (* 9.0 x) 12.0)))))
  (cbrt (+ 3.0 (* x (- (* 9.0 x) 12.0))))
  (* (* (+ 3.0 (* x (- (* 9.0 x) 12.0))) (+ 3.0 (* x (- (* 9.0 x) 12.0)))) (+ 3.0 (* x (- (* 9.0 x) 12.0))))
  (sqrt (+ 3.0 (* x (- (* 9.0 x) 12.0))))
  (sqrt (+ 3.0 (* x (- (* 9.0 x) 12.0))))
  (- (* (cbrt 3.0) (* (cbrt 3.0) (cbrt 3.0))) (* x 12.0))
  (- (* 12.0 x) (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (- (* 12.0 x) (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (- (* 12.0 x) (* 12.0 x))
  (expm1 (- 3.0 (* 12.0 x)))
  (log1p (- 3.0 (* 12.0 x)))
  (- (* x 12.0))
  (- (* x 12.0))
  (- (* x 12.0))
  (exp (- 3.0 (* 12.0 x)))
  (log (- 3.0 (* 12.0 x)))
  (exp (- 3.0 (* 12.0 x)))
  (* (cbrt (- 3.0 (* 12.0 x))) (cbrt (- 3.0 (* 12.0 x))))
  (cbrt (- 3.0 (* 12.0 x)))
  (* (* (- 3.0 (* 12.0 x)) (- 3.0 (* 12.0 x))) (- 3.0 (* 12.0 x)))
  (sqrt (- 3.0 (* 12.0 x)))
  (sqrt (- 3.0 (* 12.0 x)))
  (- (* 3.0 (* 3.0 3.0)) (* (* (* 12.0 x) (* 12.0 x)) (* 12.0 x)))
  (fma 3.0 3.0 (* (* 12.0 x) (+ 3.0 (* 12.0 x))))
  (- (* x 12.0))
  (- (* 3.0 3.0) (* (* 12.0 x) (* 12.0 x)))
  (fma 12.0 x 3.0)
  (- (* x 12.0))
  (+ 3.0 (* x (- (* 9.0 x) 12.0)))
  (+ 3.0 (* x (- (* 9.0 x) 12.0)))
  (+ 3.0 (* x (- (* 9.0 x) 12.0)))
  (- 3.0 (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (- 3.0 (* 12.0 x))
7.408 * * * [progress]: adding candidates to table
7.636 * * [progress]: iteration 3 / 4
7.636 * * * [progress]: picking best candidate
7.653 * * * * [pick]: Picked  #<alt (λ (x) (+ (* 3.0 (* x (- (* x 3.0) 4.0))) (* 3.0 1.0)))>
7.653 * * * [progress]: localizing error
7.666 * * * [progress]: generating rewritten candidates
7.666 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
7.736 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
7.759 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 2)
7.776 * * * [progress]: generating series expansions
7.776 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
7.776 * [backup-simplify]: Simplify (* 3.0 (* x (- (* x 3.0) 4.0))) into (* 3.0 (* x (- (* 3.0 x) 4.0)))
7.776 * [approximate]: Taking taylor expansion of (* 3.0 (* x (- (* 3.0 x) 4.0))) in (x) around 0
7.776 * [taylor]: Taking taylor expansion of (* 3.0 (* x (- (* 3.0 x) 4.0))) in x
7.776 * [taylor]: Taking taylor expansion of 3.0 in x
7.776 * [backup-simplify]: Simplify 3.0 into 3.0
7.776 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
7.776 * [taylor]: Taking taylor expansion of x in x
7.776 * [backup-simplify]: Simplify 0 into 0
7.776 * [backup-simplify]: Simplify 1 into 1
7.776 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.777 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.777 * [taylor]: Taking taylor expansion of 3.0 in x
7.777 * [backup-simplify]: Simplify 3.0 into 3.0
7.777 * [taylor]: Taking taylor expansion of x in x
7.777 * [backup-simplify]: Simplify 0 into 0
7.777 * [backup-simplify]: Simplify 1 into 1
7.777 * [taylor]: Taking taylor expansion of 4.0 in x
7.777 * [backup-simplify]: Simplify 4.0 into 4.0
7.777 * [taylor]: Taking taylor expansion of (* 3.0 (* x (- (* 3.0 x) 4.0))) in x
7.777 * [taylor]: Taking taylor expansion of 3.0 in x
7.777 * [backup-simplify]: Simplify 3.0 into 3.0
7.777 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
7.777 * [taylor]: Taking taylor expansion of x in x
7.777 * [backup-simplify]: Simplify 0 into 0
7.777 * [backup-simplify]: Simplify 1 into 1
7.777 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.777 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.777 * [taylor]: Taking taylor expansion of 3.0 in x
7.777 * [backup-simplify]: Simplify 3.0 into 3.0
7.777 * [taylor]: Taking taylor expansion of x in x
7.777 * [backup-simplify]: Simplify 0 into 0
7.777 * [backup-simplify]: Simplify 1 into 1
7.777 * [taylor]: Taking taylor expansion of 4.0 in x
7.777 * [backup-simplify]: Simplify 4.0 into 4.0
7.779 * [backup-simplify]: Simplify (* 3.0 0) into 0
7.779 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.781 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.781 * [backup-simplify]: Simplify (* 0 (- 4.0)) into 0
7.782 * [backup-simplify]: Simplify (* 3.0 0) into 0
7.782 * [backup-simplify]: Simplify 0 into 0
7.784 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
7.784 * [backup-simplify]: Simplify (- 0) into 0
7.785 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.787 * [backup-simplify]: Simplify (+ (* 0 3.0) (* 1 (- 4.0))) into (- 4.0)
7.790 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 0)) into (- 12.0)
7.790 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
7.791 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
7.792 * [backup-simplify]: Simplify (- 0) into 0
7.792 * [backup-simplify]: Simplify (+ 0 0) into 0
7.796 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 3.0) (* 0 (- 4.0)))) into 3.0
7.798 * [backup-simplify]: Simplify (+ (* 3.0 3.0) (+ (* 0 (- 4.0)) (* 0 0))) into 9.0
7.799 * [backup-simplify]: Simplify 9.0 into 9.0
7.800 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.800 * [backup-simplify]: Simplify (- 0) into 0
7.801 * [backup-simplify]: Simplify (+ 0 0) into 0
7.802 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 3.0) (* 0 (- 4.0))))) into 0
7.804 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0)))) into 0
7.804 * [backup-simplify]: Simplify 0 into 0
7.806 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.806 * [backup-simplify]: Simplify (- 0) into 0
7.807 * [backup-simplify]: Simplify (+ 0 0) into 0
7.809 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))) into 0
7.811 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0))))) into 0
7.811 * [backup-simplify]: Simplify 0 into 0
7.812 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
7.813 * [backup-simplify]: Simplify (- 0) into 0
7.813 * [backup-simplify]: Simplify (+ 0 0) into 0
7.815 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))) into 0
7.816 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0)))))) into 0
7.816 * [backup-simplify]: Simplify 0 into 0
7.817 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
7.818 * [backup-simplify]: Simplify (- 0) into 0
7.818 * [backup-simplify]: Simplify (+ 0 0) into 0
7.819 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))))) into 0
7.820 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0))))))) into 0
7.820 * [backup-simplify]: Simplify 0 into 0
7.825 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
7.826 * [backup-simplify]: Simplify (- 0) into 0
7.826 * [backup-simplify]: Simplify (+ 0 0) into 0
7.828 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))))) into 0
7.829 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0)))))))) into 0
7.829 * [backup-simplify]: Simplify 0 into 0
7.830 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
7.831 * [backup-simplify]: Simplify (- 0) into 0
7.831 * [backup-simplify]: Simplify (+ 0 0) into 0
7.832 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))))))) into 0
7.834 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0))))))))) into 0
7.834 * [backup-simplify]: Simplify 0 into 0
7.835 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (* (- 12.0) x)) into (- (* 9.0 (pow x 2)) (* 12.0 x))
7.835 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 x) (- (* (/ 1 x) 3.0) 4.0))) into (* 3.0 (/ (- (* 3.0 (/ 1 x)) 4.0) x))
7.835 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (* 3.0 (/ 1 x)) 4.0) x)) in (x) around 0
7.835 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (* 3.0 (/ 1 x)) 4.0) x)) in x
7.835 * [taylor]: Taking taylor expansion of 3.0 in x
7.835 * [backup-simplify]: Simplify 3.0 into 3.0
7.835 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
7.835 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
7.835 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.835 * [taylor]: Taking taylor expansion of 3.0 in x
7.835 * [backup-simplify]: Simplify 3.0 into 3.0
7.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.835 * [taylor]: Taking taylor expansion of x in x
7.835 * [backup-simplify]: Simplify 0 into 0
7.835 * [backup-simplify]: Simplify 1 into 1
7.835 * [backup-simplify]: Simplify (/ 1 1) into 1
7.835 * [taylor]: Taking taylor expansion of 4.0 in x
7.835 * [backup-simplify]: Simplify 4.0 into 4.0
7.835 * [taylor]: Taking taylor expansion of x in x
7.835 * [backup-simplify]: Simplify 0 into 0
7.835 * [backup-simplify]: Simplify 1 into 1
7.836 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.836 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.836 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.836 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (* 3.0 (/ 1 x)) 4.0) x)) in x
7.836 * [taylor]: Taking taylor expansion of 3.0 in x
7.836 * [backup-simplify]: Simplify 3.0 into 3.0
7.837 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
7.837 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
7.837 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.837 * [taylor]: Taking taylor expansion of 3.0 in x
7.837 * [backup-simplify]: Simplify 3.0 into 3.0
7.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.837 * [taylor]: Taking taylor expansion of x in x
7.837 * [backup-simplify]: Simplify 0 into 0
7.837 * [backup-simplify]: Simplify 1 into 1
7.837 * [backup-simplify]: Simplify (/ 1 1) into 1
7.837 * [taylor]: Taking taylor expansion of 4.0 in x
7.837 * [backup-simplify]: Simplify 4.0 into 4.0
7.837 * [taylor]: Taking taylor expansion of x in x
7.837 * [backup-simplify]: Simplify 0 into 0
7.837 * [backup-simplify]: Simplify 1 into 1
7.837 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.838 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.838 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.838 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
7.838 * [backup-simplify]: Simplify 9.0 into 9.0
7.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.839 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
7.840 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.840 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.842 * [backup-simplify]: Simplify (- (/ (- 4.0) 1) (+ (* 3.0 (/ 0 1)))) into (- 4.0)
7.843 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 3.0)) into (- 12.0)
7.844 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
7.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.845 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
7.845 * [backup-simplify]: Simplify (- 0) into 0
7.845 * [backup-simplify]: Simplify (+ 0 0) into 0
7.846 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)))) into 0
7.847 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- 4.0)) (* 0 3.0))) into 0
7.848 * [backup-simplify]: Simplify 0 into 0
7.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.850 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.850 * [backup-simplify]: Simplify (- 0) into 0
7.851 * [backup-simplify]: Simplify (+ 0 0) into 0
7.852 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.854 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0)))) into 0
7.854 * [backup-simplify]: Simplify 0 into 0
7.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.856 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.857 * [backup-simplify]: Simplify (- 0) into 0
7.857 * [backup-simplify]: Simplify (+ 0 0) into 0
7.859 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.860 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0))))) into 0
7.861 * [backup-simplify]: Simplify 0 into 0
7.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.863 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.864 * [backup-simplify]: Simplify (- 0) into 0
7.864 * [backup-simplify]: Simplify (+ 0 0) into 0
7.866 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.868 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0)))))) into 0
7.868 * [backup-simplify]: Simplify 0 into 0
7.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.871 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.871 * [backup-simplify]: Simplify (- 0) into 0
7.872 * [backup-simplify]: Simplify (+ 0 0) into 0
7.873 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.875 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0))))))) into 0
7.876 * [backup-simplify]: Simplify 0 into 0
7.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.879 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.879 * [backup-simplify]: Simplify (- 0) into 0
7.880 * [backup-simplify]: Simplify (+ 0 0) into 0
7.881 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.884 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0)))))))) into 0
7.884 * [backup-simplify]: Simplify 0 into 0
7.885 * [backup-simplify]: Simplify (+ (* (- 12.0) (/ 1 (/ 1 x))) (* 9.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 9.0 (pow x 2)) (* 12.0 x))
7.885 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (- x)) (- (* (/ 1 (- x)) 3.0) 4.0))) into (* 3.0 (/ (+ (* 3.0 (/ 1 x)) 4.0) x))
7.885 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ (* 3.0 (/ 1 x)) 4.0) x)) in (x) around 0
7.885 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ (* 3.0 (/ 1 x)) 4.0) x)) in x
7.885 * [taylor]: Taking taylor expansion of 3.0 in x
7.885 * [backup-simplify]: Simplify 3.0 into 3.0
7.885 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in x
7.885 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
7.885 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.885 * [taylor]: Taking taylor expansion of 3.0 in x
7.885 * [backup-simplify]: Simplify 3.0 into 3.0
7.885 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.885 * [taylor]: Taking taylor expansion of x in x
7.885 * [backup-simplify]: Simplify 0 into 0
7.885 * [backup-simplify]: Simplify 1 into 1
7.886 * [backup-simplify]: Simplify (/ 1 1) into 1
7.886 * [taylor]: Taking taylor expansion of 4.0 in x
7.886 * [backup-simplify]: Simplify 4.0 into 4.0
7.886 * [taylor]: Taking taylor expansion of x in x
7.886 * [backup-simplify]: Simplify 0 into 0
7.886 * [backup-simplify]: Simplify 1 into 1
7.887 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.887 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.888 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.888 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ (* 3.0 (/ 1 x)) 4.0) x)) in x
7.888 * [taylor]: Taking taylor expansion of 3.0 in x
7.888 * [backup-simplify]: Simplify 3.0 into 3.0
7.888 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in x
7.888 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
7.888 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.888 * [taylor]: Taking taylor expansion of 3.0 in x
7.888 * [backup-simplify]: Simplify 3.0 into 3.0
7.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.888 * [taylor]: Taking taylor expansion of x in x
7.888 * [backup-simplify]: Simplify 0 into 0
7.888 * [backup-simplify]: Simplify 1 into 1
7.889 * [backup-simplify]: Simplify (/ 1 1) into 1
7.889 * [taylor]: Taking taylor expansion of 4.0 in x
7.889 * [backup-simplify]: Simplify 4.0 into 4.0
7.889 * [taylor]: Taking taylor expansion of x in x
7.889 * [backup-simplify]: Simplify 0 into 0
7.889 * [backup-simplify]: Simplify 1 into 1
7.889 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.890 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.890 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.891 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
7.891 * [backup-simplify]: Simplify 9.0 into 9.0
7.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.892 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
7.893 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
7.895 * [backup-simplify]: Simplify (- (/ 4.0 1) (+ (* 3.0 (/ 0 1)))) into 4.0
7.897 * [backup-simplify]: Simplify (+ (* 3.0 4.0) (* 0 3.0)) into 12.0
7.897 * [backup-simplify]: Simplify 12.0 into 12.0
7.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.899 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
7.899 * [backup-simplify]: Simplify (+ 0 0) into 0
7.900 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)))) into 0
7.901 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 4.0) (* 0 3.0))) into 0
7.902 * [backup-simplify]: Simplify 0 into 0
7.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.904 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.904 * [backup-simplify]: Simplify (+ 0 0) into 0
7.906 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.907 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0)))) into 0
7.907 * [backup-simplify]: Simplify 0 into 0
7.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.910 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.911 * [backup-simplify]: Simplify (+ 0 0) into 0
7.912 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.914 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0))))) into 0
7.914 * [backup-simplify]: Simplify 0 into 0
7.915 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.917 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.918 * [backup-simplify]: Simplify (+ 0 0) into 0
7.919 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.921 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0)))))) into 0
7.921 * [backup-simplify]: Simplify 0 into 0
7.923 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.925 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.925 * [backup-simplify]: Simplify (+ 0 0) into 0
7.927 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.929 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0))))))) into 0
7.929 * [backup-simplify]: Simplify 0 into 0
7.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.933 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.934 * [backup-simplify]: Simplify (+ 0 0) into 0
7.935 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.938 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0)))))))) into 0
7.938 * [backup-simplify]: Simplify 0 into 0
7.939 * [backup-simplify]: Simplify (+ (* 12.0 (/ 1 (/ 1 (- x)))) (* 9.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 9.0 (pow x 2)) (* 12.0 x))
7.939 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
7.939 * [backup-simplify]: Simplify (* x (- (* x 3.0) 4.0)) into (* x (- (* 3.0 x) 4.0))
7.939 * [approximate]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in (x) around 0
7.939 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
7.939 * [taylor]: Taking taylor expansion of x in x
7.939 * [backup-simplify]: Simplify 0 into 0
7.939 * [backup-simplify]: Simplify 1 into 1
7.939 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.939 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.939 * [taylor]: Taking taylor expansion of 3.0 in x
7.939 * [backup-simplify]: Simplify 3.0 into 3.0
7.939 * [taylor]: Taking taylor expansion of x in x
7.939 * [backup-simplify]: Simplify 0 into 0
7.940 * [backup-simplify]: Simplify 1 into 1
7.940 * [taylor]: Taking taylor expansion of 4.0 in x
7.940 * [backup-simplify]: Simplify 4.0 into 4.0
7.940 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
7.940 * [taylor]: Taking taylor expansion of x in x
7.940 * [backup-simplify]: Simplify 0 into 0
7.940 * [backup-simplify]: Simplify 1 into 1
7.940 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.940 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.940 * [taylor]: Taking taylor expansion of 3.0 in x
7.940 * [backup-simplify]: Simplify 3.0 into 3.0
7.940 * [taylor]: Taking taylor expansion of x in x
7.940 * [backup-simplify]: Simplify 0 into 0
7.940 * [backup-simplify]: Simplify 1 into 1
7.940 * [taylor]: Taking taylor expansion of 4.0 in x
7.940 * [backup-simplify]: Simplify 4.0 into 4.0
7.941 * [backup-simplify]: Simplify (* 3.0 0) into 0
7.941 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.943 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.943 * [backup-simplify]: Simplify (* 0 (- 4.0)) into 0
7.943 * [backup-simplify]: Simplify 0 into 0
7.945 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
7.946 * [backup-simplify]: Simplify (- 0) into 0
7.947 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.950 * [backup-simplify]: Simplify (+ (* 0 3.0) (* 1 (- 4.0))) into (- 4.0)
7.950 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.951 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
7.952 * [backup-simplify]: Simplify (- 0) into 0
7.953 * [backup-simplify]: Simplify (+ 0 0) into 0
7.957 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 3.0) (* 0 (- 4.0)))) into 3.0
7.957 * [backup-simplify]: Simplify 3.0 into 3.0
7.959 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.959 * [backup-simplify]: Simplify (- 0) into 0
7.959 * [backup-simplify]: Simplify (+ 0 0) into 0
7.961 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 3.0) (* 0 (- 4.0))))) into 0
7.961 * [backup-simplify]: Simplify 0 into 0
7.962 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.962 * [backup-simplify]: Simplify (- 0) into 0
7.962 * [backup-simplify]: Simplify (+ 0 0) into 0
7.964 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))) into 0
7.964 * [backup-simplify]: Simplify 0 into 0
7.965 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
7.965 * [backup-simplify]: Simplify (- 0) into 0
7.965 * [backup-simplify]: Simplify (+ 0 0) into 0
7.967 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))) into 0
7.967 * [backup-simplify]: Simplify 0 into 0
7.968 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
7.968 * [backup-simplify]: Simplify (- 0) into 0
7.969 * [backup-simplify]: Simplify (+ 0 0) into 0
7.975 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))))) into 0
7.976 * [backup-simplify]: Simplify 0 into 0
7.977 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
7.978 * [backup-simplify]: Simplify (- 0) into 0
7.978 * [backup-simplify]: Simplify (+ 0 0) into 0
7.979 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))))) into 0
7.980 * [backup-simplify]: Simplify 0 into 0
7.981 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
7.981 * [backup-simplify]: Simplify (- 0) into 0
7.982 * [backup-simplify]: Simplify (+ 0 0) into 0
7.983 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))))))) into 0
7.984 * [backup-simplify]: Simplify 0 into 0
7.984 * [backup-simplify]: Simplify (+ (* 3.0 (pow x 2)) (* (- 4.0) x)) into (- (* 3.0 (pow x 2)) (* 4.0 x))
7.985 * [backup-simplify]: Simplify (* (/ 1 x) (- (* (/ 1 x) 3.0) 4.0)) into (/ (- (* 3.0 (/ 1 x)) 4.0) x)
7.985 * [approximate]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in (x) around 0
7.985 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
7.985 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
7.985 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.985 * [taylor]: Taking taylor expansion of 3.0 in x
7.985 * [backup-simplify]: Simplify 3.0 into 3.0
7.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.985 * [taylor]: Taking taylor expansion of x in x
7.985 * [backup-simplify]: Simplify 0 into 0
7.985 * [backup-simplify]: Simplify 1 into 1
7.985 * [backup-simplify]: Simplify (/ 1 1) into 1
7.985 * [taylor]: Taking taylor expansion of 4.0 in x
7.985 * [backup-simplify]: Simplify 4.0 into 4.0
7.985 * [taylor]: Taking taylor expansion of x in x
7.985 * [backup-simplify]: Simplify 0 into 0
7.985 * [backup-simplify]: Simplify 1 into 1
7.986 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.986 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.986 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.986 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
7.986 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
7.986 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.986 * [taylor]: Taking taylor expansion of 3.0 in x
7.987 * [backup-simplify]: Simplify 3.0 into 3.0
7.987 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.987 * [taylor]: Taking taylor expansion of x in x
7.987 * [backup-simplify]: Simplify 0 into 0
7.987 * [backup-simplify]: Simplify 1 into 1
7.987 * [backup-simplify]: Simplify (/ 1 1) into 1
7.987 * [taylor]: Taking taylor expansion of 4.0 in x
7.987 * [backup-simplify]: Simplify 4.0 into 4.0
7.987 * [taylor]: Taking taylor expansion of x in x
7.987 * [backup-simplify]: Simplify 0 into 0
7.987 * [backup-simplify]: Simplify 1 into 1
7.987 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.988 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.988 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.988 * [backup-simplify]: Simplify 3.0 into 3.0
7.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.989 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
7.990 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.990 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.992 * [backup-simplify]: Simplify (- (/ (- 4.0) 1) (+ (* 3.0 (/ 0 1)))) into (- 4.0)
7.992 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.994 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
7.994 * [backup-simplify]: Simplify (- 0) into 0
7.994 * [backup-simplify]: Simplify (+ 0 0) into 0
7.995 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)))) into 0
7.995 * [backup-simplify]: Simplify 0 into 0
7.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.997 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.997 * [backup-simplify]: Simplify (- 0) into 0
7.997 * [backup-simplify]: Simplify (+ 0 0) into 0
7.998 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.998 * [backup-simplify]: Simplify 0 into 0
7.999 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.000 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.000 * [backup-simplify]: Simplify (- 0) into 0
8.001 * [backup-simplify]: Simplify (+ 0 0) into 0
8.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.002 * [backup-simplify]: Simplify 0 into 0
8.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.003 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.004 * [backup-simplify]: Simplify (- 0) into 0
8.004 * [backup-simplify]: Simplify (+ 0 0) into 0
8.005 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.005 * [backup-simplify]: Simplify 0 into 0
8.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.007 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.007 * [backup-simplify]: Simplify (- 0) into 0
8.008 * [backup-simplify]: Simplify (+ 0 0) into 0
8.008 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.009 * [backup-simplify]: Simplify 0 into 0
8.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.010 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
8.011 * [backup-simplify]: Simplify (- 0) into 0
8.011 * [backup-simplify]: Simplify (+ 0 0) into 0
8.012 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.012 * [backup-simplify]: Simplify 0 into 0
8.013 * [backup-simplify]: Simplify (+ (* (- 4.0) (/ 1 (/ 1 x))) (* 3.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x))
8.013 * [backup-simplify]: Simplify (* (/ 1 (- x)) (- (* (/ 1 (- x)) 3.0) 4.0)) into (/ (+ (* 3.0 (/ 1 x)) 4.0) x)
8.013 * [approximate]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in (x) around 0
8.013 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in x
8.013 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
8.013 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
8.013 * [taylor]: Taking taylor expansion of 3.0 in x
8.013 * [backup-simplify]: Simplify 3.0 into 3.0
8.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.013 * [taylor]: Taking taylor expansion of x in x
8.013 * [backup-simplify]: Simplify 0 into 0
8.013 * [backup-simplify]: Simplify 1 into 1
8.014 * [backup-simplify]: Simplify (/ 1 1) into 1
8.014 * [taylor]: Taking taylor expansion of 4.0 in x
8.014 * [backup-simplify]: Simplify 4.0 into 4.0
8.014 * [taylor]: Taking taylor expansion of x in x
8.014 * [backup-simplify]: Simplify 0 into 0
8.014 * [backup-simplify]: Simplify 1 into 1
8.014 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
8.014 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
8.015 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
8.015 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in x
8.015 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
8.015 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
8.015 * [taylor]: Taking taylor expansion of 3.0 in x
8.015 * [backup-simplify]: Simplify 3.0 into 3.0
8.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.015 * [taylor]: Taking taylor expansion of x in x
8.015 * [backup-simplify]: Simplify 0 into 0
8.015 * [backup-simplify]: Simplify 1 into 1
8.015 * [backup-simplify]: Simplify (/ 1 1) into 1
8.015 * [taylor]: Taking taylor expansion of 4.0 in x
8.015 * [backup-simplify]: Simplify 4.0 into 4.0
8.015 * [taylor]: Taking taylor expansion of x in x
8.015 * [backup-simplify]: Simplify 0 into 0
8.015 * [backup-simplify]: Simplify 1 into 1
8.016 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
8.016 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
8.016 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
8.016 * [backup-simplify]: Simplify 3.0 into 3.0
8.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.018 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
8.018 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
8.020 * [backup-simplify]: Simplify (- (/ 4.0 1) (+ (* 3.0 (/ 0 1)))) into 4.0
8.020 * [backup-simplify]: Simplify 4.0 into 4.0
8.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.021 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
8.021 * [backup-simplify]: Simplify (+ 0 0) into 0
8.022 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)))) into 0
8.022 * [backup-simplify]: Simplify 0 into 0
8.023 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.024 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.024 * [backup-simplify]: Simplify (+ 0 0) into 0
8.025 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.025 * [backup-simplify]: Simplify 0 into 0
8.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.026 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.027 * [backup-simplify]: Simplify (+ 0 0) into 0
8.028 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.028 * [backup-simplify]: Simplify 0 into 0
8.029 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.030 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.030 * [backup-simplify]: Simplify (+ 0 0) into 0
8.032 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.032 * [backup-simplify]: Simplify 0 into 0
8.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.035 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.035 * [backup-simplify]: Simplify (+ 0 0) into 0
8.037 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.037 * [backup-simplify]: Simplify 0 into 0
8.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.041 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
8.041 * [backup-simplify]: Simplify (+ 0 0) into 0
8.043 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.043 * [backup-simplify]: Simplify 0 into 0
8.043 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 (/ 1 (- x)))) (* 3.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x))
8.043 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 2)
8.044 * [backup-simplify]: Simplify (- (* x 3.0) 4.0) into (- (* 3.0 x) 4.0)
8.044 * [approximate]: Taking taylor expansion of (- (* 3.0 x) 4.0) in (x) around 0
8.044 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
8.044 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
8.044 * [taylor]: Taking taylor expansion of 3.0 in x
8.044 * [backup-simplify]: Simplify 3.0 into 3.0
8.044 * [taylor]: Taking taylor expansion of x in x
8.044 * [backup-simplify]: Simplify 0 into 0
8.044 * [backup-simplify]: Simplify 1 into 1
8.044 * [taylor]: Taking taylor expansion of 4.0 in x
8.044 * [backup-simplify]: Simplify 4.0 into 4.0
8.044 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
8.044 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
8.044 * [taylor]: Taking taylor expansion of 3.0 in x
8.044 * [backup-simplify]: Simplify 3.0 into 3.0
8.044 * [taylor]: Taking taylor expansion of x in x
8.044 * [backup-simplify]: Simplify 0 into 0
8.044 * [backup-simplify]: Simplify 1 into 1
8.044 * [taylor]: Taking taylor expansion of 4.0 in x
8.044 * [backup-simplify]: Simplify 4.0 into 4.0
8.045 * [backup-simplify]: Simplify (* 3.0 0) into 0
8.046 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
8.047 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
8.047 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
8.049 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
8.050 * [backup-simplify]: Simplify (- 0) into 0
8.050 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
8.050 * [backup-simplify]: Simplify 3.0 into 3.0
8.051 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
8.051 * [backup-simplify]: Simplify (- 0) into 0
8.052 * [backup-simplify]: Simplify (+ 0 0) into 0
8.052 * [backup-simplify]: Simplify 0 into 0
8.053 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
8.053 * [backup-simplify]: Simplify (- 0) into 0
8.053 * [backup-simplify]: Simplify (+ 0 0) into 0
8.053 * [backup-simplify]: Simplify 0 into 0
8.054 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.054 * [backup-simplify]: Simplify (- 0) into 0
8.055 * [backup-simplify]: Simplify (+ 0 0) into 0
8.055 * [backup-simplify]: Simplify 0 into 0
8.056 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
8.056 * [backup-simplify]: Simplify (- 0) into 0
8.056 * [backup-simplify]: Simplify (+ 0 0) into 0
8.056 * [backup-simplify]: Simplify 0 into 0
8.057 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
8.058 * [backup-simplify]: Simplify (- 0) into 0
8.058 * [backup-simplify]: Simplify (+ 0 0) into 0
8.058 * [backup-simplify]: Simplify 0 into 0
8.059 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
8.060 * [backup-simplify]: Simplify (- 0) into 0
8.060 * [backup-simplify]: Simplify (+ 0 0) into 0
8.060 * [backup-simplify]: Simplify 0 into 0
8.060 * [backup-simplify]: Simplify (+ (* 3.0 x) (- 4.0)) into (- (* 3.0 x) 4.0)
8.061 * [backup-simplify]: Simplify (- (* (/ 1 x) 3.0) 4.0) into (- (* 3.0 (/ 1 x)) 4.0)
8.061 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in (x) around 0
8.061 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
8.061 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
8.061 * [taylor]: Taking taylor expansion of 3.0 in x
8.061 * [backup-simplify]: Simplify 3.0 into 3.0
8.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.061 * [taylor]: Taking taylor expansion of x in x
8.061 * [backup-simplify]: Simplify 0 into 0
8.061 * [backup-simplify]: Simplify 1 into 1
8.061 * [backup-simplify]: Simplify (/ 1 1) into 1
8.061 * [taylor]: Taking taylor expansion of 4.0 in x
8.061 * [backup-simplify]: Simplify 4.0 into 4.0
8.061 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
8.061 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
8.061 * [taylor]: Taking taylor expansion of 3.0 in x
8.061 * [backup-simplify]: Simplify 3.0 into 3.0
8.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.061 * [taylor]: Taking taylor expansion of x in x
8.061 * [backup-simplify]: Simplify 0 into 0
8.061 * [backup-simplify]: Simplify 1 into 1
8.062 * [backup-simplify]: Simplify (/ 1 1) into 1
8.062 * [taylor]: Taking taylor expansion of 4.0 in x
8.062 * [backup-simplify]: Simplify 4.0 into 4.0
8.062 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
8.062 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
8.062 * [backup-simplify]: Simplify 3.0 into 3.0
8.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.063 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
8.064 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
8.064 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
8.065 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
8.065 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.066 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
8.066 * [backup-simplify]: Simplify (- 0) into 0
8.066 * [backup-simplify]: Simplify (+ 0 0) into 0
8.066 * [backup-simplify]: Simplify 0 into 0
8.067 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.068 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.068 * [backup-simplify]: Simplify (- 0) into 0
8.069 * [backup-simplify]: Simplify (+ 0 0) into 0
8.069 * [backup-simplify]: Simplify 0 into 0
8.069 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.070 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.070 * [backup-simplify]: Simplify (- 0) into 0
8.071 * [backup-simplify]: Simplify (+ 0 0) into 0
8.071 * [backup-simplify]: Simplify 0 into 0
8.071 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.072 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.073 * [backup-simplify]: Simplify (- 0) into 0
8.073 * [backup-simplify]: Simplify (+ 0 0) into 0
8.073 * [backup-simplify]: Simplify 0 into 0
8.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.075 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.075 * [backup-simplify]: Simplify (- 0) into 0
8.075 * [backup-simplify]: Simplify (+ 0 0) into 0
8.075 * [backup-simplify]: Simplify 0 into 0
8.076 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.077 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
8.077 * [backup-simplify]: Simplify (- 0) into 0
8.078 * [backup-simplify]: Simplify (+ 0 0) into 0
8.078 * [backup-simplify]: Simplify 0 into 0
8.078 * [backup-simplify]: Simplify (+ (- 4.0) (* 3.0 (/ 1 (/ 1 x)))) into (- (* 3.0 x) 4.0)
8.078 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) 3.0) 4.0) into (- (+ (* 3.0 (/ 1 x)) 4.0))
8.078 * [approximate]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 x)) 4.0)) in (x) around 0
8.078 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 x)) 4.0)) in x
8.078 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
8.078 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
8.078 * [taylor]: Taking taylor expansion of 3.0 in x
8.078 * [backup-simplify]: Simplify 3.0 into 3.0
8.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.079 * [taylor]: Taking taylor expansion of x in x
8.079 * [backup-simplify]: Simplify 0 into 0
8.079 * [backup-simplify]: Simplify 1 into 1
8.079 * [backup-simplify]: Simplify (/ 1 1) into 1
8.079 * [taylor]: Taking taylor expansion of 4.0 in x
8.079 * [backup-simplify]: Simplify 4.0 into 4.0
8.079 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 x)) 4.0)) in x
8.079 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
8.079 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
8.079 * [taylor]: Taking taylor expansion of 3.0 in x
8.079 * [backup-simplify]: Simplify 3.0 into 3.0
8.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.079 * [taylor]: Taking taylor expansion of x in x
8.079 * [backup-simplify]: Simplify 0 into 0
8.079 * [backup-simplify]: Simplify 1 into 1
8.080 * [backup-simplify]: Simplify (/ 1 1) into 1
8.080 * [taylor]: Taking taylor expansion of 4.0 in x
8.080 * [backup-simplify]: Simplify 4.0 into 4.0
8.081 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
8.081 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
8.081 * [backup-simplify]: Simplify (- 3.0) into (- 3.0)
8.082 * [backup-simplify]: Simplify (- 3.0) into (- 3.0)
8.083 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.084 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
8.084 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
8.085 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
8.085 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
8.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.087 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
8.087 * [backup-simplify]: Simplify (+ 0 0) into 0
8.088 * [backup-simplify]: Simplify (- 0) into 0
8.088 * [backup-simplify]: Simplify 0 into 0
8.089 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.090 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.090 * [backup-simplify]: Simplify (+ 0 0) into 0
8.091 * [backup-simplify]: Simplify (- 0) into 0
8.091 * [backup-simplify]: Simplify 0 into 0
8.099 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.101 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.101 * [backup-simplify]: Simplify (+ 0 0) into 0
8.102 * [backup-simplify]: Simplify (- 0) into 0
8.102 * [backup-simplify]: Simplify 0 into 0
8.103 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.105 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.105 * [backup-simplify]: Simplify (+ 0 0) into 0
8.106 * [backup-simplify]: Simplify (- 0) into 0
8.106 * [backup-simplify]: Simplify 0 into 0
8.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.109 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.109 * [backup-simplify]: Simplify (+ 0 0) into 0
8.110 * [backup-simplify]: Simplify (- 0) into 0
8.110 * [backup-simplify]: Simplify 0 into 0
8.111 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.113 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
8.114 * [backup-simplify]: Simplify (+ 0 0) into 0
8.114 * [backup-simplify]: Simplify (- 0) into 0
8.114 * [backup-simplify]: Simplify 0 into 0
8.115 * [backup-simplify]: Simplify (+ (- 4.0) (* (- 3.0) (/ 1 (/ 1 (- x))))) into (- (* 3.0 x) 4.0)
8.115 * * * [progress]: simplifying candidates
8.119 * [simplify]: Simplifying:
  (expm1 (* 3.0 (* x (- (* x 3.0) 4.0))))
  (log1p (* 3.0 (* x (- (* x 3.0) 4.0))))
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (+ (log 3.0) (+ (log x) (log (- (* x 3.0) 4.0))))
  (+ (log 3.0) (log (* x (- (* x 3.0) 4.0))))
  (log (* 3.0 (* x (- (* x 3.0) 4.0))))
  (exp (* 3.0 (* x (- (* x 3.0) 4.0))))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* (- (* x 3.0) 4.0) (- (* x 3.0) 4.0)) (- (* x 3.0) 4.0))))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* x (- (* x 3.0) 4.0))))
  (* (cbrt (* 3.0 (* x (- (* x 3.0) 4.0)))) (cbrt (* 3.0 (* x (- (* x 3.0) 4.0)))))
  (cbrt (* 3.0 (* x (- (* x 3.0) 4.0))))
  (* (* (* 3.0 (* x (- (* x 3.0) 4.0))) (* 3.0 (* x (- (* x 3.0) 4.0)))) (* 3.0 (* x (- (* x 3.0) 4.0))))
  (sqrt (* 3.0 (* x (- (* x 3.0) 4.0))))
  (sqrt (* 3.0 (* x (- (* x 3.0) 4.0))))
  (* 3.0 (* x (fma x 3.0 (- (* (cbrt 4.0) (* (cbrt 4.0) (cbrt 4.0)))))))
  (* 3.0 (* x (fma (- (cbrt 4.0)) (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt 4.0) (* (cbrt 4.0) (cbrt 4.0))))))
  (* 3.0 (* x (fma x 3.0 (- (* (sqrt 4.0) (sqrt 4.0))))))
  (* 3.0 (* x (fma (- (sqrt 4.0)) (sqrt 4.0) (* (sqrt 4.0) (sqrt 4.0)))))
  (* 3.0 (* x (fma x 3.0 (- (* 4.0 1)))))
  (* 3.0 (* x (fma (- 4.0) 1 (* 4.0 1))))
  (* 3.0 (* x (* x 3.0)))
  (* 3.0 (* x (- 4.0)))
  (* 3.0 (* x (* x 3.0)))
  (* 3.0 (* x (- 4.0)))
  (* 3.0 (* (fma x 3.0 (- (* (cbrt 4.0) (* (cbrt 4.0) (cbrt 4.0))))) x))
  (* 3.0 (* (fma (- (cbrt 4.0)) (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt 4.0) (* (cbrt 4.0) (cbrt 4.0)))) x))
  (* 3.0 (* (fma x 3.0 (- (* (sqrt 4.0) (sqrt 4.0)))) x))
  (* 3.0 (* (fma (- (sqrt 4.0)) (sqrt 4.0) (* (sqrt 4.0) (sqrt 4.0))) x))
  (* 3.0 (* (fma x 3.0 (- (* 4.0 1))) x))
  (* 3.0 (* (fma (- 4.0) 1 (* 4.0 1)) x))
  (* 3.0 (* (* x 3.0) x))
  (* 3.0 (* (- 4.0) x))
  (* 3.0 (* (* x 3.0) x))
  (* 3.0 (* (- 4.0) x))
  (* (* x (fma x 3.0 (- (* (cbrt 4.0) (* (cbrt 4.0) (cbrt 4.0)))))) 3.0)
  (* (* x (fma (- (cbrt 4.0)) (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt 4.0) (* (cbrt 4.0) (cbrt 4.0))))) 3.0)
  (* (* x (fma x 3.0 (- (* (sqrt 4.0) (sqrt 4.0))))) 3.0)
  (* (* x (fma (- (sqrt 4.0)) (sqrt 4.0) (* (sqrt 4.0) (sqrt 4.0)))) 3.0)
  (* (* x (fma x 3.0 (- (* 4.0 1)))) 3.0)
  (* (* x (fma (- 4.0) 1 (* 4.0 1))) 3.0)
  (* (* x (* x 3.0)) 3.0)
  (* (* x (- 4.0)) 3.0)
  (* (* x (* x 3.0)) 3.0)
  (* (* x (- 4.0)) 3.0)
  (* (* (fma x 3.0 (- (* (cbrt 4.0) (* (cbrt 4.0) (cbrt 4.0))))) x) 3.0)
  (* (* (fma (- (cbrt 4.0)) (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt 4.0) (* (cbrt 4.0) (cbrt 4.0)))) x) 3.0)
  (* (* (fma x 3.0 (- (* (sqrt 4.0) (sqrt 4.0)))) x) 3.0)
  (* (* (fma (- (sqrt 4.0)) (sqrt 4.0) (* (sqrt 4.0) (sqrt 4.0))) x) 3.0)
  (* (* (fma x 3.0 (- (* 4.0 1))) x) 3.0)
  (* (* (fma (- 4.0) 1 (* 4.0 1)) x) 3.0)
  (* (* (* x 3.0) x) 3.0)
  (* (* (- 4.0) x) 3.0)
  (* (* (* x 3.0) x) 3.0)
  (* (* (- 4.0) x) 3.0)
  (* 3.0 x)
  (* (cbrt 3.0) (* x (- (* x 3.0) 4.0)))
  (* (sqrt 3.0) (* x (- (* x 3.0) 4.0)))
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (* 3.0 (* x (- (pow (* x 3.0) 3) (pow 4.0 3))))
  (* 3.0 (* x (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0))))
  (expm1 (* x (- (* x 3.0) 4.0)))
  (log1p (* x (- (* x 3.0) 4.0)))
  (* x (- (* x 3.0) 4.0))
  (+ (log x) (log (- (* x 3.0) 4.0)))
  (log (* x (- (* x 3.0) 4.0)))
  (exp (* x (- (* x 3.0) 4.0)))
  (* (* (* x x) x) (* (* (- (* x 3.0) 4.0) (- (* x 3.0) 4.0)) (- (* x 3.0) 4.0)))
  (* (cbrt (* x (- (* x 3.0) 4.0))) (cbrt (* x (- (* x 3.0) 4.0))))
  (cbrt (* x (- (* x 3.0) 4.0)))
  (* (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* x (fma x 3.0 (- (* (cbrt 4.0) (* (cbrt 4.0) (cbrt 4.0))))))
  (* x (fma (- (cbrt 4.0)) (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt 4.0) (* (cbrt 4.0) (cbrt 4.0)))))
  (* x (fma x 3.0 (- (* (sqrt 4.0) (sqrt 4.0)))))
  (* x (fma (- (sqrt 4.0)) (sqrt 4.0) (* (sqrt 4.0) (sqrt 4.0))))
  (* x (fma x 3.0 (- (* 4.0 1))))
  (* x (fma (- 4.0) 1 (* 4.0 1)))
  (* x (* x 3.0))
  (* x (- 4.0))
  (* x (* x 3.0))
  (* x (- 4.0))
  (* (fma x 3.0 (- (* (cbrt 4.0) (* (cbrt 4.0) (cbrt 4.0))))) x)
  (* (fma (- (cbrt 4.0)) (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt 4.0) (* (cbrt 4.0) (cbrt 4.0)))) x)
  (* (fma x 3.0 (- (* (sqrt 4.0) (sqrt 4.0)))) x)
  (* (fma (- (sqrt 4.0)) (sqrt 4.0) (* (sqrt 4.0) (sqrt 4.0))) x)
  (* (fma x 3.0 (- (* 4.0 1))) x)
  (* (fma (- 4.0) 1 (* 4.0 1)) x)
  (* (* x 3.0) x)
  (* (- 4.0) x)
  (* (* x 3.0) x)
  (* (- 4.0) x)
  (* x (* (cbrt (- (* x 3.0) 4.0)) (cbrt (- (* x 3.0) 4.0))))
  (* x (sqrt (- (* x 3.0) 4.0)))
  (* x 1)
  (* (cbrt x) (- (* x 3.0) 4.0))
  (* (sqrt x) (- (* x 3.0) 4.0))
  (* x (- (* x 3.0) 4.0))
  (* x (- (pow (* x 3.0) 3) (pow 4.0 3)))
  (* x (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0)))
  (fma x 3.0 (- (* (cbrt 4.0) (* (cbrt 4.0) (cbrt 4.0)))))
  (fma (- (cbrt 4.0)) (* (cbrt 4.0) (cbrt 4.0)) (* (cbrt 4.0) (* (cbrt 4.0) (cbrt 4.0))))
  (fma x 3.0 (- (* (sqrt 4.0) (sqrt 4.0))))
  (fma (- (sqrt 4.0)) (sqrt 4.0) (* (sqrt 4.0) (sqrt 4.0)))
  (fma x 3.0 (- (* 4.0 1)))
  (fma (- 4.0) 1 (* 4.0 1))
  (expm1 (- (* x 3.0) 4.0))
  (log1p (- (* x 3.0) 4.0))
  (- 4.0)
  (/ (exp (* x 3.0)) (exp 4.0))
  (log (- (* x 3.0) 4.0))
  (exp (- (* x 3.0) 4.0))
  (* (cbrt (- (* x 3.0) 4.0)) (cbrt (- (* x 3.0) 4.0)))
  (cbrt (- (* x 3.0) 4.0))
  (* (* (- (* x 3.0) 4.0) (- (* x 3.0) 4.0)) (- (* x 3.0) 4.0))
  (sqrt (- (* x 3.0) 4.0))
  (sqrt (- (* x 3.0) 4.0))
  (- (pow (* x 3.0) 3) (pow 4.0 3))
  (+ (* (* x 3.0) (* x 3.0)) (+ (* 4.0 4.0) (* (* x 3.0) 4.0)))
  (- 4.0)
  (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0))
  (+ (* x 3.0) 4.0)
  (- 4.0)
  (- (* 9.0 (pow x 2)) (* 12.0 x))
  (- (* 9.0 (pow x 2)) (* 12.0 x))
  (- (* 9.0 (pow x 2)) (* 12.0 x))
  (- (* 3.0 (pow x 2)) (* 4.0 x))
  (- (* 3.0 (pow x 2)) (* 4.0 x))
  (- (* 3.0 (pow x 2)) (* 4.0 x))
  (- (* 3.0 x) 4.0)
  (- (* 3.0 x) 4.0)
  (- (* 3.0 x) 4.0)
8.122 * * [simplify]: iteration 0: 155 enodes
8.178 * * [simplify]: iteration 1: 414 enodes
8.876 * * [simplify]: iteration 2: 2139 enodes
9.859 * * [simplify]: iteration complete: 5000 enodes
9.859 * * [simplify]: Extracting #0: cost 61 inf + 0
9.863 * * [simplify]: Extracting #1: cost 1094 inf + 1
9.871 * * [simplify]: Extracting #2: cost 1814 inf + 7325
9.894 * * [simplify]: Extracting #3: cost 712 inf + 108535
9.944 * * [simplify]: Extracting #4: cost 111 inf + 205996
9.991 * * [simplify]: Extracting #5: cost 15 inf + 225936
10.039 * * [simplify]: Extracting #6: cost 0 inf + 229572
10.093 * [simplify]: Simplified to:
  (expm1 (* (- (* x 3.0) 4.0) (* x 3.0)))
  (log1p (* (- (* x 3.0) 4.0) (* x 3.0)))
  (* (- (* x 3.0) 4.0) (* x 3.0))
  (* (- (* x 3.0) 4.0) (* x 3.0))
  (log (* (- (* x 3.0) 4.0) (* x 3.0)))
  (log (* (- (* x 3.0) 4.0) (* x 3.0)))
  (log (* (- (* x 3.0) 4.0) (* x 3.0)))
  (exp (* (- (* x 3.0) 4.0) (* x 3.0)))
  (* (* x (* (* (* 3.0 x) 3.0) (* 3.0 x))) (* (* (- (* x 3.0) 4.0) (- (* x 3.0) 4.0)) (- (* x 3.0) 4.0)))
  (* (* (- (* x 3.0) 4.0) (* x 3.0)) (* (* (- (* x 3.0) 4.0) (* x 3.0)) (* (- (* x 3.0) 4.0) (* x 3.0))))
  (* (cbrt (* (- (* x 3.0) 4.0) (* x 3.0))) (cbrt (* (- (* x 3.0) 4.0) (* x 3.0))))
  (cbrt (* (- (* x 3.0) 4.0) (* x 3.0)))
  (* (* (- (* x 3.0) 4.0) (* x 3.0)) (* (* (- (* x 3.0) 4.0) (* x 3.0)) (* (- (* x 3.0) 4.0) (* x 3.0))))
  (sqrt (* (- (* x 3.0) 4.0) (* x 3.0)))
  (sqrt (* (- (* x 3.0) 4.0) (* x 3.0)))
  (* (- (* x 3.0) 4.0) (* x 3.0))
  (* (* 3.0 x) (fma -1 4.0 4.0))
  (* (- (* x 3.0) 4.0) (* x 3.0))
  (* (* 3.0 x) (fma -1 4.0 4.0))
  (* (- (* x 3.0) 4.0) (* x 3.0))
  (* (* 3.0 x) (fma -1 4.0 4.0))
  (* (* 3.0 x) (* 3.0 x))
  (- (* (* 3.0 x) 4.0))
  (* (* 3.0 x) (* 3.0 x))
  (- (* (* 3.0 x) 4.0))
  (* (* x 3.0) (- (* x 3.0) 4.0))
  (* (* 3.0 x) (fma -1 4.0 4.0))
  (* (* x 3.0) (- (* x 3.0) 4.0))
  (* (* 3.0 x) (fma -1 4.0 4.0))
  (* (* x 3.0) (- (* x 3.0) 4.0))
  (* (* 3.0 x) (fma -1 4.0 4.0))
  (* (* 3.0 x) (* 3.0 x))
  (- (* (* 3.0 x) 4.0))
  (* (* 3.0 x) (* 3.0 x))
  (- (* (* 3.0 x) 4.0))
  (* (- (* x 3.0) 4.0) (* x 3.0))
  (* (* 3.0 x) (fma -1 4.0 4.0))
  (* (- (* x 3.0) 4.0) (* x 3.0))
  (* (* 3.0 x) (fma -1 4.0 4.0))
  (* (- (* x 3.0) 4.0) (* x 3.0))
  (* (* 3.0 x) (fma -1 4.0 4.0))
  (* (* 3.0 x) (* 3.0 x))
  (- (* (* 3.0 x) 4.0))
  (* (* 3.0 x) (* 3.0 x))
  (- (* (* 3.0 x) 4.0))
  (* (* x 3.0) (- (* x 3.0) 4.0))
  (* (* 3.0 x) (fma -1 4.0 4.0))
  (* (* x 3.0) (- (* x 3.0) 4.0))
  (* (* 3.0 x) (fma -1 4.0 4.0))
  (* (* x 3.0) (- (* x 3.0) 4.0))
  (* (* 3.0 x) (fma -1 4.0 4.0))
  (* (* 3.0 x) (* 3.0 x))
  (- (* (* 3.0 x) 4.0))
  (* (* 3.0 x) (* 3.0 x))
  (- (* (* 3.0 x) 4.0))
  (* x 3.0)
  (* (* x (- (* x 3.0) 4.0)) (cbrt 3.0))
  (* (sqrt 3.0) (* x (- (* x 3.0) 4.0)))
  (* (- (* x 3.0) 4.0) (* x 3.0))
  (* (* 3.0 x) (- (* x (* (* (* 3.0 x) 3.0) (* 3.0 x))) (* 4.0 (* 4.0 4.0))))
  (* (* (+ (* 3.0 x) 4.0) (- (* 3.0 x) 4.0)) (* 3.0 x))
  (expm1 (* x (- (* x 3.0) 4.0)))
  (log1p (* x (- (* x 3.0) 4.0)))
  (* x (- (* x 3.0) 4.0))
  (log (* x (- (* x 3.0) 4.0)))
  (log (* x (- (* x 3.0) 4.0)))
  (exp (* x (- (* x 3.0) 4.0)))
  (* (- (* x 3.0) 4.0) (* x (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0)))))
  (* (cbrt (* x (- (* x 3.0) 4.0))) (cbrt (* x (- (* x 3.0) 4.0))))
  (cbrt (* x (- (* x 3.0) 4.0)))
  (* (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* x (- (* x 3.0) 4.0))
  (* x (fma -1 4.0 4.0))
  (* x (- (* x 3.0) 4.0))
  (* x (fma -1 4.0 4.0))
  (* x (- (* x 3.0) 4.0))
  (* x (fma -1 4.0 4.0))
  (* (* x x) 3.0)
  (- (* 4.0 x))
  (* (* x x) 3.0)
  (- (* 4.0 x))
  (* x (- (* x 3.0) 4.0))
  (* x (fma -1 4.0 4.0))
  (* x (- (* x 3.0) 4.0))
  (* x (fma -1 4.0 4.0))
  (* x (- (* x 3.0) 4.0))
  (* x (fma -1 4.0 4.0))
  (* (* 3.0 x) x)
  (- (* 4.0 x))
  (* (* 3.0 x) x)
  (- (* 4.0 x))
  (* (cbrt (- (* x 3.0) 4.0)) (* (cbrt (- (* x 3.0) 4.0)) x))
  (* x (sqrt (- (* x 3.0) 4.0)))
  x
  (* (- (* x 3.0) 4.0) (cbrt x))
  (* (- (* x 3.0) 4.0) (sqrt x))
  (* x (- (* x 3.0) 4.0))
  (* (- (* x (* (* (* 3.0 x) 3.0) (* 3.0 x))) (* 4.0 (* 4.0 4.0))) x)
  (* (* (+ (* 3.0 x) 4.0) (- (* 3.0 x) 4.0)) x)
  (- (* x 3.0) 4.0)
  (fma -1 4.0 4.0)
  (- (* x 3.0) 4.0)
  (fma -1 4.0 4.0)
  (- (* x 3.0) 4.0)
  (fma -1 4.0 4.0)
  (expm1 (- (* x 3.0) 4.0))
  (log1p (- (* x 3.0) 4.0))
  (- 4.0)
  (exp (- (* x 3.0) 4.0))
  (log (- (* x 3.0) 4.0))
  (exp (- (* x 3.0) 4.0))
  (* (cbrt (- (* x 3.0) 4.0)) (cbrt (- (* x 3.0) 4.0)))
  (cbrt (- (* x 3.0) 4.0))
  (* (* (- (* x 3.0) 4.0) (- (* x 3.0) 4.0)) (- (* x 3.0) 4.0))
  (sqrt (- (* x 3.0) 4.0))
  (sqrt (- (* x 3.0) 4.0))
  (- (* x (* (* (* 3.0 x) 3.0) (* 3.0 x))) (* 4.0 (* 4.0 4.0)))
  (fma (* x 3.0) (* x 3.0) (* (fma x 3.0 4.0) 4.0))
  (- 4.0)
  (* (+ (* 3.0 x) 4.0) (- (* 3.0 x) 4.0))
  (fma x 3.0 4.0)
  (- 4.0)
  (- (* x (* x 9.0)) (* x 12.0))
  (- (* x (* x 9.0)) (* x 12.0))
  (- (* x (* x 9.0)) (* x 12.0))
  (- (* (* x x) 3.0) (* 4.0 x))
  (- (* (* x x) 3.0) (* 4.0 x))
  (- (* (* x x) 3.0) (* 4.0 x))
  (- (* x 3.0) 4.0)
  (- (* x 3.0) 4.0)
  (- (* x 3.0) 4.0)
10.100 * * * [progress]: adding candidates to table
10.513 * * [progress]: iteration 4 / 4
10.514 * * * [progress]: picking best candidate
10.528 * * * * [pick]: Picked  #<alt (λ (x) (+ (* 3.0 (- (* (* x x) 3.0) (* 4.0 x))) (* 3.0 1.0)))>
10.528 * * * [progress]: localizing error
10.543 * * * [progress]: generating rewritten candidates
10.543 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2 1)
10.566 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
10.639 * * * [progress]: generating series expansions
10.639 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2 1)
10.639 * [backup-simplify]: Simplify (* (* x x) 3.0) into (* 3.0 (pow x 2))
10.639 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
10.639 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
10.639 * [taylor]: Taking taylor expansion of 3.0 in x
10.639 * [backup-simplify]: Simplify 3.0 into 3.0
10.639 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.639 * [taylor]: Taking taylor expansion of x in x
10.639 * [backup-simplify]: Simplify 0 into 0
10.639 * [backup-simplify]: Simplify 1 into 1
10.639 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
10.640 * [taylor]: Taking taylor expansion of 3.0 in x
10.640 * [backup-simplify]: Simplify 3.0 into 3.0
10.640 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.640 * [taylor]: Taking taylor expansion of x in x
10.640 * [backup-simplify]: Simplify 0 into 0
10.640 * [backup-simplify]: Simplify 1 into 1
10.640 * [backup-simplify]: Simplify (* 1 1) into 1
10.641 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
10.641 * [backup-simplify]: Simplify 3.0 into 3.0
10.641 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.642 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
10.642 * [backup-simplify]: Simplify 0 into 0
10.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.643 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
10.643 * [backup-simplify]: Simplify 0 into 0
10.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.645 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.645 * [backup-simplify]: Simplify 0 into 0
10.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.647 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.647 * [backup-simplify]: Simplify 0 into 0
10.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.649 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.649 * [backup-simplify]: Simplify 0 into 0
10.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.651 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.651 * [backup-simplify]: Simplify 0 into 0
10.652 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
10.652 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) 3.0) into (/ 3.0 (pow x 2))
10.652 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
10.652 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
10.652 * [taylor]: Taking taylor expansion of 3.0 in x
10.652 * [backup-simplify]: Simplify 3.0 into 3.0
10.652 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.652 * [taylor]: Taking taylor expansion of x in x
10.652 * [backup-simplify]: Simplify 0 into 0
10.652 * [backup-simplify]: Simplify 1 into 1
10.652 * [backup-simplify]: Simplify (* 1 1) into 1
10.653 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
10.653 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
10.653 * [taylor]: Taking taylor expansion of 3.0 in x
10.653 * [backup-simplify]: Simplify 3.0 into 3.0
10.653 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.653 * [taylor]: Taking taylor expansion of x in x
10.653 * [backup-simplify]: Simplify 0 into 0
10.653 * [backup-simplify]: Simplify 1 into 1
10.653 * [backup-simplify]: Simplify (* 1 1) into 1
10.654 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
10.654 * [backup-simplify]: Simplify 3.0 into 3.0
10.654 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.655 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
10.655 * [backup-simplify]: Simplify 0 into 0
10.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.657 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.657 * [backup-simplify]: Simplify 0 into 0
10.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.658 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.658 * [backup-simplify]: Simplify 0 into 0
10.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.660 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.660 * [backup-simplify]: Simplify 0 into 0
10.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.661 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.662 * [backup-simplify]: Simplify 0 into 0
10.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.663 * [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
10.663 * [backup-simplify]: Simplify 0 into 0
10.664 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
10.664 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) 3.0) into (/ 3.0 (pow x 2))
10.664 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
10.664 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
10.664 * [taylor]: Taking taylor expansion of 3.0 in x
10.664 * [backup-simplify]: Simplify 3.0 into 3.0
10.664 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.664 * [taylor]: Taking taylor expansion of x in x
10.664 * [backup-simplify]: Simplify 0 into 0
10.664 * [backup-simplify]: Simplify 1 into 1
10.665 * [backup-simplify]: Simplify (* 1 1) into 1
10.665 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
10.665 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
10.665 * [taylor]: Taking taylor expansion of 3.0 in x
10.665 * [backup-simplify]: Simplify 3.0 into 3.0
10.665 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.665 * [taylor]: Taking taylor expansion of x in x
10.665 * [backup-simplify]: Simplify 0 into 0
10.665 * [backup-simplify]: Simplify 1 into 1
10.665 * [backup-simplify]: Simplify (* 1 1) into 1
10.666 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
10.666 * [backup-simplify]: Simplify 3.0 into 3.0
10.666 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.667 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
10.667 * [backup-simplify]: Simplify 0 into 0
10.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.668 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.668 * [backup-simplify]: Simplify 0 into 0
10.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.670 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.670 * [backup-simplify]: Simplify 0 into 0
10.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.671 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.671 * [backup-simplify]: Simplify 0 into 0
10.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.673 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.673 * [backup-simplify]: Simplify 0 into 0
10.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.675 * [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
10.675 * [backup-simplify]: Simplify 0 into 0
10.677 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
10.677 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
10.677 * [backup-simplify]: Simplify (* 3.0 (- (* (* x x) 3.0) (* 4.0 x))) into (* 3.0 (- (* 3.0 (pow x 2)) (* 4.0 x)))
10.677 * [approximate]: Taking taylor expansion of (* 3.0 (- (* 3.0 (pow x 2)) (* 4.0 x))) in (x) around 0
10.677 * [taylor]: Taking taylor expansion of (* 3.0 (- (* 3.0 (pow x 2)) (* 4.0 x))) in x
10.677 * [taylor]: Taking taylor expansion of 3.0 in x
10.677 * [backup-simplify]: Simplify 3.0 into 3.0
10.677 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in x
10.677 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
10.677 * [taylor]: Taking taylor expansion of 3.0 in x
10.677 * [backup-simplify]: Simplify 3.0 into 3.0
10.677 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.677 * [taylor]: Taking taylor expansion of x in x
10.677 * [backup-simplify]: Simplify 0 into 0
10.677 * [backup-simplify]: Simplify 1 into 1
10.677 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
10.677 * [taylor]: Taking taylor expansion of 4.0 in x
10.677 * [backup-simplify]: Simplify 4.0 into 4.0
10.677 * [taylor]: Taking taylor expansion of x in x
10.677 * [backup-simplify]: Simplify 0 into 0
10.677 * [backup-simplify]: Simplify 1 into 1
10.677 * [taylor]: Taking taylor expansion of (* 3.0 (- (* 3.0 (pow x 2)) (* 4.0 x))) in x
10.677 * [taylor]: Taking taylor expansion of 3.0 in x
10.677 * [backup-simplify]: Simplify 3.0 into 3.0
10.677 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in x
10.677 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
10.677 * [taylor]: Taking taylor expansion of 3.0 in x
10.677 * [backup-simplify]: Simplify 3.0 into 3.0
10.677 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.677 * [taylor]: Taking taylor expansion of x in x
10.677 * [backup-simplify]: Simplify 0 into 0
10.677 * [backup-simplify]: Simplify 1 into 1
10.677 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
10.678 * [taylor]: Taking taylor expansion of 4.0 in x
10.678 * [backup-simplify]: Simplify 4.0 into 4.0
10.678 * [taylor]: Taking taylor expansion of x in x
10.678 * [backup-simplify]: Simplify 0 into 0
10.678 * [backup-simplify]: Simplify 1 into 1
10.678 * [backup-simplify]: Simplify (* 4.0 0) into 0
10.679 * [backup-simplify]: Simplify (- 0) into 0
10.679 * [backup-simplify]: Simplify (+ 0 0) into 0
10.679 * [backup-simplify]: Simplify (* 3.0 0) into 0
10.679 * [backup-simplify]: Simplify 0 into 0
10.680 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
10.681 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
10.681 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
10.683 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 0)) into (- 12.0)
10.683 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
10.684 * [backup-simplify]: Simplify (* 1 1) into 1
10.684 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
10.684 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
10.685 * [backup-simplify]: Simplify (- 0) into 0
10.685 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
10.687 * [backup-simplify]: Simplify (+ (* 3.0 3.0) (+ (* 0 (- 4.0)) (* 0 0))) into 9.0
10.687 * [backup-simplify]: Simplify 9.0 into 9.0
10.687 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.688 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
10.689 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
10.689 * [backup-simplify]: Simplify (- 0) into 0
10.689 * [backup-simplify]: Simplify (+ 0 0) into 0
10.690 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0)))) into 0
10.690 * [backup-simplify]: Simplify 0 into 0
10.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.692 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
10.693 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
10.693 * [backup-simplify]: Simplify (- 0) into 0
10.693 * [backup-simplify]: Simplify (+ 0 0) into 0
10.694 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0))))) into 0
10.694 * [backup-simplify]: Simplify 0 into 0
10.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.696 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.697 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
10.697 * [backup-simplify]: Simplify (- 0) into 0
10.698 * [backup-simplify]: Simplify (+ 0 0) into 0
10.699 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0)))))) into 0
10.699 * [backup-simplify]: Simplify 0 into 0
10.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.701 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.702 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
10.702 * [backup-simplify]: Simplify (- 0) into 0
10.703 * [backup-simplify]: Simplify (+ 0 0) into 0
10.704 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0))))))) into 0
10.704 * [backup-simplify]: Simplify 0 into 0
10.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.706 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.707 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
10.708 * [backup-simplify]: Simplify (- 0) into 0
10.708 * [backup-simplify]: Simplify (+ 0 0) into 0
10.710 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0)))))))) into 0
10.710 * [backup-simplify]: Simplify 0 into 0
10.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.712 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.713 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
10.714 * [backup-simplify]: Simplify (- 0) into 0
10.714 * [backup-simplify]: Simplify (+ 0 0) into 0
10.715 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0))))))))) into 0
10.716 * [backup-simplify]: Simplify 0 into 0
10.716 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (* (- 12.0) x)) into (- (* 9.0 (pow x 2)) (* 12.0 x))
10.716 * [backup-simplify]: Simplify (* 3.0 (- (* (* (/ 1 x) (/ 1 x)) 3.0) (* 4.0 (/ 1 x)))) into (* 3.0 (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))))
10.716 * [approximate]: Taking taylor expansion of (* 3.0 (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))) in (x) around 0
10.717 * [taylor]: Taking taylor expansion of (* 3.0 (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))) in x
10.717 * [taylor]: Taking taylor expansion of 3.0 in x
10.717 * [backup-simplify]: Simplify 3.0 into 3.0
10.717 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
10.717 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
10.717 * [taylor]: Taking taylor expansion of 3.0 in x
10.717 * [backup-simplify]: Simplify 3.0 into 3.0
10.717 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.717 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.717 * [taylor]: Taking taylor expansion of x in x
10.717 * [backup-simplify]: Simplify 0 into 0
10.717 * [backup-simplify]: Simplify 1 into 1
10.717 * [backup-simplify]: Simplify (* 1 1) into 1
10.717 * [backup-simplify]: Simplify (/ 1 1) into 1
10.717 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
10.717 * [taylor]: Taking taylor expansion of 4.0 in x
10.717 * [backup-simplify]: Simplify 4.0 into 4.0
10.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.718 * [taylor]: Taking taylor expansion of x in x
10.718 * [backup-simplify]: Simplify 0 into 0
10.718 * [backup-simplify]: Simplify 1 into 1
10.718 * [backup-simplify]: Simplify (/ 1 1) into 1
10.718 * [taylor]: Taking taylor expansion of (* 3.0 (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))) in x
10.718 * [taylor]: Taking taylor expansion of 3.0 in x
10.718 * [backup-simplify]: Simplify 3.0 into 3.0
10.718 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
10.718 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
10.718 * [taylor]: Taking taylor expansion of 3.0 in x
10.718 * [backup-simplify]: Simplify 3.0 into 3.0
10.718 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.718 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.718 * [taylor]: Taking taylor expansion of x in x
10.718 * [backup-simplify]: Simplify 0 into 0
10.718 * [backup-simplify]: Simplify 1 into 1
10.718 * [backup-simplify]: Simplify (* 1 1) into 1
10.719 * [backup-simplify]: Simplify (/ 1 1) into 1
10.719 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
10.719 * [taylor]: Taking taylor expansion of 4.0 in x
10.719 * [backup-simplify]: Simplify 4.0 into 4.0
10.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.719 * [taylor]: Taking taylor expansion of x in x
10.719 * [backup-simplify]: Simplify 0 into 0
10.719 * [backup-simplify]: Simplify 1 into 1
10.719 * [backup-simplify]: Simplify (/ 1 1) into 1
10.720 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
10.720 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
10.720 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
10.720 * [backup-simplify]: Simplify 9.0 into 9.0
10.721 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.722 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
10.722 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
10.722 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
10.723 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
10.724 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 3.0)) into (- 12.0)
10.725 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
10.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.727 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
10.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.729 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
10.730 * [backup-simplify]: Simplify (- 0) into 0
10.730 * [backup-simplify]: Simplify (+ 0 0) into 0
10.731 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- 4.0)) (* 0 3.0))) into 0
10.732 * [backup-simplify]: Simplify 0 into 0
10.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.735 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.739 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
10.739 * [backup-simplify]: Simplify (- 0) into 0
10.740 * [backup-simplify]: Simplify (+ 0 0) into 0
10.742 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0)))) into 0
10.742 * [backup-simplify]: Simplify 0 into 0
10.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.746 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.749 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.752 * [backup-simplify]: Simplify (- 0) into 0
10.753 * [backup-simplify]: Simplify (+ 0 0) into 0
10.755 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0))))) into 0
10.755 * [backup-simplify]: Simplify 0 into 0
10.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.760 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.763 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.763 * [backup-simplify]: Simplify (- 0) into 0
10.764 * [backup-simplify]: Simplify (+ 0 0) into 0
10.766 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0)))))) into 0
10.766 * [backup-simplify]: Simplify 0 into 0
10.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.769 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.771 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.771 * [backup-simplify]: Simplify (- 0) into 0
10.771 * [backup-simplify]: Simplify (+ 0 0) into 0
10.772 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0))))))) into 0
10.772 * [backup-simplify]: Simplify 0 into 0
10.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.775 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.777 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.777 * [backup-simplify]: Simplify (- 0) into 0
10.778 * [backup-simplify]: Simplify (+ 0 0) into 0
10.779 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0)))))))) into 0
10.779 * [backup-simplify]: Simplify 0 into 0
10.780 * [backup-simplify]: Simplify (+ (* (- 12.0) (/ 1 (/ 1 x))) (* 9.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 9.0 (pow x 2)) (* 12.0 x))
10.780 * [backup-simplify]: Simplify (* 3.0 (- (* (* (/ 1 (- x)) (/ 1 (- x))) 3.0) (* 4.0 (/ 1 (- x))))) into (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))))
10.780 * [approximate]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))) in (x) around 0
10.780 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))) in x
10.780 * [taylor]: Taking taylor expansion of 3.0 in x
10.780 * [backup-simplify]: Simplify 3.0 into 3.0
10.780 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
10.780 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
10.780 * [taylor]: Taking taylor expansion of 3.0 in x
10.780 * [backup-simplify]: Simplify 3.0 into 3.0
10.780 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.780 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.780 * [taylor]: Taking taylor expansion of x in x
10.780 * [backup-simplify]: Simplify 0 into 0
10.780 * [backup-simplify]: Simplify 1 into 1
10.781 * [backup-simplify]: Simplify (* 1 1) into 1
10.781 * [backup-simplify]: Simplify (/ 1 1) into 1
10.781 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
10.781 * [taylor]: Taking taylor expansion of 4.0 in x
10.781 * [backup-simplify]: Simplify 4.0 into 4.0
10.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.781 * [taylor]: Taking taylor expansion of x in x
10.781 * [backup-simplify]: Simplify 0 into 0
10.781 * [backup-simplify]: Simplify 1 into 1
10.781 * [backup-simplify]: Simplify (/ 1 1) into 1
10.781 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))) in x
10.781 * [taylor]: Taking taylor expansion of 3.0 in x
10.781 * [backup-simplify]: Simplify 3.0 into 3.0
10.781 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
10.781 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
10.782 * [taylor]: Taking taylor expansion of 3.0 in x
10.782 * [backup-simplify]: Simplify 3.0 into 3.0
10.782 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.782 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.782 * [taylor]: Taking taylor expansion of x in x
10.782 * [backup-simplify]: Simplify 0 into 0
10.782 * [backup-simplify]: Simplify 1 into 1
10.782 * [backup-simplify]: Simplify (* 1 1) into 1
10.782 * [backup-simplify]: Simplify (/ 1 1) into 1
10.782 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
10.782 * [taylor]: Taking taylor expansion of 4.0 in x
10.782 * [backup-simplify]: Simplify 4.0 into 4.0
10.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.782 * [taylor]: Taking taylor expansion of x in x
10.782 * [backup-simplify]: Simplify 0 into 0
10.782 * [backup-simplify]: Simplify 1 into 1
10.783 * [backup-simplify]: Simplify (/ 1 1) into 1
10.783 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
10.783 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
10.784 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
10.784 * [backup-simplify]: Simplify 9.0 into 9.0
10.784 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.785 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
10.785 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
10.786 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
10.787 * [backup-simplify]: Simplify (+ (* 3.0 4.0) (* 0 3.0)) into 12.0
10.787 * [backup-simplify]: Simplify 12.0 into 12.0
10.787 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.788 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
10.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.790 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
10.790 * [backup-simplify]: Simplify (+ 0 0) into 0
10.791 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 4.0) (* 0 3.0))) into 0
10.791 * [backup-simplify]: Simplify 0 into 0
10.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.793 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.794 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
10.794 * [backup-simplify]: Simplify (+ 0 0) into 0
10.795 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0)))) into 0
10.795 * [backup-simplify]: Simplify 0 into 0
10.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.797 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.798 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.799 * [backup-simplify]: Simplify (+ 0 0) into 0
10.800 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0))))) into 0
10.800 * [backup-simplify]: Simplify 0 into 0
10.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.805 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.808 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.808 * [backup-simplify]: Simplify (+ 0 0) into 0
10.810 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0)))))) into 0
10.810 * [backup-simplify]: Simplify 0 into 0
10.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.815 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.818 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.818 * [backup-simplify]: Simplify (+ 0 0) into 0
10.820 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0))))))) into 0
10.820 * [backup-simplify]: Simplify 0 into 0
10.822 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.825 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.828 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.828 * [backup-simplify]: Simplify (+ 0 0) into 0
10.830 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0)))))))) into 0
10.830 * [backup-simplify]: Simplify 0 into 0
10.831 * [backup-simplify]: Simplify (+ (* 12.0 (/ 1 (/ 1 (- x)))) (* 9.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 9.0 (pow x 2)) (* 12.0 x))
10.831 * * * [progress]: simplifying candidates
10.832 * [simplify]: Simplifying:
  (expm1 (* (* x x) 3.0))
  (log1p (* (* x x) 3.0))
  (* (* 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)
  (expm1 (* 3.0 (- (* (* x x) 3.0) (* 4.0 x))))
  (log1p (* 3.0 (- (* (* x x) 3.0) (* 4.0 x))))
  (* 3.0 (- (* (* x x) 3.0) (* 4.0 x)))
  (+ (log 3.0) (log (- (* (* x x) 3.0) (* 4.0 x))))
  (log (* 3.0 (- (* (* x x) 3.0) (* 4.0 x))))
  (exp (* 3.0 (- (* (* x x) 3.0) (* 4.0 x))))
  (* (* (* 3.0 3.0) 3.0) (* (* (- (* (* x x) 3.0) (* 4.0 x)) (- (* (* x x) 3.0) (* 4.0 x))) (- (* (* x x) 3.0) (* 4.0 x))))
  (* (cbrt (* 3.0 (- (* (* x x) 3.0) (* 4.0 x)))) (cbrt (* 3.0 (- (* (* x x) 3.0) (* 4.0 x)))))
  (cbrt (* 3.0 (- (* (* x x) 3.0) (* 4.0 x))))
  (* (* (* 3.0 (- (* (* x x) 3.0) (* 4.0 x))) (* 3.0 (- (* (* x x) 3.0) (* 4.0 x)))) (* 3.0 (- (* (* x x) 3.0) (* 4.0 x))))
  (sqrt (* 3.0 (- (* (* x x) 3.0) (* 4.0 x))))
  (sqrt (* 3.0 (- (* (* x x) 3.0) (* 4.0 x))))
  (* (sqrt 3.0) (sqrt (- (* (* x x) 3.0) (* 4.0 x))))
  (* (sqrt 3.0) (sqrt (- (* (* x x) 3.0) (* 4.0 x))))
  (* 3.0 (fma (* x x) 3.0 (- (* x 4.0))))
  (* 3.0 (fma (- x) 4.0 (* x 4.0)))
  (* 3.0 (* (* x x) 3.0))
  (* 3.0 (- (* 4.0 x)))
  (* 3.0 (* (* x x) 3.0))
  (* 3.0 (- (* 4.0 x)))
  (* (fma (* x x) 3.0 (- (* x 4.0))) 3.0)
  (* (fma (- x) 4.0 (* x 4.0)) 3.0)
  (* (* (* x x) 3.0) 3.0)
  (* (- (* 4.0 x)) 3.0)
  (* (* (* x x) 3.0) 3.0)
  (* (- (* 4.0 x)) 3.0)
  (* 3.0 (* (cbrt (- (* (* x x) 3.0) (* 4.0 x))) (cbrt (- (* (* x x) 3.0) (* 4.0 x)))))
  (* 3.0 (sqrt (- (* (* x x) 3.0) (* 4.0 x))))
  (* 3.0 1)
  (* (cbrt 3.0) (- (* (* x x) 3.0) (* 4.0 x)))
  (* (sqrt 3.0) (- (* (* x x) 3.0) (* 4.0 x)))
  (* 3.0 (- (* (* x x) 3.0) (* 4.0 x)))
  (* 3.0 (- (pow (* (* x x) 3.0) 3) (pow (* 4.0 x) 3)))
  (* 3.0 (- (* (* (* x x) 3.0) (* (* x x) 3.0)) (* (* 4.0 x) (* 4.0 x))))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (* 3.0 (pow x 2))
  (- (* 9.0 (pow x 2)) (* 12.0 x))
  (- (* 9.0 (pow x 2)) (* 12.0 x))
  (- (* 9.0 (pow x 2)) (* 12.0 x))
10.834 * * [simplify]: iteration 0: 93 enodes
10.880 * * [simplify]: iteration 1: 259 enodes
11.072 * * [simplify]: iteration 2: 1663 enodes
11.945 * * [simplify]: iteration complete: 5001 enodes
11.946 * * [simplify]: Extracting #0: cost 36 inf + 0
11.948 * * [simplify]: Extracting #1: cost 539 inf + 1
11.958 * * [simplify]: Extracting #2: cost 1545 inf + 14910
11.996 * * [simplify]: Extracting #3: cost 1034 inf + 115104
12.071 * * [simplify]: Extracting #4: cost 189 inf + 253976
12.164 * * [simplify]: Extracting #5: cost 14 inf + 289483
12.238 * * [simplify]: Extracting #6: cost 1 inf + 291383
12.328 * * [simplify]: Extracting #7: cost 0 inf + 291677
12.413 * [simplify]: Simplified to:
  (expm1 (* (* 3.0 x) x))
  (log1p (* (* 3.0 x) x))
  (* (* 3.0 x) x)
  (* (* 3.0 x) x)
  (log (* (* 3.0 x) x))
  (log (* (* 3.0 x) x))
  (log (* (* 3.0 x) x))
  (exp (* (* 3.0 x) x))
  (* (* (* (* 3.0 x) x) (* (* 3.0 x) x)) (* (* 3.0 x) x))
  (* (* (* (* 3.0 x) x) (* (* 3.0 x) x)) (* (* 3.0 x) x))
  (* (cbrt (* (* 3.0 x) x)) (cbrt (* (* 3.0 x) x)))
  (cbrt (* (* 3.0 x) x))
  (* (* (* (* 3.0 x) x) (* (* 3.0 x) x)) (* (* 3.0 x) x))
  (sqrt (* (* 3.0 x) x))
  (sqrt (* (* 3.0 x) x))
  (* x (sqrt 3.0))
  (* x (sqrt 3.0))
  (* (* x (cbrt 3.0)) (* x (cbrt 3.0)))
  (* (* x x) (sqrt 3.0))
  (* x x)
  (* x 3.0)
  (expm1 (* 3.0 (* x (- (* x 3.0) 4.0))))
  (log1p (* 3.0 (* x (- (* x 3.0) 4.0))))
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (log (* 3.0 (* x (- (* x 3.0) 4.0))))
  (log (* 3.0 (* x (- (* x 3.0) 4.0))))
  (exp (* 3.0 (* x (- (* x 3.0) 4.0))))
  (* (* x (- (* x 3.0) 4.0)) (* 3.0 (* (* 3.0 (* x (- (* x 3.0) 4.0))) (* 3.0 (* x (- (* x 3.0) 4.0))))))
  (* (cbrt (* 3.0 (* x (- (* x 3.0) 4.0)))) (cbrt (* 3.0 (* x (- (* x 3.0) 4.0)))))
  (cbrt (* 3.0 (* x (- (* x 3.0) 4.0))))
  (* (* (* 3.0 (* x (- (* x 3.0) 4.0))) (* 3.0 (* x (- (* x 3.0) 4.0)))) (* 3.0 (* x (- (* x 3.0) 4.0))))
  (sqrt (* 3.0 (* x (- (* x 3.0) 4.0))))
  (sqrt (* 3.0 (* x (- (* x 3.0) 4.0))))
  (* (sqrt 3.0) (sqrt (* x (- (* x 3.0) 4.0))))
  (* (sqrt 3.0) (sqrt (* x (- (* x 3.0) 4.0))))
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (* (+ (* 4.0 x) (- (* 4.0 x))) 3.0)
  (* (* 3.0 x) (* 3.0 x))
  (* (- x) (* 4.0 3.0))
  (* (* 3.0 x) (* 3.0 x))
  (* (- x) (* 4.0 3.0))
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (* (+ (* 4.0 x) (- (* 4.0 x))) 3.0)
  (* (* 3.0 x) (* 3.0 x))
  (* (- x) (* 4.0 3.0))
  (* (* 3.0 x) (* 3.0 x))
  (* (- x) (* 4.0 3.0))
  (* (cbrt (* x (- (* x 3.0) 4.0))) (* 3.0 (cbrt (* x (- (* x 3.0) 4.0)))))
  (* (sqrt (* x (- (* x 3.0) 4.0))) 3.0)
  3.0
  (* (cbrt 3.0) (* x (- (* x 3.0) 4.0)))
  (* (sqrt 3.0) (* x (- (* x 3.0) 4.0)))
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (* (- (* (* (* (* 3.0 x) x) (* (* 3.0 x) x)) (* (* 3.0 x) x)) (* (* (* 4.0 x) (* 4.0 x)) (* 4.0 x))) 3.0)
  (* (* (+ (* (* 3.0 x) x) (* 4.0 x)) (- (* (* 3.0 x) x) (* 4.0 x))) 3.0)
  (* (* 3.0 x) x)
  (* (* 3.0 x) x)
  (* (* 3.0 x) x)
  (- (* (* x x) 9.0) (* 12.0 x))
  (- (* (* x x) 9.0) (* 12.0 x))
  (- (* (* x x) 9.0) (* 12.0 x))
12.420 * * * [progress]: adding candidates to table
12.673 * [progress]: [Phase 3 of 3] Extracting.
12.673 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (fma x (* x 9.0) (- 3.0 (* x 12.0))))> #<alt (λ (x) (+ (* (* x 3.0) (- (* x 3.0) 4.0)) (* 3.0 1.0)))> #<alt (λ (x) (+ (- (* (* x x) 9.0) (* 12.0 x)) (* 3.0 1.0)))> #<alt (λ (x) (+ (* (* (cbrt (* 3.0 (- (* (* x x) 3.0) (* 4.0 x)))) (cbrt (* 3.0 (- (* (* x x) 3.0) (* 4.0 x))))) (cbrt (* 3.0 (- (* (* x x) 3.0) (* 4.0 x))))) (* 3.0 1.0)))>)
12.674 * * * [regime-changes]: Trying 1 branch expressions: (x)
12.674 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (fma x (* x 9.0) (- 3.0 (* x 12.0))))> #<alt (λ (x) (+ (* (* x 3.0) (- (* x 3.0) 4.0)) (* 3.0 1.0)))> #<alt (λ (x) (+ (- (* (* x x) 9.0) (* 12.0 x)) (* 3.0 1.0)))> #<alt (λ (x) (+ (* (* (cbrt (* 3.0 (- (* (* x x) 3.0) (* 4.0 x)))) (cbrt (* 3.0 (- (* (* x x) 3.0) (* 4.0 x))))) (cbrt (* 3.0 (- (* (* x x) 3.0) (* 4.0 x))))) (* 3.0 1.0)))>)
12.718 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
12.718 * [simplify]: Simplifying:
  (fma x (* x 9.0) (- 3.0 (* x 12.0)))
12.718 * * [simplify]: iteration 0: 8 enodes
12.719 * * [simplify]: iteration 1: 10 enodes
12.719 * * [simplify]: iteration complete: 10 enodes
12.719 * * [simplify]: Extracting #0: cost 1 inf + 0
12.719 * * [simplify]: Extracting #1: cost 4 inf + 0
12.719 * * [simplify]: Extracting #2: cost 6 inf + 1
12.719 * * [simplify]: Extracting #3: cost 4 inf + 45
12.719 * * [simplify]: Extracting #4: cost 0 inf + 350
12.719 * [simplify]: Simplified to:
  (fma x (* x 9.0) (- 3.0 (* 12.0 x)))
14.275 * [regime-testing]: Baseline error score: 0.09122540186819926
14.284 * [regime-testing]: Oracle error score: 0.012077425967464635
14.313 * [regime-testing]: End program error score: 0.09122540186819926
14.415 * [regime-testing]: Target error score: 0.09037675945534382