44.882 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.043 * * * [progress]: [2/2] Setting up program.
0.046 * [progress]: [Phase 2 of 3] Improving.
0.047 * [simplify]: Simplifying:
  (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
0.998 * * [progress]: iteration 1 / 4
0.998 * * * [progress]: picking best candidate
1.002 * * * * [pick]: Picked  #<alt (λ (x) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))>
1.002 * * * [progress]: localizing error
1.017 * * * [progress]: generating rewritten candidates
1.017 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 1)
1.043 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
1.381 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
1.419 * * * [progress]: generating series expansions
1.419 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 1)
1.419 * [backup-simplify]: Simplify (* (* x 3.0) x) into (* 3.0 (pow x 2))
1.419 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
1.419 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
1.419 * [taylor]: Taking taylor expansion of 3.0 in x
1.419 * [backup-simplify]: Simplify 3.0 into 3.0
1.419 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.419 * [taylor]: Taking taylor expansion of x in x
1.419 * [backup-simplify]: Simplify 0 into 0
1.419 * [backup-simplify]: Simplify 1 into 1
1.419 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
1.419 * [taylor]: Taking taylor expansion of 3.0 in x
1.419 * [backup-simplify]: Simplify 3.0 into 3.0
1.419 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.419 * [taylor]: Taking taylor expansion of x in x
1.419 * [backup-simplify]: Simplify 0 into 0
1.419 * [backup-simplify]: Simplify 1 into 1
1.420 * [backup-simplify]: Simplify (* 1 1) into 1
1.420 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
1.420 * [backup-simplify]: Simplify 3.0 into 3.0
1.421 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.421 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
1.421 * [backup-simplify]: Simplify 0 into 0
1.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.422 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
1.422 * [backup-simplify]: Simplify 0 into 0
1.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.423 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.424 * [backup-simplify]: Simplify 0 into 0
1.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.425 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.425 * [backup-simplify]: Simplify 0 into 0
1.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.427 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.427 * [backup-simplify]: Simplify 0 into 0
1.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.428 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.428 * [backup-simplify]: Simplify 0 into 0
1.429 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
1.429 * [backup-simplify]: Simplify (* (* (/ 1 x) 3.0) (/ 1 x)) into (/ 3.0 (pow x 2))
1.429 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
1.429 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
1.429 * [taylor]: Taking taylor expansion of 3.0 in x
1.429 * [backup-simplify]: Simplify 3.0 into 3.0
1.429 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.429 * [taylor]: Taking taylor expansion of x in x
1.429 * [backup-simplify]: Simplify 0 into 0
1.429 * [backup-simplify]: Simplify 1 into 1
1.429 * [backup-simplify]: Simplify (* 1 1) into 1
1.429 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.429 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
1.429 * [taylor]: Taking taylor expansion of 3.0 in x
1.430 * [backup-simplify]: Simplify 3.0 into 3.0
1.430 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.430 * [taylor]: Taking taylor expansion of x in x
1.430 * [backup-simplify]: Simplify 0 into 0
1.430 * [backup-simplify]: Simplify 1 into 1
1.430 * [backup-simplify]: Simplify (* 1 1) into 1
1.430 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.430 * [backup-simplify]: Simplify 3.0 into 3.0
1.431 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.431 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
1.431 * [backup-simplify]: Simplify 0 into 0
1.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.432 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.432 * [backup-simplify]: Simplify 0 into 0
1.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.433 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.433 * [backup-simplify]: Simplify 0 into 0
1.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.435 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.435 * [backup-simplify]: Simplify 0 into 0
1.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.436 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.436 * [backup-simplify]: Simplify 0 into 0
1.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.438 * [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
1.438 * [backup-simplify]: Simplify 0 into 0
1.438 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
1.438 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) into (/ 3.0 (pow x 2))
1.438 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
1.438 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
1.438 * [taylor]: Taking taylor expansion of 3.0 in x
1.438 * [backup-simplify]: Simplify 3.0 into 3.0
1.438 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.438 * [taylor]: Taking taylor expansion of x in x
1.438 * [backup-simplify]: Simplify 0 into 0
1.438 * [backup-simplify]: Simplify 1 into 1
1.439 * [backup-simplify]: Simplify (* 1 1) into 1
1.439 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.439 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
1.439 * [taylor]: Taking taylor expansion of 3.0 in x
1.439 * [backup-simplify]: Simplify 3.0 into 3.0
1.439 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.439 * [taylor]: Taking taylor expansion of x in x
1.439 * [backup-simplify]: Simplify 0 into 0
1.439 * [backup-simplify]: Simplify 1 into 1
1.439 * [backup-simplify]: Simplify (* 1 1) into 1
1.440 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
1.440 * [backup-simplify]: Simplify 3.0 into 3.0
1.440 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.441 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
1.441 * [backup-simplify]: Simplify 0 into 0
1.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.442 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.442 * [backup-simplify]: Simplify 0 into 0
1.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.443 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.443 * [backup-simplify]: Simplify 0 into 0
1.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.444 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.444 * [backup-simplify]: Simplify 0 into 0
1.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.446 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.446 * [backup-simplify]: Simplify 0 into 0
1.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.447 * [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
1.447 * [backup-simplify]: Simplify 0 into 0
1.447 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
1.447 * * * * [progress]: [ 2 / 3 ] generating series at (2)
1.448 * [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)))
1.448 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in (x) around 0
1.448 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
1.448 * [taylor]: Taking taylor expansion of 3.0 in x
1.448 * [backup-simplify]: Simplify 3.0 into 3.0
1.448 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
1.448 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
1.448 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
1.448 * [taylor]: Taking taylor expansion of 3.0 in x
1.448 * [backup-simplify]: Simplify 3.0 into 3.0
1.448 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.448 * [taylor]: Taking taylor expansion of x in x
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify 1 into 1
1.448 * [taylor]: Taking taylor expansion of 1.0 in x
1.448 * [backup-simplify]: Simplify 1.0 into 1.0
1.448 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
1.448 * [taylor]: Taking taylor expansion of 4.0 in x
1.448 * [backup-simplify]: Simplify 4.0 into 4.0
1.448 * [taylor]: Taking taylor expansion of x in x
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify 1 into 1
1.448 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
1.448 * [taylor]: Taking taylor expansion of 3.0 in x
1.448 * [backup-simplify]: Simplify 3.0 into 3.0
1.448 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
1.448 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
1.448 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
1.448 * [taylor]: Taking taylor expansion of 3.0 in x
1.448 * [backup-simplify]: Simplify 3.0 into 3.0
1.448 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.448 * [taylor]: Taking taylor expansion of x in x
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify 1 into 1
1.448 * [taylor]: Taking taylor expansion of 1.0 in x
1.448 * [backup-simplify]: Simplify 1.0 into 1.0
1.448 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
1.448 * [taylor]: Taking taylor expansion of 4.0 in x
1.448 * [backup-simplify]: Simplify 4.0 into 4.0
1.448 * [taylor]: Taking taylor expansion of x in x
1.448 * [backup-simplify]: Simplify 0 into 0
1.448 * [backup-simplify]: Simplify 1 into 1
1.449 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.449 * [backup-simplify]: Simplify (* 4.0 0) into 0
1.449 * [backup-simplify]: Simplify (- 0) into 0
1.449 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.450 * [backup-simplify]: Simplify (* 3.0 1.0) into 3.0
1.450 * [backup-simplify]: Simplify 3.0 into 3.0
1.450 * [backup-simplify]: Simplify (+ 0 0) into 0
1.451 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
1.451 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.452 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
1.453 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 1.0)) into (- 12.0)
1.453 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
1.453 * [backup-simplify]: Simplify (* 1 1) into 1
1.454 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
1.454 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
1.454 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
1.455 * [backup-simplify]: Simplify (- 0) into 0
1.455 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
1.460 * [backup-simplify]: Simplify (+ (* 3.0 3.0) (+ (* 0 (- 4.0)) (* 0 1.0))) into 9.0
1.460 * [backup-simplify]: Simplify 9.0 into 9.0
1.461 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (+ (* (- 12.0) x) 3.0)) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
1.461 * [backup-simplify]: Simplify (* 3.0 (+ (- (* (* (/ 1 x) 3.0) (/ 1 x)) (* (/ 1 x) 4.0)) 1.0)) into (* 3.0 (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x))))
1.461 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x)))) in (x) around 0
1.461 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x)))) in x
1.461 * [taylor]: Taking taylor expansion of 3.0 in x
1.461 * [backup-simplify]: Simplify 3.0 into 3.0
1.461 * [taylor]: Taking taylor expansion of (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x))) in x
1.461 * [taylor]: Taking taylor expansion of (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) in x
1.461 * [taylor]: Taking taylor expansion of 1.0 in x
1.461 * [backup-simplify]: Simplify 1.0 into 1.0
1.461 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
1.461 * [taylor]: Taking taylor expansion of 3.0 in x
1.461 * [backup-simplify]: Simplify 3.0 into 3.0
1.461 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.461 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.461 * [taylor]: Taking taylor expansion of x in x
1.461 * [backup-simplify]: Simplify 0 into 0
1.461 * [backup-simplify]: Simplify 1 into 1
1.461 * [backup-simplify]: Simplify (* 1 1) into 1
1.462 * [backup-simplify]: Simplify (/ 1 1) into 1
1.462 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.462 * [taylor]: Taking taylor expansion of 4.0 in x
1.462 * [backup-simplify]: Simplify 4.0 into 4.0
1.462 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.462 * [taylor]: Taking taylor expansion of x in x
1.462 * [backup-simplify]: Simplify 0 into 0
1.462 * [backup-simplify]: Simplify 1 into 1
1.462 * [backup-simplify]: Simplify (/ 1 1) into 1
1.462 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x)))) in x
1.462 * [taylor]: Taking taylor expansion of 3.0 in x
1.462 * [backup-simplify]: Simplify 3.0 into 3.0
1.462 * [taylor]: Taking taylor expansion of (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x))) in x
1.462 * [taylor]: Taking taylor expansion of (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) in x
1.462 * [taylor]: Taking taylor expansion of 1.0 in x
1.462 * [backup-simplify]: Simplify 1.0 into 1.0
1.462 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
1.462 * [taylor]: Taking taylor expansion of 3.0 in x
1.462 * [backup-simplify]: Simplify 3.0 into 3.0
1.462 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.462 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.462 * [taylor]: Taking taylor expansion of x in x
1.462 * [backup-simplify]: Simplify 0 into 0
1.462 * [backup-simplify]: Simplify 1 into 1
1.462 * [backup-simplify]: Simplify (* 1 1) into 1
1.463 * [backup-simplify]: Simplify (/ 1 1) into 1
1.463 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.463 * [taylor]: Taking taylor expansion of 4.0 in x
1.463 * [backup-simplify]: Simplify 4.0 into 4.0
1.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.463 * [taylor]: Taking taylor expansion of x in x
1.463 * [backup-simplify]: Simplify 0 into 0
1.463 * [backup-simplify]: Simplify 1 into 1
1.463 * [backup-simplify]: Simplify (/ 1 1) into 1
1.463 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
1.464 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
1.464 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
1.465 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
1.465 * [backup-simplify]: Simplify 9.0 into 9.0
1.465 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.466 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.467 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
1.467 * [backup-simplify]: Simplify (+ 0 0) into 0
1.467 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
1.468 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.468 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
1.470 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 3.0)) into (- 12.0)
1.471 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
1.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.473 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
1.474 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.475 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
1.476 * [backup-simplify]: Simplify (- 0) into 0
1.476 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.478 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 (- 4.0)) (* 0 3.0))) into 3.0
1.478 * [backup-simplify]: Simplify 3.0 into 3.0
1.479 * [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))
1.480 * [backup-simplify]: Simplify (* 3.0 (+ (- (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) (* (/ 1 (- x)) 4.0)) 1.0)) into (* 3.0 (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))))
1.480 * [approximate]: Taking taylor expansion of (* 3.0 (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))))) in (x) around 0
1.480 * [taylor]: Taking taylor expansion of (* 3.0 (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))))) in x
1.480 * [taylor]: Taking taylor expansion of 3.0 in x
1.480 * [backup-simplify]: Simplify 3.0 into 3.0
1.480 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))) in x
1.480 * [taylor]: Taking taylor expansion of 1.0 in x
1.480 * [backup-simplify]: Simplify 1.0 into 1.0
1.480 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
1.480 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
1.480 * [taylor]: Taking taylor expansion of 3.0 in x
1.480 * [backup-simplify]: Simplify 3.0 into 3.0
1.480 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.480 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.480 * [taylor]: Taking taylor expansion of x in x
1.480 * [backup-simplify]: Simplify 0 into 0
1.480 * [backup-simplify]: Simplify 1 into 1
1.481 * [backup-simplify]: Simplify (* 1 1) into 1
1.481 * [backup-simplify]: Simplify (/ 1 1) into 1
1.481 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.481 * [taylor]: Taking taylor expansion of 4.0 in x
1.481 * [backup-simplify]: Simplify 4.0 into 4.0
1.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.481 * [taylor]: Taking taylor expansion of x in x
1.481 * [backup-simplify]: Simplify 0 into 0
1.481 * [backup-simplify]: Simplify 1 into 1
1.482 * [backup-simplify]: Simplify (/ 1 1) into 1
1.482 * [taylor]: Taking taylor expansion of (* 3.0 (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))))) in x
1.482 * [taylor]: Taking taylor expansion of 3.0 in x
1.482 * [backup-simplify]: Simplify 3.0 into 3.0
1.482 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))) in x
1.482 * [taylor]: Taking taylor expansion of 1.0 in x
1.482 * [backup-simplify]: Simplify 1.0 into 1.0
1.482 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
1.482 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
1.482 * [taylor]: Taking taylor expansion of 3.0 in x
1.482 * [backup-simplify]: Simplify 3.0 into 3.0
1.482 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.482 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.482 * [taylor]: Taking taylor expansion of x in x
1.482 * [backup-simplify]: Simplify 0 into 0
1.482 * [backup-simplify]: Simplify 1 into 1
1.483 * [backup-simplify]: Simplify (* 1 1) into 1
1.483 * [backup-simplify]: Simplify (/ 1 1) into 1
1.483 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.483 * [taylor]: Taking taylor expansion of 4.0 in x
1.483 * [backup-simplify]: Simplify 4.0 into 4.0
1.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.483 * [backup-simplify]: Simplify 0 into 0
1.483 * [backup-simplify]: Simplify 1 into 1
1.483 * [backup-simplify]: Simplify (/ 1 1) into 1
1.484 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
1.484 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
1.485 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
1.485 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
1.485 * [backup-simplify]: Simplify 9.0 into 9.0
1.486 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.488 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
1.488 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
1.489 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
1.489 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
1.491 * [backup-simplify]: Simplify (+ (* 3.0 4.0) (* 0 3.0)) into 12.0
1.491 * [backup-simplify]: Simplify 12.0 into 12.0
1.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.494 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
1.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.495 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
1.495 * [backup-simplify]: Simplify (+ 0 0) into 0
1.496 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
1.498 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 4.0) (* 0 3.0))) into 3.0
1.498 * [backup-simplify]: Simplify 3.0 into 3.0
1.499 * [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))
1.499 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
1.499 * [backup-simplify]: Simplify (- (* (* x 3.0) x) (* x 4.0)) into (- (* 3.0 (pow x 2)) (* 4.0 x))
1.499 * [approximate]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in (x) around 0
1.499 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in x
1.499 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
1.499 * [taylor]: Taking taylor expansion of 3.0 in x
1.499 * [backup-simplify]: Simplify 3.0 into 3.0
1.499 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.499 * [taylor]: Taking taylor expansion of x in x
1.499 * [backup-simplify]: Simplify 0 into 0
1.499 * [backup-simplify]: Simplify 1 into 1
1.499 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
1.499 * [taylor]: Taking taylor expansion of 4.0 in x
1.499 * [backup-simplify]: Simplify 4.0 into 4.0
1.499 * [taylor]: Taking taylor expansion of x in x
1.499 * [backup-simplify]: Simplify 0 into 0
1.499 * [backup-simplify]: Simplify 1 into 1
1.499 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in x
1.499 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
1.499 * [taylor]: Taking taylor expansion of 3.0 in x
1.500 * [backup-simplify]: Simplify 3.0 into 3.0
1.500 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.500 * [taylor]: Taking taylor expansion of x in x
1.500 * [backup-simplify]: Simplify 0 into 0
1.500 * [backup-simplify]: Simplify 1 into 1
1.500 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
1.500 * [taylor]: Taking taylor expansion of 4.0 in x
1.500 * [backup-simplify]: Simplify 4.0 into 4.0
1.500 * [taylor]: Taking taylor expansion of x in x
1.500 * [backup-simplify]: Simplify 0 into 0
1.500 * [backup-simplify]: Simplify 1 into 1
1.500 * [backup-simplify]: Simplify (* 4.0 0) into 0
1.501 * [backup-simplify]: Simplify (- 0) into 0
1.501 * [backup-simplify]: Simplify (+ 0 0) into 0
1.501 * [backup-simplify]: Simplify 0 into 0
1.503 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
1.503 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.504 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
1.504 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.505 * [backup-simplify]: Simplify (* 1 1) into 1
1.505 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
1.506 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
1.507 * [backup-simplify]: Simplify (- 0) into 0
1.507 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
1.507 * [backup-simplify]: Simplify 3.0 into 3.0
1.508 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.508 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
1.510 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.510 * [backup-simplify]: Simplify (- 0) into 0
1.511 * [backup-simplify]: Simplify (+ 0 0) into 0
1.511 * [backup-simplify]: Simplify 0 into 0
1.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.512 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
1.514 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1.514 * [backup-simplify]: Simplify (- 0) into 0
1.514 * [backup-simplify]: Simplify (+ 0 0) into 0
1.515 * [backup-simplify]: Simplify 0 into 0
1.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.517 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.518 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1.519 * [backup-simplify]: Simplify (- 0) into 0
1.519 * [backup-simplify]: Simplify (+ 0 0) into 0
1.519 * [backup-simplify]: Simplify 0 into 0
1.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.521 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.523 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1.523 * [backup-simplify]: Simplify (- 0) into 0
1.524 * [backup-simplify]: Simplify (+ 0 0) into 0
1.524 * [backup-simplify]: Simplify 0 into 0
1.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.526 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.528 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1.529 * [backup-simplify]: Simplify (- 0) into 0
1.529 * [backup-simplify]: Simplify (+ 0 0) into 0
1.529 * [backup-simplify]: Simplify 0 into 0
1.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.532 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.533 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
1.533 * [backup-simplify]: Simplify (- 0) into 0
1.534 * [backup-simplify]: Simplify (+ 0 0) into 0
1.534 * [backup-simplify]: Simplify 0 into 0
1.534 * [backup-simplify]: Simplify (+ (* 3.0 (pow x 2)) (* (- 4.0) x)) into (- (* 3.0 (pow x 2)) (* 4.0 x))
1.534 * [backup-simplify]: Simplify (- (* (* (/ 1 x) 3.0) (/ 1 x)) (* (/ 1 x) 4.0)) into (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))
1.534 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in (x) around 0
1.534 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
1.534 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
1.534 * [taylor]: Taking taylor expansion of 3.0 in x
1.534 * [backup-simplify]: Simplify 3.0 into 3.0
1.534 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.534 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.534 * [taylor]: Taking taylor expansion of x in x
1.534 * [backup-simplify]: Simplify 0 into 0
1.534 * [backup-simplify]: Simplify 1 into 1
1.535 * [backup-simplify]: Simplify (* 1 1) into 1
1.535 * [backup-simplify]: Simplify (/ 1 1) into 1
1.535 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.535 * [taylor]: Taking taylor expansion of 4.0 in x
1.535 * [backup-simplify]: Simplify 4.0 into 4.0
1.535 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.535 * [taylor]: Taking taylor expansion of x in x
1.535 * [backup-simplify]: Simplify 0 into 0
1.535 * [backup-simplify]: Simplify 1 into 1
1.535 * [backup-simplify]: Simplify (/ 1 1) into 1
1.535 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
1.535 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
1.535 * [taylor]: Taking taylor expansion of 3.0 in x
1.535 * [backup-simplify]: Simplify 3.0 into 3.0
1.535 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.535 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.535 * [taylor]: Taking taylor expansion of x in x
1.536 * [backup-simplify]: Simplify 0 into 0
1.536 * [backup-simplify]: Simplify 1 into 1
1.536 * [backup-simplify]: Simplify (* 1 1) into 1
1.536 * [backup-simplify]: Simplify (/ 1 1) into 1
1.536 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.536 * [taylor]: Taking taylor expansion of 4.0 in x
1.536 * [backup-simplify]: Simplify 4.0 into 4.0
1.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.536 * [taylor]: Taking taylor expansion of x in x
1.536 * [backup-simplify]: Simplify 0 into 0
1.536 * [backup-simplify]: Simplify 1 into 1
1.536 * [backup-simplify]: Simplify (/ 1 1) into 1
1.537 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
1.537 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
1.537 * [backup-simplify]: Simplify 3.0 into 3.0
1.537 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.538 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
1.538 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
1.539 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.539 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
1.539 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
1.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.541 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
1.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.542 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
1.542 * [backup-simplify]: Simplify (- 0) into 0
1.542 * [backup-simplify]: Simplify (+ 0 0) into 0
1.542 * [backup-simplify]: Simplify 0 into 0
1.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.544 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.545 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
1.545 * [backup-simplify]: Simplify (- 0) into 0
1.546 * [backup-simplify]: Simplify (+ 0 0) into 0
1.546 * [backup-simplify]: Simplify 0 into 0
1.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.548 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.549 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.549 * [backup-simplify]: Simplify (- 0) into 0
1.550 * [backup-simplify]: Simplify (+ 0 0) into 0
1.550 * [backup-simplify]: Simplify 0 into 0
1.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.552 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.553 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.553 * [backup-simplify]: Simplify (- 0) into 0
1.553 * [backup-simplify]: Simplify (+ 0 0) into 0
1.553 * [backup-simplify]: Simplify 0 into 0
1.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.556 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.557 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.557 * [backup-simplify]: Simplify (- 0) into 0
1.557 * [backup-simplify]: Simplify (+ 0 0) into 0
1.557 * [backup-simplify]: Simplify 0 into 0
1.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1.559 * [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
1.560 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.561 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.562 * [backup-simplify]: Simplify (- 0) into 0
1.562 * [backup-simplify]: Simplify (+ 0 0) into 0
1.562 * [backup-simplify]: Simplify 0 into 0
1.562 * [backup-simplify]: Simplify (+ (* (- 4.0) (/ 1 (/ 1 x))) (* 3.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x))
1.562 * [backup-simplify]: Simplify (- (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) (* (/ 1 (- x)) 4.0)) into (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))
1.563 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in (x) around 0
1.563 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
1.563 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
1.563 * [taylor]: Taking taylor expansion of 3.0 in x
1.563 * [backup-simplify]: Simplify 3.0 into 3.0
1.563 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.563 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.563 * [taylor]: Taking taylor expansion of x in x
1.563 * [backup-simplify]: Simplify 0 into 0
1.563 * [backup-simplify]: Simplify 1 into 1
1.563 * [backup-simplify]: Simplify (* 1 1) into 1
1.563 * [backup-simplify]: Simplify (/ 1 1) into 1
1.563 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.563 * [taylor]: Taking taylor expansion of 4.0 in x
1.563 * [backup-simplify]: Simplify 4.0 into 4.0
1.563 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.563 * [taylor]: Taking taylor expansion of x in x
1.563 * [backup-simplify]: Simplify 0 into 0
1.563 * [backup-simplify]: Simplify 1 into 1
1.564 * [backup-simplify]: Simplify (/ 1 1) into 1
1.564 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
1.564 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
1.564 * [taylor]: Taking taylor expansion of 3.0 in x
1.564 * [backup-simplify]: Simplify 3.0 into 3.0
1.564 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.564 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.564 * [taylor]: Taking taylor expansion of x in x
1.564 * [backup-simplify]: Simplify 0 into 0
1.564 * [backup-simplify]: Simplify 1 into 1
1.564 * [backup-simplify]: Simplify (* 1 1) into 1
1.565 * [backup-simplify]: Simplify (/ 1 1) into 1
1.565 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.565 * [taylor]: Taking taylor expansion of 4.0 in x
1.565 * [backup-simplify]: Simplify 4.0 into 4.0
1.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.565 * [taylor]: Taking taylor expansion of x in x
1.565 * [backup-simplify]: Simplify 0 into 0
1.565 * [backup-simplify]: Simplify 1 into 1
1.565 * [backup-simplify]: Simplify (/ 1 1) into 1
1.566 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
1.566 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
1.566 * [backup-simplify]: Simplify 3.0 into 3.0
1.567 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.568 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
1.569 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
1.569 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
1.569 * [backup-simplify]: Simplify 4.0 into 4.0
1.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.572 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
1.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.574 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
1.574 * [backup-simplify]: Simplify (+ 0 0) into 0
1.574 * [backup-simplify]: Simplify 0 into 0
1.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.583 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.586 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
1.586 * [backup-simplify]: Simplify (+ 0 0) into 0
1.586 * [backup-simplify]: Simplify 0 into 0
1.587 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.589 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.591 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.592 * [backup-simplify]: Simplify (+ 0 0) into 0
1.592 * [backup-simplify]: Simplify 0 into 0
1.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.596 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.598 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.598 * [backup-simplify]: Simplify (+ 0 0) into 0
1.599 * [backup-simplify]: Simplify 0 into 0
1.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.603 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.605 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.605 * [backup-simplify]: Simplify (+ 0 0) into 0
1.605 * [backup-simplify]: Simplify 0 into 0
1.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1.608 * [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
1.609 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.610 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.610 * [backup-simplify]: Simplify (+ 0 0) into 0
1.610 * [backup-simplify]: Simplify 0 into 0
1.611 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 (/ 1 (- x)))) (* 3.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x))
1.611 * * * [progress]: simplifying candidates
1.612 * [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))
2.280 * * * [progress]: adding candidates to table
2.432 * * [progress]: iteration 2 / 4
2.432 * * * [progress]: picking best candidate
2.453 * * * * [pick]: Picked  #<alt (λ (x) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)))>
2.453 * * * [progress]: localizing error
2.470 * * * [progress]: generating rewritten candidates
2.470 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
2.495 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.609 * * * [progress]: generating series expansions
2.610 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
2.610 * [backup-simplify]: Simplify (* 9.0 (pow x 2)) into (* 9.0 (pow x 2))
2.610 * [approximate]: Taking taylor expansion of (* 9.0 (pow x 2)) in (x) around 0
2.610 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
2.610 * [taylor]: Taking taylor expansion of 9.0 in x
2.610 * [backup-simplify]: Simplify 9.0 into 9.0
2.610 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.610 * [taylor]: Taking taylor expansion of x in x
2.610 * [backup-simplify]: Simplify 0 into 0
2.610 * [backup-simplify]: Simplify 1 into 1
2.610 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
2.610 * [taylor]: Taking taylor expansion of 9.0 in x
2.610 * [backup-simplify]: Simplify 9.0 into 9.0
2.610 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.610 * [taylor]: Taking taylor expansion of x in x
2.610 * [backup-simplify]: Simplify 0 into 0
2.610 * [backup-simplify]: Simplify 1 into 1
2.611 * [backup-simplify]: Simplify (* 1 1) into 1
2.611 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
2.611 * [backup-simplify]: Simplify 9.0 into 9.0
2.612 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.613 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
2.613 * [backup-simplify]: Simplify 0 into 0
2.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.615 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
2.615 * [backup-simplify]: Simplify 0 into 0
2.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.616 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.616 * [backup-simplify]: Simplify 0 into 0
2.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.619 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.619 * [backup-simplify]: Simplify 0 into 0
2.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.622 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.622 * [backup-simplify]: Simplify 0 into 0
2.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.625 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.625 * [backup-simplify]: Simplify 0 into 0
2.625 * [backup-simplify]: Simplify (* 9.0 (pow x 2)) into (* 9.0 (pow x 2))
2.626 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 x) 2)) into (/ 9.0 (pow x 2))
2.626 * [approximate]: Taking taylor expansion of (/ 9.0 (pow x 2)) in (x) around 0
2.626 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
2.626 * [taylor]: Taking taylor expansion of 9.0 in x
2.626 * [backup-simplify]: Simplify 9.0 into 9.0
2.626 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.626 * [taylor]: Taking taylor expansion of x in x
2.626 * [backup-simplify]: Simplify 0 into 0
2.626 * [backup-simplify]: Simplify 1 into 1
2.626 * [backup-simplify]: Simplify (* 1 1) into 1
2.627 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
2.627 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
2.627 * [taylor]: Taking taylor expansion of 9.0 in x
2.627 * [backup-simplify]: Simplify 9.0 into 9.0
2.627 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.627 * [taylor]: Taking taylor expansion of x in x
2.627 * [backup-simplify]: Simplify 0 into 0
2.627 * [backup-simplify]: Simplify 1 into 1
2.627 * [backup-simplify]: Simplify (* 1 1) into 1
2.628 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
2.628 * [backup-simplify]: Simplify 9.0 into 9.0
2.628 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.629 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)))) into 0
2.629 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.631 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.631 * [backup-simplify]: Simplify 0 into 0
2.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.633 * [backup-simplify]: Simplify 0 into 0
2.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.635 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.636 * [backup-simplify]: Simplify 0 into 0
2.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.638 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.638 * [backup-simplify]: Simplify 0 into 0
2.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.641 * [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
2.641 * [backup-simplify]: Simplify 0 into 0
2.641 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 (/ 1 x)) 2)) into (* 9.0 (pow x 2))
2.641 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 (- x)) 2)) into (/ 9.0 (pow x 2))
2.641 * [approximate]: Taking taylor expansion of (/ 9.0 (pow x 2)) in (x) around 0
2.641 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
2.641 * [taylor]: Taking taylor expansion of 9.0 in x
2.641 * [backup-simplify]: Simplify 9.0 into 9.0
2.641 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.641 * [taylor]: Taking taylor expansion of x in x
2.641 * [backup-simplify]: Simplify 0 into 0
2.641 * [backup-simplify]: Simplify 1 into 1
2.642 * [backup-simplify]: Simplify (* 1 1) into 1
2.642 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
2.642 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
2.642 * [taylor]: Taking taylor expansion of 9.0 in x
2.642 * [backup-simplify]: Simplify 9.0 into 9.0
2.642 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.642 * [taylor]: Taking taylor expansion of x in x
2.643 * [backup-simplify]: Simplify 0 into 0
2.643 * [backup-simplify]: Simplify 1 into 1
2.643 * [backup-simplify]: Simplify (* 1 1) into 1
2.643 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
2.643 * [backup-simplify]: Simplify 9.0 into 9.0
2.644 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.645 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)))) into 0
2.645 * [backup-simplify]: Simplify 0 into 0
2.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.647 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.647 * [backup-simplify]: Simplify 0 into 0
2.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.649 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.649 * [backup-simplify]: Simplify 0 into 0
2.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.652 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.652 * [backup-simplify]: Simplify 0 into 0
2.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.654 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.654 * [backup-simplify]: Simplify 0 into 0
2.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.657 * [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
2.657 * [backup-simplify]: Simplify 0 into 0
2.657 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 9.0 (pow x 2))
2.657 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.657 * [backup-simplify]: Simplify (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
2.657 * [approximate]: Taking taylor expansion of (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) in (x) around 0
2.658 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) in x
2.658 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow x 2)) 3.0) in x
2.658 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
2.658 * [taylor]: Taking taylor expansion of 9.0 in x
2.658 * [backup-simplify]: Simplify 9.0 into 9.0
2.658 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.658 * [taylor]: Taking taylor expansion of x in x
2.658 * [backup-simplify]: Simplify 0 into 0
2.658 * [backup-simplify]: Simplify 1 into 1
2.658 * [taylor]: Taking taylor expansion of 3.0 in x
2.658 * [backup-simplify]: Simplify 3.0 into 3.0
2.658 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
2.658 * [taylor]: Taking taylor expansion of 12.0 in x
2.658 * [backup-simplify]: Simplify 12.0 into 12.0
2.658 * [taylor]: Taking taylor expansion of x in x
2.658 * [backup-simplify]: Simplify 0 into 0
2.658 * [backup-simplify]: Simplify 1 into 1
2.658 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) in x
2.658 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow x 2)) 3.0) in x
2.658 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
2.658 * [taylor]: Taking taylor expansion of 9.0 in x
2.658 * [backup-simplify]: Simplify 9.0 into 9.0
2.658 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.658 * [taylor]: Taking taylor expansion of x in x
2.658 * [backup-simplify]: Simplify 0 into 0
2.658 * [backup-simplify]: Simplify 1 into 1
2.658 * [taylor]: Taking taylor expansion of 3.0 in x
2.658 * [backup-simplify]: Simplify 3.0 into 3.0
2.658 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
2.658 * [taylor]: Taking taylor expansion of 12.0 in x
2.659 * [backup-simplify]: Simplify 12.0 into 12.0
2.659 * [taylor]: Taking taylor expansion of x in x
2.659 * [backup-simplify]: Simplify 0 into 0
2.659 * [backup-simplify]: Simplify 1 into 1
2.659 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
2.660 * [backup-simplify]: Simplify (* 12.0 0) into 0
2.660 * [backup-simplify]: Simplify (- 0) into 0
2.660 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
2.660 * [backup-simplify]: Simplify 3.0 into 3.0
2.661 * [backup-simplify]: Simplify (+ 0 0) into 0
2.662 * [backup-simplify]: Simplify (+ (* 12.0 1) (* 0 0)) into 12.0
2.663 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
2.664 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
2.664 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
2.665 * [backup-simplify]: Simplify (* 1 1) into 1
2.665 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
2.666 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
2.667 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 1) (* 0 0))) into 0
2.672 * [backup-simplify]: Simplify (- 0) into 0
2.673 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
2.673 * [backup-simplify]: Simplify 9.0 into 9.0
2.673 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (+ (* (- 12.0) x) 3.0)) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
2.674 * [backup-simplify]: Simplify (- (+ (* 9.0 (pow (/ 1 x) 2)) 3.0) (* 12.0 (/ 1 x))) into (- (+ (* 9.0 (/ 1 (pow x 2))) 3.0) (* 12.0 (/ 1 x)))
2.674 * [approximate]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 (pow x 2))) 3.0) (* 12.0 (/ 1 x))) in (x) around 0
2.674 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 (pow x 2))) 3.0) (* 12.0 (/ 1 x))) in x
2.674 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) 3.0) in x
2.674 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
2.674 * [taylor]: Taking taylor expansion of 9.0 in x
2.674 * [backup-simplify]: Simplify 9.0 into 9.0
2.674 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.674 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.674 * [taylor]: Taking taylor expansion of x in x
2.674 * [backup-simplify]: Simplify 0 into 0
2.674 * [backup-simplify]: Simplify 1 into 1
2.675 * [backup-simplify]: Simplify (* 1 1) into 1
2.675 * [backup-simplify]: Simplify (/ 1 1) into 1
2.675 * [taylor]: Taking taylor expansion of 3.0 in x
2.675 * [backup-simplify]: Simplify 3.0 into 3.0
2.675 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
2.675 * [taylor]: Taking taylor expansion of 12.0 in x
2.675 * [backup-simplify]: Simplify 12.0 into 12.0
2.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.675 * [taylor]: Taking taylor expansion of x in x
2.675 * [backup-simplify]: Simplify 0 into 0
2.675 * [backup-simplify]: Simplify 1 into 1
2.676 * [backup-simplify]: Simplify (/ 1 1) into 1
2.676 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 (pow x 2))) 3.0) (* 12.0 (/ 1 x))) in x
2.676 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) 3.0) in x
2.676 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
2.676 * [taylor]: Taking taylor expansion of 9.0 in x
2.676 * [backup-simplify]: Simplify 9.0 into 9.0
2.676 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.676 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.676 * [taylor]: Taking taylor expansion of x in x
2.676 * [backup-simplify]: Simplify 0 into 0
2.676 * [backup-simplify]: Simplify 1 into 1
2.676 * [backup-simplify]: Simplify (* 1 1) into 1
2.677 * [backup-simplify]: Simplify (/ 1 1) into 1
2.677 * [taylor]: Taking taylor expansion of 3.0 in x
2.677 * [backup-simplify]: Simplify 3.0 into 3.0
2.677 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
2.677 * [taylor]: Taking taylor expansion of 12.0 in x
2.677 * [backup-simplify]: Simplify 12.0 into 12.0
2.677 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.677 * [taylor]: Taking taylor expansion of x in x
2.677 * [backup-simplify]: Simplify 0 into 0
2.677 * [backup-simplify]: Simplify 1 into 1
2.678 * [backup-simplify]: Simplify (/ 1 1) into 1
2.678 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
2.679 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
2.679 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
2.679 * [backup-simplify]: Simplify 9.0 into 9.0
2.680 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.681 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
2.682 * [backup-simplify]: Simplify (+ 0 0) into 0
2.682 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
2.682 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
2.683 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
2.684 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
2.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.686 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
2.687 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
2.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.688 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
2.689 * [backup-simplify]: Simplify (- 0) into 0
2.689 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
2.689 * [backup-simplify]: Simplify 3.0 into 3.0
2.690 * [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))
2.691 * [backup-simplify]: Simplify (- (+ (* 9.0 (pow (/ 1 (- x)) 2)) 3.0) (* 12.0 (/ 1 (- x)))) into (+ (* 9.0 (/ 1 (pow x 2))) (+ (* 12.0 (/ 1 x)) 3.0))
2.691 * [approximate]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (+ (* 12.0 (/ 1 x)) 3.0)) in (x) around 0
2.691 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (+ (* 12.0 (/ 1 x)) 3.0)) in x
2.691 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
2.691 * [taylor]: Taking taylor expansion of 9.0 in x
2.691 * [backup-simplify]: Simplify 9.0 into 9.0
2.691 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.691 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.691 * [taylor]: Taking taylor expansion of x in x
2.691 * [backup-simplify]: Simplify 0 into 0
2.691 * [backup-simplify]: Simplify 1 into 1
2.692 * [backup-simplify]: Simplify (* 1 1) into 1
2.692 * [backup-simplify]: Simplify (/ 1 1) into 1
2.692 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
2.692 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
2.692 * [taylor]: Taking taylor expansion of 12.0 in x
2.692 * [backup-simplify]: Simplify 12.0 into 12.0
2.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.692 * [taylor]: Taking taylor expansion of x in x
2.692 * [backup-simplify]: Simplify 0 into 0
2.692 * [backup-simplify]: Simplify 1 into 1
2.693 * [backup-simplify]: Simplify (/ 1 1) into 1
2.693 * [taylor]: Taking taylor expansion of 3.0 in x
2.693 * [backup-simplify]: Simplify 3.0 into 3.0
2.693 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (+ (* 12.0 (/ 1 x)) 3.0)) in x
2.693 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
2.693 * [taylor]: Taking taylor expansion of 9.0 in x
2.693 * [backup-simplify]: Simplify 9.0 into 9.0
2.693 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.693 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.693 * [taylor]: Taking taylor expansion of x in x
2.693 * [backup-simplify]: Simplify 0 into 0
2.693 * [backup-simplify]: Simplify 1 into 1
2.693 * [backup-simplify]: Simplify (* 1 1) into 1
2.694 * [backup-simplify]: Simplify (/ 1 1) into 1
2.694 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
2.694 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
2.694 * [taylor]: Taking taylor expansion of 12.0 in x
2.694 * [backup-simplify]: Simplify 12.0 into 12.0
2.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.694 * [taylor]: Taking taylor expansion of x in x
2.694 * [backup-simplify]: Simplify 0 into 0
2.694 * [backup-simplify]: Simplify 1 into 1
2.694 * [backup-simplify]: Simplify (/ 1 1) into 1
2.694 * [taylor]: Taking taylor expansion of 3.0 in x
2.694 * [backup-simplify]: Simplify 3.0 into 3.0
2.695 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
2.695 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
2.695 * [backup-simplify]: Simplify 9.0 into 9.0
2.696 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.698 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
2.698 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
2.699 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
2.699 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
2.699 * [backup-simplify]: Simplify 12.0 into 12.0
2.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.701 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.702 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
2.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.703 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
2.704 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
2.704 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
2.704 * [backup-simplify]: Simplify 3.0 into 3.0
2.705 * [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))
2.705 * * * [progress]: simplifying candidates
2.707 * [simplify]: Simplifying:
  (+ (log 9.0) (* (log x) 2))
  (+ (log 9.0) (* (log x) 2))
  (+ (log 9.0) (log (pow x 2)))
  (log (* 9.0 (pow x 2)))
  (exp (* 9.0 (pow x 2)))
  (* (* (* 9.0 9.0) 9.0) (* (* (pow x 2) (pow x 2)) (pow x 2)))
  (* (cbrt (* 9.0 (pow x 2))) (cbrt (* 9.0 (pow x 2))))
  (cbrt (* 9.0 (pow x 2)))
  (* (* (* 9.0 (pow x 2)) (* 9.0 (pow x 2))) (* 9.0 (pow x 2)))
  (sqrt (* 9.0 (pow x 2)))
  (sqrt (* 9.0 (pow x 2)))
  (* (sqrt 9.0) (pow (sqrt x) 2))
  (* (sqrt 9.0) (pow (sqrt x) 2))
  (* (sqrt 9.0) x)
  (* (sqrt 9.0) x)
  (* (sqrt 9.0) (sqrt (pow x 2)))
  (* (sqrt 9.0) (sqrt (pow x 2)))
  (* (sqrt 9.0) (pow x (/ 2 2)))
  (* (sqrt 9.0) (pow x (/ 2 2)))
  (* 9.0 (pow (* (cbrt x) (cbrt x)) 2))
  (* 9.0 (pow (sqrt x) 2))
  (* 9.0 (pow 1 2))
  (* 9.0 x)
  (* 9.0 (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (* 9.0 (sqrt (pow x 2)))
  (* 9.0 1)
  (* 9.0 (pow x (/ 2 2)))
  (* (cbrt 9.0) (pow x 2))
  (* (sqrt 9.0) (pow x 2))
  (* 9.0 (pow x 2))
  (/ (* (exp (* 9.0 (pow x 2))) (exp 3.0)) (exp (* 12.0 x)))
  (/ (exp (+ (* 9.0 (pow x 2)) 3.0)) (exp (* 12.0 x)))
  (log (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)))
  (exp (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)))
  (* (cbrt (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))) (cbrt (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))))
  (cbrt (- (+ (* 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))) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)))
  (sqrt (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)))
  (sqrt (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)))
  (- (pow (+ (* 9.0 (pow x 2)) 3.0) 3) (pow (* 12.0 x) 3))
  (+ (* (+ (* 9.0 (pow x 2)) 3.0) (+ (* 9.0 (pow x 2)) 3.0)) (+ (* (* 12.0 x) (* 12.0 x)) (* (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))))
  (- (* 12.0 x))
  (- (* (+ (* 9.0 (pow x 2)) 3.0) (+ (* 9.0 (pow x 2)) 3.0)) (* (* 12.0 x) (* 12.0 x)))
  (+ (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (- (* 12.0 x))
  (* 9.0 (pow x 2))
  (* 9.0 (pow x 2))
  (* 9.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))
5.189 * * * [progress]: adding candidates to table
5.316 * * [progress]: iteration 3 / 4
5.316 * * * [progress]: picking best candidate
5.332 * * * * [pick]: Picked  #<alt (λ (x) (+ (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x))))>
5.332 * * * [progress]: localizing error
5.349 * * * [progress]: generating rewritten candidates
5.349 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
5.373 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.409 * * * [progress]: generating series expansions
5.409 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
5.409 * [backup-simplify]: Simplify (* 9.0 (pow x 2)) into (* 9.0 (pow x 2))
5.410 * [approximate]: Taking taylor expansion of (* 9.0 (pow x 2)) in (x) around 0
5.410 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
5.410 * [taylor]: Taking taylor expansion of 9.0 in x
5.410 * [backup-simplify]: Simplify 9.0 into 9.0
5.410 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.410 * [taylor]: Taking taylor expansion of x in x
5.410 * [backup-simplify]: Simplify 0 into 0
5.410 * [backup-simplify]: Simplify 1 into 1
5.410 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
5.410 * [taylor]: Taking taylor expansion of 9.0 in x
5.410 * [backup-simplify]: Simplify 9.0 into 9.0
5.410 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.410 * [taylor]: Taking taylor expansion of x in x
5.410 * [backup-simplify]: Simplify 0 into 0
5.410 * [backup-simplify]: Simplify 1 into 1
5.411 * [backup-simplify]: Simplify (* 1 1) into 1
5.411 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.411 * [backup-simplify]: Simplify 9.0 into 9.0
5.412 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.412 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
5.413 * [backup-simplify]: Simplify 0 into 0
5.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.414 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
5.414 * [backup-simplify]: Simplify 0 into 0
5.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.416 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.417 * [backup-simplify]: Simplify 0 into 0
5.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.419 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.419 * [backup-simplify]: Simplify 0 into 0
5.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.422 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.422 * [backup-simplify]: Simplify 0 into 0
5.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.425 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.425 * [backup-simplify]: Simplify 0 into 0
5.425 * [backup-simplify]: Simplify (* 9.0 (pow x 2)) into (* 9.0 (pow x 2))
5.425 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 x) 2)) into (/ 9.0 (pow x 2))
5.425 * [approximate]: Taking taylor expansion of (/ 9.0 (pow x 2)) in (x) around 0
5.426 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
5.426 * [taylor]: Taking taylor expansion of 9.0 in x
5.426 * [backup-simplify]: Simplify 9.0 into 9.0
5.426 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.426 * [taylor]: Taking taylor expansion of x in x
5.426 * [backup-simplify]: Simplify 0 into 0
5.426 * [backup-simplify]: Simplify 1 into 1
5.426 * [backup-simplify]: Simplify (* 1 1) into 1
5.426 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
5.427 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
5.427 * [taylor]: Taking taylor expansion of 9.0 in x
5.427 * [backup-simplify]: Simplify 9.0 into 9.0
5.427 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.427 * [taylor]: Taking taylor expansion of x in x
5.427 * [backup-simplify]: Simplify 0 into 0
5.427 * [backup-simplify]: Simplify 1 into 1
5.427 * [backup-simplify]: Simplify (* 1 1) into 1
5.428 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
5.428 * [backup-simplify]: Simplify 9.0 into 9.0
5.428 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.429 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)))) into 0
5.429 * [backup-simplify]: Simplify 0 into 0
5.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.431 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.431 * [backup-simplify]: Simplify 0 into 0
5.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.433 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.433 * [backup-simplify]: Simplify 0 into 0
5.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.435 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.435 * [backup-simplify]: Simplify 0 into 0
5.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.438 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.438 * [backup-simplify]: Simplify 0 into 0
5.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.440 * [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
5.441 * [backup-simplify]: Simplify 0 into 0
5.441 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 (/ 1 x)) 2)) into (* 9.0 (pow x 2))
5.441 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 (- x)) 2)) into (/ 9.0 (pow x 2))
5.441 * [approximate]: Taking taylor expansion of (/ 9.0 (pow x 2)) in (x) around 0
5.441 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
5.441 * [taylor]: Taking taylor expansion of 9.0 in x
5.441 * [backup-simplify]: Simplify 9.0 into 9.0
5.441 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.441 * [taylor]: Taking taylor expansion of x in x
5.441 * [backup-simplify]: Simplify 0 into 0
5.441 * [backup-simplify]: Simplify 1 into 1
5.442 * [backup-simplify]: Simplify (* 1 1) into 1
5.442 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
5.442 * [taylor]: Taking taylor expansion of (/ 9.0 (pow x 2)) in x
5.442 * [taylor]: Taking taylor expansion of 9.0 in x
5.442 * [backup-simplify]: Simplify 9.0 into 9.0
5.442 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.442 * [taylor]: Taking taylor expansion of x in x
5.442 * [backup-simplify]: Simplify 0 into 0
5.442 * [backup-simplify]: Simplify 1 into 1
5.443 * [backup-simplify]: Simplify (* 1 1) into 1
5.443 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
5.443 * [backup-simplify]: Simplify 9.0 into 9.0
5.444 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.445 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)))) into 0
5.445 * [backup-simplify]: Simplify 0 into 0
5.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.447 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.447 * [backup-simplify]: Simplify 0 into 0
5.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.449 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.449 * [backup-simplify]: Simplify 0 into 0
5.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.451 * [backup-simplify]: Simplify 0 into 0
5.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.453 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.453 * [backup-simplify]: Simplify 0 into 0
5.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.456 * [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
5.456 * [backup-simplify]: Simplify 0 into 0
5.457 * [backup-simplify]: Simplify (* 9.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 9.0 (pow x 2))
5.457 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.457 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x))) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
5.457 * [approximate]: Taking taylor expansion of (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) in (x) around 0
5.457 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) in x
5.457 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow x 2)) 3.0) in x
5.457 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
5.457 * [taylor]: Taking taylor expansion of 9.0 in x
5.457 * [backup-simplify]: Simplify 9.0 into 9.0
5.457 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.457 * [taylor]: Taking taylor expansion of x in x
5.457 * [backup-simplify]: Simplify 0 into 0
5.457 * [backup-simplify]: Simplify 1 into 1
5.457 * [taylor]: Taking taylor expansion of 3.0 in x
5.457 * [backup-simplify]: Simplify 3.0 into 3.0
5.458 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
5.458 * [taylor]: Taking taylor expansion of 12.0 in x
5.458 * [backup-simplify]: Simplify 12.0 into 12.0
5.458 * [taylor]: Taking taylor expansion of x in x
5.458 * [backup-simplify]: Simplify 0 into 0
5.458 * [backup-simplify]: Simplify 1 into 1
5.458 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) in x
5.458 * [taylor]: Taking taylor expansion of (+ (* 9.0 (pow x 2)) 3.0) in x
5.458 * [taylor]: Taking taylor expansion of (* 9.0 (pow x 2)) in x
5.458 * [taylor]: Taking taylor expansion of 9.0 in x
5.458 * [backup-simplify]: Simplify 9.0 into 9.0
5.458 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.458 * [taylor]: Taking taylor expansion of x in x
5.458 * [backup-simplify]: Simplify 0 into 0
5.458 * [backup-simplify]: Simplify 1 into 1
5.458 * [taylor]: Taking taylor expansion of 3.0 in x
5.458 * [backup-simplify]: Simplify 3.0 into 3.0
5.458 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
5.458 * [taylor]: Taking taylor expansion of 12.0 in x
5.458 * [backup-simplify]: Simplify 12.0 into 12.0
5.458 * [taylor]: Taking taylor expansion of x in x
5.458 * [backup-simplify]: Simplify 0 into 0
5.458 * [backup-simplify]: Simplify 1 into 1
5.459 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
5.459 * [backup-simplify]: Simplify (* 12.0 0) into 0
5.460 * [backup-simplify]: Simplify (- 0) into 0
5.460 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
5.460 * [backup-simplify]: Simplify 3.0 into 3.0
5.460 * [backup-simplify]: Simplify (+ 0 0) into 0
5.462 * [backup-simplify]: Simplify (+ (* 12.0 1) (* 0 0)) into 12.0
5.462 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.463 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
5.463 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.464 * [backup-simplify]: Simplify (* 1 1) into 1
5.464 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.465 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.466 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 1) (* 0 0))) into 0
5.466 * [backup-simplify]: Simplify (- 0) into 0
5.466 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.467 * [backup-simplify]: Simplify 9.0 into 9.0
5.467 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (+ (* (- 12.0) x) 3.0)) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
5.468 * [backup-simplify]: Simplify (+ (* 9.0 (pow (/ 1 x) 2)) (- 3.0 (* 12.0 (/ 1 x)))) into (- (+ (* 9.0 (/ 1 (pow x 2))) 3.0) (* 12.0 (/ 1 x)))
5.468 * [approximate]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 (pow x 2))) 3.0) (* 12.0 (/ 1 x))) in (x) around 0
5.468 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 (pow x 2))) 3.0) (* 12.0 (/ 1 x))) in x
5.468 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) 3.0) in x
5.468 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
5.468 * [taylor]: Taking taylor expansion of 9.0 in x
5.468 * [backup-simplify]: Simplify 9.0 into 9.0
5.468 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.468 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.468 * [taylor]: Taking taylor expansion of x in x
5.468 * [backup-simplify]: Simplify 0 into 0
5.468 * [backup-simplify]: Simplify 1 into 1
5.476 * [backup-simplify]: Simplify (* 1 1) into 1
5.476 * [backup-simplify]: Simplify (/ 1 1) into 1
5.476 * [taylor]: Taking taylor expansion of 3.0 in x
5.477 * [backup-simplify]: Simplify 3.0 into 3.0
5.477 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
5.477 * [taylor]: Taking taylor expansion of 12.0 in x
5.477 * [backup-simplify]: Simplify 12.0 into 12.0
5.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.477 * [taylor]: Taking taylor expansion of x in x
5.477 * [backup-simplify]: Simplify 0 into 0
5.477 * [backup-simplify]: Simplify 1 into 1
5.477 * [backup-simplify]: Simplify (/ 1 1) into 1
5.477 * [taylor]: Taking taylor expansion of (- (+ (* 9.0 (/ 1 (pow x 2))) 3.0) (* 12.0 (/ 1 x))) in x
5.477 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) 3.0) in x
5.477 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
5.477 * [taylor]: Taking taylor expansion of 9.0 in x
5.477 * [backup-simplify]: Simplify 9.0 into 9.0
5.477 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.478 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.478 * [taylor]: Taking taylor expansion of x in x
5.478 * [backup-simplify]: Simplify 0 into 0
5.478 * [backup-simplify]: Simplify 1 into 1
5.478 * [backup-simplify]: Simplify (* 1 1) into 1
5.478 * [backup-simplify]: Simplify (/ 1 1) into 1
5.478 * [taylor]: Taking taylor expansion of 3.0 in x
5.479 * [backup-simplify]: Simplify 3.0 into 3.0
5.479 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
5.479 * [taylor]: Taking taylor expansion of 12.0 in x
5.479 * [backup-simplify]: Simplify 12.0 into 12.0
5.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.479 * [taylor]: Taking taylor expansion of x in x
5.479 * [backup-simplify]: Simplify 0 into 0
5.479 * [backup-simplify]: Simplify 1 into 1
5.479 * [backup-simplify]: Simplify (/ 1 1) into 1
5.480 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.480 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.481 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.481 * [backup-simplify]: Simplify 9.0 into 9.0
5.481 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.483 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
5.483 * [backup-simplify]: Simplify (+ 0 0) into 0
5.484 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
5.484 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.485 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
5.486 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
5.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.488 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
5.489 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
5.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.490 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
5.490 * [backup-simplify]: Simplify (- 0) into 0
5.490 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
5.490 * [backup-simplify]: Simplify 3.0 into 3.0
5.491 * [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))
5.491 * [backup-simplify]: Simplify (+ (* 9.0 (pow (/ 1 (- x)) 2)) (- 3.0 (* 12.0 (/ 1 (- x))))) into (+ 3.0 (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))))
5.491 * [approximate]: Taking taylor expansion of (+ 3.0 (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x)))) in (x) around 0
5.491 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x)))) in x
5.491 * [taylor]: Taking taylor expansion of 3.0 in x
5.491 * [backup-simplify]: Simplify 3.0 into 3.0
5.491 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in x
5.491 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
5.491 * [taylor]: Taking taylor expansion of 9.0 in x
5.491 * [backup-simplify]: Simplify 9.0 into 9.0
5.491 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.491 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.491 * [taylor]: Taking taylor expansion of x in x
5.491 * [backup-simplify]: Simplify 0 into 0
5.491 * [backup-simplify]: Simplify 1 into 1
5.492 * [backup-simplify]: Simplify (* 1 1) into 1
5.492 * [backup-simplify]: Simplify (/ 1 1) into 1
5.492 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
5.492 * [taylor]: Taking taylor expansion of 12.0 in x
5.492 * [backup-simplify]: Simplify 12.0 into 12.0
5.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.492 * [taylor]: Taking taylor expansion of x in x
5.492 * [backup-simplify]: Simplify 0 into 0
5.492 * [backup-simplify]: Simplify 1 into 1
5.492 * [backup-simplify]: Simplify (/ 1 1) into 1
5.492 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x)))) in x
5.492 * [taylor]: Taking taylor expansion of 3.0 in x
5.492 * [backup-simplify]: Simplify 3.0 into 3.0
5.492 * [taylor]: Taking taylor expansion of (+ (* 9.0 (/ 1 (pow x 2))) (* 12.0 (/ 1 x))) in x
5.492 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (pow x 2))) in x
5.492 * [taylor]: Taking taylor expansion of 9.0 in x
5.492 * [backup-simplify]: Simplify 9.0 into 9.0
5.492 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.492 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.492 * [taylor]: Taking taylor expansion of x in x
5.493 * [backup-simplify]: Simplify 0 into 0
5.493 * [backup-simplify]: Simplify 1 into 1
5.493 * [backup-simplify]: Simplify (* 1 1) into 1
5.493 * [backup-simplify]: Simplify (/ 1 1) into 1
5.493 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
5.493 * [taylor]: Taking taylor expansion of 12.0 in x
5.493 * [backup-simplify]: Simplify 12.0 into 12.0
5.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.493 * [taylor]: Taking taylor expansion of x in x
5.493 * [backup-simplify]: Simplify 0 into 0
5.493 * [backup-simplify]: Simplify 1 into 1
5.493 * [backup-simplify]: Simplify (/ 1 1) into 1
5.494 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
5.494 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
5.494 * [backup-simplify]: Simplify (+ 0 9.0) into 9.0
5.494 * [backup-simplify]: Simplify 9.0 into 9.0
5.495 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.495 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.496 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
5.496 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
5.496 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
5.496 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
5.496 * [backup-simplify]: Simplify 12.0 into 12.0
5.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.498 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
5.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.499 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
5.499 * [backup-simplify]: Simplify (+ 0 0) into 0
5.499 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
5.499 * [backup-simplify]: Simplify 3.0 into 3.0
5.500 * [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))
5.500 * * * [progress]: simplifying candidates
5.501 * [simplify]: Simplifying:
  (+ (log 9.0) (* (log x) 2))
  (+ (log 9.0) (* (log x) 2))
  (+ (log 9.0) (log (pow x 2)))
  (log (* 9.0 (pow x 2)))
  (exp (* 9.0 (pow x 2)))
  (* (* (* 9.0 9.0) 9.0) (* (* (pow x 2) (pow x 2)) (pow x 2)))
  (* (cbrt (* 9.0 (pow x 2))) (cbrt (* 9.0 (pow x 2))))
  (cbrt (* 9.0 (pow x 2)))
  (* (* (* 9.0 (pow x 2)) (* 9.0 (pow x 2))) (* 9.0 (pow x 2)))
  (sqrt (* 9.0 (pow x 2)))
  (sqrt (* 9.0 (pow x 2)))
  (* (sqrt 9.0) (pow (sqrt x) 2))
  (* (sqrt 9.0) (pow (sqrt x) 2))
  (* (sqrt 9.0) x)
  (* (sqrt 9.0) x)
  (* (sqrt 9.0) (sqrt (pow x 2)))
  (* (sqrt 9.0) (sqrt (pow x 2)))
  (* (sqrt 9.0) (pow x (/ 2 2)))
  (* (sqrt 9.0) (pow x (/ 2 2)))
  (* 9.0 (pow (* (cbrt x) (cbrt x)) 2))
  (* 9.0 (pow (sqrt x) 2))
  (* 9.0 (pow 1 2))
  (* 9.0 x)
  (* 9.0 (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (* 9.0 (sqrt (pow x 2)))
  (* 9.0 1)
  (* 9.0 (pow x (/ 2 2)))
  (* (cbrt 9.0) (pow x 2))
  (* (sqrt 9.0) (pow x 2))
  (* 9.0 (pow x 2))
  (* (exp (* 9.0 (pow x 2))) (/ (exp 3.0) (exp (* 12.0 x))))
  (* (exp (* 9.0 (pow x 2))) (exp (- 3.0 (* 12.0 x))))
  (log (+ (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x))))
  (exp (+ (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x))))
  (* (cbrt (+ (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x)))) (cbrt (+ (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x)))))
  (cbrt (+ (* 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)))) (+ (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x))))
  (sqrt (+ (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x))))
  (sqrt (+ (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x))))
  (+ (pow (* 9.0 (pow x 2)) 3) (pow (- 3.0 (* 12.0 x)) 3))
  (+ (* (* 9.0 (pow x 2)) (* 9.0 (pow x 2))) (- (* (- 3.0 (* 12.0 x)) (- 3.0 (* 12.0 x))) (* (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x)))))
  (- (* (* 9.0 (pow x 2)) (* 9.0 (pow x 2))) (* (- 3.0 (* 12.0 x)) (- 3.0 (* 12.0 x))))
  (- (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x)))
  (+ (* 9.0 (pow x 2)) 3.0)
  (+ (* 9.0 (pow x 2)) 3.0)
  (+ (* 9.0 (pow x 2)) 3.0)
  (* 9.0 (pow x 2))
  (* 9.0 (pow x 2))
  (* 9.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))
8.032 * * * [progress]: adding candidates to table
8.171 * * [progress]: iteration 4 / 4
8.171 * * * [progress]: picking best candidate
8.178 * * * * [pick]: Picked  #<alt (λ (x) (+ (* x (- (* 9.0 x) 12.0)) 3.0))>
8.179 * * * [progress]: localizing error
8.191 * * * [progress]: generating rewritten candidates
8.191 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
8.229 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2)
8.243 * * * [progress]: generating series expansions
8.243 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
8.243 * [backup-simplify]: Simplify (* x (- (* 9.0 x) 12.0)) into (* (- (* 9.0 x) 12.0) x)
8.243 * [approximate]: Taking taylor expansion of (* (- (* 9.0 x) 12.0) x) in (x) around 0
8.243 * [taylor]: Taking taylor expansion of (* (- (* 9.0 x) 12.0) x) in x
8.244 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
8.244 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
8.244 * [taylor]: Taking taylor expansion of 9.0 in x
8.244 * [backup-simplify]: Simplify 9.0 into 9.0
8.244 * [taylor]: Taking taylor expansion of x in x
8.244 * [backup-simplify]: Simplify 0 into 0
8.244 * [backup-simplify]: Simplify 1 into 1
8.244 * [taylor]: Taking taylor expansion of 12.0 in x
8.244 * [backup-simplify]: Simplify 12.0 into 12.0
8.244 * [taylor]: Taking taylor expansion of x in x
8.244 * [backup-simplify]: Simplify 0 into 0
8.244 * [backup-simplify]: Simplify 1 into 1
8.244 * [taylor]: Taking taylor expansion of (* (- (* 9.0 x) 12.0) x) in x
8.244 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
8.244 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
8.244 * [taylor]: Taking taylor expansion of 9.0 in x
8.244 * [backup-simplify]: Simplify 9.0 into 9.0
8.244 * [taylor]: Taking taylor expansion of x in x
8.244 * [backup-simplify]: Simplify 0 into 0
8.244 * [backup-simplify]: Simplify 1 into 1
8.244 * [taylor]: Taking taylor expansion of 12.0 in x
8.244 * [backup-simplify]: Simplify 12.0 into 12.0
8.244 * [taylor]: Taking taylor expansion of x in x
8.244 * [backup-simplify]: Simplify 0 into 0
8.244 * [backup-simplify]: Simplify 1 into 1
8.245 * [backup-simplify]: Simplify (* 9.0 0) into 0
8.245 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
8.245 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
8.246 * [backup-simplify]: Simplify (* (- 12.0) 0) into 0
8.246 * [backup-simplify]: Simplify 0 into 0
8.247 * [backup-simplify]: Simplify (+ (* 9.0 1) (* 0 0)) into 9.0
8.247 * [backup-simplify]: Simplify (- 0) into 0
8.247 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
8.249 * [backup-simplify]: Simplify (+ (* (- 12.0) 1) (* 9.0 0)) into (- 12.0)
8.250 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
8.251 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 1) (* 0 0))) into 0
8.251 * [backup-simplify]: Simplify (- 0) into 0
8.251 * [backup-simplify]: Simplify (+ 0 0) into 0
8.254 * [backup-simplify]: Simplify (+ (* (- 12.0) 0) (+ (* 9.0 1) (* 0 0))) into 9.0
8.254 * [backup-simplify]: Simplify 9.0 into 9.0
8.255 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
8.255 * [backup-simplify]: Simplify (- 0) into 0
8.256 * [backup-simplify]: Simplify (+ 0 0) into 0
8.257 * [backup-simplify]: Simplify (+ (* (- 12.0) 0) (+ (* 9.0 0) (+ (* 0 1) (* 0 0)))) into 0
8.257 * [backup-simplify]: Simplify 0 into 0
8.258 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.258 * [backup-simplify]: Simplify (- 0) into 0
8.258 * [backup-simplify]: Simplify (+ 0 0) into 0
8.260 * [backup-simplify]: Simplify (+ (* (- 12.0) 0) (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.260 * [backup-simplify]: Simplify 0 into 0
8.261 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
8.261 * [backup-simplify]: Simplify (- 0) into 0
8.262 * [backup-simplify]: Simplify (+ 0 0) into 0
8.263 * [backup-simplify]: Simplify (+ (* (- 12.0) 0) (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
8.263 * [backup-simplify]: Simplify 0 into 0
8.265 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
8.265 * [backup-simplify]: Simplify (- 0) into 0
8.265 * [backup-simplify]: Simplify (+ 0 0) into 0
8.267 * [backup-simplify]: Simplify (+ (* (- 12.0) 0) (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
8.267 * [backup-simplify]: Simplify 0 into 0
8.269 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
8.269 * [backup-simplify]: Simplify (- 0) into 0
8.269 * [backup-simplify]: Simplify (+ 0 0) into 0
8.271 * [backup-simplify]: Simplify (+ (* (- 12.0) 0) (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
8.272 * [backup-simplify]: Simplify 0 into 0
8.273 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
8.274 * [backup-simplify]: Simplify (- 0) into 0
8.274 * [backup-simplify]: Simplify (+ 0 0) into 0
8.276 * [backup-simplify]: Simplify (+ (* (- 12.0) 0) (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
8.276 * [backup-simplify]: Simplify 0 into 0
8.277 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (* (- 12.0) x)) into (- (* 9.0 (pow x 2)) (* 12.0 x))
8.277 * [backup-simplify]: Simplify (* (/ 1 x) (- (* 9.0 (/ 1 x)) 12.0)) into (/ (- (* 9.0 (/ 1 x)) 12.0) x)
8.277 * [approximate]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in (x) around 0
8.277 * [taylor]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in x
8.277 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
8.277 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
8.277 * [taylor]: Taking taylor expansion of 9.0 in x
8.277 * [backup-simplify]: Simplify 9.0 into 9.0
8.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.277 * [taylor]: Taking taylor expansion of x in x
8.277 * [backup-simplify]: Simplify 0 into 0
8.277 * [backup-simplify]: Simplify 1 into 1
8.278 * [backup-simplify]: Simplify (/ 1 1) into 1
8.278 * [taylor]: Taking taylor expansion of 12.0 in x
8.278 * [backup-simplify]: Simplify 12.0 into 12.0
8.278 * [taylor]: Taking taylor expansion of x in x
8.278 * [backup-simplify]: Simplify 0 into 0
8.278 * [backup-simplify]: Simplify 1 into 1
8.278 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
8.278 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
8.279 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
8.279 * [taylor]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in x
8.279 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
8.279 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
8.279 * [taylor]: Taking taylor expansion of 9.0 in x
8.279 * [backup-simplify]: Simplify 9.0 into 9.0
8.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.279 * [taylor]: Taking taylor expansion of x in x
8.279 * [backup-simplify]: Simplify 0 into 0
8.279 * [backup-simplify]: Simplify 1 into 1
8.279 * [backup-simplify]: Simplify (/ 1 1) into 1
8.279 * [taylor]: Taking taylor expansion of 12.0 in x
8.280 * [backup-simplify]: Simplify 12.0 into 12.0
8.280 * [taylor]: Taking taylor expansion of x in x
8.280 * [backup-simplify]: Simplify 0 into 0
8.280 * [backup-simplify]: Simplify 1 into 1
8.280 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
8.280 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
8.281 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
8.281 * [backup-simplify]: Simplify 9.0 into 9.0
8.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.282 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
8.282 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
8.283 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
8.292 * [backup-simplify]: Simplify (- (/ (- 12.0) 1) (+ (* 9.0 (/ 0 1)))) into (- 12.0)
8.293 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
8.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.294 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
8.295 * [backup-simplify]: Simplify (- 0) into 0
8.295 * [backup-simplify]: Simplify (+ 0 0) into 0
8.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)))) into 0
8.296 * [backup-simplify]: Simplify 0 into 0
8.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.298 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.298 * [backup-simplify]: Simplify (- 0) into 0
8.299 * [backup-simplify]: Simplify (+ 0 0) into 0
8.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.300 * [backup-simplify]: Simplify 0 into 0
8.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.302 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.302 * [backup-simplify]: Simplify (- 0) into 0
8.303 * [backup-simplify]: Simplify (+ 0 0) into 0
8.304 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.304 * [backup-simplify]: Simplify 0 into 0
8.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.306 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.306 * [backup-simplify]: Simplify (- 0) into 0
8.306 * [backup-simplify]: Simplify (+ 0 0) into 0
8.308 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* (- 12.0) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.308 * [backup-simplify]: Simplify 0 into 0
8.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.310 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.310 * [backup-simplify]: Simplify (- 0) into 0
8.311 * [backup-simplify]: Simplify (+ 0 0) into 0
8.312 * [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
8.312 * [backup-simplify]: Simplify 0 into 0
8.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.314 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
8.314 * [backup-simplify]: Simplify (- 0) into 0
8.315 * [backup-simplify]: Simplify (+ 0 0) into 0
8.316 * [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
8.316 * [backup-simplify]: Simplify 0 into 0
8.317 * [backup-simplify]: Simplify (+ (* (- 12.0) (/ 1 (/ 1 x))) (* 9.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 9.0 (pow x 2)) (* 12.0 x))
8.317 * [backup-simplify]: Simplify (* (/ 1 (- x)) (- (* 9.0 (/ 1 (- x))) 12.0)) into (/ (+ 12.0 (* 9.0 (/ 1 x))) x)
8.317 * [approximate]: Taking taylor expansion of (/ (+ 12.0 (* 9.0 (/ 1 x))) x) in (x) around 0
8.317 * [taylor]: Taking taylor expansion of (/ (+ 12.0 (* 9.0 (/ 1 x))) x) in x
8.317 * [taylor]: Taking taylor expansion of (+ 12.0 (* 9.0 (/ 1 x))) in x
8.317 * [taylor]: Taking taylor expansion of 12.0 in x
8.317 * [backup-simplify]: Simplify 12.0 into 12.0
8.317 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
8.317 * [taylor]: Taking taylor expansion of 9.0 in x
8.317 * [backup-simplify]: Simplify 9.0 into 9.0
8.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.317 * [taylor]: Taking taylor expansion of x in x
8.317 * [backup-simplify]: Simplify 0 into 0
8.317 * [backup-simplify]: Simplify 1 into 1
8.318 * [backup-simplify]: Simplify (/ 1 1) into 1
8.318 * [taylor]: Taking taylor expansion of x in x
8.318 * [backup-simplify]: Simplify 0 into 0
8.318 * [backup-simplify]: Simplify 1 into 1
8.318 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
8.319 * [backup-simplify]: Simplify (+ 0 9.0) into 9.0
8.319 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
8.319 * [taylor]: Taking taylor expansion of (/ (+ 12.0 (* 9.0 (/ 1 x))) x) in x
8.319 * [taylor]: Taking taylor expansion of (+ 12.0 (* 9.0 (/ 1 x))) in x
8.319 * [taylor]: Taking taylor expansion of 12.0 in x
8.319 * [backup-simplify]: Simplify 12.0 into 12.0
8.319 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
8.319 * [taylor]: Taking taylor expansion of 9.0 in x
8.319 * [backup-simplify]: Simplify 9.0 into 9.0
8.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.319 * [taylor]: Taking taylor expansion of x in x
8.319 * [backup-simplify]: Simplify 0 into 0
8.319 * [backup-simplify]: Simplify 1 into 1
8.320 * [backup-simplify]: Simplify (/ 1 1) into 1
8.320 * [taylor]: Taking taylor expansion of x in x
8.320 * [backup-simplify]: Simplify 0 into 0
8.320 * [backup-simplify]: Simplify 1 into 1
8.320 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
8.321 * [backup-simplify]: Simplify (+ 0 9.0) into 9.0
8.321 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
8.321 * [backup-simplify]: Simplify 9.0 into 9.0
8.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.322 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
8.323 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
8.325 * [backup-simplify]: Simplify (- (/ 12.0 1) (+ (* 9.0 (/ 0 1)))) into 12.0
8.325 * [backup-simplify]: Simplify 12.0 into 12.0
8.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.326 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
8.327 * [backup-simplify]: Simplify (+ 0 0) into 0
8.327 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)))) into 0
8.328 * [backup-simplify]: Simplify 0 into 0
8.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.329 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.330 * [backup-simplify]: Simplify (+ 0 0) into 0
8.331 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.331 * [backup-simplify]: Simplify 0 into 0
8.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.332 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.333 * [backup-simplify]: Simplify (+ 0 0) into 0
8.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.334 * [backup-simplify]: Simplify 0 into 0
8.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.336 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.336 * [backup-simplify]: Simplify (+ 0 0) into 0
8.337 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 12.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.337 * [backup-simplify]: Simplify 0 into 0
8.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.340 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.340 * [backup-simplify]: Simplify (+ 0 0) into 0
8.341 * [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
8.341 * [backup-simplify]: Simplify 0 into 0
8.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.343 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
8.344 * [backup-simplify]: Simplify (+ 0 0) into 0
8.345 * [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
8.345 * [backup-simplify]: Simplify 0 into 0
8.345 * [backup-simplify]: Simplify (+ (* 12.0 (/ 1 (/ 1 (- x)))) (* 9.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 9.0 (pow x 2)) (* 12.0 x))
8.345 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2)
8.345 * [backup-simplify]: Simplify (- (* 9.0 x) 12.0) into (- (* 9.0 x) 12.0)
8.346 * [approximate]: Taking taylor expansion of (- (* 9.0 x) 12.0) in (x) around 0
8.346 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
8.346 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
8.346 * [taylor]: Taking taylor expansion of 9.0 in x
8.346 * [backup-simplify]: Simplify 9.0 into 9.0
8.346 * [taylor]: Taking taylor expansion of x in x
8.346 * [backup-simplify]: Simplify 0 into 0
8.346 * [backup-simplify]: Simplify 1 into 1
8.346 * [taylor]: Taking taylor expansion of 12.0 in x
8.346 * [backup-simplify]: Simplify 12.0 into 12.0
8.346 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x
8.346 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
8.346 * [taylor]: Taking taylor expansion of 9.0 in x
8.346 * [backup-simplify]: Simplify 9.0 into 9.0
8.346 * [taylor]: Taking taylor expansion of x in x
8.346 * [backup-simplify]: Simplify 0 into 0
8.346 * [backup-simplify]: Simplify 1 into 1
8.346 * [taylor]: Taking taylor expansion of 12.0 in x
8.346 * [backup-simplify]: Simplify 12.0 into 12.0
8.346 * [backup-simplify]: Simplify (* 9.0 0) into 0
8.347 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
8.348 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
8.348 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
8.349 * [backup-simplify]: Simplify (+ (* 9.0 1) (* 0 0)) into 9.0
8.349 * [backup-simplify]: Simplify (- 0) into 0
8.350 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
8.350 * [backup-simplify]: Simplify 9.0 into 9.0
8.351 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 1) (* 0 0))) into 0
8.351 * [backup-simplify]: Simplify (- 0) into 0
8.351 * [backup-simplify]: Simplify (+ 0 0) into 0
8.351 * [backup-simplify]: Simplify 0 into 0
8.352 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
8.353 * [backup-simplify]: Simplify (- 0) into 0
8.353 * [backup-simplify]: Simplify (+ 0 0) into 0
8.353 * [backup-simplify]: Simplify 0 into 0
8.354 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.355 * [backup-simplify]: Simplify (- 0) into 0
8.355 * [backup-simplify]: Simplify (+ 0 0) into 0
8.355 * [backup-simplify]: Simplify 0 into 0
8.356 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
8.356 * [backup-simplify]: Simplify (- 0) into 0
8.357 * [backup-simplify]: Simplify (+ 0 0) into 0
8.357 * [backup-simplify]: Simplify 0 into 0
8.358 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
8.359 * [backup-simplify]: Simplify (- 0) into 0
8.359 * [backup-simplify]: Simplify (+ 0 0) into 0
8.359 * [backup-simplify]: Simplify 0 into 0
8.361 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
8.361 * [backup-simplify]: Simplify (- 0) into 0
8.361 * [backup-simplify]: Simplify (+ 0 0) into 0
8.361 * [backup-simplify]: Simplify 0 into 0
8.362 * [backup-simplify]: Simplify (+ (* 9.0 x) (- 12.0)) into (- (* 9.0 x) 12.0)
8.362 * [backup-simplify]: Simplify (- (* 9.0 (/ 1 x)) 12.0) into (- (* 9.0 (/ 1 x)) 12.0)
8.362 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in (x) around 0
8.362 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
8.362 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
8.362 * [taylor]: Taking taylor expansion of 9.0 in x
8.362 * [backup-simplify]: Simplify 9.0 into 9.0
8.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.362 * [taylor]: Taking taylor expansion of x in x
8.362 * [backup-simplify]: Simplify 0 into 0
8.362 * [backup-simplify]: Simplify 1 into 1
8.363 * [backup-simplify]: Simplify (/ 1 1) into 1
8.363 * [taylor]: Taking taylor expansion of 12.0 in x
8.363 * [backup-simplify]: Simplify 12.0 into 12.0
8.363 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x
8.363 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
8.363 * [taylor]: Taking taylor expansion of 9.0 in x
8.363 * [backup-simplify]: Simplify 9.0 into 9.0
8.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.363 * [taylor]: Taking taylor expansion of x in x
8.363 * [backup-simplify]: Simplify 0 into 0
8.363 * [backup-simplify]: Simplify 1 into 1
8.363 * [backup-simplify]: Simplify (/ 1 1) into 1
8.363 * [taylor]: Taking taylor expansion of 12.0 in x
8.363 * [backup-simplify]: Simplify 12.0 into 12.0
8.364 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
8.364 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
8.364 * [backup-simplify]: Simplify 9.0 into 9.0
8.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.365 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
8.366 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
8.367 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
8.367 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
8.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.369 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
8.369 * [backup-simplify]: Simplify (- 0) into 0
8.369 * [backup-simplify]: Simplify (+ 0 0) into 0
8.369 * [backup-simplify]: Simplify 0 into 0
8.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.371 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.371 * [backup-simplify]: Simplify (- 0) into 0
8.372 * [backup-simplify]: Simplify (+ 0 0) into 0
8.372 * [backup-simplify]: Simplify 0 into 0
8.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.374 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.374 * [backup-simplify]: Simplify (- 0) into 0
8.374 * [backup-simplify]: Simplify (+ 0 0) into 0
8.374 * [backup-simplify]: Simplify 0 into 0
8.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.376 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.377 * [backup-simplify]: Simplify (- 0) into 0
8.377 * [backup-simplify]: Simplify (+ 0 0) into 0
8.377 * [backup-simplify]: Simplify 0 into 0
8.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.379 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.380 * [backup-simplify]: Simplify (- 0) into 0
8.380 * [backup-simplify]: Simplify (+ 0 0) into 0
8.380 * [backup-simplify]: Simplify 0 into 0
8.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.382 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
8.383 * [backup-simplify]: Simplify (- 0) into 0
8.383 * [backup-simplify]: Simplify (+ 0 0) into 0
8.383 * [backup-simplify]: Simplify 0 into 0
8.384 * [backup-simplify]: Simplify (+ (- 12.0) (* 9.0 (/ 1 (/ 1 x)))) into (- (* 9.0 x) 12.0)
8.384 * [backup-simplify]: Simplify (- (* 9.0 (/ 1 (- x))) 12.0) into (- (+ 12.0 (* 9.0 (/ 1 x))))
8.384 * [approximate]: Taking taylor expansion of (- (+ 12.0 (* 9.0 (/ 1 x)))) in (x) around 0
8.384 * [taylor]: Taking taylor expansion of (- (+ 12.0 (* 9.0 (/ 1 x)))) in x
8.384 * [taylor]: Taking taylor expansion of (+ 12.0 (* 9.0 (/ 1 x))) in x
8.384 * [taylor]: Taking taylor expansion of 12.0 in x
8.384 * [backup-simplify]: Simplify 12.0 into 12.0
8.384 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
8.384 * [taylor]: Taking taylor expansion of 9.0 in x
8.384 * [backup-simplify]: Simplify 9.0 into 9.0
8.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.384 * [taylor]: Taking taylor expansion of x in x
8.384 * [backup-simplify]: Simplify 0 into 0
8.384 * [backup-simplify]: Simplify 1 into 1
8.384 * [backup-simplify]: Simplify (/ 1 1) into 1
8.384 * [taylor]: Taking taylor expansion of (- (+ 12.0 (* 9.0 (/ 1 x)))) in x
8.384 * [taylor]: Taking taylor expansion of (+ 12.0 (* 9.0 (/ 1 x))) in x
8.385 * [taylor]: Taking taylor expansion of 12.0 in x
8.385 * [backup-simplify]: Simplify 12.0 into 12.0
8.385 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x
8.385 * [taylor]: Taking taylor expansion of 9.0 in x
8.385 * [backup-simplify]: Simplify 9.0 into 9.0
8.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.385 * [taylor]: Taking taylor expansion of x in x
8.385 * [backup-simplify]: Simplify 0 into 0
8.385 * [backup-simplify]: Simplify 1 into 1
8.385 * [backup-simplify]: Simplify (/ 1 1) into 1
8.386 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
8.386 * [backup-simplify]: Simplify (+ 0 9.0) into 9.0
8.386 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
8.387 * [backup-simplify]: Simplify (- 9.0) into (- 9.0)
8.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.388 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
8.388 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
8.389 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
8.389 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
8.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.391 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
8.391 * [backup-simplify]: Simplify (+ 0 0) into 0
8.391 * [backup-simplify]: Simplify (- 0) into 0
8.391 * [backup-simplify]: Simplify 0 into 0
8.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.393 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.394 * [backup-simplify]: Simplify (+ 0 0) into 0
8.394 * [backup-simplify]: Simplify (- 0) into 0
8.394 * [backup-simplify]: Simplify 0 into 0
8.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.396 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.396 * [backup-simplify]: Simplify (+ 0 0) into 0
8.397 * [backup-simplify]: Simplify (- 0) into 0
8.397 * [backup-simplify]: Simplify 0 into 0
8.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.399 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.399 * [backup-simplify]: Simplify (+ 0 0) into 0
8.399 * [backup-simplify]: Simplify (- 0) into 0
8.400 * [backup-simplify]: Simplify 0 into 0
8.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.402 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.402 * [backup-simplify]: Simplify (+ 0 0) into 0
8.402 * [backup-simplify]: Simplify (- 0) into 0
8.402 * [backup-simplify]: Simplify 0 into 0
8.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.405 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
8.405 * [backup-simplify]: Simplify (+ 0 0) into 0
8.406 * [backup-simplify]: Simplify (- 0) into 0
8.406 * [backup-simplify]: Simplify 0 into 0
8.407 * [backup-simplify]: Simplify (+ (- 12.0) (* (- 9.0) (/ 1 (/ 1 (- x))))) into (- (* 9.0 x) 12.0)
8.407 * * * [progress]: simplifying candidates
8.408 * [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)
9.522 * * * [progress]: adding candidates to table
9.593 * [progress]: [Phase 3 of 3] Extracting.
9.593 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (* x (- (* 9.0 x) 12.0)) 3.0))> #<alt (λ (x) (+ (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x))))> #<alt (λ (x) (+ (* (* (cbrt 9.0) (cbrt 9.0)) (* (cbrt 9.0) (pow x 2))) (- 3.0 (* 12.0 x))))> #<alt (λ (x) (* (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0) 3.0))>)
9.594 * * * [regime-changes]: Trying 3 branch expressions: ((- (* (* x 3.0) x) (* x 4.0)) (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0) x)
9.594 * * * * [regimes]: Trying to branch on (- (* (* x 3.0) x) (* x 4.0)) from (#<alt (λ (x) (+ (* x (- (* 9.0 x) 12.0)) 3.0))> #<alt (λ (x) (+ (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x))))> #<alt (λ (x) (+ (* (* (cbrt 9.0) (cbrt 9.0)) (* (cbrt 9.0) (pow x 2))) (- 3.0 (* 12.0 x))))> #<alt (λ (x) (* (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0) 3.0))>)
9.608 * * * * [regimes]: Trying to branch on (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0) from (#<alt (λ (x) (+ (* x (- (* 9.0 x) 12.0)) 3.0))> #<alt (λ (x) (+ (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x))))> #<alt (λ (x) (+ (* (* (cbrt 9.0) (cbrt 9.0)) (* (cbrt 9.0) (pow x 2))) (- 3.0 (* 12.0 x))))> #<alt (λ (x) (* (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0) 3.0))>)
9.620 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (* x (- (* 9.0 x) 12.0)) 3.0))> #<alt (λ (x) (+ (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x))))> #<alt (λ (x) (+ (* (* (cbrt 9.0) (cbrt 9.0)) (* (cbrt 9.0) (pow x 2))) (- 3.0 (* 12.0 x))))> #<alt (λ (x) (* (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0) 3.0))>)
9.643 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
9.643 * [simplify]: Simplifying:
  (+ (* 9.0 (pow x 2)) (- 3.0 (* 12.0 x)))
11.283 * [regime-testing]: Baseline error score: 0.09564199146406122
11.285 * [regime-testing]: Oracle error score: 0.010411976774454587
11.289 * [regime-testing]: End program error score: 0.08126011348125121
11.305 * [regime-testing]: Target error score: 0.08394240870362601