36.698 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.023 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying:
  (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
0.024 * * [simplify]: iteration 0: 10 enodes
0.027 * * [simplify]: iteration 1: 25 enodes
0.032 * * [simplify]: iteration 2: 53 enodes
0.048 * * [simplify]: iteration 3: 115 enodes
0.079 * * [simplify]: iteration 4: 222 enodes
0.165 * * [simplify]: iteration 5: 392 enodes
0.257 * * [simplify]: iteration 6: 572 enodes
0.350 * * [simplify]: iteration 7: 702 enodes
0.439 * * [simplify]: iteration 8: 912 enodes
0.627 * * [simplify]: iteration 9: 1466 enodes
1.214 * * [simplify]: iteration 10: 2742 enodes
2.410 * * [simplify]: iteration 11: 3891 enodes
3.166 * * [simplify]: iteration 12: 4630 enodes
3.371 * * [simplify]: iteration complete: 5000 enodes
3.371 * * [simplify]: Extracting #0: cost 1 inf + 0
3.371 * * [simplify]: Extracting #1: cost 35 inf + 0
3.372 * * [simplify]: Extracting #2: cost 100 inf + 42
3.373 * * [simplify]: Extracting #3: cost 128 inf + 2702
3.378 * * [simplify]: Extracting #4: cost 15 inf + 17777
3.387 * * [simplify]: Extracting #5: cost 0 inf + 20101
3.395 * [simplify]: Simplified to:
  (* 3.0 (- 1.0 (* (- 4.0 (* x 3.0)) x)))
3.399 * * [progress]: iteration 1 / 4
3.399 * * * [progress]: picking best candidate
3.405 * * * * [pick]: Picked  #<alt (λ (x) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))>
3.405 * * * [progress]: localizing error
3.426 * * * [progress]: generating rewritten candidates
3.427 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 1)
3.447 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
3.664 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
3.688 * * * [progress]: generating series expansions
3.688 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 1)
3.688 * [backup-simplify]: Simplify (* (* x 3.0) x) into (* 3.0 (pow x 2))
3.688 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
3.688 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
3.688 * [taylor]: Taking taylor expansion of 3.0 in x
3.688 * [backup-simplify]: Simplify 3.0 into 3.0
3.688 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.688 * [taylor]: Taking taylor expansion of x in x
3.688 * [backup-simplify]: Simplify 0 into 0
3.688 * [backup-simplify]: Simplify 1 into 1
3.688 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
3.688 * [taylor]: Taking taylor expansion of 3.0 in x
3.688 * [backup-simplify]: Simplify 3.0 into 3.0
3.688 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.688 * [taylor]: Taking taylor expansion of x in x
3.688 * [backup-simplify]: Simplify 0 into 0
3.688 * [backup-simplify]: Simplify 1 into 1
3.689 * [backup-simplify]: Simplify (* 1 1) into 1
3.689 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.689 * [backup-simplify]: Simplify 3.0 into 3.0
3.690 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.690 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
3.690 * [backup-simplify]: Simplify 0 into 0
3.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.691 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
3.691 * [backup-simplify]: Simplify 0 into 0
3.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.692 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.692 * [backup-simplify]: Simplify 0 into 0
3.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.694 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.694 * [backup-simplify]: Simplify 0 into 0
3.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.695 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.695 * [backup-simplify]: Simplify 0 into 0
3.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.697 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.698 * [backup-simplify]: Simplify 0 into 0
3.698 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
3.698 * [backup-simplify]: Simplify (* (* (/ 1 x) 3.0) (/ 1 x)) into (/ 3.0 (pow x 2))
3.698 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
3.698 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
3.698 * [taylor]: Taking taylor expansion of 3.0 in x
3.698 * [backup-simplify]: Simplify 3.0 into 3.0
3.698 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.698 * [taylor]: Taking taylor expansion of x in x
3.698 * [backup-simplify]: Simplify 0 into 0
3.698 * [backup-simplify]: Simplify 1 into 1
3.698 * [backup-simplify]: Simplify (* 1 1) into 1
3.698 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
3.698 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
3.699 * [taylor]: Taking taylor expansion of 3.0 in x
3.699 * [backup-simplify]: Simplify 3.0 into 3.0
3.699 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.699 * [taylor]: Taking taylor expansion of x in x
3.699 * [backup-simplify]: Simplify 0 into 0
3.699 * [backup-simplify]: Simplify 1 into 1
3.699 * [backup-simplify]: Simplify (* 1 1) into 1
3.699 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
3.699 * [backup-simplify]: Simplify 3.0 into 3.0
3.700 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
3.700 * [backup-simplify]: Simplify 0 into 0
3.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.701 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.701 * [backup-simplify]: Simplify 0 into 0
3.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.702 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.702 * [backup-simplify]: Simplify 0 into 0
3.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.704 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.704 * [backup-simplify]: Simplify 0 into 0
3.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.705 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.705 * [backup-simplify]: Simplify 0 into 0
3.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.707 * [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
3.707 * [backup-simplify]: Simplify 0 into 0
3.707 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
3.708 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) into (/ 3.0 (pow x 2))
3.708 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
3.708 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
3.708 * [taylor]: Taking taylor expansion of 3.0 in x
3.708 * [backup-simplify]: Simplify 3.0 into 3.0
3.708 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.708 * [taylor]: Taking taylor expansion of x in x
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify 1 into 1
3.708 * [backup-simplify]: Simplify (* 1 1) into 1
3.709 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
3.709 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
3.709 * [taylor]: Taking taylor expansion of 3.0 in x
3.709 * [backup-simplify]: Simplify 3.0 into 3.0
3.709 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.709 * [taylor]: Taking taylor expansion of x in x
3.709 * [backup-simplify]: Simplify 0 into 0
3.709 * [backup-simplify]: Simplify 1 into 1
3.709 * [backup-simplify]: Simplify (* 1 1) into 1
3.710 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
3.710 * [backup-simplify]: Simplify 3.0 into 3.0
3.710 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
3.711 * [backup-simplify]: Simplify 0 into 0
3.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.713 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.713 * [backup-simplify]: Simplify 0 into 0
3.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.716 * [backup-simplify]: Simplify 0 into 0
3.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.718 * [backup-simplify]: Simplify 0 into 0
3.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.720 * [backup-simplify]: Simplify 0 into 0
3.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.723 * [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
3.723 * [backup-simplify]: Simplify 0 into 0
3.723 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
3.723 * * * * [progress]: [ 2 / 3 ] generating series at (2)
3.723 * [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)))
3.724 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in (x) around 0
3.724 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
3.724 * [taylor]: Taking taylor expansion of 3.0 in x
3.724 * [backup-simplify]: Simplify 3.0 into 3.0
3.724 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
3.724 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
3.724 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
3.724 * [taylor]: Taking taylor expansion of 3.0 in x
3.724 * [backup-simplify]: Simplify 3.0 into 3.0
3.724 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.724 * [taylor]: Taking taylor expansion of x in x
3.724 * [backup-simplify]: Simplify 0 into 0
3.724 * [backup-simplify]: Simplify 1 into 1
3.724 * [taylor]: Taking taylor expansion of 1.0 in x
3.724 * [backup-simplify]: Simplify 1.0 into 1.0
3.724 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
3.724 * [taylor]: Taking taylor expansion of 4.0 in x
3.724 * [backup-simplify]: Simplify 4.0 into 4.0
3.724 * [taylor]: Taking taylor expansion of x in x
3.724 * [backup-simplify]: Simplify 0 into 0
3.724 * [backup-simplify]: Simplify 1 into 1
3.724 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
3.724 * [taylor]: Taking taylor expansion of 3.0 in x
3.724 * [backup-simplify]: Simplify 3.0 into 3.0
3.724 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
3.724 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
3.724 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
3.724 * [taylor]: Taking taylor expansion of 3.0 in x
3.724 * [backup-simplify]: Simplify 3.0 into 3.0
3.724 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.724 * [taylor]: Taking taylor expansion of x in x
3.724 * [backup-simplify]: Simplify 0 into 0
3.725 * [backup-simplify]: Simplify 1 into 1
3.725 * [taylor]: Taking taylor expansion of 1.0 in x
3.725 * [backup-simplify]: Simplify 1.0 into 1.0
3.725 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
3.725 * [taylor]: Taking taylor expansion of 4.0 in x
3.725 * [backup-simplify]: Simplify 4.0 into 4.0
3.725 * [taylor]: Taking taylor expansion of x in x
3.725 * [backup-simplify]: Simplify 0 into 0
3.725 * [backup-simplify]: Simplify 1 into 1
3.725 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.726 * [backup-simplify]: Simplify (* 4.0 0) into 0
3.726 * [backup-simplify]: Simplify (- 0) into 0
3.726 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.727 * [backup-simplify]: Simplify (* 3.0 1.0) into 3.0
3.727 * [backup-simplify]: Simplify 3.0 into 3.0
3.727 * [backup-simplify]: Simplify (+ 0 0) into 0
3.729 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
3.729 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.730 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
3.732 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 1.0)) into (- 12.0)
3.733 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
3.733 * [backup-simplify]: Simplify (* 1 1) into 1
3.733 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.734 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.735 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
3.735 * [backup-simplify]: Simplify (- 0) into 0
3.736 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.738 * [backup-simplify]: Simplify (+ (* 3.0 3.0) (+ (* 0 (- 4.0)) (* 0 1.0))) into 9.0
3.738 * [backup-simplify]: Simplify 9.0 into 9.0
3.739 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (+ (* (- 12.0) x) 3.0)) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
3.739 * [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))))
3.739 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in (x) around 0
3.739 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in x
3.739 * [taylor]: Taking taylor expansion of 3.0 in x
3.739 * [backup-simplify]: Simplify 3.0 into 3.0
3.739 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
3.739 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
3.739 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.739 * [taylor]: Taking taylor expansion of 3.0 in x
3.739 * [backup-simplify]: Simplify 3.0 into 3.0
3.739 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.739 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.740 * [taylor]: Taking taylor expansion of x in x
3.740 * [backup-simplify]: Simplify 0 into 0
3.740 * [backup-simplify]: Simplify 1 into 1
3.740 * [backup-simplify]: Simplify (* 1 1) into 1
3.740 * [backup-simplify]: Simplify (/ 1 1) into 1
3.740 * [taylor]: Taking taylor expansion of 1.0 in x
3.740 * [backup-simplify]: Simplify 1.0 into 1.0
3.740 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.740 * [taylor]: Taking taylor expansion of 4.0 in x
3.740 * [backup-simplify]: Simplify 4.0 into 4.0
3.740 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.740 * [taylor]: Taking taylor expansion of x in x
3.741 * [backup-simplify]: Simplify 0 into 0
3.741 * [backup-simplify]: Simplify 1 into 1
3.741 * [backup-simplify]: Simplify (/ 1 1) into 1
3.741 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in x
3.741 * [taylor]: Taking taylor expansion of 3.0 in x
3.741 * [backup-simplify]: Simplify 3.0 into 3.0
3.741 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
3.741 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
3.741 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.741 * [taylor]: Taking taylor expansion of 3.0 in x
3.741 * [backup-simplify]: Simplify 3.0 into 3.0
3.741 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.741 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.741 * [taylor]: Taking taylor expansion of x in x
3.741 * [backup-simplify]: Simplify 0 into 0
3.741 * [backup-simplify]: Simplify 1 into 1
3.742 * [backup-simplify]: Simplify (* 1 1) into 1
3.742 * [backup-simplify]: Simplify (/ 1 1) into 1
3.742 * [taylor]: Taking taylor expansion of 1.0 in x
3.742 * [backup-simplify]: Simplify 1.0 into 1.0
3.742 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.742 * [taylor]: Taking taylor expansion of 4.0 in x
3.742 * [backup-simplify]: Simplify 4.0 into 4.0
3.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.742 * [taylor]: Taking taylor expansion of x in x
3.742 * [backup-simplify]: Simplify 0 into 0
3.742 * [backup-simplify]: Simplify 1 into 1
3.743 * [backup-simplify]: Simplify (/ 1 1) into 1
3.743 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.744 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.744 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.744 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
3.744 * [backup-simplify]: Simplify 9.0 into 9.0
3.745 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.746 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.746 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
3.747 * [backup-simplify]: Simplify (+ 0 0) into 0
3.748 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
3.748 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.749 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
3.751 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 3.0)) into (- 12.0)
3.751 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
3.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.753 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.754 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
3.755 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.756 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
3.756 * [backup-simplify]: Simplify (- 0) into 0
3.757 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.759 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 (- 4.0)) (* 0 3.0))) into 3.0
3.759 * [backup-simplify]: Simplify 3.0 into 3.0
3.760 * [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))
3.760 * [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)))
3.760 * [approximate]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in (x) around 0
3.761 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
3.761 * [taylor]: Taking taylor expansion of 3.0 in x
3.761 * [backup-simplify]: Simplify 3.0 into 3.0
3.761 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
3.761 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.761 * [taylor]: Taking taylor expansion of 3.0 in x
3.761 * [backup-simplify]: Simplify 3.0 into 3.0
3.761 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.761 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.761 * [taylor]: Taking taylor expansion of x in x
3.761 * [backup-simplify]: Simplify 0 into 0
3.761 * [backup-simplify]: Simplify 1 into 1
3.761 * [backup-simplify]: Simplify (* 1 1) into 1
3.762 * [backup-simplify]: Simplify (/ 1 1) into 1
3.762 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
3.762 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.762 * [taylor]: Taking taylor expansion of 4.0 in x
3.762 * [backup-simplify]: Simplify 4.0 into 4.0
3.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.762 * [taylor]: Taking taylor expansion of x in x
3.762 * [backup-simplify]: Simplify 0 into 0
3.762 * [backup-simplify]: Simplify 1 into 1
3.763 * [backup-simplify]: Simplify (/ 1 1) into 1
3.763 * [taylor]: Taking taylor expansion of 1.0 in x
3.763 * [backup-simplify]: Simplify 1.0 into 1.0
3.763 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
3.763 * [taylor]: Taking taylor expansion of 3.0 in x
3.763 * [backup-simplify]: Simplify 3.0 into 3.0
3.763 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
3.763 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.763 * [taylor]: Taking taylor expansion of 3.0 in x
3.763 * [backup-simplify]: Simplify 3.0 into 3.0
3.763 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.763 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.763 * [taylor]: Taking taylor expansion of x in x
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 1 into 1
3.763 * [backup-simplify]: Simplify (* 1 1) into 1
3.764 * [backup-simplify]: Simplify (/ 1 1) into 1
3.764 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
3.764 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.764 * [taylor]: Taking taylor expansion of 4.0 in x
3.764 * [backup-simplify]: Simplify 4.0 into 4.0
3.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.764 * [taylor]: Taking taylor expansion of x in x
3.764 * [backup-simplify]: Simplify 0 into 0
3.764 * [backup-simplify]: Simplify 1 into 1
3.764 * [backup-simplify]: Simplify (/ 1 1) into 1
3.764 * [taylor]: Taking taylor expansion of 1.0 in x
3.764 * [backup-simplify]: Simplify 1.0 into 1.0
3.765 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.765 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.766 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
3.766 * [backup-simplify]: Simplify 9.0 into 9.0
3.766 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.768 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
3.768 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
3.769 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
3.769 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
3.770 * [backup-simplify]: Simplify (+ (* 3.0 4.0) (* 0 3.0)) into 12.0
3.770 * [backup-simplify]: Simplify 12.0 into 12.0
3.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.773 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
3.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.775 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
3.775 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.778 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.780 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 4.0) (* 0 3.0))) into 3.0
3.780 * [backup-simplify]: Simplify 3.0 into 3.0
3.780 * [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))
3.781 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
3.781 * [backup-simplify]: Simplify (- (* (* x 3.0) x) (* x 4.0)) into (- (* 3.0 (pow x 2)) (* 4.0 x))
3.781 * [approximate]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in (x) around 0
3.781 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in x
3.781 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
3.781 * [taylor]: Taking taylor expansion of 3.0 in x
3.781 * [backup-simplify]: Simplify 3.0 into 3.0
3.781 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.781 * [taylor]: Taking taylor expansion of x in x
3.781 * [backup-simplify]: Simplify 0 into 0
3.781 * [backup-simplify]: Simplify 1 into 1
3.781 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
3.781 * [taylor]: Taking taylor expansion of 4.0 in x
3.781 * [backup-simplify]: Simplify 4.0 into 4.0
3.781 * [taylor]: Taking taylor expansion of x in x
3.781 * [backup-simplify]: Simplify 0 into 0
3.781 * [backup-simplify]: Simplify 1 into 1
3.781 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in x
3.781 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
3.781 * [taylor]: Taking taylor expansion of 3.0 in x
3.781 * [backup-simplify]: Simplify 3.0 into 3.0
3.781 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.781 * [taylor]: Taking taylor expansion of x in x
3.781 * [backup-simplify]: Simplify 0 into 0
3.781 * [backup-simplify]: Simplify 1 into 1
3.781 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
3.781 * [taylor]: Taking taylor expansion of 4.0 in x
3.782 * [backup-simplify]: Simplify 4.0 into 4.0
3.782 * [taylor]: Taking taylor expansion of x in x
3.782 * [backup-simplify]: Simplify 0 into 0
3.782 * [backup-simplify]: Simplify 1 into 1
3.782 * [backup-simplify]: Simplify (* 4.0 0) into 0
3.782 * [backup-simplify]: Simplify (- 0) into 0
3.783 * [backup-simplify]: Simplify (+ 0 0) into 0
3.783 * [backup-simplify]: Simplify 0 into 0
3.784 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
3.785 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.786 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
3.786 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.786 * [backup-simplify]: Simplify (* 1 1) into 1
3.787 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.788 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
3.788 * [backup-simplify]: Simplify (- 0) into 0
3.789 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.789 * [backup-simplify]: Simplify 3.0 into 3.0
3.789 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.790 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
3.791 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.792 * [backup-simplify]: Simplify (- 0) into 0
3.792 * [backup-simplify]: Simplify (+ 0 0) into 0
3.792 * [backup-simplify]: Simplify 0 into 0
3.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.794 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
3.795 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.796 * [backup-simplify]: Simplify (- 0) into 0
3.796 * [backup-simplify]: Simplify (+ 0 0) into 0
3.796 * [backup-simplify]: Simplify 0 into 0
3.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.798 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.800 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
3.800 * [backup-simplify]: Simplify (- 0) into 0
3.800 * [backup-simplify]: Simplify (+ 0 0) into 0
3.801 * [backup-simplify]: Simplify 0 into 0
3.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.803 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.805 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
3.806 * [backup-simplify]: Simplify (- 0) into 0
3.806 * [backup-simplify]: Simplify (+ 0 0) into 0
3.806 * [backup-simplify]: Simplify 0 into 0
3.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.809 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.811 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
3.811 * [backup-simplify]: Simplify (- 0) into 0
3.812 * [backup-simplify]: Simplify (+ 0 0) into 0
3.812 * [backup-simplify]: Simplify 0 into 0
3.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.815 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.817 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
3.817 * [backup-simplify]: Simplify (- 0) into 0
3.818 * [backup-simplify]: Simplify (+ 0 0) into 0
3.818 * [backup-simplify]: Simplify 0 into 0
3.818 * [backup-simplify]: Simplify (+ (* 3.0 (pow x 2)) (* (- 4.0) x)) into (- (* 3.0 (pow x 2)) (* 4.0 x))
3.819 * [backup-simplify]: Simplify (- (* (* (/ 1 x) 3.0) (/ 1 x)) (* (/ 1 x) 4.0)) into (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))
3.819 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in (x) around 0
3.819 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
3.819 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.819 * [taylor]: Taking taylor expansion of 3.0 in x
3.819 * [backup-simplify]: Simplify 3.0 into 3.0
3.819 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.819 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.819 * [taylor]: Taking taylor expansion of x in x
3.819 * [backup-simplify]: Simplify 0 into 0
3.819 * [backup-simplify]: Simplify 1 into 1
3.819 * [backup-simplify]: Simplify (* 1 1) into 1
3.820 * [backup-simplify]: Simplify (/ 1 1) into 1
3.820 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.820 * [taylor]: Taking taylor expansion of 4.0 in x
3.820 * [backup-simplify]: Simplify 4.0 into 4.0
3.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.820 * [taylor]: Taking taylor expansion of x in x
3.820 * [backup-simplify]: Simplify 0 into 0
3.820 * [backup-simplify]: Simplify 1 into 1
3.820 * [backup-simplify]: Simplify (/ 1 1) into 1
3.820 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
3.820 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.820 * [taylor]: Taking taylor expansion of 3.0 in x
3.820 * [backup-simplify]: Simplify 3.0 into 3.0
3.821 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.821 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.821 * [taylor]: Taking taylor expansion of x in x
3.821 * [backup-simplify]: Simplify 0 into 0
3.821 * [backup-simplify]: Simplify 1 into 1
3.821 * [backup-simplify]: Simplify (* 1 1) into 1
3.821 * [backup-simplify]: Simplify (/ 1 1) into 1
3.821 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.821 * [taylor]: Taking taylor expansion of 4.0 in x
3.821 * [backup-simplify]: Simplify 4.0 into 4.0
3.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.822 * [taylor]: Taking taylor expansion of x in x
3.822 * [backup-simplify]: Simplify 0 into 0
3.822 * [backup-simplify]: Simplify 1 into 1
3.822 * [backup-simplify]: Simplify (/ 1 1) into 1
3.822 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.823 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.823 * [backup-simplify]: Simplify 3.0 into 3.0
3.824 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.825 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
3.826 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
3.826 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.827 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
3.827 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.830 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
3.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.831 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
3.832 * [backup-simplify]: Simplify (- 0) into 0
3.832 * [backup-simplify]: Simplify (+ 0 0) into 0
3.832 * [backup-simplify]: Simplify 0 into 0
3.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.835 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.837 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
3.838 * [backup-simplify]: Simplify (- 0) into 0
3.838 * [backup-simplify]: Simplify (+ 0 0) into 0
3.838 * [backup-simplify]: Simplify 0 into 0
3.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.840 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.841 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.841 * [backup-simplify]: Simplify (- 0) into 0
3.841 * [backup-simplify]: Simplify (+ 0 0) into 0
3.841 * [backup-simplify]: Simplify 0 into 0
3.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.844 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.845 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.845 * [backup-simplify]: Simplify (- 0) into 0
3.846 * [backup-simplify]: Simplify (+ 0 0) into 0
3.846 * [backup-simplify]: Simplify 0 into 0
3.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.848 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.849 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.850 * [backup-simplify]: Simplify (- 0) into 0
3.850 * [backup-simplify]: Simplify (+ 0 0) into 0
3.850 * [backup-simplify]: Simplify 0 into 0
3.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.851 * [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
3.852 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.854 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.854 * [backup-simplify]: Simplify (- 0) into 0
3.854 * [backup-simplify]: Simplify (+ 0 0) into 0
3.854 * [backup-simplify]: Simplify 0 into 0
3.855 * [backup-simplify]: Simplify (+ (* (- 4.0) (/ 1 (/ 1 x))) (* 3.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x))
3.855 * [backup-simplify]: Simplify (- (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) (* (/ 1 (- x)) 4.0)) into (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))
3.855 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in (x) around 0
3.855 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
3.855 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.855 * [taylor]: Taking taylor expansion of 3.0 in x
3.855 * [backup-simplify]: Simplify 3.0 into 3.0
3.855 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.855 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.855 * [taylor]: Taking taylor expansion of x in x
3.855 * [backup-simplify]: Simplify 0 into 0
3.855 * [backup-simplify]: Simplify 1 into 1
3.855 * [backup-simplify]: Simplify (* 1 1) into 1
3.855 * [backup-simplify]: Simplify (/ 1 1) into 1
3.855 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.855 * [taylor]: Taking taylor expansion of 4.0 in x
3.855 * [backup-simplify]: Simplify 4.0 into 4.0
3.855 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.855 * [taylor]: Taking taylor expansion of x in x
3.856 * [backup-simplify]: Simplify 0 into 0
3.856 * [backup-simplify]: Simplify 1 into 1
3.856 * [backup-simplify]: Simplify (/ 1 1) into 1
3.856 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
3.856 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.856 * [taylor]: Taking taylor expansion of 3.0 in x
3.856 * [backup-simplify]: Simplify 3.0 into 3.0
3.856 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.856 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.856 * [taylor]: Taking taylor expansion of x in x
3.856 * [backup-simplify]: Simplify 0 into 0
3.856 * [backup-simplify]: Simplify 1 into 1
3.856 * [backup-simplify]: Simplify (* 1 1) into 1
3.856 * [backup-simplify]: Simplify (/ 1 1) into 1
3.856 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.856 * [taylor]: Taking taylor expansion of 4.0 in x
3.856 * [backup-simplify]: Simplify 4.0 into 4.0
3.856 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.856 * [taylor]: Taking taylor expansion of x in x
3.856 * [backup-simplify]: Simplify 0 into 0
3.856 * [backup-simplify]: Simplify 1 into 1
3.857 * [backup-simplify]: Simplify (/ 1 1) into 1
3.857 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.857 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.857 * [backup-simplify]: Simplify 3.0 into 3.0
3.858 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.859 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
3.859 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
3.859 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
3.859 * [backup-simplify]: Simplify 4.0 into 4.0
3.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.861 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
3.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.862 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
3.862 * [backup-simplify]: Simplify (+ 0 0) into 0
3.862 * [backup-simplify]: Simplify 0 into 0
3.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.863 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.864 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.865 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
3.865 * [backup-simplify]: Simplify (+ 0 0) into 0
3.865 * [backup-simplify]: Simplify 0 into 0
3.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.868 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.870 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.870 * [backup-simplify]: Simplify (+ 0 0) into 0
3.871 * [backup-simplify]: Simplify 0 into 0
3.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.874 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.876 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.877 * [backup-simplify]: Simplify (+ 0 0) into 0
3.877 * [backup-simplify]: Simplify 0 into 0
3.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.879 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.881 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.881 * [backup-simplify]: Simplify (+ 0 0) into 0
3.881 * [backup-simplify]: Simplify 0 into 0
3.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.882 * [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
3.883 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.885 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.885 * [backup-simplify]: Simplify (+ 0 0) into 0
3.885 * [backup-simplify]: Simplify 0 into 0
3.886 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 (/ 1 (- x)))) (* 3.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x))
3.886 * * * [progress]: simplifying candidates
3.887 * [simplify]: Simplifying:
  (* (* x 3.0) x)
  (* (* x 3.0) x)
  (+ (+ (log x) (log 3.0)) (log x))
  (+ (log (* x 3.0)) (log x))
  (log (* (* x 3.0) x))
  (exp (* (* x 3.0) x))
  (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* x x) x))
  (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* x x) x))
  (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x)))
  (cbrt (* (* x 3.0) x))
  (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (* (* x 3.0) (* (cbrt x) (cbrt x)))
  (* (* x 3.0) (sqrt x))
  (* (* x 3.0) 1)
  (* 3.0 x)
  (* 3.0 (+ (- (* (* 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)))
  (/ (exp (* (* x 3.0) x)) (exp (* x 4.0)))
  (log (- (* (* x 3.0) x) (* x 4.0)))
  (exp (- (* (* x 3.0) x) (* x 4.0)))
  (* (cbrt (- (* (* x 3.0) x) (* x 4.0))) (cbrt (- (* (* x 3.0) x) (* x 4.0))))
  (cbrt (- (* (* x 3.0) x) (* x 4.0)))
  (* (* (- (* (* x 3.0) x) (* x 4.0)) (- (* (* x 3.0) x) (* x 4.0))) (- (* (* x 3.0) x) (* x 4.0)))
  (sqrt (- (* (* x 3.0) x) (* x 4.0)))
  (sqrt (- (* (* x 3.0) x) (* x 4.0)))
  (- (pow (* (* x 3.0) x) 3) (pow (* x 4.0) 3))
  (+ (* (* (* x 3.0) x) (* (* x 3.0) x)) (+ (* (* x 4.0) (* x 4.0)) (* (* (* x 3.0) x) (* x 4.0))))
  (- (* x 4.0))
  (- (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 4.0) (* x 4.0)))
  (+ (* (* x 3.0) x) (* x 4.0))
  (- (* x 4.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))
  (- (* 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.888 * * [simplify]: iteration 0: 105 enodes
3.921 * * [simplify]: iteration 1: 302 enodes
4.085 * * [simplify]: iteration 2: 1124 enodes
4.603 * * [simplify]: iteration complete: 5001 enodes
4.603 * * [simplify]: Extracting #0: cost 44 inf + 0
4.604 * * [simplify]: Extracting #1: cost 634 inf + 1
4.612 * * [simplify]: Extracting #2: cost 1786 inf + 4727
4.642 * * [simplify]: Extracting #3: cost 1907 inf + 83531
4.734 * * [simplify]: Extracting #4: cost 600 inf + 389673
4.875 * * [simplify]: Extracting #5: cost 25 inf + 569326
5.027 * * [simplify]: Extracting #6: cost 0 inf + 576931
5.184 * [simplify]: Simplified to:
  (* (* x 3.0) x)
  (* (* x 3.0) x)
  (log (* (* x 3.0) x))
  (log (* (* x 3.0) x))
  (log (* (* x 3.0) x))
  (exp (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* (* x 3.0) x) (* (* x 3.0) x)))
  (* (* (* x 3.0) x) (* (* (* x 3.0) x) (* (* x 3.0) x)))
  (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x)))
  (cbrt (* (* x 3.0) x))
  (* (* (* x 3.0) x) (* (* (* x 3.0) x) (* (* x 3.0) x)))
  (sqrt (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (* (* (* x 3.0) (cbrt x)) (cbrt x))
  (* (* x 3.0) (sqrt x))
  (* x 3.0)
  (* x 3.0)
  (* 3.0 (+ (* x (- (* x 3.0) 4.0)) 1.0))
  (log (* 3.0 (+ (* x (- (* x 3.0) 4.0)) 1.0)))
  (log (* 3.0 (+ (* x (- (* x 3.0) 4.0)) 1.0)))
  (exp (* 3.0 (+ (* x (- (* x 3.0) 4.0)) 1.0)))
  (* 3.0 (* (* (* 3.0 (+ (* x (- (* x 3.0) 4.0)) 1.0)) (* 3.0 (+ (* x (- (* x 3.0) 4.0)) 1.0))) (+ (* x (- (* x 3.0) 4.0)) 1.0)))
  (* (cbrt (* 3.0 (+ (* x (- (* x 3.0) 4.0)) 1.0))) (cbrt (* 3.0 (+ (* x (- (* x 3.0) 4.0)) 1.0))))
  (cbrt (* 3.0 (+ (* x (- (* x 3.0) 4.0)) 1.0)))
  (* (* 3.0 (+ (* x (- (* x 3.0) 4.0)) 1.0)) (* (* 3.0 (+ (* x (- (* x 3.0) 4.0)) 1.0)) (* 3.0 (+ (* x (- (* x 3.0) 4.0)) 1.0))))
  (sqrt (* 3.0 (+ (* x (- (* x 3.0) 4.0)) 1.0)))
  (sqrt (* 3.0 (+ (* x (- (* x 3.0) 4.0)) 1.0)))
  (* (sqrt (+ (* x (- (* x 3.0) 4.0)) 1.0)) (sqrt 3.0))
  (* (sqrt (+ (* x (- (* x 3.0) 4.0)) 1.0)) (sqrt 3.0))
  (* (* x (- (* x 3.0) 4.0)) 3.0)
  (* 1.0 3.0)
  (* 3.0 (* x (- (* x 3.0) 4.0)))
  (* 3.0 1.0)
  (* (* (cbrt (+ (* x (- (* x 3.0) 4.0)) 1.0)) 3.0) (cbrt (+ (* x (- (* x 3.0) 4.0)) 1.0)))
  (* (sqrt (+ (* x (- (* x 3.0) 4.0)) 1.0)) 3.0)
  3.0
  3.0
  (* (+ (* x (- (* x 3.0) 4.0)) 1.0) (cbrt 3.0))
  (* (+ (* x (- (* x 3.0) 4.0)) 1.0) (sqrt 3.0))
  (* 3.0 (+ (* x (- (* x 3.0) 4.0)) 1.0))
  (* (+ (* 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)) 1.0) (* (- (* x (- (* x 3.0) 4.0)) 1.0) 3.0))
  (exp (* x (- (* x 3.0) 4.0)))
  (log (* x (- (* x 3.0) 4.0)))
  (exp (* 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)))
  (- (* (* (* x 3.0) x) (* (* (* x 3.0) x) (* (* x 3.0) x))) (* (* x 4.0) (* (* x 4.0) (* x 4.0))))
  (+ (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 4.0) (* x (+ (* x 3.0) 4.0))))
  (- (* x 4.0))
  (* (* x (- (* x 3.0) 4.0)) (* x (+ (* x 3.0) 4.0)))
  (* x (+ (* x 3.0) 4.0))
  (- (* x 4.0))
  (* (* 3.0 x) x)
  (* (* 3.0 x) x)
  (* (* 3.0 x) x)
  (+ 3.0 (* x (- (* 9.0 x) 12.0)))
  (+ 3.0 (* x (- (* 9.0 x) 12.0)))
  (+ 3.0 (* x (- (* 9.0 x) 12.0)))
  (* x (- (* x 3.0) 4.0))
  (* x (- (* x 3.0) 4.0))
  (* x (- (* x 3.0) 4.0))
5.187 * * * [progress]: adding candidates to table
5.420 * * [progress]: iteration 2 / 4
5.420 * * * [progress]: picking best candidate
5.454 * * * * [pick]: Picked  #<alt (λ (x) (+ 3.0 (* x (- (* 9.0 x) 12.0))))>
5.454 * * * [progress]: localizing error
5.473 * * * [progress]: generating rewritten candidates
5.473 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
5.516 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
5.523 * * * [progress]: generating series expansions
5.523 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
5.523 * [backup-simplify]: Simplify (* x (- (* 9.0 x) 12.0)) into (* x (- (* 9.0 x) 12.0))
5.523 * [approximate]: Taking taylor expansion of (* x (- (* 9.0 x) 12.0)) in (x) around 0
5.523 * [taylor]: Taking taylor expansion of (* x (- (* 9.0 x) 12.0)) in x
5.523 * [taylor]: Taking taylor expansion of x in x
5.523 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify 1 into 1
5.523 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
5.523 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
5.523 * [taylor]: Taking taylor expansion of 9.0 in x
5.523 * [backup-simplify]: Simplify 9.0 into 9.0
5.523 * [taylor]: Taking taylor expansion of x in x
5.523 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify 1 into 1
5.523 * [taylor]: Taking taylor expansion of 12.0 in x
5.523 * [backup-simplify]: Simplify 12.0 into 12.0
5.523 * [taylor]: Taking taylor expansion of (* x (- (* 9.0 x) 12.0)) in x
5.523 * [taylor]: Taking taylor expansion of x in x
5.523 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify 1 into 1
5.523 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
5.523 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
5.523 * [taylor]: Taking taylor expansion of 9.0 in x
5.523 * [backup-simplify]: Simplify 9.0 into 9.0
5.523 * [taylor]: Taking taylor expansion of x in x
5.523 * [backup-simplify]: Simplify 0 into 0
5.523 * [backup-simplify]: Simplify 1 into 1
5.524 * [taylor]: Taking taylor expansion of 12.0 in x
5.524 * [backup-simplify]: Simplify 12.0 into 12.0
5.524 * [backup-simplify]: Simplify (* 9.0 0) into 0
5.524 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.525 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
5.525 * [backup-simplify]: Simplify (* 0 (- 12.0)) into 0
5.525 * [backup-simplify]: Simplify 0 into 0
5.526 * [backup-simplify]: Simplify (+ (* 9.0 1) (* 0 0)) into 9.0
5.526 * [backup-simplify]: Simplify (- 0) into 0
5.527 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.528 * [backup-simplify]: Simplify (+ (* 0 9.0) (* 1 (- 12.0))) into (- 12.0)
5.528 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.529 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 1) (* 0 0))) into 0
5.529 * [backup-simplify]: Simplify (- 0) into 0
5.529 * [backup-simplify]: Simplify (+ 0 0) into 0
5.531 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 9.0) (* 0 (- 12.0)))) into 9.0
5.531 * [backup-simplify]: Simplify 9.0 into 9.0
5.532 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.532 * [backup-simplify]: Simplify (- 0) into 0
5.532 * [backup-simplify]: Simplify (+ 0 0) into 0
5.533 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 9.0) (* 0 (- 12.0))))) into 0
5.533 * [backup-simplify]: Simplify 0 into 0
5.534 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.534 * [backup-simplify]: Simplify (- 0) into 0
5.534 * [backup-simplify]: Simplify (+ 0 0) into 0
5.535 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 9.0) (* 0 (- 12.0)))))) into 0
5.535 * [backup-simplify]: Simplify 0 into 0
5.536 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.536 * [backup-simplify]: Simplify (- 0) into 0
5.536 * [backup-simplify]: Simplify (+ 0 0) into 0
5.537 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 9.0) (* 0 (- 12.0))))))) into 0
5.537 * [backup-simplify]: Simplify 0 into 0
5.538 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.539 * [backup-simplify]: Simplify (- 0) into 0
5.539 * [backup-simplify]: Simplify (+ 0 0) into 0
5.540 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 9.0) (* 0 (- 12.0)))))))) into 0
5.540 * [backup-simplify]: Simplify 0 into 0
5.541 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.541 * [backup-simplify]: Simplify (- 0) into 0
5.541 * [backup-simplify]: Simplify (+ 0 0) into 0
5.543 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 9.0) (* 0 (- 12.0))))))))) into 0
5.543 * [backup-simplify]: Simplify 0 into 0
5.544 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
5.544 * [backup-simplify]: Simplify (- 0) into 0
5.544 * [backup-simplify]: Simplify (+ 0 0) into 0
5.546 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 9.0) (* 0 (- 12.0)))))))))) into 0
5.546 * [backup-simplify]: Simplify 0 into 0
5.547 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (* (- 12.0) x)) into (- (* 9.0 (pow x 2)) (* 12.0 x))
5.547 * [backup-simplify]: Simplify (* (/ 1 x) (- (* 9.0 (/ 1 x)) 12.0)) into (/ (- (* 9.0 (/ 1 x)) 12.0) x)
5.547 * [approximate]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in (x) around 0
5.547 * [taylor]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in x
5.547 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
5.547 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.547 * [taylor]: Taking taylor expansion of 9.0 in x
5.547 * [backup-simplify]: Simplify 9.0 into 9.0
5.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.547 * [taylor]: Taking taylor expansion of x in x
5.547 * [backup-simplify]: Simplify 0 into 0
5.547 * [backup-simplify]: Simplify 1 into 1
5.548 * [backup-simplify]: Simplify (/ 1 1) into 1
5.548 * [taylor]: Taking taylor expansion of 12.0 in x
5.548 * [backup-simplify]: Simplify 12.0 into 12.0
5.548 * [taylor]: Taking taylor expansion of x in x
5.548 * [backup-simplify]: Simplify 0 into 0
5.548 * [backup-simplify]: Simplify 1 into 1
5.548 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.549 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.549 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
5.549 * [taylor]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in x
5.549 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
5.549 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.549 * [taylor]: Taking taylor expansion of 9.0 in x
5.549 * [backup-simplify]: Simplify 9.0 into 9.0
5.550 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.550 * [taylor]: Taking taylor expansion of x in x
5.550 * [backup-simplify]: Simplify 0 into 0
5.550 * [backup-simplify]: Simplify 1 into 1
5.550 * [backup-simplify]: Simplify (/ 1 1) into 1
5.550 * [taylor]: Taking taylor expansion of 12.0 in x
5.550 * [backup-simplify]: Simplify 12.0 into 12.0
5.550 * [taylor]: Taking taylor expansion of x in x
5.550 * [backup-simplify]: Simplify 0 into 0
5.550 * [backup-simplify]: Simplify 1 into 1
5.551 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.551 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.551 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
5.552 * [backup-simplify]: Simplify 9.0 into 9.0
5.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.553 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
5.553 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.554 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
5.556 * [backup-simplify]: Simplify (- (/ (- 12.0) 1) (+ (* 9.0 (/ 0 1)))) into (- 12.0)
5.556 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.557 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
5.557 * [backup-simplify]: Simplify (- 0) into 0
5.557 * [backup-simplify]: Simplify (+ 0 0) into 0
5.558 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)))) into 0
5.558 * [backup-simplify]: Simplify 0 into 0
5.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.559 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.559 * [backup-simplify]: Simplify (- 0) into 0
5.560 * [backup-simplify]: Simplify (+ 0 0) into 0
5.560 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.561 * [backup-simplify]: Simplify 0 into 0
5.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.562 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.562 * [backup-simplify]: Simplify (- 0) into 0
5.562 * [backup-simplify]: Simplify (+ 0 0) into 0
5.563 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.563 * [backup-simplify]: Simplify 0 into 0
5.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.564 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.565 * [backup-simplify]: Simplify (- 0) into 0
5.565 * [backup-simplify]: Simplify (+ 0 0) into 0
5.566 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.566 * [backup-simplify]: Simplify 0 into 0
5.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.567 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.567 * [backup-simplify]: Simplify (- 0) into 0
5.568 * [backup-simplify]: Simplify (+ 0 0) into 0
5.569 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.569 * [backup-simplify]: Simplify 0 into 0
5.569 * [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
5.570 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.570 * [backup-simplify]: Simplify (- 0) into 0
5.571 * [backup-simplify]: Simplify (+ 0 0) into 0
5.571 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.571 * [backup-simplify]: Simplify 0 into 0
5.572 * [backup-simplify]: Simplify (+ (* (- 12.0) (/ 1 (/ 1 x))) (* 9.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 9.0 (pow x 2)) (* 12.0 x))
5.572 * [backup-simplify]: Simplify (* (/ 1 (- x)) (- (* 9.0 (/ 1 (- x))) 12.0)) into (/ (+ (* 9.0 (/ 1 x)) 12.0) x)
5.572 * [approximate]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 12.0) x) in (x) around 0
5.572 * [taylor]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 12.0) x) in x
5.572 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
5.572 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.572 * [taylor]: Taking taylor expansion of 9.0 in x
5.572 * [backup-simplify]: Simplify 9.0 into 9.0
5.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.572 * [taylor]: Taking taylor expansion of x in x
5.572 * [backup-simplify]: Simplify 0 into 0
5.572 * [backup-simplify]: Simplify 1 into 1
5.573 * [backup-simplify]: Simplify (/ 1 1) into 1
5.573 * [taylor]: Taking taylor expansion of 12.0 in x
5.573 * [backup-simplify]: Simplify 12.0 into 12.0
5.573 * [taylor]: Taking taylor expansion of x in x
5.573 * [backup-simplify]: Simplify 0 into 0
5.573 * [backup-simplify]: Simplify 1 into 1
5.573 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.573 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.573 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
5.573 * [taylor]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 12.0) x) in x
5.574 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
5.574 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.574 * [taylor]: Taking taylor expansion of 9.0 in x
5.574 * [backup-simplify]: Simplify 9.0 into 9.0
5.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.574 * [taylor]: Taking taylor expansion of x in x
5.574 * [backup-simplify]: Simplify 0 into 0
5.574 * [backup-simplify]: Simplify 1 into 1
5.574 * [backup-simplify]: Simplify (/ 1 1) into 1
5.574 * [taylor]: Taking taylor expansion of 12.0 in x
5.574 * [backup-simplify]: Simplify 12.0 into 12.0
5.574 * [taylor]: Taking taylor expansion of x in x
5.574 * [backup-simplify]: Simplify 0 into 0
5.574 * [backup-simplify]: Simplify 1 into 1
5.574 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.574 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.575 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
5.575 * [backup-simplify]: Simplify 9.0 into 9.0
5.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.576 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
5.576 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
5.578 * [backup-simplify]: Simplify (- (/ 12.0 1) (+ (* 9.0 (/ 0 1)))) into 12.0
5.578 * [backup-simplify]: Simplify 12.0 into 12.0
5.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.579 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
5.579 * [backup-simplify]: Simplify (+ 0 0) into 0
5.580 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)))) into 0
5.580 * [backup-simplify]: Simplify 0 into 0
5.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.581 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.581 * [backup-simplify]: Simplify (+ 0 0) into 0
5.582 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.582 * [backup-simplify]: Simplify 0 into 0
5.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.583 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.583 * [backup-simplify]: Simplify (+ 0 0) into 0
5.584 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.584 * [backup-simplify]: Simplify 0 into 0
5.584 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.585 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.586 * [backup-simplify]: Simplify (+ 0 0) into 0
5.587 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.587 * [backup-simplify]: Simplify 0 into 0
5.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.590 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.590 * [backup-simplify]: Simplify (+ 0 0) into 0
5.592 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.592 * [backup-simplify]: Simplify 0 into 0
5.595 * [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
5.597 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.597 * [backup-simplify]: Simplify (+ 0 0) into 0
5.599 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.599 * [backup-simplify]: Simplify 0 into 0
5.599 * [backup-simplify]: Simplify (+ (* 12.0 (/ 1 (/ 1 (- x)))) (* 9.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 9.0 (pow x 2)) (* 12.0 x))
5.599 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
5.600 * [backup-simplify]: Simplify (- (* 9.0 x) 12.0) into (- (* 9.0 x) 12.0)
5.600 * [approximate]: Taking taylor expansion of (- (* 9.0 x) 12.0) in (x) around 0
5.600 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
5.600 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
5.600 * [taylor]: Taking taylor expansion of 9.0 in x
5.600 * [backup-simplify]: Simplify 9.0 into 9.0
5.600 * [taylor]: Taking taylor expansion of x in x
5.600 * [backup-simplify]: Simplify 0 into 0
5.600 * [backup-simplify]: Simplify 1 into 1
5.600 * [taylor]: Taking taylor expansion of 12.0 in x
5.600 * [backup-simplify]: Simplify 12.0 into 12.0
5.600 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
5.600 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
5.600 * [taylor]: Taking taylor expansion of 9.0 in x
5.600 * [backup-simplify]: Simplify 9.0 into 9.0
5.600 * [taylor]: Taking taylor expansion of x in x
5.600 * [backup-simplify]: Simplify 0 into 0
5.600 * [backup-simplify]: Simplify 1 into 1
5.600 * [taylor]: Taking taylor expansion of 12.0 in x
5.600 * [backup-simplify]: Simplify 12.0 into 12.0
5.601 * [backup-simplify]: Simplify (* 9.0 0) into 0
5.601 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.602 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
5.602 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.604 * [backup-simplify]: Simplify (+ (* 9.0 1) (* 0 0)) into 9.0
5.604 * [backup-simplify]: Simplify (- 0) into 0
5.605 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.605 * [backup-simplify]: Simplify 9.0 into 9.0
5.606 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 1) (* 0 0))) into 0
5.606 * [backup-simplify]: Simplify (- 0) into 0
5.606 * [backup-simplify]: Simplify (+ 0 0) into 0
5.606 * [backup-simplify]: Simplify 0 into 0
5.607 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.607 * [backup-simplify]: Simplify (- 0) into 0
5.607 * [backup-simplify]: Simplify (+ 0 0) into 0
5.607 * [backup-simplify]: Simplify 0 into 0
5.608 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.608 * [backup-simplify]: Simplify (- 0) into 0
5.608 * [backup-simplify]: Simplify (+ 0 0) into 0
5.608 * [backup-simplify]: Simplify 0 into 0
5.609 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.609 * [backup-simplify]: Simplify (- 0) into 0
5.610 * [backup-simplify]: Simplify (+ 0 0) into 0
5.610 * [backup-simplify]: Simplify 0 into 0
5.611 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.611 * [backup-simplify]: Simplify (- 0) into 0
5.611 * [backup-simplify]: Simplify (+ 0 0) into 0
5.611 * [backup-simplify]: Simplify 0 into 0
5.612 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.612 * [backup-simplify]: Simplify (- 0) into 0
5.613 * [backup-simplify]: Simplify (+ 0 0) into 0
5.613 * [backup-simplify]: Simplify 0 into 0
5.613 * [backup-simplify]: Simplify (+ (* 9.0 x) (- 12.0)) into (- (* 9.0 x) 12.0)
5.613 * [backup-simplify]: Simplify (- (* 9.0 (/ 1 x)) 12.0) into (- (* 9.0 (/ 1 x)) 12.0)
5.613 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in (x) around 0
5.613 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
5.613 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.613 * [taylor]: Taking taylor expansion of 9.0 in x
5.613 * [backup-simplify]: Simplify 9.0 into 9.0
5.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.613 * [taylor]: Taking taylor expansion of x in x
5.613 * [backup-simplify]: Simplify 0 into 0
5.613 * [backup-simplify]: Simplify 1 into 1
5.613 * [backup-simplify]: Simplify (/ 1 1) into 1
5.613 * [taylor]: Taking taylor expansion of 12.0 in x
5.613 * [backup-simplify]: Simplify 12.0 into 12.0
5.613 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
5.613 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.614 * [taylor]: Taking taylor expansion of 9.0 in x
5.614 * [backup-simplify]: Simplify 9.0 into 9.0
5.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.614 * [taylor]: Taking taylor expansion of x in x
5.614 * [backup-simplify]: Simplify 0 into 0
5.614 * [backup-simplify]: Simplify 1 into 1
5.614 * [backup-simplify]: Simplify (/ 1 1) into 1
5.614 * [taylor]: Taking taylor expansion of 12.0 in x
5.614 * [backup-simplify]: Simplify 12.0 into 12.0
5.614 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.614 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.614 * [backup-simplify]: Simplify 9.0 into 9.0
5.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.615 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
5.616 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.616 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
5.616 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.617 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
5.618 * [backup-simplify]: Simplify (- 0) into 0
5.618 * [backup-simplify]: Simplify (+ 0 0) into 0
5.618 * [backup-simplify]: Simplify 0 into 0
5.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.619 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.620 * [backup-simplify]: Simplify (- 0) into 0
5.620 * [backup-simplify]: Simplify (+ 0 0) into 0
5.620 * [backup-simplify]: Simplify 0 into 0
5.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.621 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.621 * [backup-simplify]: Simplify (- 0) into 0
5.622 * [backup-simplify]: Simplify (+ 0 0) into 0
5.622 * [backup-simplify]: Simplify 0 into 0
5.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.623 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.623 * [backup-simplify]: Simplify (- 0) into 0
5.623 * [backup-simplify]: Simplify (+ 0 0) into 0
5.623 * [backup-simplify]: Simplify 0 into 0
5.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.625 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.625 * [backup-simplify]: Simplify (- 0) into 0
5.625 * [backup-simplify]: Simplify (+ 0 0) into 0
5.625 * [backup-simplify]: Simplify 0 into 0
5.626 * [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
5.627 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.627 * [backup-simplify]: Simplify (- 0) into 0
5.627 * [backup-simplify]: Simplify (+ 0 0) into 0
5.627 * [backup-simplify]: Simplify 0 into 0
5.628 * [backup-simplify]: Simplify (+ (- 12.0) (* 9.0 (/ 1 (/ 1 x)))) into (- (* 9.0 x) 12.0)
5.628 * [backup-simplify]: Simplify (- (* 9.0 (/ 1 (- x))) 12.0) into (- (+ (* 9.0 (/ 1 x)) 12.0))
5.628 * [approximate]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 x)) 12.0)) in (x) around 0
5.628 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 x)) 12.0)) in x
5.628 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
5.628 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.628 * [taylor]: Taking taylor expansion of 9.0 in x
5.628 * [backup-simplify]: Simplify 9.0 into 9.0
5.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.628 * [taylor]: Taking taylor expansion of x in x
5.628 * [backup-simplify]: Simplify 0 into 0
5.628 * [backup-simplify]: Simplify 1 into 1
5.628 * [backup-simplify]: Simplify (/ 1 1) into 1
5.628 * [taylor]: Taking taylor expansion of 12.0 in x
5.628 * [backup-simplify]: Simplify 12.0 into 12.0
5.628 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 x)) 12.0)) in x
5.628 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
5.628 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.628 * [taylor]: Taking taylor expansion of 9.0 in x
5.628 * [backup-simplify]: Simplify 9.0 into 9.0
5.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.628 * [taylor]: Taking taylor expansion of x in x
5.628 * [backup-simplify]: Simplify 0 into 0
5.628 * [backup-simplify]: Simplify 1 into 1
5.629 * [backup-simplify]: Simplify (/ 1 1) into 1
5.629 * [taylor]: Taking taylor expansion of 12.0 in x
5.629 * [backup-simplify]: Simplify 12.0 into 12.0
5.629 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.629 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.629 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
5.630 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
5.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.631 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
5.631 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
5.631 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.631 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.632 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.632 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
5.633 * [backup-simplify]: Simplify (+ 0 0) into 0
5.633 * [backup-simplify]: Simplify (- 0) into 0
5.633 * [backup-simplify]: Simplify 0 into 0
5.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.634 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.635 * [backup-simplify]: Simplify (+ 0 0) into 0
5.635 * [backup-simplify]: Simplify (- 0) into 0
5.635 * [backup-simplify]: Simplify 0 into 0
5.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.637 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.638 * [backup-simplify]: Simplify (+ 0 0) into 0
5.638 * [backup-simplify]: Simplify (- 0) into 0
5.638 * [backup-simplify]: Simplify 0 into 0
5.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.639 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.640 * [backup-simplify]: Simplify (+ 0 0) into 0
5.640 * [backup-simplify]: Simplify (- 0) into 0
5.640 * [backup-simplify]: Simplify 0 into 0
5.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.641 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.642 * [backup-simplify]: Simplify (+ 0 0) into 0
5.642 * [backup-simplify]: Simplify (- 0) into 0
5.642 * [backup-simplify]: Simplify 0 into 0
5.642 * [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
5.643 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.644 * [backup-simplify]: Simplify (+ 0 0) into 0
5.644 * [backup-simplify]: Simplify (- 0) into 0
5.644 * [backup-simplify]: Simplify 0 into 0
5.644 * [backup-simplify]: Simplify (+ (- 12.0) (* (- 9.0) (/ 1 (/ 1 (- x))))) into (- (* 9.0 x) 12.0)
5.645 * * * [progress]: simplifying candidates
5.645 * [simplify]: Simplifying:
  (* x (- (* 9.0 x) 12.0))
  (+ (log x) (log (- (* 9.0 x) 12.0)))
  (log (* x (- (* 9.0 x) 12.0)))
  (exp (* x (- (* 9.0 x) 12.0)))
  (* (* (* x x) x) (* (* (- (* 9.0 x) 12.0) (- (* 9.0 x) 12.0)) (- (* 9.0 x) 12.0)))
  (* (cbrt (* x (- (* 9.0 x) 12.0))) (cbrt (* x (- (* 9.0 x) 12.0))))
  (cbrt (* x (- (* 9.0 x) 12.0)))
  (* (* (* x (- (* 9.0 x) 12.0)) (* x (- (* 9.0 x) 12.0))) (* x (- (* 9.0 x) 12.0)))
  (sqrt (* x (- (* 9.0 x) 12.0)))
  (sqrt (* x (- (* 9.0 x) 12.0)))
  (* (sqrt x) (sqrt (- (* 9.0 x) 12.0)))
  (* (sqrt x) (sqrt (- (* 9.0 x) 12.0)))
  (* x (* 9.0 x))
  (* x (- 12.0))
  (* x (* 9.0 x))
  (* x (- 12.0))
  (* (* 9.0 x) x)
  (* (- 12.0) x)
  (* (* 9.0 x) x)
  (* (- 12.0) x)
  (* x (* (cbrt (- (* 9.0 x) 12.0)) (cbrt (- (* 9.0 x) 12.0))))
  (* x (sqrt (- (* 9.0 x) 12.0)))
  (* x 1)
  (* (cbrt x) (- (* 9.0 x) 12.0))
  (* (sqrt x) (- (* 9.0 x) 12.0))
  (* x (- (* 9.0 x) 12.0))
  (* x (- (pow (* 9.0 x) 3) (pow 12.0 3)))
  (* x (- (* (* 9.0 x) (* 9.0 x)) (* 12.0 12.0)))
  (/ (exp (* 9.0 x)) (exp 12.0))
  (log (- (* 9.0 x) 12.0))
  (exp (- (* 9.0 x) 12.0))
  (* (cbrt (- (* 9.0 x) 12.0)) (cbrt (- (* 9.0 x) 12.0)))
  (cbrt (- (* 9.0 x) 12.0))
  (* (* (- (* 9.0 x) 12.0) (- (* 9.0 x) 12.0)) (- (* 9.0 x) 12.0))
  (sqrt (- (* 9.0 x) 12.0))
  (sqrt (- (* 9.0 x) 12.0))
  (- (pow (* 9.0 x) 3) (pow 12.0 3))
  (+ (* (* 9.0 x) (* 9.0 x)) (+ (* 12.0 12.0) (* (* 9.0 x) 12.0)))
  (- 12.0)
  (- (* (* 9.0 x) (* 9.0 x)) (* 12.0 12.0))
  (+ (* 9.0 x) 12.0)
  (- 12.0)
  (- (* 9.0 (pow x 2)) (* 12.0 x))
  (- (* 9.0 (pow x 2)) (* 12.0 x))
  (- (* 9.0 (pow x 2)) (* 12.0 x))
  (- (* 9.0 x) 12.0)
  (- (* 9.0 x) 12.0)
  (- (* 9.0 x) 12.0)
5.646 * * [simplify]: iteration 0: 60 enodes
5.661 * * [simplify]: iteration 1: 151 enodes
5.726 * * [simplify]: iteration 2: 432 enodes
5.976 * * [simplify]: iteration 3: 1617 enodes
6.799 * * [simplify]: iteration complete: 5000 enodes
6.799 * * [simplify]: Extracting #0: cost 29 inf + 0
6.801 * * [simplify]: Extracting #1: cost 490 inf + 1
6.812 * * [simplify]: Extracting #2: cost 1548 inf + 12798
6.868 * * [simplify]: Extracting #3: cost 1289 inf + 177239
6.956 * * [simplify]: Extracting #4: cost 161 inf + 475512
7.075 * * [simplify]: Extracting #5: cost 39 inf + 517909
7.221 * * [simplify]: Extracting #6: cost 10 inf + 523310
7.352 * * [simplify]: Extracting #7: cost 0 inf + 526195
7.448 * [simplify]: Simplified to:
  (* (- (* x 9.0) 12.0) x)
  (log (* (- (* x 9.0) 12.0) x))
  (log (* (- (* x 9.0) 12.0) x))
  (exp (* (- (* x 9.0) 12.0) x))
  (* (* (- (* x 9.0) 12.0) x) (* (* x (- (* x 9.0) 12.0)) (* x (- (* x 9.0) 12.0))))
  (* (cbrt (* (- (* x 9.0) 12.0) x)) (cbrt (* (- (* x 9.0) 12.0) x)))
  (cbrt (* (- (* x 9.0) 12.0) x))
  (* (* (- (* x 9.0) 12.0) x) (* (* x (- (* x 9.0) 12.0)) (* x (- (* x 9.0) 12.0))))
  (sqrt (* (- (* x 9.0) 12.0) x))
  (sqrt (* (- (* x 9.0) 12.0) x))
  (* (sqrt x) (sqrt (- (* x 9.0) 12.0)))
  (* (sqrt x) (sqrt (- (* x 9.0) 12.0)))
  (* (* x x) 9.0)
  (- (* 12.0 x))
  (* (* x x) 9.0)
  (- (* 12.0 x))
  (* (* x x) 9.0)
  (- (* 12.0 x))
  (* (* x x) 9.0)
  (- (* 12.0 x))
  (* x (* (cbrt (- (* x 9.0) 12.0)) (cbrt (- (* x 9.0) 12.0))))
  (* x (sqrt (- (* x 9.0) 12.0)))
  x
  (* (cbrt x) (- (* x 9.0) 12.0))
  (* (sqrt x) (- (* x 9.0) 12.0))
  (* (- (* x 9.0) 12.0) x)
  (* x (- (* (* x 9.0) (* (* x 9.0) (* x 9.0))) (* (* 12.0 12.0) 12.0)))
  (* (* (- (* x 9.0) 12.0) x) (+ 12.0 (* x 9.0)))
  (exp (- (* x 9.0) 12.0))
  (log (- (* x 9.0) 12.0))
  (exp (- (* x 9.0) 12.0))
  (* (cbrt (- (* x 9.0) 12.0)) (cbrt (- (* x 9.0) 12.0)))
  (cbrt (- (* x 9.0) 12.0))
  (* (- (* x 9.0) 12.0) (* (- (* x 9.0) 12.0) (- (* x 9.0) 12.0)))
  (sqrt (- (* x 9.0) 12.0))
  (sqrt (- (* x 9.0) 12.0))
  (- (* (* x 9.0) (* (* x 9.0) (* x 9.0))) (* (* 12.0 12.0) 12.0))
  (+ (* (* x 9.0) (* x 9.0)) (* (+ 12.0 (* x 9.0)) 12.0))
  (- 12.0)
  (- (* (* x 9.0) (* x 9.0)) (* 12.0 12.0))
  (+ 12.0 (* x 9.0))
  (- 12.0)
  (* (- (* x 9.0) 12.0) x)
  (* (- (* x 9.0) 12.0) x)
  (* (- (* x 9.0) 12.0) x)
  (- (* x 9.0) 12.0)
  (- (* x 9.0) 12.0)
  (- (* x 9.0) 12.0)
7.450 * * * [progress]: adding candidates to table
7.573 * * [progress]: iteration 3 / 4
7.573 * * * [progress]: picking best candidate
7.605 * * * * [pick]: Picked  #<alt (λ (x) (+ (* 3.0 (* x (- (* x 3.0) 4.0))) (* 1.0 3.0)))>
7.605 * * * [progress]: localizing error
7.629 * * * [progress]: generating rewritten candidates
7.629 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
7.699 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
7.720 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 2)
7.728 * * * [progress]: generating series expansions
7.728 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
7.728 * [backup-simplify]: Simplify (* 3.0 (* x (- (* x 3.0) 4.0))) into (* 3.0 (* x (- (* 3.0 x) 4.0)))
7.728 * [approximate]: Taking taylor expansion of (* 3.0 (* x (- (* 3.0 x) 4.0))) in (x) around 0
7.728 * [taylor]: Taking taylor expansion of (* 3.0 (* x (- (* 3.0 x) 4.0))) in x
7.728 * [taylor]: Taking taylor expansion of 3.0 in x
7.728 * [backup-simplify]: Simplify 3.0 into 3.0
7.728 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
7.728 * [taylor]: Taking taylor expansion of x in x
7.728 * [backup-simplify]: Simplify 0 into 0
7.728 * [backup-simplify]: Simplify 1 into 1
7.728 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.728 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.728 * [taylor]: Taking taylor expansion of 3.0 in x
7.728 * [backup-simplify]: Simplify 3.0 into 3.0
7.728 * [taylor]: Taking taylor expansion of x in x
7.728 * [backup-simplify]: Simplify 0 into 0
7.728 * [backup-simplify]: Simplify 1 into 1
7.728 * [taylor]: Taking taylor expansion of 4.0 in x
7.728 * [backup-simplify]: Simplify 4.0 into 4.0
7.728 * [taylor]: Taking taylor expansion of (* 3.0 (* x (- (* 3.0 x) 4.0))) in x
7.728 * [taylor]: Taking taylor expansion of 3.0 in x
7.728 * [backup-simplify]: Simplify 3.0 into 3.0
7.728 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
7.728 * [taylor]: Taking taylor expansion of x in x
7.728 * [backup-simplify]: Simplify 0 into 0
7.728 * [backup-simplify]: Simplify 1 into 1
7.728 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.728 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.728 * [taylor]: Taking taylor expansion of 3.0 in x
7.728 * [backup-simplify]: Simplify 3.0 into 3.0
7.728 * [taylor]: Taking taylor expansion of x in x
7.728 * [backup-simplify]: Simplify 0 into 0
7.728 * [backup-simplify]: Simplify 1 into 1
7.728 * [taylor]: Taking taylor expansion of 4.0 in x
7.728 * [backup-simplify]: Simplify 4.0 into 4.0
7.729 * [backup-simplify]: Simplify (* 3.0 0) into 0
7.729 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.730 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.730 * [backup-simplify]: Simplify (* 0 (- 4.0)) into 0
7.731 * [backup-simplify]: Simplify (* 3.0 0) into 0
7.731 * [backup-simplify]: Simplify 0 into 0
7.732 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
7.733 * [backup-simplify]: Simplify (- 0) into 0
7.733 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.735 * [backup-simplify]: Simplify (+ (* 0 3.0) (* 1 (- 4.0))) into (- 4.0)
7.737 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 0)) into (- 12.0)
7.737 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
7.738 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
7.739 * [backup-simplify]: Simplify (- 0) into 0
7.739 * [backup-simplify]: Simplify (+ 0 0) into 0
7.742 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 3.0) (* 0 (- 4.0)))) into 3.0
7.744 * [backup-simplify]: Simplify (+ (* 3.0 3.0) (+ (* 0 (- 4.0)) (* 0 0))) into 9.0
7.744 * [backup-simplify]: Simplify 9.0 into 9.0
7.745 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.745 * [backup-simplify]: Simplify (- 0) into 0
7.746 * [backup-simplify]: Simplify (+ 0 0) into 0
7.747 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 3.0) (* 0 (- 4.0))))) into 0
7.751 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0)))) into 0
7.752 * [backup-simplify]: Simplify 0 into 0
7.753 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.753 * [backup-simplify]: Simplify (- 0) into 0
7.754 * [backup-simplify]: Simplify (+ 0 0) into 0
7.755 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))) into 0
7.757 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0))))) into 0
7.757 * [backup-simplify]: Simplify 0 into 0
7.759 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
7.759 * [backup-simplify]: Simplify (- 0) into 0
7.759 * [backup-simplify]: Simplify (+ 0 0) into 0
7.761 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))) into 0
7.763 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0)))))) into 0
7.763 * [backup-simplify]: Simplify 0 into 0
7.765 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
7.765 * [backup-simplify]: Simplify (- 0) into 0
7.765 * [backup-simplify]: Simplify (+ 0 0) into 0
7.767 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))))) into 0
7.770 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0))))))) into 0
7.770 * [backup-simplify]: Simplify 0 into 0
7.772 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
7.772 * [backup-simplify]: Simplify (- 0) into 0
7.773 * [backup-simplify]: Simplify (+ 0 0) into 0
7.775 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))))) into 0
7.777 * [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.777 * [backup-simplify]: Simplify 0 into 0
7.779 * [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.779 * [backup-simplify]: Simplify (- 0) into 0
7.780 * [backup-simplify]: Simplify (+ 0 0) into 0
7.782 * [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.785 * [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.785 * [backup-simplify]: Simplify 0 into 0
7.785 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (* (- 12.0) x)) into (- (* 9.0 (pow x 2)) (* 12.0 x))
7.786 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 x) (- (* (/ 1 x) 3.0) 4.0))) into (* 3.0 (/ (- (* 3.0 (/ 1 x)) 4.0) x))
7.786 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (* 3.0 (/ 1 x)) 4.0) x)) in (x) around 0
7.786 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (* 3.0 (/ 1 x)) 4.0) x)) in x
7.786 * [taylor]: Taking taylor expansion of 3.0 in x
7.786 * [backup-simplify]: Simplify 3.0 into 3.0
7.786 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
7.786 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
7.786 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.786 * [taylor]: Taking taylor expansion of 3.0 in x
7.786 * [backup-simplify]: Simplify 3.0 into 3.0
7.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.786 * [taylor]: Taking taylor expansion of x in x
7.786 * [backup-simplify]: Simplify 0 into 0
7.786 * [backup-simplify]: Simplify 1 into 1
7.786 * [backup-simplify]: Simplify (/ 1 1) into 1
7.786 * [taylor]: Taking taylor expansion of 4.0 in x
7.786 * [backup-simplify]: Simplify 4.0 into 4.0
7.786 * [taylor]: Taking taylor expansion of x in x
7.786 * [backup-simplify]: Simplify 0 into 0
7.786 * [backup-simplify]: Simplify 1 into 1
7.787 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.787 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.788 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.788 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (* 3.0 (/ 1 x)) 4.0) x)) in x
7.788 * [taylor]: Taking taylor expansion of 3.0 in x
7.788 * [backup-simplify]: Simplify 3.0 into 3.0
7.788 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
7.788 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
7.788 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.788 * [taylor]: Taking taylor expansion of 3.0 in x
7.788 * [backup-simplify]: Simplify 3.0 into 3.0
7.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.788 * [taylor]: Taking taylor expansion of x in x
7.788 * [backup-simplify]: Simplify 0 into 0
7.788 * [backup-simplify]: Simplify 1 into 1
7.788 * [backup-simplify]: Simplify (/ 1 1) into 1
7.788 * [taylor]: Taking taylor expansion of 4.0 in x
7.788 * [backup-simplify]: Simplify 4.0 into 4.0
7.788 * [taylor]: Taking taylor expansion of x in x
7.788 * [backup-simplify]: Simplify 0 into 0
7.788 * [backup-simplify]: Simplify 1 into 1
7.789 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.789 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.790 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.790 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
7.790 * [backup-simplify]: Simplify 9.0 into 9.0
7.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.792 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
7.792 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.793 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.795 * [backup-simplify]: Simplify (- (/ (- 4.0) 1) (+ (* 3.0 (/ 0 1)))) into (- 4.0)
7.797 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 3.0)) into (- 12.0)
7.798 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
7.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.800 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) 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 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)))) into 0
7.803 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- 4.0)) (* 0 3.0))) into 0
7.803 * [backup-simplify]: Simplify 0 into 0
7.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.805 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.806 * [backup-simplify]: Simplify (- 0) into 0
7.806 * [backup-simplify]: Simplify (+ 0 0) into 0
7.808 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.809 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0)))) into 0
7.809 * [backup-simplify]: Simplify 0 into 0
7.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.811 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.812 * [backup-simplify]: Simplify (- 0) into 0
7.812 * [backup-simplify]: Simplify (+ 0 0) into 0
7.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.815 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0))))) into 0
7.815 * [backup-simplify]: Simplify 0 into 0
7.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.817 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.818 * [backup-simplify]: Simplify (- 0) into 0
7.818 * [backup-simplify]: Simplify (+ 0 0) into 0
7.820 * [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.821 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0)))))) into 0
7.821 * [backup-simplify]: Simplify 0 into 0
7.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.824 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.824 * [backup-simplify]: Simplify (- 0) into 0
7.825 * [backup-simplify]: Simplify (+ 0 0) into 0
7.826 * [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.828 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0))))))) into 0
7.828 * [backup-simplify]: Simplify 0 into 0
7.829 * [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.830 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) 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 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.833 * [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.833 * [backup-simplify]: Simplify 0 into 0
7.833 * [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.834 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (- x)) (- (* (/ 1 (- x)) 3.0) 4.0))) into (* 3.0 (/ (+ (* 3.0 (/ 1 x)) 4.0) x))
7.834 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ (* 3.0 (/ 1 x)) 4.0) x)) in (x) around 0
7.834 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ (* 3.0 (/ 1 x)) 4.0) x)) in x
7.834 * [taylor]: Taking taylor expansion of 3.0 in x
7.834 * [backup-simplify]: Simplify 3.0 into 3.0
7.834 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in x
7.834 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
7.834 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.834 * [taylor]: Taking taylor expansion of 3.0 in x
7.834 * [backup-simplify]: Simplify 3.0 into 3.0
7.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.834 * [taylor]: Taking taylor expansion of x in x
7.834 * [backup-simplify]: Simplify 0 into 0
7.834 * [backup-simplify]: Simplify 1 into 1
7.834 * [backup-simplify]: Simplify (/ 1 1) into 1
7.834 * [taylor]: Taking taylor expansion of 4.0 in x
7.834 * [backup-simplify]: Simplify 4.0 into 4.0
7.834 * [taylor]: Taking taylor expansion of x in x
7.834 * [backup-simplify]: Simplify 0 into 0
7.834 * [backup-simplify]: Simplify 1 into 1
7.834 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.835 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.835 * [backup-simplify]: Simplify (/ 3.0 1) into 3.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.837 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
7.837 * [backup-simplify]: Simplify 9.0 into 9.0
7.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.838 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
7.838 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
7.839 * [backup-simplify]: Simplify (- (/ 4.0 1) (+ (* 3.0 (/ 0 1)))) into 4.0
7.840 * [backup-simplify]: Simplify (+ (* 3.0 4.0) (* 0 3.0)) into 12.0
7.840 * [backup-simplify]: Simplify 12.0 into 12.0
7.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.841 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
7.841 * [backup-simplify]: Simplify (+ 0 0) into 0
7.842 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)))) into 0
7.843 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 4.0) (* 0 3.0))) into 0
7.843 * [backup-simplify]: Simplify 0 into 0
7.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.844 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.844 * [backup-simplify]: Simplify (+ 0 0) into 0
7.845 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.846 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0)))) into 0
7.846 * [backup-simplify]: Simplify 0 into 0
7.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.847 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.847 * [backup-simplify]: Simplify (+ 0 0) into 0
7.848 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.849 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0))))) into 0
7.849 * [backup-simplify]: Simplify 0 into 0
7.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.850 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.850 * [backup-simplify]: Simplify (+ 0 0) into 0
7.851 * [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.852 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0)))))) into 0
7.852 * [backup-simplify]: Simplify 0 into 0
7.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.853 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.854 * [backup-simplify]: Simplify (+ 0 0) into 0
7.854 * [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.855 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0))))))) into 0
7.855 * [backup-simplify]: Simplify 0 into 0
7.856 * [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.857 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.857 * [backup-simplify]: Simplify (+ 0 0) into 0
7.858 * [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.859 * [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.859 * [backup-simplify]: Simplify 0 into 0
7.859 * [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.859 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
7.860 * [backup-simplify]: Simplify (* x (- (* x 3.0) 4.0)) into (* x (- (* 3.0 x) 4.0))
7.860 * [approximate]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in (x) around 0
7.860 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
7.860 * [taylor]: Taking taylor expansion of x in x
7.860 * [backup-simplify]: Simplify 0 into 0
7.860 * [backup-simplify]: Simplify 1 into 1
7.860 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.860 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.860 * [taylor]: Taking taylor expansion of 3.0 in x
7.860 * [backup-simplify]: Simplify 3.0 into 3.0
7.860 * [taylor]: Taking taylor expansion of x in x
7.860 * [backup-simplify]: Simplify 0 into 0
7.860 * [backup-simplify]: Simplify 1 into 1
7.860 * [taylor]: Taking taylor expansion of 4.0 in x
7.860 * [backup-simplify]: Simplify 4.0 into 4.0
7.860 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
7.860 * [taylor]: Taking taylor expansion of x in x
7.860 * [backup-simplify]: Simplify 0 into 0
7.860 * [backup-simplify]: Simplify 1 into 1
7.860 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.860 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.860 * [taylor]: Taking taylor expansion of 3.0 in x
7.860 * [backup-simplify]: Simplify 3.0 into 3.0
7.860 * [taylor]: Taking taylor expansion of x in x
7.860 * [backup-simplify]: Simplify 0 into 0
7.860 * [backup-simplify]: Simplify 1 into 1
7.860 * [taylor]: Taking taylor expansion of 4.0 in x
7.860 * [backup-simplify]: Simplify 4.0 into 4.0
7.860 * [backup-simplify]: Simplify (* 3.0 0) into 0
7.861 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.861 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.861 * [backup-simplify]: Simplify (* 0 (- 4.0)) into 0
7.861 * [backup-simplify]: Simplify 0 into 0
7.862 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
7.863 * [backup-simplify]: Simplify (- 0) into 0
7.863 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.864 * [backup-simplify]: Simplify (+ (* 0 3.0) (* 1 (- 4.0))) into (- 4.0)
7.864 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.865 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
7.866 * [backup-simplify]: Simplify (- 0) into 0
7.867 * [backup-simplify]: Simplify (+ 0 0) into 0
7.869 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 3.0) (* 0 (- 4.0)))) into 3.0
7.869 * [backup-simplify]: Simplify 3.0 into 3.0
7.869 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.869 * [backup-simplify]: Simplify (- 0) into 0
7.870 * [backup-simplify]: Simplify (+ 0 0) into 0
7.871 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 3.0) (* 0 (- 4.0))))) into 0
7.871 * [backup-simplify]: Simplify 0 into 0
7.871 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.872 * [backup-simplify]: Simplify (- 0) into 0
7.872 * [backup-simplify]: Simplify (+ 0 0) into 0
7.873 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))) into 0
7.873 * [backup-simplify]: Simplify 0 into 0
7.874 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
7.874 * [backup-simplify]: Simplify (- 0) into 0
7.874 * [backup-simplify]: Simplify (+ 0 0) into 0
7.875 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))) into 0
7.875 * [backup-simplify]: Simplify 0 into 0
7.876 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
7.877 * [backup-simplify]: Simplify (- 0) into 0
7.877 * [backup-simplify]: Simplify (+ 0 0) into 0
7.878 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))))) into 0
7.878 * [backup-simplify]: Simplify 0 into 0
7.879 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
7.879 * [backup-simplify]: Simplify (- 0) into 0
7.879 * [backup-simplify]: Simplify (+ 0 0) into 0
7.881 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))))) into 0
7.881 * [backup-simplify]: Simplify 0 into 0
7.882 * [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.882 * [backup-simplify]: Simplify (- 0) into 0
7.882 * [backup-simplify]: Simplify (+ 0 0) into 0
7.884 * [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.884 * [backup-simplify]: Simplify 0 into 0
7.884 * [backup-simplify]: Simplify (+ (* 3.0 (pow x 2)) (* (- 4.0) x)) into (- (* 3.0 (pow x 2)) (* 4.0 x))
7.884 * [backup-simplify]: Simplify (* (/ 1 x) (- (* (/ 1 x) 3.0) 4.0)) into (/ (- (* 3.0 (/ 1 x)) 4.0) x)
7.885 * [approximate]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in (x) around 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.885 * [backup-simplify]: Simplify (/ 1 1) into 1
7.885 * [taylor]: Taking taylor expansion of 4.0 in x
7.885 * [backup-simplify]: Simplify 4.0 into 4.0
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.885 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.886 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.886 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.886 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
7.886 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
7.886 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.886 * [taylor]: Taking taylor expansion of 3.0 in x
7.886 * [backup-simplify]: Simplify 3.0 into 3.0
7.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x
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.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.887 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.887 * [backup-simplify]: Simplify 3.0 into 3.0
7.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.888 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
7.888 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.889 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.891 * [backup-simplify]: Simplify (- (/ (- 4.0) 1) (+ (* 3.0 (/ 0 1)))) into (- 4.0)
7.891 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.894 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
7.895 * [backup-simplify]: Simplify (- 0) into 0
7.895 * [backup-simplify]: Simplify (+ 0 0) into 0
7.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)))) into 0
7.896 * [backup-simplify]: Simplify 0 into 0
7.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.899 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.899 * [backup-simplify]: Simplify (- 0) into 0
7.900 * [backup-simplify]: Simplify (+ 0 0) into 0
7.901 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.901 * [backup-simplify]: Simplify 0 into 0
7.902 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.903 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.904 * [backup-simplify]: Simplify (- 0) into 0
7.904 * [backup-simplify]: Simplify (+ 0 0) into 0
7.905 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.905 * [backup-simplify]: Simplify 0 into 0
7.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.908 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.908 * [backup-simplify]: Simplify (- 0) into 0
7.909 * [backup-simplify]: Simplify (+ 0 0) into 0
7.910 * [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.910 * [backup-simplify]: Simplify 0 into 0
7.911 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.913 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.913 * [backup-simplify]: Simplify (- 0) into 0
7.913 * [backup-simplify]: Simplify (+ 0 0) into 0
7.915 * [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.915 * [backup-simplify]: Simplify 0 into 0
7.916 * [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.917 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.918 * [backup-simplify]: Simplify (- 0) 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)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.920 * [backup-simplify]: Simplify 0 into 0
7.920 * [backup-simplify]: Simplify (+ (* (- 4.0) (/ 1 (/ 1 x))) (* 3.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x))
7.920 * [backup-simplify]: Simplify (* (/ 1 (- x)) (- (* (/ 1 (- x)) 3.0) 4.0)) into (/ (+ (* 3.0 (/ 1 x)) 4.0) x)
7.920 * [approximate]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in (x) around 0
7.920 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in x
7.921 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
7.921 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.921 * [taylor]: Taking taylor expansion of 3.0 in x
7.921 * [backup-simplify]: Simplify 3.0 into 3.0
7.921 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.921 * [taylor]: Taking taylor expansion of x in x
7.921 * [backup-simplify]: Simplify 0 into 0
7.921 * [backup-simplify]: Simplify 1 into 1
7.921 * [backup-simplify]: Simplify (/ 1 1) into 1
7.921 * [taylor]: Taking taylor expansion of 4.0 in x
7.921 * [backup-simplify]: Simplify 4.0 into 4.0
7.921 * [taylor]: Taking taylor expansion of x in x
7.921 * [backup-simplify]: Simplify 0 into 0
7.921 * [backup-simplify]: Simplify 1 into 1
7.922 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.922 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.922 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.923 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in x
7.923 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
7.923 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.923 * [taylor]: Taking taylor expansion of 3.0 in x
7.923 * [backup-simplify]: Simplify 3.0 into 3.0
7.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.923 * [taylor]: Taking taylor expansion of x in x
7.923 * [backup-simplify]: Simplify 0 into 0
7.923 * [backup-simplify]: Simplify 1 into 1
7.923 * [backup-simplify]: Simplify (/ 1 1) into 1
7.923 * [taylor]: Taking taylor expansion of 4.0 in x
7.923 * [backup-simplify]: Simplify 4.0 into 4.0
7.923 * [taylor]: Taking taylor expansion of x in x
7.923 * [backup-simplify]: Simplify 0 into 0
7.923 * [backup-simplify]: Simplify 1 into 1
7.924 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.924 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.924 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.925 * [backup-simplify]: Simplify 3.0 into 3.0
7.925 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.926 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
7.926 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
7.928 * [backup-simplify]: Simplify (- (/ 4.0 1) (+ (* 3.0 (/ 0 1)))) into 4.0
7.928 * [backup-simplify]: Simplify 4.0 into 4.0
7.929 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.930 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
7.931 * [backup-simplify]: Simplify (+ 0 0) into 0
7.932 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)))) into 0
7.932 * [backup-simplify]: Simplify 0 into 0
7.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.934 * [backup-simplify]: Simplify (+ (* 3.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)))) into 0
7.935 * [backup-simplify]: Simplify 0 into 0
7.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.937 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.938 * [backup-simplify]: Simplify (+ 0 0) into 0
7.939 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.939 * [backup-simplify]: Simplify 0 into 0
7.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.941 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.941 * [backup-simplify]: Simplify (+ 0 0) into 0
7.943 * [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.943 * [backup-simplify]: Simplify 0 into 0
7.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.945 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.946 * [backup-simplify]: Simplify (+ 0 0) into 0
7.947 * [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.947 * [backup-simplify]: Simplify 0 into 0
7.948 * [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.950 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.950 * [backup-simplify]: Simplify (+ 0 0) into 0
7.951 * [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.951 * [backup-simplify]: Simplify 0 into 0
7.952 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 (/ 1 (- x)))) (* 3.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x))
7.952 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 2)
7.952 * [backup-simplify]: Simplify (- (* x 3.0) 4.0) into (- (* 3.0 x) 4.0)
7.952 * [approximate]: Taking taylor expansion of (- (* 3.0 x) 4.0) in (x) around 0
7.952 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.952 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.952 * [taylor]: Taking taylor expansion of 3.0 in x
7.952 * [backup-simplify]: Simplify 3.0 into 3.0
7.952 * [taylor]: Taking taylor expansion of x in x
7.952 * [backup-simplify]: Simplify 0 into 0
7.952 * [backup-simplify]: Simplify 1 into 1
7.952 * [taylor]: Taking taylor expansion of 4.0 in x
7.952 * [backup-simplify]: Simplify 4.0 into 4.0
7.952 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.952 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.952 * [taylor]: Taking taylor expansion of 3.0 in x
7.952 * [backup-simplify]: Simplify 3.0 into 3.0
7.952 * [taylor]: Taking taylor expansion of x in x
7.952 * [backup-simplify]: Simplify 0 into 0
7.952 * [backup-simplify]: Simplify 1 into 1
7.952 * [taylor]: Taking taylor expansion of 4.0 in x
7.952 * [backup-simplify]: Simplify 4.0 into 4.0
7.953 * [backup-simplify]: Simplify (* 3.0 0) into 0
7.953 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.954 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.954 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.956 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
7.956 * [backup-simplify]: Simplify (- 0) into 0
7.957 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.957 * [backup-simplify]: Simplify 3.0 into 3.0
7.958 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
7.958 * [backup-simplify]: Simplify (- 0) into 0
7.958 * [backup-simplify]: Simplify (+ 0 0) into 0
7.958 * [backup-simplify]: Simplify 0 into 0
7.960 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.960 * [backup-simplify]: Simplify (- 0) into 0
7.960 * [backup-simplify]: Simplify (+ 0 0) into 0
7.960 * [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.962 * [backup-simplify]: Simplify 0 into 0
7.964 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
7.964 * [backup-simplify]: Simplify (- 0) into 0
7.964 * [backup-simplify]: Simplify (+ 0 0) into 0
7.964 * [backup-simplify]: Simplify 0 into 0
7.966 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
7.966 * [backup-simplify]: Simplify (- 0) into 0
7.967 * [backup-simplify]: Simplify (+ 0 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 0) (+ (* 0 1) (* 0 0)))))))) into 0
7.969 * [backup-simplify]: Simplify (- 0) into 0
7.969 * [backup-simplify]: Simplify (+ 0 0) into 0
7.969 * [backup-simplify]: Simplify 0 into 0
7.970 * [backup-simplify]: Simplify (+ (* 3.0 x) (- 4.0)) into (- (* 3.0 x) 4.0)
7.970 * [backup-simplify]: Simplify (- (* (/ 1 x) 3.0) 4.0) into (- (* 3.0 (/ 1 x)) 4.0)
7.970 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in (x) around 0
7.970 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
7.970 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.970 * [taylor]: Taking taylor expansion of 3.0 in x
7.970 * [backup-simplify]: Simplify 3.0 into 3.0
7.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.970 * [taylor]: Taking taylor expansion of x in x
7.970 * [backup-simplify]: Simplify 0 into 0
7.970 * [backup-simplify]: Simplify 1 into 1
7.971 * [backup-simplify]: Simplify (/ 1 1) into 1
7.971 * [taylor]: Taking taylor expansion of 4.0 in x
7.971 * [backup-simplify]: Simplify 4.0 into 4.0
7.971 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
7.971 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.971 * [taylor]: Taking taylor expansion of 3.0 in x
7.971 * [backup-simplify]: Simplify 3.0 into 3.0
7.971 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.971 * [taylor]: Taking taylor expansion of x in x
7.971 * [backup-simplify]: Simplify 0 into 0
7.971 * [backup-simplify]: Simplify 1 into 1
7.971 * [backup-simplify]: Simplify (/ 1 1) into 1
7.971 * [taylor]: Taking taylor expansion of 4.0 in x
7.971 * [backup-simplify]: Simplify 4.0 into 4.0
7.972 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.972 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.972 * [backup-simplify]: Simplify 3.0 into 3.0
7.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.974 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
7.974 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.976 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.976 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.978 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
7.978 * [backup-simplify]: Simplify (- 0) into 0
7.979 * [backup-simplify]: Simplify (+ 0 0) into 0
7.979 * [backup-simplify]: Simplify 0 into 0
7.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.981 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.981 * [backup-simplify]: Simplify (- 0) into 0
7.982 * [backup-simplify]: Simplify (+ 0 0) into 0
7.982 * [backup-simplify]: Simplify 0 into 0
7.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.984 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.984 * [backup-simplify]: Simplify (- 0) into 0
7.985 * [backup-simplify]: Simplify (+ 0 0) into 0
7.985 * [backup-simplify]: Simplify 0 into 0
7.986 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.987 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.988 * [backup-simplify]: Simplify (- 0) into 0
7.988 * [backup-simplify]: Simplify (+ 0 0) into 0
7.988 * [backup-simplify]: Simplify 0 into 0
7.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.991 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.993 * [backup-simplify]: Simplify (- 0) into 0
7.994 * [backup-simplify]: Simplify (+ 0 0) into 0
7.994 * [backup-simplify]: Simplify 0 into 0
7.995 * [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.997 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.997 * [backup-simplify]: Simplify (- 0) into 0
7.998 * [backup-simplify]: Simplify (+ 0 0) into 0
7.998 * [backup-simplify]: Simplify 0 into 0
7.998 * [backup-simplify]: Simplify (+ (- 4.0) (* 3.0 (/ 1 (/ 1 x)))) into (- (* 3.0 x) 4.0)
7.999 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) 3.0) 4.0) into (- (+ (* 3.0 (/ 1 x)) 4.0))
7.999 * [approximate]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 x)) 4.0)) in (x) around 0
7.999 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 x)) 4.0)) in x
7.999 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
7.999 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.999 * [taylor]: Taking taylor expansion of 3.0 in x
7.999 * [backup-simplify]: Simplify 3.0 into 3.0
7.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.999 * [taylor]: Taking taylor expansion of x in x
7.999 * [backup-simplify]: Simplify 0 into 0
7.999 * [backup-simplify]: Simplify 1 into 1
7.999 * [backup-simplify]: Simplify (/ 1 1) into 1
7.999 * [taylor]: Taking taylor expansion of 4.0 in x
7.999 * [backup-simplify]: Simplify 4.0 into 4.0
7.999 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 x)) 4.0)) in x
7.999 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
7.999 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.999 * [taylor]: Taking taylor expansion of 3.0 in x
7.999 * [backup-simplify]: Simplify 3.0 into 3.0
8.000 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.000 * [taylor]: Taking taylor expansion of x in x
8.000 * [backup-simplify]: Simplify 0 into 0
8.000 * [backup-simplify]: Simplify 1 into 1
8.000 * [backup-simplify]: Simplify (/ 1 1) into 1
8.000 * [taylor]: Taking taylor expansion of 4.0 in x
8.000 * [backup-simplify]: Simplify 4.0 into 4.0
8.001 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
8.001 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
8.001 * [backup-simplify]: Simplify (- 3.0) into (- 3.0)
8.002 * [backup-simplify]: Simplify (- 3.0) into (- 3.0)
8.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.003 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
8.003 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
8.004 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
8.004 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
8.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.006 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
8.007 * [backup-simplify]: Simplify (+ 0 0) into 0
8.007 * [backup-simplify]: Simplify (- 0) into 0
8.007 * [backup-simplify]: Simplify 0 into 0
8.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.009 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.010 * [backup-simplify]: Simplify (+ 0 0) into 0
8.010 * [backup-simplify]: Simplify (- 0) into 0
8.010 * [backup-simplify]: Simplify 0 into 0
8.011 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.012 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.013 * [backup-simplify]: Simplify (+ 0 0) into 0
8.013 * [backup-simplify]: Simplify (- 0) into 0
8.013 * [backup-simplify]: Simplify 0 into 0
8.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.015 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.015 * [backup-simplify]: Simplify (+ 0 0) into 0
8.015 * [backup-simplify]: Simplify (- 0) into 0
8.015 * [backup-simplify]: Simplify 0 into 0
8.016 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.017 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.017 * [backup-simplify]: Simplify (+ 0 0) into 0
8.017 * [backup-simplify]: Simplify (- 0) into 0
8.017 * [backup-simplify]: Simplify 0 into 0
8.018 * [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.019 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
8.019 * [backup-simplify]: Simplify (+ 0 0) into 0
8.019 * [backup-simplify]: Simplify (- 0) into 0
8.019 * [backup-simplify]: Simplify 0 into 0
8.020 * [backup-simplify]: Simplify (+ (- 4.0) (* (- 3.0) (/ 1 (/ 1 (- x))))) into (- (* 3.0 x) 4.0)
8.020 * * * [progress]: simplifying candidates
8.021 * [simplify]: Simplifying:
  (* 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 (* x 3.0)))
  (* 3.0 (* x (- 4.0)))
  (* 3.0 (* x (* x 3.0)))
  (* 3.0 (* x (- 4.0)))
  (* 3.0 (* (* x 3.0) x))
  (* 3.0 (* (- 4.0) x))
  (* 3.0 (* (* x 3.0) x))
  (* 3.0 (* (- 4.0) x))
  (* (* x (* x 3.0)) 3.0)
  (* (* x (- 4.0)) 3.0)
  (* (* x (* x 3.0)) 3.0)
  (* (* x (- 4.0)) 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))))
  (* x (- (* x 3.0) 4.0))
  (+ (log x) (log (- (* x 3.0) 4.0)))
  (log (* x (- (* x 3.0) 4.0)))
  (exp (* x (- (* x 3.0) 4.0)))
  (* (* (* x x) x) (* (* (- (* x 3.0) 4.0) (- (* x 3.0) 4.0)) (- (* x 3.0) 4.0)))
  (* (cbrt (* x (- (* x 3.0) 4.0))) (cbrt (* x (- (* x 3.0) 4.0))))
  (cbrt (* x (- (* x 3.0) 4.0)))
  (* (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* (sqrt x) (sqrt (- (* x 3.0) 4.0)))
  (* x (* x 3.0))
  (* x (- 4.0))
  (* x (* x 3.0))
  (* x (- 4.0))
  (* (* 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)))
  (/ (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.022 * * [simplify]: iteration 0: 96 enodes
8.045 * * [simplify]: iteration 1: 239 enodes
8.148 * * [simplify]: iteration 2: 737 enodes
9.128 * * [simplify]: iteration 3: 3703 enodes
10.686 * * [simplify]: iteration complete: 5000 enodes
10.686 * * [simplify]: Extracting #0: cost 44 inf + 0
10.687 * * [simplify]: Extracting #1: cost 490 inf + 1
10.695 * * [simplify]: Extracting #2: cost 1126 inf + 25862
10.732 * * [simplify]: Extracting #3: cost 578 inf + 180924
10.791 * * [simplify]: Extracting #4: cost 179 inf + 266352
10.856 * * [simplify]: Extracting #5: cost 48 inf + 309089
10.921 * * [simplify]: Extracting #6: cost 6 inf + 321450
10.988 * * [simplify]: Extracting #7: cost 0 inf + 323091
11.101 * [simplify]: Simplified to:
  (* (- (* 3.0 x) 4.0) (* 3.0 x))
  (* (- (* 3.0 x) 4.0) (* 3.0 x))
  (log (* (- (* 3.0 x) 4.0) (* 3.0 x)))
  (log (* (- (* 3.0 x) 4.0) (* 3.0 x)))
  (log (* (- (* 3.0 x) 4.0) (* 3.0 x)))
  (exp (* (- (* 3.0 x) 4.0) (* 3.0 x)))
  (* (* (- (* 3.0 x) 4.0) (* 3.0 x)) (* (* (- (* 3.0 x) 4.0) (* 3.0 x)) (* (- (* 3.0 x) 4.0) (* 3.0 x))))
  (* (* (- (* 3.0 x) 4.0) (* 3.0 x)) (* (* (- (* 3.0 x) 4.0) (* 3.0 x)) (* (- (* 3.0 x) 4.0) (* 3.0 x))))
  (* (cbrt (* (- (* 3.0 x) 4.0) (* 3.0 x))) (cbrt (* (- (* 3.0 x) 4.0) (* 3.0 x))))
  (cbrt (* (- (* 3.0 x) 4.0) (* 3.0 x)))
  (* (* (- (* 3.0 x) 4.0) (* 3.0 x)) (* (* (- (* 3.0 x) 4.0) (* 3.0 x)) (* (- (* 3.0 x) 4.0) (* 3.0 x))))
  (sqrt (* (- (* 3.0 x) 4.0) (* 3.0 x)))
  (sqrt (* (- (* 3.0 x) 4.0) (* 3.0 x)))
  (* (* x 3.0) (* x 3.0))
  (* (* (- 4.0) 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)
  (* (* x 3.0) (* x 3.0))
  (* (* (- 4.0) 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)
  (* (* x 3.0) (* x 3.0))
  (* (* (- 4.0) x) 3.0)
  (* (* x 3.0) (* x 3.0))
  (* (* (- 4.0) x) 3.0)
  (* x 3.0)
  (* (* x (- (* 3.0 x) 4.0)) (cbrt 3.0))
  (* (* x (- (* 3.0 x) 4.0)) (sqrt 3.0))
  (* (- (* 3.0 x) 4.0) (* 3.0 x))
  (* (* (- (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* 4.0 (* 4.0 4.0))) 3.0) x)
  (* (* x 3.0) (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0)))
  (* x (- (* 3.0 x) 4.0))
  (log (* x (- (* 3.0 x) 4.0)))
  (log (* x (- (* 3.0 x) 4.0)))
  (exp (* x (- (* 3.0 x) 4.0)))
  (* (* (* x (- (* 3.0 x) 4.0)) (* x (- (* 3.0 x) 4.0))) (* x (- (* 3.0 x) 4.0)))
  (* (cbrt (* x (- (* 3.0 x) 4.0))) (cbrt (* x (- (* 3.0 x) 4.0))))
  (cbrt (* x (- (* 3.0 x) 4.0)))
  (* (* (* x (- (* 3.0 x) 4.0)) (* x (- (* 3.0 x) 4.0))) (* x (- (* 3.0 x) 4.0)))
  (sqrt (* x (- (* 3.0 x) 4.0)))
  (sqrt (* x (- (* 3.0 x) 4.0)))
  (* (sqrt (- (* 3.0 x) 4.0)) (sqrt x))
  (* (sqrt (- (* 3.0 x) 4.0)) (sqrt x))
  (* x (* 3.0 x))
  (* (- 4.0) x)
  (* x (* 3.0 x))
  (* (- 4.0) x)
  (* x (* 3.0 x))
  (* (- 4.0) x)
  (* x (* 3.0 x))
  (* (- 4.0) x)
  (* (cbrt (- (* 3.0 x) 4.0)) (* (cbrt (- (* 3.0 x) 4.0)) x))
  (* (sqrt (- (* 3.0 x) 4.0)) x)
  x
  (* (cbrt x) (- (* 3.0 x) 4.0))
  (* (sqrt x) (- (* 3.0 x) 4.0))
  (* x (- (* 3.0 x) 4.0))
  (* (- (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* 4.0 (* 4.0 4.0))) x)
  (* (+ 4.0 (* 3.0 x)) (* x (- (* 3.0 x) 4.0)))
  (exp (- (* 3.0 x) 4.0))
  (log (- (* 3.0 x) 4.0))
  (exp (- (* 3.0 x) 4.0))
  (* (cbrt (- (* 3.0 x) 4.0)) (cbrt (- (* 3.0 x) 4.0)))
  (cbrt (- (* 3.0 x) 4.0))
  (* (- (* 3.0 x) 4.0) (* (- (* 3.0 x) 4.0) (- (* 3.0 x) 4.0)))
  (sqrt (- (* 3.0 x) 4.0))
  (sqrt (- (* 3.0 x) 4.0))
  (- (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* 4.0 (* 4.0 4.0)))
  (+ (* (* 3.0 x) (+ 4.0 (* 3.0 x))) (* 4.0 4.0))
  (- 4.0)
  (- (* (* x 3.0) (* x 3.0)) (* 4.0 4.0))
  (+ 4.0 (* 3.0 x))
  (- 4.0)
  (- (* 9.0 (* x x)) (* x 12.0))
  (- (* 9.0 (* x x)) (* x 12.0))
  (- (* 9.0 (* x x)) (* x 12.0))
  (* x (- (* 3.0 x) 4.0))
  (* x (- (* 3.0 x) 4.0))
  (* x (- (* 3.0 x) 4.0))
  (- (* x 3.0) 4.0)
  (- (* x 3.0) 4.0)
  (- (* x 3.0) 4.0)
11.107 * * * [progress]: adding candidates to table
11.388 * * [progress]: iteration 4 / 4
11.388 * * * [progress]: picking best candidate
11.406 * * * * [pick]: Picked  #<alt (λ (x) (+ (- (* 9.0 (* x x)) (* x 12.0)) (* 1.0 3.0)))>
11.406 * * * [progress]: localizing error
11.419 * * * [progress]: generating rewritten candidates
11.419 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
11.443 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
11.461 * * * [progress]: generating series expansions
11.461 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
11.461 * [backup-simplify]: Simplify (* 9.0 (* x x)) into (* 9.0 (pow x 2))
11.461 * [approximate]: Taking taylor expansion of (* 9.0 (pow x 2)) in (x) around 0
11.461 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
11.461 * [taylor]: Taking taylor expansion of 9.0 in x
11.461 * [backup-simplify]: Simplify 9.0 into 9.0
11.461 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.461 * [taylor]: Taking taylor expansion of x in x
11.461 * [backup-simplify]: Simplify 0 into 0
11.461 * [backup-simplify]: Simplify 1 into 1
11.461 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
11.461 * [taylor]: Taking taylor expansion of 9.0 in x
11.461 * [backup-simplify]: Simplify 9.0 into 9.0
11.461 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.461 * [taylor]: Taking taylor expansion of x in x
11.461 * [backup-simplify]: Simplify 0 into 0
11.462 * [backup-simplify]: Simplify 1 into 1
11.462 * [backup-simplify]: Simplify (* 1 1) into 1
11.462 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
11.462 * [backup-simplify]: Simplify 9.0 into 9.0
11.463 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.463 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
11.463 * [backup-simplify]: Simplify 0 into 0
11.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.464 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
11.464 * [backup-simplify]: Simplify 0 into 0
11.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.466 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.466 * [backup-simplify]: Simplify 0 into 0
11.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.467 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.467 * [backup-simplify]: Simplify 0 into 0
11.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.469 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.469 * [backup-simplify]: Simplify 0 into 0
11.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.471 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.471 * [backup-simplify]: Simplify 0 into 0
11.471 * [backup-simplify]: Simplify (* 9.0 (pow x 2)) into (* 9.0 (pow x 2))
11.471 * [backup-simplify]: Simplify (* 9.0 (* (/ 1 x) (/ 1 x))) into (/ 9.0 (pow x 2))
11.471 * [approximate]: Taking taylor expansion of (/ 9.0 (pow x 2)) in (x) around 0
11.471 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
11.471 * [taylor]: Taking taylor expansion of 9.0 in x
11.471 * [backup-simplify]: Simplify 9.0 into 9.0
11.471 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.471 * [taylor]: Taking taylor expansion of x in x
11.471 * [backup-simplify]: Simplify 0 into 0
11.471 * [backup-simplify]: Simplify 1 into 1
11.472 * [backup-simplify]: Simplify (* 1 1) into 1
11.472 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
11.472 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
11.472 * [taylor]: Taking taylor expansion of 9.0 in x
11.472 * [backup-simplify]: Simplify 9.0 into 9.0
11.472 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.472 * [taylor]: Taking taylor expansion of x in x
11.472 * [backup-simplify]: Simplify 0 into 0
11.472 * [backup-simplify]: Simplify 1 into 1
11.472 * [backup-simplify]: Simplify (* 1 1) into 1
11.473 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
11.473 * [backup-simplify]: Simplify 9.0 into 9.0
11.473 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.474 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)))) into 0
11.474 * [backup-simplify]: Simplify 0 into 0
11.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.475 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.475 * [backup-simplify]: Simplify 0 into 0
11.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.476 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.476 * [backup-simplify]: Simplify 0 into 0
11.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.477 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.477 * [backup-simplify]: Simplify 0 into 0
11.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.480 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.480 * [backup-simplify]: Simplify 0 into 0
11.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.482 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.483 * [backup-simplify]: Simplify 0 into 0
11.483 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 (/ 1 x)) 2)) into (* 9.0 (pow x 2))
11.483 * [backup-simplify]: Simplify (* 9.0 (* (/ 1 (- x)) (/ 1 (- x)))) into (/ 9.0 (pow x 2))
11.483 * [approximate]: Taking taylor expansion of (/ 9.0 (pow x 2)) in (x) around 0
11.483 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
11.483 * [taylor]: Taking taylor expansion of 9.0 in x
11.483 * [backup-simplify]: Simplify 9.0 into 9.0
11.483 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.483 * [taylor]: Taking taylor expansion of x in x
11.483 * [backup-simplify]: Simplify 0 into 0
11.483 * [backup-simplify]: Simplify 1 into 1
11.484 * [backup-simplify]: Simplify (* 1 1) into 1
11.484 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
11.484 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
11.484 * [taylor]: Taking taylor expansion of 9.0 in x
11.484 * [backup-simplify]: Simplify 9.0 into 9.0
11.484 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.484 * [taylor]: Taking taylor expansion of x in x
11.484 * [backup-simplify]: Simplify 0 into 0
11.484 * [backup-simplify]: Simplify 1 into 1
11.485 * [backup-simplify]: Simplify (* 1 1) into 1
11.485 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
11.485 * [backup-simplify]: Simplify 9.0 into 9.0
11.486 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.487 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)))) into 0
11.487 * [backup-simplify]: Simplify 0 into 0
11.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.489 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.489 * [backup-simplify]: Simplify 0 into 0
11.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.491 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.491 * [backup-simplify]: Simplify 0 into 0
11.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.493 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.493 * [backup-simplify]: Simplify 0 into 0
11.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.495 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.495 * [backup-simplify]: Simplify 0 into 0
11.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.496 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.496 * [backup-simplify]: Simplify 0 into 0
11.496 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 9.0 (pow x 2))
11.496 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
11.497 * [backup-simplify]: Simplify (- (* 9.0 (* x x)) (* x 12.0)) into (- (* 9.0 (pow x 2)) (* 12.0 x))
11.497 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow x 2)) (* 12.0 x)) in (x) around 0
11.497 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 2)) (* 12.0 x)) in x
11.497 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
11.497 * [taylor]: Taking taylor expansion of 9.0 in x
11.497 * [backup-simplify]: Simplify 9.0 into 9.0
11.497 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.497 * [taylor]: Taking taylor expansion of x in x
11.497 * [backup-simplify]: Simplify 0 into 0
11.497 * [backup-simplify]: Simplify 1 into 1
11.497 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
11.497 * [taylor]: Taking taylor expansion of 12.0 in x
11.497 * [backup-simplify]: Simplify 12.0 into 12.0
11.497 * [taylor]: Taking taylor expansion of x in x
11.497 * [backup-simplify]: Simplify 0 into 0
11.497 * [backup-simplify]: Simplify 1 into 1
11.497 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 2)) (* 12.0 x)) in x
11.497 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
11.497 * [taylor]: Taking taylor expansion of 9.0 in x
11.497 * [backup-simplify]: Simplify 9.0 into 9.0
11.497 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.497 * [taylor]: Taking taylor expansion of x in x
11.497 * [backup-simplify]: Simplify 0 into 0
11.497 * [backup-simplify]: Simplify 1 into 1
11.497 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
11.497 * [taylor]: Taking taylor expansion of 12.0 in x
11.497 * [backup-simplify]: Simplify 12.0 into 12.0
11.497 * [taylor]: Taking taylor expansion of x in x
11.497 * [backup-simplify]: Simplify 0 into 0
11.497 * [backup-simplify]: Simplify 1 into 1
11.497 * [backup-simplify]: Simplify (* 12.0 0) into 0
11.498 * [backup-simplify]: Simplify (- 0) into 0
11.498 * [backup-simplify]: Simplify (+ 0 0) into 0
11.498 * [backup-simplify]: Simplify 0 into 0
11.499 * [backup-simplify]: Simplify (+ (* 12.0 1) (* 0 0)) into 12.0
11.499 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
11.499 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
11.500 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
11.500 * [backup-simplify]: Simplify (* 1 1) into 1
11.500 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
11.501 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 1) (* 0 0))) into 0
11.501 * [backup-simplify]: Simplify (- 0) into 0
11.501 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
11.501 * [backup-simplify]: Simplify 9.0 into 9.0
11.502 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.502 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
11.503 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
11.503 * [backup-simplify]: Simplify (- 0) into 0
11.503 * [backup-simplify]: Simplify (+ 0 0) into 0
11.503 * [backup-simplify]: Simplify 0 into 0
11.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.504 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
11.505 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
11.505 * [backup-simplify]: Simplify (- 0) into 0
11.505 * [backup-simplify]: Simplify (+ 0 0) into 0
11.505 * [backup-simplify]: Simplify 0 into 0
11.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.507 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.507 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
11.508 * [backup-simplify]: Simplify (- 0) into 0
11.508 * [backup-simplify]: Simplify (+ 0 0) into 0
11.508 * [backup-simplify]: Simplify 0 into 0
11.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.509 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.510 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
11.510 * [backup-simplify]: Simplify (- 0) into 0
11.511 * [backup-simplify]: Simplify (+ 0 0) into 0
11.511 * [backup-simplify]: Simplify 0 into 0
11.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.512 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.513 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
11.513 * [backup-simplify]: Simplify (- 0) into 0
11.514 * [backup-simplify]: Simplify (+ 0 0) into 0
11.514 * [backup-simplify]: Simplify 0 into 0
11.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.517 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.519 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
11.519 * [backup-simplify]: Simplify (- 0) into 0
11.520 * [backup-simplify]: Simplify (+ 0 0) into 0
11.520 * [backup-simplify]: Simplify 0 into 0
11.520 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (* (- 12.0) x)) into (- (* 9.0 (pow x 2)) (* 12.0 x))
11.521 * [backup-simplify]: Simplify (- (* 9.0 (* (/ 1 x) (/ 1 x))) (* (/ 1 x) 12.0)) into (- (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x)))
11.521 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in (x) around 0
11.521 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in x
11.521 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
11.521 * [taylor]: Taking taylor expansion of 9.0 in x
11.521 * [backup-simplify]: Simplify 9.0 into 9.0
11.521 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.521 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.521 * [taylor]: Taking taylor expansion of x in x
11.521 * [backup-simplify]: Simplify 0 into 0
11.521 * [backup-simplify]: Simplify 1 into 1
11.521 * [backup-simplify]: Simplify (* 1 1) into 1
11.522 * [backup-simplify]: Simplify (/ 1 1) into 1
11.522 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
11.522 * [taylor]: Taking taylor expansion of 12.0 in x
11.522 * [backup-simplify]: Simplify 12.0 into 12.0
11.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.522 * [taylor]: Taking taylor expansion of x in x
11.522 * [backup-simplify]: Simplify 0 into 0
11.522 * [backup-simplify]: Simplify 1 into 1
11.522 * [backup-simplify]: Simplify (/ 1 1) into 1
11.522 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in x
11.522 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
11.522 * [taylor]: Taking taylor expansion of 9.0 in x
11.522 * [backup-simplify]: Simplify 9.0 into 9.0
11.523 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.523 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.523 * [taylor]: Taking taylor expansion of x in x
11.523 * [backup-simplify]: Simplify 0 into 0
11.523 * [backup-simplify]: Simplify 1 into 1
11.523 * [backup-simplify]: Simplify (* 1 1) into 1
11.524 * [backup-simplify]: Simplify (/ 1 1) into 1
11.524 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
11.524 * [taylor]: Taking taylor expansion of 12.0 in x
11.524 * [backup-simplify]: Simplify 12.0 into 12.0
11.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.524 * [taylor]: Taking taylor expansion of x in x
11.524 * [backup-simplify]: Simplify 0 into 0
11.524 * [backup-simplify]: Simplify 1 into 1
11.524 * [backup-simplify]: Simplify (/ 1 1) into 1
11.525 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
11.525 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
11.525 * [backup-simplify]: Simplify 9.0 into 9.0
11.526 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.527 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
11.528 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
11.528 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
11.529 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
11.530 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
11.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.532 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
11.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.534 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
11.534 * [backup-simplify]: Simplify (- 0) into 0
11.535 * [backup-simplify]: Simplify (+ 0 0) into 0
11.535 * [backup-simplify]: Simplify 0 into 0
11.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.538 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.539 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (* 0 1))) into 0
11.539 * [backup-simplify]: Simplify (- 0) into 0
11.539 * [backup-simplify]: Simplify (+ 0 0) into 0
11.539 * [backup-simplify]: Simplify 0 into 0
11.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.541 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.542 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.543 * [backup-simplify]: Simplify (- 0) into 0
11.543 * [backup-simplify]: Simplify (+ 0 0) into 0
11.543 * [backup-simplify]: Simplify 0 into 0
11.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.545 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.546 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.546 * [backup-simplify]: Simplify (- 0) into 0
11.547 * [backup-simplify]: Simplify (+ 0 0) into 0
11.547 * [backup-simplify]: Simplify 0 into 0
11.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.549 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.551 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.551 * [backup-simplify]: Simplify (- 0) into 0
11.551 * [backup-simplify]: Simplify (+ 0 0) into 0
11.551 * [backup-simplify]: Simplify 0 into 0
11.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
11.553 * [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
11.554 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
11.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.561 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.562 * [backup-simplify]: Simplify (- 0) into 0
11.562 * [backup-simplify]: Simplify (+ 0 0) into 0
11.562 * [backup-simplify]: Simplify 0 into 0
11.563 * [backup-simplify]: Simplify (+ (* (- 12.0) (/ 1 (/ 1 x))) (* 9.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 9.0 (pow x 2)) (* 12.0 x))
11.563 * [backup-simplify]: Simplify (- (* 9.0 (* (/ 1 (- x)) (/ 1 (- x)))) (* (/ 1 (- x)) 12.0)) into (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x)))
11.563 * [approximate]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in (x) around 0
11.563 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in x
11.564 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
11.564 * [taylor]: Taking taylor expansion of 9.0 in x
11.564 * [backup-simplify]: Simplify 9.0 into 9.0
11.564 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.564 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.564 * [taylor]: Taking taylor expansion of x in x
11.564 * [backup-simplify]: Simplify 0 into 0
11.564 * [backup-simplify]: Simplify 1 into 1
11.564 * [backup-simplify]: Simplify (* 1 1) into 1
11.564 * [backup-simplify]: Simplify (/ 1 1) into 1
11.564 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
11.565 * [taylor]: Taking taylor expansion of 12.0 in x
11.565 * [backup-simplify]: Simplify 12.0 into 12.0
11.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.565 * [taylor]: Taking taylor expansion of x in x
11.565 * [backup-simplify]: Simplify 0 into 0
11.565 * [backup-simplify]: Simplify 1 into 1
11.565 * [backup-simplify]: Simplify (/ 1 1) into 1
11.565 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in x
11.565 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
11.565 * [taylor]: Taking taylor expansion of 9.0 in x
11.565 * [backup-simplify]: Simplify 9.0 into 9.0
11.565 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
11.565 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.565 * [taylor]: Taking taylor expansion of x in x
11.565 * [backup-simplify]: Simplify 0 into 0
11.565 * [backup-simplify]: Simplify 1 into 1
11.566 * [backup-simplify]: Simplify (* 1 1) into 1
11.566 * [backup-simplify]: Simplify (/ 1 1) into 1
11.566 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
11.566 * [taylor]: Taking taylor expansion of 12.0 in x
11.566 * [backup-simplify]: Simplify 12.0 into 12.0
11.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.566 * [taylor]: Taking taylor expansion of x in x
11.566 * [backup-simplify]: Simplify 0 into 0
11.566 * [backup-simplify]: Simplify 1 into 1
11.567 * [backup-simplify]: Simplify (/ 1 1) into 1
11.567 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
11.568 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
11.568 * [backup-simplify]: Simplify 9.0 into 9.0
11.568 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.570 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
11.570 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
11.571 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
11.571 * [backup-simplify]: Simplify 12.0 into 12.0
11.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.574 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
11.575 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.576 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
11.576 * [backup-simplify]: Simplify (+ 0 0) into 0
11.576 * [backup-simplify]: Simplify 0 into 0
11.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.579 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.581 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (* 0 1))) into 0
11.581 * [backup-simplify]: Simplify (+ 0 0) into 0
11.581 * [backup-simplify]: Simplify 0 into 0
11.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.584 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.585 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.587 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.587 * [backup-simplify]: Simplify (+ 0 0) into 0
11.587 * [backup-simplify]: Simplify 0 into 0
11.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.591 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.592 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.593 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.594 * [backup-simplify]: Simplify (+ 0 0) into 0
11.594 * [backup-simplify]: Simplify 0 into 0
11.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.598 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.600 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.600 * [backup-simplify]: Simplify (+ 0 0) into 0
11.601 * [backup-simplify]: Simplify 0 into 0
11.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
11.603 * [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
11.605 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
11.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.607 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.607 * [backup-simplify]: Simplify (+ 0 0) into 0
11.607 * [backup-simplify]: Simplify 0 into 0
11.607 * [backup-simplify]: Simplify (+ (* 12.0 (/ 1 (/ 1 (- x)))) (* 9.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 9.0 (pow x 2)) (* 12.0 x))
11.607 * * * [progress]: simplifying candidates
11.608 * [simplify]: Simplifying:
  (* 9.0 (* x x))
  (* 9.0 (* x x))
  (+ (log 9.0) (+ (log x) (log x)))
  (+ (log 9.0) (log (* x x)))
  (log (* 9.0 (* x x)))
  (exp (* 9.0 (* x x)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* x x) x) (* (* x x) x)))
  (* (* (* 9.0 9.0) 9.0) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (* 9.0 (* x x))) (cbrt (* 9.0 (* x x))))
  (cbrt (* 9.0 (* x x)))
  (* (* (* 9.0 (* x x)) (* 9.0 (* x x))) (* 9.0 (* x x)))
  (sqrt (* 9.0 (* x x)))
  (sqrt (* 9.0 (* x x)))
  (* (sqrt 9.0) x)
  (* (sqrt 9.0) x)
  (* 9.0 x)
  (* (cbrt 9.0) (* x x))
  (* (sqrt 9.0) (* x x))
  (* 9.0 (* x x))
  (/ (exp (* 9.0 (* x x))) (exp (* x 12.0)))
  (log (- (* 9.0 (* x x)) (* x 12.0)))
  (exp (- (* 9.0 (* x x)) (* x 12.0)))
  (* (cbrt (- (* 9.0 (* x x)) (* x 12.0))) (cbrt (- (* 9.0 (* x x)) (* x 12.0))))
  (cbrt (- (* 9.0 (* x x)) (* x 12.0)))
  (* (* (- (* 9.0 (* x x)) (* x 12.0)) (- (* 9.0 (* x x)) (* x 12.0))) (- (* 9.0 (* x x)) (* x 12.0)))
  (sqrt (- (* 9.0 (* x x)) (* x 12.0)))
  (sqrt (- (* 9.0 (* x x)) (* x 12.0)))
  (- (pow (* 9.0 (* x x)) 3) (pow (* x 12.0) 3))
  (+ (* (* 9.0 (* x x)) (* 9.0 (* x x))) (+ (* (* x 12.0) (* x 12.0)) (* (* 9.0 (* x x)) (* x 12.0))))
  (- (* x 12.0))
  (- (* (* 9.0 (* x x)) (* 9.0 (* x x))) (* (* x 12.0) (* x 12.0)))
  (+ (* 9.0 (* x x)) (* x 12.0))
  (- (* x 12.0))
  (* 9.0 (pow x 2))
  (* 9.0 (pow x 2))
  (* 9.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))
11.608 * * [simplify]: iteration 0: 59 enodes
11.624 * * [simplify]: iteration 1: 171 enodes
11.688 * * [simplify]: iteration 2: 563 enodes
12.223 * * [simplify]: iteration 3: 2430 enodes
13.378 * * [simplify]: iteration complete: 5001 enodes
13.378 * * [simplify]: Extracting #0: cost 23 inf + 0
13.379 * * [simplify]: Extracting #1: cost 333 inf + 0
13.385 * * [simplify]: Extracting #2: cost 1013 inf + 4669
13.412 * * [simplify]: Extracting #3: cost 993 inf + 65262
13.469 * * [simplify]: Extracting #4: cost 309 inf + 198348
13.550 * * [simplify]: Extracting #5: cost 48 inf + 267575
13.605 * * [simplify]: Extracting #6: cost 10 inf + 275861
13.667 * * [simplify]: Extracting #7: cost 0 inf + 279121
13.751 * [simplify]: Simplified to:
  (* (* 9.0 x) x)
  (* (* 9.0 x) x)
  (log (* (* 9.0 x) x))
  (log (* (* 9.0 x) x))
  (log (* (* 9.0 x) x))
  (exp (* (* 9.0 x) x))
  (* x (* (* (* 9.0 x) x) (* (* (* 9.0 x) x) (* 9.0 x))))
  (* x (* (* (* 9.0 x) x) (* (* (* 9.0 x) x) (* 9.0 x))))
  (* (cbrt (* (* 9.0 x) x)) (cbrt (* (* 9.0 x) x)))
  (cbrt (* (* 9.0 x) x))
  (* x (* (* (* 9.0 x) x) (* (* (* 9.0 x) x) (* 9.0 x))))
  (sqrt (* (* 9.0 x) x))
  (sqrt (* (* 9.0 x) x))
  (* x (sqrt 9.0))
  (* x (sqrt 9.0))
  (* 9.0 x)
  (* (cbrt 9.0) (* x x))
  (* (sqrt 9.0) (* x x))
  (* (* 9.0 x) x)
  (exp (* x (- (* 9.0 x) 12.0)))
  (log (* x (- (* 9.0 x) 12.0)))
  (exp (* x (- (* 9.0 x) 12.0)))
  (* (cbrt (* x (- (* 9.0 x) 12.0))) (cbrt (* x (- (* 9.0 x) 12.0))))
  (cbrt (* x (- (* 9.0 x) 12.0)))
  (* (* (* x (- (* 9.0 x) 12.0)) (* x (- (* 9.0 x) 12.0))) (* x (- (* 9.0 x) 12.0)))
  (sqrt (* x (- (* 9.0 x) 12.0)))
  (sqrt (* x (- (* 9.0 x) 12.0)))
  (* x (* (* x x) (- (* (* 9.0 x) (* (* 9.0 x) (* 9.0 x))) (* 12.0 (* 12.0 12.0)))))
  (* (* x x) (+ (* (* 9.0 x) (+ 12.0 (* 9.0 x))) (* 12.0 12.0)))
  (* 12.0 (- x))
  (* (* x x) (- (* (* 9.0 x) (* 9.0 x)) (* 12.0 12.0)))
  (* x (+ (* 9.0 x) 12.0))
  (* 12.0 (- x))
  (* (* 9.0 x) x)
  (* (* 9.0 x) x)
  (* (* 9.0 x) x)
  (* x (- (* 9.0 x) 12.0))
  (* x (- (* 9.0 x) 12.0))
  (* x (- (* 9.0 x) 12.0))
13.754 * * * [progress]: adding candidates to table
13.891 * [progress]: [Phase 3 of 3] Extracting.
13.891 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (* (sqrt 3.0) (* (sqrt 3.0) (* x (- (* x 3.0) 4.0)))) (* 1.0 3.0)))> #<alt (λ (x) (+ (- (* 9.0 (* x x)) (* x 12.0)) (* 1.0 3.0)))> #<alt (λ (x) (* (* 3.0 (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))) (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))))> #<alt (λ (x) (+ (* 3.0 (* x (- (* 3.0 x) 4.0))) (* 1.0 3.0)))> #<alt (λ (x) (+ (- (* (* (cbrt 9.0) (cbrt 9.0)) (* (cbrt 9.0) (* x x))) (* x 12.0)) (* 1.0 3.0)))> #<alt (λ (x) (+ 3.0 (* x (- (* 9.0 x) 12.0))))>)
13.892 * * * [regime-changes]: Trying 3 branch expressions: ((- (* (* x 3.0) x) (* x 4.0)) (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0) x)
13.892 * * * * [regimes]: Trying to branch on (- (* (* x 3.0) x) (* x 4.0)) from (#<alt (λ (x) (+ (* (sqrt 3.0) (* (sqrt 3.0) (* x (- (* x 3.0) 4.0)))) (* 1.0 3.0)))> #<alt (λ (x) (+ (- (* 9.0 (* x x)) (* x 12.0)) (* 1.0 3.0)))> #<alt (λ (x) (* (* 3.0 (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))) (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))))> #<alt (λ (x) (+ (* 3.0 (* x (- (* 3.0 x) 4.0))) (* 1.0 3.0)))> #<alt (λ (x) (+ (- (* (* (cbrt 9.0) (cbrt 9.0)) (* (cbrt 9.0) (* x x))) (* x 12.0)) (* 1.0 3.0)))> #<alt (λ (x) (+ 3.0 (* x (- (* 9.0 x) 12.0))))>)
13.948 * * * * [regimes]: Trying to branch on (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0) from (#<alt (λ (x) (+ (* (sqrt 3.0) (* (sqrt 3.0) (* x (- (* x 3.0) 4.0)))) (* 1.0 3.0)))> #<alt (λ (x) (+ (- (* 9.0 (* x x)) (* x 12.0)) (* 1.0 3.0)))> #<alt (λ (x) (* (* 3.0 (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))) (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))))> #<alt (λ (x) (+ (* 3.0 (* x (- (* 3.0 x) 4.0))) (* 1.0 3.0)))> #<alt (λ (x) (+ (- (* (* (cbrt 9.0) (cbrt 9.0)) (* (cbrt 9.0) (* x x))) (* x 12.0)) (* 1.0 3.0)))> #<alt (λ (x) (+ 3.0 (* x (- (* 9.0 x) 12.0))))>)
14.002 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (* (sqrt 3.0) (* (sqrt 3.0) (* x (- (* x 3.0) 4.0)))) (* 1.0 3.0)))> #<alt (λ (x) (+ (- (* 9.0 (* x x)) (* x 12.0)) (* 1.0 3.0)))> #<alt (λ (x) (* (* 3.0 (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))) (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))))> #<alt (λ (x) (+ (* 3.0 (* x (- (* 3.0 x) 4.0))) (* 1.0 3.0)))> #<alt (λ (x) (+ (- (* (* (cbrt 9.0) (cbrt 9.0)) (* (cbrt 9.0) (* x x))) (* x 12.0)) (* 1.0 3.0)))> #<alt (λ (x) (+ 3.0 (* x (- (* 9.0 x) 12.0))))>)
14.062 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
14.062 * [simplify]: Simplifying:
  (+ 3.0 (* x (- (* 9.0 x) 12.0)))
14.062 * * [simplify]: iteration 0: 8 enodes
14.063 * * [simplify]: iteration 1: 11 enodes
14.063 * * [simplify]: iteration complete: 11 enodes
14.063 * * [simplify]: Extracting #0: cost 1 inf + 0
14.063 * * [simplify]: Extracting #1: cost 3 inf + 0
14.063 * * [simplify]: Extracting #2: cost 4 inf + 1
14.063 * * [simplify]: Extracting #3: cost 5 inf + 2
14.063 * * [simplify]: Extracting #4: cost 5 inf + 3
14.064 * * [simplify]: Extracting #5: cost 0 inf + 416
14.064 * [simplify]: Simplified to:
  (+ 3.0 (* (- (* 9.0 x) 12.0) x))
15.695 * [regime-testing]: Baseline error score: 0.08834509630478453
15.712 * [regime-testing]: Oracle error score: 0.003948613889326311
15.731 * [regime-testing]: End program error score: 0.08834509630478453
15.805 * [regime-testing]: Target error score: 0.09156836194778155