44.773 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.045 * * * [progress]: [2/2] Setting up program.
0.052 * [progress]: [Phase 2 of 3] Improving.
0.052 * [simplify]: Simplifying:
  (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
0.053 * * [simplify]: iteration 0: 10 enodes
0.060 * * [simplify]: iteration 1: 27 enodes
0.076 * * [simplify]: iteration 2: 63 enodes
0.119 * * [simplify]: iteration 3: 146 enodes
0.237 * * [simplify]: iteration 4: 314 enodes
0.497 * * [simplify]: iteration 5: 512 enodes
0.821 * * [simplify]: iteration 6: 649 enodes
1.012 * * [simplify]: iteration 7: 717 enodes
1.228 * * [simplify]: iteration 8: 904 enodes
1.820 * * [simplify]: iteration 9: 1438 enodes
3.060 * * [simplify]: iteration 10: 2479 enodes
6.598 * * [simplify]: iteration 11: 3971 enodes
8.726 * * [simplify]: iteration complete: 5000 enodes
8.726 * * [simplify]: Extracting #0: cost 1 inf + 0
8.726 * * [simplify]: Extracting #1: cost 55 inf + 0
8.729 * * [simplify]: Extracting #2: cost 139 inf + 387
8.741 * * [simplify]: Extracting #3: cost 23 inf + 13820
8.768 * * [simplify]: Extracting #4: cost 0 inf + 17022
8.789 * * [simplify]: Extracting #5: cost 0 inf + 16892
8.807 * [simplify]: Simplified to:
  (fma (- (* 3.0 x) 4.0) (* 3.0 x) (* 3.0 1.0))
8.812 * * [progress]: iteration 1 / 4
8.812 * * * [progress]: picking best candidate
8.822 * * * * [pick]: Picked  #<alt (λ (x) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))>
8.822 * * * [progress]: localizing error
8.852 * * * [progress]: generating rewritten candidates
8.853 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 1)
8.905 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
9.363 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
9.409 * * * [progress]: generating series expansions
9.410 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 1)
9.410 * [backup-simplify]: Simplify (* (* x 3.0) x) into (* 3.0 (pow x 2))
9.410 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
9.410 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
9.410 * [taylor]: Taking taylor expansion of 3.0 in x
9.410 * [backup-simplify]: Simplify 3.0 into 3.0
9.410 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.410 * [taylor]: Taking taylor expansion of x in x
9.410 * [backup-simplify]: Simplify 0 into 0
9.410 * [backup-simplify]: Simplify 1 into 1
9.410 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
9.410 * [taylor]: Taking taylor expansion of 3.0 in x
9.410 * [backup-simplify]: Simplify 3.0 into 3.0
9.411 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.411 * [taylor]: Taking taylor expansion of x in x
9.411 * [backup-simplify]: Simplify 0 into 0
9.411 * [backup-simplify]: Simplify 1 into 1
9.412 * [backup-simplify]: Simplify (* 1 1) into 1
9.412 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
9.412 * [backup-simplify]: Simplify 3.0 into 3.0
9.413 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.414 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
9.414 * [backup-simplify]: Simplify 0 into 0
9.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.417 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
9.417 * [backup-simplify]: Simplify 0 into 0
9.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.418 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.419 * [backup-simplify]: Simplify 0 into 0
9.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.424 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.426 * [backup-simplify]: Simplify 0 into 0
9.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.430 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.430 * [backup-simplify]: Simplify 0 into 0
9.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.433 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.434 * [backup-simplify]: Simplify 0 into 0
9.434 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
9.434 * [backup-simplify]: Simplify (* (* (/ 1 x) 3.0) (/ 1 x)) into (/ 3.0 (pow x 2))
9.434 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
9.434 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
9.434 * [taylor]: Taking taylor expansion of 3.0 in x
9.434 * [backup-simplify]: Simplify 3.0 into 3.0
9.434 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.434 * [taylor]: Taking taylor expansion of x in x
9.434 * [backup-simplify]: Simplify 0 into 0
9.434 * [backup-simplify]: Simplify 1 into 1
9.435 * [backup-simplify]: Simplify (* 1 1) into 1
9.436 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
9.436 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
9.436 * [taylor]: Taking taylor expansion of 3.0 in x
9.436 * [backup-simplify]: Simplify 3.0 into 3.0
9.436 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.436 * [taylor]: Taking taylor expansion of x in x
9.436 * [backup-simplify]: Simplify 0 into 0
9.436 * [backup-simplify]: Simplify 1 into 1
9.437 * [backup-simplify]: Simplify (* 1 1) into 1
9.437 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
9.437 * [backup-simplify]: Simplify 3.0 into 3.0
9.438 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.440 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
9.440 * [backup-simplify]: Simplify 0 into 0
9.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.442 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.442 * [backup-simplify]: Simplify 0 into 0
9.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.445 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.445 * [backup-simplify]: Simplify 0 into 0
9.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.448 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.448 * [backup-simplify]: Simplify 0 into 0
9.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.451 * [backup-simplify]: Simplify 0 into 0
9.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.454 * [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
9.455 * [backup-simplify]: Simplify 0 into 0
9.455 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
9.455 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) into (/ 3.0 (pow x 2))
9.455 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
9.455 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
9.455 * [taylor]: Taking taylor expansion of 3.0 in x
9.455 * [backup-simplify]: Simplify 3.0 into 3.0
9.455 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.455 * [taylor]: Taking taylor expansion of x in x
9.455 * [backup-simplify]: Simplify 0 into 0
9.455 * [backup-simplify]: Simplify 1 into 1
9.456 * [backup-simplify]: Simplify (* 1 1) into 1
9.457 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
9.457 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
9.457 * [taylor]: Taking taylor expansion of 3.0 in x
9.457 * [backup-simplify]: Simplify 3.0 into 3.0
9.457 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.457 * [taylor]: Taking taylor expansion of x in x
9.457 * [backup-simplify]: Simplify 0 into 0
9.457 * [backup-simplify]: Simplify 1 into 1
9.457 * [backup-simplify]: Simplify (* 1 1) into 1
9.458 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
9.458 * [backup-simplify]: Simplify 3.0 into 3.0
9.459 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.461 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
9.461 * [backup-simplify]: Simplify 0 into 0
9.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.463 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.463 * [backup-simplify]: Simplify 0 into 0
9.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.466 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.466 * [backup-simplify]: Simplify 0 into 0
9.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.470 * [backup-simplify]: Simplify 0 into 0
9.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.473 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.473 * [backup-simplify]: Simplify 0 into 0
9.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.476 * [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
9.476 * [backup-simplify]: Simplify 0 into 0
9.476 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
9.477 * * * * [progress]: [ 2 / 3 ] generating series at (2)
9.477 * [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)))
9.477 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in (x) around 0
9.477 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
9.477 * [taylor]: Taking taylor expansion of 3.0 in x
9.477 * [backup-simplify]: Simplify 3.0 into 3.0
9.477 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
9.477 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
9.477 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
9.477 * [taylor]: Taking taylor expansion of 3.0 in x
9.477 * [backup-simplify]: Simplify 3.0 into 3.0
9.477 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.477 * [taylor]: Taking taylor expansion of x in x
9.477 * [backup-simplify]: Simplify 0 into 0
9.477 * [backup-simplify]: Simplify 1 into 1
9.477 * [taylor]: Taking taylor expansion of 1.0 in x
9.477 * [backup-simplify]: Simplify 1.0 into 1.0
9.477 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
9.478 * [taylor]: Taking taylor expansion of 4.0 in x
9.478 * [backup-simplify]: Simplify 4.0 into 4.0
9.478 * [taylor]: Taking taylor expansion of x in x
9.478 * [backup-simplify]: Simplify 0 into 0
9.478 * [backup-simplify]: Simplify 1 into 1
9.478 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
9.478 * [taylor]: Taking taylor expansion of 3.0 in x
9.478 * [backup-simplify]: Simplify 3.0 into 3.0
9.478 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
9.478 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
9.478 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
9.478 * [taylor]: Taking taylor expansion of 3.0 in x
9.478 * [backup-simplify]: Simplify 3.0 into 3.0
9.478 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.478 * [taylor]: Taking taylor expansion of x in x
9.478 * [backup-simplify]: Simplify 0 into 0
9.478 * [backup-simplify]: Simplify 1 into 1
9.478 * [taylor]: Taking taylor expansion of 1.0 in x
9.478 * [backup-simplify]: Simplify 1.0 into 1.0
9.478 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
9.478 * [taylor]: Taking taylor expansion of 4.0 in x
9.478 * [backup-simplify]: Simplify 4.0 into 4.0
9.478 * [taylor]: Taking taylor expansion of x in x
9.478 * [backup-simplify]: Simplify 0 into 0
9.478 * [backup-simplify]: Simplify 1 into 1
9.479 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.480 * [backup-simplify]: Simplify (* 4.0 0) into 0
9.480 * [backup-simplify]: Simplify (- 0) into 0
9.481 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.481 * [backup-simplify]: Simplify (* 3.0 1.0) into 3.0
9.481 * [backup-simplify]: Simplify 3.0 into 3.0
9.482 * [backup-simplify]: Simplify (+ 0 0) into 0
9.483 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
9.484 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
9.485 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
9.487 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 1.0)) into (- 12.0)
9.488 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
9.488 * [backup-simplify]: Simplify (* 1 1) into 1
9.489 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
9.489 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
9.490 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
9.491 * [backup-simplify]: Simplify (- 0) into 0
9.491 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
9.494 * [backup-simplify]: Simplify (+ (* 3.0 3.0) (+ (* 0 (- 4.0)) (* 0 1.0))) into 9.0
9.494 * [backup-simplify]: Simplify 9.0 into 9.0
9.495 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (+ (* (- 12.0) x) 3.0)) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
9.496 * [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))))
9.496 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x)))) in (x) around 0
9.496 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x)))) in x
9.496 * [taylor]: Taking taylor expansion of 3.0 in x
9.496 * [backup-simplify]: Simplify 3.0 into 3.0
9.496 * [taylor]: Taking taylor expansion of (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x))) in x
9.496 * [taylor]: Taking taylor expansion of (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) in x
9.496 * [taylor]: Taking taylor expansion of 1.0 in x
9.496 * [backup-simplify]: Simplify 1.0 into 1.0
9.496 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
9.496 * [taylor]: Taking taylor expansion of 3.0 in x
9.496 * [backup-simplify]: Simplify 3.0 into 3.0
9.496 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.496 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.496 * [taylor]: Taking taylor expansion of x in x
9.496 * [backup-simplify]: Simplify 0 into 0
9.496 * [backup-simplify]: Simplify 1 into 1
9.497 * [backup-simplify]: Simplify (* 1 1) into 1
9.497 * [backup-simplify]: Simplify (/ 1 1) into 1
9.497 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
9.498 * [taylor]: Taking taylor expansion of 4.0 in x
9.498 * [backup-simplify]: Simplify 4.0 into 4.0
9.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.498 * [taylor]: Taking taylor expansion of x in x
9.498 * [backup-simplify]: Simplify 0 into 0
9.498 * [backup-simplify]: Simplify 1 into 1
9.498 * [backup-simplify]: Simplify (/ 1 1) into 1
9.498 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x)))) in x
9.498 * [taylor]: Taking taylor expansion of 3.0 in x
9.498 * [backup-simplify]: Simplify 3.0 into 3.0
9.498 * [taylor]: Taking taylor expansion of (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x))) in x
9.498 * [taylor]: Taking taylor expansion of (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) in x
9.498 * [taylor]: Taking taylor expansion of 1.0 in x
9.498 * [backup-simplify]: Simplify 1.0 into 1.0
9.498 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
9.498 * [taylor]: Taking taylor expansion of 3.0 in x
9.498 * [backup-simplify]: Simplify 3.0 into 3.0
9.498 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.499 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.499 * [taylor]: Taking taylor expansion of x in x
9.499 * [backup-simplify]: Simplify 0 into 0
9.499 * [backup-simplify]: Simplify 1 into 1
9.499 * [backup-simplify]: Simplify (* 1 1) into 1
9.499 * [backup-simplify]: Simplify (/ 1 1) into 1
9.500 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
9.500 * [taylor]: Taking taylor expansion of 4.0 in x
9.500 * [backup-simplify]: Simplify 4.0 into 4.0
9.500 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.500 * [taylor]: Taking taylor expansion of x in x
9.500 * [backup-simplify]: Simplify 0 into 0
9.500 * [backup-simplify]: Simplify 1 into 1
9.500 * [backup-simplify]: Simplify (/ 1 1) into 1
9.501 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
9.501 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
9.502 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
9.502 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
9.502 * [backup-simplify]: Simplify 9.0 into 9.0
9.503 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.505 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
9.505 * [backup-simplify]: Simplify (+ 0 0) into 0
9.506 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
9.506 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
9.507 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
9.509 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 3.0)) into (- 12.0)
9.510 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
9.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.513 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
9.514 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.516 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
9.516 * [backup-simplify]: Simplify (- 0) into 0
9.517 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.520 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 (- 4.0)) (* 0 3.0))) into 3.0
9.520 * [backup-simplify]: Simplify 3.0 into 3.0
9.521 * [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))
9.521 * [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)))))
9.521 * [approximate]: Taking taylor expansion of (* 3.0 (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))))) in (x) around 0
9.521 * [taylor]: Taking taylor expansion of (* 3.0 (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))))) in x
9.521 * [taylor]: Taking taylor expansion of 3.0 in x
9.521 * [backup-simplify]: Simplify 3.0 into 3.0
9.521 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))) in x
9.521 * [taylor]: Taking taylor expansion of 1.0 in x
9.521 * [backup-simplify]: Simplify 1.0 into 1.0
9.521 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
9.521 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
9.521 * [taylor]: Taking taylor expansion of 3.0 in x
9.521 * [backup-simplify]: Simplify 3.0 into 3.0
9.521 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.522 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.522 * [taylor]: Taking taylor expansion of x in x
9.522 * [backup-simplify]: Simplify 0 into 0
9.522 * [backup-simplify]: Simplify 1 into 1
9.522 * [backup-simplify]: Simplify (* 1 1) into 1
9.522 * [backup-simplify]: Simplify (/ 1 1) into 1
9.522 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
9.522 * [taylor]: Taking taylor expansion of 4.0 in x
9.522 * [backup-simplify]: Simplify 4.0 into 4.0
9.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.522 * [taylor]: Taking taylor expansion of x in x
9.523 * [backup-simplify]: Simplify 0 into 0
9.523 * [backup-simplify]: Simplify 1 into 1
9.523 * [backup-simplify]: Simplify (/ 1 1) into 1
9.523 * [taylor]: Taking taylor expansion of (* 3.0 (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))))) in x
9.523 * [taylor]: Taking taylor expansion of 3.0 in x
9.523 * [backup-simplify]: Simplify 3.0 into 3.0
9.523 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))) in x
9.523 * [taylor]: Taking taylor expansion of 1.0 in x
9.523 * [backup-simplify]: Simplify 1.0 into 1.0
9.523 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
9.523 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
9.523 * [taylor]: Taking taylor expansion of 3.0 in x
9.523 * [backup-simplify]: Simplify 3.0 into 3.0
9.523 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.523 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.523 * [taylor]: Taking taylor expansion of x in x
9.523 * [backup-simplify]: Simplify 0 into 0
9.523 * [backup-simplify]: Simplify 1 into 1
9.523 * [backup-simplify]: Simplify (* 1 1) into 1
9.524 * [backup-simplify]: Simplify (/ 1 1) into 1
9.524 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
9.524 * [taylor]: Taking taylor expansion of 4.0 in x
9.524 * [backup-simplify]: Simplify 4.0 into 4.0
9.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.524 * [taylor]: Taking taylor expansion of x in x
9.524 * [backup-simplify]: Simplify 0 into 0
9.524 * [backup-simplify]: Simplify 1 into 1
9.524 * [backup-simplify]: Simplify (/ 1 1) into 1
9.525 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
9.526 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
9.526 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
9.527 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
9.527 * [backup-simplify]: Simplify 9.0 into 9.0
9.527 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.528 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
9.529 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
9.529 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.529 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.530 * [backup-simplify]: Simplify (+ (* 3.0 4.0) (* 0 3.0)) into 12.0
9.530 * [backup-simplify]: Simplify 12.0 into 12.0
9.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.533 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
9.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.534 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
9.534 * [backup-simplify]: Simplify (+ 0 0) into 0
9.535 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.536 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 4.0) (* 0 3.0))) into 3.0
9.536 * [backup-simplify]: Simplify 3.0 into 3.0
9.537 * [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))
9.537 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
9.537 * [backup-simplify]: Simplify (- (* (* x 3.0) x) (* x 4.0)) into (- (* 3.0 (pow x 2)) (* 4.0 x))
9.537 * [approximate]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in (x) around 0
9.537 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in x
9.537 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
9.537 * [taylor]: Taking taylor expansion of 3.0 in x
9.537 * [backup-simplify]: Simplify 3.0 into 3.0
9.537 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.537 * [taylor]: Taking taylor expansion of x in x
9.537 * [backup-simplify]: Simplify 0 into 0
9.537 * [backup-simplify]: Simplify 1 into 1
9.538 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
9.538 * [taylor]: Taking taylor expansion of 4.0 in x
9.538 * [backup-simplify]: Simplify 4.0 into 4.0
9.538 * [taylor]: Taking taylor expansion of x in x
9.538 * [backup-simplify]: Simplify 0 into 0
9.538 * [backup-simplify]: Simplify 1 into 1
9.538 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in x
9.538 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
9.538 * [taylor]: Taking taylor expansion of 3.0 in x
9.538 * [backup-simplify]: Simplify 3.0 into 3.0
9.538 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.538 * [taylor]: Taking taylor expansion of x in x
9.538 * [backup-simplify]: Simplify 0 into 0
9.538 * [backup-simplify]: Simplify 1 into 1
9.538 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
9.538 * [taylor]: Taking taylor expansion of 4.0 in x
9.538 * [backup-simplify]: Simplify 4.0 into 4.0
9.538 * [taylor]: Taking taylor expansion of x in x
9.538 * [backup-simplify]: Simplify 0 into 0
9.538 * [backup-simplify]: Simplify 1 into 1
9.539 * [backup-simplify]: Simplify (* 4.0 0) into 0
9.539 * [backup-simplify]: Simplify (- 0) into 0
9.540 * [backup-simplify]: Simplify (+ 0 0) into 0
9.540 * [backup-simplify]: Simplify 0 into 0
9.541 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
9.542 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
9.543 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
9.543 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
9.544 * [backup-simplify]: Simplify (* 1 1) into 1
9.544 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
9.545 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
9.546 * [backup-simplify]: Simplify (- 0) into 0
9.546 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
9.546 * [backup-simplify]: Simplify 3.0 into 3.0
9.547 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.548 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
9.549 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
9.550 * [backup-simplify]: Simplify (- 0) into 0
9.550 * [backup-simplify]: Simplify (+ 0 0) into 0
9.550 * [backup-simplify]: Simplify 0 into 0
9.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.552 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
9.554 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.555 * [backup-simplify]: Simplify (- 0) into 0
9.555 * [backup-simplify]: Simplify (+ 0 0) into 0
9.555 * [backup-simplify]: Simplify 0 into 0
9.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.557 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.559 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
9.560 * [backup-simplify]: Simplify (- 0) into 0
9.560 * [backup-simplify]: Simplify (+ 0 0) into 0
9.560 * [backup-simplify]: Simplify 0 into 0
9.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.563 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.564 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
9.565 * [backup-simplify]: Simplify (- 0) into 0
9.565 * [backup-simplify]: Simplify (+ 0 0) into 0
9.565 * [backup-simplify]: Simplify 0 into 0
9.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.568 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.570 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
9.571 * [backup-simplify]: Simplify (- 0) into 0
9.571 * [backup-simplify]: Simplify (+ 0 0) into 0
9.571 * [backup-simplify]: Simplify 0 into 0
9.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.575 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.577 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
9.578 * [backup-simplify]: Simplify (- 0) into 0
9.579 * [backup-simplify]: Simplify (+ 0 0) into 0
9.579 * [backup-simplify]: Simplify 0 into 0
9.579 * [backup-simplify]: Simplify (+ (* 3.0 (pow x 2)) (* (- 4.0) x)) into (- (* 3.0 (pow x 2)) (* 4.0 x))
9.580 * [backup-simplify]: Simplify (- (* (* (/ 1 x) 3.0) (/ 1 x)) (* (/ 1 x) 4.0)) into (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))
9.580 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in (x) around 0
9.580 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
9.580 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
9.580 * [taylor]: Taking taylor expansion of 3.0 in x
9.580 * [backup-simplify]: Simplify 3.0 into 3.0
9.580 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.580 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.580 * [taylor]: Taking taylor expansion of x in x
9.580 * [backup-simplify]: Simplify 0 into 0
9.580 * [backup-simplify]: Simplify 1 into 1
9.581 * [backup-simplify]: Simplify (* 1 1) into 1
9.582 * [backup-simplify]: Simplify (/ 1 1) into 1
9.582 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
9.582 * [taylor]: Taking taylor expansion of 4.0 in x
9.582 * [backup-simplify]: Simplify 4.0 into 4.0
9.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.582 * [taylor]: Taking taylor expansion of x in x
9.582 * [backup-simplify]: Simplify 0 into 0
9.582 * [backup-simplify]: Simplify 1 into 1
9.583 * [backup-simplify]: Simplify (/ 1 1) into 1
9.583 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
9.583 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
9.583 * [taylor]: Taking taylor expansion of 3.0 in x
9.583 * [backup-simplify]: Simplify 3.0 into 3.0
9.583 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.583 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.583 * [taylor]: Taking taylor expansion of x in x
9.583 * [backup-simplify]: Simplify 0 into 0
9.583 * [backup-simplify]: Simplify 1 into 1
9.583 * [backup-simplify]: Simplify (* 1 1) into 1
9.584 * [backup-simplify]: Simplify (/ 1 1) into 1
9.584 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
9.584 * [taylor]: Taking taylor expansion of 4.0 in x
9.584 * [backup-simplify]: Simplify 4.0 into 4.0
9.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.584 * [taylor]: Taking taylor expansion of x in x
9.584 * [backup-simplify]: Simplify 0 into 0
9.584 * [backup-simplify]: Simplify 1 into 1
9.585 * [backup-simplify]: Simplify (/ 1 1) into 1
9.585 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
9.586 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
9.586 * [backup-simplify]: Simplify 3.0 into 3.0
9.587 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.588 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
9.589 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
9.590 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
9.591 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
9.591 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
9.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.594 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
9.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.602 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
9.603 * [backup-simplify]: Simplify (- 0) into 0
9.604 * [backup-simplify]: Simplify (+ 0 0) into 0
9.604 * [backup-simplify]: Simplify 0 into 0
9.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.608 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.610 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
9.610 * [backup-simplify]: Simplify (- 0) into 0
9.610 * [backup-simplify]: Simplify (+ 0 0) into 0
9.610 * [backup-simplify]: Simplify 0 into 0
9.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.614 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.616 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.616 * [backup-simplify]: Simplify (- 0) into 0
9.617 * [backup-simplify]: Simplify (+ 0 0) into 0
9.617 * [backup-simplify]: Simplify 0 into 0
9.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.620 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.624 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.624 * [backup-simplify]: Simplify (- 0) into 0
9.625 * [backup-simplify]: Simplify (+ 0 0) into 0
9.625 * [backup-simplify]: Simplify 0 into 0
9.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.630 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.635 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.636 * [backup-simplify]: Simplify (- 0) into 0
9.636 * [backup-simplify]: Simplify (+ 0 0) into 0
9.636 * [backup-simplify]: Simplify 0 into 0
9.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.639 * [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
9.641 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.644 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.645 * [backup-simplify]: Simplify (- 0) into 0
9.645 * [backup-simplify]: Simplify (+ 0 0) into 0
9.645 * [backup-simplify]: Simplify 0 into 0
9.646 * [backup-simplify]: Simplify (+ (* (- 4.0) (/ 1 (/ 1 x))) (* 3.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x))
9.646 * [backup-simplify]: Simplify (- (* (* (/ 1 (- x)) 3.0) (/ 1 (- x))) (* (/ 1 (- x)) 4.0)) into (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))
9.646 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in (x) around 0
9.646 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
9.647 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
9.647 * [taylor]: Taking taylor expansion of 3.0 in x
9.647 * [backup-simplify]: Simplify 3.0 into 3.0
9.647 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.647 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.647 * [taylor]: Taking taylor expansion of x in x
9.647 * [backup-simplify]: Simplify 0 into 0
9.647 * [backup-simplify]: Simplify 1 into 1
9.647 * [backup-simplify]: Simplify (* 1 1) into 1
9.648 * [backup-simplify]: Simplify (/ 1 1) into 1
9.648 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
9.648 * [taylor]: Taking taylor expansion of 4.0 in x
9.648 * [backup-simplify]: Simplify 4.0 into 4.0
9.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.648 * [taylor]: Taking taylor expansion of x in x
9.648 * [backup-simplify]: Simplify 0 into 0
9.648 * [backup-simplify]: Simplify 1 into 1
9.649 * [backup-simplify]: Simplify (/ 1 1) into 1
9.649 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
9.649 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
9.649 * [taylor]: Taking taylor expansion of 3.0 in x
9.649 * [backup-simplify]: Simplify 3.0 into 3.0
9.649 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
9.649 * [taylor]: Taking taylor expansion of (pow x 2) in x
9.649 * [taylor]: Taking taylor expansion of x in x
9.649 * [backup-simplify]: Simplify 0 into 0
9.649 * [backup-simplify]: Simplify 1 into 1
9.650 * [backup-simplify]: Simplify (* 1 1) into 1
9.650 * [backup-simplify]: Simplify (/ 1 1) into 1
9.650 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
9.650 * [taylor]: Taking taylor expansion of 4.0 in x
9.650 * [backup-simplify]: Simplify 4.0 into 4.0
9.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.650 * [taylor]: Taking taylor expansion of x in x
9.650 * [backup-simplify]: Simplify 0 into 0
9.650 * [backup-simplify]: Simplify 1 into 1
9.651 * [backup-simplify]: Simplify (/ 1 1) into 1
9.651 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
9.652 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
9.652 * [backup-simplify]: Simplify 3.0 into 3.0
9.652 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.654 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
9.655 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
9.655 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.655 * [backup-simplify]: Simplify 4.0 into 4.0
9.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.659 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
9.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.661 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
9.661 * [backup-simplify]: Simplify (+ 0 0) into 0
9.661 * [backup-simplify]: Simplify 0 into 0
9.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.665 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.667 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
9.668 * [backup-simplify]: Simplify (+ 0 0) into 0
9.668 * [backup-simplify]: Simplify 0 into 0
9.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.672 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.674 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.675 * [backup-simplify]: Simplify (+ 0 0) into 0
9.675 * [backup-simplify]: Simplify 0 into 0
9.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.679 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.682 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.682 * [backup-simplify]: Simplify (+ 0 0) into 0
9.683 * [backup-simplify]: Simplify 0 into 0
9.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.687 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.690 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.691 * [backup-simplify]: Simplify (+ 0 0) into 0
9.691 * [backup-simplify]: Simplify 0 into 0
9.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.694 * [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
9.696 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.700 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.702 * [backup-simplify]: Simplify (+ 0 0) into 0
9.702 * [backup-simplify]: Simplify 0 into 0
9.702 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 (/ 1 (- x)))) (* 3.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x))
9.707 * * * [progress]: simplifying candidates
9.709 * [simplify]: Simplifying:
  (expm1 (* (* x 3.0) x))
  (log1p (* (* x 3.0) x))
  (* (* x 3.0) x)
  (* (* x 3.0) x)
  (+ (+ (log x) (log 3.0)) (log x))
  (+ (log (* x 3.0)) (log x))
  (log (* (* x 3.0) x))
  (exp (* (* x 3.0) x))
  (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* x x) x))
  (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* x x) x))
  (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x)))
  (cbrt (* (* x 3.0) x))
  (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (sqrt (* (* x 3.0) x))
  (* (* x 3.0) (* (cbrt x) (cbrt x)))
  (* (* x 3.0) (sqrt x))
  (* (* x 3.0) 1)
  (* 3.0 x)
  (expm1 (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (log1p (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
  (+ (log 3.0) (log (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (log (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (exp (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* (* (* 3.0 3.0) 3.0) (* (* (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0) (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* (cbrt (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))) (cbrt (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))))
  (cbrt (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* (* (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (sqrt (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (sqrt (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* (sqrt 3.0) (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* (sqrt 3.0) (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* 3.0 (- (* (* x 3.0) x) (* x 4.0)))
  (* 3.0 1.0)
  (* (- (* (* x 3.0) x) (* x 4.0)) 3.0)
  (* 1.0 3.0)
  (* 3.0 (* (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))))
  (* 3.0 (sqrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))
  (* 3.0 1)
  (* 3.0 1)
  (* (cbrt 3.0) (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
  (* (sqrt 3.0) (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
  (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))
  (* 3.0 (+ (pow (- (* (* x 3.0) x) (* x 4.0)) 3) (pow 1.0 3)))
  (* 3.0 (- (* (- (* (* x 3.0) x) (* x 4.0)) (- (* (* x 3.0) x) (* x 4.0))) (* 1.0 1.0)))
  (fma (* x 3.0) x (- (* 4.0 x)))
  (fma (- 4.0) x (* 4.0 x))
  (expm1 (- (* (* x 3.0) x) (* x 4.0)))
  (log1p (- (* (* x 3.0) x) (* x 4.0)))
  (- (* x 4.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))
9.711 * * [simplify]: iteration 0: 115 enodes
9.803 * * [simplify]: iteration 1: 330 enodes
10.165 * * [simplify]: iteration 2: 1371 enodes
11.785 * * [simplify]: iteration complete: 5001 enodes
11.785 * * [simplify]: Extracting #0: cost 52 inf + 0
11.788 * * [simplify]: Extracting #1: cost 648 inf + 1
11.799 * * [simplify]: Extracting #2: cost 1527 inf + 4172
11.875 * * [simplify]: Extracting #3: cost 1519 inf + 83623
11.989 * * [simplify]: Extracting #4: cost 439 inf + 345743
12.172 * * [simplify]: Extracting #5: cost 13 inf + 466765
12.367 * * [simplify]: Extracting #6: cost 0 inf + 470363
12.546 * * [simplify]: Extracting #7: cost 0 inf + 470323
12.723 * [simplify]: Simplified to:
  (expm1 (* x (* 3.0 x)))
  (log1p (* x (* 3.0 x)))
  (* x (* 3.0 x))
  (* x (* 3.0 x))
  (log (* x (* 3.0 x)))
  (log (* x (* 3.0 x)))
  (log (* x (* 3.0 x)))
  (exp (* x (* 3.0 x)))
  (* (* x (* 3.0 x)) (* (* x (* 3.0 x)) (* x (* 3.0 x))))
  (* (* x (* 3.0 x)) (* (* x (* 3.0 x)) (* x (* 3.0 x))))
  (* (cbrt (* x (* 3.0 x))) (cbrt (* x (* 3.0 x))))
  (cbrt (* x (* 3.0 x)))
  (* (* x (* 3.0 x)) (* (* x (* 3.0 x)) (* x (* 3.0 x))))
  (sqrt (* x (* 3.0 x)))
  (sqrt (* x (* 3.0 x)))
  (* (* x 3.0) (* (cbrt x) (cbrt x)))
  (* (* x 3.0) (sqrt x))
  (* 3.0 x)
  (* 3.0 x)
  (expm1 (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0))
  (log1p (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0))
  (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0)
  (log (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0))
  (log (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0))
  (exp (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0))
  (* 3.0 (* (* (* 3.0 (fma x (- (* 3.0 x) 4.0) 1.0)) (* 3.0 (fma x (- (* 3.0 x) 4.0) 1.0))) (fma x (- (* 3.0 x) 4.0) 1.0)))
  (* (cbrt (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0)) (cbrt (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0)))
  (cbrt (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0))
  (* (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0) (* (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0) (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0)))
  (sqrt (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0))
  (sqrt (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0))
  (* (sqrt 3.0) (sqrt (fma x (- (* 3.0 x) 4.0) 1.0)))
  (* (sqrt 3.0) (sqrt (fma x (- (* 3.0 x) 4.0) 1.0)))
  (* (* x (- (* 3.0 x) 4.0)) 3.0)
  (* 1.0 3.0)
  (* 3.0 (* x (- (* 3.0 x) 4.0)))
  (* 3.0 1.0)
  (* (cbrt (fma x (- (* 3.0 x) 4.0) 1.0)) (* (cbrt (fma x (- (* 3.0 x) 4.0) 1.0)) 3.0))
  (* 3.0 (sqrt (fma x (- (* 3.0 x) 4.0) 1.0)))
  3.0
  3.0
  (* (cbrt 3.0) (fma x (- (* 3.0 x) 4.0) 1.0))
  (* (fma x (- (* 3.0 x) 4.0) 1.0) (sqrt 3.0))
  (* (fma x (- (* 3.0 x) 4.0) 1.0) 3.0)
  (* 3.0 (fma (* 1.0 1.0) 1.0 (* (* (* x (- (* 3.0 x) 4.0)) (* x (- (* 3.0 x) 4.0))) (* x (- (* 3.0 x) 4.0)))))
  (* (- (* (* x (- (* 3.0 x) 4.0)) (* x (- (* 3.0 x) 4.0))) (* 1.0 1.0)) 3.0)
  (* x (- (* 3.0 x) 4.0))
  (* 4.0 (+ (- x) x))
  (expm1 (* x (- (* 3.0 x) 4.0)))
  (log1p (* x (- (* 3.0 x) 4.0)))
  (* 4.0 (- x))
  (exp (* x (- (* 3.0 x) 4.0)))
  (log (* x (- (* 3.0 x) 4.0)))
  (exp (* x (- (* 3.0 x) 4.0)))
  (* (cbrt (* x (- (* 3.0 x) 4.0))) (cbrt (* x (- (* 3.0 x) 4.0))))
  (cbrt (* x (- (* 3.0 x) 4.0)))
  (* (* (* x (- (* 3.0 x) 4.0)) (* x (- (* 3.0 x) 4.0))) (* x (- (* 3.0 x) 4.0)))
  (sqrt (* x (- (* 3.0 x) 4.0)))
  (sqrt (* x (- (* 3.0 x) 4.0)))
  (- (* (* x (* 3.0 x)) (* (* x (* 3.0 x)) (* x (* 3.0 x)))) (* (* (* 4.0 x) (* 4.0 x)) (* 4.0 x)))
  (fma (* x (* 3.0 x)) (* 4.0 x) (fma (* x (* 3.0 x)) (* x (* 3.0 x)) (* (* 4.0 x) (* 4.0 x))))
  (* 4.0 (- x))
  (- (* (* x (* 3.0 x)) (* x (* 3.0 x))) (* (* 4.0 x) (* 4.0 x)))
  (* x (fma 3.0 x 4.0))
  (* 4.0 (- x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (fma (* 9.0 x) x (- 3.0 (* x 12.0)))
  (fma (* 9.0 x) x (- 3.0 (* x 12.0)))
  (fma (* 9.0 x) x (- 3.0 (* x 12.0)))
  (* x (- (* 3.0 x) 4.0))
  (* x (- (* 3.0 x) 4.0))
  (* x (- (* 3.0 x) 4.0))
12.730 * * * [progress]: adding candidates to table
13.172 * * [progress]: iteration 2 / 4
13.172 * * * [progress]: picking best candidate
13.227 * * * * [pick]: Picked  #<alt (λ (x) (fma (* 9.0 x) x (- 3.0 (* x 12.0))))>
13.227 * * * [progress]: localizing error
13.249 * * * [progress]: generating rewritten candidates
13.249 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
13.250 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3)
13.267 * * * [progress]: generating series expansions
13.267 * * * * [progress]: [ 1 / 2 ] generating series at (2)
13.268 * [backup-simplify]: Simplify (fma (* 9.0 x) x (- 3.0 (* x 12.0))) into (fma (* 9.0 x) x (- 3.0 (* 12.0 x)))
13.268 * [approximate]: Taking taylor expansion of (fma (* 9.0 x) x (- 3.0 (* 12.0 x))) in (x) around 0
13.268 * [taylor]: Taking taylor expansion of (fma (* 9.0 x) x (- 3.0 (* 12.0 x))) in x
13.268 * [taylor]: Rewrote expression to (+ (* (* 9.0 x) x) (- 3.0 (* 12.0 x)))
13.268 * [taylor]: Taking taylor expansion of (* (* 9.0 x) x) in x
13.268 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
13.268 * [taylor]: Taking taylor expansion of 9.0 in x
13.268 * [backup-simplify]: Simplify 9.0 into 9.0
13.268 * [taylor]: Taking taylor expansion of x in x
13.268 * [backup-simplify]: Simplify 0 into 0
13.268 * [backup-simplify]: Simplify 1 into 1
13.268 * [taylor]: Taking taylor expansion of x in x
13.268 * [backup-simplify]: Simplify 0 into 0
13.268 * [backup-simplify]: Simplify 1 into 1
13.268 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 x)) in x
13.268 * [taylor]: Taking taylor expansion of 3.0 in x
13.268 * [backup-simplify]: Simplify 3.0 into 3.0
13.269 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
13.269 * [taylor]: Taking taylor expansion of 12.0 in x
13.269 * [backup-simplify]: Simplify 12.0 into 12.0
13.269 * [taylor]: Taking taylor expansion of x in x
13.269 * [backup-simplify]: Simplify 0 into 0
13.269 * [backup-simplify]: Simplify 1 into 1
13.269 * [taylor]: Taking taylor expansion of (fma (* 9.0 x) x (- 3.0 (* 12.0 x))) in x
13.269 * [taylor]: Rewrote expression to (+ (* (* 9.0 x) x) (- 3.0 (* 12.0 x)))
13.269 * [taylor]: Taking taylor expansion of (* (* 9.0 x) x) in x
13.269 * [taylor]: Taking taylor expansion of (* 9.0 x) in x
13.269 * [taylor]: Taking taylor expansion of 9.0 in x
13.269 * [backup-simplify]: Simplify 9.0 into 9.0
13.269 * [taylor]: Taking taylor expansion of x in x
13.269 * [backup-simplify]: Simplify 0 into 0
13.269 * [backup-simplify]: Simplify 1 into 1
13.269 * [taylor]: Taking taylor expansion of x in x
13.269 * [backup-simplify]: Simplify 0 into 0
13.269 * [backup-simplify]: Simplify 1 into 1
13.269 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 x)) in x
13.269 * [taylor]: Taking taylor expansion of 3.0 in x
13.269 * [backup-simplify]: Simplify 3.0 into 3.0
13.270 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
13.270 * [taylor]: Taking taylor expansion of 12.0 in x
13.270 * [backup-simplify]: Simplify 12.0 into 12.0
13.270 * [taylor]: Taking taylor expansion of x in x
13.270 * [backup-simplify]: Simplify 0 into 0
13.270 * [backup-simplify]: Simplify 1 into 1
13.271 * [backup-simplify]: Simplify (* 9.0 0) into 0
13.272 * [backup-simplify]: Simplify (* 0 0) into 0
13.272 * [backup-simplify]: Simplify (* 12.0 0) into 0
13.273 * [backup-simplify]: Simplify (- 0) into 0
13.273 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
13.274 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
13.274 * [backup-simplify]: Simplify 3.0 into 3.0
13.276 * [backup-simplify]: Simplify (+ (* 9.0 1) (* 0 0)) into 9.0
13.277 * [backup-simplify]: Simplify (+ (* 0 1) (* 9.0 0)) into 0
13.280 * [backup-simplify]: Simplify (+ (* 12.0 1) (* 0 0)) into 12.0
13.280 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
13.282 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
13.282 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
13.283 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
13.284 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 1) (* 0 0))) into 0
13.287 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 9.0 1) (* 0 0))) into 9.0
13.288 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 1) (* 0 0))) into 0
13.289 * [backup-simplify]: Simplify (- 0) into 0
13.289 * [backup-simplify]: Simplify (+ 0 0) into 0
13.290 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
13.290 * [backup-simplify]: Simplify 9.0 into 9.0
13.291 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (+ (* (- 12.0) x) 3.0)) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
13.291 * [backup-simplify]: Simplify (fma (* 9.0 (/ 1 x)) (/ 1 x) (- 3.0 (* (/ 1 x) 12.0))) into (fma (/ 9.0 x) (/ 1 x) (- 3.0 (* 12.0 (/ 1 x))))
13.291 * [approximate]: Taking taylor expansion of (fma (/ 9.0 x) (/ 1 x) (- 3.0 (* 12.0 (/ 1 x)))) in (x) around 0
13.291 * [taylor]: Taking taylor expansion of (fma (/ 9.0 x) (/ 1 x) (- 3.0 (* 12.0 (/ 1 x)))) in x
13.291 * [taylor]: Rewrote expression to (+ (* (/ 9.0 x) (/ 1 x)) (- 3.0 (* 12.0 (/ 1 x))))
13.291 * [taylor]: Taking taylor expansion of (* (/ 9.0 x) (/ 1 x)) in x
13.291 * [taylor]: Taking taylor expansion of (/ 9.0 x) in x
13.291 * [taylor]: Taking taylor expansion of 9.0 in x
13.291 * [backup-simplify]: Simplify 9.0 into 9.0
13.291 * [taylor]: Taking taylor expansion of x in x
13.291 * [backup-simplify]: Simplify 0 into 0
13.291 * [backup-simplify]: Simplify 1 into 1
13.292 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
13.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.292 * [taylor]: Taking taylor expansion of x in x
13.292 * [backup-simplify]: Simplify 0 into 0
13.292 * [backup-simplify]: Simplify 1 into 1
13.293 * [backup-simplify]: Simplify (/ 1 1) into 1
13.293 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 (/ 1 x))) in x
13.293 * [taylor]: Taking taylor expansion of 3.0 in x
13.293 * [backup-simplify]: Simplify 3.0 into 3.0
13.293 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
13.293 * [taylor]: Taking taylor expansion of 12.0 in x
13.293 * [backup-simplify]: Simplify 12.0 into 12.0
13.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.293 * [taylor]: Taking taylor expansion of x in x
13.293 * [backup-simplify]: Simplify 0 into 0
13.294 * [backup-simplify]: Simplify 1 into 1
13.294 * [backup-simplify]: Simplify (/ 1 1) into 1
13.294 * [taylor]: Taking taylor expansion of (fma (/ 9.0 x) (/ 1 x) (- 3.0 (* 12.0 (/ 1 x)))) in x
13.295 * [taylor]: Rewrote expression to (+ (* (/ 9.0 x) (/ 1 x)) (- 3.0 (* 12.0 (/ 1 x))))
13.295 * [taylor]: Taking taylor expansion of (* (/ 9.0 x) (/ 1 x)) in x
13.295 * [taylor]: Taking taylor expansion of (/ 9.0 x) in x
13.295 * [taylor]: Taking taylor expansion of 9.0 in x
13.295 * [backup-simplify]: Simplify 9.0 into 9.0
13.295 * [taylor]: Taking taylor expansion of x in x
13.295 * [backup-simplify]: Simplify 0 into 0
13.295 * [backup-simplify]: Simplify 1 into 1
13.296 * [backup-simplify]: Simplify (/ 9.0 1) into 9.0
13.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.296 * [taylor]: Taking taylor expansion of x in x
13.296 * [backup-simplify]: Simplify 0 into 0
13.296 * [backup-simplify]: Simplify 1 into 1
13.297 * [backup-simplify]: Simplify (/ 1 1) into 1
13.297 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 (/ 1 x))) in x
13.297 * [taylor]: Taking taylor expansion of 3.0 in x
13.297 * [backup-simplify]: Simplify 3.0 into 3.0
13.297 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
13.297 * [taylor]: Taking taylor expansion of 12.0 in x
13.297 * [backup-simplify]: Simplify 12.0 into 12.0
13.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.297 * [taylor]: Taking taylor expansion of x in x
13.297 * [backup-simplify]: Simplify 0 into 0
13.297 * [backup-simplify]: Simplify 1 into 1
13.298 * [backup-simplify]: Simplify (/ 1 1) into 1
13.299 * [backup-simplify]: Simplify (* 9.0 1) into 9.0
13.299 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
13.299 * [backup-simplify]: Simplify 9.0 into 9.0
13.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)))) into 0
13.302 * [backup-simplify]: Simplify (+ (* 9.0 0) (* 0 1)) into 0
13.303 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
13.303 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
13.304 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
13.305 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
13.306 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
13.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.309 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.310 * [backup-simplify]: Simplify (+ (* 9.0 0) (+ (* 0 0) (* 0 1))) into 0
13.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.312 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
13.313 * [backup-simplify]: Simplify (- 0) into 0
13.313 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
13.314 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
13.314 * [backup-simplify]: Simplify 3.0 into 3.0
13.315 * [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))
13.315 * [backup-simplify]: Simplify (fma (* 9.0 (/ 1 (- x))) (/ 1 (- x)) (- 3.0 (* (/ 1 (- x)) 12.0))) into (fma (/ -9.0 x) (/ -1 x) (+ (* 12.0 (/ 1 x)) 3.0))
13.315 * [approximate]: Taking taylor expansion of (fma (/ -9.0 x) (/ -1 x) (+ (* 12.0 (/ 1 x)) 3.0)) in (x) around 0
13.315 * [taylor]: Taking taylor expansion of (fma (/ -9.0 x) (/ -1 x) (+ (* 12.0 (/ 1 x)) 3.0)) in x
13.315 * [taylor]: Rewrote expression to (+ (* (/ -9.0 x) (/ -1 x)) (+ (* 12.0 (/ 1 x)) 3.0))
13.315 * [taylor]: Taking taylor expansion of (* (/ -9.0 x) (/ -1 x)) in x
13.315 * [taylor]: Taking taylor expansion of (/ -9.0 x) in x
13.315 * [taylor]: Taking taylor expansion of -9.0 in x
13.316 * [backup-simplify]: Simplify -9.0 into -9.0
13.316 * [taylor]: Taking taylor expansion of x in x
13.316 * [backup-simplify]: Simplify 0 into 0
13.316 * [backup-simplify]: Simplify 1 into 1
13.316 * [backup-simplify]: Simplify (/ -9.0 1) into -9.0
13.316 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.316 * [taylor]: Taking taylor expansion of -1 in x
13.316 * [backup-simplify]: Simplify -1 into -1
13.317 * [taylor]: Taking taylor expansion of x in x
13.317 * [backup-simplify]: Simplify 0 into 0
13.317 * [backup-simplify]: Simplify 1 into 1
13.317 * [backup-simplify]: Simplify (/ -1 1) into -1
13.317 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
13.317 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
13.317 * [taylor]: Taking taylor expansion of 12.0 in x
13.317 * [backup-simplify]: Simplify 12.0 into 12.0
13.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.317 * [taylor]: Taking taylor expansion of x in x
13.317 * [backup-simplify]: Simplify 0 into 0
13.317 * [backup-simplify]: Simplify 1 into 1
13.318 * [backup-simplify]: Simplify (/ 1 1) into 1
13.318 * [taylor]: Taking taylor expansion of 3.0 in x
13.318 * [backup-simplify]: Simplify 3.0 into 3.0
13.318 * [taylor]: Taking taylor expansion of (fma (/ -9.0 x) (/ -1 x) (+ (* 12.0 (/ 1 x)) 3.0)) in x
13.318 * [taylor]: Rewrote expression to (+ (* (/ -9.0 x) (/ -1 x)) (+ (* 12.0 (/ 1 x)) 3.0))
13.318 * [taylor]: Taking taylor expansion of (* (/ -9.0 x) (/ -1 x)) in x
13.319 * [taylor]: Taking taylor expansion of (/ -9.0 x) in x
13.319 * [taylor]: Taking taylor expansion of -9.0 in x
13.319 * [backup-simplify]: Simplify -9.0 into -9.0
13.319 * [taylor]: Taking taylor expansion of x in x
13.319 * [backup-simplify]: Simplify 0 into 0
13.319 * [backup-simplify]: Simplify 1 into 1
13.319 * [backup-simplify]: Simplify (/ -9.0 1) into -9.0
13.319 * [taylor]: Taking taylor expansion of (/ -1 x) in x
13.320 * [taylor]: Taking taylor expansion of -1 in x
13.320 * [backup-simplify]: Simplify -1 into -1
13.320 * [taylor]: Taking taylor expansion of x in x
13.320 * [backup-simplify]: Simplify 0 into 0
13.320 * [backup-simplify]: Simplify 1 into 1
13.320 * [backup-simplify]: Simplify (/ -1 1) into -1
13.320 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
13.320 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
13.320 * [taylor]: Taking taylor expansion of 12.0 in x
13.320 * [backup-simplify]: Simplify 12.0 into 12.0
13.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.321 * [taylor]: Taking taylor expansion of x in x
13.321 * [backup-simplify]: Simplify 0 into 0
13.321 * [backup-simplify]: Simplify 1 into 1
13.321 * [backup-simplify]: Simplify (/ 1 1) into 1
13.321 * [taylor]: Taking taylor expansion of 3.0 in x
13.321 * [backup-simplify]: Simplify 3.0 into 3.0
13.322 * [backup-simplify]: Simplify (* -9.0 -1) into 9.0
13.323 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
13.323 * [backup-simplify]: Simplify 9.0 into 9.0
13.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
13.325 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -9.0 (/ 0 1)))) into 0
13.327 * [backup-simplify]: Simplify (+ (* -9.0 0) (* 0 -1)) into 0
13.327 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
13.328 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
13.329 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
13.329 * [backup-simplify]: Simplify 12.0 into 12.0
13.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.331 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -9.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.333 * [backup-simplify]: Simplify (+ (* -9.0 0) (+ (* 0 0) (* 0 -1))) into 0
13.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.335 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
13.336 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
13.337 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
13.337 * [backup-simplify]: Simplify 3.0 into 3.0
13.337 * [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))
13.337 * * * * [progress]: [ 2 / 2 ] generating series at (2 3)
13.337 * [backup-simplify]: Simplify (- 3.0 (* x 12.0)) into (- 3.0 (* 12.0 x))
13.338 * [approximate]: Taking taylor expansion of (- 3.0 (* 12.0 x)) in (x) around 0
13.338 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 x)) in x
13.338 * [taylor]: Taking taylor expansion of 3.0 in x
13.338 * [backup-simplify]: Simplify 3.0 into 3.0
13.338 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
13.338 * [taylor]: Taking taylor expansion of 12.0 in x
13.338 * [backup-simplify]: Simplify 12.0 into 12.0
13.338 * [taylor]: Taking taylor expansion of x in x
13.338 * [backup-simplify]: Simplify 0 into 0
13.338 * [backup-simplify]: Simplify 1 into 1
13.338 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 x)) in x
13.338 * [taylor]: Taking taylor expansion of 3.0 in x
13.338 * [backup-simplify]: Simplify 3.0 into 3.0
13.338 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
13.338 * [taylor]: Taking taylor expansion of 12.0 in x
13.338 * [backup-simplify]: Simplify 12.0 into 12.0
13.338 * [taylor]: Taking taylor expansion of x in x
13.338 * [backup-simplify]: Simplify 0 into 0
13.338 * [backup-simplify]: Simplify 1 into 1
13.339 * [backup-simplify]: Simplify (* 12.0 0) into 0
13.340 * [backup-simplify]: Simplify (- 0) into 0
13.340 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
13.341 * [backup-simplify]: Simplify 3.0 into 3.0
13.343 * [backup-simplify]: Simplify (+ (* 12.0 1) (* 0 0)) into 12.0
13.343 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
13.344 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
13.345 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
13.346 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 1) (* 0 0))) into 0
13.347 * [backup-simplify]: Simplify (- 0) into 0
13.347 * [backup-simplify]: Simplify (+ 0 0) into 0
13.348 * [backup-simplify]: Simplify 0 into 0
13.349 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
13.350 * [backup-simplify]: Simplify (- 0) into 0
13.350 * [backup-simplify]: Simplify (+ 0 0) into 0
13.350 * [backup-simplify]: Simplify 0 into 0
13.352 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
13.353 * [backup-simplify]: Simplify (- 0) into 0
13.354 * [backup-simplify]: Simplify (+ 0 0) into 0
13.354 * [backup-simplify]: Simplify 0 into 0
13.356 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
13.356 * [backup-simplify]: Simplify (- 0) into 0
13.357 * [backup-simplify]: Simplify (+ 0 0) into 0
13.357 * [backup-simplify]: Simplify 0 into 0
13.358 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
13.359 * [backup-simplify]: Simplify (- 0) into 0
13.359 * [backup-simplify]: Simplify (+ 0 0) into 0
13.359 * [backup-simplify]: Simplify 0 into 0
13.361 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
13.362 * [backup-simplify]: Simplify (- 0) into 0
13.362 * [backup-simplify]: Simplify (+ 0 0) into 0
13.362 * [backup-simplify]: Simplify 0 into 0
13.363 * [backup-simplify]: Simplify (+ (* (- 12.0) x) 3.0) into (- 3.0 (* 12.0 x))
13.363 * [backup-simplify]: Simplify (- 3.0 (* (/ 1 x) 12.0)) into (- 3.0 (* 12.0 (/ 1 x)))
13.363 * [approximate]: Taking taylor expansion of (- 3.0 (* 12.0 (/ 1 x))) in (x) around 0
13.363 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 (/ 1 x))) in x
13.363 * [taylor]: Taking taylor expansion of 3.0 in x
13.363 * [backup-simplify]: Simplify 3.0 into 3.0
13.363 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
13.363 * [taylor]: Taking taylor expansion of 12.0 in x
13.363 * [backup-simplify]: Simplify 12.0 into 12.0
13.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.363 * [taylor]: Taking taylor expansion of x in x
13.363 * [backup-simplify]: Simplify 0 into 0
13.363 * [backup-simplify]: Simplify 1 into 1
13.364 * [backup-simplify]: Simplify (/ 1 1) into 1
13.364 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 (/ 1 x))) in x
13.364 * [taylor]: Taking taylor expansion of 3.0 in x
13.364 * [backup-simplify]: Simplify 3.0 into 3.0
13.364 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
13.364 * [taylor]: Taking taylor expansion of 12.0 in x
13.364 * [backup-simplify]: Simplify 12.0 into 12.0
13.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.364 * [taylor]: Taking taylor expansion of x in x
13.364 * [backup-simplify]: Simplify 0 into 0
13.364 * [backup-simplify]: Simplify 1 into 1
13.365 * [backup-simplify]: Simplify (/ 1 1) into 1
13.366 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
13.366 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
13.367 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
13.367 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
13.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.369 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
13.370 * [backup-simplify]: Simplify (- 0) into 0
13.370 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
13.370 * [backup-simplify]: Simplify 3.0 into 3.0
13.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.372 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (* 0 1))) into 0
13.373 * [backup-simplify]: Simplify (- 0) into 0
13.373 * [backup-simplify]: Simplify (+ 0 0) into 0
13.373 * [backup-simplify]: Simplify 0 into 0
13.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.376 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.377 * [backup-simplify]: Simplify (- 0) into 0
13.377 * [backup-simplify]: Simplify (+ 0 0) into 0
13.377 * [backup-simplify]: Simplify 0 into 0
13.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.380 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.381 * [backup-simplify]: Simplify (- 0) into 0
13.381 * [backup-simplify]: Simplify (+ 0 0) into 0
13.381 * [backup-simplify]: Simplify 0 into 0
13.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.384 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.385 * [backup-simplify]: Simplify (- 0) into 0
13.385 * [backup-simplify]: Simplify (+ 0 0) into 0
13.385 * [backup-simplify]: Simplify 0 into 0
13.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.398 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.399 * [backup-simplify]: Simplify (- 0) into 0
13.400 * [backup-simplify]: Simplify (+ 0 0) into 0
13.400 * [backup-simplify]: Simplify 0 into 0
13.401 * [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
13.404 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
13.404 * [backup-simplify]: Simplify (- 0) into 0
13.405 * [backup-simplify]: Simplify (+ 0 0) into 0
13.405 * [backup-simplify]: Simplify 0 into 0
13.406 * [backup-simplify]: Simplify (+ 3.0 (* (- 12.0) (/ 1 (/ 1 x)))) into (- 3.0 (* 12.0 x))
13.406 * [backup-simplify]: Simplify (- 3.0 (* (/ 1 (- x)) 12.0)) into (+ (* 12.0 (/ 1 x)) 3.0)
13.406 * [approximate]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in (x) around 0
13.406 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
13.406 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
13.406 * [taylor]: Taking taylor expansion of 12.0 in x
13.406 * [backup-simplify]: Simplify 12.0 into 12.0
13.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.406 * [taylor]: Taking taylor expansion of x in x
13.406 * [backup-simplify]: Simplify 0 into 0
13.406 * [backup-simplify]: Simplify 1 into 1
13.407 * [backup-simplify]: Simplify (/ 1 1) into 1
13.407 * [taylor]: Taking taylor expansion of 3.0 in x
13.407 * [backup-simplify]: Simplify 3.0 into 3.0
13.407 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
13.407 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
13.407 * [taylor]: Taking taylor expansion of 12.0 in x
13.407 * [backup-simplify]: Simplify 12.0 into 12.0
13.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x
13.407 * [taylor]: Taking taylor expansion of x in x
13.407 * [backup-simplify]: Simplify 0 into 0
13.407 * [backup-simplify]: Simplify 1 into 1
13.408 * [backup-simplify]: Simplify (/ 1 1) into 1
13.408 * [taylor]: Taking taylor expansion of 3.0 in x
13.408 * [backup-simplify]: Simplify 3.0 into 3.0
13.409 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
13.409 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
13.410 * [backup-simplify]: Simplify 12.0 into 12.0
13.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
13.412 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
13.412 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
13.412 * [backup-simplify]: Simplify 3.0 into 3.0
13.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.415 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (* 0 1))) into 0
13.415 * [backup-simplify]: Simplify (+ 0 0) into 0
13.415 * [backup-simplify]: Simplify 0 into 0
13.416 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.418 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.419 * [backup-simplify]: Simplify (+ 0 0) into 0
13.419 * [backup-simplify]: Simplify 0 into 0
13.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.421 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.422 * [backup-simplify]: Simplify (+ 0 0) into 0
13.422 * [backup-simplify]: Simplify 0 into 0
13.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.425 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.426 * [backup-simplify]: Simplify (+ 0 0) into 0
13.426 * [backup-simplify]: Simplify 0 into 0
13.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.429 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.430 * [backup-simplify]: Simplify (+ 0 0) into 0
13.430 * [backup-simplify]: Simplify 0 into 0
13.431 * [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
13.434 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
13.434 * [backup-simplify]: Simplify (+ 0 0) into 0
13.434 * [backup-simplify]: Simplify 0 into 0
13.435 * [backup-simplify]: Simplify (+ 3.0 (* 12.0 (/ 1 (/ 1 (- x))))) into (- 3.0 (* 12.0 x))
13.435 * * * [progress]: simplifying candidates
13.436 * [simplify]: Simplifying:
  (expm1 (fma (* 9.0 x) x (- 3.0 (* x 12.0))))
  (log1p (fma (* 9.0 x) x (- 3.0 (* x 12.0))))
  (* (* 9.0 x) x)
  (log (fma (* 9.0 x) x (- 3.0 (* x 12.0))))
  (exp (fma (* 9.0 x) x (- 3.0 (* x 12.0))))
  (* (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0)))) (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0)))))
  (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0))))
  (* (* (fma (* 9.0 x) x (- 3.0 (* x 12.0))) (fma (* 9.0 x) x (- 3.0 (* x 12.0)))) (fma (* 9.0 x) x (- 3.0 (* x 12.0))))
  (sqrt (fma (* 9.0 x) x (- 3.0 (* x 12.0))))
  (sqrt (fma (* 9.0 x) x (- 3.0 (* x 12.0))))
  (fma (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0) (- (* 12.0 x)))
  (fma (- 12.0) x (* 12.0 x))
  (fma (sqrt 3.0) (sqrt 3.0) (- (* 12.0 x)))
  (fma (- 12.0) x (* 12.0 x))
  (fma 1 3.0 (- (* 12.0 x)))
  (fma (- 12.0) x (* 12.0 x))
  (expm1 (- 3.0 (* x 12.0)))
  (log1p (- 3.0 (* x 12.0)))
  (- (* x 12.0))
  (- (* x 12.0))
  (- (* x 12.0))
  (/ (exp 3.0) (exp (* x 12.0)))
  (log (- 3.0 (* x 12.0)))
  (exp (- 3.0 (* x 12.0)))
  (* (cbrt (- 3.0 (* x 12.0))) (cbrt (- 3.0 (* x 12.0))))
  (cbrt (- 3.0 (* x 12.0)))
  (* (* (- 3.0 (* x 12.0)) (- 3.0 (* x 12.0))) (- 3.0 (* x 12.0)))
  (sqrt (- 3.0 (* x 12.0)))
  (sqrt (- 3.0 (* x 12.0)))
  (- (pow 3.0 3) (pow (* x 12.0) 3))
  (+ (* 3.0 3.0) (+ (* (* x 12.0) (* x 12.0)) (* 3.0 (* x 12.0))))
  (- (* x 12.0))
  (- (* 3.0 3.0) (* (* x 12.0) (* x 12.0)))
  (+ 3.0 (* x 12.0))
  (- (* x 12.0))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (- 3.0 (* 12.0 x))
13.437 * * [simplify]: iteration 0: 59 enodes
13.476 * * [simplify]: iteration 1: 131 enodes
13.580 * * [simplify]: iteration 2: 380 enodes
13.938 * * [simplify]: iteration 3: 1359 enodes
16.206 * * [simplify]: iteration complete: 5000 enodes
16.206 * * [simplify]: Extracting #0: cost 25 inf + 0
16.208 * * [simplify]: Extracting #1: cost 323 inf + 0
16.218 * * [simplify]: Extracting #2: cost 1283 inf + 6204
16.273 * * [simplify]: Extracting #3: cost 927 inf + 150213
16.406 * * [simplify]: Extracting #4: cost 92 inf + 346521
16.565 * * [simplify]: Extracting #5: cost 18 inf + 349730
16.713 * * [simplify]: Extracting #6: cost 3 inf + 351374
16.855 * * [simplify]: Extracting #7: cost 0 inf + 352436
16.993 * [simplify]: Simplified to:
  (expm1 (fma x (- (* x 9.0) 12.0) 3.0))
  (log1p (fma x (- (* x 9.0) 12.0) 3.0))
  (* (* x 9.0) x)
  (log (fma x (- (* x 9.0) 12.0) 3.0))
  (exp (fma x (- (* x 9.0) 12.0) 3.0))
  (* (cbrt (fma x (- (* x 9.0) 12.0) 3.0)) (cbrt (fma x (- (* x 9.0) 12.0) 3.0)))
  (cbrt (fma x (- (* x 9.0) 12.0) 3.0))
  (* (* (fma x (- (* x 9.0) 12.0) 3.0) (fma x (- (* x 9.0) 12.0) 3.0)) (fma x (- (* x 9.0) 12.0) 3.0))
  (sqrt (fma x (- (* x 9.0) 12.0) 3.0))
  (sqrt (fma x (- (* x 9.0) 12.0) 3.0))
  (- 3.0 (* 12.0 x))
  (* (+ x (- x)) 12.0)
  (- 3.0 (* 12.0 x))
  (* (+ x (- x)) 12.0)
  (- 3.0 (* 12.0 x))
  (* (+ x (- x)) 12.0)
  (expm1 (- 3.0 (* 12.0 x)))
  (log1p (- 3.0 (* 12.0 x)))
  (* (- x) 12.0)
  (* (- x) 12.0)
  (* (- x) 12.0)
  (exp (- 3.0 (* 12.0 x)))
  (log (- 3.0 (* 12.0 x)))
  (exp (- 3.0 (* 12.0 x)))
  (* (cbrt (- 3.0 (* 12.0 x))) (cbrt (- 3.0 (* 12.0 x))))
  (cbrt (- 3.0 (* 12.0 x)))
  (* (* (- 3.0 (* 12.0 x)) (- 3.0 (* 12.0 x))) (- 3.0 (* 12.0 x)))
  (sqrt (- 3.0 (* 12.0 x)))
  (sqrt (- 3.0 (* 12.0 x)))
  (- (* (* 3.0 3.0) 3.0) (* (* (* x 12.0) (* x 12.0)) (* x 12.0)))
  (fma 3.0 3.0 (* (* 12.0 x) (+ (* 12.0 x) 3.0)))
  (* (- x) 12.0)
  (- (* 3.0 3.0) (* (* x 12.0) (* x 12.0)))
  (fma 12.0 x 3.0)
  (* (- x) 12.0)
  (fma x (- (* x 9.0) 12.0) 3.0)
  (fma x (- (* x 9.0) 12.0) 3.0)
  (fma x (- (* x 9.0) 12.0) 3.0)
  (- 3.0 (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (- 3.0 (* 12.0 x))
16.995 * * * [progress]: adding candidates to table
17.295 * * [progress]: iteration 3 / 4
17.295 * * * [progress]: picking best candidate
17.328 * * * * [pick]: Picked  #<alt (λ (x) (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)))>
17.328 * * * [progress]: localizing error
17.366 * * * [progress]: generating rewritten candidates
17.366 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 1)
17.407 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
17.888 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
17.930 * * * [progress]: generating series expansions
17.930 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 1)
17.931 * [backup-simplify]: Simplify (* 3.0 (* x x)) into (* 3.0 (pow x 2))
17.931 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0
17.931 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
17.931 * [taylor]: Taking taylor expansion of 3.0 in x
17.931 * [backup-simplify]: Simplify 3.0 into 3.0
17.931 * [taylor]: Taking taylor expansion of (pow x 2) in x
17.931 * [taylor]: Taking taylor expansion of x in x
17.931 * [backup-simplify]: Simplify 0 into 0
17.931 * [backup-simplify]: Simplify 1 into 1
17.931 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
17.931 * [taylor]: Taking taylor expansion of 3.0 in x
17.931 * [backup-simplify]: Simplify 3.0 into 3.0
17.931 * [taylor]: Taking taylor expansion of (pow x 2) in x
17.931 * [taylor]: Taking taylor expansion of x in x
17.931 * [backup-simplify]: Simplify 0 into 0
17.931 * [backup-simplify]: Simplify 1 into 1
17.932 * [backup-simplify]: Simplify (* 1 1) into 1
17.932 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
17.933 * [backup-simplify]: Simplify 3.0 into 3.0
17.933 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
17.934 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
17.934 * [backup-simplify]: Simplify 0 into 0
17.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
17.935 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
17.935 * [backup-simplify]: Simplify 0 into 0
17.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
17.938 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
17.938 * [backup-simplify]: Simplify 0 into 0
17.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
17.941 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
17.941 * [backup-simplify]: Simplify 0 into 0
17.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
17.946 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
17.946 * [backup-simplify]: Simplify 0 into 0
17.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
17.950 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
17.950 * [backup-simplify]: Simplify 0 into 0
17.950 * [backup-simplify]: Simplify (* 3.0 (pow x 2)) into (* 3.0 (pow x 2))
17.950 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 x) (/ 1 x))) into (/ 3.0 (pow x 2))
17.950 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
17.950 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
17.950 * [taylor]: Taking taylor expansion of 3.0 in x
17.950 * [backup-simplify]: Simplify 3.0 into 3.0
17.950 * [taylor]: Taking taylor expansion of (pow x 2) in x
17.950 * [taylor]: Taking taylor expansion of x in x
17.950 * [backup-simplify]: Simplify 0 into 0
17.950 * [backup-simplify]: Simplify 1 into 1
17.951 * [backup-simplify]: Simplify (* 1 1) into 1
17.951 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
17.951 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
17.952 * [taylor]: Taking taylor expansion of 3.0 in x
17.952 * [backup-simplify]: Simplify 3.0 into 3.0
17.952 * [taylor]: Taking taylor expansion of (pow x 2) in x
17.952 * [taylor]: Taking taylor expansion of x in x
17.952 * [backup-simplify]: Simplify 0 into 0
17.952 * [backup-simplify]: Simplify 1 into 1
17.952 * [backup-simplify]: Simplify (* 1 1) into 1
17.953 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
17.953 * [backup-simplify]: Simplify 3.0 into 3.0
17.954 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
17.955 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
17.955 * [backup-simplify]: Simplify 0 into 0
17.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
17.958 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.958 * [backup-simplify]: Simplify 0 into 0
17.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
17.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.960 * [backup-simplify]: Simplify 0 into 0
17.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
17.963 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.963 * [backup-simplify]: Simplify 0 into 0
17.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
17.966 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.966 * [backup-simplify]: Simplify 0 into 0
17.968 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
17.970 * [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
17.970 * [backup-simplify]: Simplify 0 into 0
17.970 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 x)) 2)) into (* 3.0 (pow x 2))
17.971 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (- x)) (/ 1 (- x)))) into (/ 3.0 (pow x 2))
17.971 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0
17.971 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
17.971 * [taylor]: Taking taylor expansion of 3.0 in x
17.971 * [backup-simplify]: Simplify 3.0 into 3.0
17.971 * [taylor]: Taking taylor expansion of (pow x 2) in x
17.971 * [taylor]: Taking taylor expansion of x in x
17.971 * [backup-simplify]: Simplify 0 into 0
17.971 * [backup-simplify]: Simplify 1 into 1
17.971 * [backup-simplify]: Simplify (* 1 1) into 1
17.972 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
17.972 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x
17.972 * [taylor]: Taking taylor expansion of 3.0 in x
17.972 * [backup-simplify]: Simplify 3.0 into 3.0
17.972 * [taylor]: Taking taylor expansion of (pow x 2) in x
17.972 * [taylor]: Taking taylor expansion of x in x
17.972 * [backup-simplify]: Simplify 0 into 0
17.972 * [backup-simplify]: Simplify 1 into 1
17.973 * [backup-simplify]: Simplify (* 1 1) into 1
17.973 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
17.973 * [backup-simplify]: Simplify 3.0 into 3.0
17.974 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
17.974 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
17.975 * [backup-simplify]: Simplify 0 into 0
17.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
17.978 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.978 * [backup-simplify]: Simplify 0 into 0
17.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
17.981 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.981 * [backup-simplify]: Simplify 0 into 0
17.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
17.984 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.984 * [backup-simplify]: Simplify 0 into 0
17.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
17.986 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.986 * [backup-simplify]: Simplify 0 into 0
17.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
17.992 * [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
17.992 * [backup-simplify]: Simplify 0 into 0
17.992 * [backup-simplify]: Simplify (* 3.0 (pow (/ 1 (/ 1 (- x))) 2)) into (* 3.0 (pow x 2))
17.992 * * * * [progress]: [ 2 / 3 ] generating series at (2)
17.992 * [backup-simplify]: Simplify (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)) into (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)))
17.992 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in (x) around 0
17.992 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
17.993 * [taylor]: Taking taylor expansion of 3.0 in x
17.993 * [backup-simplify]: Simplify 3.0 into 3.0
17.993 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
17.993 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
17.993 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
17.993 * [taylor]: Taking taylor expansion of 3.0 in x
17.993 * [backup-simplify]: Simplify 3.0 into 3.0
17.993 * [taylor]: Taking taylor expansion of (pow x 2) in x
17.993 * [taylor]: Taking taylor expansion of x in x
17.993 * [backup-simplify]: Simplify 0 into 0
17.993 * [backup-simplify]: Simplify 1 into 1
17.993 * [taylor]: Taking taylor expansion of 1.0 in x
17.993 * [backup-simplify]: Simplify 1.0 into 1.0
17.993 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
17.993 * [taylor]: Taking taylor expansion of 4.0 in x
17.993 * [backup-simplify]: Simplify 4.0 into 4.0
17.993 * [taylor]: Taking taylor expansion of x in x
17.993 * [backup-simplify]: Simplify 0 into 0
17.993 * [backup-simplify]: Simplify 1 into 1
17.993 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x))) in x
17.993 * [taylor]: Taking taylor expansion of 3.0 in x
17.993 * [backup-simplify]: Simplify 3.0 into 3.0
17.993 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) in x
17.993 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 1.0) in x
17.993 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
17.993 * [taylor]: Taking taylor expansion of 3.0 in x
17.993 * [backup-simplify]: Simplify 3.0 into 3.0
17.993 * [taylor]: Taking taylor expansion of (pow x 2) in x
17.993 * [taylor]: Taking taylor expansion of x in x
17.993 * [backup-simplify]: Simplify 0 into 0
17.993 * [backup-simplify]: Simplify 1 into 1
17.993 * [taylor]: Taking taylor expansion of 1.0 in x
17.993 * [backup-simplify]: Simplify 1.0 into 1.0
17.993 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
17.993 * [taylor]: Taking taylor expansion of 4.0 in x
17.993 * [backup-simplify]: Simplify 4.0 into 4.0
17.994 * [taylor]: Taking taylor expansion of x in x
17.994 * [backup-simplify]: Simplify 0 into 0
17.994 * [backup-simplify]: Simplify 1 into 1
17.994 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
17.995 * [backup-simplify]: Simplify (* 4.0 0) into 0
17.995 * [backup-simplify]: Simplify (- 0) into 0
17.996 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
17.996 * [backup-simplify]: Simplify (* 3.0 1.0) into 3.0
17.996 * [backup-simplify]: Simplify 3.0 into 3.0
17.997 * [backup-simplify]: Simplify (+ 0 0) into 0
17.998 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
17.998 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
17.999 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
18.001 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 1.0)) into (- 12.0)
18.001 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
18.002 * [backup-simplify]: Simplify (* 1 1) into 1
18.002 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
18.003 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
18.004 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
18.004 * [backup-simplify]: Simplify (- 0) into 0
18.005 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
18.007 * [backup-simplify]: Simplify (+ (* 3.0 3.0) (+ (* 0 (- 4.0)) (* 0 1.0))) into 9.0
18.007 * [backup-simplify]: Simplify 9.0 into 9.0
18.008 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (+ (* (- 12.0) x) 3.0)) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
18.009 * [backup-simplify]: Simplify (* 3.0 (+ (- (* 3.0 (* (/ 1 x) (/ 1 x))) (* (/ 1 x) 4.0)) 1.0)) into (* 3.0 (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x))))
18.009 * [approximate]: Taking taylor expansion of (* 3.0 (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x)))) in (x) around 0
18.009 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x)))) in x
18.009 * [taylor]: Taking taylor expansion of 3.0 in x
18.009 * [backup-simplify]: Simplify 3.0 into 3.0
18.009 * [taylor]: Taking taylor expansion of (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x))) in x
18.009 * [taylor]: Taking taylor expansion of (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) in x
18.010 * [taylor]: Taking taylor expansion of 1.0 in x
18.010 * [backup-simplify]: Simplify 1.0 into 1.0
18.010 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
18.010 * [taylor]: Taking taylor expansion of 3.0 in x
18.010 * [backup-simplify]: Simplify 3.0 into 3.0
18.010 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
18.010 * [taylor]: Taking taylor expansion of (pow x 2) in x
18.010 * [taylor]: Taking taylor expansion of x in x
18.010 * [backup-simplify]: Simplify 0 into 0
18.010 * [backup-simplify]: Simplify 1 into 1
18.011 * [backup-simplify]: Simplify (* 1 1) into 1
18.011 * [backup-simplify]: Simplify (/ 1 1) into 1
18.012 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
18.012 * [taylor]: Taking taylor expansion of 4.0 in x
18.012 * [backup-simplify]: Simplify 4.0 into 4.0
18.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.012 * [taylor]: Taking taylor expansion of x in x
18.012 * [backup-simplify]: Simplify 0 into 0
18.012 * [backup-simplify]: Simplify 1 into 1
18.012 * [backup-simplify]: Simplify (/ 1 1) into 1
18.012 * [taylor]: Taking taylor expansion of (* 3.0 (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x)))) in x
18.012 * [taylor]: Taking taylor expansion of 3.0 in x
18.012 * [backup-simplify]: Simplify 3.0 into 3.0
18.012 * [taylor]: Taking taylor expansion of (- (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) (* 4.0 (/ 1 x))) in x
18.013 * [taylor]: Taking taylor expansion of (+ 1.0 (* 3.0 (/ 1 (pow x 2)))) in x
18.013 * [taylor]: Taking taylor expansion of 1.0 in x
18.013 * [backup-simplify]: Simplify 1.0 into 1.0
18.013 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
18.013 * [taylor]: Taking taylor expansion of 3.0 in x
18.013 * [backup-simplify]: Simplify 3.0 into 3.0
18.013 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
18.013 * [taylor]: Taking taylor expansion of (pow x 2) in x
18.013 * [taylor]: Taking taylor expansion of x in x
18.013 * [backup-simplify]: Simplify 0 into 0
18.013 * [backup-simplify]: Simplify 1 into 1
18.013 * [backup-simplify]: Simplify (* 1 1) into 1
18.014 * [backup-simplify]: Simplify (/ 1 1) into 1
18.014 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
18.014 * [taylor]: Taking taylor expansion of 4.0 in x
18.014 * [backup-simplify]: Simplify 4.0 into 4.0
18.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.014 * [taylor]: Taking taylor expansion of x in x
18.014 * [backup-simplify]: Simplify 0 into 0
18.014 * [backup-simplify]: Simplify 1 into 1
18.014 * [backup-simplify]: Simplify (/ 1 1) into 1
18.015 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
18.016 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
18.016 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
18.017 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
18.017 * [backup-simplify]: Simplify 9.0 into 9.0
18.017 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.019 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
18.019 * [backup-simplify]: Simplify (+ 0 0) into 0
18.020 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
18.020 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
18.021 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
18.023 * [backup-simplify]: Simplify (+ (* 3.0 (- 4.0)) (* 0 3.0)) into (- 12.0)
18.024 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
18.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.026 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.027 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
18.027 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
18.029 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.030 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
18.031 * [backup-simplify]: Simplify (- 0) into 0
18.032 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
18.035 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 (- 4.0)) (* 0 3.0))) into 3.0
18.035 * [backup-simplify]: Simplify 3.0 into 3.0
18.036 * [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))
18.036 * [backup-simplify]: Simplify (* 3.0 (+ (- (* 3.0 (* (/ 1 (- x)) (/ 1 (- x)))) (* (/ 1 (- x)) 4.0)) 1.0)) into (* 3.0 (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))))
18.036 * [approximate]: Taking taylor expansion of (* 3.0 (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))))) in (x) around 0
18.036 * [taylor]: Taking taylor expansion of (* 3.0 (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))))) in x
18.036 * [taylor]: Taking taylor expansion of 3.0 in x
18.036 * [backup-simplify]: Simplify 3.0 into 3.0
18.036 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))) in x
18.036 * [taylor]: Taking taylor expansion of 1.0 in x
18.036 * [backup-simplify]: Simplify 1.0 into 1.0
18.036 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
18.036 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
18.036 * [taylor]: Taking taylor expansion of 3.0 in x
18.037 * [backup-simplify]: Simplify 3.0 into 3.0
18.037 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
18.037 * [taylor]: Taking taylor expansion of (pow x 2) in x
18.037 * [taylor]: Taking taylor expansion of x in x
18.037 * [backup-simplify]: Simplify 0 into 0
18.037 * [backup-simplify]: Simplify 1 into 1
18.037 * [backup-simplify]: Simplify (* 1 1) into 1
18.037 * [backup-simplify]: Simplify (/ 1 1) into 1
18.038 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
18.038 * [taylor]: Taking taylor expansion of 4.0 in x
18.038 * [backup-simplify]: Simplify 4.0 into 4.0
18.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.038 * [taylor]: Taking taylor expansion of x in x
18.038 * [backup-simplify]: Simplify 0 into 0
18.038 * [backup-simplify]: Simplify 1 into 1
18.038 * [backup-simplify]: Simplify (/ 1 1) into 1
18.038 * [taylor]: Taking taylor expansion of (* 3.0 (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))))) in x
18.038 * [taylor]: Taking taylor expansion of 3.0 in x
18.038 * [backup-simplify]: Simplify 3.0 into 3.0
18.038 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))) in x
18.038 * [taylor]: Taking taylor expansion of 1.0 in x
18.038 * [backup-simplify]: Simplify 1.0 into 1.0
18.039 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
18.039 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
18.039 * [taylor]: Taking taylor expansion of 3.0 in x
18.039 * [backup-simplify]: Simplify 3.0 into 3.0
18.039 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
18.039 * [taylor]: Taking taylor expansion of (pow x 2) in x
18.039 * [taylor]: Taking taylor expansion of x in x
18.039 * [backup-simplify]: Simplify 0 into 0
18.039 * [backup-simplify]: Simplify 1 into 1
18.039 * [backup-simplify]: Simplify (* 1 1) into 1
18.040 * [backup-simplify]: Simplify (/ 1 1) into 1
18.040 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
18.040 * [taylor]: Taking taylor expansion of 4.0 in x
18.040 * [backup-simplify]: Simplify 4.0 into 4.0
18.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.040 * [taylor]: Taking taylor expansion of x in x
18.040 * [backup-simplify]: Simplify 0 into 0
18.040 * [backup-simplify]: Simplify 1 into 1
18.041 * [backup-simplify]: Simplify (/ 1 1) into 1
18.041 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
18.041 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
18.042 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
18.042 * [backup-simplify]: Simplify (* 3.0 3.0) into 9.0
18.042 * [backup-simplify]: Simplify 9.0 into 9.0
18.043 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.044 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.045 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
18.045 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
18.046 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
18.046 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
18.047 * [backup-simplify]: Simplify (+ (* 3.0 4.0) (* 0 3.0)) into 12.0
18.048 * [backup-simplify]: Simplify 12.0 into 12.0
18.048 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.049 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.050 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
18.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.052 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
18.052 * [backup-simplify]: Simplify (+ 0 0) into 0
18.052 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
18.054 * [backup-simplify]: Simplify (+ (* 3.0 1.0) (+ (* 0 4.0) (* 0 3.0))) into 3.0
18.054 * [backup-simplify]: Simplify 3.0 into 3.0
18.054 * [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))
18.054 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
18.055 * [backup-simplify]: Simplify (- (* 3.0 (* x x)) (* x 4.0)) into (- (* 3.0 (pow x 2)) (* 4.0 x))
18.055 * [approximate]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in (x) around 0
18.055 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in x
18.055 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
18.055 * [taylor]: Taking taylor expansion of 3.0 in x
18.055 * [backup-simplify]: Simplify 3.0 into 3.0
18.055 * [taylor]: Taking taylor expansion of (pow x 2) in x
18.055 * [taylor]: Taking taylor expansion of x in x
18.055 * [backup-simplify]: Simplify 0 into 0
18.055 * [backup-simplify]: Simplify 1 into 1
18.055 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
18.055 * [taylor]: Taking taylor expansion of 4.0 in x
18.055 * [backup-simplify]: Simplify 4.0 into 4.0
18.055 * [taylor]: Taking taylor expansion of x in x
18.055 * [backup-simplify]: Simplify 0 into 0
18.055 * [backup-simplify]: Simplify 1 into 1
18.055 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 4.0 x)) in x
18.055 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
18.055 * [taylor]: Taking taylor expansion of 3.0 in x
18.055 * [backup-simplify]: Simplify 3.0 into 3.0
18.055 * [taylor]: Taking taylor expansion of (pow x 2) in x
18.055 * [taylor]: Taking taylor expansion of x in x
18.055 * [backup-simplify]: Simplify 0 into 0
18.055 * [backup-simplify]: Simplify 1 into 1
18.055 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
18.055 * [taylor]: Taking taylor expansion of 4.0 in x
18.055 * [backup-simplify]: Simplify 4.0 into 4.0
18.055 * [taylor]: Taking taylor expansion of x in x
18.055 * [backup-simplify]: Simplify 0 into 0
18.055 * [backup-simplify]: Simplify 1 into 1
18.056 * [backup-simplify]: Simplify (* 4.0 0) into 0
18.057 * [backup-simplify]: Simplify (- 0) into 0
18.057 * [backup-simplify]: Simplify (+ 0 0) into 0
18.057 * [backup-simplify]: Simplify 0 into 0
18.058 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0
18.059 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
18.059 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
18.060 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
18.060 * [backup-simplify]: Simplify (* 1 1) into 1
18.060 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
18.062 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0
18.062 * [backup-simplify]: Simplify (- 0) into 0
18.063 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
18.063 * [backup-simplify]: Simplify 3.0 into 3.0
18.064 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.064 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
18.066 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
18.066 * [backup-simplify]: Simplify (- 0) into 0
18.067 * [backup-simplify]: Simplify (+ 0 0) into 0
18.067 * [backup-simplify]: Simplify 0 into 0
18.068 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.069 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
18.071 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
18.071 * [backup-simplify]: Simplify (- 0) into 0
18.072 * [backup-simplify]: Simplify (+ 0 0) into 0
18.072 * [backup-simplify]: Simplify 0 into 0
18.073 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.074 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.076 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
18.076 * [backup-simplify]: Simplify (- 0) into 0
18.077 * [backup-simplify]: Simplify (+ 0 0) into 0
18.077 * [backup-simplify]: Simplify 0 into 0
18.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.079 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.081 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
18.082 * [backup-simplify]: Simplify (- 0) into 0
18.082 * [backup-simplify]: Simplify (+ 0 0) into 0
18.082 * [backup-simplify]: Simplify 0 into 0
18.084 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.086 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.088 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
18.089 * [backup-simplify]: Simplify (- 0) into 0
18.089 * [backup-simplify]: Simplify (+ 0 0) into 0
18.089 * [backup-simplify]: Simplify 0 into 0
18.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.093 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.095 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
18.096 * [backup-simplify]: Simplify (- 0) into 0
18.096 * [backup-simplify]: Simplify (+ 0 0) into 0
18.096 * [backup-simplify]: Simplify 0 into 0
18.097 * [backup-simplify]: Simplify (+ (* 3.0 (pow x 2)) (* (- 4.0) x)) into (- (* 3.0 (pow x 2)) (* 4.0 x))
18.098 * [backup-simplify]: Simplify (- (* 3.0 (* (/ 1 x) (/ 1 x))) (* (/ 1 x) 4.0)) into (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))
18.098 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in (x) around 0
18.098 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
18.098 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
18.098 * [taylor]: Taking taylor expansion of 3.0 in x
18.098 * [backup-simplify]: Simplify 3.0 into 3.0
18.098 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
18.098 * [taylor]: Taking taylor expansion of (pow x 2) in x
18.098 * [taylor]: Taking taylor expansion of x in x
18.098 * [backup-simplify]: Simplify 0 into 0
18.098 * [backup-simplify]: Simplify 1 into 1
18.099 * [backup-simplify]: Simplify (* 1 1) into 1
18.100 * [backup-simplify]: Simplify (/ 1 1) into 1
18.100 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
18.100 * [taylor]: Taking taylor expansion of 4.0 in x
18.100 * [backup-simplify]: Simplify 4.0 into 4.0
18.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.100 * [taylor]: Taking taylor expansion of x in x
18.100 * [backup-simplify]: Simplify 0 into 0
18.100 * [backup-simplify]: Simplify 1 into 1
18.100 * [backup-simplify]: Simplify (/ 1 1) into 1
18.100 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
18.100 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
18.100 * [taylor]: Taking taylor expansion of 3.0 in x
18.101 * [backup-simplify]: Simplify 3.0 into 3.0
18.101 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
18.101 * [taylor]: Taking taylor expansion of (pow x 2) in x
18.101 * [taylor]: Taking taylor expansion of x in x
18.101 * [backup-simplify]: Simplify 0 into 0
18.101 * [backup-simplify]: Simplify 1 into 1
18.101 * [backup-simplify]: Simplify (* 1 1) into 1
18.102 * [backup-simplify]: Simplify (/ 1 1) into 1
18.102 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
18.102 * [taylor]: Taking taylor expansion of 4.0 in x
18.102 * [backup-simplify]: Simplify 4.0 into 4.0
18.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.102 * [taylor]: Taking taylor expansion of x in x
18.102 * [backup-simplify]: Simplify 0 into 0
18.102 * [backup-simplify]: Simplify 1 into 1
18.103 * [backup-simplify]: Simplify (/ 1 1) into 1
18.103 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
18.104 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
18.104 * [backup-simplify]: Simplify 3.0 into 3.0
18.105 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.106 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.107 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
18.107 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
18.108 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
18.109 * [backup-simplify]: Simplify (+ 0 (- 4.0)) into (- 4.0)
18.109 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
18.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.111 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.113 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
18.114 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.115 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
18.116 * [backup-simplify]: Simplify (- 0) into 0
18.116 * [backup-simplify]: Simplify (+ 0 0) into 0
18.116 * [backup-simplify]: Simplify 0 into 0
18.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.120 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.121 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.122 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
18.123 * [backup-simplify]: Simplify (- 0) into 0
18.123 * [backup-simplify]: Simplify (+ 0 0) into 0
18.123 * [backup-simplify]: Simplify 0 into 0
18.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.127 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.128 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.130 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.130 * [backup-simplify]: Simplify (- 0) into 0
18.131 * [backup-simplify]: Simplify (+ 0 0) into 0
18.131 * [backup-simplify]: Simplify 0 into 0
18.132 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.135 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.137 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.138 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.139 * [backup-simplify]: Simplify (- 0) into 0
18.139 * [backup-simplify]: Simplify (+ 0 0) into 0
18.139 * [backup-simplify]: Simplify 0 into 0
18.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.142 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.144 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.147 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.148 * [backup-simplify]: Simplify (- 0) into 0
18.148 * [backup-simplify]: Simplify (+ 0 0) into 0
18.148 * [backup-simplify]: Simplify 0 into 0
18.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
18.151 * [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
18.153 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
18.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.157 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.157 * [backup-simplify]: Simplify (- 0) into 0
18.161 * [backup-simplify]: Simplify (+ 0 0) into 0
18.161 * [backup-simplify]: Simplify 0 into 0
18.163 * [backup-simplify]: Simplify (+ (* (- 4.0) (/ 1 (/ 1 x))) (* 3.0 (pow (/ 1 (/ 1 x)) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x))
18.163 * [backup-simplify]: Simplify (- (* 3.0 (* (/ 1 (- x)) (/ 1 (- x)))) (* (/ 1 (- x)) 4.0)) into (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x)))
18.163 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in (x) around 0
18.163 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
18.164 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
18.164 * [taylor]: Taking taylor expansion of 3.0 in x
18.164 * [backup-simplify]: Simplify 3.0 into 3.0
18.164 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
18.164 * [taylor]: Taking taylor expansion of (pow x 2) in x
18.164 * [taylor]: Taking taylor expansion of x in x
18.164 * [backup-simplify]: Simplify 0 into 0
18.164 * [backup-simplify]: Simplify 1 into 1
18.165 * [backup-simplify]: Simplify (* 1 1) into 1
18.165 * [backup-simplify]: Simplify (/ 1 1) into 1
18.165 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
18.165 * [taylor]: Taking taylor expansion of 4.0 in x
18.165 * [backup-simplify]: Simplify 4.0 into 4.0
18.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.165 * [taylor]: Taking taylor expansion of x in x
18.165 * [backup-simplify]: Simplify 0 into 0
18.165 * [backup-simplify]: Simplify 1 into 1
18.166 * [backup-simplify]: Simplify (/ 1 1) into 1
18.166 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 4.0 (/ 1 x))) in x
18.166 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
18.166 * [taylor]: Taking taylor expansion of 3.0 in x
18.166 * [backup-simplify]: Simplify 3.0 into 3.0
18.166 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
18.166 * [taylor]: Taking taylor expansion of (pow x 2) in x
18.166 * [taylor]: Taking taylor expansion of x in x
18.166 * [backup-simplify]: Simplify 0 into 0
18.166 * [backup-simplify]: Simplify 1 into 1
18.167 * [backup-simplify]: Simplify (* 1 1) into 1
18.167 * [backup-simplify]: Simplify (/ 1 1) into 1
18.167 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
18.167 * [taylor]: Taking taylor expansion of 4.0 in x
18.167 * [backup-simplify]: Simplify 4.0 into 4.0
18.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.167 * [taylor]: Taking taylor expansion of x in x
18.167 * [backup-simplify]: Simplify 0 into 0
18.167 * [backup-simplify]: Simplify 1 into 1
18.168 * [backup-simplify]: Simplify (/ 1 1) into 1
18.169 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
18.170 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
18.170 * [backup-simplify]: Simplify 3.0 into 3.0
18.171 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
18.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.173 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
18.174 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
18.174 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
18.174 * [backup-simplify]: Simplify 4.0 into 4.0
18.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
18.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.178 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (* 0 1))) into 0
18.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.180 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
18.181 * [backup-simplify]: Simplify (+ 0 0) into 0
18.181 * [backup-simplify]: Simplify 0 into 0
18.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.185 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.188 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
18.188 * [backup-simplify]: Simplify (+ 0 0) into 0
18.188 * [backup-simplify]: Simplify 0 into 0
18.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.191 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.192 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.193 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.194 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
18.194 * [backup-simplify]: Simplify (+ 0 0) into 0
18.194 * [backup-simplify]: Simplify 0 into 0
18.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.197 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.198 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.200 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.201 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
18.202 * [backup-simplify]: Simplify (+ 0 0) into 0
18.202 * [backup-simplify]: Simplify 0 into 0
18.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.205 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.207 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.208 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.209 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
18.210 * [backup-simplify]: Simplify (+ 0 0) into 0
18.210 * [backup-simplify]: Simplify 0 into 0
18.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
18.213 * [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
18.215 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
18.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.218 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
18.219 * [backup-simplify]: Simplify (+ 0 0) into 0
18.219 * [backup-simplify]: Simplify 0 into 0
18.219 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 (/ 1 (- x)))) (* 3.0 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 3.0 (pow x 2)) (* 4.0 x))
18.219 * * * [progress]: simplifying candidates
18.221 * [simplify]: Simplifying:
  (expm1 (* 3.0 (* x x)))
  (log1p (* 3.0 (* x x)))
  (* 3.0 (* x x))
  (* 3.0 (* x x))
  (+ (log 3.0) (+ (log x) (log x)))
  (+ (log 3.0) (log (* x x)))
  (log (* 3.0 (* x x)))
  (exp (* 3.0 (* x x)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* x x) x)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (* 3.0 (* x x))) (cbrt (* 3.0 (* x x))))
  (cbrt (* 3.0 (* x x)))
  (* (* (* 3.0 (* x x)) (* 3.0 (* x x))) (* 3.0 (* x x)))
  (sqrt (* 3.0 (* x x)))
  (sqrt (* 3.0 (* x x)))
  (* (sqrt 3.0) x)
  (* (sqrt 3.0) x)
  (* 3.0 x)
  (* (cbrt 3.0) (* x x))
  (* (sqrt 3.0) (* x x))
  (* 3.0 (* x x))
  (expm1 (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)))
  (log1p (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)))
  (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0))
  (+ (log 3.0) (log (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)))
  (log (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)))
  (exp (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)))
  (* (* (* 3.0 3.0) 3.0) (* (* (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0) (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)) (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)))
  (* (cbrt (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0))) (cbrt (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0))))
  (cbrt (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)))
  (* (* (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)) (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0))) (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)))
  (sqrt (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)))
  (sqrt (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)))
  (* (sqrt 3.0) (sqrt (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)))
  (* (sqrt 3.0) (sqrt (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)))
  (* 3.0 (- (* 3.0 (* x x)) (* x 4.0)))
  (* 3.0 1.0)
  (* (- (* 3.0 (* x x)) (* x 4.0)) 3.0)
  (* 1.0 3.0)
  (* 3.0 (* (cbrt (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)) (cbrt (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0))))
  (* 3.0 (sqrt (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0)))
  (* 3.0 1)
  (* 3.0 1)
  (* (cbrt 3.0) (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0))
  (* (sqrt 3.0) (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0))
  (* 3.0 (+ (- (* 3.0 (* x x)) (* x 4.0)) 1.0))
  (* 3.0 (+ (pow (- (* 3.0 (* x x)) (* x 4.0)) 3) (pow 1.0 3)))
  (* 3.0 (- (* (- (* 3.0 (* x x)) (* x 4.0)) (- (* 3.0 (* x x)) (* x 4.0))) (* 1.0 1.0)))
  (fma 3.0 (* x x) (- (* 4.0 x)))
  (fma (- 4.0) x (* 4.0 x))
  (expm1 (- (* 3.0 (* x x)) (* x 4.0)))
  (log1p (- (* 3.0 (* x x)) (* x 4.0)))
  (- (* x 4.0))
  (/ (exp (* 3.0 (* x x))) (exp (* x 4.0)))
  (log (- (* 3.0 (* x x)) (* x 4.0)))
  (exp (- (* 3.0 (* x x)) (* x 4.0)))
  (* (cbrt (- (* 3.0 (* x x)) (* x 4.0))) (cbrt (- (* 3.0 (* x x)) (* x 4.0))))
  (cbrt (- (* 3.0 (* x x)) (* x 4.0)))
  (* (* (- (* 3.0 (* x x)) (* x 4.0)) (- (* 3.0 (* x x)) (* x 4.0))) (- (* 3.0 (* x x)) (* x 4.0)))
  (sqrt (- (* 3.0 (* x x)) (* x 4.0)))
  (sqrt (- (* 3.0 (* x x)) (* x 4.0)))
  (- (pow (* 3.0 (* x x)) 3) (pow (* x 4.0) 3))
  (+ (* (* 3.0 (* x x)) (* 3.0 (* x x))) (+ (* (* x 4.0) (* x 4.0)) (* (* 3.0 (* x x)) (* x 4.0))))
  (- (* x 4.0))
  (- (* (* 3.0 (* x x)) (* 3.0 (* x x))) (* (* x 4.0) (* x 4.0)))
  (+ (* 3.0 (* x 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))
18.223 * * [simplify]: iteration 0: 111 enodes
18.307 * * [simplify]: iteration 1: 336 enodes
18.601 * * [simplify]: iteration 2: 1237 enodes
20.250 * * [simplify]: iteration complete: 5001 enodes
20.250 * * [simplify]: Extracting #0: cost 50 inf + 0
20.253 * * [simplify]: Extracting #1: cost 563 inf + 1
20.266 * * [simplify]: Extracting #2: cost 1401 inf + 11678
20.317 * * [simplify]: Extracting #3: cost 970 inf + 134374
20.446 * * [simplify]: Extracting #4: cost 200 inf + 348558
20.594 * * [simplify]: Extracting #5: cost 5 inf + 393698
20.744 * * [simplify]: Extracting #6: cost 0 inf + 394642
20.894 * [simplify]: Simplified to:
  (expm1 (* (* 3.0 x) x))
  (log1p (* (* 3.0 x) x))
  (* (* 3.0 x) x)
  (* (* 3.0 x) x)
  (log (* (* 3.0 x) x))
  (log (* (* 3.0 x) x))
  (log (* (* 3.0 x) x))
  (exp (* (* 3.0 x) x))
  (* (* (* (* 3.0 x) x) (* (* 3.0 x) x)) (* (* 3.0 x) x))
  (* (* (* (* 3.0 x) x) (* (* 3.0 x) x)) (* (* 3.0 x) x))
  (* (cbrt (* (* 3.0 x) x)) (cbrt (* (* 3.0 x) x)))
  (cbrt (* (* 3.0 x) x))
  (* (* (* (* 3.0 x) x) (* (* 3.0 x) x)) (* (* 3.0 x) x))
  (sqrt (* (* 3.0 x) x))
  (sqrt (* (* 3.0 x) x))
  (* x (sqrt 3.0))
  (* x (sqrt 3.0))
  (* 3.0 x)
  (* (* (cbrt 3.0) x) x)
  (* (* x x) (sqrt 3.0))
  (* (* 3.0 x) x)
  (expm1 (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)))
  (log1p (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)))
  (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))
  (log (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)))
  (log (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)))
  (exp (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)))
  (* (* (* (* 3.0 3.0) 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (* (fma x (- (* x 3.0) 4.0) 1.0) (fma x (- (* x 3.0) 4.0) 1.0)))
  (* (cbrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))))
  (cbrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)))
  (* (* (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)) (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)))
  (sqrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)))
  (sqrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)))
  (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt 3.0))
  (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt 3.0))
  (* (* x (- (* x 3.0) 4.0)) 3.0)
  (* 1.0 3.0)
  (* (* x (- (* x 3.0) 4.0)) 3.0)
  (* 3.0 1.0)
  (* (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0))) 3.0)
  (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) 3.0)
  3.0
  3.0
  (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))
  (* (fma x (- (* x 3.0) 4.0) 1.0) (sqrt 3.0))
  (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))
  (* 3.0 (fma (* 1.0 1.0) 1.0 (* (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* x (- (* x 3.0) 4.0)))))
  (* 3.0 (- (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* 1.0 1.0)))
  (* x (- (* x 3.0) 4.0))
  (* 4.0 (+ (- x) x))
  (expm1 (* x (- (* x 3.0) 4.0)))
  (log1p (* x (- (* x 3.0) 4.0)))
  (* (- 4.0) x)
  (exp (* x (- (* x 3.0) 4.0)))
  (log (* x (- (* x 3.0) 4.0)))
  (exp (* x (- (* x 3.0) 4.0)))
  (* (cbrt (* x (- (* x 3.0) 4.0))) (cbrt (* x (- (* x 3.0) 4.0))))
  (cbrt (* x (- (* x 3.0) 4.0)))
  (* (* (* x (- (* x 3.0) 4.0)) (* x (- (* x 3.0) 4.0))) (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (sqrt (* x (- (* x 3.0) 4.0)))
  (- (* (* (* (* 3.0 x) x) (* (* 3.0 x) x)) (* (* 3.0 x) x)) (* (* 4.0 x) (* (* 4.0 x) (* 4.0 x))))
  (fma (* 3.0 (* x x)) (* 3.0 (* x x)) (* (* (* x x) 4.0) (fma 3.0 x 4.0)))
  (* (- 4.0) x)
  (- (* (* (* 3.0 x) x) (* (* 3.0 x) x)) (* (* 4.0 x) (* 4.0 x)))
  (* x (fma 3.0 x 4.0))
  (* (- 4.0) x)
  (* (* 3.0 x) x)
  (* (* 3.0 x) x)
  (* (* 3.0 x) x)
  (fma (* x x) 9.0 (- 3.0 (* 12.0 x)))
  (fma (* x x) 9.0 (- 3.0 (* 12.0 x)))
  (fma (* x x) 9.0 (- 3.0 (* 12.0 x)))
  (* x (- (* x 3.0) 4.0))
  (* x (- (* x 3.0) 4.0))
  (* x (- (* x 3.0) 4.0))
20.898 * * * [progress]: adding candidates to table
21.370 * * [progress]: iteration 4 / 4
21.370 * * * [progress]: picking best candidate
21.400 * * * * [pick]: Picked  #<alt (λ (x) (fma (* x x) 9.0 (- 3.0 (* 12.0 x))))>
21.400 * * * [progress]: localizing error
21.418 * * * [progress]: generating rewritten candidates
21.418 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
21.419 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3)
21.431 * * * [progress]: generating series expansions
21.432 * * * * [progress]: [ 1 / 2 ] generating series at (2)
21.432 * [backup-simplify]: Simplify (fma (* x x) 9.0 (- 3.0 (* 12.0 x))) into (fma (pow x 2) 9.0 (- 3.0 (* 12.0 x)))
21.432 * [approximate]: Taking taylor expansion of (fma (pow x 2) 9.0 (- 3.0 (* 12.0 x))) in (x) around 0
21.432 * [taylor]: Taking taylor expansion of (fma (pow x 2) 9.0 (- 3.0 (* 12.0 x))) in x
21.432 * [taylor]: Rewrote expression to (+ (* (pow x 2) 9.0) (- 3.0 (* 12.0 x)))
21.432 * [taylor]: Taking taylor expansion of (* (pow x 2) 9.0) in x
21.432 * [taylor]: Taking taylor expansion of (pow x 2) in x
21.432 * [taylor]: Taking taylor expansion of x in x
21.432 * [backup-simplify]: Simplify 0 into 0
21.432 * [backup-simplify]: Simplify 1 into 1
21.432 * [taylor]: Taking taylor expansion of 9.0 in x
21.432 * [backup-simplify]: Simplify 9.0 into 9.0
21.432 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 x)) in x
21.432 * [taylor]: Taking taylor expansion of 3.0 in x
21.432 * [backup-simplify]: Simplify 3.0 into 3.0
21.432 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
21.432 * [taylor]: Taking taylor expansion of 12.0 in x
21.432 * [backup-simplify]: Simplify 12.0 into 12.0
21.432 * [taylor]: Taking taylor expansion of x in x
21.432 * [backup-simplify]: Simplify 0 into 0
21.432 * [backup-simplify]: Simplify 1 into 1
21.432 * [taylor]: Taking taylor expansion of (fma (pow x 2) 9.0 (- 3.0 (* 12.0 x))) in x
21.432 * [taylor]: Rewrote expression to (+ (* (pow x 2) 9.0) (- 3.0 (* 12.0 x)))
21.432 * [taylor]: Taking taylor expansion of (* (pow x 2) 9.0) in x
21.432 * [taylor]: Taking taylor expansion of (pow x 2) in x
21.432 * [taylor]: Taking taylor expansion of x in x
21.433 * [backup-simplify]: Simplify 0 into 0
21.433 * [backup-simplify]: Simplify 1 into 1
21.433 * [taylor]: Taking taylor expansion of 9.0 in x
21.433 * [backup-simplify]: Simplify 9.0 into 9.0
21.433 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 x)) in x
21.433 * [taylor]: Taking taylor expansion of 3.0 in x
21.433 * [backup-simplify]: Simplify 3.0 into 3.0
21.433 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
21.433 * [taylor]: Taking taylor expansion of 12.0 in x
21.433 * [backup-simplify]: Simplify 12.0 into 12.0
21.433 * [taylor]: Taking taylor expansion of x in x
21.433 * [backup-simplify]: Simplify 0 into 0
21.433 * [backup-simplify]: Simplify 1 into 1
21.434 * [backup-simplify]: Simplify (* 12.0 0) into 0
21.434 * [backup-simplify]: Simplify (- 0) into 0
21.434 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
21.435 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
21.435 * [backup-simplify]: Simplify 3.0 into 3.0
21.437 * [backup-simplify]: Simplify (+ (* 12.0 1) (* 0 0)) into 12.0
21.437 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
21.438 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
21.438 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
21.438 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
21.439 * [backup-simplify]: Simplify (* 1 1) into 1
21.439 * [backup-simplify]: Simplify (* 1 9.0) into 9.0
21.440 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 1) (* 0 0))) into 0
21.440 * [backup-simplify]: Simplify (- 0) into 0
21.440 * [backup-simplify]: Simplify (+ 0 0) into 0
21.441 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
21.441 * [backup-simplify]: Simplify 9.0 into 9.0
21.442 * [backup-simplify]: Simplify (+ (* 9.0 (pow x 2)) (+ (* (- 12.0) x) 3.0)) into (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x))
21.442 * [backup-simplify]: Simplify (fma (* (/ 1 x) (/ 1 x)) 9.0 (- 3.0 (* 12.0 (/ 1 x)))) into (fma (/ 1 (pow x 2)) 9.0 (- 3.0 (* 12.0 (/ 1 x))))
21.442 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) 9.0 (- 3.0 (* 12.0 (/ 1 x)))) in (x) around 0
21.442 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) 9.0 (- 3.0 (* 12.0 (/ 1 x)))) in x
21.442 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) 9.0) (- 3.0 (* 12.0 (/ 1 x))))
21.442 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) 9.0) in x
21.442 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
21.442 * [taylor]: Taking taylor expansion of (pow x 2) in x
21.442 * [taylor]: Taking taylor expansion of x in x
21.443 * [backup-simplify]: Simplify 0 into 0
21.443 * [backup-simplify]: Simplify 1 into 1
21.443 * [backup-simplify]: Simplify (* 1 1) into 1
21.444 * [backup-simplify]: Simplify (/ 1 1) into 1
21.444 * [taylor]: Taking taylor expansion of 9.0 in x
21.444 * [backup-simplify]: Simplify 9.0 into 9.0
21.444 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 (/ 1 x))) in x
21.444 * [taylor]: Taking taylor expansion of 3.0 in x
21.444 * [backup-simplify]: Simplify 3.0 into 3.0
21.444 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
21.444 * [taylor]: Taking taylor expansion of 12.0 in x
21.444 * [backup-simplify]: Simplify 12.0 into 12.0
21.444 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.444 * [taylor]: Taking taylor expansion of x in x
21.444 * [backup-simplify]: Simplify 0 into 0
21.444 * [backup-simplify]: Simplify 1 into 1
21.445 * [backup-simplify]: Simplify (/ 1 1) into 1
21.445 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) 9.0 (- 3.0 (* 12.0 (/ 1 x)))) in x
21.445 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) 9.0) (- 3.0 (* 12.0 (/ 1 x))))
21.445 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) 9.0) in x
21.445 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
21.445 * [taylor]: Taking taylor expansion of (pow x 2) in x
21.445 * [taylor]: Taking taylor expansion of x in x
21.445 * [backup-simplify]: Simplify 0 into 0
21.445 * [backup-simplify]: Simplify 1 into 1
21.446 * [backup-simplify]: Simplify (* 1 1) into 1
21.446 * [backup-simplify]: Simplify (/ 1 1) into 1
21.446 * [taylor]: Taking taylor expansion of 9.0 in x
21.446 * [backup-simplify]: Simplify 9.0 into 9.0
21.446 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 (/ 1 x))) in x
21.447 * [taylor]: Taking taylor expansion of 3.0 in x
21.447 * [backup-simplify]: Simplify 3.0 into 3.0
21.447 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
21.447 * [taylor]: Taking taylor expansion of 12.0 in x
21.447 * [backup-simplify]: Simplify 12.0 into 12.0
21.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.447 * [taylor]: Taking taylor expansion of x in x
21.447 * [backup-simplify]: Simplify 0 into 0
21.447 * [backup-simplify]: Simplify 1 into 1
21.447 * [backup-simplify]: Simplify (/ 1 1) into 1
21.448 * [backup-simplify]: Simplify (* 1 9.0) into 9.0
21.448 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
21.448 * [backup-simplify]: Simplify 9.0 into 9.0
21.449 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.451 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 9.0)) into 0
21.451 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
21.452 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
21.453 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
21.454 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
21.454 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
21.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.458 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 9.0))) into 0
21.459 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.460 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
21.460 * [backup-simplify]: Simplify (- 0) into 0
21.461 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
21.461 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
21.461 * [backup-simplify]: Simplify 3.0 into 3.0
21.462 * [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))
21.462 * [backup-simplify]: Simplify (fma (* (/ 1 (- x)) (/ 1 (- x))) 9.0 (- 3.0 (* 12.0 (/ 1 (- x))))) into (fma (/ 1 (pow x 2)) 9.0 (+ (* 12.0 (/ 1 x)) 3.0))
21.462 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) 9.0 (+ (* 12.0 (/ 1 x)) 3.0)) in (x) around 0
21.462 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) 9.0 (+ (* 12.0 (/ 1 x)) 3.0)) in x
21.463 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) 9.0) (+ (* 12.0 (/ 1 x)) 3.0))
21.463 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) 9.0) in x
21.463 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
21.463 * [taylor]: Taking taylor expansion of (pow x 2) in x
21.463 * [taylor]: Taking taylor expansion of x in x
21.463 * [backup-simplify]: Simplify 0 into 0
21.463 * [backup-simplify]: Simplify 1 into 1
21.463 * [backup-simplify]: Simplify (* 1 1) into 1
21.464 * [backup-simplify]: Simplify (/ 1 1) into 1
21.464 * [taylor]: Taking taylor expansion of 9.0 in x
21.464 * [backup-simplify]: Simplify 9.0 into 9.0
21.464 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
21.464 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
21.464 * [taylor]: Taking taylor expansion of 12.0 in x
21.464 * [backup-simplify]: Simplify 12.0 into 12.0
21.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.464 * [taylor]: Taking taylor expansion of x in x
21.464 * [backup-simplify]: Simplify 0 into 0
21.464 * [backup-simplify]: Simplify 1 into 1
21.465 * [backup-simplify]: Simplify (/ 1 1) into 1
21.465 * [taylor]: Taking taylor expansion of 3.0 in x
21.465 * [backup-simplify]: Simplify 3.0 into 3.0
21.465 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) 9.0 (+ (* 12.0 (/ 1 x)) 3.0)) in x
21.466 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) 9.0) (+ (* 12.0 (/ 1 x)) 3.0))
21.466 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) 9.0) in x
21.466 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
21.466 * [taylor]: Taking taylor expansion of (pow x 2) in x
21.466 * [taylor]: Taking taylor expansion of x in x
21.466 * [backup-simplify]: Simplify 0 into 0
21.466 * [backup-simplify]: Simplify 1 into 1
21.467 * [backup-simplify]: Simplify (* 1 1) into 1
21.467 * [backup-simplify]: Simplify (/ 1 1) into 1
21.467 * [taylor]: Taking taylor expansion of 9.0 in x
21.467 * [backup-simplify]: Simplify 9.0 into 9.0
21.467 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
21.468 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
21.468 * [taylor]: Taking taylor expansion of 12.0 in x
21.468 * [backup-simplify]: Simplify 12.0 into 12.0
21.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.468 * [taylor]: Taking taylor expansion of x in x
21.468 * [backup-simplify]: Simplify 0 into 0
21.468 * [backup-simplify]: Simplify 1 into 1
21.469 * [backup-simplify]: Simplify (/ 1 1) into 1
21.469 * [taylor]: Taking taylor expansion of 3.0 in x
21.469 * [backup-simplify]: Simplify 3.0 into 3.0
21.470 * [backup-simplify]: Simplify (* 1 9.0) into 9.0
21.470 * [backup-simplify]: Simplify (+ 9.0 0) into 9.0
21.470 * [backup-simplify]: Simplify 9.0 into 9.0
21.471 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.473 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 9.0)) into 0
21.474 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
21.474 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
21.475 * [backup-simplify]: Simplify (+ 0 12.0) into 12.0
21.475 * [backup-simplify]: Simplify 12.0 into 12.0
21.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 9.0))) into 0
21.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.480 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
21.480 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
21.481 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
21.481 * [backup-simplify]: Simplify 3.0 into 3.0
21.482 * [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))
21.482 * * * * [progress]: [ 2 / 2 ] generating series at (2 3)
21.482 * [backup-simplify]: Simplify (- 3.0 (* 12.0 x)) into (- 3.0 (* 12.0 x))
21.482 * [approximate]: Taking taylor expansion of (- 3.0 (* 12.0 x)) in (x) around 0
21.482 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 x)) in x
21.482 * [taylor]: Taking taylor expansion of 3.0 in x
21.482 * [backup-simplify]: Simplify 3.0 into 3.0
21.482 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
21.482 * [taylor]: Taking taylor expansion of 12.0 in x
21.482 * [backup-simplify]: Simplify 12.0 into 12.0
21.482 * [taylor]: Taking taylor expansion of x in x
21.482 * [backup-simplify]: Simplify 0 into 0
21.482 * [backup-simplify]: Simplify 1 into 1
21.482 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 x)) in x
21.482 * [taylor]: Taking taylor expansion of 3.0 in x
21.482 * [backup-simplify]: Simplify 3.0 into 3.0
21.482 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
21.482 * [taylor]: Taking taylor expansion of 12.0 in x
21.482 * [backup-simplify]: Simplify 12.0 into 12.0
21.482 * [taylor]: Taking taylor expansion of x in x
21.482 * [backup-simplify]: Simplify 0 into 0
21.482 * [backup-simplify]: Simplify 1 into 1
21.483 * [backup-simplify]: Simplify (* 12.0 0) into 0
21.483 * [backup-simplify]: Simplify (- 0) into 0
21.484 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
21.484 * [backup-simplify]: Simplify 3.0 into 3.0
21.486 * [backup-simplify]: Simplify (+ (* 12.0 1) (* 0 0)) into 12.0
21.486 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
21.487 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
21.488 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
21.489 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 1) (* 0 0))) into 0
21.490 * [backup-simplify]: Simplify (- 0) into 0
21.490 * [backup-simplify]: Simplify (+ 0 0) into 0
21.490 * [backup-simplify]: Simplify 0 into 0
21.491 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
21.492 * [backup-simplify]: Simplify (- 0) into 0
21.492 * [backup-simplify]: Simplify (+ 0 0) into 0
21.492 * [backup-simplify]: Simplify 0 into 0
21.494 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
21.494 * [backup-simplify]: Simplify (- 0) into 0
21.495 * [backup-simplify]: Simplify (+ 0 0) into 0
21.495 * [backup-simplify]: Simplify 0 into 0
21.497 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
21.497 * [backup-simplify]: Simplify (- 0) into 0
21.498 * [backup-simplify]: Simplify (+ 0 0) into 0
21.498 * [backup-simplify]: Simplify 0 into 0
21.506 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
21.507 * [backup-simplify]: Simplify (- 0) into 0
21.507 * [backup-simplify]: Simplify (+ 0 0) into 0
21.507 * [backup-simplify]: Simplify 0 into 0
21.509 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
21.509 * [backup-simplify]: Simplify (- 0) into 0
21.510 * [backup-simplify]: Simplify (+ 0 0) into 0
21.510 * [backup-simplify]: Simplify 0 into 0
21.510 * [backup-simplify]: Simplify (+ (* (- 12.0) x) 3.0) into (- 3.0 (* 12.0 x))
21.510 * [backup-simplify]: Simplify (- 3.0 (* 12.0 (/ 1 x))) into (- 3.0 (* 12.0 (/ 1 x)))
21.510 * [approximate]: Taking taylor expansion of (- 3.0 (* 12.0 (/ 1 x))) in (x) around 0
21.510 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 (/ 1 x))) in x
21.510 * [taylor]: Taking taylor expansion of 3.0 in x
21.510 * [backup-simplify]: Simplify 3.0 into 3.0
21.510 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
21.510 * [taylor]: Taking taylor expansion of 12.0 in x
21.510 * [backup-simplify]: Simplify 12.0 into 12.0
21.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.510 * [taylor]: Taking taylor expansion of x in x
21.510 * [backup-simplify]: Simplify 0 into 0
21.510 * [backup-simplify]: Simplify 1 into 1
21.511 * [backup-simplify]: Simplify (/ 1 1) into 1
21.511 * [taylor]: Taking taylor expansion of (- 3.0 (* 12.0 (/ 1 x))) in x
21.511 * [taylor]: Taking taylor expansion of 3.0 in x
21.511 * [backup-simplify]: Simplify 3.0 into 3.0
21.511 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
21.511 * [taylor]: Taking taylor expansion of 12.0 in x
21.511 * [backup-simplify]: Simplify 12.0 into 12.0
21.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.511 * [taylor]: Taking taylor expansion of x in x
21.511 * [backup-simplify]: Simplify 0 into 0
21.511 * [backup-simplify]: Simplify 1 into 1
21.512 * [backup-simplify]: Simplify (/ 1 1) into 1
21.512 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
21.513 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
21.514 * [backup-simplify]: Simplify (+ 0 (- 12.0)) into (- 12.0)
21.514 * [backup-simplify]: Simplify (- 12.0) into (- 12.0)
21.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.517 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
21.517 * [backup-simplify]: Simplify (- 0) into 0
21.518 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
21.518 * [backup-simplify]: Simplify 3.0 into 3.0
21.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.520 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (* 0 1))) into 0
21.521 * [backup-simplify]: Simplify (- 0) into 0
21.521 * [backup-simplify]: Simplify (+ 0 0) into 0
21.521 * [backup-simplify]: Simplify 0 into 0
21.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.524 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.524 * [backup-simplify]: Simplify (- 0) into 0
21.525 * [backup-simplify]: Simplify (+ 0 0) into 0
21.525 * [backup-simplify]: Simplify 0 into 0
21.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.527 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.528 * [backup-simplify]: Simplify (- 0) into 0
21.528 * [backup-simplify]: Simplify (+ 0 0) into 0
21.528 * [backup-simplify]: Simplify 0 into 0
21.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.531 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.532 * [backup-simplify]: Simplify (- 0) into 0
21.532 * [backup-simplify]: Simplify (+ 0 0) into 0
21.532 * [backup-simplify]: Simplify 0 into 0
21.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.536 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.536 * [backup-simplify]: Simplify (- 0) into 0
21.537 * [backup-simplify]: Simplify (+ 0 0) into 0
21.537 * [backup-simplify]: Simplify 0 into 0
21.538 * [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
21.540 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
21.541 * [backup-simplify]: Simplify (- 0) into 0
21.541 * [backup-simplify]: Simplify (+ 0 0) into 0
21.541 * [backup-simplify]: Simplify 0 into 0
21.542 * [backup-simplify]: Simplify (+ 3.0 (* (- 12.0) (/ 1 (/ 1 x)))) into (- 3.0 (* 12.0 x))
21.542 * [backup-simplify]: Simplify (- 3.0 (* 12.0 (/ 1 (- x)))) into (+ (* 12.0 (/ 1 x)) 3.0)
21.542 * [approximate]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in (x) around 0
21.542 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
21.542 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
21.542 * [taylor]: Taking taylor expansion of 12.0 in x
21.542 * [backup-simplify]: Simplify 12.0 into 12.0
21.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.542 * [taylor]: Taking taylor expansion of x in x
21.542 * [backup-simplify]: Simplify 0 into 0
21.542 * [backup-simplify]: Simplify 1 into 1
21.543 * [backup-simplify]: Simplify (/ 1 1) into 1
21.543 * [taylor]: Taking taylor expansion of 3.0 in x
21.543 * [backup-simplify]: Simplify 3.0 into 3.0
21.543 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 3.0) in x
21.543 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
21.543 * [taylor]: Taking taylor expansion of 12.0 in x
21.543 * [backup-simplify]: Simplify 12.0 into 12.0
21.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.543 * [taylor]: Taking taylor expansion of x in x
21.543 * [backup-simplify]: Simplify 0 into 0
21.543 * [backup-simplify]: Simplify 1 into 1
21.544 * [backup-simplify]: Simplify (/ 1 1) into 1
21.544 * [taylor]: Taking taylor expansion of 3.0 in x
21.544 * [backup-simplify]: Simplify 3.0 into 3.0
21.545 * [backup-simplify]: Simplify (* 12.0 1) into 12.0
21.546 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
21.546 * [backup-simplify]: Simplify 12.0 into 12.0
21.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.548 * [backup-simplify]: Simplify (+ (* 12.0 0) (* 0 1)) into 0
21.549 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
21.549 * [backup-simplify]: Simplify 3.0 into 3.0
21.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.551 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (* 0 1))) into 0
21.552 * [backup-simplify]: Simplify (+ 0 0) into 0
21.552 * [backup-simplify]: Simplify 0 into 0
21.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.554 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.555 * [backup-simplify]: Simplify (+ 0 0) into 0
21.555 * [backup-simplify]: Simplify 0 into 0
21.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.558 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.558 * [backup-simplify]: Simplify (+ 0 0) into 0
21.558 * [backup-simplify]: Simplify 0 into 0
21.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.561 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.562 * [backup-simplify]: Simplify (+ 0 0) into 0
21.562 * [backup-simplify]: Simplify 0 into 0
21.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.565 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.565 * [backup-simplify]: Simplify (+ 0 0) into 0
21.565 * [backup-simplify]: Simplify 0 into 0
21.567 * [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
21.569 * [backup-simplify]: Simplify (+ (* 12.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
21.569 * [backup-simplify]: Simplify (+ 0 0) into 0
21.569 * [backup-simplify]: Simplify 0 into 0
21.570 * [backup-simplify]: Simplify (+ 3.0 (* 12.0 (/ 1 (/ 1 (- x))))) into (- 3.0 (* 12.0 x))
21.570 * * * [progress]: simplifying candidates
21.571 * [simplify]: Simplifying:
  (expm1 (fma (* x x) 9.0 (- 3.0 (* 12.0 x))))
  (log1p (fma (* x x) 9.0 (- 3.0 (* 12.0 x))))
  (* (* x x) 9.0)
  (log (fma (* x x) 9.0 (- 3.0 (* 12.0 x))))
  (exp (fma (* x x) 9.0 (- 3.0 (* 12.0 x))))
  (* (cbrt (fma (* x x) 9.0 (- 3.0 (* 12.0 x)))) (cbrt (fma (* x x) 9.0 (- 3.0 (* 12.0 x)))))
  (cbrt (fma (* x x) 9.0 (- 3.0 (* 12.0 x))))
  (* (* (fma (* x x) 9.0 (- 3.0 (* 12.0 x))) (fma (* x x) 9.0 (- 3.0 (* 12.0 x)))) (fma (* x x) 9.0 (- 3.0 (* 12.0 x))))
  (sqrt (fma (* x x) 9.0 (- 3.0 (* 12.0 x))))
  (sqrt (fma (* x x) 9.0 (- 3.0 (* 12.0 x))))
  (fma (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0) (- (* x 12.0)))
  (fma (- x) 12.0 (* x 12.0))
  (fma (sqrt 3.0) (sqrt 3.0) (- (* x 12.0)))
  (fma (- x) 12.0 (* x 12.0))
  (fma 1 3.0 (- (* x 12.0)))
  (fma (- x) 12.0 (* x 12.0))
  (expm1 (- 3.0 (* 12.0 x)))
  (log1p (- 3.0 (* 12.0 x)))
  (- (* 12.0 x))
  (- (* 12.0 x))
  (- (* 12.0 x))
  (/ (exp 3.0) (exp (* 12.0 x)))
  (log (- 3.0 (* 12.0 x)))
  (exp (- 3.0 (* 12.0 x)))
  (* (cbrt (- 3.0 (* 12.0 x))) (cbrt (- 3.0 (* 12.0 x))))
  (cbrt (- 3.0 (* 12.0 x)))
  (* (* (- 3.0 (* 12.0 x)) (- 3.0 (* 12.0 x))) (- 3.0 (* 12.0 x)))
  (sqrt (- 3.0 (* 12.0 x)))
  (sqrt (- 3.0 (* 12.0 x)))
  (- (pow 3.0 3) (pow (* 12.0 x) 3))
  (+ (* 3.0 3.0) (+ (* (* 12.0 x) (* 12.0 x)) (* 3.0 (* 12.0 x))))
  (- (* 12.0 x))
  (- (* 3.0 3.0) (* (* 12.0 x) (* 12.0 x)))
  (+ 3.0 (* 12.0 x))
  (- (* 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))
  (- 3.0 (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (- 3.0 (* 12.0 x))
21.572 * * [simplify]: iteration 0: 58 enodes
21.603 * * [simplify]: iteration 1: 125 enodes
21.700 * * [simplify]: iteration 2: 377 enodes
22.151 * * [simplify]: iteration 3: 1501 enodes
23.824 * * [simplify]: iteration complete: 5000 enodes
23.832 * * [simplify]: Extracting #0: cost 25 inf + 0
23.833 * * [simplify]: Extracting #1: cost 355 inf + 0
23.841 * * [simplify]: Extracting #2: cost 1277 inf + 4534
23.887 * * [simplify]: Extracting #3: cost 969 inf + 96200
23.994 * * [simplify]: Extracting #4: cost 263 inf + 270776
24.171 * * [simplify]: Extracting #5: cost 18 inf + 342598
24.318 * * [simplify]: Extracting #6: cost 0 inf + 347490
24.504 * [simplify]: Simplified to:
  (expm1 (+ 3.0 (* x (- (* x 9.0) 12.0))))
  (log1p (+ 3.0 (* x (- (* x 9.0) 12.0))))
  (* (* x x) 9.0)
  (log (+ 3.0 (* x (- (* x 9.0) 12.0))))
  (exp (+ 3.0 (* x (- (* x 9.0) 12.0))))
  (* (cbrt (+ 3.0 (* x (- (* x 9.0) 12.0)))) (cbrt (+ 3.0 (* x (- (* x 9.0) 12.0)))))
  (cbrt (+ 3.0 (* x (- (* x 9.0) 12.0))))
  (* (+ 3.0 (* x (- (* x 9.0) 12.0))) (* (+ 3.0 (* x (- (* x 9.0) 12.0))) (+ 3.0 (* x (- (* x 9.0) 12.0)))))
  (sqrt (+ 3.0 (* x (- (* x 9.0) 12.0))))
  (sqrt (+ 3.0 (* x (- (* x 9.0) 12.0))))
  (- 3.0 (* 12.0 x))
  (+ (- (* 12.0 x)) (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (+ (- (* 12.0 x)) (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (+ (- (* 12.0 x)) (* 12.0 x))
  (expm1 (- 3.0 (* 12.0 x)))
  (log1p (- 3.0 (* 12.0 x)))
  (- (* 12.0 x))
  (- (* 12.0 x))
  (- (* 12.0 x))
  (exp (- 3.0 (* 12.0 x)))
  (log (- 3.0 (* 12.0 x)))
  (exp (- 3.0 (* 12.0 x)))
  (* (cbrt (- 3.0 (* 12.0 x))) (cbrt (- 3.0 (* 12.0 x))))
  (cbrt (- 3.0 (* 12.0 x)))
  (* (* (- 3.0 (* 12.0 x)) (- 3.0 (* 12.0 x))) (- 3.0 (* 12.0 x)))
  (sqrt (- 3.0 (* 12.0 x)))
  (sqrt (- 3.0 (* 12.0 x)))
  (- (* (* 3.0 3.0) 3.0) (* (* x 12.0) (* (* x 12.0) (* x 12.0))))
  (fma 3.0 3.0 (* (* 12.0 x) (+ (* 12.0 x) 3.0)))
  (- (* 12.0 x))
  (- (* 3.0 3.0) (* (* x 12.0) (* x 12.0)))
  (fma x 12.0 3.0)
  (- (* 12.0 x))
  (+ 3.0 (* x (- (* x 9.0) 12.0)))
  (+ 3.0 (* x (- (* x 9.0) 12.0)))
  (+ 3.0 (* x (- (* x 9.0) 12.0)))
  (- 3.0 (* 12.0 x))
  (- 3.0 (* 12.0 x))
  (- 3.0 (* 12.0 x))
24.507 * * * [progress]: adding candidates to table
24.743 * [progress]: [Phase 3 of 3] Extracting.
24.743 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* 3.0 (+ (- (* (* (* x 3.0) (sqrt x)) (sqrt x)) (* x 4.0)) 1.0)))> #<alt (λ (x) (fma (* x x) 9.0 (- 3.0 (* 12.0 x))))> #<alt (λ (x) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))> #<alt (λ (x) (* (* (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0)))) (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0))))) (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0))))))> #<alt (λ (x) (fma (- (* 3.0 x) 4.0) (* 3.0 x) (* 3.0 1.0)))> #<alt (λ (x) (* (* 3.0 (* (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))))> #<alt (λ (x) (fma (* 9.0 x) x (- 3.0 (* x 12.0))))>)
24.745 * * * [regime-changes]: Trying 4 branch expressions: ((- (* (* x 3.0) x) (* x 4.0)) (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) x)
24.745 * * * * [regimes]: Trying to branch on (- (* (* x 3.0) x) (* x 4.0)) from (#<alt (λ (x) (* 3.0 (+ (- (* (* (* x 3.0) (sqrt x)) (sqrt x)) (* x 4.0)) 1.0)))> #<alt (λ (x) (fma (* x x) 9.0 (- 3.0 (* 12.0 x))))> #<alt (λ (x) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))> #<alt (λ (x) (* (* (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0)))) (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0))))) (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0))))))> #<alt (λ (x) (fma (- (* 3.0 x) 4.0) (* 3.0 x) (* 3.0 1.0)))> #<alt (λ (x) (* (* 3.0 (* (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))))> #<alt (λ (x) (fma (* 9.0 x) x (- 3.0 (* x 12.0))))>)
24.825 * * * * [regimes]: Trying to branch on (- (* (* x 3.0) x) (* x 4.0)) from (#<alt (λ (x) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))> #<alt (λ (x) (* (* 3.0 (* (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))))>)
24.877 * * * * [regimes]: Trying to branch on (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0) from (#<alt (λ (x) (* 3.0 (+ (- (* (* (* x 3.0) (sqrt x)) (sqrt x)) (* x 4.0)) 1.0)))> #<alt (λ (x) (fma (* x x) 9.0 (- 3.0 (* 12.0 x))))> #<alt (λ (x) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))> #<alt (λ (x) (* (* (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0)))) (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0))))) (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0))))))> #<alt (λ (x) (fma (- (* 3.0 x) 4.0) (* 3.0 x) (* 3.0 1.0)))> #<alt (λ (x) (* (* 3.0 (* (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))))> #<alt (λ (x) (fma (* 9.0 x) x (- 3.0 (* x 12.0))))>)
24.949 * * * * [regimes]: Trying to branch on (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0) from (#<alt (λ (x) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))> #<alt (λ (x) (* (* 3.0 (* (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))))>)
25.004 * * * * [regimes]: Trying to branch on (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) from (#<alt (λ (x) (* 3.0 (+ (- (* (* (* x 3.0) (sqrt x)) (sqrt x)) (* x 4.0)) 1.0)))> #<alt (λ (x) (fma (* x x) 9.0 (- 3.0 (* 12.0 x))))> #<alt (λ (x) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))> #<alt (λ (x) (* (* (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0)))) (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0))))) (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0))))))> #<alt (λ (x) (fma (- (* 3.0 x) 4.0) (* 3.0 x) (* 3.0 1.0)))> #<alt (λ (x) (* (* 3.0 (* (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))))> #<alt (λ (x) (fma (* 9.0 x) x (- 3.0 (* x 12.0))))>)
25.081 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* 3.0 (+ (- (* (* (* x 3.0) (sqrt x)) (sqrt x)) (* x 4.0)) 1.0)))> #<alt (λ (x) (fma (* x x) 9.0 (- 3.0 (* 12.0 x))))> #<alt (λ (x) (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))> #<alt (λ (x) (* (* (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0)))) (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0))))) (cbrt (fma (* 9.0 x) x (- 3.0 (* x 12.0))))))> #<alt (λ (x) (fma (- (* 3.0 x) 4.0) (* 3.0 x) (* 3.0 1.0)))> #<alt (λ (x) (* (* 3.0 (* (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)))) (cbrt (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0))))> #<alt (λ (x) (fma (* 9.0 x) x (- 3.0 (* x 12.0))))>)
25.175 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
25.175 * [simplify]: Simplifying:
  (fma (* 9.0 x) x (- 3.0 (* x 12.0)))
25.176 * * [simplify]: iteration 0: 8 enodes
25.177 * * [simplify]: iteration 1: 10 enodes
25.178 * * [simplify]: iteration complete: 10 enodes
25.178 * * [simplify]: Extracting #0: cost 1 inf + 0
25.178 * * [simplify]: Extracting #1: cost 4 inf + 0
25.178 * * [simplify]: Extracting #2: cost 6 inf + 1
25.178 * * [simplify]: Extracting #3: cost 4 inf + 45
25.178 * * [simplify]: Extracting #4: cost 0 inf + 350
25.178 * [simplify]: Simplified to:
  (fma (* x 9.0) x (- 3.0 (* 12.0 x)))
27.592 * [regime-testing]: Baseline error score: 0.09679070117395872
27.610 * [regime-testing]: Oracle error score: 0.006448926428393694
27.644 * [regime-testing]: End program error score: 0.09679070117395872
27.786 * [regime-testing]: Target error score: 0.09789683905451317