15.975 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.015 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.017 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (+ 0.253 (* x 0.12)))))>
0.017 * [simplify]: Simplifying:
  (- 1.0 (* x (+ 0.253 (* x 0.12))))
0.017 * * [simplify]: iteration 0: 8 enodes
0.018 * * [simplify]: iteration 1: 19 enodes
0.022 * * [simplify]: iteration 2: 42 enodes
0.029 * * [simplify]: iteration 3: 78 enodes
0.055 * * [simplify]: iteration 4: 97 enodes
0.072 * * [simplify]: iteration 5: 111 enodes
0.087 * * [simplify]: iteration 6: 148 enodes
0.139 * * [simplify]: iteration 7: 276 enodes
0.240 * * [simplify]: iteration 8: 510 enodes
0.391 * * [simplify]: iteration 9: 772 enodes
0.486 * * [simplify]: iteration 10: 1012 enodes
0.573 * * [simplify]: iteration 11: 1152 enodes
0.637 * * [simplify]: iteration 12: 1305 enodes
0.706 * * [simplify]: iteration 13: 1435 enodes
0.767 * * [simplify]: iteration 14: 1590 enodes
0.837 * * [simplify]: iteration 15: 1729 enodes
0.907 * * [simplify]: iteration 16: 1867 enodes
0.976 * * [simplify]: iteration 17: 2011 enodes
1.036 * * [simplify]: iteration 18: 2159 enodes
1.114 * * [simplify]: iteration 19: 2298 enodes
1.178 * * [simplify]: iteration 20: 2446 enodes
1.235 * * [simplify]: iteration 21: 2594 enodes
1.306 * * [simplify]: iteration 22: 2730 enodes
1.359 * * [simplify]: iteration 23: 2878 enodes
1.443 * * [simplify]: iteration 24: 3026 enodes
1.512 * * [simplify]: iteration 25: 3168 enodes
1.588 * * [simplify]: iteration 26: 3316 enodes
1.665 * * [simplify]: iteration 27: 3464 enodes
1.722 * * [simplify]: iteration 28: 3604 enodes
1.781 * * [simplify]: iteration 29: 3752 enodes
1.846 * * [simplify]: iteration 30: 3900 enodes
1.908 * * [simplify]: iteration 31: 4042 enodes
1.987 * * [simplify]: iteration 32: 4190 enodes
2.053 * * [simplify]: iteration 33: 4338 enodes
2.118 * * [simplify]: iteration 34: 4478 enodes
2.188 * * [simplify]: iteration 35: 4626 enodes
2.246 * * [simplify]: iteration 36: 4774 enodes
2.329 * * [simplify]: iteration 37: 4919 enodes
2.377 * * [simplify]: iteration complete: 5000 enodes
2.377 * * [simplify]: Extracting #0: cost 1 inf + 0
2.377 * * [simplify]: Extracting #1: cost 14 inf + 0
2.377 * * [simplify]: Extracting #2: cost 50 inf + 42
2.377 * * [simplify]: Extracting #3: cost 58 inf + 250
2.378 * * [simplify]: Extracting #4: cost 10 inf + 5795
2.380 * * [simplify]: Extracting #5: cost 0 inf + 6780
2.382 * [simplify]: Simplified to:
  (- 1.0 (* x (+ (* 0.12 x) 0.253)))
2.382 * * [progress]: iteration 1 / 4
2.382 * * * [progress]: picking best candidate
2.384 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (* x (+ 0.253 (* x 0.12)))))>
2.384 * * * [progress]: localizing error
2.396 * * * [progress]: generating rewritten candidates
2.396 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
2.407 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
2.411 * * * [progress]: generating series expansions
2.411 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
2.412 * [backup-simplify]: Simplify (* x (+ 0.253 (* x 0.12))) into (* (+ (* 0.12 x) 0.253) x)
2.412 * [approximate]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in (x) around 0
2.412 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x
2.412 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
2.412 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.412 * [taylor]: Taking taylor expansion of 0.12 in x
2.412 * [backup-simplify]: Simplify 0.12 into 0.12
2.412 * [taylor]: Taking taylor expansion of x in x
2.412 * [backup-simplify]: Simplify 0 into 0
2.412 * [backup-simplify]: Simplify 1 into 1
2.412 * [taylor]: Taking taylor expansion of 0.253 in x
2.412 * [backup-simplify]: Simplify 0.253 into 0.253
2.412 * [taylor]: Taking taylor expansion of x in x
2.412 * [backup-simplify]: Simplify 0 into 0
2.412 * [backup-simplify]: Simplify 1 into 1
2.412 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x
2.412 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
2.412 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.412 * [taylor]: Taking taylor expansion of 0.12 in x
2.412 * [backup-simplify]: Simplify 0.12 into 0.12
2.412 * [taylor]: Taking taylor expansion of x in x
2.412 * [backup-simplify]: Simplify 0 into 0
2.412 * [backup-simplify]: Simplify 1 into 1
2.412 * [taylor]: Taking taylor expansion of 0.253 in x
2.412 * [backup-simplify]: Simplify 0.253 into 0.253
2.412 * [taylor]: Taking taylor expansion of x in x
2.412 * [backup-simplify]: Simplify 0 into 0
2.412 * [backup-simplify]: Simplify 1 into 1
2.413 * [backup-simplify]: Simplify (* 0.12 0) into 0
2.413 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253
2.413 * [backup-simplify]: Simplify (* 0.253 0) into 0
2.413 * [backup-simplify]: Simplify 0 into 0
2.414 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12
2.414 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
2.415 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0.12 0)) into 0.253
2.415 * [backup-simplify]: Simplify 0.253 into 0.253
2.416 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0
2.416 * [backup-simplify]: Simplify (+ 0 0) into 0
2.423 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 1) (* 0 0))) into 0.12
2.423 * [backup-simplify]: Simplify 0.12 into 0.12
2.423 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.424 * [backup-simplify]: Simplify (+ 0 0) into 0
2.424 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 1) (* 0 0)))) into 0
2.424 * [backup-simplify]: Simplify 0 into 0
2.425 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.426 * [backup-simplify]: Simplify (+ 0 0) into 0
2.426 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.427 * [backup-simplify]: Simplify 0 into 0
2.427 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.428 * [backup-simplify]: Simplify (+ 0 0) into 0
2.429 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.429 * [backup-simplify]: Simplify 0 into 0
2.430 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.430 * [backup-simplify]: Simplify (+ 0 0) into 0
2.431 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.431 * [backup-simplify]: Simplify 0 into 0
2.432 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.432 * [backup-simplify]: Simplify (+ 0 0) into 0
2.433 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.434 * [backup-simplify]: Simplify 0 into 0
2.435 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
2.435 * [backup-simplify]: Simplify (+ 0 0) into 0
2.436 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
2.436 * [backup-simplify]: Simplify 0 into 0
2.436 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
2.437 * [backup-simplify]: Simplify (* (/ 1 x) (+ 0.253 (* (/ 1 x) 0.12))) into (/ (+ (* 0.12 (/ 1 x)) 0.253) x)
2.437 * [approximate]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in (x) around 0
2.437 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x
2.437 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
2.437 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.437 * [taylor]: Taking taylor expansion of 0.12 in x
2.437 * [backup-simplify]: Simplify 0.12 into 0.12
2.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.437 * [taylor]: Taking taylor expansion of x in x
2.437 * [backup-simplify]: Simplify 0 into 0
2.437 * [backup-simplify]: Simplify 1 into 1
2.437 * [backup-simplify]: Simplify (/ 1 1) into 1
2.437 * [taylor]: Taking taylor expansion of 0.253 in x
2.437 * [backup-simplify]: Simplify 0.253 into 0.253
2.437 * [taylor]: Taking taylor expansion of x in x
2.437 * [backup-simplify]: Simplify 0 into 0
2.437 * [backup-simplify]: Simplify 1 into 1
2.437 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
2.438 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
2.438 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
2.438 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x
2.438 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
2.438 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.438 * [taylor]: Taking taylor expansion of 0.12 in x
2.438 * [backup-simplify]: Simplify 0.12 into 0.12
2.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.438 * [taylor]: Taking taylor expansion of x in x
2.438 * [backup-simplify]: Simplify 0 into 0
2.438 * [backup-simplify]: Simplify 1 into 1
2.438 * [backup-simplify]: Simplify (/ 1 1) into 1
2.438 * [taylor]: Taking taylor expansion of 0.253 in x
2.438 * [backup-simplify]: Simplify 0.253 into 0.253
2.438 * [taylor]: Taking taylor expansion of x in x
2.438 * [backup-simplify]: Simplify 0 into 0
2.438 * [backup-simplify]: Simplify 1 into 1
2.439 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
2.439 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
2.439 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
2.439 * [backup-simplify]: Simplify 0.12 into 0.12
2.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.440 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
2.441 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253
2.442 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* 0.12 (/ 0 1)))) into 0.253
2.442 * [backup-simplify]: Simplify 0.253 into 0.253
2.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.443 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
2.443 * [backup-simplify]: Simplify (+ 0 0) into 0
2.444 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0
2.444 * [backup-simplify]: Simplify 0 into 0
2.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.445 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.446 * [backup-simplify]: Simplify (+ 0 0) into 0
2.446 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.446 * [backup-simplify]: Simplify 0 into 0
2.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.448 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.448 * [backup-simplify]: Simplify (+ 0 0) into 0
2.449 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.449 * [backup-simplify]: Simplify 0 into 0
2.449 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.450 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.450 * [backup-simplify]: Simplify (+ 0 0) into 0
2.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.451 * [backup-simplify]: Simplify 0 into 0
2.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.453 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.453 * [backup-simplify]: Simplify (+ 0 0) into 0
2.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.454 * [backup-simplify]: Simplify 0 into 0
2.454 * [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
2.455 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.456 * [backup-simplify]: Simplify (+ 0 0) into 0
2.456 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.456 * [backup-simplify]: Simplify 0 into 0
2.457 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* 0.12 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
2.457 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ 0.253 (* (/ 1 (- x)) 0.12))) into (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x))
2.457 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in (x) around 0
2.457 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x
2.457 * [taylor]: Taking taylor expansion of -1 in x
2.457 * [backup-simplify]: Simplify -1 into -1
2.457 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x
2.457 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
2.457 * [taylor]: Taking taylor expansion of 0.253 in x
2.457 * [backup-simplify]: Simplify 0.253 into 0.253
2.457 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.457 * [taylor]: Taking taylor expansion of 0.12 in x
2.457 * [backup-simplify]: Simplify 0.12 into 0.12
2.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.457 * [taylor]: Taking taylor expansion of x in x
2.457 * [backup-simplify]: Simplify 0 into 0
2.457 * [backup-simplify]: Simplify 1 into 1
2.457 * [backup-simplify]: Simplify (/ 1 1) into 1
2.457 * [taylor]: Taking taylor expansion of x in x
2.457 * [backup-simplify]: Simplify 0 into 0
2.457 * [backup-simplify]: Simplify 1 into 1
2.458 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
2.458 * [backup-simplify]: Simplify (- 0.12) into (- 0.12)
2.458 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12)
2.459 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12
2.459 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x
2.459 * [taylor]: Taking taylor expansion of -1 in x
2.459 * [backup-simplify]: Simplify -1 into -1
2.459 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x
2.459 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
2.459 * [taylor]: Taking taylor expansion of 0.253 in x
2.459 * [backup-simplify]: Simplify 0.253 into 0.253
2.459 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.459 * [taylor]: Taking taylor expansion of 0.12 in x
2.459 * [backup-simplify]: Simplify 0.12 into 0.12
2.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.459 * [taylor]: Taking taylor expansion of x in x
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify 1 into 1
2.459 * [backup-simplify]: Simplify (/ 1 1) into 1
2.460 * [taylor]: Taking taylor expansion of x in x
2.460 * [backup-simplify]: Simplify 0 into 0
2.460 * [backup-simplify]: Simplify 1 into 1
2.460 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
2.460 * [backup-simplify]: Simplify (- 0.12) into (- 0.12)
2.461 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12)
2.462 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12
2.463 * [backup-simplify]: Simplify (* -1 -0.12) into 0.12
2.463 * [backup-simplify]: Simplify 0.12 into 0.12
2.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.464 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
2.465 * [backup-simplify]: Simplify (- 0) into 0
2.465 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253
2.468 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* -0.12 (/ 0 1)))) into 0.253
2.470 * [backup-simplify]: Simplify (+ (* -1 0.253) (* 0 -0.12)) into (- 0.253)
2.470 * [backup-simplify]: Simplify (- 0.253) into (- 0.253)
2.471 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.472 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
2.472 * [backup-simplify]: Simplify (- 0) into 0
2.473 * [backup-simplify]: Simplify (+ 0 0) into 0
2.474 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0
2.475 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.253) (* 0 -0.12))) into 0
2.475 * [backup-simplify]: Simplify 0 into 0
2.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.477 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.478 * [backup-simplify]: Simplify (- 0) into 0
2.478 * [backup-simplify]: Simplify (+ 0 0) into 0
2.479 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.481 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))) into 0
2.481 * [backup-simplify]: Simplify 0 into 0
2.482 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.483 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.484 * [backup-simplify]: Simplify (- 0) into 0
2.484 * [backup-simplify]: Simplify (+ 0 0) into 0
2.485 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.487 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12))))) into 0
2.487 * [backup-simplify]: Simplify 0 into 0
2.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.490 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.490 * [backup-simplify]: Simplify (- 0) into 0
2.490 * [backup-simplify]: Simplify (+ 0 0) into 0
2.492 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.493 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))))) into 0
2.493 * [backup-simplify]: Simplify 0 into 0
2.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.494 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.494 * [backup-simplify]: Simplify (- 0) into 0
2.495 * [backup-simplify]: Simplify (+ 0 0) into 0
2.496 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.497 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12))))))) into 0
2.497 * [backup-simplify]: Simplify 0 into 0
2.497 * [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
2.498 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.499 * [backup-simplify]: Simplify (- 0) into 0
2.499 * [backup-simplify]: Simplify (+ 0 0) into 0
2.500 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.501 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))))))) into 0
2.501 * [backup-simplify]: Simplify 0 into 0
2.501 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* 0.12 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
2.501 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
2.501 * [backup-simplify]: Simplify (+ 0.253 (* x 0.12)) into (+ (* 0.12 x) 0.253)
2.501 * [approximate]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in (x) around 0
2.502 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
2.502 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.502 * [taylor]: Taking taylor expansion of 0.12 in x
2.502 * [backup-simplify]: Simplify 0.12 into 0.12
2.502 * [taylor]: Taking taylor expansion of x in x
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify 1 into 1
2.502 * [taylor]: Taking taylor expansion of 0.253 in x
2.502 * [backup-simplify]: Simplify 0.253 into 0.253
2.502 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
2.502 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.502 * [taylor]: Taking taylor expansion of 0.12 in x
2.502 * [backup-simplify]: Simplify 0.12 into 0.12
2.502 * [taylor]: Taking taylor expansion of x in x
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify 1 into 1
2.502 * [taylor]: Taking taylor expansion of 0.253 in x
2.502 * [backup-simplify]: Simplify 0.253 into 0.253
2.502 * [backup-simplify]: Simplify (* 0.12 0) into 0
2.502 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253
2.502 * [backup-simplify]: Simplify 0.253 into 0.253
2.503 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12
2.504 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
2.504 * [backup-simplify]: Simplify 0.12 into 0.12
2.505 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0
2.505 * [backup-simplify]: Simplify (+ 0 0) into 0
2.505 * [backup-simplify]: Simplify 0 into 0
2.506 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.506 * [backup-simplify]: Simplify (+ 0 0) into 0
2.506 * [backup-simplify]: Simplify 0 into 0
2.507 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.507 * [backup-simplify]: Simplify (+ 0 0) into 0
2.507 * [backup-simplify]: Simplify 0 into 0
2.508 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.508 * [backup-simplify]: Simplify (+ 0 0) into 0
2.508 * [backup-simplify]: Simplify 0 into 0
2.509 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.509 * [backup-simplify]: Simplify (+ 0 0) into 0
2.509 * [backup-simplify]: Simplify 0 into 0
2.510 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.511 * [backup-simplify]: Simplify (+ 0 0) into 0
2.511 * [backup-simplify]: Simplify 0 into 0
2.511 * [backup-simplify]: Simplify (+ (* 0.12 x) 0.253) into (+ (* 0.12 x) 0.253)
2.511 * [backup-simplify]: Simplify (+ 0.253 (* (/ 1 x) 0.12)) into (+ (* 0.12 (/ 1 x)) 0.253)
2.511 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0
2.511 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
2.511 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.511 * [taylor]: Taking taylor expansion of 0.12 in x
2.511 * [backup-simplify]: Simplify 0.12 into 0.12
2.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.511 * [taylor]: Taking taylor expansion of x in x
2.511 * [backup-simplify]: Simplify 0 into 0
2.511 * [backup-simplify]: Simplify 1 into 1
2.511 * [backup-simplify]: Simplify (/ 1 1) into 1
2.511 * [taylor]: Taking taylor expansion of 0.253 in x
2.511 * [backup-simplify]: Simplify 0.253 into 0.253
2.511 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
2.511 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.511 * [taylor]: Taking taylor expansion of 0.12 in x
2.511 * [backup-simplify]: Simplify 0.12 into 0.12
2.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.511 * [taylor]: Taking taylor expansion of x in x
2.511 * [backup-simplify]: Simplify 0 into 0
2.511 * [backup-simplify]: Simplify 1 into 1
2.512 * [backup-simplify]: Simplify (/ 1 1) into 1
2.512 * [taylor]: Taking taylor expansion of 0.253 in x
2.512 * [backup-simplify]: Simplify 0.253 into 0.253
2.512 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
2.512 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
2.512 * [backup-simplify]: Simplify 0.12 into 0.12
2.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.513 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
2.513 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253
2.513 * [backup-simplify]: Simplify 0.253 into 0.253
2.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.515 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
2.515 * [backup-simplify]: Simplify (+ 0 0) into 0
2.515 * [backup-simplify]: Simplify 0 into 0
2.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.516 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.516 * [backup-simplify]: Simplify (+ 0 0) into 0
2.516 * [backup-simplify]: Simplify 0 into 0
2.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.518 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.518 * [backup-simplify]: Simplify (+ 0 0) into 0
2.518 * [backup-simplify]: Simplify 0 into 0
2.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.519 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.522 * [backup-simplify]: Simplify (+ 0 0) into 0
2.522 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.525 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.525 * [backup-simplify]: Simplify (+ 0 0) into 0
2.525 * [backup-simplify]: Simplify 0 into 0
2.526 * [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
2.528 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.528 * [backup-simplify]: Simplify (+ 0 0) into 0
2.528 * [backup-simplify]: Simplify 0 into 0
2.529 * [backup-simplify]: Simplify (+ 0.253 (* 0.12 (/ 1 (/ 1 x)))) into (+ (* 0.12 x) 0.253)
2.529 * [backup-simplify]: Simplify (+ 0.253 (* (/ 1 (- x)) 0.12)) into (- 0.253 (* 0.12 (/ 1 x)))
2.529 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0
2.529 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
2.529 * [taylor]: Taking taylor expansion of 0.253 in x
2.529 * [backup-simplify]: Simplify 0.253 into 0.253
2.529 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.529 * [taylor]: Taking taylor expansion of 0.12 in x
2.529 * [backup-simplify]: Simplify 0.12 into 0.12
2.529 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.529 * [taylor]: Taking taylor expansion of x in x
2.529 * [backup-simplify]: Simplify 0 into 0
2.529 * [backup-simplify]: Simplify 1 into 1
2.529 * [backup-simplify]: Simplify (/ 1 1) into 1
2.529 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
2.530 * [taylor]: Taking taylor expansion of 0.253 in x
2.530 * [backup-simplify]: Simplify 0.253 into 0.253
2.530 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.530 * [taylor]: Taking taylor expansion of 0.12 in x
2.530 * [backup-simplify]: Simplify 0.12 into 0.12
2.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.530 * [taylor]: Taking taylor expansion of x in x
2.530 * [backup-simplify]: Simplify 0 into 0
2.530 * [backup-simplify]: Simplify 1 into 1
2.530 * [backup-simplify]: Simplify (/ 1 1) into 1
2.531 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
2.531 * [backup-simplify]: Simplify (- 0.12) into (- 0.12)
2.532 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12)
2.532 * [backup-simplify]: Simplify (- 0.12) into (- 0.12)
2.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.534 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
2.534 * [backup-simplify]: Simplify (- 0) into 0
2.535 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253
2.535 * [backup-simplify]: Simplify 0.253 into 0.253
2.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.537 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
2.537 * [backup-simplify]: Simplify (- 0) into 0
2.537 * [backup-simplify]: Simplify (+ 0 0) into 0
2.537 * [backup-simplify]: Simplify 0 into 0
2.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.540 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.540 * [backup-simplify]: Simplify (- 0) into 0
2.540 * [backup-simplify]: Simplify (+ 0 0) into 0
2.540 * [backup-simplify]: Simplify 0 into 0
2.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.543 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.543 * [backup-simplify]: Simplify (- 0) into 0
2.543 * [backup-simplify]: Simplify (+ 0 0) into 0
2.543 * [backup-simplify]: Simplify 0 into 0
2.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.546 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.547 * [backup-simplify]: Simplify (- 0) into 0
2.547 * [backup-simplify]: Simplify (+ 0 0) into 0
2.547 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.550 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.550 * [backup-simplify]: Simplify (- 0) into 0
2.551 * [backup-simplify]: Simplify (+ 0 0) into 0
2.551 * [backup-simplify]: Simplify 0 into 0
2.552 * [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
2.554 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.554 * [backup-simplify]: Simplify (- 0) into 0
2.554 * [backup-simplify]: Simplify (+ 0 0) into 0
2.554 * [backup-simplify]: Simplify 0 into 0
2.555 * [backup-simplify]: Simplify (+ 0.253 (* (- 0.12) (/ 1 (/ 1 (- x))))) into (+ (* 0.12 x) 0.253)
2.555 * * * [progress]: simplifying candidates
2.555 * * * * [progress]: [ 1 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (pow (* x (+ 0.253 (* x 0.12))) 1)))>
2.555 * * * * [progress]: [ 2 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (pow (* x (+ 0.253 (* x 0.12))) 1)))>
2.555 * * * * [progress]: [ 3 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (exp (+ (log x) (log (+ 0.253 (* x 0.12)))))))>
2.555 * * * * [progress]: [ 4 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (exp (log (* x (+ 0.253 (* x 0.12)))))))>
2.555 * * * * [progress]: [ 5 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (log (exp (* x (+ 0.253 (* x 0.12)))))))>
2.556 * * * * [progress]: [ 6 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (cbrt (* (* (* x x) x) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)))))))>
2.556 * * * * [progress]: [ 7 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12))))) (cbrt (* x (+ 0.253 (* x 0.12)))))))>
2.556 * * * * [progress]: [ 8 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (cbrt (* (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12)))))))>
2.556 * * * * [progress]: [ 9 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))))))>
2.556 * * * * [progress]: [ 10 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* 1 (* x (+ 0.253 (* x 0.12))))))>
2.556 * * * * [progress]: [ 11 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))))))>
2.556 * * * * [progress]: [ 12 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* x (* x 0.12)))))>
2.556 * * * * [progress]: [ 13 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* 0.253 x) (* (* x 0.12) x))))>
2.556 * * * * [progress]: [ 14 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (cbrt (+ 0.253 (* x 0.12))))))>
2.556 * * * * [progress]: [ 15 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* (* x (sqrt (+ 0.253 (* x 0.12)))) (sqrt (+ 0.253 (* x 0.12))))))>
2.556 * * * * [progress]: [ 16 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* (* x 1) (+ 0.253 (* x 0.12)))))>
2.556 * * * * [progress]: [ 17 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* (* (cbrt x) (cbrt x)) (* (cbrt x) (+ 0.253 (* x 0.12))))))>
2.556 * * * * [progress]: [ 18 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* (sqrt x) (* (sqrt x) (+ 0.253 (* x 0.12))))))>
2.556 * * * * [progress]: [ 19 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* 1 (* x (+ 0.253 (* x 0.12))))))>
2.556 * * * * [progress]: [ 20 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (/ (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))))))>
2.557 * * * * [progress]: [ 21 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (/ (* x (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (- 0.253 (* x 0.12)))))>
2.557 * * * * [progress]: [ 22 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (posit16->real (real->posit16 (* x (+ 0.253 (* x 0.12)))))))>
2.557 * * * * [progress]: [ 23 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* (+ 0.253 (* x 0.12)) x)))>
2.557 * * * * [progress]: [ 24 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (log (* (exp 0.253) (exp (* x 0.12)))))))>
2.557 * * * * [progress]: [ 25 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (pow (+ 0.253 (* x 0.12)) 1))))>
2.557 * * * * [progress]: [ 26 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (exp (log (+ 0.253 (* x 0.12)))))))>
2.557 * * * * [progress]: [ 27 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (log (exp (+ 0.253 (* x 0.12)))))))>
2.557 * * * * [progress]: [ 28 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (* (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12)))))))>
2.557 * * * * [progress]: [ 29 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (cbrt (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)))))))>
2.557 * * * * [progress]: [ 30 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (* (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12)))))))>
2.557 * * * * [progress]: [ 31 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (/ (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12))))))))>
2.557 * * * * [progress]: [ 32 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (* 1 (+ 0.253 (* x 0.12))))))>
2.557 * * * * [progress]: [ 33 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (/ (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12))))))>
2.557 * * * * [progress]: [ 34 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (posit16->real (real->posit16 (+ 0.253 (* x 0.12)))))))>
2.557 * * * * [progress]: [ 35 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (+ (* x 0.12) 0.253))))>
2.557 * * * * [progress]: [ 36 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))))>
2.558 * * * * [progress]: [ 37 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))))>
2.558 * * * * [progress]: [ 38 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))))>
2.558 * * * * [progress]: [ 39 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (+ (* 0.12 x) 0.253))))>
2.558 * * * * [progress]: [ 40 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (+ (* 0.12 x) 0.253))))>
2.558 * * * * [progress]: [ 41 / 41 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (+ (* 0.12 x) 0.253))))>
2.559 * [simplify]: Simplifying:
  (* x (+ 0.253 (* x 0.12)))
  (+ (log x) (log (+ 0.253 (* x 0.12))))
  (log (* x (+ 0.253 (* x 0.12))))
  (exp (* x (+ 0.253 (* x 0.12))))
  (* (* (* x x) x) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))))
  (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12)))))
  (cbrt (* x (+ 0.253 (* x 0.12))))
  (* (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12))))
  (sqrt (* x (+ 0.253 (* x 0.12))))
  (sqrt (* x (+ 0.253 (* x 0.12))))
  (* (sqrt x) (sqrt (+ 0.253 (* x 0.12))))
  (* (sqrt x) (sqrt (+ 0.253 (* x 0.12))))
  (* x 0.253)
  (* x (* x 0.12))
  (* 0.253 x)
  (* (* x 0.12) x)
  (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))))
  (* x (sqrt (+ 0.253 (* x 0.12))))
  (* x 1)
  (* (cbrt x) (+ 0.253 (* x 0.12)))
  (* (sqrt x) (+ 0.253 (* x 0.12)))
  (* x (+ 0.253 (* x 0.12)))
  (* x (+ (pow 0.253 3) (pow (* x 0.12) 3)))
  (* x (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))
  (real->posit16 (* x (+ 0.253 (* x 0.12))))
  (* (exp 0.253) (exp (* x 0.12)))
  (log (+ 0.253 (* x 0.12)))
  (exp (+ 0.253 (* x 0.12)))
  (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))
  (cbrt (+ 0.253 (* x 0.12)))
  (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)))
  (sqrt (+ 0.253 (* x 0.12)))
  (sqrt (+ 0.253 (* x 0.12)))
  (+ (pow 0.253 3) (pow (* x 0.12) 3))
  (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12))))
  (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))
  (- 0.253 (* x 0.12))
  (real->posit16 (+ 0.253 (* x 0.12)))
  (+ (* 0.253 x) (* 0.12 (pow x 2)))
  (+ (* 0.253 x) (* 0.12 (pow x 2)))
  (+ (* 0.253 x) (* 0.12 (pow x 2)))
  (+ (* 0.12 x) 0.253)
  (+ (* 0.12 x) 0.253)
  (+ (* 0.12 x) 0.253)
2.560 * * [simplify]: iteration 0: 62 enodes
2.591 * * [simplify]: iteration 1: 183 enodes
2.669 * * [simplify]: iteration 2: 661 enodes
3.345 * * [simplify]: iteration 3: 3162 enodes
4.645 * * [simplify]: iteration complete: 5021 enodes
4.645 * * [simplify]: Extracting #0: cost 31 inf + 0
4.645 * * [simplify]: Extracting #1: cost 212 inf + 1
4.649 * * [simplify]: Extracting #2: cost 851 inf + 10975
4.693 * * [simplify]: Extracting #3: cost 867 inf + 98473
4.766 * * [simplify]: Extracting #4: cost 188 inf + 218628
4.852 * * [simplify]: Extracting #5: cost 36 inf + 251255
4.939 * * [simplify]: Extracting #6: cost 7 inf + 256151
5.036 * * [simplify]: Extracting #7: cost 0 inf + 258045
5.103 * [simplify]: Simplified to:
  (* (+ 0.253 (* x 0.12)) x)
  (log (* (+ 0.253 (* x 0.12)) x))
  (log (* (+ 0.253 (* x 0.12)) x))
  (exp (* (+ 0.253 (* x 0.12)) x))
  (* (* (+ 0.253 (* x 0.12)) x) (* (* (+ 0.253 (* x 0.12)) x) (* (+ 0.253 (* x 0.12)) x)))
  (* (cbrt (* (+ 0.253 (* x 0.12)) x)) (cbrt (* (+ 0.253 (* x 0.12)) x)))
  (cbrt (* (+ 0.253 (* x 0.12)) x))
  (* (* (+ 0.253 (* x 0.12)) x) (* (* (+ 0.253 (* x 0.12)) x) (* (+ 0.253 (* x 0.12)) x)))
  (sqrt (* (+ 0.253 (* x 0.12)) x))
  (sqrt (* (+ 0.253 (* x 0.12)) x))
  (* (sqrt x) (sqrt (+ 0.253 (* x 0.12))))
  (* (sqrt x) (sqrt (+ 0.253 (* x 0.12))))
  (* x 0.253)
  (* (* x x) 0.12)
  (* 0.253 x)
  (* (* x x) 0.12)
  (* (cbrt (+ 0.253 (* x 0.12))) (* (cbrt (+ 0.253 (* x 0.12))) x))
  (* x (sqrt (+ 0.253 (* x 0.12))))
  x
  (* (+ 0.253 (* x 0.12)) (cbrt x))
  (* (sqrt x) (+ 0.253 (* x 0.12)))
  (* (+ 0.253 (* x 0.12)) x)
  (* x (+ (* (* x 0.12) (* (* x 0.12) (* x 0.12))) (* 0.253 (* 0.253 0.253))))
  (* x (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))
  (real->posit16 (* (+ 0.253 (* x 0.12)) x))
  (exp (+ 0.253 (* x 0.12)))
  (log (+ 0.253 (* x 0.12)))
  (exp (+ 0.253 (* x 0.12)))
  (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))
  (cbrt (+ 0.253 (* x 0.12)))
  (* (+ 0.253 (* x 0.12)) (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))))
  (sqrt (+ 0.253 (* x 0.12)))
  (sqrt (+ 0.253 (* x 0.12)))
  (+ (* (* x 0.12) (* (* x 0.12) (* x 0.12))) (* 0.253 (* 0.253 0.253)))
  (+ (* 0.253 (- 0.253 (* x 0.12))) (* (* x 0.12) (* x 0.12)))
  (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))
  (- 0.253 (* x 0.12))
  (real->posit16 (+ 0.253 (* x 0.12)))
  (* (+ 0.253 (* x 0.12)) x)
  (* (+ 0.253 (* x 0.12)) x)
  (* (+ 0.253 (* x 0.12)) x)
  (+ 0.253 (* x 0.12))
  (+ 0.253 (* x 0.12))
  (+ 0.253 (* x 0.12))
5.105 * * * [progress]: adding candidates to table
5.207 * * [progress]: iteration 2 / 4
5.207 * * * [progress]: picking best candidate
5.222 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* x (* x 0.12)))))>
5.222 * * * [progress]: localizing error
5.249 * * * [progress]: generating rewritten candidates
5.249 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2)
5.276 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
5.298 * * * [progress]: generating series expansions
5.298 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2)
5.298 * [backup-simplify]: Simplify (* x (* x 0.12)) into (* 0.12 (pow x 2))
5.298 * [approximate]: Taking taylor expansion of (* 0.12 (pow x 2)) in (x) around 0
5.298 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
5.298 * [taylor]: Taking taylor expansion of 0.12 in x
5.298 * [backup-simplify]: Simplify 0.12 into 0.12
5.298 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.298 * [taylor]: Taking taylor expansion of x in x
5.299 * [backup-simplify]: Simplify 0 into 0
5.299 * [backup-simplify]: Simplify 1 into 1
5.299 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
5.299 * [taylor]: Taking taylor expansion of 0.12 in x
5.299 * [backup-simplify]: Simplify 0.12 into 0.12
5.299 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.299 * [taylor]: Taking taylor expansion of x in x
5.299 * [backup-simplify]: Simplify 0 into 0
5.299 * [backup-simplify]: Simplify 1 into 1
5.300 * [backup-simplify]: Simplify (* 1 1) into 1
5.300 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
5.300 * [backup-simplify]: Simplify 0.12 into 0.12
5.301 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.302 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
5.302 * [backup-simplify]: Simplify 0 into 0
5.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.304 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
5.304 * [backup-simplify]: Simplify 0 into 0
5.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.307 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.307 * [backup-simplify]: Simplify 0 into 0
5.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.309 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.309 * [backup-simplify]: Simplify 0 into 0
5.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.312 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.312 * [backup-simplify]: Simplify 0 into 0
5.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.316 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.316 * [backup-simplify]: Simplify 0 into 0
5.316 * [backup-simplify]: Simplify (* 0.12 (pow x 2)) into (* 0.12 (pow x 2))
5.316 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 x) 0.12)) into (/ 0.12 (pow x 2))
5.316 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0
5.316 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
5.316 * [taylor]: Taking taylor expansion of 0.12 in x
5.316 * [backup-simplify]: Simplify 0.12 into 0.12
5.316 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.316 * [taylor]: Taking taylor expansion of x in x
5.316 * [backup-simplify]: Simplify 0 into 0
5.316 * [backup-simplify]: Simplify 1 into 1
5.317 * [backup-simplify]: Simplify (* 1 1) into 1
5.317 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
5.317 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
5.317 * [taylor]: Taking taylor expansion of 0.12 in x
5.317 * [backup-simplify]: Simplify 0.12 into 0.12
5.317 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.317 * [taylor]: Taking taylor expansion of x in x
5.317 * [backup-simplify]: Simplify 0 into 0
5.318 * [backup-simplify]: Simplify 1 into 1
5.318 * [backup-simplify]: Simplify (* 1 1) into 1
5.318 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
5.318 * [backup-simplify]: Simplify 0.12 into 0.12
5.319 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.320 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0
5.320 * [backup-simplify]: Simplify 0 into 0
5.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.322 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.322 * [backup-simplify]: Simplify 0 into 0
5.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.324 * [backup-simplify]: Simplify 0 into 0
5.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.327 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.327 * [backup-simplify]: Simplify 0 into 0
5.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.329 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.329 * [backup-simplify]: Simplify 0 into 0
5.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.332 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.332 * [backup-simplify]: Simplify 0 into 0
5.333 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 x)) 2)) into (* 0.12 (pow x 2))
5.333 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- x)) 0.12)) into (/ 0.12 (pow x 2))
5.333 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0
5.333 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
5.333 * [taylor]: Taking taylor expansion of 0.12 in x
5.333 * [backup-simplify]: Simplify 0.12 into 0.12
5.333 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.333 * [taylor]: Taking taylor expansion of x in x
5.333 * [backup-simplify]: Simplify 0 into 0
5.333 * [backup-simplify]: Simplify 1 into 1
5.333 * [backup-simplify]: Simplify (* 1 1) into 1
5.334 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
5.334 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
5.334 * [taylor]: Taking taylor expansion of 0.12 in x
5.334 * [backup-simplify]: Simplify 0.12 into 0.12
5.334 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.334 * [taylor]: Taking taylor expansion of x in x
5.334 * [backup-simplify]: Simplify 0 into 0
5.334 * [backup-simplify]: Simplify 1 into 1
5.334 * [backup-simplify]: Simplify (* 1 1) into 1
5.335 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
5.335 * [backup-simplify]: Simplify 0.12 into 0.12
5.336 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.336 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0
5.337 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.338 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.338 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.341 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.341 * [backup-simplify]: Simplify 0 into 0
5.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.343 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.343 * [backup-simplify]: Simplify 0 into 0
5.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.346 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.346 * [backup-simplify]: Simplify 0 into 0
5.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.348 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.348 * [backup-simplify]: Simplify 0 into 0
5.348 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.12 (pow x 2))
5.348 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
5.348 * [backup-simplify]: Simplify (+ (* x 0.253) (* x (* x 0.12))) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
5.348 * [approximate]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in (x) around 0
5.348 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x
5.348 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
5.348 * [taylor]: Taking taylor expansion of 0.253 in x
5.348 * [backup-simplify]: Simplify 0.253 into 0.253
5.348 * [taylor]: Taking taylor expansion of x in x
5.348 * [backup-simplify]: Simplify 0 into 0
5.348 * [backup-simplify]: Simplify 1 into 1
5.348 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
5.349 * [taylor]: Taking taylor expansion of 0.12 in x
5.349 * [backup-simplify]: Simplify 0.12 into 0.12
5.349 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.349 * [taylor]: Taking taylor expansion of x in x
5.349 * [backup-simplify]: Simplify 0 into 0
5.349 * [backup-simplify]: Simplify 1 into 1
5.349 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x
5.349 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
5.349 * [taylor]: Taking taylor expansion of 0.253 in x
5.349 * [backup-simplify]: Simplify 0.253 into 0.253
5.349 * [taylor]: Taking taylor expansion of x in x
5.349 * [backup-simplify]: Simplify 0 into 0
5.349 * [backup-simplify]: Simplify 1 into 1
5.349 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
5.349 * [taylor]: Taking taylor expansion of 0.12 in x
5.349 * [backup-simplify]: Simplify 0.12 into 0.12
5.349 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.349 * [taylor]: Taking taylor expansion of x in x
5.349 * [backup-simplify]: Simplify 0 into 0
5.349 * [backup-simplify]: Simplify 1 into 1
5.349 * [backup-simplify]: Simplify (* 0.253 0) into 0
5.349 * [backup-simplify]: Simplify (+ 0 0) into 0
5.349 * [backup-simplify]: Simplify 0 into 0
5.351 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253
5.351 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253
5.351 * [backup-simplify]: Simplify 0.253 into 0.253
5.352 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0
5.352 * [backup-simplify]: Simplify (* 1 1) into 1
5.352 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
5.353 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12
5.353 * [backup-simplify]: Simplify 0.12 into 0.12
5.353 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.354 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.354 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
5.354 * [backup-simplify]: Simplify (+ 0 0) into 0
5.354 * [backup-simplify]: Simplify 0 into 0
5.355 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.356 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
5.357 * [backup-simplify]: Simplify (+ 0 0) into 0
5.357 * [backup-simplify]: Simplify 0 into 0
5.357 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.359 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.359 * [backup-simplify]: Simplify (+ 0 0) into 0
5.359 * [backup-simplify]: Simplify 0 into 0
5.360 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.361 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.362 * [backup-simplify]: Simplify (+ 0 0) into 0
5.362 * [backup-simplify]: Simplify 0 into 0
5.363 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.364 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.364 * [backup-simplify]: Simplify (+ 0 0) into 0
5.364 * [backup-simplify]: Simplify 0 into 0
5.366 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
5.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.367 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.368 * [backup-simplify]: Simplify (+ 0 0) into 0
5.368 * [backup-simplify]: Simplify 0 into 0
5.368 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
5.368 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0.253) (* (/ 1 x) (* (/ 1 x) 0.12))) into (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))
5.368 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0
5.368 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
5.368 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
5.368 * [taylor]: Taking taylor expansion of 0.12 in x
5.368 * [backup-simplify]: Simplify 0.12 into 0.12
5.368 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.368 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.368 * [taylor]: Taking taylor expansion of x in x
5.368 * [backup-simplify]: Simplify 0 into 0
5.368 * [backup-simplify]: Simplify 1 into 1
5.368 * [backup-simplify]: Simplify (* 1 1) into 1
5.369 * [backup-simplify]: Simplify (/ 1 1) into 1
5.369 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
5.369 * [taylor]: Taking taylor expansion of 0.253 in x
5.369 * [backup-simplify]: Simplify 0.253 into 0.253
5.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.369 * [taylor]: Taking taylor expansion of x in x
5.369 * [backup-simplify]: Simplify 0 into 0
5.369 * [backup-simplify]: Simplify 1 into 1
5.369 * [backup-simplify]: Simplify (/ 1 1) into 1
5.369 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
5.369 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
5.369 * [taylor]: Taking taylor expansion of 0.12 in x
5.369 * [backup-simplify]: Simplify 0.12 into 0.12
5.369 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.369 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.369 * [taylor]: Taking taylor expansion of x in x
5.369 * [backup-simplify]: Simplify 0 into 0
5.369 * [backup-simplify]: Simplify 1 into 1
5.369 * [backup-simplify]: Simplify (* 1 1) into 1
5.370 * [backup-simplify]: Simplify (/ 1 1) into 1
5.370 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
5.370 * [taylor]: Taking taylor expansion of 0.253 in x
5.370 * [backup-simplify]: Simplify 0.253 into 0.253
5.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.370 * [taylor]: Taking taylor expansion of x in x
5.370 * [backup-simplify]: Simplify 0 into 0
5.370 * [backup-simplify]: Simplify 1 into 1
5.370 * [backup-simplify]: Simplify (/ 1 1) into 1
5.370 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
5.371 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
5.371 * [backup-simplify]: Simplify 0.12 into 0.12
5.371 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.372 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
5.372 * [backup-simplify]: Simplify (* 0.253 1) into 0.253
5.372 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253
5.373 * [backup-simplify]: Simplify 0.253 into 0.253
5.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.374 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
5.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.375 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0
5.375 * [backup-simplify]: Simplify (+ 0 0) into 0
5.375 * [backup-simplify]: Simplify 0 into 0
5.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.377 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.378 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0
5.379 * [backup-simplify]: Simplify (+ 0 0) into 0
5.379 * [backup-simplify]: Simplify 0 into 0
5.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.381 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.383 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.384 * [backup-simplify]: Simplify (+ 0 0) into 0
5.384 * [backup-simplify]: Simplify 0 into 0
5.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.388 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.390 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.390 * [backup-simplify]: Simplify (+ 0 0) into 0
5.390 * [backup-simplify]: Simplify 0 into 0
5.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.394 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.396 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.396 * [backup-simplify]: Simplify (+ 0 0) into 0
5.397 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.399 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.401 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.401 * [backup-simplify]: Simplify (+ 0 0) into 0
5.401 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* 0.12 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
5.402 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) 0.253) (* (/ 1 (- x)) (* (/ 1 (- x)) 0.12))) into (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))
5.402 * [approximate]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0
5.402 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
5.402 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
5.402 * [taylor]: Taking taylor expansion of 0.12 in x
5.402 * [backup-simplify]: Simplify 0.12 into 0.12
5.402 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.402 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.402 * [taylor]: Taking taylor expansion of x in x
5.402 * [backup-simplify]: Simplify 0 into 0
5.402 * [backup-simplify]: Simplify 1 into 1
5.402 * [backup-simplify]: Simplify (* 1 1) into 1
5.403 * [backup-simplify]: Simplify (/ 1 1) into 1
5.403 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
5.403 * [taylor]: Taking taylor expansion of 0.253 in x
5.403 * [backup-simplify]: Simplify 0.253 into 0.253
5.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.403 * [taylor]: Taking taylor expansion of x in x
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [backup-simplify]: Simplify 1 into 1
5.403 * [backup-simplify]: Simplify (/ 1 1) into 1
5.403 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
5.403 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
5.403 * [taylor]: Taking taylor expansion of 0.12 in x
5.403 * [backup-simplify]: Simplify 0.12 into 0.12
5.403 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.403 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.403 * [taylor]: Taking taylor expansion of x in x
5.403 * [backup-simplify]: Simplify 0 into 0
5.403 * [backup-simplify]: Simplify 1 into 1
5.403 * [backup-simplify]: Simplify (* 1 1) into 1
5.404 * [backup-simplify]: Simplify (/ 1 1) into 1
5.404 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
5.404 * [taylor]: Taking taylor expansion of 0.253 in x
5.404 * [backup-simplify]: Simplify 0.253 into 0.253
5.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.404 * [taylor]: Taking taylor expansion of x in x
5.404 * [backup-simplify]: Simplify 0 into 0
5.404 * [backup-simplify]: Simplify 1 into 1
5.404 * [backup-simplify]: Simplify (/ 1 1) into 1
5.405 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
5.405 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
5.405 * [backup-simplify]: Simplify 0.12 into 0.12
5.406 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.406 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
5.407 * [backup-simplify]: Simplify (* 0.253 1) into 0.253
5.407 * [backup-simplify]: Simplify (- 0.253) into (- 0.253)
5.410 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253)
5.410 * [backup-simplify]: Simplify (- 0.253) into (- 0.253)
5.410 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.412 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
5.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.413 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0
5.413 * [backup-simplify]: Simplify (- 0) into 0
5.413 * [backup-simplify]: Simplify (+ 0 0) into 0
5.413 * [backup-simplify]: Simplify 0 into 0
5.414 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.415 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.416 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.416 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0
5.416 * [backup-simplify]: Simplify (- 0) into 0
5.417 * [backup-simplify]: Simplify (+ 0 0) into 0
5.417 * [backup-simplify]: Simplify 0 into 0
5.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.418 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.419 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.420 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.420 * [backup-simplify]: Simplify (- 0) into 0
5.421 * [backup-simplify]: Simplify (+ 0 0) into 0
5.421 * [backup-simplify]: Simplify 0 into 0
5.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.422 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.423 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.424 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.424 * [backup-simplify]: Simplify (- 0) into 0
5.425 * [backup-simplify]: Simplify (+ 0 0) into 0
5.425 * [backup-simplify]: Simplify 0 into 0
5.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.426 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.427 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.428 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.429 * [backup-simplify]: Simplify (- 0) into 0
5.429 * [backup-simplify]: Simplify (+ 0 0) into 0
5.429 * [backup-simplify]: Simplify 0 into 0
5.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.430 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.431 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
5.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.433 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.433 * [backup-simplify]: Simplify (- 0) into 0
5.433 * [backup-simplify]: Simplify (+ 0 0) into 0
5.434 * [backup-simplify]: Simplify 0 into 0
5.434 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* 0.12 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
5.434 * * * [progress]: simplifying candidates
5.434 * * * * [progress]: [ 1 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* x (* x 0.12)) 1))))>
5.434 * * * * [progress]: [ 2 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* x (* x 0.12)) 1))))>
5.434 * * * * [progress]: [ 3 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* x (* x 0.12)) 1))))>
5.434 * * * * [progress]: [ 4 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (exp (+ (log x) (+ (log x) (log 0.12)))))))>
5.434 * * * * [progress]: [ 5 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (exp (+ (log x) (log (* x 0.12)))))))>
5.434 * * * * [progress]: [ 6 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (exp (log (* x (* x 0.12)))))))>
5.434 * * * * [progress]: [ 7 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (log (exp (* x (* x 0.12)))))))>
5.434 * * * * [progress]: [ 8 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (cbrt (* (* (* x x) x) (* (* (* x x) x) (* (* 0.12 0.12) 0.12)))))))>
5.434 * * * * [progress]: [ 9 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (cbrt (* (* (* x x) x) (* (* (* x 0.12) (* x 0.12)) (* x 0.12)))))))>
5.435 * * * * [progress]: [ 10 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (cbrt (* x (* x 0.12))) (cbrt (* x (* x 0.12)))) (cbrt (* x (* x 0.12)))))))>
5.435 * * * * [progress]: [ 11 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (cbrt (* (* (* x (* x 0.12)) (* x (* x 0.12))) (* x (* x 0.12)))))))>
5.435 * * * * [progress]: [ 12 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (sqrt (* x (* x 0.12))) (sqrt (* x (* x 0.12)))))))>
5.435 * * * * [progress]: [ 13 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* 1 (* x (* x 0.12))))))>
5.435 * * * * [progress]: [ 14 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* x x) 0.12))))>
5.435 * * * * [progress]: [ 15 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (* x 0.12))))))>
5.435 * * * * [progress]: [ 16 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (sqrt x) (* (sqrt x) (* x 0.12))))))>
5.435 * * * * [progress]: [ 17 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* 1 (* x (* x 0.12))))))>
5.435 * * * * [progress]: [ 18 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (posit16->real (real->posit16 (* x (* x 0.12)))))))>
5.435 * * * * [progress]: [ 19 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* x 0.12) x))))>
5.435 * * * * [progress]: [ 20 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (log (* (exp (* x 0.253)) (exp (* x (* x 0.12)))))))>
5.435 * * * * [progress]: [ 21 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (pow (+ (* x 0.253) (* x (* x 0.12))) 1)))>
5.435 * * * * [progress]: [ 22 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (exp (log (+ (* x 0.253) (* x (* x 0.12)))))))>
5.435 * * * * [progress]: [ 23 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (log (exp (+ (* x 0.253) (* x (* x 0.12)))))))>
5.435 * * * * [progress]: [ 24 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* (* (cbrt (+ (* x 0.253) (* x (* x 0.12)))) (cbrt (+ (* x 0.253) (* x (* x 0.12))))) (cbrt (+ (* x 0.253) (* x (* x 0.12)))))))>
5.435 * * * * [progress]: [ 25 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (cbrt (* (* (+ (* x 0.253) (* x (* x 0.12))) (+ (* x 0.253) (* x (* x 0.12)))) (+ (* x 0.253) (* x (* x 0.12)))))))>
5.435 * * * * [progress]: [ 26 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* (sqrt (+ (* x 0.253) (* x (* x 0.12)))) (sqrt (+ (* x 0.253) (* x (* x 0.12)))))))>
5.435 * * * * [progress]: [ 27 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (/ (+ (pow (* x 0.253) 3) (pow (* x (* x 0.12)) 3)) (+ (* (* x 0.253) (* x 0.253)) (- (* (* x (* x 0.12)) (* x (* x 0.12))) (* (* x 0.253) (* x (* x 0.12))))))))>
5.435 * * * * [progress]: [ 28 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* 1 (+ (* x 0.253) (* x (* x 0.12))))))>
5.435 * * * * [progress]: [ 29 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (/ (- (* (* x 0.253) (* x 0.253)) (* (* x (* x 0.12)) (* x (* x 0.12)))) (- (* x 0.253) (* x (* x 0.12))))))>
5.435 * * * * [progress]: [ 30 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* x (+ 0.253 (* x 0.12)))))>
5.435 * * * * [progress]: [ 31 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (posit16->real (real->posit16 (+ (* x 0.253) (* x (* x 0.12)))))))>
5.435 * * * * [progress]: [ 32 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x (* x 0.12)) (* x 0.253))))>
5.435 * * * * [progress]: [ 33 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* 0.12 (pow x 2)))))>
5.435 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* 0.12 (pow x 2)))))>
5.435 * * * * [progress]: [ 35 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* 0.12 (pow x 2)))))>
5.435 * * * * [progress]: [ 36 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))))>
5.436 * * * * [progress]: [ 37 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))))>
5.436 * * * * [progress]: [ 38 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))))>
5.436 * [simplify]: Simplifying:
  (* x (* x 0.12))
  (* x (* x 0.12))
  (+ (log x) (+ (log x) (log 0.12)))
  (+ (log x) (log (* x 0.12)))
  (log (* x (* x 0.12)))
  (exp (* x (* x 0.12)))
  (* (* (* x x) x) (* (* (* x x) x) (* (* 0.12 0.12) 0.12)))
  (* (* (* x x) x) (* (* (* x 0.12) (* x 0.12)) (* x 0.12)))
  (* (cbrt (* x (* x 0.12))) (cbrt (* x (* x 0.12))))
  (cbrt (* x (* x 0.12)))
  (* (* (* x (* x 0.12)) (* x (* x 0.12))) (* x (* x 0.12)))
  (sqrt (* x (* x 0.12)))
  (sqrt (* x (* x 0.12)))
  (* x x)
  (* (cbrt x) (* x 0.12))
  (* (sqrt x) (* x 0.12))
  (* x (* x 0.12))
  (real->posit16 (* x (* x 0.12)))
  (* (exp (* x 0.253)) (exp (* x (* x 0.12))))
  (log (+ (* x 0.253) (* x (* x 0.12))))
  (exp (+ (* x 0.253) (* x (* x 0.12))))
  (* (cbrt (+ (* x 0.253) (* x (* x 0.12)))) (cbrt (+ (* x 0.253) (* x (* x 0.12)))))
  (cbrt (+ (* x 0.253) (* x (* x 0.12))))
  (* (* (+ (* x 0.253) (* x (* x 0.12))) (+ (* x 0.253) (* x (* x 0.12)))) (+ (* x 0.253) (* x (* x 0.12))))
  (sqrt (+ (* x 0.253) (* x (* x 0.12))))
  (sqrt (+ (* x 0.253) (* x (* x 0.12))))
  (+ (pow (* x 0.253) 3) (pow (* x (* x 0.12)) 3))
  (+ (* (* x 0.253) (* x 0.253)) (- (* (* x (* x 0.12)) (* x (* x 0.12))) (* (* x 0.253) (* x (* x 0.12)))))
  (- (* (* x 0.253) (* x 0.253)) (* (* x (* x 0.12)) (* x (* x 0.12))))
  (- (* x 0.253) (* x (* x 0.12)))
  (+ 0.253 (* x 0.12))
  (real->posit16 (+ (* x 0.253) (* x (* x 0.12))))
  (* 0.12 (pow x 2))
  (* 0.12 (pow x 2))
  (* 0.12 (pow x 2))
  (+ (* 0.253 x) (* 0.12 (pow x 2)))
  (+ (* 0.253 x) (* 0.12 (pow x 2)))
  (+ (* 0.253 x) (* 0.12 (pow x 2)))
5.436 * * [simplify]: iteration 0: 60 enodes
5.459 * * [simplify]: iteration 1: 169 enodes
5.521 * * [simplify]: iteration 2: 658 enodes
6.554 * * [simplify]: iteration 3: 3254 enodes
7.863 * * [simplify]: iteration complete: 5002 enodes
7.863 * * [simplify]: Extracting #0: cost 24 inf + 0
7.864 * * [simplify]: Extracting #1: cost 237 inf + 0
7.873 * * [simplify]: Extracting #2: cost 857 inf + 6832
7.912 * * [simplify]: Extracting #3: cost 653 inf + 93765
7.953 * * [simplify]: Extracting #4: cost 120 inf + 183620
8.016 * * [simplify]: Extracting #5: cost 43 inf + 207606
8.105 * * [simplify]: Extracting #6: cost 8 inf + 215028
8.198 * * [simplify]: Extracting #7: cost 0 inf + 217653
8.271 * [simplify]: Simplified to:
  (* x (* x 0.12))
  (* x (* x 0.12))
  (log (* x (* x 0.12)))
  (log (* x (* x 0.12)))
  (log (* x (* x 0.12)))
  (exp (* x (* x 0.12)))
  (* (* x (* x 0.12)) (* (* x (* x 0.12)) (* x (* x 0.12))))
  (* (* x (* x 0.12)) (* (* x (* x 0.12)) (* x (* x 0.12))))
  (* (cbrt (* x (* x 0.12))) (cbrt (* x (* x 0.12))))
  (cbrt (* x (* x 0.12)))
  (* (* x (* x 0.12)) (* (* x (* x 0.12)) (* x (* x 0.12))))
  (sqrt (* x (* x 0.12)))
  (sqrt (* x (* x 0.12)))
  (* x x)
  (* (* x (cbrt x)) 0.12)
  (* (* x 0.12) (sqrt x))
  (* x (* x 0.12))
  (real->posit16 (* x (* x 0.12)))
  (exp (* (+ 0.253 (* x 0.12)) x))
  (log (* (+ 0.253 (* x 0.12)) x))
  (exp (* (+ 0.253 (* x 0.12)) x))
  (* (cbrt (* (+ 0.253 (* x 0.12)) x)) (cbrt (* (+ 0.253 (* x 0.12)) x)))
  (cbrt (* (+ 0.253 (* x 0.12)) x))
  (* (* (* (+ 0.253 (* x 0.12)) x) (* (+ 0.253 (* x 0.12)) x)) (* (+ 0.253 (* x 0.12)) x))
  (sqrt (* (+ 0.253 (* x 0.12)) x))
  (sqrt (* (+ 0.253 (* x 0.12)) x))
  (+ (* (* x (* x 0.12)) (* (* x (* x 0.12)) (* x (* x 0.12)))) (* (* (* 0.253 x) (* 0.253 x)) (* 0.253 x)))
  (* (* x x) (+ (* (* x 0.12) (- (* x 0.12) 0.253)) (* 0.253 0.253)))
  (* (* (- 0.253 (* x 0.12)) x) (* (+ 0.253 (* x 0.12)) x))
  (* (- 0.253 (* x 0.12)) x)
  (+ 0.253 (* x 0.12))
  (real->posit16 (* (+ 0.253 (* x 0.12)) x))
  (* x (* x 0.12))
  (* x (* x 0.12))
  (* x (* x 0.12))
  (* (+ 0.253 (* x 0.12)) x)
  (* (+ 0.253 (* x 0.12)) x)
  (* (+ 0.253 (* x 0.12)) x)
8.272 * * * [progress]: adding candidates to table
8.388 * * [progress]: iteration 3 / 4
8.388 * * * [progress]: picking best candidate
8.396 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* x x) 0.12))))>
8.396 * * * [progress]: localizing error
8.412 * * * [progress]: generating rewritten candidates
8.412 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2)
8.427 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
8.442 * * * [progress]: generating series expansions
8.442 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2)
8.443 * [backup-simplify]: Simplify (* (* x x) 0.12) into (* 0.12 (pow x 2))
8.443 * [approximate]: Taking taylor expansion of (* 0.12 (pow x 2)) in (x) around 0
8.443 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
8.443 * [taylor]: Taking taylor expansion of 0.12 in x
8.443 * [backup-simplify]: Simplify 0.12 into 0.12
8.443 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.443 * [taylor]: Taking taylor expansion of x in x
8.443 * [backup-simplify]: Simplify 0 into 0
8.443 * [backup-simplify]: Simplify 1 into 1
8.443 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
8.443 * [taylor]: Taking taylor expansion of 0.12 in x
8.443 * [backup-simplify]: Simplify 0.12 into 0.12
8.443 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.443 * [taylor]: Taking taylor expansion of x in x
8.443 * [backup-simplify]: Simplify 0 into 0
8.443 * [backup-simplify]: Simplify 1 into 1
8.444 * [backup-simplify]: Simplify (* 1 1) into 1
8.445 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
8.445 * [backup-simplify]: Simplify 0.12 into 0.12
8.446 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.446 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
8.446 * [backup-simplify]: Simplify 0 into 0
8.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.449 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
8.449 * [backup-simplify]: Simplify 0 into 0
8.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.451 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.451 * [backup-simplify]: Simplify 0 into 0
8.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.453 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.453 * [backup-simplify]: Simplify 0 into 0
8.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.454 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.454 * [backup-simplify]: Simplify 0 into 0
8.455 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.456 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.456 * [backup-simplify]: Simplify 0 into 0
8.456 * [backup-simplify]: Simplify (* 0.12 (pow x 2)) into (* 0.12 (pow x 2))
8.456 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) 0.12) into (/ 0.12 (pow x 2))
8.456 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0
8.456 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
8.457 * [taylor]: Taking taylor expansion of 0.12 in x
8.457 * [backup-simplify]: Simplify 0.12 into 0.12
8.457 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.457 * [taylor]: Taking taylor expansion of x in x
8.457 * [backup-simplify]: Simplify 0 into 0
8.457 * [backup-simplify]: Simplify 1 into 1
8.457 * [backup-simplify]: Simplify (* 1 1) into 1
8.457 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
8.457 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
8.457 * [taylor]: Taking taylor expansion of 0.12 in x
8.457 * [backup-simplify]: Simplify 0.12 into 0.12
8.457 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.457 * [taylor]: Taking taylor expansion of x in x
8.457 * [backup-simplify]: Simplify 0 into 0
8.457 * [backup-simplify]: Simplify 1 into 1
8.458 * [backup-simplify]: Simplify (* 1 1) into 1
8.458 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
8.458 * [backup-simplify]: Simplify 0.12 into 0.12
8.458 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0
8.459 * [backup-simplify]: Simplify 0 into 0
8.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.460 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.460 * [backup-simplify]: Simplify 0 into 0
8.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.462 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.462 * [backup-simplify]: Simplify 0 into 0
8.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.463 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.463 * [backup-simplify]: Simplify 0 into 0
8.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.464 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.465 * [backup-simplify]: Simplify 0 into 0
8.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.466 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.466 * [backup-simplify]: Simplify 0 into 0
8.466 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 x)) 2)) into (* 0.12 (pow x 2))
8.466 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) 0.12) into (/ 0.12 (pow x 2))
8.466 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0
8.466 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
8.466 * [taylor]: Taking taylor expansion of 0.12 in x
8.466 * [backup-simplify]: Simplify 0.12 into 0.12
8.466 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.466 * [taylor]: Taking taylor expansion of x in x
8.466 * [backup-simplify]: Simplify 0 into 0
8.466 * [backup-simplify]: Simplify 1 into 1
8.467 * [backup-simplify]: Simplify (* 1 1) into 1
8.467 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
8.467 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
8.467 * [taylor]: Taking taylor expansion of 0.12 in x
8.467 * [backup-simplify]: Simplify 0.12 into 0.12
8.467 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.467 * [taylor]: Taking taylor expansion of x in x
8.467 * [backup-simplify]: Simplify 0 into 0
8.467 * [backup-simplify]: Simplify 1 into 1
8.467 * [backup-simplify]: Simplify (* 1 1) into 1
8.468 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
8.468 * [backup-simplify]: Simplify 0.12 into 0.12
8.468 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.469 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0
8.469 * [backup-simplify]: Simplify 0 into 0
8.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.470 * [backup-simplify]: Simplify 0 into 0
8.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.471 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.471 * [backup-simplify]: Simplify 0 into 0
8.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.472 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.472 * [backup-simplify]: Simplify 0 into 0
8.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.474 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.474 * [backup-simplify]: Simplify 0 into 0
8.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.475 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.475 * [backup-simplify]: Simplify 0 into 0
8.475 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.12 (pow x 2))
8.476 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
8.476 * [backup-simplify]: Simplify (+ (* x 0.253) (* (* x x) 0.12)) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
8.476 * [approximate]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in (x) around 0
8.476 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x
8.476 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
8.476 * [taylor]: Taking taylor expansion of 0.253 in x
8.476 * [backup-simplify]: Simplify 0.253 into 0.253
8.476 * [taylor]: Taking taylor expansion of x in x
8.476 * [backup-simplify]: Simplify 0 into 0
8.476 * [backup-simplify]: Simplify 1 into 1
8.476 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
8.476 * [taylor]: Taking taylor expansion of 0.12 in x
8.476 * [backup-simplify]: Simplify 0.12 into 0.12
8.476 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.476 * [taylor]: Taking taylor expansion of x in x
8.476 * [backup-simplify]: Simplify 0 into 0
8.476 * [backup-simplify]: Simplify 1 into 1
8.476 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x
8.476 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
8.476 * [taylor]: Taking taylor expansion of 0.253 in x
8.476 * [backup-simplify]: Simplify 0.253 into 0.253
8.476 * [taylor]: Taking taylor expansion of x in x
8.476 * [backup-simplify]: Simplify 0 into 0
8.476 * [backup-simplify]: Simplify 1 into 1
8.476 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
8.476 * [taylor]: Taking taylor expansion of 0.12 in x
8.476 * [backup-simplify]: Simplify 0.12 into 0.12
8.476 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.476 * [taylor]: Taking taylor expansion of x in x
8.476 * [backup-simplify]: Simplify 0 into 0
8.476 * [backup-simplify]: Simplify 1 into 1
8.476 * [backup-simplify]: Simplify (* 0.253 0) into 0
8.477 * [backup-simplify]: Simplify (+ 0 0) into 0
8.477 * [backup-simplify]: Simplify 0 into 0
8.478 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253
8.478 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253
8.478 * [backup-simplify]: Simplify 0.253 into 0.253
8.479 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0
8.479 * [backup-simplify]: Simplify (* 1 1) into 1
8.479 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
8.480 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12
8.480 * [backup-simplify]: Simplify 0.12 into 0.12
8.480 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
8.481 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.481 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
8.482 * [backup-simplify]: Simplify (+ 0 0) into 0
8.482 * [backup-simplify]: Simplify 0 into 0
8.482 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.483 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
8.484 * [backup-simplify]: Simplify (+ 0 0) into 0
8.484 * [backup-simplify]: Simplify 0 into 0
8.485 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
8.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.486 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.486 * [backup-simplify]: Simplify (+ 0 0) into 0
8.486 * [backup-simplify]: Simplify 0 into 0
8.489 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
8.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.491 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.491 * [backup-simplify]: Simplify (+ 0 0) into 0
8.491 * [backup-simplify]: Simplify 0 into 0
8.493 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
8.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.496 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.496 * [backup-simplify]: Simplify (+ 0 0) into 0
8.496 * [backup-simplify]: Simplify 0 into 0
8.498 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
8.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.502 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.502 * [backup-simplify]: Simplify (+ 0 0) into 0
8.502 * [backup-simplify]: Simplify 0 into 0
8.502 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
8.502 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0.253) (* (* (/ 1 x) (/ 1 x)) 0.12)) into (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))
8.503 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0
8.503 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
8.503 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
8.503 * [taylor]: Taking taylor expansion of 0.12 in x
8.503 * [backup-simplify]: Simplify 0.12 into 0.12
8.503 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.503 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.503 * [taylor]: Taking taylor expansion of x in x
8.503 * [backup-simplify]: Simplify 0 into 0
8.503 * [backup-simplify]: Simplify 1 into 1
8.503 * [backup-simplify]: Simplify (* 1 1) into 1
8.504 * [backup-simplify]: Simplify (/ 1 1) into 1
8.504 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
8.504 * [taylor]: Taking taylor expansion of 0.253 in x
8.504 * [backup-simplify]: Simplify 0.253 into 0.253
8.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.504 * [taylor]: Taking taylor expansion of x in x
8.504 * [backup-simplify]: Simplify 0 into 0
8.504 * [backup-simplify]: Simplify 1 into 1
8.504 * [backup-simplify]: Simplify (/ 1 1) into 1
8.504 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
8.504 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
8.504 * [taylor]: Taking taylor expansion of 0.12 in x
8.504 * [backup-simplify]: Simplify 0.12 into 0.12
8.504 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.504 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.504 * [taylor]: Taking taylor expansion of x in x
8.504 * [backup-simplify]: Simplify 0 into 0
8.504 * [backup-simplify]: Simplify 1 into 1
8.505 * [backup-simplify]: Simplify (* 1 1) into 1
8.505 * [backup-simplify]: Simplify (/ 1 1) into 1
8.505 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
8.505 * [taylor]: Taking taylor expansion of 0.253 in x
8.505 * [backup-simplify]: Simplify 0.253 into 0.253
8.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.505 * [taylor]: Taking taylor expansion of x in x
8.505 * [backup-simplify]: Simplify 0 into 0
8.505 * [backup-simplify]: Simplify 1 into 1
8.506 * [backup-simplify]: Simplify (/ 1 1) into 1
8.506 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
8.507 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
8.507 * [backup-simplify]: Simplify 0.12 into 0.12
8.508 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.509 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
8.509 * [backup-simplify]: Simplify (* 0.253 1) into 0.253
8.510 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253
8.510 * [backup-simplify]: Simplify 0.253 into 0.253
8.511 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.513 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
8.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.514 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0
8.515 * [backup-simplify]: Simplify (+ 0 0) into 0
8.515 * [backup-simplify]: Simplify 0 into 0
8.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.518 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.519 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0
8.520 * [backup-simplify]: Simplify (+ 0 0) into 0
8.520 * [backup-simplify]: Simplify 0 into 0
8.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.523 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.525 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.526 * [backup-simplify]: Simplify (+ 0 0) into 0
8.526 * [backup-simplify]: Simplify 0 into 0
8.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.530 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.532 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.533 * [backup-simplify]: Simplify (+ 0 0) into 0
8.533 * [backup-simplify]: Simplify 0 into 0
8.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.537 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.540 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.540 * [backup-simplify]: Simplify (+ 0 0) into 0
8.540 * [backup-simplify]: Simplify 0 into 0
8.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
8.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.545 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
8.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.548 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.548 * [backup-simplify]: Simplify (+ 0 0) into 0
8.548 * [backup-simplify]: Simplify 0 into 0
8.549 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* 0.12 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
8.549 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) 0.253) (* (* (/ 1 (- x)) (/ 1 (- x))) 0.12)) into (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))
8.549 * [approximate]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0
8.549 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
8.549 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
8.549 * [taylor]: Taking taylor expansion of 0.12 in x
8.549 * [backup-simplify]: Simplify 0.12 into 0.12
8.549 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.549 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.549 * [taylor]: Taking taylor expansion of x in x
8.549 * [backup-simplify]: Simplify 0 into 0
8.549 * [backup-simplify]: Simplify 1 into 1
8.549 * [backup-simplify]: Simplify (* 1 1) into 1
8.550 * [backup-simplify]: Simplify (/ 1 1) into 1
8.550 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
8.550 * [taylor]: Taking taylor expansion of 0.253 in x
8.550 * [backup-simplify]: Simplify 0.253 into 0.253
8.550 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.550 * [taylor]: Taking taylor expansion of x in x
8.550 * [backup-simplify]: Simplify 0 into 0
8.550 * [backup-simplify]: Simplify 1 into 1
8.550 * [backup-simplify]: Simplify (/ 1 1) into 1
8.550 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
8.550 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
8.551 * [taylor]: Taking taylor expansion of 0.12 in x
8.551 * [backup-simplify]: Simplify 0.12 into 0.12
8.551 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
8.551 * [taylor]: Taking taylor expansion of (pow x 2) in x
8.551 * [taylor]: Taking taylor expansion of x in x
8.551 * [backup-simplify]: Simplify 0 into 0
8.551 * [backup-simplify]: Simplify 1 into 1
8.551 * [backup-simplify]: Simplify (* 1 1) into 1
8.552 * [backup-simplify]: Simplify (/ 1 1) into 1
8.552 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
8.552 * [taylor]: Taking taylor expansion of 0.253 in x
8.552 * [backup-simplify]: Simplify 0.253 into 0.253
8.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.552 * [taylor]: Taking taylor expansion of x in x
8.552 * [backup-simplify]: Simplify 0 into 0
8.552 * [backup-simplify]: Simplify 1 into 1
8.552 * [backup-simplify]: Simplify (/ 1 1) into 1
8.553 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
8.553 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
8.553 * [backup-simplify]: Simplify 0.12 into 0.12
8.554 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.556 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
8.556 * [backup-simplify]: Simplify (* 0.253 1) into 0.253
8.556 * [backup-simplify]: Simplify (- 0.253) into (- 0.253)
8.557 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253)
8.558 * [backup-simplify]: Simplify (- 0.253) into (- 0.253)
8.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.561 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
8.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.562 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0
8.562 * [backup-simplify]: Simplify (- 0) into 0
8.563 * [backup-simplify]: Simplify (+ 0 0) into 0
8.563 * [backup-simplify]: Simplify 0 into 0
8.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.566 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.567 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.569 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0
8.569 * [backup-simplify]: Simplify (- 0) into 0
8.569 * [backup-simplify]: Simplify (+ 0 0) into 0
8.569 * [backup-simplify]: Simplify 0 into 0
8.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.573 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.575 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.575 * [backup-simplify]: Simplify (- 0) into 0
8.576 * [backup-simplify]: Simplify (+ 0 0) into 0
8.576 * [backup-simplify]: Simplify 0 into 0
8.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.580 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.582 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.582 * [backup-simplify]: Simplify (- 0) into 0
8.583 * [backup-simplify]: Simplify (+ 0 0) into 0
8.583 * [backup-simplify]: Simplify 0 into 0
8.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.587 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.590 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.590 * [backup-simplify]: Simplify (- 0) into 0
8.591 * [backup-simplify]: Simplify (+ 0 0) into 0
8.591 * [backup-simplify]: Simplify 0 into 0
8.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
8.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.596 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
8.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.599 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.599 * [backup-simplify]: Simplify (- 0) into 0
8.600 * [backup-simplify]: Simplify (+ 0 0) into 0
8.600 * [backup-simplify]: Simplify 0 into 0
8.600 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* 0.12 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
8.600 * * * [progress]: simplifying candidates
8.600 * * * * [progress]: [ 1 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* (* x x) 0.12) 1))))>
8.601 * * * * [progress]: [ 2 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* (* x x) 0.12) 1))))>
8.601 * * * * [progress]: [ 3 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* (* x x) 0.12) 1))))>
8.601 * * * * [progress]: [ 4 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (exp (+ (+ (log x) (log x)) (log 0.12))))))>
8.601 * * * * [progress]: [ 5 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (exp (+ (log (* x x)) (log 0.12))))))>
8.601 * * * * [progress]: [ 6 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (exp (log (* (* x x) 0.12))))))>
8.601 * * * * [progress]: [ 7 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (log (exp (* (* x x) 0.12))))))>
8.601 * * * * [progress]: [ 8 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (cbrt (* (* (* (* x x) x) (* (* x x) x)) (* (* 0.12 0.12) 0.12))))))>
8.601 * * * * [progress]: [ 9 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (cbrt (* (* (* (* x x) (* x x)) (* x x)) (* (* 0.12 0.12) 0.12))))))>
8.601 * * * * [progress]: [ 10 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (cbrt (* (* x x) 0.12)) (cbrt (* (* x x) 0.12))) (cbrt (* (* x x) 0.12))))))>
8.601 * * * * [progress]: [ 11 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (cbrt (* (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x x) 0.12))))))>
8.601 * * * * [progress]: [ 12 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (sqrt (* (* x x) 0.12)) (sqrt (* (* x x) 0.12))))))>
8.601 * * * * [progress]: [ 13 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* 1 (* (* x x) 0.12)))))>
8.601 * * * * [progress]: [ 14 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* x (sqrt 0.12)) (* x (sqrt 0.12))))))>
8.601 * * * * [progress]: [ 15 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* x x) (* (cbrt 0.12) (cbrt 0.12))) (cbrt 0.12)))))>
8.602 * * * * [progress]: [ 16 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))>
8.602 * * * * [progress]: [ 17 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* x x) 1) 0.12))))>
8.602 * * * * [progress]: [ 18 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* x (* x 0.12)))))>
8.602 * * * * [progress]: [ 19 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (posit16->real (real->posit16 (* (* x x) 0.12))))))>
8.602 * * * * [progress]: [ 20 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* 0.12 (* x x)))))>
8.602 * * * * [progress]: [ 21 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (log (* (exp (* x 0.253)) (exp (* (* x x) 0.12))))))>
8.602 * * * * [progress]: [ 22 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (pow (+ (* x 0.253) (* (* x x) 0.12)) 1)))>
8.602 * * * * [progress]: [ 23 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (exp (log (+ (* x 0.253) (* (* x x) 0.12))))))>
8.602 * * * * [progress]: [ 24 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (log (exp (+ (* x 0.253) (* (* x x) 0.12))))))>
8.602 * * * * [progress]: [ 25 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* (* (cbrt (+ (* x 0.253) (* (* x x) 0.12))) (cbrt (+ (* x 0.253) (* (* x x) 0.12)))) (cbrt (+ (* x 0.253) (* (* x x) 0.12))))))>
8.602 * * * * [progress]: [ 26 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (cbrt (* (* (+ (* x 0.253) (* (* x x) 0.12)) (+ (* x 0.253) (* (* x x) 0.12))) (+ (* x 0.253) (* (* x x) 0.12))))))>
8.602 * * * * [progress]: [ 27 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* (sqrt (+ (* x 0.253) (* (* x x) 0.12))) (sqrt (+ (* x 0.253) (* (* x x) 0.12))))))>
8.602 * * * * [progress]: [ 28 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (/ (+ (pow (* x 0.253) 3) (pow (* (* x x) 0.12) 3)) (+ (* (* x 0.253) (* x 0.253)) (- (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x 0.253) (* (* x x) 0.12)))))))>
8.602 * * * * [progress]: [ 29 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* 1 (+ (* x 0.253) (* (* x x) 0.12)))))>
8.602 * * * * [progress]: [ 30 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (/ (- (* (* x 0.253) (* x 0.253)) (* (* (* x x) 0.12) (* (* x x) 0.12))) (- (* x 0.253) (* (* x x) 0.12)))))>
8.602 * * * * [progress]: [ 31 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (posit16->real (real->posit16 (+ (* x 0.253) (* (* x x) 0.12))))))>
8.603 * * * * [progress]: [ 32 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* (* x x) 0.12) (* x 0.253))))>
8.603 * * * * [progress]: [ 33 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* 0.12 (pow x 2)))))>
8.603 * * * * [progress]: [ 34 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* 0.12 (pow x 2)))))>
8.603 * * * * [progress]: [ 35 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* 0.12 (pow x 2)))))>
8.603 * * * * [progress]: [ 36 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))))>
8.603 * * * * [progress]: [ 37 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))))>
8.603 * * * * [progress]: [ 38 / 38 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))))>
8.604 * [simplify]: Simplifying:
  (* (* x x) 0.12)
  (* (* x x) 0.12)
  (+ (+ (log x) (log x)) (log 0.12))
  (+ (log (* x x)) (log 0.12))
  (log (* (* x x) 0.12))
  (exp (* (* x x) 0.12))
  (* (* (* (* x x) x) (* (* x x) x)) (* (* 0.12 0.12) 0.12))
  (* (* (* (* x x) (* x x)) (* x x)) (* (* 0.12 0.12) 0.12))
  (* (cbrt (* (* x x) 0.12)) (cbrt (* (* x x) 0.12)))
  (cbrt (* (* x x) 0.12))
  (* (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x x) 0.12))
  (sqrt (* (* x x) 0.12))
  (sqrt (* (* x x) 0.12))
  (* x (sqrt 0.12))
  (* x (sqrt 0.12))
  (* (* x x) (* (cbrt 0.12) (cbrt 0.12)))
  (* (* x x) (sqrt 0.12))
  (* (* x x) 1)
  (* x 0.12)
  (real->posit16 (* (* x x) 0.12))
  (* (exp (* x 0.253)) (exp (* (* x x) 0.12)))
  (log (+ (* x 0.253) (* (* x x) 0.12)))
  (exp (+ (* x 0.253) (* (* x x) 0.12)))
  (* (cbrt (+ (* x 0.253) (* (* x x) 0.12))) (cbrt (+ (* x 0.253) (* (* x x) 0.12))))
  (cbrt (+ (* x 0.253) (* (* x x) 0.12)))
  (* (* (+ (* x 0.253) (* (* x x) 0.12)) (+ (* x 0.253) (* (* x x) 0.12))) (+ (* x 0.253) (* (* x x) 0.12)))
  (sqrt (+ (* x 0.253) (* (* x x) 0.12)))
  (sqrt (+ (* x 0.253) (* (* x x) 0.12)))
  (+ (pow (* x 0.253) 3) (pow (* (* x x) 0.12) 3))
  (+ (* (* x 0.253) (* x 0.253)) (- (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x 0.253) (* (* x x) 0.12))))
  (- (* (* x 0.253) (* x 0.253)) (* (* (* x x) 0.12) (* (* x x) 0.12)))
  (- (* x 0.253) (* (* x x) 0.12))
  (real->posit16 (+ (* x 0.253) (* (* x x) 0.12)))
  (* 0.12 (pow x 2))
  (* 0.12 (pow x 2))
  (* 0.12 (pow x 2))
  (+ (* 0.253 x) (* 0.12 (pow x 2)))
  (+ (* 0.253 x) (* 0.12 (pow x 2)))
  (+ (* 0.253 x) (* 0.12 (pow x 2)))
8.605 * * [simplify]: iteration 0: 63 enodes
8.634 * * [simplify]: iteration 1: 179 enodes
8.687 * * [simplify]: iteration 2: 595 enodes
9.168 * * [simplify]: iteration 3: 2818 enodes
10.513 * * [simplify]: iteration complete: 5007 enodes
10.513 * * [simplify]: Extracting #0: cost 25 inf + 0
10.514 * * [simplify]: Extracting #1: cost 296 inf + 0
10.518 * * [simplify]: Extracting #2: cost 1167 inf + 2750
10.542 * * [simplify]: Extracting #3: cost 1269 inf + 54863
10.601 * * [simplify]: Extracting #4: cost 371 inf + 226741
10.681 * * [simplify]: Extracting #5: cost 34 inf + 302364
10.758 * * [simplify]: Extracting #6: cost 3 inf + 310462
10.816 * * [simplify]: Extracting #7: cost 0 inf + 311344
10.902 * [simplify]: Simplified to:
  (* (* x x) 0.12)
  (* (* x x) 0.12)
  (log (* (* x x) 0.12))
  (log (* (* x x) 0.12))
  (log (* (* x x) 0.12))
  (exp (* (* x x) 0.12))
  (* (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x x) 0.12))
  (* (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x x) 0.12))
  (* (cbrt (* (* x x) 0.12)) (cbrt (* (* x x) 0.12)))
  (cbrt (* (* x x) 0.12))
  (* (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x x) 0.12))
  (sqrt (* (* x x) 0.12))
  (sqrt (* (* x x) 0.12))
  (* x (sqrt 0.12))
  (* x (sqrt 0.12))
  (* (* (cbrt 0.12) x) (* (cbrt 0.12) x))
  (* (* x (sqrt 0.12)) x)
  (* x x)
  (* x 0.12)
  (real->posit16 (* (* x x) 0.12))
  (exp (* x (+ 0.253 (* 0.12 x))))
  (log (* x (+ 0.253 (* 0.12 x))))
  (exp (* x (+ 0.253 (* 0.12 x))))
  (* (cbrt (* x (+ 0.253 (* 0.12 x)))) (cbrt (* x (+ 0.253 (* 0.12 x)))))
  (cbrt (* x (+ 0.253 (* 0.12 x))))
  (* (* x (+ 0.253 (* 0.12 x))) (* (* x (+ 0.253 (* 0.12 x))) (* x (+ 0.253 (* 0.12 x)))))
  (sqrt (* x (+ 0.253 (* 0.12 x))))
  (sqrt (* x (+ 0.253 (* 0.12 x))))
  (+ (* (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x x) 0.12)) (* (* 0.253 x) (* (* 0.253 x) (* 0.253 x))))
  (* x (+ (* (* x (- (* x 0.12) 0.253)) (* x 0.12)) (* (* 0.253 0.253) x)))
  (- (* (* 0.253 x) (* 0.253 x)) (* (* (* x x) 0.12) (* (* x x) 0.12)))
  (* x (- 0.253 (* x 0.12)))
  (real->posit16 (* x (+ 0.253 (* 0.12 x))))
  (* (* x x) 0.12)
  (* (* x x) 0.12)
  (* (* x x) 0.12)
  (* x (+ 0.253 (* 0.12 x)))
  (* x (+ 0.253 (* 0.12 x)))
  (* x (+ 0.253 (* 0.12 x)))
10.904 * * * [progress]: adding candidates to table
11.031 * * [progress]: iteration 4 / 4
11.031 * * * [progress]: picking best candidate
11.035 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))>
11.035 * * * [progress]: localizing error
11.056 * * * [progress]: generating rewritten candidates
11.056 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
11.136 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2 1)
11.166 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
11.175 * * * [progress]: generating series expansions
11.175 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
11.176 * [backup-simplify]: Simplify (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) into (* (pow x 2) (pow (sqrt 0.12) 2))
11.176 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in (x) around 0
11.176 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x
11.176 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.176 * [taylor]: Taking taylor expansion of x in x
11.176 * [backup-simplify]: Simplify 0 into 0
11.176 * [backup-simplify]: Simplify 1 into 1
11.176 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
11.176 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.176 * [taylor]: Taking taylor expansion of 0.12 in x
11.176 * [backup-simplify]: Simplify 0.12 into 0.12
11.176 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.177 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.177 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x
11.177 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.177 * [taylor]: Taking taylor expansion of x in x
11.177 * [backup-simplify]: Simplify 0 into 0
11.177 * [backup-simplify]: Simplify 1 into 1
11.177 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
11.177 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.177 * [taylor]: Taking taylor expansion of 0.12 in x
11.177 * [backup-simplify]: Simplify 0.12 into 0.12
11.177 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.178 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.178 * [backup-simplify]: Simplify (* 1 1) into 1
11.179 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
11.180 * [backup-simplify]: Simplify (* 1 (pow (sqrt 0.12) 2)) into (pow (sqrt 0.12) 2)
11.180 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2)
11.181 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0
11.181 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.182 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 0.12) 2))) into 0
11.182 * [backup-simplify]: Simplify 0 into 0
11.183 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
11.184 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0
11.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))) into 0
11.185 * [backup-simplify]: Simplify 0 into 0
11.186 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.186 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
11.187 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.188 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))) into 0
11.188 * [backup-simplify]: Simplify 0 into 0
11.189 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.189 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
11.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.191 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))) into 0
11.191 * [backup-simplify]: Simplify 0 into 0
11.192 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.193 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
11.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))))) into 0
11.195 * [backup-simplify]: Simplify 0 into 0
11.196 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.197 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
11.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.199 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))))) into 0
11.199 * [backup-simplify]: Simplify 0 into 0
11.200 * [backup-simplify]: Simplify (* (pow (sqrt 0.12) 2) (pow x 2)) into (* (pow x 2) (pow (sqrt 0.12) 2))
11.201 * [backup-simplify]: Simplify (* (* (* (/ 1 x) (/ 1 x)) (sqrt 0.12)) (sqrt 0.12)) into (/ (pow (sqrt 0.12) 2) (pow x 2))
11.201 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in (x) around 0
11.201 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
11.201 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
11.201 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.201 * [taylor]: Taking taylor expansion of 0.12 in x
11.201 * [backup-simplify]: Simplify 0.12 into 0.12
11.202 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.202 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.202 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.202 * [taylor]: Taking taylor expansion of x in x
11.202 * [backup-simplify]: Simplify 0 into 0
11.202 * [backup-simplify]: Simplify 1 into 1
11.203 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
11.203 * [backup-simplify]: Simplify (* 1 1) into 1
11.204 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
11.204 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
11.204 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
11.204 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.204 * [taylor]: Taking taylor expansion of 0.12 in x
11.204 * [backup-simplify]: Simplify 0.12 into 0.12
11.205 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.205 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.205 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.205 * [taylor]: Taking taylor expansion of x in x
11.205 * [backup-simplify]: Simplify 0 into 0
11.205 * [backup-simplify]: Simplify 1 into 1
11.206 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
11.206 * [backup-simplify]: Simplify (* 1 1) into 1
11.210 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
11.211 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2)
11.212 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0
11.213 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.214 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0
11.214 * [backup-simplify]: Simplify 0 into 0
11.216 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
11.217 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0
11.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.219 * [backup-simplify]: Simplify 0 into 0
11.221 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.222 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
11.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.225 * [backup-simplify]: Simplify 0 into 0
11.226 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.228 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
11.229 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.231 * [backup-simplify]: Simplify 0 into 0
11.232 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.233 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
11.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.234 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.234 * [backup-simplify]: Simplify 0 into 0
11.235 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.236 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
11.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.238 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.238 * [backup-simplify]: Simplify 0 into 0
11.238 * [backup-simplify]: Simplify (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 x)) 2)) into (* (pow x 2) (pow (sqrt 0.12) 2))
11.239 * [backup-simplify]: Simplify (* (* (* (/ 1 (- x)) (/ 1 (- x))) (sqrt 0.12)) (sqrt 0.12)) into (/ (pow (sqrt 0.12) 2) (pow x 2))
11.239 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in (x) around 0
11.239 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
11.239 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
11.239 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.239 * [taylor]: Taking taylor expansion of 0.12 in x
11.239 * [backup-simplify]: Simplify 0.12 into 0.12
11.239 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.240 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.240 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.240 * [taylor]: Taking taylor expansion of x in x
11.240 * [backup-simplify]: Simplify 0 into 0
11.240 * [backup-simplify]: Simplify 1 into 1
11.241 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
11.241 * [backup-simplify]: Simplify (* 1 1) into 1
11.242 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
11.242 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
11.242 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
11.242 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.242 * [taylor]: Taking taylor expansion of 0.12 in x
11.242 * [backup-simplify]: Simplify 0.12 into 0.12
11.242 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.243 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.243 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.243 * [taylor]: Taking taylor expansion of x in x
11.243 * [backup-simplify]: Simplify 0 into 0
11.243 * [backup-simplify]: Simplify 1 into 1
11.244 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
11.244 * [backup-simplify]: Simplify (* 1 1) into 1
11.245 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
11.245 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2)
11.246 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0
11.246 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.247 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0
11.247 * [backup-simplify]: Simplify 0 into 0
11.248 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
11.248 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0
11.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.250 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.250 * [backup-simplify]: Simplify 0 into 0
11.251 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.251 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
11.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.253 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.253 * [backup-simplify]: Simplify 0 into 0
11.254 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.254 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
11.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.256 * [backup-simplify]: Simplify 0 into 0
11.257 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.258 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
11.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.260 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.260 * [backup-simplify]: Simplify 0 into 0
11.261 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.262 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
11.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.264 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.264 * [backup-simplify]: Simplify 0 into 0
11.264 * [backup-simplify]: Simplify (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 (- x))) 2)) into (* (pow x 2) (pow (sqrt 0.12) 2))
11.264 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2 1)
11.265 * [backup-simplify]: Simplify (* (* x x) (sqrt 0.12)) into (* (pow x 2) (sqrt 0.12))
11.265 * [approximate]: Taking taylor expansion of (* (pow x 2) (sqrt 0.12)) in (x) around 0
11.265 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 0.12)) in x
11.265 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.265 * [taylor]: Taking taylor expansion of x in x
11.265 * [backup-simplify]: Simplify 0 into 0
11.265 * [backup-simplify]: Simplify 1 into 1
11.265 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.265 * [taylor]: Taking taylor expansion of 0.12 in x
11.265 * [backup-simplify]: Simplify 0.12 into 0.12
11.265 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.266 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.266 * [taylor]: Taking taylor expansion of (* (pow x 2) (sqrt 0.12)) in x
11.266 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.266 * [taylor]: Taking taylor expansion of x in x
11.266 * [backup-simplify]: Simplify 0 into 0
11.266 * [backup-simplify]: Simplify 1 into 1
11.266 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.266 * [taylor]: Taking taylor expansion of 0.12 in x
11.266 * [backup-simplify]: Simplify 0.12 into 0.12
11.266 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.266 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.267 * [backup-simplify]: Simplify (* 1 1) into 1
11.267 * [backup-simplify]: Simplify (* 1 (sqrt 0.12)) into (sqrt 0.12)
11.267 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.268 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.268 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 0.12))) into 0
11.268 * [backup-simplify]: Simplify 0 into 0
11.269 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
11.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0
11.270 * [backup-simplify]: Simplify 0 into 0
11.271 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
11.272 * [backup-simplify]: Simplify 0 into 0
11.273 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
11.275 * [backup-simplify]: Simplify 0 into 0
11.275 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
11.278 * [backup-simplify]: Simplify 0 into 0
11.279 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
11.283 * [backup-simplify]: Simplify 0 into 0
11.283 * [backup-simplify]: Simplify (* (sqrt 0.12) (pow x 2)) into (* (pow x 2) (sqrt 0.12))
11.284 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) (sqrt 0.12)) into (/ (sqrt 0.12) (pow x 2))
11.284 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in (x) around 0
11.284 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in x
11.284 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.284 * [taylor]: Taking taylor expansion of 0.12 in x
11.284 * [backup-simplify]: Simplify 0.12 into 0.12
11.284 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.285 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.285 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.285 * [taylor]: Taking taylor expansion of x in x
11.285 * [backup-simplify]: Simplify 0 into 0
11.285 * [backup-simplify]: Simplify 1 into 1
11.285 * [backup-simplify]: Simplify (* 1 1) into 1
11.286 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12)
11.286 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in x
11.286 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.286 * [taylor]: Taking taylor expansion of 0.12 in x
11.286 * [backup-simplify]: Simplify 0.12 into 0.12
11.286 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.287 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.287 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.287 * [taylor]: Taking taylor expansion of x in x
11.287 * [backup-simplify]: Simplify 0 into 0
11.287 * [backup-simplify]: Simplify 1 into 1
11.287 * [backup-simplify]: Simplify (* 1 1) into 1
11.288 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12)
11.289 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.289 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)))) into 0
11.290 * [backup-simplify]: Simplify 0 into 0
11.291 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
11.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.293 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.293 * [backup-simplify]: Simplify 0 into 0
11.294 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.296 * [backup-simplify]: Simplify 0 into 0
11.298 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.300 * [backup-simplify]: Simplify 0 into 0
11.300 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.302 * [backup-simplify]: Simplify 0 into 0
11.303 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.305 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.305 * [backup-simplify]: Simplify 0 into 0
11.305 * [backup-simplify]: Simplify (* (sqrt 0.12) (pow (/ 1 (/ 1 x)) 2)) into (* (pow x 2) (sqrt 0.12))
11.306 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) (sqrt 0.12)) into (/ (sqrt 0.12) (pow x 2))
11.306 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in (x) around 0
11.306 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in x
11.306 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.306 * [taylor]: Taking taylor expansion of 0.12 in x
11.306 * [backup-simplify]: Simplify 0.12 into 0.12
11.306 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.306 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.306 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.307 * [taylor]: Taking taylor expansion of x in x
11.307 * [backup-simplify]: Simplify 0 into 0
11.307 * [backup-simplify]: Simplify 1 into 1
11.307 * [backup-simplify]: Simplify (* 1 1) into 1
11.307 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12)
11.307 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) (pow x 2)) in x
11.307 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.307 * [taylor]: Taking taylor expansion of 0.12 in x
11.307 * [backup-simplify]: Simplify 0.12 into 0.12
11.308 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.308 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.308 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.308 * [taylor]: Taking taylor expansion of x in x
11.308 * [backup-simplify]: Simplify 0 into 0
11.308 * [backup-simplify]: Simplify 1 into 1
11.308 * [backup-simplify]: Simplify (* 1 1) into 1
11.309 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12)
11.309 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.310 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.310 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)))) into 0
11.310 * [backup-simplify]: Simplify 0 into 0
11.311 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
11.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.313 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.313 * [backup-simplify]: Simplify 0 into 0
11.314 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.315 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.315 * [backup-simplify]: Simplify 0 into 0
11.316 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.317 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.318 * [backup-simplify]: Simplify 0 into 0
11.318 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.320 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.320 * [backup-simplify]: Simplify 0 into 0
11.321 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.322 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.322 * [backup-simplify]: Simplify 0 into 0
11.323 * [backup-simplify]: Simplify (* (sqrt 0.12) (pow (/ 1 (/ 1 (- x))) 2)) into (* (pow x 2) (sqrt 0.12))
11.323 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
11.324 * [backup-simplify]: Simplify (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) into (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))
11.324 * [approximate]: Taking taylor expansion of (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) in (x) around 0
11.324 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) in x
11.324 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
11.324 * [taylor]: Taking taylor expansion of 0.253 in x
11.324 * [backup-simplify]: Simplify 0.253 into 0.253
11.324 * [taylor]: Taking taylor expansion of x in x
11.324 * [backup-simplify]: Simplify 0 into 0
11.324 * [backup-simplify]: Simplify 1 into 1
11.324 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x
11.324 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.324 * [taylor]: Taking taylor expansion of x in x
11.324 * [backup-simplify]: Simplify 0 into 0
11.324 * [backup-simplify]: Simplify 1 into 1
11.324 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
11.324 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.324 * [taylor]: Taking taylor expansion of 0.12 in x
11.324 * [backup-simplify]: Simplify 0.12 into 0.12
11.324 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.325 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.325 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) in x
11.325 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
11.325 * [taylor]: Taking taylor expansion of 0.253 in x
11.325 * [backup-simplify]: Simplify 0.253 into 0.253
11.325 * [taylor]: Taking taylor expansion of x in x
11.325 * [backup-simplify]: Simplify 0 into 0
11.325 * [backup-simplify]: Simplify 1 into 1
11.325 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x
11.325 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.325 * [taylor]: Taking taylor expansion of x in x
11.325 * [backup-simplify]: Simplify 0 into 0
11.325 * [backup-simplify]: Simplify 1 into 1
11.325 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
11.325 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.325 * [taylor]: Taking taylor expansion of 0.12 in x
11.325 * [backup-simplify]: Simplify 0.12 into 0.12
11.325 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.326 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.326 * [backup-simplify]: Simplify (* 0.253 0) into 0
11.326 * [backup-simplify]: Simplify (+ 0 0) into 0
11.326 * [backup-simplify]: Simplify 0 into 0
11.327 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253
11.327 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253
11.327 * [backup-simplify]: Simplify 0.253 into 0.253
11.328 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0
11.329 * [backup-simplify]: Simplify (* 1 1) into 1
11.330 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
11.332 * [backup-simplify]: Simplify (* 1 (pow (sqrt 0.12) 2)) into (pow (sqrt 0.12) 2)
11.333 * [backup-simplify]: Simplify (+ 0 (pow (sqrt 0.12) 2)) into (pow (sqrt 0.12) 2)
11.334 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2)
11.336 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
11.336 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0
11.337 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.338 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 0.12) 2))) into 0
11.339 * [backup-simplify]: Simplify (+ 0 0) into 0
11.339 * [backup-simplify]: Simplify 0 into 0
11.340 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
11.341 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
11.342 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0
11.343 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))) into 0
11.345 * [backup-simplify]: Simplify (+ 0 0) into 0
11.345 * [backup-simplify]: Simplify 0 into 0
11.347 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
11.348 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.349 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
11.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))) into 0
11.353 * [backup-simplify]: Simplify (+ 0 0) into 0
11.353 * [backup-simplify]: Simplify 0 into 0
11.355 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
11.356 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.358 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
11.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))) into 0
11.361 * [backup-simplify]: Simplify (+ 0 0) into 0
11.361 * [backup-simplify]: Simplify 0 into 0
11.363 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
11.364 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.365 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
11.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))))) into 0
11.368 * [backup-simplify]: Simplify (+ 0 0) into 0
11.368 * [backup-simplify]: Simplify 0 into 0
11.369 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
11.370 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.371 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
11.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))))) into 0
11.373 * [backup-simplify]: Simplify (+ 0 0) into 0
11.373 * [backup-simplify]: Simplify 0 into 0
11.374 * [backup-simplify]: Simplify (+ (* (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 x)) into (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))
11.375 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0.253) (* (* (* (/ 1 x) (/ 1 x)) (sqrt 0.12)) (sqrt 0.12))) into (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x)))
11.375 * [approximate]: Taking taylor expansion of (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in (x) around 0
11.375 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in x
11.375 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
11.375 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
11.375 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.375 * [taylor]: Taking taylor expansion of 0.12 in x
11.375 * [backup-simplify]: Simplify 0.12 into 0.12
11.375 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.375 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.375 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.375 * [taylor]: Taking taylor expansion of x in x
11.375 * [backup-simplify]: Simplify 0 into 0
11.375 * [backup-simplify]: Simplify 1 into 1
11.376 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
11.376 * [backup-simplify]: Simplify (* 1 1) into 1
11.377 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
11.377 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
11.377 * [taylor]: Taking taylor expansion of 0.253 in x
11.377 * [backup-simplify]: Simplify 0.253 into 0.253
11.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.377 * [taylor]: Taking taylor expansion of x in x
11.377 * [backup-simplify]: Simplify 0 into 0
11.377 * [backup-simplify]: Simplify 1 into 1
11.378 * [backup-simplify]: Simplify (/ 1 1) into 1
11.378 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in x
11.378 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
11.378 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
11.378 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.378 * [taylor]: Taking taylor expansion of 0.12 in x
11.378 * [backup-simplify]: Simplify 0.12 into 0.12
11.378 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.379 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.379 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.379 * [taylor]: Taking taylor expansion of x in x
11.379 * [backup-simplify]: Simplify 0 into 0
11.379 * [backup-simplify]: Simplify 1 into 1
11.379 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
11.380 * [backup-simplify]: Simplify (* 1 1) into 1
11.381 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
11.381 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
11.381 * [taylor]: Taking taylor expansion of 0.253 in x
11.381 * [backup-simplify]: Simplify 0.253 into 0.253
11.381 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.381 * [taylor]: Taking taylor expansion of x in x
11.381 * [backup-simplify]: Simplify 0 into 0
11.381 * [backup-simplify]: Simplify 1 into 1
11.381 * [backup-simplify]: Simplify (/ 1 1) into 1
11.382 * [backup-simplify]: Simplify (+ (pow (sqrt 0.12) 2) 0) into (pow (sqrt 0.12) 2)
11.383 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2)
11.383 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0
11.384 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.384 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0
11.385 * [backup-simplify]: Simplify (* 0.253 1) into 0.253
11.385 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253
11.385 * [backup-simplify]: Simplify 0.253 into 0.253
11.386 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
11.386 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0
11.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.388 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.389 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0
11.389 * [backup-simplify]: Simplify (+ 0 0) into 0
11.389 * [backup-simplify]: Simplify 0 into 0
11.390 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.390 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
11.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.392 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.394 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0
11.394 * [backup-simplify]: Simplify (+ 0 0) into 0
11.394 * [backup-simplify]: Simplify 0 into 0
11.396 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.397 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
11.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.400 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.402 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.403 * [backup-simplify]: Simplify (+ 0 0) into 0
11.403 * [backup-simplify]: Simplify 0 into 0
11.404 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.406 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
11.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.408 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.411 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.411 * [backup-simplify]: Simplify (+ 0 0) into 0
11.411 * [backup-simplify]: Simplify 0 into 0
11.413 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.415 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
11.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.418 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.420 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.420 * [backup-simplify]: Simplify (+ 0 0) into 0
11.420 * [backup-simplify]: Simplify 0 into 0
11.422 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.424 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))))) into 0
11.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
11.425 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.426 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.428 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.429 * [backup-simplify]: Simplify (+ 0 0) into 0
11.429 * [backup-simplify]: Simplify 0 into 0
11.429 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))
11.430 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) 0.253) (* (* (* (/ 1 (- x)) (/ 1 (- x))) (sqrt 0.12)) (sqrt 0.12))) into (- (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x)))
11.430 * [approximate]: Taking taylor expansion of (- (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in (x) around 0
11.430 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in x
11.430 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
11.430 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
11.430 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.430 * [taylor]: Taking taylor expansion of 0.12 in x
11.430 * [backup-simplify]: Simplify 0.12 into 0.12
11.430 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.431 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.431 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.431 * [taylor]: Taking taylor expansion of x in x
11.431 * [backup-simplify]: Simplify 0 into 0
11.431 * [backup-simplify]: Simplify 1 into 1
11.432 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
11.432 * [backup-simplify]: Simplify (* 1 1) into 1
11.433 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
11.433 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
11.433 * [taylor]: Taking taylor expansion of 0.253 in x
11.433 * [backup-simplify]: Simplify 0.253 into 0.253
11.433 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.433 * [taylor]: Taking taylor expansion of x in x
11.433 * [backup-simplify]: Simplify 0 into 0
11.433 * [backup-simplify]: Simplify 1 into 1
11.433 * [backup-simplify]: Simplify (/ 1 1) into 1
11.433 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in x
11.433 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
11.433 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
11.433 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
11.433 * [taylor]: Taking taylor expansion of 0.12 in x
11.433 * [backup-simplify]: Simplify 0.12 into 0.12
11.434 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
11.434 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
11.434 * [taylor]: Taking taylor expansion of (pow x 2) in x
11.434 * [taylor]: Taking taylor expansion of x in x
11.434 * [backup-simplify]: Simplify 0 into 0
11.434 * [backup-simplify]: Simplify 1 into 1
11.435 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
11.435 * [backup-simplify]: Simplify (* 1 1) into 1
11.436 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
11.436 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
11.436 * [taylor]: Taking taylor expansion of 0.253 in x
11.436 * [backup-simplify]: Simplify 0.253 into 0.253
11.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x
11.436 * [taylor]: Taking taylor expansion of x in x
11.436 * [backup-simplify]: Simplify 0 into 0
11.436 * [backup-simplify]: Simplify 1 into 1
11.437 * [backup-simplify]: Simplify (/ 1 1) into 1
11.438 * [backup-simplify]: Simplify (+ (pow (sqrt 0.12) 2) 0) into (pow (sqrt 0.12) 2)
11.438 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2)
11.439 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0
11.439 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.440 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0
11.440 * [backup-simplify]: Simplify (* 0.253 1) into 0.253
11.440 * [backup-simplify]: Simplify (- 0.253) into (- 0.253)
11.441 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253)
11.441 * [backup-simplify]: Simplify (- 0.253) into (- 0.253)
11.442 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
11.443 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0
11.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.444 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.445 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0
11.445 * [backup-simplify]: Simplify (- 0) into 0
11.445 * [backup-simplify]: Simplify (+ 0 0) into 0
11.445 * [backup-simplify]: Simplify 0 into 0
11.446 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.447 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
11.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.448 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.449 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.449 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0
11.450 * [backup-simplify]: Simplify (- 0) into 0
11.450 * [backup-simplify]: Simplify (+ 0 0) into 0
11.450 * [backup-simplify]: Simplify 0 into 0
11.451 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.451 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
11.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.454 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.455 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.455 * [backup-simplify]: Simplify (- 0) into 0
11.455 * [backup-simplify]: Simplify (+ 0 0) into 0
11.456 * [backup-simplify]: Simplify 0 into 0
11.456 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.457 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
11.458 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.459 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.460 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.460 * [backup-simplify]: Simplify (- 0) into 0
11.461 * [backup-simplify]: Simplify (+ 0 0) into 0
11.461 * [backup-simplify]: Simplify 0 into 0
11.461 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.462 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
11.463 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.464 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.466 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.466 * [backup-simplify]: Simplify (- 0) into 0
11.466 * [backup-simplify]: Simplify (+ 0 0) into 0
11.466 * [backup-simplify]: Simplify 0 into 0
11.467 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
11.468 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))))) into 0
11.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
11.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.471 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.471 * [backup-simplify]: Simplify (- 0) into 0
11.472 * [backup-simplify]: Simplify (+ 0 0) into 0
11.472 * [backup-simplify]: Simplify 0 into 0
11.473 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))
11.473 * * * [progress]: simplifying candidates
11.473 * * * * [progress]: [ 1 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) 1))))>
11.473 * * * * [progress]: [ 2 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) 1))))>
11.473 * * * * [progress]: [ 3 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) 1))))>
11.473 * * * * [progress]: [ 4 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) 1))))>
11.473 * * * * [progress]: [ 5 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (exp (+ (+ (+ (log x) (log x)) (log (sqrt 0.12))) (log (sqrt 0.12)))))))>
11.473 * * * * [progress]: [ 6 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (exp (+ (+ (log (* x x)) (log (sqrt 0.12))) (log (sqrt 0.12)))))))>
11.473 * * * * [progress]: [ 7 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (exp (+ (log (* (* x x) (sqrt 0.12))) (log (sqrt 0.12)))))))>
11.473 * * * * [progress]: [ 8 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (exp (log (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))))>
11.473 * * * * [progress]: [ 9 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (log (exp (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))))>
11.473 * * * * [progress]: [ 10 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (cbrt (* (* (* (* (* x x) x) (* (* x x) x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)))))))>
11.473 * * * * [progress]: [ 11 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (cbrt (* (* (* (* (* x x) (* x x)) (* x x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)))))))>
11.474 * * * * [progress]: [ 12 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (cbrt (* (* (* (* (* x x) (sqrt 0.12)) (* (* x x) (sqrt 0.12))) (* (* x x) (sqrt 0.12))) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)))))))>
11.474 * * * * [progress]: [ 13 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (cbrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (cbrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (cbrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))))>
11.474 * * * * [progress]: [ 14 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (cbrt (* (* (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))))>
11.474 * * * * [progress]: [ 15 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (sqrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (sqrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))))>
11.474 * * * * [progress]: [ 16 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* 1 (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))))>
11.474 * * * * [progress]: [ 17 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* (* x x) (sqrt 0.12)) (* (cbrt (sqrt 0.12)) (cbrt (sqrt 0.12)))) (cbrt (sqrt 0.12))))))>
11.474 * * * * [progress]: [ 18 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* (* x x) (sqrt 0.12)) (sqrt (* (cbrt 0.12) (cbrt 0.12)))) (sqrt (cbrt 0.12))))))>
11.474 * * * * [progress]: [ 19 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* (* x x) (sqrt 0.12)) (sqrt (sqrt 0.12))) (sqrt (sqrt 0.12))))))>
11.474 * * * * [progress]: [ 20 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* (* x x) (sqrt 0.12)) (sqrt 1)) (sqrt 0.12)))))>
11.474 * * * * [progress]: [ 21 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* (* x x) (sqrt 0.12)) (sqrt (sqrt 0.12))) (sqrt (sqrt 0.12))))))>
11.474 * * * * [progress]: [ 22 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* (* x x) (sqrt 0.12)) 1) (sqrt 0.12)))))>
11.474 * * * * [progress]: [ 23 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* x x) (* (sqrt 0.12) (sqrt 0.12))))))>
11.474 * * * * [progress]: [ 24 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (posit16->real (real->posit16 (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))))>
11.474 * * * * [progress]: [ 25 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (sqrt 0.12) (* (* x x) (sqrt 0.12))))))>
11.474 * * * * [progress]: [ 26 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (pow (* (* x x) (sqrt 0.12)) 1) (sqrt 0.12)))))>
11.474 * * * * [progress]: [ 27 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (pow (* (* x x) (sqrt 0.12)) 1) (sqrt 0.12)))))>
11.474 * * * * [progress]: [ 28 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (pow (* (* x x) (sqrt 0.12)) 1) (sqrt 0.12)))))>
11.474 * * * * [progress]: [ 29 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (exp (+ (+ (log x) (log x)) (log (sqrt 0.12)))) (sqrt 0.12)))))>
11.474 * * * * [progress]: [ 30 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (exp (+ (log (* x x)) (log (sqrt 0.12)))) (sqrt 0.12)))))>
11.474 * * * * [progress]: [ 31 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (exp (log (* (* x x) (sqrt 0.12)))) (sqrt 0.12)))))>
11.474 * * * * [progress]: [ 32 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (log (exp (* (* x x) (sqrt 0.12)))) (sqrt 0.12)))))>
11.474 * * * * [progress]: [ 33 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (cbrt (* (* (* (* x x) x) (* (* x x) x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)))) (sqrt 0.12)))))>
11.474 * * * * [progress]: [ 34 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (cbrt (* (* (* (* x x) (* x x)) (* x x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)))) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 35 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* (cbrt (* (* x x) (sqrt 0.12))) (cbrt (* (* x x) (sqrt 0.12)))) (cbrt (* (* x x) (sqrt 0.12)))) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 36 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (cbrt (* (* (* (* x x) (sqrt 0.12)) (* (* x x) (sqrt 0.12))) (* (* x x) (sqrt 0.12)))) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 37 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (sqrt (* (* x x) (sqrt 0.12))) (sqrt (* (* x x) (sqrt 0.12)))) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 38 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* 1 (* (* x x) (sqrt 0.12))) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 39 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* x (sqrt (sqrt 0.12))) (* x (sqrt (sqrt 0.12)))) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 40 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* x (sqrt (sqrt 0.12))) (* x (sqrt (sqrt 0.12)))) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 41 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* (* x x) (* (cbrt (sqrt 0.12)) (cbrt (sqrt 0.12)))) (cbrt (sqrt 0.12))) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 42 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* (* x x) (sqrt (* (cbrt 0.12) (cbrt 0.12)))) (sqrt (cbrt 0.12))) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 43 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* (* x x) (sqrt (sqrt 0.12))) (sqrt (sqrt 0.12))) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 44 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* (* x x) (sqrt 1)) (sqrt 0.12)) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 45 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* (* x x) (sqrt (sqrt 0.12))) (sqrt (sqrt 0.12))) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 46 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* (* x x) 1) (sqrt 0.12)) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 47 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* x (* x (sqrt 0.12))) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 48 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (posit16->real (real->posit16 (* (* x x) (sqrt 0.12)))) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 49 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (sqrt 0.12) (* x x)) (sqrt 0.12)))))>
11.475 * * * * [progress]: [ 50 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (log (* (exp (* x 0.253)) (exp (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))))>
11.475 * * * * [progress]: [ 51 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (pow (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) 1)))>
11.475 * * * * [progress]: [ 52 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (exp (log (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))))>
11.475 * * * * [progress]: [ 53 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (log (exp (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))))>
11.475 * * * * [progress]: [ 54 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* (* (cbrt (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (cbrt (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))) (cbrt (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))))>
11.475 * * * * [progress]: [ 55 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (cbrt (* (* (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))))>
11.475 * * * * [progress]: [ 56 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* (sqrt (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (sqrt (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))))>
11.475 * * * * [progress]: [ 57 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (/ (+ (pow (* x 0.253) 3) (pow (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) 3)) (+ (* (* x 0.253) (* x 0.253)) (- (* (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (* (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))))))>
11.475 * * * * [progress]: [ 58 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (* 1 (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))))>
11.476 * * * * [progress]: [ 59 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (/ (- (* (* x 0.253) (* x 0.253)) (* (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (- (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))))>
11.476 * * * * [progress]: [ 60 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (posit16->real (real->posit16 (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))))>
11.476 * * * * [progress]: [ 61 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* x 0.253))))>
11.476 * * * * [progress]: [ 62 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (pow x 2) (pow (sqrt 0.12) 2)))))>
11.476 * * * * [progress]: [ 63 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (pow x 2) (pow (sqrt 0.12) 2)))))>
11.476 * * * * [progress]: [ 64 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (pow x 2) (pow (sqrt 0.12) 2)))))>
11.476 * * * * [progress]: [ 65 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (pow x 2) (sqrt 0.12)) (sqrt 0.12)))))>
11.476 * * * * [progress]: [ 66 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (pow x 2) (sqrt 0.12)) (sqrt 0.12)))))>
11.476 * * * * [progress]: [ 67 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (pow x 2) (sqrt 0.12)) (sqrt 0.12)))))>
11.476 * * * * [progress]: [ 68 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))))>
11.476 * * * * [progress]: [ 69 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))))>
11.476 * * * * [progress]: [ 70 / 70 ] simplifiying candidate #<alt (λ (x) (- 1.0 (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))))>
11.477 * [simplify]: Simplifying:
  (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))
  (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))
  (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))
  (+ (+ (+ (log x) (log x)) (log (sqrt 0.12))) (log (sqrt 0.12)))
  (+ (+ (log (* x x)) (log (sqrt 0.12))) (log (sqrt 0.12)))
  (+ (log (* (* x x) (sqrt 0.12))) (log (sqrt 0.12)))
  (log (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
  (exp (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
  (* (* (* (* (* x x) x) (* (* x x) x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)))
  (* (* (* (* (* x x) (* x x)) (* x x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)))
  (* (* (* (* (* x x) (sqrt 0.12)) (* (* x x) (sqrt 0.12))) (* (* x x) (sqrt 0.12))) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)))
  (* (cbrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (cbrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))
  (cbrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
  (* (* (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
  (sqrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
  (sqrt (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
  (* (* (* x x) (sqrt 0.12)) (* (cbrt (sqrt 0.12)) (cbrt (sqrt 0.12))))
  (* (* (* x x) (sqrt 0.12)) (sqrt (* (cbrt 0.12) (cbrt 0.12))))
  (* (* (* x x) (sqrt 0.12)) (sqrt (sqrt 0.12)))
  (* (* (* x x) (sqrt 0.12)) (sqrt 1))
  (* (* (* x x) (sqrt 0.12)) (sqrt (sqrt 0.12)))
  (* (* (* x x) (sqrt 0.12)) 1)
  (* (sqrt 0.12) (sqrt 0.12))
  (real->posit16 (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
  (* (* x x) (sqrt 0.12))
  (* (* x x) (sqrt 0.12))
  (+ (+ (log x) (log x)) (log (sqrt 0.12)))
  (+ (log (* x x)) (log (sqrt 0.12)))
  (log (* (* x x) (sqrt 0.12)))
  (exp (* (* x x) (sqrt 0.12)))
  (* (* (* (* x x) x) (* (* x x) x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)))
  (* (* (* (* x x) (* x x)) (* x x)) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)))
  (* (cbrt (* (* x x) (sqrt 0.12))) (cbrt (* (* x x) (sqrt 0.12))))
  (cbrt (* (* x x) (sqrt 0.12)))
  (* (* (* (* x x) (sqrt 0.12)) (* (* x x) (sqrt 0.12))) (* (* x x) (sqrt 0.12)))
  (sqrt (* (* x x) (sqrt 0.12)))
  (sqrt (* (* x x) (sqrt 0.12)))
  (* x (sqrt (sqrt 0.12)))
  (* x (sqrt (sqrt 0.12)))
  (* x (sqrt (sqrt 0.12)))
  (* x (sqrt (sqrt 0.12)))
  (* (* x x) (* (cbrt (sqrt 0.12)) (cbrt (sqrt 0.12))))
  (* (* x x) (sqrt (* (cbrt 0.12) (cbrt 0.12))))
  (* (* x x) (sqrt (sqrt 0.12)))
  (* (* x x) (sqrt 1))
  (* (* x x) (sqrt (sqrt 0.12)))
  (* (* x x) 1)
  (* x (sqrt 0.12))
  (real->posit16 (* (* x x) (sqrt 0.12)))
  (* (exp (* x 0.253)) (exp (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))
  (log (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))
  (exp (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))
  (* (cbrt (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (cbrt (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))
  (cbrt (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))
  (* (* (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))) (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))
  (sqrt (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))
  (sqrt (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))
  (+ (pow (* x 0.253) 3) (pow (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) 3))
  (+ (* (* x 0.253) (* x 0.253)) (- (* (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))) (* (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))
  (- (* (* x 0.253) (* x 0.253)) (* (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))
  (- (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))
  (real->posit16 (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12))))
  (* (pow x 2) (pow (sqrt 0.12) 2))
  (* (pow x 2) (pow (sqrt 0.12) 2))
  (* (pow x 2) (pow (sqrt 0.12) 2))
  (* (pow x 2) (sqrt 0.12))
  (* (pow x 2) (sqrt 0.12))
  (* (pow x 2) (sqrt 0.12))
  (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))
  (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))
  (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))
11.478 * * [simplify]: iteration 0: 92 enodes
11.499 * * [simplify]: iteration 1: 270 enodes
11.613 * * [simplify]: iteration 2: 969 enodes
12.693 * * [simplify]: iteration 3: 3928 enodes
13.889 * * [simplify]: iteration complete: 5012 enodes
13.889 * * [simplify]: Extracting #0: cost 38 inf + 0
13.891 * * [simplify]: Extracting #1: cost 520 inf + 1
13.899 * * [simplify]: Extracting #2: cost 1306 inf + 6504
13.933 * * [simplify]: Extracting #3: cost 889 inf + 101511
13.983 * * [simplify]: Extracting #4: cost 201 inf + 235803
14.058 * * [simplify]: Extracting #5: cost 24 inf + 284908
14.137 * * [simplify]: Extracting #6: cost 0 inf + 287303
14.190 * * [simplify]: Extracting #7: cost 0 inf + 287223
14.245 * [simplify]: Simplified to:
  (* (* x 0.12) x)
  (* (* x 0.12) x)
  (* (* x 0.12) x)
  (log (* (* x 0.12) x))
  (log (* (* x 0.12) x))
  (log (* (* x 0.12) x))
  (log (* (* x 0.12) x))
  (exp (* (* x 0.12) x))
  (* 0.12 (* (* x x) (* (* (* x x) 0.12) (* (* x x) 0.12))))
  (* 0.12 (* (* x x) (* (* (* x x) 0.12) (* (* x x) 0.12))))
  (* 0.12 (* (* x x) (* (* (* x x) 0.12) (* (* x x) 0.12))))
  (* (cbrt (* (* x 0.12) x)) (cbrt (* (* x 0.12) x)))
  (cbrt (* (* x 0.12) x))
  (* 0.12 (* (* x x) (* (* (* x x) 0.12) (* (* x x) 0.12))))
  (sqrt (* (* x 0.12) x))
  (sqrt (* (* x 0.12) x))
  (* (* (cbrt (sqrt 0.12)) x) (* (* (cbrt (sqrt 0.12)) x) (sqrt 0.12)))
  (* (* (* (fabs (cbrt 0.12)) (sqrt 0.12)) x) x)
  (* (* x x) (* (sqrt (sqrt 0.12)) (sqrt 0.12)))
  (* (* x x) (sqrt 0.12))
  (* (* x x) (* (sqrt (sqrt 0.12)) (sqrt 0.12)))
  (* (* x x) (sqrt 0.12))
  0.12
  (real->posit16 (* (* x 0.12) x))
  (* (* x x) (sqrt 0.12))
  (* (* x x) (sqrt 0.12))
  (log (* (* x x) (sqrt 0.12)))
  (log (* (* x x) (sqrt 0.12)))
  (log (* (* x x) (sqrt 0.12)))
  (exp (* (* x x) (sqrt 0.12)))
  (* (* (* x x) (* x x)) (* (* 0.12 (sqrt 0.12)) (* x x)))
  (* (* (* x x) (* x x)) (* (* 0.12 (sqrt 0.12)) (* x x)))
  (* (cbrt (* (* x x) (sqrt 0.12))) (cbrt (* (* x x) (sqrt 0.12))))
  (cbrt (* (* x x) (sqrt 0.12)))
  (* (* (* x x) (* x x)) (* (* 0.12 (sqrt 0.12)) (* x x)))
  (sqrt (* (* x x) (sqrt 0.12)))
  (sqrt (* (* x x) (sqrt 0.12)))
  (* x (sqrt (sqrt 0.12)))
  (* x (sqrt (sqrt 0.12)))
  (* x (sqrt (sqrt 0.12)))
  (* x (sqrt (sqrt 0.12)))
  (* (* (cbrt (sqrt 0.12)) x) (* (cbrt (sqrt 0.12)) x))
  (* (fabs (cbrt 0.12)) (* x x))
  (* (sqrt (sqrt 0.12)) (* x x))
  (* x x)
  (* (sqrt (sqrt 0.12)) (* x x))
  (* x x)
  (* (sqrt 0.12) x)
  (real->posit16 (* (* x x) (sqrt 0.12)))
  (exp (+ (* (* x 0.12) x) (* x 0.253)))
  (log (+ (* (* x 0.12) x) (* x 0.253)))
  (exp (+ (* (* x 0.12) x) (* x 0.253)))
  (* (cbrt (+ (* (* x 0.12) x) (* x 0.253))) (cbrt (+ (* (* x 0.12) x) (* x 0.253))))
  (cbrt (+ (* (* x 0.12) x) (* x 0.253)))
  (* (* (+ (* (* x 0.12) x) (* x 0.253)) (+ (* (* x 0.12) x) (* x 0.253))) (+ (* (* x 0.12) x) (* x 0.253)))
  (sqrt (+ (* (* x 0.12) x) (* x 0.253)))
  (sqrt (+ (* (* x 0.12) x) (* x 0.253)))
  (* (* x (* x x)) (+ (* (* x (* x x)) (* (* 0.12 0.12) 0.12)) (* (* 0.253 0.253) 0.253)))
  (+ (* (- (* (* x 0.12) x) (* x 0.253)) (* (* x 0.12) x)) (* (* 0.253 x) (* 0.253 x)))
  (* (+ (* (* x 0.12) x) (* x 0.253)) (- (* x 0.253) (* (* x 0.12) x)))
  (- (* x 0.253) (* (* x 0.12) x))
  (real->posit16 (+ (* (* x 0.12) x) (* x 0.253)))
  (* (* x 0.12) x)
  (* (* x 0.12) x)
  (* (* x 0.12) x)
  (* (* x x) (sqrt 0.12))
  (* (* x x) (sqrt 0.12))
  (* (* x x) (sqrt 0.12))
  (+ (* (* x 0.12) x) (* x 0.253))
  (+ (* (* x 0.12) x) (* x 0.253))
  (+ (* (* x 0.12) x) (* x 0.253))
14.249 * * * [progress]: adding candidates to table
14.461 * [progress]: [Phase 3 of 3] Extracting.
14.461 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* x x) 0.12))))> #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* x (* x 0.12)))))> #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))> #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* x (sqrt 0.12)) (* x (sqrt 0.12))))))>)
14.461 * * * [regime-changes]: Trying 1 branch expressions: (x)
14.461 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* x x) 0.12))))> #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* x (* x 0.12)))))> #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* (* x x) (sqrt 0.12)) (sqrt 0.12)))))> #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* x (sqrt 0.12)) (* x (sqrt 0.12))))))>)
14.490 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
14.491 * [simplify]: Simplifying:
  (- 1.0 (+ (* x 0.253) (* x (* x 0.12))))
14.491 * * [simplify]: iteration 0: 9 enodes
14.491 * * [simplify]: iteration 1: 13 enodes
14.491 * * [simplify]: iteration complete: 13 enodes
14.492 * * [simplify]: Extracting #0: cost 1 inf + 0
14.492 * * [simplify]: Extracting #1: cost 3 inf + 0
14.492 * * [simplify]: Extracting #2: cost 4 inf + 1
14.492 * * [simplify]: Extracting #3: cost 7 inf + 1
14.492 * * [simplify]: Extracting #4: cost 5 inf + 45
14.492 * * [simplify]: Extracting #5: cost 0 inf + 537
14.492 * [simplify]: Simplified to:
  (- 1.0 (+ (* 0.253 x) (* (* x 0.12) x)))
15.718 * [regime-testing]: Baseline error score: 0.09085571790250825
15.721 * [regime-testing]: Oracle error score: 0.01319977028387563
15.725 * [regime-testing]: End program error score: 0.09085571790250825