38.834 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying:
  (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
0.022 * * [simplify]: iteration 0: 10 enodes
0.026 * * [simplify]: iteration 1: 25 enodes
0.037 * * [simplify]: iteration 2: 53 enodes
0.059 * * [simplify]: iteration 3: 115 enodes
0.112 * * [simplify]: iteration 4: 222 enodes
0.210 * * [simplify]: iteration 5: 392 enodes
0.349 * * [simplify]: iteration 6: 572 enodes
0.446 * * [simplify]: iteration 7: 702 enodes
0.539 * * [simplify]: iteration 8: 912 enodes
0.729 * * [simplify]: iteration 9: 1466 enodes
1.358 * * [simplify]: iteration 10: 2742 enodes
2.413 * * [simplify]: iteration 11: 3891 enodes
3.065 * * [simplify]: iteration 12: 4630 enodes
3.269 * * [simplify]: iteration complete: 5000 enodes
3.269 * * [simplify]: Extracting #0: cost 1 inf + 0
3.269 * * [simplify]: Extracting #1: cost 35 inf + 0
3.269 * * [simplify]: Extracting #2: cost 100 inf + 42
3.271 * * [simplify]: Extracting #3: cost 128 inf + 2702
3.278 * * [simplify]: Extracting #4: cost 15 inf + 17777
3.288 * * [simplify]: Extracting #5: cost 0 inf + 20101
3.298 * [simplify]: Simplified to:
  (* 3.0 (- 1.0 (* (- 4.0 (* x 3.0)) x)))
3.304 * * [progress]: iteration 1 / 4
3.304 * * * [progress]: picking best candidate
3.312 * * * * [pick]: Picked  #<alt (λ (x) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))>
3.312 * * * [progress]: localizing error
3.332 * * * [progress]: generating rewritten candidates
3.332 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 1)
3.358 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
3.599 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
3.621 * * * [progress]: generating series expansions
3.621 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 1)
3.622 * [backup-simplify]: Simplify (* (* x 3.0) x) into (* 3.0 (pow x 2))
3.622 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
3.622 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
3.622 * [taylor]: Taking taylor expansion of 3.0 in x
3.622 * [backup-simplify]: Simplify 3.0 into 3.0
3.622 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.622 * [taylor]: Taking taylor expansion of x in x
3.622 * [backup-simplify]: Simplify 0 into 0
3.622 * [backup-simplify]: Simplify 1 into 1
3.622 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
3.622 * [taylor]: Taking taylor expansion of 3.0 in x
3.622 * [backup-simplify]: Simplify 3.0 into 3.0
3.622 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.622 * [taylor]: Taking taylor expansion of x in x
3.622 * [backup-simplify]: Simplify 0 into 0
3.622 * [backup-simplify]: Simplify 1 into 1
3.623 * [backup-simplify]: Simplify (* 1 1) into 1
3.623 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.623 * [backup-simplify]: Simplify 3.0 into 3.0
3.624 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.625 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
3.625 * [backup-simplify]: Simplify 0 into 0
3.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.626 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
3.626 * [backup-simplify]: Simplify 0 into 0
3.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.627 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.627 * [backup-simplify]: Simplify 0 into 0
3.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.629 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.629 * [backup-simplify]: Simplify 0 into 0
3.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.630 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.630 * [backup-simplify]: Simplify 0 into 0
3.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.632 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.632 * [backup-simplify]: Simplify 0 into 0
3.632 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
3.632 * [backup-simplify]: Simplify (* (* (/ 1 x) 3.0) (/ 1 x)) into (/ 3.0 (pow x 2))
3.633 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
3.633 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
3.633 * [taylor]: Taking taylor expansion of 3.0 in x
3.633 * [backup-simplify]: Simplify 3.0 into 3.0
3.633 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.633 * [taylor]: Taking taylor expansion of x in x
3.633 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify 1 into 1
3.633 * [backup-simplify]: Simplify (* 1 1) into 1
3.633 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
3.633 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
3.633 * [taylor]: Taking taylor expansion of 3.0 in x
3.633 * [backup-simplify]: Simplify 3.0 into 3.0
3.633 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.633 * [taylor]: Taking taylor expansion of x in x
3.633 * [backup-simplify]: Simplify 0 into 0
3.633 * [backup-simplify]: Simplify 1 into 1
3.634 * [backup-simplify]: Simplify (* 1 1) into 1
3.634 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
3.634 * [backup-simplify]: Simplify 3.0 into 3.0
3.634 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.635 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
3.635 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.636 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.636 * [backup-simplify]: Simplify 0 into 0
3.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.637 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.637 * [backup-simplify]: Simplify 0 into 0
3.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.638 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.638 * [backup-simplify]: Simplify 0 into 0
3.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.640 * [backup-simplify]: Simplify 0 into 0
3.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.641 * [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.641 * [backup-simplify]: Simplify 0 into 0
3.641 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
3.641 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) into (/ 3.0 (pow x 2))
3.641 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
3.641 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
3.642 * [taylor]: Taking taylor expansion of 3.0 in x
3.642 * [backup-simplify]: Simplify 3.0 into 3.0
3.642 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.642 * [taylor]: Taking taylor expansion of x in x
3.642 * [backup-simplify]: Simplify 0 into 0
3.642 * [backup-simplify]: Simplify 1 into 1
3.642 * [backup-simplify]: Simplify (* 1 1) into 1
3.642 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
3.642 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
3.642 * [taylor]: Taking taylor expansion of 3.0 in x
3.642 * [backup-simplify]: Simplify 3.0 into 3.0
3.642 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.642 * [taylor]: Taking taylor expansion of x in x
3.642 * [backup-simplify]: Simplify 0 into 0
3.642 * [backup-simplify]: Simplify 1 into 1
3.643 * [backup-simplify]: Simplify (* 1 1) into 1
3.643 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
3.643 * [backup-simplify]: Simplify 3.0 into 3.0
3.643 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
3.644 * [backup-simplify]: Simplify 0 into 0
3.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.645 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.645 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.646 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.646 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.648 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.648 * [backup-simplify]: Simplify 0 into 0
3.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.650 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.650 * [backup-simplify]: Simplify 0 into 0
3.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.652 * [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.652 * [backup-simplify]: Simplify 0 into 0
3.652 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
3.652 * * * * [progress]: [ 2 / 3 ] generating series at (2)
3.652 * [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.652 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in (x) around 0
3.652 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
3.653 * [taylor]: Taking taylor expansion of 3.0 in x
3.653 * [backup-simplify]: Simplify 3.0 into 3.0
3.653 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
3.653 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
3.653 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
3.653 * [taylor]: Taking taylor expansion of 3.0 in x
3.653 * [backup-simplify]: Simplify 3.0 into 3.0
3.653 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.653 * [taylor]: Taking taylor expansion of x in x
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify 1 into 1
3.653 * [taylor]: Taking taylor expansion of 1.0 in x
3.653 * [backup-simplify]: Simplify 1.0 into 1.0
3.653 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
3.653 * [taylor]: Taking taylor expansion of 4.0 in x
3.653 * [backup-simplify]: Simplify 4.0 into 4.0
3.653 * [taylor]: Taking taylor expansion of x in x
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify 1 into 1
3.653 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
3.653 * [taylor]: Taking taylor expansion of 3.0 in x
3.653 * [backup-simplify]: Simplify 3.0 into 3.0
3.653 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
3.653 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
3.653 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
3.653 * [taylor]: Taking taylor expansion of 3.0 in x
3.653 * [backup-simplify]: Simplify 3.0 into 3.0
3.653 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.653 * [taylor]: Taking taylor expansion of x in x
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify 1 into 1
3.653 * [taylor]: Taking taylor expansion of 1.0 in x
3.653 * [backup-simplify]: Simplify 1.0 into 1.0
3.653 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
3.653 * [taylor]: Taking taylor expansion of 4.0 in x
3.653 * [backup-simplify]: Simplify 4.0 into 4.0
3.653 * [taylor]: Taking taylor expansion of x in x
3.653 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify 1 into 1
3.654 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.654 * [backup-simplify]: Simplify (* 4.0 0) into 0
3.655 * [backup-simplify]: Simplify (- 0) into 0
3.655 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.655 * [backup-simplify]: Simplify (* 3.0 1.0) into 3.0
3.655 * [backup-simplify]: Simplify 3.0 into 3.0
3.656 * [backup-simplify]: Simplify (+ 0 0) into 0
3.657 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
3.657 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.658 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
3.660 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 1.0)) into (- 12.0)
3.660 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
3.660 * [backup-simplify]: Simplify (* 1 1) into 1
3.661 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.661 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.662 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
3.662 * [backup-simplify]: Simplify (- 0) into 0
3.663 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.665 * [backup-simplify]: Simplify (+ (* 3.0 3.0) (+ (* 0 (- 4.0)) (* 0 1.0))) into 9.0
3.665 * [backup-simplify]: Simplify 9.0 into 9.0
3.665 * [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.665 * [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.666 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in (x) around 0
3.666 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in x
3.666 * [taylor]: Taking taylor expansion of 3.0 in x
3.666 * [backup-simplify]: Simplify 3.0 into 3.0
3.666 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
3.666 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
3.666 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.666 * [taylor]: Taking taylor expansion of 3.0 in x
3.666 * [backup-simplify]: Simplify 3.0 into 3.0
3.666 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.666 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.666 * [taylor]: Taking taylor expansion of x in x
3.666 * [backup-simplify]: Simplify 0 into 0
3.666 * [backup-simplify]: Simplify 1 into 1
3.666 * [backup-simplify]: Simplify (* 1 1) into 1
3.666 * [backup-simplify]: Simplify (/ 1 1) into 1
3.667 * [taylor]: Taking taylor expansion of 1.0 in x
3.667 * [backup-simplify]: Simplify 1.0 into 1.0
3.667 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.667 * [taylor]: Taking taylor expansion of 4.0 in x
3.667 * [backup-simplify]: Simplify 4.0 into 4.0
3.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.667 * [taylor]: Taking taylor expansion of x in x
3.667 * [backup-simplify]: Simplify 0 into 0
3.667 * [backup-simplify]: Simplify 1 into 1
3.667 * [backup-simplify]: Simplify (/ 1 1) into 1
3.667 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x)))) in x
3.667 * [taylor]: Taking taylor expansion of 3.0 in x
3.667 * [backup-simplify]: Simplify 3.0 into 3.0
3.667 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 1.0) (* 4.0 (/ 1 x))) in x
3.667 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 1.0) in x
3.667 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.667 * [taylor]: Taking taylor expansion of 3.0 in x
3.667 * [backup-simplify]: Simplify 3.0 into 3.0
3.667 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.667 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.667 * [taylor]: Taking taylor expansion of x in x
3.667 * [backup-simplify]: Simplify 0 into 0
3.667 * [backup-simplify]: Simplify 1 into 1
3.668 * [backup-simplify]: Simplify (* 1 1) into 1
3.668 * [backup-simplify]: Simplify (/ 1 1) into 1
3.668 * [taylor]: Taking taylor expansion of 1.0 in x
3.668 * [backup-simplify]: Simplify 1.0 into 1.0
3.668 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.668 * [taylor]: Taking taylor expansion of 4.0 in x
3.668 * [backup-simplify]: Simplify 4.0 into 4.0
3.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.668 * [taylor]: Taking taylor expansion of x in x
3.668 * [backup-simplify]: Simplify 0 into 0
3.668 * [backup-simplify]: Simplify 1 into 1
3.669 * [backup-simplify]: Simplify (/ 1 1) into 1
3.669 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.669 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.670 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.670 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
3.670 * [backup-simplify]: Simplify 9.0 into 9.0
3.671 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.672 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
3.672 * [backup-simplify]: Simplify (+ 0 0) into 0
3.673 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
3.673 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.674 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
3.675 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 3.0)) into (- 12.0)
3.676 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
3.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.678 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
3.678 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.679 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
3.680 * [backup-simplify]: Simplify (- 0) into 0
3.680 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.682 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 (- 4.0)) (* 0 3.0))) into 3.0
3.682 * [backup-simplify]: Simplify 3.0 into 3.0
3.683 * [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.683 * [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.683 * [approximate]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in (x) around 0
3.683 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
3.683 * [taylor]: Taking taylor expansion of 3.0 in x
3.683 * [backup-simplify]: Simplify 3.0 into 3.0
3.683 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
3.683 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.683 * [taylor]: Taking taylor expansion of 3.0 in x
3.683 * [backup-simplify]: Simplify 3.0 into 3.0
3.683 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.683 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.683 * [taylor]: Taking taylor expansion of x in x
3.684 * [backup-simplify]: Simplify 0 into 0
3.684 * [backup-simplify]: Simplify 1 into 1
3.684 * [backup-simplify]: Simplify (* 1 1) into 1
3.684 * [backup-simplify]: Simplify (/ 1 1) into 1
3.684 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
3.684 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.684 * [taylor]: Taking taylor expansion of 4.0 in x
3.684 * [backup-simplify]: Simplify 4.0 into 4.0
3.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.684 * [taylor]: Taking taylor expansion of x in x
3.684 * [backup-simplify]: Simplify 0 into 0
3.684 * [backup-simplify]: Simplify 1 into 1
3.685 * [backup-simplify]: Simplify (/ 1 1) into 1
3.685 * [taylor]: Taking taylor expansion of 1.0 in x
3.685 * [backup-simplify]: Simplify 1.0 into 1.0
3.685 * [taylor]: Taking taylor expansion of (* 3.0 (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0))) in x
3.685 * [taylor]: Taking taylor expansion of 3.0 in x
3.685 * [backup-simplify]: Simplify 3.0 into 3.0
3.685 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 4.0 (/ 1 x)) 1.0)) in x
3.685 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.685 * [taylor]: Taking taylor expansion of 3.0 in x
3.685 * [backup-simplify]: Simplify 3.0 into 3.0
3.685 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.685 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.685 * [taylor]: Taking taylor expansion of x in x
3.685 * [backup-simplify]: Simplify 0 into 0
3.685 * [backup-simplify]: Simplify 1 into 1
3.685 * [backup-simplify]: Simplify (* 1 1) into 1
3.686 * [backup-simplify]: Simplify (/ 1 1) into 1
3.686 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 1.0) in x
3.686 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.686 * [taylor]: Taking taylor expansion of 4.0 in x
3.686 * [backup-simplify]: Simplify 4.0 into 4.0
3.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.686 * [taylor]: Taking taylor expansion of x in x
3.686 * [backup-simplify]: Simplify 0 into 0
3.686 * [backup-simplify]: Simplify 1 into 1
3.686 * [backup-simplify]: Simplify (/ 1 1) into 1
3.686 * [taylor]: Taking taylor expansion of 1.0 in x
3.686 * [backup-simplify]: Simplify 1.0 into 1.0
3.687 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.687 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.687 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
3.687 * [backup-simplify]: Simplify 9.0 into 9.0
3.688 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.689 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
3.690 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
3.690 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
3.690 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
3.692 * [backup-simplify]: Simplify (+ (* 3.0 4.0) (* 0 3.0)) into 12.0
3.692 * [backup-simplify]: Simplify 12.0 into 12.0
3.692 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.694 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
3.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.695 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
3.695 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.696 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.698 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 4.0) (* 0 3.0))) into 3.0
3.698 * [backup-simplify]: Simplify 3.0 into 3.0
3.698 * [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.698 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
3.698 * [backup-simplify]: Simplify (- (* (* x 3.0) x) (* x 4.0)) into (- (* 3.0 (pow x 2)) (* 4.0 x))
3.698 * [approximate]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in (x) around 0
3.698 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in x
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 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
3.698 * [taylor]: Taking taylor expansion of 4.0 in x
3.699 * [backup-simplify]: Simplify 4.0 into 4.0
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 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in x
3.699 * [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 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
3.699 * [taylor]: Taking taylor expansion of 4.0 in x
3.699 * [backup-simplify]: Simplify 4.0 into 4.0
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 (* 4.0 0) into 0
3.700 * [backup-simplify]: Simplify (- 0) into 0
3.700 * [backup-simplify]: Simplify (+ 0 0) into 0
3.700 * [backup-simplify]: Simplify 0 into 0
3.701 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
3.701 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.702 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
3.703 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.703 * [backup-simplify]: Simplify (* 1 1) into 1
3.703 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.704 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
3.704 * [backup-simplify]: Simplify (- 0) into 0
3.705 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.705 * [backup-simplify]: Simplify 3.0 into 3.0
3.705 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.706 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
3.707 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.707 * [backup-simplify]: Simplify (- 0) into 0
3.707 * [backup-simplify]: Simplify (+ 0 0) into 0
3.707 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.709 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
3.710 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.710 * [backup-simplify]: Simplify (- 0) into 0
3.711 * [backup-simplify]: Simplify (+ 0 0) into 0
3.711 * [backup-simplify]: Simplify 0 into 0
3.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.712 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.714 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
3.714 * [backup-simplify]: Simplify (- 0) into 0
3.714 * [backup-simplify]: Simplify (+ 0 0) into 0
3.714 * [backup-simplify]: Simplify 0 into 0
3.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.716 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.717 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
3.718 * [backup-simplify]: Simplify (- 0) into 0
3.718 * [backup-simplify]: Simplify (+ 0 0) 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 (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.721 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
3.721 * [backup-simplify]: Simplify (- 0) into 0
3.721 * [backup-simplify]: Simplify (+ 0 0) into 0
3.721 * [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 (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.724 * [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.724 * [backup-simplify]: Simplify (- 0) into 0
3.724 * [backup-simplify]: Simplify (+ 0 0) into 0
3.724 * [backup-simplify]: Simplify 0 into 0
3.725 * [backup-simplify]: Simplify (+ (* 3.0 (pow x 2)) (* (- 4.0) x)) into (- (* 3.0 (pow x 2)) (* 4.0 x))
3.725 * [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.725 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in (x) around 0
3.725 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
3.725 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.725 * [taylor]: Taking taylor expansion of 3.0 in x
3.725 * [backup-simplify]: Simplify 3.0 into 3.0
3.725 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.725 * [taylor]: Taking taylor expansion of (pow x 2) in x
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 (* 1 1) into 1
3.726 * [backup-simplify]: Simplify (/ 1 1) into 1
3.726 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.726 * [taylor]: Taking taylor expansion of 4.0 in x
3.726 * [backup-simplify]: Simplify 4.0 into 4.0
3.726 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.726 * [taylor]: Taking taylor expansion of x in x
3.726 * [backup-simplify]: Simplify 0 into 0
3.726 * [backup-simplify]: Simplify 1 into 1
3.726 * [backup-simplify]: Simplify (/ 1 1) into 1
3.726 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
3.726 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.726 * [taylor]: Taking taylor expansion of 3.0 in x
3.726 * [backup-simplify]: Simplify 3.0 into 3.0
3.726 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.726 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.726 * [taylor]: Taking taylor expansion of x in x
3.726 * [backup-simplify]: Simplify 0 into 0
3.726 * [backup-simplify]: Simplify 1 into 1
3.726 * [backup-simplify]: Simplify (* 1 1) into 1
3.727 * [backup-simplify]: Simplify (/ 1 1) into 1
3.727 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.727 * [taylor]: Taking taylor expansion of 4.0 in x
3.727 * [backup-simplify]: Simplify 4.0 into 4.0
3.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.727 * [taylor]: Taking taylor expansion of x in x
3.727 * [backup-simplify]: Simplify 0 into 0
3.727 * [backup-simplify]: Simplify 1 into 1
3.727 * [backup-simplify]: Simplify (/ 1 1) into 1
3.727 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.728 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.728 * [backup-simplify]: Simplify 3.0 into 3.0
3.728 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.734 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
3.734 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
3.735 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.735 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
3.735 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
3.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.737 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
3.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.738 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
3.738 * [backup-simplify]: Simplify (- 0) into 0
3.739 * [backup-simplify]: Simplify (+ 0 0) into 0
3.739 * [backup-simplify]: Simplify 0 into 0
3.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.741 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.743 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
3.743 * [backup-simplify]: Simplify (- 0) into 0
3.743 * [backup-simplify]: Simplify (+ 0 0) into 0
3.743 * [backup-simplify]: Simplify 0 into 0
3.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.746 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.748 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.748 * [backup-simplify]: Simplify (- 0) into 0
3.749 * [backup-simplify]: Simplify (+ 0 0) into 0
3.749 * [backup-simplify]: Simplify 0 into 0
3.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.752 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.753 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.754 * [backup-simplify]: Simplify (- 0) into 0
3.754 * [backup-simplify]: Simplify (+ 0 0) into 0
3.754 * [backup-simplify]: Simplify 0 into 0
3.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.756 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.757 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.759 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.759 * [backup-simplify]: Simplify (- 0) into 0
3.759 * [backup-simplify]: Simplify (+ 0 0) into 0
3.759 * [backup-simplify]: Simplify 0 into 0
3.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.761 * [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.762 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.762 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.763 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.763 * [backup-simplify]: Simplify (- 0) into 0
3.764 * [backup-simplify]: Simplify (+ 0 0) into 0
3.764 * [backup-simplify]: Simplify 0 into 0
3.764 * [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.764 * [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.764 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in (x) around 0
3.764 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
3.764 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.764 * [taylor]: Taking taylor expansion of 3.0 in x
3.764 * [backup-simplify]: Simplify 3.0 into 3.0
3.764 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.764 * [taylor]: Taking taylor expansion of (pow x 2) 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.765 * [backup-simplify]: Simplify (* 1 1) into 1
3.765 * [backup-simplify]: Simplify (/ 1 1) into 1
3.765 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.765 * [taylor]: Taking taylor expansion of 4.0 in x
3.765 * [backup-simplify]: Simplify 4.0 into 4.0
3.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.765 * [taylor]: Taking taylor expansion of x in x
3.765 * [backup-simplify]: Simplify 0 into 0
3.765 * [backup-simplify]: Simplify 1 into 1
3.765 * [backup-simplify]: Simplify (/ 1 1) into 1
3.765 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
3.765 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
3.765 * [taylor]: Taking taylor expansion of 3.0 in x
3.765 * [backup-simplify]: Simplify 3.0 into 3.0
3.765 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.765 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.765 * [taylor]: Taking taylor expansion of x in x
3.765 * [backup-simplify]: Simplify 0 into 0
3.765 * [backup-simplify]: Simplify 1 into 1
3.766 * [backup-simplify]: Simplify (* 1 1) into 1
3.766 * [backup-simplify]: Simplify (/ 1 1) into 1
3.766 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
3.766 * [taylor]: Taking taylor expansion of 4.0 in x
3.766 * [backup-simplify]: Simplify 4.0 into 4.0
3.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.766 * [taylor]: Taking taylor expansion of x in x
3.766 * [backup-simplify]: Simplify 0 into 0
3.766 * [backup-simplify]: Simplify 1 into 1
3.766 * [backup-simplify]: Simplify (/ 1 1) into 1
3.767 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
3.767 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
3.767 * [backup-simplify]: Simplify 3.0 into 3.0
3.767 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.768 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
3.769 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
3.769 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
3.769 * [backup-simplify]: Simplify 4.0 into 4.0
3.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.771 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
3.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.771 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
3.772 * [backup-simplify]: Simplify (+ 0 0) into 0
3.772 * [backup-simplify]: Simplify 0 into 0
3.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.773 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.775 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
3.775 * [backup-simplify]: Simplify (+ 0 0) into 0
3.775 * [backup-simplify]: Simplify 0 into 0
3.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.777 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.777 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.778 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.778 * [backup-simplify]: Simplify (+ 0 0) into 0
3.778 * [backup-simplify]: Simplify 0 into 0
3.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.780 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.782 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.782 * [backup-simplify]: Simplify (+ 0 0) into 0
3.782 * [backup-simplify]: Simplify 0 into 0
3.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.784 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.786 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.786 * [backup-simplify]: Simplify (+ 0 0) into 0
3.786 * [backup-simplify]: Simplify 0 into 0
3.787 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.788 * [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.789 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.791 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.791 * [backup-simplify]: Simplify (+ 0 0) into 0
3.791 * [backup-simplify]: Simplify 0 into 0
3.792 * [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.792 * * * [progress]: simplifying candidates
3.793 * [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.794 * * [simplify]: iteration 0: 105 enodes
3.835 * * [simplify]: iteration 1: 302 enodes
4.004 * * [simplify]: iteration 2: 1124 enodes
4.712 * * [simplify]: iteration complete: 5001 enodes
4.712 * * [simplify]: Extracting #0: cost 44 inf + 0
4.714 * * [simplify]: Extracting #1: cost 634 inf + 1
4.724 * * [simplify]: Extracting #2: cost 1786 inf + 4727
4.754 * * [simplify]: Extracting #3: cost 1907 inf + 83531
4.847 * * [simplify]: Extracting #4: cost 600 inf + 389673
5.015 * * [simplify]: Extracting #5: cost 25 inf + 569326
5.146 * * [simplify]: Extracting #6: cost 0 inf + 576931
5.301 * [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.307 * * * [progress]: adding candidates to table
5.572 * * [progress]: iteration 2 / 4
5.572 * * * [progress]: picking best candidate
5.602 * * * * [pick]: Picked  #<alt (λ (x) (+ 3.0 (* x (- (* 9.0 x) 12.0))))>
5.602 * * * [progress]: localizing error
5.611 * * * [progress]: generating rewritten candidates
5.611 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
5.633 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
5.644 * * * [progress]: generating series expansions
5.644 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
5.644 * [backup-simplify]: Simplify (* x (- (* 9.0 x) 12.0)) into (* x (- (* 9.0 x) 12.0))
5.644 * [approximate]: Taking taylor expansion of (* x (- (* 9.0 x) 12.0)) in (x) around 0
5.644 * [taylor]: Taking taylor expansion of (* x (- (* 9.0 x) 12.0)) in x
5.645 * [taylor]: Taking taylor expansion of x in x
5.645 * [backup-simplify]: Simplify 0 into 0
5.645 * [backup-simplify]: Simplify 1 into 1
5.645 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
5.645 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
5.645 * [taylor]: Taking taylor expansion of 9.0 in x
5.645 * [backup-simplify]: Simplify 9.0 into 9.0
5.645 * [taylor]: Taking taylor expansion of x in x
5.645 * [backup-simplify]: Simplify 0 into 0
5.645 * [backup-simplify]: Simplify 1 into 1
5.645 * [taylor]: Taking taylor expansion of 12.0 in x
5.645 * [backup-simplify]: Simplify 12.0 into 12.0
5.645 * [taylor]: Taking taylor expansion of (* x (- (* 9.0 x) 12.0)) in x
5.645 * [taylor]: Taking taylor expansion of x in x
5.645 * [backup-simplify]: Simplify 0 into 0
5.645 * [backup-simplify]: Simplify 1 into 1
5.645 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
5.645 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
5.645 * [taylor]: Taking taylor expansion of 9.0 in x
5.645 * [backup-simplify]: Simplify 9.0 into 9.0
5.645 * [taylor]: Taking taylor expansion of x in x
5.645 * [backup-simplify]: Simplify 0 into 0
5.645 * [backup-simplify]: Simplify 1 into 1
5.645 * [taylor]: Taking taylor expansion of 12.0 in x
5.645 * [backup-simplify]: Simplify 12.0 into 12.0
5.646 * [backup-simplify]: Simplify (* 9.0 0) into 0
5.646 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.647 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
5.647 * [backup-simplify]: Simplify (* 0 (- 12.0)) into 0
5.648 * [backup-simplify]: Simplify 0 into 0
5.649 * [backup-simplify]: Simplify (+ (* 9.0 1) (* 0 0)) into 9.0
5.649 * [backup-simplify]: Simplify (- 0) into 0
5.650 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.652 * [backup-simplify]: Simplify (+ (* 0 9.0) (* 1 (- 12.0))) into (- 12.0)
5.652 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.653 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 1) (* 0 0))) into 0
5.653 * [backup-simplify]: Simplify (- 0) into 0
5.653 * [backup-simplify]: Simplify (+ 0 0) into 0
5.659 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 9.0) (* 0 (- 12.0)))) into 9.0
5.659 * [backup-simplify]: Simplify 9.0 into 9.0
5.659 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.660 * [backup-simplify]: Simplify (- 0) into 0
5.660 * [backup-simplify]: Simplify (+ 0 0) into 0
5.661 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 9.0) (* 0 (- 12.0))))) into 0
5.661 * [backup-simplify]: Simplify 0 into 0
5.662 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.662 * [backup-simplify]: Simplify (- 0) into 0
5.662 * [backup-simplify]: Simplify (+ 0 0) into 0
5.663 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 9.0) (* 0 (- 12.0)))))) into 0
5.663 * [backup-simplify]: Simplify 0 into 0
5.664 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.664 * [backup-simplify]: Simplify (- 0) into 0
5.664 * [backup-simplify]: Simplify (+ 0 0) into 0
5.665 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 9.0) (* 0 (- 12.0))))))) into 0
5.665 * [backup-simplify]: Simplify 0 into 0
5.666 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.667 * [backup-simplify]: Simplify (- 0) into 0
5.667 * [backup-simplify]: Simplify (+ 0 0) into 0
5.668 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 9.0) (* 0 (- 12.0)))))))) into 0
5.668 * [backup-simplify]: Simplify 0 into 0
5.669 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.669 * [backup-simplify]: Simplify (- 0) into 0
5.669 * [backup-simplify]: Simplify (+ 0 0) into 0
5.671 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 9.0) (* 0 (- 12.0))))))))) into 0
5.671 * [backup-simplify]: Simplify 0 into 0
5.672 * [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.672 * [backup-simplify]: Simplify (- 0) into 0
5.672 * [backup-simplify]: Simplify (+ 0 0) into 0
5.674 * [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.674 * [backup-simplify]: Simplify 0 into 0
5.674 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (* (- 12.0) x)) into (- (* 9.0 (pow x 2)) (* 12.0 x))
5.674 * [backup-simplify]: Simplify (* (/ 1 x) (- (* 9.0 (/ 1 x)) 12.0)) into (/ (- (* 9.0 (/ 1 x)) 12.0) x)
5.674 * [approximate]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in (x) around 0
5.674 * [taylor]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in x
5.674 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
5.674 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.674 * [taylor]: Taking taylor expansion of 9.0 in x
5.674 * [backup-simplify]: Simplify 9.0 into 9.0
5.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.674 * [taylor]: Taking taylor expansion of x in x
5.675 * [backup-simplify]: Simplify 0 into 0
5.675 * [backup-simplify]: Simplify 1 into 1
5.675 * [backup-simplify]: Simplify (/ 1 1) into 1
5.675 * [taylor]: Taking taylor expansion of 12.0 in x
5.675 * [backup-simplify]: Simplify 12.0 into 12.0
5.675 * [taylor]: Taking taylor expansion of x in x
5.675 * [backup-simplify]: Simplify 0 into 0
5.675 * [backup-simplify]: Simplify 1 into 1
5.675 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.675 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.676 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
5.676 * [taylor]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in x
5.676 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
5.676 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.676 * [taylor]: Taking taylor expansion of 9.0 in x
5.676 * [backup-simplify]: Simplify 9.0 into 9.0
5.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.676 * [taylor]: Taking taylor expansion of x in x
5.676 * [backup-simplify]: Simplify 0 into 0
5.676 * [backup-simplify]: Simplify 1 into 1
5.676 * [backup-simplify]: Simplify (/ 1 1) into 1
5.676 * [taylor]: Taking taylor expansion of 12.0 in x
5.676 * [backup-simplify]: Simplify 12.0 into 12.0
5.676 * [taylor]: Taking taylor expansion of x in x
5.676 * [backup-simplify]: Simplify 0 into 0
5.676 * [backup-simplify]: Simplify 1 into 1
5.677 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.677 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.677 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
5.677 * [backup-simplify]: Simplify 9.0 into 9.0
5.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.678 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
5.678 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.679 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
5.681 * [backup-simplify]: Simplify (- (/ (- 12.0) 1) (+ (* 9.0 (/ 0 1)))) into (- 12.0)
5.681 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.682 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
5.682 * [backup-simplify]: Simplify (- 0) into 0
5.682 * [backup-simplify]: Simplify (+ 0 0) into 0
5.683 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)))) into 0
5.683 * [backup-simplify]: Simplify 0 into 0
5.684 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.684 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.684 * [backup-simplify]: Simplify (- 0) into 0
5.685 * [backup-simplify]: Simplify (+ 0 0) into 0
5.685 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.685 * [backup-simplify]: Simplify 0 into 0
5.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.687 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.687 * [backup-simplify]: Simplify (- 0) into 0
5.687 * [backup-simplify]: Simplify (+ 0 0) into 0
5.688 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.688 * [backup-simplify]: Simplify 0 into 0
5.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.689 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.690 * [backup-simplify]: Simplify (- 0) into 0
5.690 * [backup-simplify]: Simplify (+ 0 0) into 0
5.691 * [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.691 * [backup-simplify]: Simplify 0 into 0
5.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.693 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.693 * [backup-simplify]: Simplify (- 0) into 0
5.694 * [backup-simplify]: Simplify (+ 0 0) into 0
5.695 * [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.695 * [backup-simplify]: Simplify 0 into 0
5.696 * [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.697 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.697 * [backup-simplify]: Simplify (- 0) into 0
5.697 * [backup-simplify]: Simplify (+ 0 0) into 0
5.698 * [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.698 * [backup-simplify]: Simplify 0 into 0
5.699 * [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.699 * [backup-simplify]: Simplify (* (/ 1 (- x)) (- (* 9.0 (/ 1 (- x))) 12.0)) into (/ (+ (* 9.0 (/ 1 x)) 12.0) x)
5.699 * [approximate]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 12.0) x) in (x) around 0
5.699 * [taylor]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 12.0) x) in x
5.699 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
5.699 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.699 * [taylor]: Taking taylor expansion of 9.0 in x
5.699 * [backup-simplify]: Simplify 9.0 into 9.0
5.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.699 * [taylor]: Taking taylor expansion of x in x
5.699 * [backup-simplify]: Simplify 0 into 0
5.699 * [backup-simplify]: Simplify 1 into 1
5.699 * [backup-simplify]: Simplify (/ 1 1) into 1
5.699 * [taylor]: Taking taylor expansion of 12.0 in x
5.699 * [backup-simplify]: Simplify 12.0 into 12.0
5.699 * [taylor]: Taking taylor expansion of x in x
5.699 * [backup-simplify]: Simplify 0 into 0
5.699 * [backup-simplify]: Simplify 1 into 1
5.699 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.700 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.700 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
5.700 * [taylor]: Taking taylor expansion of (/ (+ (* 9.0 (/ 1 x)) 12.0) x) in x
5.700 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
5.700 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.700 * [taylor]: Taking taylor expansion of 9.0 in x
5.700 * [backup-simplify]: Simplify 9.0 into 9.0
5.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.700 * [taylor]: Taking taylor expansion of x in x
5.700 * [backup-simplify]: Simplify 0 into 0
5.700 * [backup-simplify]: Simplify 1 into 1
5.700 * [backup-simplify]: Simplify (/ 1 1) into 1
5.700 * [taylor]: Taking taylor expansion of 12.0 in x
5.700 * [backup-simplify]: Simplify 12.0 into 12.0
5.701 * [taylor]: Taking taylor expansion of x in x
5.701 * [backup-simplify]: Simplify 0 into 0
5.701 * [backup-simplify]: Simplify 1 into 1
5.701 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.701 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.701 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
5.701 * [backup-simplify]: Simplify 9.0 into 9.0
5.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.702 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
5.703 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
5.704 * [backup-simplify]: Simplify (- (/ 12.0 1) (+ (* 9.0 (/ 0 1)))) into 12.0
5.704 * [backup-simplify]: Simplify 12.0 into 12.0
5.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.705 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
5.705 * [backup-simplify]: Simplify (+ 0 0) into 0
5.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)))) into 0
5.706 * [backup-simplify]: Simplify 0 into 0
5.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.708 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.708 * [backup-simplify]: Simplify (+ 0 0) into 0
5.709 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.709 * [backup-simplify]: Simplify 0 into 0
5.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.710 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.710 * [backup-simplify]: Simplify (+ 0 0) into 0
5.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.711 * [backup-simplify]: Simplify 0 into 0
5.711 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.712 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.713 * [backup-simplify]: Simplify (+ 0 0) into 0
5.713 * [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.713 * [backup-simplify]: Simplify 0 into 0
5.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.715 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.715 * [backup-simplify]: Simplify (+ 0 0) into 0
5.716 * [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.716 * [backup-simplify]: Simplify 0 into 0
5.716 * [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.717 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.718 * [backup-simplify]: Simplify (+ 0 0) into 0
5.718 * [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.718 * [backup-simplify]: Simplify 0 into 0
5.719 * [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.719 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
5.719 * [backup-simplify]: Simplify (- (* 9.0 x) 12.0) into (- (* 9.0 x) 12.0)
5.719 * [approximate]: Taking taylor expansion of (- (* 9.0 x) 12.0) in (x) around 0
5.719 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
5.719 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
5.719 * [taylor]: Taking taylor expansion of 9.0 in x
5.719 * [backup-simplify]: Simplify 9.0 into 9.0
5.719 * [taylor]: Taking taylor expansion of x in x
5.719 * [backup-simplify]: Simplify 0 into 0
5.719 * [backup-simplify]: Simplify 1 into 1
5.719 * [taylor]: Taking taylor expansion of 12.0 in x
5.719 * [backup-simplify]: Simplify 12.0 into 12.0
5.719 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
5.719 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
5.719 * [taylor]: Taking taylor expansion of 9.0 in x
5.719 * [backup-simplify]: Simplify 9.0 into 9.0
5.719 * [taylor]: Taking taylor expansion of x in x
5.719 * [backup-simplify]: Simplify 0 into 0
5.719 * [backup-simplify]: Simplify 1 into 1
5.719 * [taylor]: Taking taylor expansion of 12.0 in x
5.719 * [backup-simplify]: Simplify 12.0 into 12.0
5.720 * [backup-simplify]: Simplify (* 9.0 0) into 0
5.720 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.720 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
5.721 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.721 * [backup-simplify]: Simplify (+ (* 9.0 1) (* 0 0)) into 9.0
5.722 * [backup-simplify]: Simplify (- 0) into 0
5.722 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.722 * [backup-simplify]: Simplify 9.0 into 9.0
5.723 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 1) (* 0 0))) into 0
5.723 * [backup-simplify]: Simplify (- 0) into 0
5.723 * [backup-simplify]: Simplify (+ 0 0) into 0
5.723 * [backup-simplify]: Simplify 0 into 0
5.724 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.724 * [backup-simplify]: Simplify (- 0) into 0
5.724 * [backup-simplify]: Simplify (+ 0 0) into 0
5.724 * [backup-simplify]: Simplify 0 into 0
5.725 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.725 * [backup-simplify]: Simplify (- 0) into 0
5.725 * [backup-simplify]: Simplify (+ 0 0) into 0
5.725 * [backup-simplify]: Simplify 0 into 0
5.727 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.727 * [backup-simplify]: Simplify (- 0) into 0
5.727 * [backup-simplify]: Simplify (+ 0 0) into 0
5.728 * [backup-simplify]: Simplify 0 into 0
5.729 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.730 * [backup-simplify]: Simplify (- 0) into 0
5.730 * [backup-simplify]: Simplify (+ 0 0) into 0
5.730 * [backup-simplify]: Simplify 0 into 0
5.731 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.731 * [backup-simplify]: Simplify (- 0) into 0
5.731 * [backup-simplify]: Simplify (+ 0 0) into 0
5.731 * [backup-simplify]: Simplify 0 into 0
5.732 * [backup-simplify]: Simplify (+ (* 9.0 x) (- 12.0)) into (- (* 9.0 x) 12.0)
5.732 * [backup-simplify]: Simplify (- (* 9.0 (/ 1 x)) 12.0) into (- (* 9.0 (/ 1 x)) 12.0)
5.732 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in (x) around 0
5.732 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
5.732 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.732 * [taylor]: Taking taylor expansion of 9.0 in x
5.732 * [backup-simplify]: Simplify 9.0 into 9.0
5.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.732 * [taylor]: Taking taylor expansion of x in x
5.732 * [backup-simplify]: Simplify 0 into 0
5.732 * [backup-simplify]: Simplify 1 into 1
5.732 * [backup-simplify]: Simplify (/ 1 1) into 1
5.732 * [taylor]: Taking taylor expansion of 12.0 in x
5.732 * [backup-simplify]: Simplify 12.0 into 12.0
5.732 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
5.732 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.732 * [taylor]: Taking taylor expansion of 9.0 in x
5.732 * [backup-simplify]: Simplify 9.0 into 9.0
5.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.732 * [taylor]: Taking taylor expansion of x in x
5.732 * [backup-simplify]: Simplify 0 into 0
5.732 * [backup-simplify]: Simplify 1 into 1
5.733 * [backup-simplify]: Simplify (/ 1 1) into 1
5.733 * [taylor]: Taking taylor expansion of 12.0 in x
5.733 * [backup-simplify]: Simplify 12.0 into 12.0
5.733 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.733 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.733 * [backup-simplify]: Simplify 9.0 into 9.0
5.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.734 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
5.734 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.735 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
5.735 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.736 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
5.737 * [backup-simplify]: Simplify (- 0) into 0
5.737 * [backup-simplify]: Simplify (+ 0 0) into 0
5.737 * [backup-simplify]: Simplify 0 into 0
5.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.738 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.738 * [backup-simplify]: Simplify (- 0) into 0
5.738 * [backup-simplify]: Simplify (+ 0 0) into 0
5.738 * [backup-simplify]: Simplify 0 into 0
5.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.740 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.740 * [backup-simplify]: Simplify (- 0) into 0
5.740 * [backup-simplify]: Simplify (+ 0 0) into 0
5.740 * [backup-simplify]: Simplify 0 into 0
5.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.742 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.742 * [backup-simplify]: Simplify (- 0) into 0
5.742 * [backup-simplify]: Simplify (+ 0 0) into 0
5.742 * [backup-simplify]: Simplify 0 into 0
5.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.744 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.744 * [backup-simplify]: Simplify (- 0) into 0
5.744 * [backup-simplify]: Simplify (+ 0 0) into 0
5.744 * [backup-simplify]: Simplify 0 into 0
5.746 * [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.747 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.747 * [backup-simplify]: Simplify (- 0) into 0
5.748 * [backup-simplify]: Simplify (+ 0 0) into 0
5.748 * [backup-simplify]: Simplify 0 into 0
5.748 * [backup-simplify]: Simplify (+ (- 12.0) (* 9.0 (/ 1 (/ 1 x)))) into (- (* 9.0 x) 12.0)
5.748 * [backup-simplify]: Simplify (- (* 9.0 (/ 1 (- x))) 12.0) into (- (+ (* 9.0 (/ 1 x)) 12.0))
5.748 * [approximate]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 x)) 12.0)) in (x) around 0
5.748 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 x)) 12.0)) in x
5.748 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
5.748 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.748 * [taylor]: Taking taylor expansion of 9.0 in x
5.748 * [backup-simplify]: Simplify 9.0 into 9.0
5.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.748 * [taylor]: Taking taylor expansion of x in x
5.748 * [backup-simplify]: Simplify 0 into 0
5.748 * [backup-simplify]: Simplify 1 into 1
5.749 * [backup-simplify]: Simplify (/ 1 1) into 1
5.749 * [taylor]: Taking taylor expansion of 12.0 in x
5.749 * [backup-simplify]: Simplify 12.0 into 12.0
5.749 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 x)) 12.0)) in x
5.749 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 x)) 12.0) in x
5.749 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
5.749 * [taylor]: Taking taylor expansion of 9.0 in x
5.749 * [backup-simplify]: Simplify 9.0 into 9.0
5.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.749 * [taylor]: Taking taylor expansion of x in x
5.749 * [backup-simplify]: Simplify 0 into 0
5.749 * [backup-simplify]: Simplify 1 into 1
5.749 * [backup-simplify]: Simplify (/ 1 1) into 1
5.749 * [taylor]: Taking taylor expansion of 12.0 in x
5.749 * [backup-simplify]: Simplify 12.0 into 12.0
5.749 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.750 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.750 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
5.750 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
5.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.751 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
5.751 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
5.752 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.752 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.753 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
5.753 * [backup-simplify]: Simplify (+ 0 0) into 0
5.753 * [backup-simplify]: Simplify (- 0) into 0
5.753 * [backup-simplify]: Simplify 0 into 0
5.754 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.755 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.755 * [backup-simplify]: Simplify (+ 0 0) into 0
5.755 * [backup-simplify]: Simplify (- 0) into 0
5.755 * [backup-simplify]: Simplify 0 into 0
5.756 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.756 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.757 * [backup-simplify]: Simplify (+ 0 0) into 0
5.757 * [backup-simplify]: Simplify (- 0) into 0
5.757 * [backup-simplify]: Simplify 0 into 0
5.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.758 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.758 * [backup-simplify]: Simplify (+ 0 0) into 0
5.759 * [backup-simplify]: Simplify (- 0) into 0
5.759 * [backup-simplify]: Simplify 0 into 0
5.759 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.760 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.760 * [backup-simplify]: Simplify (+ 0 0) into 0
5.761 * [backup-simplify]: Simplify (- 0) into 0
5.761 * [backup-simplify]: Simplify 0 into 0
5.761 * [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.763 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.763 * [backup-simplify]: Simplify (+ 0 0) into 0
5.763 * [backup-simplify]: Simplify (- 0) into 0
5.763 * [backup-simplify]: Simplify 0 into 0
5.764 * [backup-simplify]: Simplify (+ (- 12.0) (* (- 9.0) (/ 1 (/ 1 (- x))))) into (- (* 9.0 x) 12.0)
5.764 * * * [progress]: simplifying candidates
5.764 * [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.765 * * [simplify]: iteration 0: 60 enodes
5.781 * * [simplify]: iteration 1: 151 enodes
5.818 * * [simplify]: iteration 2: 432 enodes
6.044 * * [simplify]: iteration 3: 1617 enodes
6.806 * * [simplify]: iteration complete: 5000 enodes
6.807 * * [simplify]: Extracting #0: cost 29 inf + 0
6.807 * * [simplify]: Extracting #1: cost 490 inf + 1
6.813 * * [simplify]: Extracting #2: cost 1548 inf + 12798
6.845 * * [simplify]: Extracting #3: cost 1289 inf + 177239
6.937 * * [simplify]: Extracting #4: cost 161 inf + 475512
7.038 * * [simplify]: Extracting #5: cost 39 inf + 517909
7.185 * * [simplify]: Extracting #6: cost 10 inf + 523310
7.358 * * [simplify]: Extracting #7: cost 0 inf + 526195
7.479 * [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.481 * * * [progress]: adding candidates to table
7.613 * * [progress]: iteration 3 / 4
7.613 * * * [progress]: picking best candidate
7.632 * * * * [pick]: Picked  #<alt (λ (x) (+ (* 3.0 (* x (- (* x 3.0) 4.0))) (* 1.0 3.0)))>
7.632 * * * [progress]: localizing error
7.645 * * * [progress]: generating rewritten candidates
7.645 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
7.681 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
7.704 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 2)
7.711 * * * [progress]: generating series expansions
7.711 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
7.712 * [backup-simplify]: Simplify (* 3.0 (* x (- (* x 3.0) 4.0))) into (* 3.0 (* x (- (* 3.0 x) 4.0)))
7.712 * [approximate]: Taking taylor expansion of (* 3.0 (* x (- (* 3.0 x) 4.0))) in (x) around 0
7.712 * [taylor]: Taking taylor expansion of (* 3.0 (* x (- (* 3.0 x) 4.0))) in x
7.712 * [taylor]: Taking taylor expansion of 3.0 in x
7.712 * [backup-simplify]: Simplify 3.0 into 3.0
7.712 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
7.712 * [taylor]: Taking taylor expansion of x in x
7.712 * [backup-simplify]: Simplify 0 into 0
7.712 * [backup-simplify]: Simplify 1 into 1
7.712 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.712 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.712 * [taylor]: Taking taylor expansion of 3.0 in x
7.712 * [backup-simplify]: Simplify 3.0 into 3.0
7.712 * [taylor]: Taking taylor expansion of x in x
7.712 * [backup-simplify]: Simplify 0 into 0
7.712 * [backup-simplify]: Simplify 1 into 1
7.712 * [taylor]: Taking taylor expansion of 4.0 in x
7.712 * [backup-simplify]: Simplify 4.0 into 4.0
7.712 * [taylor]: Taking taylor expansion of (* 3.0 (* x (- (* 3.0 x) 4.0))) in x
7.712 * [taylor]: Taking taylor expansion of 3.0 in x
7.712 * [backup-simplify]: Simplify 3.0 into 3.0
7.712 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
7.712 * [taylor]: Taking taylor expansion of x in x
7.712 * [backup-simplify]: Simplify 0 into 0
7.712 * [backup-simplify]: Simplify 1 into 1
7.712 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.712 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.712 * [taylor]: Taking taylor expansion of 3.0 in x
7.712 * [backup-simplify]: Simplify 3.0 into 3.0
7.712 * [taylor]: Taking taylor expansion of x in x
7.712 * [backup-simplify]: Simplify 0 into 0
7.712 * [backup-simplify]: Simplify 1 into 1
7.712 * [taylor]: Taking taylor expansion of 4.0 in x
7.712 * [backup-simplify]: Simplify 4.0 into 4.0
7.713 * [backup-simplify]: Simplify (* 3.0 0) into 0
7.713 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.714 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.714 * [backup-simplify]: Simplify (* 0 (- 4.0)) into 0
7.714 * [backup-simplify]: Simplify (* 3.0 0) into 0
7.714 * [backup-simplify]: Simplify 0 into 0
7.715 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
7.715 * [backup-simplify]: Simplify (- 0) into 0
7.716 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.717 * [backup-simplify]: Simplify (+ (* 0 3.0) (* 1 (- 4.0))) into (- 4.0)
7.718 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 0)) into (- 12.0)
7.718 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
7.719 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
7.719 * [backup-simplify]: Simplify (- 0) into 0
7.719 * [backup-simplify]: Simplify (+ 0 0) into 0
7.721 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 3.0) (* 0 (- 4.0)))) into 3.0
7.723 * [backup-simplify]: Simplify (+ (* 3.0 3.0) (+ (* 0 (- 4.0)) (* 0 0))) into 9.0
7.723 * [backup-simplify]: Simplify 9.0 into 9.0
7.723 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.724 * [backup-simplify]: Simplify (- 0) into 0
7.724 * [backup-simplify]: Simplify (+ 0 0) into 0
7.725 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 3.0) (* 0 (- 4.0))))) into 0
7.725 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0)))) into 0
7.725 * [backup-simplify]: Simplify 0 into 0
7.726 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.726 * [backup-simplify]: Simplify (- 0) into 0
7.727 * [backup-simplify]: Simplify (+ 0 0) into 0
7.728 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))) into 0
7.728 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0))))) into 0
7.729 * [backup-simplify]: Simplify 0 into 0
7.729 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
7.730 * [backup-simplify]: Simplify (- 0) into 0
7.730 * [backup-simplify]: Simplify (+ 0 0) into 0
7.731 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))) into 0
7.732 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0)))))) into 0
7.732 * [backup-simplify]: Simplify 0 into 0
7.733 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
7.733 * [backup-simplify]: Simplify (- 0) into 0
7.733 * [backup-simplify]: Simplify (+ 0 0) into 0
7.734 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))))) into 0
7.735 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (+ (* 0 (- 4.0)) (* 0 0))))))) into 0
7.736 * [backup-simplify]: Simplify 0 into 0
7.737 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
7.737 * [backup-simplify]: Simplify (- 0) into 0
7.737 * [backup-simplify]: Simplify (+ 0 0) into 0
7.739 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))))) into 0
7.740 * [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.740 * [backup-simplify]: Simplify 0 into 0
7.741 * [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.741 * [backup-simplify]: Simplify (- 0) into 0
7.741 * [backup-simplify]: Simplify (+ 0 0) into 0
7.743 * [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.744 * [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.744 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (* (- 12.0) x)) into (- (* 9.0 (pow x 2)) (* 12.0 x))
7.745 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 x) (- (* (/ 1 x) 3.0) 4.0))) into (* 3.0 (/ (- (* 3.0 (/ 1 x)) 4.0) x))
7.745 * [approximate]: Taking taylor expansion of (* 3.0 (/ (- (* 3.0 (/ 1 x)) 4.0) x)) in (x) around 0
7.745 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (* 3.0 (/ 1 x)) 4.0) x)) in x
7.745 * [taylor]: Taking taylor expansion of 3.0 in x
7.745 * [backup-simplify]: Simplify 3.0 into 3.0
7.745 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
7.745 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
7.745 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.745 * [taylor]: Taking taylor expansion of 3.0 in x
7.745 * [backup-simplify]: Simplify 3.0 into 3.0
7.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.745 * [taylor]: Taking taylor expansion of x in x
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify 1 into 1
7.745 * [backup-simplify]: Simplify (/ 1 1) into 1
7.745 * [taylor]: Taking taylor expansion of 4.0 in x
7.745 * [backup-simplify]: Simplify 4.0 into 4.0
7.745 * [taylor]: Taking taylor expansion of x in x
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify 1 into 1
7.745 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.746 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.746 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.746 * [taylor]: Taking taylor expansion of (* 3.0 (/ (- (* 3.0 (/ 1 x)) 4.0) x)) in x
7.746 * [taylor]: Taking taylor expansion of 3.0 in x
7.746 * [backup-simplify]: Simplify 3.0 into 3.0
7.746 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
7.746 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
7.746 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.746 * [taylor]: Taking taylor expansion of 3.0 in x
7.746 * [backup-simplify]: Simplify 3.0 into 3.0
7.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.746 * [taylor]: Taking taylor expansion of x in x
7.746 * [backup-simplify]: Simplify 0 into 0
7.746 * [backup-simplify]: Simplify 1 into 1
7.747 * [backup-simplify]: Simplify (/ 1 1) into 1
7.747 * [taylor]: Taking taylor expansion of 4.0 in x
7.747 * [backup-simplify]: Simplify 4.0 into 4.0
7.747 * [taylor]: Taking taylor expansion of x in x
7.747 * [backup-simplify]: Simplify 0 into 0
7.747 * [backup-simplify]: Simplify 1 into 1
7.748 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.749 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.749 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.749 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
7.749 * [backup-simplify]: Simplify 9.0 into 9.0
7.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.750 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
7.751 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.751 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.753 * [backup-simplify]: Simplify (- (/ (- 4.0) 1) (+ (* 3.0 (/ 0 1)))) into (- 4.0)
7.754 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 3.0)) into (- 12.0)
7.754 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
7.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.755 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
7.756 * [backup-simplify]: Simplify (- 0) into 0
7.756 * [backup-simplify]: Simplify (+ 0 0) into 0
7.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)))) into 0
7.757 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (- 4.0)) (* 0 3.0))) into 0
7.757 * [backup-simplify]: Simplify 0 into 0
7.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.758 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.759 * [backup-simplify]: Simplify (- 0) into 0
7.759 * [backup-simplify]: Simplify (+ 0 0) into 0
7.760 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.760 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0)))) into 0
7.760 * [backup-simplify]: Simplify 0 into 0
7.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.762 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.762 * [backup-simplify]: Simplify (- 0) into 0
7.762 * [backup-simplify]: Simplify (+ 0 0) into 0
7.763 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.764 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0))))) into 0
7.764 * [backup-simplify]: Simplify 0 into 0
7.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.765 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.765 * [backup-simplify]: Simplify (- 0) into 0
7.766 * [backup-simplify]: Simplify (+ 0 0) into 0
7.766 * [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.767 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0)))))) into 0
7.767 * [backup-simplify]: Simplify 0 into 0
7.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.769 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.769 * [backup-simplify]: Simplify (- 0) into 0
7.769 * [backup-simplify]: Simplify (+ 0 0) into 0
7.770 * [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.771 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 4.0)) (* 0 3.0))))))) into 0
7.771 * [backup-simplify]: Simplify 0 into 0
7.772 * [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.773 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.773 * [backup-simplify]: Simplify (- 0) into 0
7.773 * [backup-simplify]: Simplify (+ 0 0) into 0
7.774 * [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.775 * [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.775 * [backup-simplify]: Simplify 0 into 0
7.776 * [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.776 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (- x)) (- (* (/ 1 (- x)) 3.0) 4.0))) into (* 3.0 (/ (+ (* 3.0 (/ 1 x)) 4.0) x))
7.776 * [approximate]: Taking taylor expansion of (* 3.0 (/ (+ (* 3.0 (/ 1 x)) 4.0) x)) in (x) around 0
7.776 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ (* 3.0 (/ 1 x)) 4.0) x)) in x
7.776 * [taylor]: Taking taylor expansion of 3.0 in x
7.776 * [backup-simplify]: Simplify 3.0 into 3.0
7.776 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in x
7.776 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
7.776 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.776 * [taylor]: Taking taylor expansion of 3.0 in x
7.776 * [backup-simplify]: Simplify 3.0 into 3.0
7.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.776 * [taylor]: Taking taylor expansion of x in x
7.776 * [backup-simplify]: Simplify 0 into 0
7.776 * [backup-simplify]: Simplify 1 into 1
7.777 * [backup-simplify]: Simplify (/ 1 1) into 1
7.777 * [taylor]: Taking taylor expansion of 4.0 in x
7.777 * [backup-simplify]: Simplify 4.0 into 4.0
7.777 * [taylor]: Taking taylor expansion of x in x
7.777 * [backup-simplify]: Simplify 0 into 0
7.777 * [backup-simplify]: Simplify 1 into 1
7.777 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.777 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.777 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.777 * [taylor]: Taking taylor expansion of (* 3.0 (/ (+ (* 3.0 (/ 1 x)) 4.0) x)) in x
7.778 * [taylor]: Taking taylor expansion of 3.0 in x
7.778 * [backup-simplify]: Simplify 3.0 into 3.0
7.778 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in x
7.778 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
7.778 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.778 * [taylor]: Taking taylor expansion of 3.0 in x
7.778 * [backup-simplify]: Simplify 3.0 into 3.0
7.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.778 * [taylor]: Taking taylor expansion of x in x
7.778 * [backup-simplify]: Simplify 0 into 0
7.778 * [backup-simplify]: Simplify 1 into 1
7.778 * [backup-simplify]: Simplify (/ 1 1) into 1
7.778 * [taylor]: Taking taylor expansion of 4.0 in x
7.778 * [backup-simplify]: Simplify 4.0 into 4.0
7.778 * [taylor]: Taking taylor expansion of x in x
7.778 * [backup-simplify]: Simplify 0 into 0
7.778 * [backup-simplify]: Simplify 1 into 1
7.778 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.779 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.779 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.779 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
7.779 * [backup-simplify]: Simplify 9.0 into 9.0
7.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.780 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
7.780 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
7.782 * [backup-simplify]: Simplify (- (/ 4.0 1) (+ (* 3.0 (/ 0 1)))) into 4.0
7.783 * [backup-simplify]: Simplify (+ (* 3.0 4.0) (* 0 3.0)) into 12.0
7.783 * [backup-simplify]: Simplify 12.0 into 12.0
7.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.784 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
7.784 * [backup-simplify]: Simplify (+ 0 0) into 0
7.785 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)))) into 0
7.785 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 4.0) (* 0 3.0))) into 0
7.785 * [backup-simplify]: Simplify 0 into 0
7.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.787 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.787 * [backup-simplify]: Simplify (+ 0 0) into 0
7.788 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.788 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0)))) into 0
7.788 * [backup-simplify]: Simplify 0 into 0
7.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.790 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.790 * [backup-simplify]: Simplify (+ 0 0) into 0
7.791 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.792 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0))))) into 0
7.792 * [backup-simplify]: Simplify 0 into 0
7.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.793 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.793 * [backup-simplify]: Simplify (+ 0 0) into 0
7.794 * [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.795 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0)))))) into 0
7.795 * [backup-simplify]: Simplify 0 into 0
7.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.796 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.797 * [backup-simplify]: Simplify (+ 0 0) into 0
7.797 * [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.799 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 4.0) (* 0 3.0))))))) into 0
7.799 * [backup-simplify]: Simplify 0 into 0
7.799 * [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.800 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.800 * [backup-simplify]: Simplify (+ 0 0) into 0
7.801 * [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.802 * [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.802 * [backup-simplify]: Simplify 0 into 0
7.803 * [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.803 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
7.803 * [backup-simplify]: Simplify (* x (- (* x 3.0) 4.0)) into (* x (- (* 3.0 x) 4.0))
7.803 * [approximate]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in (x) around 0
7.803 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
7.803 * [taylor]: Taking taylor expansion of x in x
7.803 * [backup-simplify]: Simplify 0 into 0
7.803 * [backup-simplify]: Simplify 1 into 1
7.803 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.803 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.803 * [taylor]: Taking taylor expansion of 3.0 in x
7.803 * [backup-simplify]: Simplify 3.0 into 3.0
7.803 * [taylor]: Taking taylor expansion of x in x
7.803 * [backup-simplify]: Simplify 0 into 0
7.803 * [backup-simplify]: Simplify 1 into 1
7.803 * [taylor]: Taking taylor expansion of 4.0 in x
7.803 * [backup-simplify]: Simplify 4.0 into 4.0
7.803 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x
7.803 * [taylor]: Taking taylor expansion of x in x
7.803 * [backup-simplify]: Simplify 0 into 0
7.803 * [backup-simplify]: Simplify 1 into 1
7.803 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.803 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.803 * [taylor]: Taking taylor expansion of 3.0 in x
7.803 * [backup-simplify]: Simplify 3.0 into 3.0
7.803 * [taylor]: Taking taylor expansion of x in x
7.803 * [backup-simplify]: Simplify 0 into 0
7.803 * [backup-simplify]: Simplify 1 into 1
7.804 * [taylor]: Taking taylor expansion of 4.0 in x
7.804 * [backup-simplify]: Simplify 4.0 into 4.0
7.804 * [backup-simplify]: Simplify (* 3.0 0) into 0
7.804 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.805 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.806 * [backup-simplify]: Simplify (* 0 (- 4.0)) into 0
7.806 * [backup-simplify]: Simplify 0 into 0
7.807 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
7.807 * [backup-simplify]: Simplify (- 0) into 0
7.808 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.809 * [backup-simplify]: Simplify (+ (* 0 3.0) (* 1 (- 4.0))) into (- 4.0)
7.809 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.810 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
7.810 * [backup-simplify]: Simplify (- 0) into 0
7.810 * [backup-simplify]: Simplify (+ 0 0) into 0
7.812 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 3.0) (* 0 (- 4.0)))) into 3.0
7.812 * [backup-simplify]: Simplify 3.0 into 3.0
7.813 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.813 * [backup-simplify]: Simplify (- 0) into 0
7.813 * [backup-simplify]: Simplify (+ 0 0) into 0
7.814 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 3.0) (* 0 (- 4.0))))) into 0
7.814 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.815 * [backup-simplify]: Simplify (- 0) into 0
7.815 * [backup-simplify]: Simplify (+ 0 0) into 0
7.816 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))) into 0
7.816 * [backup-simplify]: Simplify 0 into 0
7.817 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
7.817 * [backup-simplify]: Simplify (- 0) into 0
7.818 * [backup-simplify]: Simplify (+ 0 0) into 0
7.819 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))) into 0
7.819 * [backup-simplify]: Simplify 0 into 0
7.820 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
7.820 * [backup-simplify]: Simplify (- 0) into 0
7.820 * [backup-simplify]: Simplify (+ 0 0) into 0
7.821 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0)))))))) into 0
7.821 * [backup-simplify]: Simplify 0 into 0
7.822 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
7.823 * [backup-simplify]: Simplify (- 0) into 0
7.823 * [backup-simplify]: Simplify (+ 0 0) into 0
7.824 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0) (* 0 (- 4.0))))))))) into 0
7.824 * [backup-simplify]: Simplify 0 into 0
7.825 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
7.825 * [backup-simplify]: Simplify (- 0) into 0
7.826 * [backup-simplify]: Simplify (+ 0 0) into 0
7.827 * [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.827 * [backup-simplify]: Simplify 0 into 0
7.828 * [backup-simplify]: Simplify (+ (* 3.0 (pow x 2)) (* (- 4.0) x)) into (- (* 3.0 (pow x 2)) (* 4.0 x))
7.828 * [backup-simplify]: Simplify (* (/ 1 x) (- (* (/ 1 x) 3.0) 4.0)) into (/ (- (* 3.0 (/ 1 x)) 4.0) x)
7.828 * [approximate]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in (x) around 0
7.828 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
7.828 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
7.828 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.828 * [taylor]: Taking taylor expansion of 3.0 in x
7.828 * [backup-simplify]: Simplify 3.0 into 3.0
7.828 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.828 * [taylor]: Taking taylor expansion of x in x
7.828 * [backup-simplify]: Simplify 0 into 0
7.828 * [backup-simplify]: Simplify 1 into 1
7.828 * [backup-simplify]: Simplify (/ 1 1) into 1
7.828 * [taylor]: Taking taylor expansion of 4.0 in x
7.829 * [backup-simplify]: Simplify 4.0 into 4.0
7.829 * [taylor]: Taking taylor expansion of x in x
7.829 * [backup-simplify]: Simplify 0 into 0
7.829 * [backup-simplify]: Simplify 1 into 1
7.829 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.829 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.829 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.829 * [taylor]: Taking taylor expansion of (/ (- (* 3.0 (/ 1 x)) 4.0) x) in x
7.829 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
7.829 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.829 * [taylor]: Taking taylor expansion of 3.0 in x
7.830 * [backup-simplify]: Simplify 3.0 into 3.0
7.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.830 * [taylor]: Taking taylor expansion of x in x
7.830 * [backup-simplify]: Simplify 0 into 0
7.830 * [backup-simplify]: Simplify 1 into 1
7.830 * [backup-simplify]: Simplify (/ 1 1) into 1
7.830 * [taylor]: Taking taylor expansion of 4.0 in x
7.830 * [backup-simplify]: Simplify 4.0 into 4.0
7.830 * [taylor]: Taking taylor expansion of x in x
7.830 * [backup-simplify]: Simplify 0 into 0
7.830 * [backup-simplify]: Simplify 1 into 1
7.830 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.830 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.831 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.831 * [backup-simplify]: Simplify 3.0 into 3.0
7.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.832 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
7.832 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.834 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.836 * [backup-simplify]: Simplify (- (/ (- 4.0) 1) (+ (* 3.0 (/ 0 1)))) into (- 4.0)
7.836 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.838 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
7.838 * [backup-simplify]: Simplify (- 0) into 0
7.838 * [backup-simplify]: Simplify (+ 0 0) into 0
7.840 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)))) into 0
7.840 * [backup-simplify]: Simplify 0 into 0
7.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.842 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.842 * [backup-simplify]: Simplify (- 0) into 0
7.843 * [backup-simplify]: Simplify (+ 0 0) into 0
7.844 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.844 * [backup-simplify]: Simplify 0 into 0
7.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.845 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.845 * [backup-simplify]: Simplify (- 0) into 0
7.846 * [backup-simplify]: Simplify (+ 0 0) into 0
7.846 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.846 * [backup-simplify]: Simplify 0 into 0
7.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.848 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.848 * [backup-simplify]: Simplify (- 0) into 0
7.848 * [backup-simplify]: Simplify (+ 0 0) into 0
7.849 * [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.849 * [backup-simplify]: Simplify 0 into 0
7.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 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 0) (* 0 1))))))) into 0
7.851 * [backup-simplify]: Simplify (- 0) into 0
7.851 * [backup-simplify]: Simplify (+ 0 0) into 0
7.852 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* (- 4.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) 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)) (* 0 (/ 0 1)))) into 0
7.853 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.854 * [backup-simplify]: Simplify (- 0) into 0
7.854 * [backup-simplify]: Simplify (+ 0 0) into 0
7.855 * [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.855 * [backup-simplify]: Simplify 0 into 0
7.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))
7.855 * [backup-simplify]: Simplify (* (/ 1 (- x)) (- (* (/ 1 (- x)) 3.0) 4.0)) into (/ (+ (* 3.0 (/ 1 x)) 4.0) x)
7.855 * [approximate]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in (x) around 0
7.855 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in x
7.855 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
7.855 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.855 * [taylor]: Taking taylor expansion of 3.0 in x
7.855 * [backup-simplify]: Simplify 3.0 into 3.0
7.855 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.855 * [taylor]: Taking taylor expansion of x in x
7.855 * [backup-simplify]: Simplify 0 into 0
7.855 * [backup-simplify]: Simplify 1 into 1
7.856 * [backup-simplify]: Simplify (/ 1 1) into 1
7.856 * [taylor]: Taking taylor expansion of 4.0 in x
7.856 * [backup-simplify]: Simplify 4.0 into 4.0
7.856 * [taylor]: Taking taylor expansion of x in x
7.856 * [backup-simplify]: Simplify 0 into 0
7.856 * [backup-simplify]: Simplify 1 into 1
7.856 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.856 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.857 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.857 * [taylor]: Taking taylor expansion of (/ (+ (* 3.0 (/ 1 x)) 4.0) x) in x
7.857 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
7.857 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.857 * [taylor]: Taking taylor expansion of 3.0 in x
7.857 * [backup-simplify]: Simplify 3.0 into 3.0
7.857 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.857 * [taylor]: Taking taylor expansion of x in x
7.857 * [backup-simplify]: Simplify 0 into 0
7.857 * [backup-simplify]: Simplify 1 into 1
7.857 * [backup-simplify]: Simplify (/ 1 1) into 1
7.857 * [taylor]: Taking taylor expansion of 4.0 in x
7.857 * [backup-simplify]: Simplify 4.0 into 4.0
7.857 * [taylor]: Taking taylor expansion of x in x
7.857 * [backup-simplify]: Simplify 0 into 0
7.857 * [backup-simplify]: Simplify 1 into 1
7.858 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.858 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.858 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
7.858 * [backup-simplify]: Simplify 3.0 into 3.0
7.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.859 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
7.860 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
7.861 * [backup-simplify]: Simplify (- (/ 4.0 1) (+ (* 3.0 (/ 0 1)))) into 4.0
7.861 * [backup-simplify]: Simplify 4.0 into 4.0
7.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.862 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
7.862 * [backup-simplify]: Simplify (+ 0 0) into 0
7.863 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)))) into 0
7.863 * [backup-simplify]: Simplify 0 into 0
7.863 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.864 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.864 * [backup-simplify]: Simplify (+ 0 0) into 0
7.865 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.865 * [backup-simplify]: Simplify 0 into 0
7.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.866 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.867 * [backup-simplify]: Simplify (+ 0 0) into 0
7.867 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.867 * [backup-simplify]: Simplify 0 into 0
7.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.869 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.869 * [backup-simplify]: Simplify (+ 0 0) into 0
7.870 * [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.870 * [backup-simplify]: Simplify 0 into 0
7.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.871 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.871 * [backup-simplify]: Simplify (+ 0 0) into 0
7.872 * [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.872 * [backup-simplify]: Simplify 0 into 0
7.873 * [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.874 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.874 * [backup-simplify]: Simplify (+ 0 0) into 0
7.875 * [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.875 * [backup-simplify]: Simplify 0 into 0
7.875 * [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.875 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 2)
7.875 * [backup-simplify]: Simplify (- (* x 3.0) 4.0) into (- (* 3.0 x) 4.0)
7.875 * [approximate]: Taking taylor expansion of (- (* 3.0 x) 4.0) in (x) around 0
7.875 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.875 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.875 * [taylor]: Taking taylor expansion of 3.0 in x
7.875 * [backup-simplify]: Simplify 3.0 into 3.0
7.875 * [taylor]: Taking taylor expansion of x in x
7.875 * [backup-simplify]: Simplify 0 into 0
7.875 * [backup-simplify]: Simplify 1 into 1
7.875 * [taylor]: Taking taylor expansion of 4.0 in x
7.875 * [backup-simplify]: Simplify 4.0 into 4.0
7.875 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x
7.875 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
7.875 * [taylor]: Taking taylor expansion of 3.0 in x
7.875 * [backup-simplify]: Simplify 3.0 into 3.0
7.875 * [taylor]: Taking taylor expansion of x in x
7.875 * [backup-simplify]: Simplify 0 into 0
7.875 * [backup-simplify]: Simplify 1 into 1
7.875 * [taylor]: Taking taylor expansion of 4.0 in x
7.875 * [backup-simplify]: Simplify 4.0 into 4.0
7.876 * [backup-simplify]: Simplify (* 3.0 0) into 0
7.876 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.876 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.877 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.878 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
7.878 * [backup-simplify]: Simplify (- 0) into 0
7.878 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.878 * [backup-simplify]: Simplify 3.0 into 3.0
7.879 * [backup-simplify]: Simplify (+ (* 3.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.879 * [backup-simplify]: Simplify 0 into 0
7.880 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.880 * [backup-simplify]: Simplify (- 0) into 0
7.880 * [backup-simplify]: Simplify (+ 0 0) into 0
7.880 * [backup-simplify]: Simplify 0 into 0
7.881 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.881 * [backup-simplify]: Simplify (- 0) into 0
7.881 * [backup-simplify]: Simplify (+ 0 0) into 0
7.882 * [backup-simplify]: Simplify 0 into 0
7.882 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
7.883 * [backup-simplify]: Simplify (- 0) into 0
7.883 * [backup-simplify]: Simplify (+ 0 0) into 0
7.883 * [backup-simplify]: Simplify 0 into 0
7.884 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
7.884 * [backup-simplify]: Simplify (- 0) into 0
7.884 * [backup-simplify]: Simplify (+ 0 0) into 0
7.884 * [backup-simplify]: Simplify 0 into 0
7.885 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
7.885 * [backup-simplify]: Simplify (- 0) into 0
7.886 * [backup-simplify]: Simplify (+ 0 0) into 0
7.886 * [backup-simplify]: Simplify 0 into 0
7.886 * [backup-simplify]: Simplify (+ (* 3.0 x) (- 4.0)) into (- (* 3.0 x) 4.0)
7.886 * [backup-simplify]: Simplify (- (* (/ 1 x) 3.0) 4.0) into (- (* 3.0 (/ 1 x)) 4.0)
7.886 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in (x) around 0
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.887 * [taylor]: Taking taylor expansion of 4.0 in x
7.887 * [backup-simplify]: Simplify 4.0 into 4.0
7.887 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x
7.887 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.887 * [taylor]: Taking taylor expansion of 3.0 in x
7.887 * [backup-simplify]: Simplify 3.0 into 3.0
7.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.887 * [taylor]: Taking taylor expansion of x in x
7.887 * [backup-simplify]: Simplify 0 into 0
7.887 * [backup-simplify]: Simplify 1 into 1
7.887 * [backup-simplify]: Simplify (/ 1 1) into 1
7.887 * [taylor]: Taking taylor expansion of 4.0 in x
7.887 * [backup-simplify]: Simplify 4.0 into 4.0
7.887 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.888 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.888 * [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.889 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.889 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
7.889 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.891 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
7.891 * [backup-simplify]: Simplify (- 0) into 0
7.891 * [backup-simplify]: Simplify (+ 0 0) into 0
7.891 * [backup-simplify]: Simplify 0 into 0
7.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.892 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.893 * [backup-simplify]: Simplify (- 0) into 0
7.893 * [backup-simplify]: Simplify (+ 0 0) into 0
7.893 * [backup-simplify]: Simplify 0 into 0
7.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.894 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.894 * [backup-simplify]: Simplify (- 0) into 0
7.895 * [backup-simplify]: Simplify (+ 0 0) into 0
7.895 * [backup-simplify]: Simplify 0 into 0
7.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.896 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.896 * [backup-simplify]: Simplify (- 0) into 0
7.897 * [backup-simplify]: Simplify (+ 0 0) into 0
7.897 * [backup-simplify]: Simplify 0 into 0
7.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.898 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.898 * [backup-simplify]: Simplify (- 0) into 0
7.898 * [backup-simplify]: Simplify (+ 0 0) into 0
7.899 * [backup-simplify]: Simplify 0 into 0
7.899 * [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.900 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.901 * [backup-simplify]: Simplify (- 0) into 0
7.901 * [backup-simplify]: Simplify (+ 0 0) into 0
7.901 * [backup-simplify]: Simplify 0 into 0
7.901 * [backup-simplify]: Simplify (+ (- 4.0) (* 3.0 (/ 1 (/ 1 x)))) into (- (* 3.0 x) 4.0)
7.901 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) 3.0) 4.0) into (- (+ (* 3.0 (/ 1 x)) 4.0))
7.901 * [approximate]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 x)) 4.0)) in (x) around 0
7.901 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 x)) 4.0)) in x
7.901 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
7.901 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.901 * [taylor]: Taking taylor expansion of 3.0 in x
7.901 * [backup-simplify]: Simplify 3.0 into 3.0
7.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.901 * [taylor]: Taking taylor expansion of x in x
7.901 * [backup-simplify]: Simplify 0 into 0
7.901 * [backup-simplify]: Simplify 1 into 1
7.902 * [backup-simplify]: Simplify (/ 1 1) into 1
7.902 * [taylor]: Taking taylor expansion of 4.0 in x
7.902 * [backup-simplify]: Simplify 4.0 into 4.0
7.902 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 x)) 4.0)) in x
7.902 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 4.0) in x
7.902 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
7.902 * [taylor]: Taking taylor expansion of 3.0 in x
7.902 * [backup-simplify]: Simplify 3.0 into 3.0
7.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.902 * [taylor]: Taking taylor expansion of x in x
7.902 * [backup-simplify]: Simplify 0 into 0
7.902 * [backup-simplify]: Simplify 1 into 1
7.902 * [backup-simplify]: Simplify (/ 1 1) into 1
7.902 * [taylor]: Taking taylor expansion of 4.0 in x
7.902 * [backup-simplify]: Simplify 4.0 into 4.0
7.902 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
7.903 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
7.903 * [backup-simplify]: Simplify (- 3.0) into (- 3.0)
7.903 * [backup-simplify]: Simplify (- 3.0) into (- 3.0)
7.904 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.904 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
7.904 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
7.905 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.905 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
7.905 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.906 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
7.906 * [backup-simplify]: Simplify (+ 0 0) into 0
7.906 * [backup-simplify]: Simplify (- 0) into 0
7.906 * [backup-simplify]: Simplify 0 into 0
7.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.908 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.908 * [backup-simplify]: Simplify (+ 0 0) into 0
7.908 * [backup-simplify]: Simplify (- 0) into 0
7.908 * [backup-simplify]: Simplify 0 into 0
7.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.909 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.910 * [backup-simplify]: Simplify (+ 0 0) into 0
7.910 * [backup-simplify]: Simplify (- 0) into 0
7.910 * [backup-simplify]: Simplify 0 into 0
7.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.911 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.911 * [backup-simplify]: Simplify (+ 0 0) into 0
7.912 * [backup-simplify]: Simplify (- 0) into 0
7.912 * [backup-simplify]: Simplify 0 into 0
7.912 * [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 0) into 0
7.914 * [backup-simplify]: Simplify (- 0) into 0
7.914 * [backup-simplify]: Simplify 0 into 0
7.914 * [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.915 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.916 * [backup-simplify]: Simplify (+ 0 0) into 0
7.916 * [backup-simplify]: Simplify (- 0) into 0
7.916 * [backup-simplify]: Simplify 0 into 0
7.916 * [backup-simplify]: Simplify (+ (- 4.0) (* (- 3.0) (/ 1 (/ 1 (- x))))) into (- (* 3.0 x) 4.0)
7.916 * * * [progress]: simplifying candidates
7.917 * [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)
7.918 * * [simplify]: iteration 0: 96 enodes
7.955 * * [simplify]: iteration 1: 239 enodes
8.016 * * [simplify]: iteration 2: 737 enodes
8.780 * * [simplify]: iteration 3: 3703 enodes
10.089 * * [simplify]: iteration complete: 5000 enodes
10.089 * * [simplify]: Extracting #0: cost 44 inf + 0
10.090 * * [simplify]: Extracting #1: cost 490 inf + 1
10.098 * * [simplify]: Extracting #2: cost 1126 inf + 25862
10.140 * * [simplify]: Extracting #3: cost 578 inf + 180924
10.199 * * [simplify]: Extracting #4: cost 179 inf + 266352
10.261 * * [simplify]: Extracting #5: cost 48 inf + 309089
10.327 * * [simplify]: Extracting #6: cost 6 inf + 321450
10.392 * * [simplify]: Extracting #7: cost 0 inf + 323091
10.464 * [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)
10.468 * * * [progress]: adding candidates to table
10.682 * * [progress]: iteration 4 / 4
10.682 * * * [progress]: picking best candidate
10.710 * * * * [pick]: Picked  #<alt (λ (x) (+ (- (* 9.0 (* x x)) (* x 12.0)) (* 1.0 3.0)))>
10.711 * * * [progress]: localizing error
10.730 * * * [progress]: generating rewritten candidates
10.730 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
10.746 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
10.761 * * * [progress]: generating series expansions
10.761 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
10.761 * [backup-simplify]: Simplify (* 9.0 (* x x)) into (* 9.0 (pow x 2))
10.761 * [approximate]: Taking taylor expansion of (* 9.0 (pow x 2)) in (x) around 0
10.761 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
10.761 * [taylor]: Taking taylor expansion of 9.0 in x
10.761 * [backup-simplify]: Simplify 9.0 into 9.0
10.761 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.761 * [taylor]: Taking taylor expansion of x in x
10.761 * [backup-simplify]: Simplify 0 into 0
10.761 * [backup-simplify]: Simplify 1 into 1
10.761 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
10.761 * [taylor]: Taking taylor expansion of 9.0 in x
10.761 * [backup-simplify]: Simplify 9.0 into 9.0
10.761 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.761 * [taylor]: Taking taylor expansion of x in x
10.761 * [backup-simplify]: Simplify 0 into 0
10.761 * [backup-simplify]: Simplify 1 into 1
10.762 * [backup-simplify]: Simplify (* 1 1) into 1
10.762 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
10.762 * [backup-simplify]: Simplify 9.0 into 9.0
10.762 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.763 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
10.763 * [backup-simplify]: Simplify 0 into 0
10.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.764 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
10.764 * [backup-simplify]: Simplify 0 into 0
10.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.765 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.765 * [backup-simplify]: Simplify 0 into 0
10.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.767 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.767 * [backup-simplify]: Simplify 0 into 0
10.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.768 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.768 * [backup-simplify]: Simplify 0 into 0
10.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.770 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.770 * [backup-simplify]: Simplify 0 into 0
10.770 * [backup-simplify]: Simplify (* 9.0 (pow x 2)) into (* 9.0 (pow x 2))
10.770 * [backup-simplify]: Simplify (* 9.0 (* (/ 1 x) (/ 1 x))) into (/ 9.0 (pow x 2))
10.770 * [approximate]: Taking taylor expansion of (/ 9.0 (pow x 2)) in (x) around 0
10.770 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
10.770 * [taylor]: Taking taylor expansion of 9.0 in x
10.770 * [backup-simplify]: Simplify 9.0 into 9.0
10.770 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.770 * [taylor]: Taking taylor expansion of x in x
10.770 * [backup-simplify]: Simplify 0 into 0
10.770 * [backup-simplify]: Simplify 1 into 1
10.771 * [backup-simplify]: Simplify (* 1 1) into 1
10.771 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
10.771 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
10.771 * [taylor]: Taking taylor expansion of 9.0 in x
10.771 * [backup-simplify]: Simplify 9.0 into 9.0
10.771 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.771 * [taylor]: Taking taylor expansion of x in x
10.771 * [backup-simplify]: Simplify 0 into 0
10.771 * [backup-simplify]: Simplify 1 into 1
10.771 * [backup-simplify]: Simplify (* 1 1) into 1
10.771 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
10.772 * [backup-simplify]: Simplify 9.0 into 9.0
10.772 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.772 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)))) into 0
10.772 * [backup-simplify]: Simplify 0 into 0
10.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.774 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.774 * [backup-simplify]: Simplify 0 into 0
10.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.775 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.775 * [backup-simplify]: Simplify 0 into 0
10.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.776 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.776 * [backup-simplify]: Simplify 0 into 0
10.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.778 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.778 * [backup-simplify]: Simplify 0 into 0
10.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.779 * [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
10.779 * [backup-simplify]: Simplify 0 into 0
10.779 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 (/ 1 x)) 2)) into (* 9.0 (pow x 2))
10.779 * [backup-simplify]: Simplify (* 9.0 (* (/ 1 (- x)) (/ 1 (- x)))) into (/ 9.0 (pow x 2))
10.779 * [approximate]: Taking taylor expansion of (/ 9.0 (pow x 2)) in (x) around 0
10.779 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
10.779 * [taylor]: Taking taylor expansion of 9.0 in x
10.779 * [backup-simplify]: Simplify 9.0 into 9.0
10.779 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.779 * [taylor]: Taking taylor expansion of x in x
10.780 * [backup-simplify]: Simplify 0 into 0
10.780 * [backup-simplify]: Simplify 1 into 1
10.780 * [backup-simplify]: Simplify (* 1 1) into 1
10.780 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
10.780 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
10.780 * [taylor]: Taking taylor expansion of 9.0 in x
10.780 * [backup-simplify]: Simplify 9.0 into 9.0
10.780 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.780 * [taylor]: Taking taylor expansion of x in x
10.780 * [backup-simplify]: Simplify 0 into 0
10.780 * [backup-simplify]: Simplify 1 into 1
10.780 * [backup-simplify]: Simplify (* 1 1) into 1
10.781 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
10.781 * [backup-simplify]: Simplify 9.0 into 9.0
10.783 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.784 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)))) into 0
10.784 * [backup-simplify]: Simplify 0 into 0
10.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.785 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.785 * [backup-simplify]: Simplify 0 into 0
10.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.786 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.786 * [backup-simplify]: Simplify 0 into 0
10.787 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.788 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.788 * [backup-simplify]: Simplify 0 into 0
10.788 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.789 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.789 * [backup-simplify]: Simplify 0 into 0
10.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.791 * [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
10.791 * [backup-simplify]: Simplify 0 into 0
10.791 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 9.0 (pow x 2))
10.791 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
10.791 * [backup-simplify]: Simplify (- (* 9.0 (* x x)) (* x 12.0)) into (- (* 9.0 (pow x 2)) (* 12.0 x))
10.791 * [approximate]: Taking taylor expansion of (- (* 9.0 (pow x 2)) (* 12.0 x)) in (x) around 0
10.791 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 2)) (* 12.0 x)) in x
10.791 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
10.791 * [taylor]: Taking taylor expansion of 9.0 in x
10.791 * [backup-simplify]: Simplify 9.0 into 9.0
10.791 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.791 * [taylor]: Taking taylor expansion of x in x
10.791 * [backup-simplify]: Simplify 0 into 0
10.791 * [backup-simplify]: Simplify 1 into 1
10.791 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
10.791 * [taylor]: Taking taylor expansion of 12.0 in x
10.791 * [backup-simplify]: Simplify 12.0 into 12.0
10.791 * [taylor]: Taking taylor expansion of x in x
10.791 * [backup-simplify]: Simplify 0 into 0
10.791 * [backup-simplify]: Simplify 1 into 1
10.791 * [taylor]: Taking taylor expansion of (- (* 9.0 (pow x 2)) (* 12.0 x)) in x
10.791 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
10.791 * [taylor]: Taking taylor expansion of 9.0 in x
10.791 * [backup-simplify]: Simplify 9.0 into 9.0
10.791 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.791 * [taylor]: Taking taylor expansion of x in x
10.791 * [backup-simplify]: Simplify 0 into 0
10.791 * [backup-simplify]: Simplify 1 into 1
10.791 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
10.791 * [taylor]: Taking taylor expansion of 12.0 in x
10.791 * [backup-simplify]: Simplify 12.0 into 12.0
10.791 * [taylor]: Taking taylor expansion of x in x
10.791 * [backup-simplify]: Simplify 0 into 0
10.791 * [backup-simplify]: Simplify 1 into 1
10.792 * [backup-simplify]: Simplify (* 12.0 0) into 0
10.792 * [backup-simplify]: Simplify (- 0) into 0
10.792 * [backup-simplify]: Simplify (+ 0 0) into 0
10.792 * [backup-simplify]: Simplify 0 into 0
10.793 * [backup-simplify]: Simplify (+ (* 12.0 1) (* 0 0)) into 12.0
10.793 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
10.794 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
10.794 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
10.794 * [backup-simplify]: Simplify (* 1 1) into 1
10.795 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
10.795 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 1) (* 0 0))) into 0
10.795 * [backup-simplify]: Simplify (- 0) into 0
10.796 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
10.796 * [backup-simplify]: Simplify 9.0 into 9.0
10.796 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.797 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
10.797 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
10.797 * [backup-simplify]: Simplify (- 0) into 0
10.798 * [backup-simplify]: Simplify (+ 0 0) into 0
10.798 * [backup-simplify]: Simplify 0 into 0
10.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.799 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
10.799 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
10.800 * [backup-simplify]: Simplify (- 0) into 0
10.800 * [backup-simplify]: Simplify (+ 0 0) into 0
10.800 * [backup-simplify]: Simplify 0 into 0
10.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.801 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.802 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
10.802 * [backup-simplify]: Simplify (- 0) into 0
10.802 * [backup-simplify]: Simplify (+ 0 0) into 0
10.802 * [backup-simplify]: Simplify 0 into 0
10.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.804 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.805 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
10.805 * [backup-simplify]: Simplify (- 0) into 0
10.805 * [backup-simplify]: Simplify (+ 0 0) into 0
10.805 * [backup-simplify]: Simplify 0 into 0
10.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.807 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.808 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
10.808 * [backup-simplify]: Simplify (- 0) into 0
10.808 * [backup-simplify]: Simplify (+ 0 0) into 0
10.808 * [backup-simplify]: Simplify 0 into 0
10.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.810 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.811 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
10.811 * [backup-simplify]: Simplify (- 0) into 0
10.811 * [backup-simplify]: Simplify (+ 0 0) into 0
10.811 * [backup-simplify]: Simplify 0 into 0
10.812 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (* (- 12.0) x)) into (- (* 9.0 (pow x 2)) (* 12.0 x))
10.812 * [backup-simplify]: Simplify (- (* 9.0 (* (/ 1 x) (/ 1 x))) (* (/ 1 x) 12.0)) into (- (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x)))
10.812 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in (x) around 0
10.812 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in x
10.812 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
10.812 * [taylor]: Taking taylor expansion of 9.0 in x
10.812 * [backup-simplify]: Simplify 9.0 into 9.0
10.812 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.812 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.812 * [taylor]: Taking taylor expansion of x in x
10.812 * [backup-simplify]: Simplify 0 into 0
10.812 * [backup-simplify]: Simplify 1 into 1
10.812 * [backup-simplify]: Simplify (* 1 1) into 1
10.813 * [backup-simplify]: Simplify (/ 1 1) into 1
10.813 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
10.813 * [taylor]: Taking taylor expansion of 12.0 in x
10.813 * [backup-simplify]: Simplify 12.0 into 12.0
10.813 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.813 * [taylor]: Taking taylor expansion of x in x
10.813 * [backup-simplify]: Simplify 0 into 0
10.813 * [backup-simplify]: Simplify 1 into 1
10.813 * [backup-simplify]: Simplify (/ 1 1) into 1
10.813 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in x
10.813 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
10.813 * [taylor]: Taking taylor expansion of 9.0 in x
10.813 * [backup-simplify]: Simplify 9.0 into 9.0
10.813 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.813 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.813 * [taylor]: Taking taylor expansion of x in x
10.813 * [backup-simplify]: Simplify 0 into 0
10.813 * [backup-simplify]: Simplify 1 into 1
10.813 * [backup-simplify]: Simplify (* 1 1) into 1
10.814 * [backup-simplify]: Simplify (/ 1 1) into 1
10.814 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
10.814 * [taylor]: Taking taylor expansion of 12.0 in x
10.814 * [backup-simplify]: Simplify 12.0 into 12.0
10.814 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.814 * [taylor]: Taking taylor expansion of x in x
10.814 * [backup-simplify]: Simplify 0 into 0
10.814 * [backup-simplify]: Simplify 1 into 1
10.814 * [backup-simplify]: Simplify (/ 1 1) into 1
10.814 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
10.815 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
10.815 * [backup-simplify]: Simplify 9.0 into 9.0
10.815 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.816 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
10.816 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
10.816 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
10.817 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
10.817 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
10.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.819 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
10.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.820 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
10.820 * [backup-simplify]: Simplify (- 0) into 0
10.820 * [backup-simplify]: Simplify (+ 0 0) into 0
10.820 * [backup-simplify]: Simplify 0 into 0
10.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.822 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.823 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (* 0 1))) into 0
10.823 * [backup-simplify]: Simplify (- 0) into 0
10.823 * [backup-simplify]: Simplify (+ 0 0) into 0
10.823 * [backup-simplify]: Simplify 0 into 0
10.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.826 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.827 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.828 * [backup-simplify]: Simplify (- 0) into 0
10.828 * [backup-simplify]: Simplify (+ 0 0) into 0
10.828 * [backup-simplify]: Simplify 0 into 0
10.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.830 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.831 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.831 * [backup-simplify]: Simplify (- 0) into 0
10.832 * [backup-simplify]: Simplify (+ 0 0) into 0
10.832 * [backup-simplify]: Simplify 0 into 0
10.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.834 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.835 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.836 * [backup-simplify]: Simplify (- 0) into 0
10.836 * [backup-simplify]: Simplify (+ 0 0) into 0
10.836 * [backup-simplify]: Simplify 0 into 0
10.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.838 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.840 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.840 * [backup-simplify]: Simplify (- 0) into 0
10.840 * [backup-simplify]: Simplify (+ 0 0) into 0
10.840 * [backup-simplify]: Simplify 0 into 0
10.841 * [backup-simplify]: Simplify (+ (* (- 12.0) (/ 1 (/ 1 x))) (* 9.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 9.0 (pow x 2)) (* 12.0 x))
10.841 * [backup-simplify]: Simplify (- (* 9.0 (* (/ 1 (- x)) (/ 1 (- x)))) (* (/ 1 (- x)) 12.0)) into (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x)))
10.841 * [approximate]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in (x) around 0
10.841 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in x
10.841 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
10.841 * [taylor]: Taking taylor expansion of 9.0 in x
10.841 * [backup-simplify]: Simplify 9.0 into 9.0
10.841 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.841 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.841 * [taylor]: Taking taylor expansion of x in x
10.841 * [backup-simplify]: Simplify 0 into 0
10.841 * [backup-simplify]: Simplify 1 into 1
10.841 * [backup-simplify]: Simplify (* 1 1) into 1
10.841 * [backup-simplify]: Simplify (/ 1 1) into 1
10.841 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
10.841 * [taylor]: Taking taylor expansion of 12.0 in x
10.841 * [backup-simplify]: Simplify 12.0 into 12.0
10.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.842 * [taylor]: Taking taylor expansion of x in x
10.842 * [backup-simplify]: Simplify 0 into 0
10.842 * [backup-simplify]: Simplify 1 into 1
10.842 * [backup-simplify]: Simplify (/ 1 1) into 1
10.842 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in x
10.842 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
10.842 * [taylor]: Taking taylor expansion of 9.0 in x
10.842 * [backup-simplify]: Simplify 9.0 into 9.0
10.842 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
10.842 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.842 * [taylor]: Taking taylor expansion of x in x
10.842 * [backup-simplify]: Simplify 0 into 0
10.842 * [backup-simplify]: Simplify 1 into 1
10.842 * [backup-simplify]: Simplify (* 1 1) into 1
10.842 * [backup-simplify]: Simplify (/ 1 1) into 1
10.842 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
10.842 * [taylor]: Taking taylor expansion of 12.0 in x
10.842 * [backup-simplify]: Simplify 12.0 into 12.0
10.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.843 * [taylor]: Taking taylor expansion of x in x
10.843 * [backup-simplify]: Simplify 0 into 0
10.843 * [backup-simplify]: Simplify 1 into 1
10.843 * [backup-simplify]: Simplify (/ 1 1) into 1
10.843 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
10.843 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
10.843 * [backup-simplify]: Simplify 9.0 into 9.0
10.844 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.845 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
10.845 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
10.845 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
10.845 * [backup-simplify]: Simplify 12.0 into 12.0
10.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.847 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
10.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.848 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
10.848 * [backup-simplify]: Simplify (+ 0 0) into 0
10.848 * [backup-simplify]: Simplify 0 into 0
10.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.850 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.851 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (* 0 1))) into 0
10.851 * [backup-simplify]: Simplify (+ 0 0) into 0
10.851 * [backup-simplify]: Simplify 0 into 0
10.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.853 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.854 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.854 * [backup-simplify]: Simplify (+ 0 0) into 0
10.854 * [backup-simplify]: Simplify 0 into 0
10.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.856 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.858 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.858 * [backup-simplify]: Simplify (+ 0 0) into 0
10.858 * [backup-simplify]: Simplify 0 into 0
10.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.860 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.862 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.862 * [backup-simplify]: Simplify (+ 0 0) into 0
10.862 * [backup-simplify]: Simplify 0 into 0
10.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.863 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.864 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.867 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.868 * [backup-simplify]: Simplify (+ 0 0) into 0
10.868 * [backup-simplify]: Simplify 0 into 0
10.868 * [backup-simplify]: Simplify (+ (* 12.0 (/ 1 (/ 1 (- x)))) (* 9.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 9.0 (pow x 2)) (* 12.0 x))
10.868 * * * [progress]: simplifying candidates
10.869 * [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))
10.869 * * [simplify]: iteration 0: 59 enodes
10.885 * * [simplify]: iteration 1: 171 enodes
10.938 * * [simplify]: iteration 2: 563 enodes
11.420 * * [simplify]: iteration 3: 2430 enodes
12.354 * * [simplify]: iteration complete: 5001 enodes
12.354 * * [simplify]: Extracting #0: cost 23 inf + 0
12.355 * * [simplify]: Extracting #1: cost 333 inf + 0
12.358 * * [simplify]: Extracting #2: cost 1013 inf + 4669
12.373 * * [simplify]: Extracting #3: cost 993 inf + 65262
12.420 * * [simplify]: Extracting #4: cost 309 inf + 198348
12.480 * * [simplify]: Extracting #5: cost 48 inf + 267575
12.574 * * [simplify]: Extracting #6: cost 10 inf + 275861
12.648 * * [simplify]: Extracting #7: cost 0 inf + 279121
12.716 * [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))
12.718 * * * [progress]: adding candidates to table
12.818 * [progress]: [Phase 3 of 3] Extracting.
12.819 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (* 3.0 (* x (- (* 3.0 x) 4.0))) (* 1.0 3.0)))> #<alt (λ (x) (+ 3.0 (* x (- (* 9.0 x) 12.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) (+ (- (* 9.0 (* x x)) (* x 12.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) (+ (* (sqrt 3.0) (* (sqrt 3.0) (* x (- (* x 3.0) 4.0)))) (* 1.0 3.0)))>)
12.819 * * * [regime-changes]: Trying 3 branch expressions: ((- (* (* x 3.0) x) (* x 4.0)) (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0) x)
12.819 * * * * [regimes]: Trying to branch on (- (* (* x 3.0) x) (* x 4.0)) from (#<alt (λ (x) (+ (* 3.0 (* x (- (* 3.0 x) 4.0))) (* 1.0 3.0)))> #<alt (λ (x) (+ 3.0 (* x (- (* 9.0 x) 12.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) (+ (- (* 9.0 (* x x)) (* x 12.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) (+ (* (sqrt 3.0) (* (sqrt 3.0) (* x (- (* x 3.0) 4.0)))) (* 1.0 3.0)))>)
12.856 * * * * [regimes]: Trying to branch on (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0) from (#<alt (λ (x) (+ (* 3.0 (* x (- (* 3.0 x) 4.0))) (* 1.0 3.0)))> #<alt (λ (x) (+ 3.0 (* x (- (* 9.0 x) 12.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) (+ (- (* 9.0 (* x x)) (* x 12.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) (+ (* (sqrt 3.0) (* (sqrt 3.0) (* x (- (* x 3.0) 4.0)))) (* 1.0 3.0)))>)
12.890 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (* 3.0 (* x (- (* 3.0 x) 4.0))) (* 1.0 3.0)))> #<alt (λ (x) (+ 3.0 (* x (- (* 9.0 x) 12.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) (+ (- (* 9.0 (* x x)) (* x 12.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) (+ (* (sqrt 3.0) (* (sqrt 3.0) (* x (- (* x 3.0) 4.0)))) (* 1.0 3.0)))>)
12.926 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
12.926 * [simplify]: Simplifying:
  (+ 3.0 (* x (- (* 9.0 x) 12.0)))
12.926 * * [simplify]: iteration 0: 8 enodes
12.927 * * [simplify]: iteration 1: 11 enodes
12.927 * * [simplify]: iteration complete: 11 enodes
12.927 * * [simplify]: Extracting #0: cost 1 inf + 0
12.927 * * [simplify]: Extracting #1: cost 3 inf + 0
12.927 * * [simplify]: Extracting #2: cost 4 inf + 1
12.927 * * [simplify]: Extracting #3: cost 5 inf + 2
12.927 * * [simplify]: Extracting #4: cost 5 inf + 3
12.927 * * [simplify]: Extracting #5: cost 0 inf + 416
12.927 * [simplify]: Simplified to:
  (+ 3.0 (* (- (* 9.0 x) 12.0) x))
14.251 * [regime-testing]: Baseline error score: 0.08834509630478453
14.264 * [regime-testing]: Oracle error score: 0.003948613889326311
14.290 * [regime-testing]: End program error score: 0.08834509630478453
14.376 * [regime-testing]: Target error score: 0.09156836194778155