0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.078 * * * [progress]: [2/2] Setting up program. 0.081 * [progress]: [Phase 2 of 3] Improving. 0.081 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.081 * [simplify]: Simplifying: (- (exp (* a x)) 1) 0.081 * * [simplify]: iteration 1: (6 enodes) 0.083 * * [simplify]: iteration 2: (26 enodes) 0.087 * * [simplify]: iteration 3: (39 enodes) 0.099 * * [simplify]: iteration 4: (56 enodes) 0.114 * * [simplify]: iteration 5: (94 enodes) 0.142 * * [simplify]: iteration 6: (198 enodes) 0.231 * * [simplify]: iteration 7: (529 enodes) 0.528 * * [simplify]: iteration 8: (1809 enodes) 4.350 * * [simplify]: Extracting #0: cost 1 inf + 0 4.351 * * [simplify]: Extracting #1: cost 181 inf + 0 4.361 * * [simplify]: Extracting #2: cost 1217 inf + 1 4.375 * * [simplify]: Extracting #3: cost 1452 inf + 158 4.392 * * [simplify]: Extracting #4: cost 1417 inf + 7234 4.438 * * [simplify]: Extracting #5: cost 1193 inf + 101550 4.559 * * [simplify]: Extracting #6: cost 391 inf + 776410 4.833 * * [simplify]: Extracting #7: cost 3 inf + 1134857 5.059 * * [simplify]: Extracting #8: cost 0 inf + 1122444 5.387 * * [simplify]: Extracting #9: cost 0 inf + 1115412 5.705 * * [simplify]: Extracting #10: cost 0 inf + 1110095 6.021 * * [simplify]: Extracting #11: cost 0 inf + 1107871 6.317 * [simplify]: Simplified to: (expm1 (* a x)) 6.331 * * [progress]: iteration 1 / 4 6.331 * * * [progress]: picking best candidate 6.334 * * * * [pick]: Picked # 6.334 * * * [progress]: localizing error 6.341 * * * [progress]: generating rewritten candidates 6.341 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 6.342 * * * [progress]: generating series expansions 6.342 * * * * [progress]: [ 1 / 1 ] generating series at (2) 6.342 * [backup-simplify]: Simplify (expm1 (* a x)) into (expm1 (* a x)) 6.342 * [approximate]: Taking taylor expansion of (expm1 (* a x)) in (a x) around 0 6.342 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in x 6.342 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 6.342 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 6.342 * [taylor]: Taking taylor expansion of (* a x) in x 6.342 * [taylor]: Taking taylor expansion of a in x 6.342 * [backup-simplify]: Simplify a into a 6.342 * [taylor]: Taking taylor expansion of x in x 6.342 * [backup-simplify]: Simplify 0 into 0 6.342 * [backup-simplify]: Simplify 1 into 1 6.342 * [backup-simplify]: Simplify (* a 0) into 0 6.343 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 6.343 * [backup-simplify]: Simplify (exp 0) into 1 6.343 * [taylor]: Taking taylor expansion of 1 in x 6.343 * [backup-simplify]: Simplify 1 into 1 6.343 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 6.343 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 6.343 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 6.343 * [taylor]: Taking taylor expansion of (* a x) in a 6.343 * [taylor]: Taking taylor expansion of a in a 6.343 * [backup-simplify]: Simplify 0 into 0 6.343 * [backup-simplify]: Simplify 1 into 1 6.343 * [taylor]: Taking taylor expansion of x in a 6.343 * [backup-simplify]: Simplify x into x 6.343 * [backup-simplify]: Simplify (* 0 x) into 0 6.344 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 6.344 * [backup-simplify]: Simplify (exp 0) into 1 6.344 * [taylor]: Taking taylor expansion of 1 in a 6.344 * [backup-simplify]: Simplify 1 into 1 6.344 * [taylor]: Taking taylor expansion of (expm1 (* a x)) in a 6.344 * [taylor]: Rewrote expression to (- (exp (* a x)) 1) 6.344 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 6.344 * [taylor]: Taking taylor expansion of (* a x) in a 6.344 * [taylor]: Taking taylor expansion of a in a 6.344 * [backup-simplify]: Simplify 0 into 0 6.344 * [backup-simplify]: Simplify 1 into 1 6.344 * [taylor]: Taking taylor expansion of x in a 6.344 * [backup-simplify]: Simplify x into x 6.344 * [backup-simplify]: Simplify (* 0 x) into 0 6.344 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 6.344 * [backup-simplify]: Simplify (exp 0) into 1 6.344 * [taylor]: Taking taylor expansion of 1 in a 6.344 * [backup-simplify]: Simplify 1 into 1 6.345 * [backup-simplify]: Simplify (- 1) into -1 6.345 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.345 * [taylor]: Taking taylor expansion of 0 in x 6.345 * [backup-simplify]: Simplify 0 into 0 6.345 * [backup-simplify]: Simplify 0 into 0 6.345 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 1) 1)))) into x 6.345 * [backup-simplify]: Simplify (- 0) into 0 6.345 * [backup-simplify]: Simplify (+ x 0) into x 6.345 * [taylor]: Taking taylor expansion of x in x 6.345 * [backup-simplify]: Simplify 0 into 0 6.345 * [backup-simplify]: Simplify 1 into 1 6.345 * [backup-simplify]: Simplify 0 into 0 6.345 * [backup-simplify]: Simplify 0 into 0 6.346 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0 6.347 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow x 2)) 6.347 * [backup-simplify]: Simplify (- 0) into 0 6.347 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) 0) into (* 1/2 (pow x 2)) 6.347 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 6.347 * [taylor]: Taking taylor expansion of 1/2 in x 6.347 * [backup-simplify]: Simplify 1/2 into 1/2 6.347 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.347 * [taylor]: Taking taylor expansion of x in x 6.347 * [backup-simplify]: Simplify 0 into 0 6.347 * [backup-simplify]: Simplify 1 into 1 6.347 * [backup-simplify]: Simplify 1 into 1 6.347 * [backup-simplify]: Simplify 0 into 0 6.348 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 x)))) into 0 6.349 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 3) 6)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/6 (pow x 3)) 6.350 * [backup-simplify]: Simplify (- 0) into 0 6.350 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) 0) into (* 1/6 (pow x 3)) 6.350 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 6.350 * [taylor]: Taking taylor expansion of 1/6 in x 6.350 * [backup-simplify]: Simplify 1/6 into 1/6 6.350 * [taylor]: Taking taylor expansion of (pow x 3) in x 6.350 * [taylor]: Taking taylor expansion of x in x 6.350 * [backup-simplify]: Simplify 0 into 0 6.350 * [backup-simplify]: Simplify 1 into 1 6.350 * [backup-simplify]: Simplify 0 into 0 6.350 * [backup-simplify]: Simplify 0 into 0 6.352 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 6.355 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 4) 24)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/24 (pow x 4)) 6.355 * [backup-simplify]: Simplify (- 0) into 0 6.355 * [backup-simplify]: Simplify (+ (* 1/24 (pow x 4)) 0) into (* 1/24 (pow x 4)) 6.355 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 6.355 * [taylor]: Taking taylor expansion of 1/24 in x 6.355 * [backup-simplify]: Simplify 1/24 into 1/24 6.355 * [taylor]: Taking taylor expansion of (pow x 4) in x 6.355 * [taylor]: Taking taylor expansion of x in x 6.355 * [backup-simplify]: Simplify 0 into 0 6.355 * [backup-simplify]: Simplify 1 into 1 6.356 * [backup-simplify]: Simplify (* 1 1) into 1 6.356 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 6.356 * [backup-simplify]: Simplify 1/2 into 1/2 6.356 * [backup-simplify]: Simplify 0 into 0 6.356 * [backup-simplify]: Simplify 0 into 0 6.358 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))))) into 0 6.362 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 5) 120)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 2) 2)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into (* 1/120 (pow x 5)) 6.363 * [backup-simplify]: Simplify (- 0) into 0 6.363 * [backup-simplify]: Simplify (+ (* 1/120 (pow x 5)) 0) into (* 1/120 (pow x 5)) 6.363 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 6.363 * [taylor]: Taking taylor expansion of 1/120 in x 6.363 * [backup-simplify]: Simplify 1/120 into 1/120 6.363 * [taylor]: Taking taylor expansion of (pow x 5) in x 6.363 * [taylor]: Taking taylor expansion of x in x 6.363 * [backup-simplify]: Simplify 0 into 0 6.363 * [backup-simplify]: Simplify 1 into 1 6.364 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.365 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 6.365 * [backup-simplify]: Simplify 0 into 0 6.365 * [backup-simplify]: Simplify 0 into 0 6.365 * [backup-simplify]: Simplify 0 into 0 6.367 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))))) into 0 6.374 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow x 6) 720)) (* (/ (pow x 4) 24) (/ (pow 0 1) 1)) (* (/ (pow x 3) 6) (/ (pow 0 1) 1)) (* (/ (pow x 2) 2) (/ (pow 0 2) 2)) (* (/ (pow x 2) 2) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow x 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/720 (pow x 6)) 6.374 * [backup-simplify]: Simplify (- 0) into 0 6.375 * [backup-simplify]: Simplify (+ (* 1/720 (pow x 6)) 0) into (* 1/720 (pow x 6)) 6.375 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 6.375 * [taylor]: Taking taylor expansion of 1/720 in x 6.375 * [backup-simplify]: Simplify 1/720 into 1/720 6.375 * [taylor]: Taking taylor expansion of (pow x 6) in x 6.375 * [taylor]: Taking taylor expansion of x in x 6.375 * [backup-simplify]: Simplify 0 into 0 6.375 * [backup-simplify]: Simplify 1 into 1 6.375 * [backup-simplify]: Simplify (* 1 1) into 1 6.376 * [backup-simplify]: Simplify (* 1 1) into 1 6.376 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 6.376 * [backup-simplify]: Simplify 1/6 into 1/6 6.377 * [backup-simplify]: Simplify (+ (* 1/6 (pow (* x a) 3)) (+ (* 1/2 (pow (* x a) 2)) (* 1 (* x a)))) into (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))) 6.377 * [backup-simplify]: Simplify (expm1 (* (/ 1 a) (/ 1 x))) into (expm1 (/ 1 (* a x))) 6.377 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 6.377 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 6.377 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 6.377 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 6.377 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 6.377 * [taylor]: Taking taylor expansion of (* a x) in x 6.377 * [taylor]: Taking taylor expansion of a in x 6.377 * [backup-simplify]: Simplify a into a 6.377 * [taylor]: Taking taylor expansion of x in x 6.377 * [backup-simplify]: Simplify 0 into 0 6.377 * [backup-simplify]: Simplify 1 into 1 6.377 * [backup-simplify]: Simplify (* a 0) into 0 6.378 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 6.378 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 6.378 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 6.378 * [taylor]: Taking taylor expansion of 1 in x 6.378 * [backup-simplify]: Simplify 1 into 1 6.378 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 6.378 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 6.378 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 6.379 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 6.379 * [taylor]: Taking taylor expansion of (* a x) in a 6.379 * [taylor]: Taking taylor expansion of a in a 6.379 * [backup-simplify]: Simplify 0 into 0 6.379 * [backup-simplify]: Simplify 1 into 1 6.379 * [taylor]: Taking taylor expansion of x in a 6.379 * [backup-simplify]: Simplify x into x 6.379 * [backup-simplify]: Simplify (* 0 x) into 0 6.379 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 6.380 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.380 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 6.380 * [taylor]: Taking taylor expansion of 1 in a 6.380 * [backup-simplify]: Simplify 1 into 1 6.380 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 6.380 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 6.380 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 6.380 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 6.380 * [taylor]: Taking taylor expansion of (* a x) in a 6.380 * [taylor]: Taking taylor expansion of a in a 6.380 * [backup-simplify]: Simplify 0 into 0 6.380 * [backup-simplify]: Simplify 1 into 1 6.380 * [taylor]: Taking taylor expansion of x in a 6.380 * [backup-simplify]: Simplify x into x 6.380 * [backup-simplify]: Simplify (* 0 x) into 0 6.381 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 6.381 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.381 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 6.381 * [taylor]: Taking taylor expansion of 1 in a 6.381 * [backup-simplify]: Simplify 1 into 1 6.382 * [backup-simplify]: Simplify (- 1) into -1 6.382 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 6.382 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 6.382 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 6.382 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 6.382 * [taylor]: Taking taylor expansion of (* a x) in x 6.382 * [taylor]: Taking taylor expansion of a in x 6.382 * [backup-simplify]: Simplify a into a 6.382 * [taylor]: Taking taylor expansion of x in x 6.382 * [backup-simplify]: Simplify 0 into 0 6.382 * [backup-simplify]: Simplify 1 into 1 6.382 * [backup-simplify]: Simplify (* a 0) into 0 6.383 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 6.383 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 6.383 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 6.383 * [taylor]: Taking taylor expansion of 1 in x 6.383 * [backup-simplify]: Simplify 1 into 1 6.383 * [backup-simplify]: Simplify (- 1) into -1 6.383 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 6.383 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 6.384 * [backup-simplify]: Simplify (- 0) into 0 6.384 * [backup-simplify]: Simplify (+ 0 0) into 0 6.384 * [taylor]: Taking taylor expansion of 0 in x 6.384 * [backup-simplify]: Simplify 0 into 0 6.384 * [backup-simplify]: Simplify 0 into 0 6.385 * [backup-simplify]: Simplify (- 0) into 0 6.385 * [backup-simplify]: Simplify (+ 0 0) into 0 6.385 * [backup-simplify]: Simplify 0 into 0 6.385 * [backup-simplify]: Simplify (- 0) into 0 6.386 * [backup-simplify]: Simplify (+ 0 0) into 0 6.386 * [taylor]: Taking taylor expansion of 0 in x 6.386 * [backup-simplify]: Simplify 0 into 0 6.386 * [backup-simplify]: Simplify 0 into 0 6.386 * [backup-simplify]: Simplify 0 into 0 6.386 * [backup-simplify]: Simplify (- 0) into 0 6.387 * [backup-simplify]: Simplify (+ 0 0) into 0 6.387 * [backup-simplify]: Simplify 0 into 0 6.387 * [backup-simplify]: Simplify (- 0) into 0 6.388 * [backup-simplify]: Simplify (+ 0 0) into 0 6.388 * [taylor]: Taking taylor expansion of 0 in x 6.388 * [backup-simplify]: Simplify 0 into 0 6.388 * [backup-simplify]: Simplify 0 into 0 6.388 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 a) (/ 1 x)))) 1) into (- (exp (* a x)) 1) 6.388 * [backup-simplify]: Simplify (expm1 (* (/ 1 (- a)) (/ 1 (- x)))) into (expm1 (/ 1 (* a x))) 6.388 * [approximate]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in (a x) around 0 6.388 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in x 6.388 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 6.388 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 6.388 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 6.388 * [taylor]: Taking taylor expansion of (* a x) in x 6.388 * [taylor]: Taking taylor expansion of a in x 6.388 * [backup-simplify]: Simplify a into a 6.388 * [taylor]: Taking taylor expansion of x in x 6.388 * [backup-simplify]: Simplify 0 into 0 6.388 * [backup-simplify]: Simplify 1 into 1 6.388 * [backup-simplify]: Simplify (* a 0) into 0 6.389 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 6.389 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 6.389 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 6.389 * [taylor]: Taking taylor expansion of 1 in x 6.389 * [backup-simplify]: Simplify 1 into 1 6.389 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 6.389 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 6.389 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 6.389 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 6.389 * [taylor]: Taking taylor expansion of (* a x) in a 6.389 * [taylor]: Taking taylor expansion of a in a 6.389 * [backup-simplify]: Simplify 0 into 0 6.389 * [backup-simplify]: Simplify 1 into 1 6.389 * [taylor]: Taking taylor expansion of x in a 6.389 * [backup-simplify]: Simplify x into x 6.389 * [backup-simplify]: Simplify (* 0 x) into 0 6.390 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 6.390 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.390 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 6.390 * [taylor]: Taking taylor expansion of 1 in a 6.390 * [backup-simplify]: Simplify 1 into 1 6.390 * [taylor]: Taking taylor expansion of (expm1 (/ 1 (* a x))) in a 6.390 * [taylor]: Rewrote expression to (- (exp (/ 1 (* a x))) 1) 6.390 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 6.390 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 6.390 * [taylor]: Taking taylor expansion of (* a x) in a 6.390 * [taylor]: Taking taylor expansion of a in a 6.390 * [backup-simplify]: Simplify 0 into 0 6.390 * [backup-simplify]: Simplify 1 into 1 6.390 * [taylor]: Taking taylor expansion of x in a 6.390 * [backup-simplify]: Simplify x into x 6.390 * [backup-simplify]: Simplify (* 0 x) into 0 6.394 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x 6.395 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.395 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 6.395 * [taylor]: Taking taylor expansion of 1 in a 6.395 * [backup-simplify]: Simplify 1 into 1 6.395 * [backup-simplify]: Simplify (- 1) into -1 6.396 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 6.396 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x 6.396 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 6.396 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 6.396 * [taylor]: Taking taylor expansion of (* a x) in x 6.396 * [taylor]: Taking taylor expansion of a in x 6.396 * [backup-simplify]: Simplify a into a 6.396 * [taylor]: Taking taylor expansion of x in x 6.396 * [backup-simplify]: Simplify 0 into 0 6.396 * [backup-simplify]: Simplify 1 into 1 6.396 * [backup-simplify]: Simplify (* a 0) into 0 6.396 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 6.396 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 6.396 * [backup-simplify]: Simplify (exp (/ 1 (* a x))) into (exp (/ 1 (* a x))) 6.397 * [taylor]: Taking taylor expansion of 1 in x 6.397 * [backup-simplify]: Simplify 1 into 1 6.397 * [backup-simplify]: Simplify (- 1) into -1 6.397 * [backup-simplify]: Simplify (+ (exp (/ 1 (* a x))) -1) into (- (exp (/ 1 (* a x))) 1) 6.397 * [backup-simplify]: Simplify (- (exp (/ 1 (* a x))) 1) into (- (exp (/ 1 (* a x))) 1) 6.398 * [backup-simplify]: Simplify (- 0) into 0 6.398 * [backup-simplify]: Simplify (+ 0 0) into 0 6.398 * [taylor]: Taking taylor expansion of 0 in x 6.398 * [backup-simplify]: Simplify 0 into 0 6.398 * [backup-simplify]: Simplify 0 into 0 6.399 * [backup-simplify]: Simplify (- 0) into 0 6.399 * [backup-simplify]: Simplify (+ 0 0) into 0 6.399 * [backup-simplify]: Simplify 0 into 0 6.399 * [backup-simplify]: Simplify (- 0) into 0 6.400 * [backup-simplify]: Simplify (+ 0 0) into 0 6.400 * [taylor]: Taking taylor expansion of 0 in x 6.400 * [backup-simplify]: Simplify 0 into 0 6.400 * [backup-simplify]: Simplify 0 into 0 6.400 * [backup-simplify]: Simplify 0 into 0 6.400 * [backup-simplify]: Simplify (- 0) into 0 6.400 * [backup-simplify]: Simplify (+ 0 0) into 0 6.400 * [backup-simplify]: Simplify 0 into 0 6.401 * [backup-simplify]: Simplify (- 0) into 0 6.401 * [backup-simplify]: Simplify (+ 0 0) into 0 6.401 * [taylor]: Taking taylor expansion of 0 in x 6.401 * [backup-simplify]: Simplify 0 into 0 6.401 * [backup-simplify]: Simplify 0 into 0 6.401 * [backup-simplify]: Simplify (- (exp (/ 1 (* (/ 1 (- a)) (/ 1 (- x))))) 1) into (- (exp (* a x)) 1) 6.401 * * * [progress]: simplifying candidates 6.401 * * * * [progress]: [ 1 / 15 ] simplifiying candidate # 6.401 * * * * [progress]: [ 2 / 15 ] simplifiying candidate # 6.401 * * * * [progress]: [ 3 / 15 ] simplifiying candidate # 6.401 * * * * [progress]: [ 4 / 15 ] simplifiying candidate # 6.401 * * * * [progress]: [ 5 / 15 ] simplifiying candidate # 6.401 * * * * [progress]: [ 6 / 15 ] simplifiying candidate # 6.401 * * * * [progress]: [ 7 / 15 ] simplifiying candidate # 6.401 * * * * [progress]: [ 8 / 15 ] simplifiying candidate # 6.401 * * * * [progress]: [ 9 / 15 ] simplifiying candidate # 6.401 * * * * [progress]: [ 10 / 15 ] simplifiying candidate # 6.401 * * * * [progress]: [ 11 / 15 ] simplifiying candidate # 6.401 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #real (real->posit16 (expm1 (* a x)))))> 6.401 * * * * [progress]: [ 13 / 15 ] simplifiying candidate # 6.401 * * * * [progress]: [ 14 / 15 ] simplifiying candidate # 6.402 * * * * [progress]: [ 15 / 15 ] simplifiying candidate # 6.402 * [simplify]: Simplifying: (exp (* a x)) (expm1 (expm1 (* a x))) (log1p (expm1 (* a x))) (log (expm1 (* a x))) (exp (expm1 (* a x))) (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) (cbrt (expm1 (* a x))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x))) (real->posit16 (expm1 (* a x))) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))) (- (exp (* a x)) 1) (- (exp (* a x)) 1) 6.402 * * [simplify]: iteration 1: (31 enodes) 6.411 * * [simplify]: iteration 2: (127 enodes) 6.436 * * [simplify]: iteration 3: (309 enodes) 6.532 * * [simplify]: iteration 4: (824 enodes) 7.179 * * [simplify]: Extracting #0: cost 12 inf + 0 7.179 * * [simplify]: Extracting #1: cost 118 inf + 0 7.181 * * [simplify]: Extracting #2: cost 472 inf + 2023 7.187 * * [simplify]: Extracting #3: cost 440 inf + 18771 7.201 * * [simplify]: Extracting #4: cost 260 inf + 72151 7.250 * * [simplify]: Extracting #5: cost 66 inf + 174360 7.309 * * [simplify]: Extracting #6: cost 0 inf + 208462 7.364 * [simplify]: Simplified to: (exp (* a x)) (expm1 (expm1 (* a x))) (* a x) (log (expm1 (* a x))) (exp (expm1 (* a x))) (* (cbrt (expm1 (* a x))) (cbrt (expm1 (* a x)))) (cbrt (expm1 (* a x))) (* (* (expm1 (* a x)) (expm1 (* a x))) (expm1 (* a x))) (sqrt (expm1 (* a x))) (sqrt (expm1 (* a x))) (real->posit16 (expm1 (* a x))) (fma (* (* a x) (* a x)) 1/2 (fma (* (* a x) (* (* a x) (* a x))) 1/6 (* a x))) (expm1 (* a x)) (expm1 (* a x)) 7.365 * * * [progress]: adding candidates to table 7.546 * [progress]: [Phase 3 of 3] Extracting. 7.549 * [simplify]: Simplifying: (expm1 (* a x)) 7.549 * * [simplify]: iteration 1: (4 enodes) 7.549 * * [simplify]: iteration 2: (5 enodes) 7.549 * * [simplify]: Extracting #0: cost 1 inf + 0 7.549 * * [simplify]: Extracting #1: cost 2 inf + 0 7.549 * * [simplify]: Extracting #2: cost 4 inf + 0 7.549 * * [simplify]: Extracting #3: cost 2 inf + 2 7.549 * * [simplify]: Extracting #4: cost 0 inf + 156 7.549 * [simplify]: Simplified to: (expm1 (* a x)) 10.459 * [regime-testing]: Baseline error score: 0.019317668963004842 10.461 * [regime-testing]: Oracle error score: 0.019317668963004842 10.462 * [regime-testing]: End program error score: 0.019317668963004842 10.573 * [regime-testing]: Target error score: 0.20327688262685062